This tag is used if a reference is needed in a paper or textbook on a specific result.

**15**

votes

**1**answer

355 views

### Vector field on a K3 surface with 24 zeroes

In http://mathoverflow.net/a/44885/4177, Tilman points out that one can use a $K3$ surface minus the zeroes of a generic vector field to build a nullcobordism for $24[SU(2)]$. Given that a) this is a ...

**4**

votes

**0**answers

104 views

### Characterization of $L[T_{2n+1}]$ as a direct limit of mice

I am asking for a reference request/proof sketch for the result of Steel
that characterizes $L[T_{2n+1}]$ as a direct limit of mice.
Given that both $L[T_{2n+1}]$ and $M_{2n}$ have a $\Sigma_{2n+2}$ ...

**2**

votes

**0**answers

102 views

### Universal property of limits of invertible sheaves

Let $R$ be a discrete valuation ring, $m$ the maximal ideal and $f:X \to \mathrm{Spec}(R)$ be a flat, proper morphism of relative dimension $1$. Assume further that $X$ is regular. For any $n>0$, ...

**5**

votes

**3**answers

620 views

### A definition of the fractional derivative

I was investigating the idea of fractional derivatives and devised the following definition. WHich definition is it equivalent to and can I have a reference for it?
$$\frac{d^n}{dx^n}f(x) = \lim_{h ...

**10**

votes

**1**answer

133 views

### Growth of dimension of fixed spaces in $GL_n(\mathbb{Q}_p)$-representations

Let $\pi$ be a generic irreducible admissible representation of $GL_n(L)$, where $L$ is a $p$-adic field, $R$ is its ring of integers, and $\mathfrak{p}$ is its prime ideal. The conductor of $\pi$ ...

**11**

votes

**2**answers

363 views

### Woodin on Posner-Robinson for the hyperjump and sharp

The Posner-Robinson theorem states that, if $X$ is noncomputable, there is some $G$ such that $X\oplus G=G'$; that is, even though genuine jump inversion only works above $0'$, every (nontrivial) $X$ ...

**11**

votes

**1**answer

289 views

### 'Updated' book in the same spirit as Dieudonné's Panorama des mathématiques pures

Today a colleague of mine asked me if I knew of any "more modern version" of J. Dieudonné's Panorama des mathématiques pures. Le choix bourbachique.
The very first thing that instantly came to my ...

**11**

votes

**2**answers

350 views

### “Pythagoras number” for integral matrices

It is classically known that every positive integer is a sum of at most four squares of integers, i.e. every sum of squares of integers is a sum of four squares of integers. Now consider a symmetric ...

**4**

votes

**1**answer

179 views

### Conformal compactification of Kerr spacetime

I'm looking for a book/paper where the conformal compactification of Kerr spacetime is calculated. I've seen plenty of reference for the Minkowski, but none (explicitly calculated) for Kerr.
Thank ...

**2**

votes

**1**answer

109 views

### Reference request: groups of multiplicative type are closed under extensions

I remember reading (quite a while ago, and I can't remember where!) that linear algebraic groups of multiplicative type over a field of characteristic zero are closed under extensions. This is ...

**0**

votes

**1**answer

66 views

### Reference for Bessel's interpolation formula

may you please give me a reference for a standard, easy-to-find textbook where I can find the full proof of Bessel's interpolation formula (see ...

**1**

vote

**1**answer

260 views

### Why is every l-adic Galois representation conjugate to one over the l-adic integers? [closed]

Why is every l-adic Galois representation
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Q}_{l})$$
conjugate to one over the l-adic integers?
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Z}_{l})$$

**3**

votes

**0**answers

129 views

### Graded structures for simple $C^{*}$ algebras without nontrivial idempotent

Edit: According to the comment of Qiaochu Yuan I realize that $\mathbb{C}^{2}$ is a counter example. So I add the assumption "simplicity" to this edited version
Note: In this post, the cyclic ...

**6**

votes

**1**answer

167 views

### What polytope is this? Bounded sums with choice of coefficients

Let $b\gt a\gt 0$ be constants. Define $P_n(a,b)$ to be the set of all $(x_1,\ldots,x_n)\in\mathbb{R}^n$ satisfying
$$ |c_1 x_1 + \cdots + c_n x_n| \le 1$$
for every choice of ...

**0**

votes

**0**answers

66 views

### Fundamental solution of Discrete Laplace in the plane

We consider a discretization of the Laplace operator on $\mathbb Z^2$, https://en.wikipedia.org/wiki/Discrete_Laplace_operator
Then, it is natural to consider its fundamental solution $u$, i.e. ...

**1**

vote

**0**answers

114 views

### On tangent space of relative quot schemes in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic and $f:X \to S$ be a smooth, flat, projective morphism between noetherian $k$-schemes. Assume that $S$ is a non-singular ...

**3**

votes

**0**answers

129 views

### Which Dihedral Groups are $\text{CI}$-Groups?

