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

**2**

votes

**0**answers

11 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$ ...

**2**

votes

**0**answers

47 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 ...

**8**

votes

**1**answer

182 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

109 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

96 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

54 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

239 views

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

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

113 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

146 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

60 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

85 views

### On tangent space of relative quot scheme 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 ...

**2**

votes

**0**answers

102 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

299 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 ...

**1**

vote

**0**answers

35 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

73 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 ...

**1**

vote

**1**answer

99 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)$. ...

**3**

votes

**0**answers

94 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

129 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

103 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

184 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 ...

**2**

votes

**0**answers

93 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 ...

**7**

votes

**0**answers

76 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

77 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

53 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

135 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 ...

**4**

votes

**2**answers

301 views

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

What are some comprehensive surveys or monographs that describe (in
enough technical detail) the historical development of the various
subareas of analysis and partial differential equations?
...

**4**

votes

**1**answer

143 views

+100

### 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}$ (I have a feeling this should actually be $e^{\pi i/n}$ - ...

**4**

votes

**0**answers

42 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

175 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

60 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

167 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 ...

**4**

votes

**0**answers

79 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 ...

**3**

votes

**1**answer

52 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

269 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 ...

**2**

votes

**1**answer

125 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

604 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 ...

**43**

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 ...

**8**

votes

**1**answer

128 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$ ...

**11**

votes

**1**answer

232 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

239 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 ...

**5**

votes

**1**answer

363 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

141 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

241 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

213 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

175 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 ...

**2**

votes

**0**answers

87 views

### Cannot multivectors be classified more easily than general tensors?

This is sort of a spinoff of Is there a useful generalization of the Schmidt decomposition to the tensoring together of 3 or more vector spaces? - seems to be almost hopeless, but maybe some partial ...

**0**

votes

**1**answer

72 views

### Is the restricted root system of a simple real Lie group irreducible?

As the title asks, is the restricted root system of a simple real Lie group irreducible?
I believe this is true but I need a reference to cite.

**0**

votes

**0**answers

116 views

### Harmonic function with Dirichlet boundary condition

Consider the domain $D = \{(x_1, x_2,.., x_n) \in \mathbb{R}^n : 0 \leq x_i \leq 1\}$. Let $D$ be divided into two parts $D_1$ and $D_2$ by the hyperplane $H = \{x_1 = \frac{1}{2}\}$. My question is: ...

**6**

votes

**1**answer

139 views

### The proof that a vertex algebra can lead to a Wightman QFT

On p. 13 of "Vertex Algebras for Beginners", 2nd edition, Kac writes:
"Under certain assumptions and with certain additional data one may reconstruct the whole QFT from these chiral algebras, but we ...

**0**

votes

**0**answers

62 views

### Abelian centralizer groups (CA-groups)

I am searching for all information about CA-groups [abelian centralizer groups] and i just found a German book [Huppert] and Nilpotent Centralizer group of Suzuki in 44 pages and Group theory book of ...