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

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

**2**

votes

**0**answers

88 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

**2**answers

131 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

127 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

154 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

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

**10**

votes

**1**answer

199 views

### On Bailey–Borwein–Plouffe formula for irrational numbers

A BBP-type formula for an irrational number $\alpha$ in the integer base $b\geq 2$ is a formula in the form $\alpha=\Sigma_{k=0}^{\infty}\frac{1}{b^k}\frac{p(k)}{q(k)}$ ($p, q$ are polynomials in ...

**3**

votes

**1**answer

178 views

### Minimal Birthdays

In combinatorial game theory: The birthday of a game is defined recursively as 1 plus the maximal birthday of its options, with the zero game having birthday 0.
Suppose we define the quasi-birthday ...

**7**

votes

**1**answer

180 views

### How to construct i.i.d. standard normal random variables on $\Omega = [0, 1]$ with the Lebesgue measure

Let $(\Omega, \mathcal{F}, \mathbb{P})$ be the unit interval with Lebesgue measure on the Borel subsets. Then we can find independent random variables $X_1, X_2, X_3, \dots$ defined on $(\Omega, ...

**7**

votes

**3**answers

489 views

### Quantitative and elementary proofs of the Prime Number Theorem

I would like to know two things: one, whether the best quantative bounds in the Prime Number Theorem are still basically those given by the Vinogradov-Korobov zero-free region? and two, whether there ...

**2**

votes

**1**answer

95 views

### Curvature computations of globally symmetric spaces of rank $1$

I've been having trouble with finding the curvature computations of globally symmetric spaces of rank $1$.
More specifically, I need to use results about the eigenvalues of the operator $R:T_pM ...

**5**

votes

**1**answer

143 views

### $\kappa$-support iterations of $<\kappa$-strategically closed forcing

Let $\kappa$ be an uncountable regular cardinal, and suppose that $\langle \mathbb{P}_\alpha,\dot{\mathbb{Q}}_\alpha:\alpha<\delta\rangle$ is a $\kappa$-support iteration of ...

**3**

votes

**1**answer

107 views

### Vector bundle with a perfect pairing and ($\mathbb Z/2$, $SL_r$)-bundle

I think this is a well knowing result but I can't find any reference,
Let $(E,q)$ be a vector bundle with a non degenerated quadratic form $q:E\rightarrow E^*$ with trivial determinant, suppose ...

**9**

votes

**1**answer

246 views

### Scheme of irreducible components

Let $\pi:X \to S$ be a morphism of schemes (I can assume that $\pi$ is sufficiently nice, e.g. proper and flat, but certainly not smooth).
Does there exist a scheme $I_{X/S}$ which parametrises ...

**8**

votes

**2**answers

210 views

### Characters of cuspidal representations

Let $\pi$ be an irreducible cuspidal representation of a semi-simple $p$-adic group $G$. It is well-known that the character of $\pi$ is concentrated in the set of compact elements in $G$.
What is ...

**7**

votes

**0**answers

397 views

### Name for an operation on matrices?

Given two matrices $A$ and $B$ of size $a \times n$ and $b \times m$ consider the following operation $A \dagger B$ whose result is an $a b^n \times n m$ matrix. $A \dagger B$ is a block matrix with ...

**4**

votes

**1**answer

53 views

### Reference request: Urbanik's work on random integrals and Orlicz spaces

Several important papers on Lévy processes are referring to the following paper:
K. Urbanik and WA Woyczynski, A random integral and Orlicz spaces,
Bulletin de l'Académie Polonaise des Sciences, ...

**5**

votes

**1**answer

52 views

### Local quasiconvexity in graphs of free groups with cyclic edge groups

In Wise1 Wise shows that hyperbolic graphs of free groups with cyclic edge groups are subgroup separable. In Hsu-Wise these are shown to be cubulated, and by Agol they're virtually special, so ...

**10**

votes

**1**answer

381 views

### Cardinality of definable sets of reals

Throughout this question we assume ZFC.
If CH holds, then the following is obvious:
(S) Every definable infinite subset of $\mathbb R$ has size either $\aleph_0$ or $2^{\aleph_0}$.
(It's true ...

**7**

votes

**1**answer

97 views

### What is the maximal possible rank of a subgroup of a special linear group mod a prime?

Let $p$ be a prime number, and let $\mathbb{F}_p$ be the unique field of cardinality $p$.
What is $\max \{d(H) : H \leq \mathrm{SL}_3(\mathbb{F}_p)\}$?
Here we denote by $d(G)$ the smallest ...

**10**

votes

**0**answers

276 views

### Sums of squares via semidefinite programming for the complex free group algebra

In the algebra of real noncommutative polynomials (the “free monoid algebra” over the real field) it is possible to reduce the question of whether an element is a sum of hermitian squares and ...

**4**

votes

**0**answers

59 views

### Rational connectedness of certain subvarieties of the linear series

Let $X$ be a smooth projective hypersurface in $\mathbb{P}^3$, $|\mathcal{O}_X(a)|$ be the complete linear system for some integer $a>0$. Ofcourse, a general element of the linear system is a ...

**7**

votes

**1**answer

206 views

### Derive an orthonormal system by Riesz basis $\{g(\cdot-\lambda_k),\ \lambda_k\in\mathbb R, \ k\in\mathbb Z\}$

Let $\{g(\cdot-k),k\in\mathbb Z\}$ be a Riesz basis, and let $\varphi\in L^2(\mathbb R)$ be a function defined by its Fourier transform
$$\hat{\varphi}(\xi)=\frac{\hat{g}(\xi)}{\Gamma(\xi)},$$
where
...

**5**

votes

**0**answers

177 views

### Is $D(n)$ a Thom spectrum?

Fix $p=2$ and let $D(n)$ be a spectrum which filters the Eilenberg-Moore spectrum $H\mathbb{Z}/2$, i.e. $\mathrm{colim}\ D(n)=H\mathbb{Z}/2$. This spectrum can be considered as the cofibre of ...

**7**

votes

**1**answer

182 views

### Do semialgebraic sets depend outer semicontinuously on their defining polynomials?

Consider a compact (semialgebraic) ball $B\subset \mathbb{R}^n$ and a semialgebraic set $A=A(f_1,\cdots,f_s)\subset \mathbb{R}^n$ defined through some representation in terms of polynomials ...

**7**

votes

**0**answers

183 views

### Mapping class group action on fundamental group of punctured elliptic curves

Let $(\mathcal{M}_{1,1})_{\overline{\mathbb{Q}}}$ be the moduli stack of elliptic curves over $\overline{\mathbb{Q}}$. By Oda, we know that its etale fundamental group is $\widehat{SL_2(\mathbb{Z})}$.
...

**3**

votes

**0**answers

109 views

### Reference request: Darboux properties of real-valued set functions (measures, densities, etc.)

Fix a set $S$ and let $f: \mathcal P(S) \rightharpoonup \mathbf R$ be a real-valued partial function on the power set of $S$; denote by $\mathcal D$ the domain of $f$. We say that $f$ has:
(i) the ...

**1**

vote

**0**answers

60 views

### Finding an error estimation for the De Moivre–Laplace theorem with Stirling's formula

Context for my question: For one part of my thesis I try to find an upper bound for the error in the normal approximation of the binomial distribution following the standard proof of the De ...

**5**

votes

**0**answers

202 views

### A roadmap to learn about finite-dimensional commutative associative real or complex unital algebras

I've always been secretly fascinated with the rich structure and applications of finite-dimensional associative unital algebras over complete fields. In particular, I am very much interested in the ...

**8**

votes

**2**answers

552 views

### Surreal compactness

In a comment here, Joel David Hamkins said:
...I think perhaps every set-sized open cover of a bounded interval in the surreals has a finite subcover, but there are proper class open covers with ...

**3**

votes

**0**answers

217 views

### $(\mathbb{CP}^1)^n/S_n \overset{\sim}{\to} \mathbb{CP}^n$ [closed]

Can someone refer to me a source that describes the construction of a homeomorphism $$(\mathbb{CP}^1)^n/S_n \overset{\sim}{\to} \mathbb{CP}^n?$$I am not an algebraic geometrer and I would like to see ...

**5**

votes

**0**answers

125 views

### Relative invariants of $P\oplus P^*$

Let $P$ be a $\mathrm{GL}(V)$-module, and assume that the decomposition of $P$ into irreducible submodules is known. By a relative invariant of the module $P\oplus P^*$, I mean a homogeneous nonzero ...

**1**

vote

**1**answer

75 views

### Graded category O for for rational Cherednik algebras, but at t=0

The paper [1] introduced the category $\mathcal{O}$ for rational Cherednik algebras $H_{t,c}(W)$. This construction is tailored for the $t=1$ case (equivalently, the $t\neq 0$ case). The general setup ...

**3**

votes

**1**answer

137 views

### Standard techniques on rationally connected varieties

Is there some standard technique or approach to determine when a (irreducible) subvariety of a rationally connected variety is again rationally connected? Any reference/text dealing with this kind of ...

**12**

votes

**1**answer

284 views

### Connection between Bernoulli numbers and Riemann-Siegel theta function?

I have come across a strange approximation for the Riemann-Siegel theta function involving the Bernoulli numbers - namely that
$$\frac{1}{2} \log \left| B_{2 n}\right|\approx \vartheta (2n)\ ,\quad n ...

**22**

votes

**2**answers

626 views

### SnapPea for the uninitiated

SnapPea (http://www.math.uic.edu/~t3m/SnapPy/) is a program with extensive facilities for doing various kinds of calculations with hyperbolic 3-manifolds. The official documentation assumes that the ...

**6**

votes

**1**answer

142 views

### Different ways of making $HOD$ far from $V$

There are different criteria for building a model $V$ of $ZFC$ which is far from its
$HOD$, for example:
$(A)$ Cardinality criteria: For this in a joint work with James Cummings and Sy Friedman, we ...

**0**

votes

**0**answers

46 views

### The name of a class of linearly ordered groups

My friend asked me to ask his question here. Is there a special name for a linearly ordered group $G$ such that for every positive element $g\in G$ there exists an element $h\in G$ such that ...

**2**

votes

**1**answer

84 views

### First passage percolation for general graphs

There have been many questions about the behavior of first-passage percolation on specific graphs. In particular, it seems like cliques, grids, random graphs, and ladders are well-studied. But I can't ...

**2**

votes

**1**answer

91 views

### Spectral geometry: asymptotic sequences of subspaces of $L^2(M)$ and the geometry of $M$

Consider a closed connected Riemannian manifold $M$, together with the associated Hilbert space $L^2(M)$ defined with respect to the Riemannian volume density. Let $-\Delta$ be the positive Laplacian ...

**8**

votes

**2**answers

350 views

### Some “axiom of choice” and “dependent choice” issues

I am probably about to ask some fairly basic questions, and yet I have found it quite hard to find the answers to these.
If I understand correctly, mathematicians tend to be quite happy working with ...

**3**

votes

**2**answers

206 views

### Minimal expression of 0 as a sum of kth powers in a finite field

Let $l=\min\{s\in \mathbb{N}|0\in s\cdot (\mathbb{F}_{p^n}^\times)^k\}$. Is any information known about this number already as a function of $k$? Any reference would be greatly appreciated!

**6**

votes

**2**answers

270 views

### Seifert--van Kampen for the loop space dga

I recently noticed that I could mostly prove a special case of the following statement. I think it's true in general, though perhaps only for nice spaces.
Let $X$ be a topological space, and ...

**-1**

votes

**1**answer

590 views

### What is wrong with this counterexample to primality test assuming GRH? [closed]

From SMOOTH NUMBERS: COMPUTATIONAL NUMBER THEORY AND BEYOND Andrew Granville pp.13-14:
2j. Lenstra’s polynomial time test as to whether an integer that is conjecturally prime, is rigorously ...

**6**

votes

**0**answers

179 views

### Remote points in $\beta X$

It is known that in general convergence by sequences is not enough to account for all points in $\beta X \setminus X$, where $\beta X$ refers to the Stone-Cech compactification of a topological space ...

**6**

votes

**1**answer

256 views

### Flag varieties and orbit of highest weight vector

I asked this here http://math.stackexchange.com/questions/1441408/orbit-under-lie-group-and-projective-variety but did not get any answers, so I am asking here. I apologize if this is not appropriate ...

**12**

votes

**2**answers

497 views

### formula for Eta invariant

Hirzebruch's signature formula is not valid for manifolds with boundary.
An error term is introduced by Atiyah-Patodi-Singer to fix it.More precisely:
$$sign (M)=L(M)[M]+\eta(\partial M)$$
Yet ...

**0**

votes

**2**answers

121 views

### “semi-pseudonorm” in references

The following is an excerpt of a note in topological vector spaces.
I have tried to search "semi-pseudonorm" on Google but I have got nothing so far. A search with "pseudonorm" returns what we ...

**2**

votes

**0**answers

122 views

### What should I read to prepare for research in Number Theoretic Cryptography? [closed]

I am not sure if this is the correct place to ask this, and if it is not the correct place, I would appreciate if you could direct me to where I could get this problem answered.
I have just begun my ...

**2**

votes

**0**answers

37 views

### Is there any known construction of IIC as a limit from supercritical phase?

Consider a nearest-neighbor percolation model on $\Bbb{Z}^d$, where each bond is occupied with probability $p$ independent of each other. Let $\Bbb{P}_p$ denote the corresponding law on the ...