Let $D_{n}$ denotes the dihedral group of order $2n$. Firstly, for self-referencing of the question, I give some definitions which are standard.
Let $G$ be a finite group. A subset $S$ of group $G$ ...

**2**

votes

**2**answers

330 views

### Primes $p$ for which $2p-1$ is prime

It's a well-known open problem (Sophie-Germain primes) whether there are infinitely many primes $p$, $2p+1$. What about $p$, $2p-1$?
Seemingly it's also an open problem (see here and the linked ...

**2**

votes

**0**answers

50 views

### The characteristic polynomial of the product of two linear recurrences

Let $\mathbb{F}$ be a field and let $(a_n)_{n \geq 0}$, $(b_n)_{n \geq 0}$ be two linear recurrences with terms in $\mathbb{F}$ and respective characteristic polynomials $f(X), g(X) \in ...

**0**

votes

**1**answer

96 views

### Convex cones: strict separation

Consider two closed convex cones $A$ and $B$ in $\mathbb{R}^3$. Assume that they are convex even without zero vector, i.e. $A \setminus \{0\}$ and $B \setminus \{0\}$ are also convex (it helps to ...

**2**

votes

**1**answer

114 views

### On conflicting descriptions for tor of a local cohomology group

Let $X$ be a smooth projective surface and $C$ a Cartier divisor on $X$. Denote by $\mathcal{H}^1_C(\mathcal{O}_X)$ the sheaf associated to the presheaf $U \mapsto H^1_{C \cap U}(\mathcal{O}_X|_U)$. ...

**6**

votes

**0**answers

110 views

### Operads and the Stable Module Category

I am seeking references to places where operads and their algebras have been studied for the stable module category. Colored operads are fine too.
Let $k$ be a field and $R$ a $k$-algebra. The stable ...

**7**

votes

**1**answer

151 views

### Structure of Deligne-Lusztig representations $R_{T,\theta}$ for ministropic $T$ and cuspidal representations

Let $G$ be a reductive group over a finite field $k$, let $F$ be a Frobenius morphism on $G$.
I'll start with a somewhat vague question and make my question more specific further down:
How do ...

**2**

votes

**1**answer

112 views

### Looking for Schmickler-Hirzebruch' monograph on elliptic surfaces

I wonder if it is possible to find (and if yes, where?) an electronic copy of the following monograph:
Author: Schmickler-Hirzebruch, Ulrike
Title: Elliptische Flächen über $\mathbb P^1(\mathbb ...

**3**

votes

**3**answers

191 views

### Compact surfaces with arbitrary gaps in spectrum

Consider a sequence of positive numbers $a_n$. My question is, can we select a closed Riemann surface whose spectrum $\lambda_i$ satisfies the condition that $\lambda_{i + 1} - \lambda_i > a_i$? Of ...

**3**

votes

**0**answers

104 views

### Dimension of the singular locus of $\mathcal M_X(r,d)$

Let $X$ be an algebraic smooth curve of genus $g$ over $\mathbb C$, and let $\mathcal M_X(r,d)$ (resp $\mathcal M_X^0(r)$) be the moduli space of vector bundle of rank $r$ and degree $d$ (resp. with ...

**8**

votes

**0**answers

128 views

### Edge-colorings of plane graphs: do you know references where the following questions are studied?

Let $G$ be a plane graph (or more generally, a graph embedded on a surface) with a proper edge-coloring of $G$ with $k$ colors $\{1,\ldots,k\}$. I am interested in studying the cyclic permutations of ...

**1**

vote

**0**answers

87 views

### Curve meeting an open subset

I would like a reference for the following (easy/classical?) result:
Let $X$ be a quasi-projective irreducible algebraic variety of dimension $\ge 1$, defined over an algebraically closed field $k$ ...

**5**

votes

**1**answer

60 views

### Modified mean value property

Let $L=\Delta + c$ in 3 dimensions, where $c$ is a positive constant.
I met this modified mean value property of a solution $u$ of $Lu=0$ as
...

**4**

votes

**0**answers

146 views

### Comparing spectra of Laplacian and Schrödinger operator

Let $M$ be a closed (compact without boundary) Riemannian manifold. Is there a body of results that compares the eigenvalues of the Laplace-Beltrami operator with that of Schrödinger operators ...

**8**

votes

**3**answers

500 views

### Historical developement of analysis and partial differential equations (especially in the 20th century)

Q: Is there a set of some comprehensive surveys or monographs describing (in
technical detail) the historical development of the various
subareas of analysis and partial differential equations?
...

**6**

votes

**1**answer

202 views

### The Irreducible Representations of the Sekine Quantum Groups

Here Y. Sekine introduces a one-parameter family of finite quantum groups of dimension $2n^2$. Let $n\geq 3$ be fixed and $\zeta=e^{2\pi i/n}$. Set
...

**4**

votes

**0**answers

47 views

### Is there a name for a bifurcation where a stable fixed point bifurcates into three fixed points: stable, unstable and saddle?

Consider the differential equation on $\mathbb{R}^2$ whose polar-coordinate representation is given by
$$ \begin{array}{r c l} \dot{r} & = & r(\alpha - r^2) \\ \dot{\theta} & = & ...

**6**

votes

**1**answer

187 views

### Fundamental class in $KO[1/2]$

Let $M^m$ be an oriented Riemannian manifold.
The signature operator associates to $M$ a class $\Delta_M\in KO_m(M)[1/2]$.
I have two questions about this class $\Delta_M$:
Rationally, $\Delta_M$ is ...

**7**

votes

**0**answers

66 views

### Ideals in strong Bruhat order

Recall that a (lower) ideal in a poset $(P, \le)$ is a subset $I\subset P$ such that $x\in I \Rightarrow y\in I$ for all $y\le x$. In am interested in ideals in finite Coxeter groups $W$ equipped ...

**4**

votes

**1**answer

179 views

### Existense of semi-stable vector bundles on smooth curves in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic and $X$ be a smooth projective curve over $k$ of genus $g \ge 2$. Fix a polarization $L$ on $X$. Does there exist a semi-stable ...

**6**

votes

**0**answers

90 views

### Overview and/or reference of theory of pro-universal covers?

This question will contain very little in the way of concrete information, because I don't have much to go on. I've heard whispers of something called a "pro-universal cover," which is the inverse ...

**4**

votes

**1**answer

62 views

### Reference request for $pro-p$ Iwahori subgroup of $GL_n(F)$

I am searching for a book/lecture notes/articles where I can find the definition and properties of the $pro-p$ Iwahori subgroup of $GL_n(F)$,(with examples if possible) the Iwahori decomposition of ...

**3**

votes

**1**answer

276 views

### “bornophagic” in cited references

Could anybody come up with a cited reference for the following concept?
A subset $B$ of a topological vector space $X$ is called "bornophagic" if, for every bounded $A\subset X$, there exists ...

**3**

votes

**1**answer

141 views

### Norm on space of metrics

I recently heard a differential geometry talk where the speaker constructed a one-parameter family of metrics $g(t)$ on a smooth manifold and said that $g(t)$ is real analytic in the Banach space ...

**7**

votes

**2**answers

621 views

### Weil's paper under a pseudonym on deforming singular varieties

I am looking for a paper of Weil that is published under a pseudonym, in which he proves a statement along the lines of: a singular algebraic variety cannot be deformed into a nonsingular one.
Thanks ...

**44**

votes

**17**answers

4k views

### Essays and thoughts on mathematics

Many distinguished mathematicians, at some point of their career,
collected their thoughts on mathematics (its aesthetic, purposes,
methods, etc.) and on the work of a mathematician in written ...

**9**

votes

**1**answer

189 views

### Normal approximation of tail probability in binomial distribution

My problem: From the Berry--Esseen theorem I know, that $$\sup_{x\in\mathbb R}|P(B_n \le x)-\Phi(x)|=O\left(\frac 1{\sqrt n}\right),$$ where $B_n$ has the standardized binomial distribution and $\Phi$ ...

**12**

votes

**1**answer

261 views

### Generating function of the Thue-Morse sequence

Let $T$ be the generating function of the Thue-Morse sequence; thus,
$T(x)=x+x^2+x^4+x^7+\dotsb$. It is known that $T$ satisfies the nice
congruence
$$ (1+x)^3 T^2(x) + (1+x)^2 T(x) + x \equiv 0 ...

**3**

votes

**1**answer

262 views

### Did Erdős prove there are two primes $4a+1, 4b+3$ between between $n$ and $2n$?

http://mathworld.wolfram.com/ChoquetTheory.html
Is the claim in the link true? Here's the reference given there:
https://www.renyi.hu/~p_erdos/1934-01.pdf
Erdős proved that there exist at least ...

**7**

votes

**1**answer

410 views

### Is a manifold generically real analytic (with generic real analytic metric)?

I have heard it said in some differential geometry talks that "the generic situation in such and such case is real analytic". My question is, is the generic smooth manifold also real analytic in some ...

**7**

votes

**0**answers

155 views

### A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers

In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that:
For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$
contains infinitely many finite index ...

**1**

vote

**1**answer

261 views

### Bertini-type theorem in positive characteristic [closed]

Let $f:X \to Y$ be a morphism of finite type of irreducible schemes over an algebraically closed field of characteristic $0$. Assume that $Y$ is non-singular. Let $x \in X$ be a closed point and ...

**7**

votes

**2**answers

234 views

### Real analyticity of solution of heat equation

Consider the heat equation $\partial_t u - \Delta u = 0, u(0, x) = u_0$ on a complete (non-compact) Riemannian manifold $M$, may be even $\mathbb{R}^n$. I was wondering, what are some known sufficient ...

**6**

votes

**1**answer

193 views

### Minimal immersions of the 2-sphere

Following the ideas of S.-S. Chern, J. L. M. Barbosa associated a holomorphic curve in $\mathbb{C}P^m$ to a minimal immersion of the 2-sphere into the $2m$-sphere in his 1972 paper. However, his ...