# All Questions

**2**

votes

**0**answers

27 views

### Restricted Burnside Problem: Lower bound nilpotency class

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$.
Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$
of exponent $p$ has a maximal finite quotient
...

**1**

vote

**1**answer

34 views

### About weak derivatives

I have a question about weak derivatives.
Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some
open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...

**-1**

votes

**0**answers

16 views

### Finite dimensional subspaces of functions on 2-sphere which are invariant under isometries [on hold]

Characterize all finite dimensional subspaces of smooth functions on $S^2$ which are invariant under rotations.

**1**

vote

**0**answers

4 views

### $P_3$-factors for 3-regular, 3-connected cubic graphs

Suppose that $G=(V,E)$ is a simple graph.
We know if $G$ is 3-regular, 3-connected and $|V|=4k$ for some $k\in \mathbb{N}$, then $G$ has $P_4$-factor.
Question. Let $G=(V,E)$ be 3-regular, ...

**1**

vote

**1**answer

18 views

### Convergence of weighted double sum of random variables

I'm looking for convergence results of particular weighted sum:
$$S_n=\frac{1}{n}\sum_{i=1}^{n}\sum_{j=1}^{n}a_{i,j}X_i X_j.$$
when random variables $X_i$ ar i.i.d. Are there any investigation ...

**2**

votes

**1**answer

10 views

### Compact $R_1$-spaces

A space $(X,\tau)$ is said to be $R_1$ if for all $x,y\in X$ with $cl(\{x\}) \neq cl(\{y\})$, there are disjoint open sents separating $cl(\{x\})$ and $cl(\{y\})$.
If $X$ is compact and $R_1$, does ...

**2**

votes

**1**answer

66 views

### Vanishing of higher direct image of a morphism with generic fiber $\Bbb{P}^1$

The following question was asked on math.stackexchange.com with no reply for the past week or so. Let $f : X \to Y$ be a morphism of smooth (integral) varieties over $\Bbb{C}$ with generic fiber equal ...

**1**

vote

**0**answers

17 views

### What is Jantzen's formula for the determinant of the Shapovalov form in the case of generalized Verma modules?

The best reference I found is
[Kac, Kazhdan '79]
which extends the results of Shapovalov and Jantzen to the case of infinite dimensional Lie algebras.
Theorem 1 of this paper gives the Shapovalov ...

**0**

votes

**1**answer

95 views

### A conjecture on the prime counting function

I was thinking about the Second Hardy-Littlewood conjecture for quite sometime (some of my posts are related to this). In one of my earlier post I conjectured that the inequality ($\pi(x)$ denotes the ...

**0**

votes

**0**answers

17 views

### Explicit computation of a limit of a cosimplicial object

Let $\Delta$ be the simplex category. Let $T_{n}$ be the standard topological $n$ simplex, i.e. it is the set of points of $\mathbb{R}^{n}$ such that $0\leq t_{1}\leq \dots \leq t_{n}\leq 1$. Its ...

**25**

votes

**3**answers

2k views

### What is the reverse mathematical strength of the fundamental theorem of algebra?

Reverse mathematics (RM) is that area that tries to pin down exactly which axioms are necessary to prove theorems, given some weak base theory. Harvey Friedman has pointed out several times (on the ...

**0**

votes

**1**answer

19 views

### How to generate computational data in graph theory?

For a given number of nodes how many non-isomorphic graphs are available? Might be this is an open problem. For less number of vertices some computational statistics available.
I want to get all ...

**12**

votes

**2**answers

423 views

### Does projective imply flat?

Let $\mathcal C$ be an abelian category equipped with a closed symmetric monoidal structure. This implies in particular that the monoidal structure $\otimes$ is right exact in each variable. I care ...

**1**

vote

**1**answer

91 views

### The canonical bundle of an infinitesimal deformation

Let $X_0$ be a smooth projective variety over the complex numbers and let $X$ be an infinitesimal deformation of $X_0$ over the ring of dual numbers.
If the canonical bundle of $X_0$ is ample (resp. ...

**0**

votes

**0**answers

33 views

### Transversal intersection in the moving lemma

Let $X$ be a smooth projective variety over an algebraically closed field and let $A,B$ be closed irreducible subvarieties of $X$. Chow's moving lemma which is proved in the book by Eisenbud and ...

**2**

votes

**0**answers

43 views

### The Tensor product of algebra group

Let G is a locally compact group. Is the following true?
The tensor product of $L^1(G)$ with $L^1(G)$ is $L^1(G \times G)$.

**0**

votes

**2**answers

196 views

### What conditions imply that a function over $\mathbb{Z}$ is a polynomial? [on hold]

How would one prove that a function is a polynomial? I can't seem to find anything about this on the internet. I would like to know if there are any unique properties that only polynomials can ...

**2**

votes

**0**answers

49 views

### Is there an E8 symmetry in the zero-field Ising model?

In the paper On classification of modular tensor categories by Rowell, Stong and Wang, they list the Ising modular category $I$ as having 3 objects $1$, $\sigma$ and $\psi$, with fusion rules ...

**5**

votes

**2**answers

235 views

### Can phase significantly concentrate a function's spectrum?

Let $F$ denote the Fourier transform over some group. What is known about the following quantity?
$$\gamma:=\inf_{x\neq 0}\frac{\|Fx\|_1}{\|F|x|\|_1}$$
Here, $|x|$ denotes the pointwise absolute ...

**4**

votes

**0**answers

71 views

### Moore spectra are not E-infinity (oldest known proof)

Fix a prime $p$. Let $M_p(i)$, the $i$-th Moore spectrum at the prime $p$, be the cofiber of the map
$$ S^0 \overset{p^i}\longrightarrow S^0 $$
where $S^0$ be the sphere spectrum. In the Mathoverflow ...

**9**

votes

**0**answers

134 views

### Need explicit formula for certain “$q$-numbers” involving gcd's

The question is motivated by yet another possible approach to a combinatorial problem formulated previously in "Special" meanders. I'm not giving details of the connection as I believe the ...

**0**

votes

**0**answers

46 views

### Obstruction to the splitness of an exact sequence of holomorphic vector bundles [migrated]

This question was asked here, but I think there will not be an answer, so let me recopy the question on Mathoverflow.
In the book of S. Kobayashi, hyperbolic complex spaces, there is the lemma ...

**9**

votes

**0**answers

99 views

### When is alternating sum $\sum_{i}f(a_i)-\sum_{i<j}f(a_i+a_j)+\ldots+(-1)^{n-1}f(a_1+\ldots+a_n)$ always positive?

Let $a_1,a_2,\ldots,a_n\geq 1$, and let $f:\mathbb{R}^+\rightarrow\mathbb{R}^+$. Consider the sum
...

**0**

votes

**0**answers

24 views

### Reproducing Kernel of a RKHS of continuous functions may not be continuous in two variables together

Let $\mathcal{K}$ be a Hilbert Space of continuous functions on some topological space, where point evaluations are continuous linear functional on $\mathcal{K}$.
That is $\mathcal{K}$ is RKHS, ...

**0**

votes

**0**answers

52 views

### Subgroup of Projective general linear group on complete discrete valuation ring

Let $R$ be a complete dvr and $k$ its residue field of positive characteristic.
Let $H$ be a finite subgroup of $PGL_2(k)$ such that the order of $H$ is prime with $char(k)$.
Is there some ...

**14**

votes

**5**answers

1k views

### How to explain the concentration-of-measure phenomenon intuitively?

One way to phrase the
"concentration-of-measure"
phenomenon is that,
for a Euclidean sphere $S^d$ in $d$ dimensions, for large $d$,
"most of the mass is close to the equator, for any equator."1
...

**4**

votes

**1**answer

88 views

### Equivalent Norms on Sobolev Spaces

When $k$ is a positive integer and $1<p<\infty$, we know that there is some
$C>0$ such that for all $u\in W^{k,p}\left(\mathbb{R}^{N}\right) :$
$$
\left\Vert \left( -I+\Delta\right) ...

**11**

votes

**1**answer

284 views

### Probability that random nonnegative integer matrix is singular

Q. What is the probability that an $n \times n$ matrix, whose elements
are independent uniformly random integers in $\{0,1,\ldots,k\}$, is singular?
For example, for $n=3$ and $k=2$, the first ...

**3**

votes

**2**answers

141 views

### Discretizing probability measures

Consider a probability distribution on $\mathbb{R}^k$, say $\mu$. Then there is a sequence of probability measures $\mu_n$ that converge weakly to $\mu$ so that each of them is discrete (takes ...

**0**

votes

**0**answers

191 views

### Whitehead group [closed]

Whitehead group (WG) is known for some groups (e.g. free abelian group, cyclic group, Braid group etc).
For example:
The Whitehead group of the trivial group is trivial.
The Whitehead group of a ...

**1**

vote

**2**answers

71 views

### Are spherical harmonics uniformly bounded?

The spherical harmonics are given by
$$Y^m_l(\phi,\theta):=N^m_l e^{im\theta}P^m_l(\cos \phi) $$
where $P^m_l$ are the associated Legendre Polynomials and $N^m_l$ is the normalisation.
From ...

**4**

votes

**1**answer

41 views

### Can every hyperelliptic genus 3 surface be minimally immersed in flat $T^3$

Every minimally immersed genus 3 surface in flat $T^3$ must be hyperelliptic, as the Gauss map gives the degree 2 covering map. How about the converse of this problem?
The only thing I can find is ...

**1**

vote

**1**answer

116 views

### Unitary irreps of the Poincare group in dimension <4

It is well-known that long ago, Wigner classified the unitary irreducible representations of the Poincare group in dimension 4.
I am looking for a convenient reference describing all unitary ...

**8**

votes

**2**answers

293 views

### Reference for an unbiased definition of a symmetric monoidal category

In the references I know, a symmetric monoidal category is defined as a monoidal category equipped with some additional data, so in particular the monoidal product is a functor
$$
\mathcal{C}\times ...

**6**

votes

**2**answers

152 views

### Direct proof that the model category of cdgas is left proper

Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred ...

**87**

votes

**17**answers

8k views

### How does one justify funding for mathematics research?

G. H. Hardy's A Mathematician's Apology provides an answer as to why one would do mathematics, but I'm unable to find an answer as to why mathematics deserves public funding. Mathematics can be ...

**47**

votes

**19**answers

7k views

### Rediscovery of lost mathematics

Archimedes (ca. 287-212BC) described what are now known as the 13
Archimedean solids
in a lost work, later mentioned by Pappus.
But it awaited Kepler (1619) for the 13 semiregular polyhedra to be
...

**96**

votes

**34**answers

14k views

### Books you would like to read (if somebody would just write them…)

I think that the title is self-explanatory but I'm thinking about mathematical subjects that have not received a full treatment in book form or if they have, they could benefit from a different ...

**0**

votes

**1**answer

177 views

### Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...

**46**

votes

**21**answers

10k views

### Errata for Atiyah-Macdonald

Is there a good errata for Atiyah-Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists inaccuracies ...

**114**

votes

**3**answers

6k views

### Is $\mathbb R^3$ the square of some topological space?

The other day, I was idly considering when a topological space has a square root. That is, what spaces are homeomorphic to $X \times X$ for some space $X$. $\mathbb{R}$ is not such a space: If $X ...

**121**

votes

**8**answers

4k views

### Resources for mathematics advising.

This question is possibly ill-advised. (If it is not right for this site I will delete it.)
I, suddenly, have students.
It is very clear to me that there is nothing in my education that has ...

**5**

votes

**1**answer

433 views

### Bipartite Graphs arising from two k-partitions of a given Graph

Let $G$ be an $n$-chromatic connected graph. Let $(V_1, V_2, \cdots, V_n)$ and $(U_1, U_2, \cdots, U_n)$ be two partitions of $V(G)$ corresponding to proper n-colorings of $G$.
Consider the bipartite ...

**9**

votes

**1**answer

457 views

### Characteristic Classes in Geometric Representation Theory

Geometric respectively topological methods are widely applied in representation theory. As far as I know mainly cohomological methods are used.
I wonder if there are concrete applications of the ...

**22**

votes

**14**answers

23k views

### Reading list for basic differential geometry?

I'd like to ask if people can point me towards good books or notes to learn some basic differential geometry. I work in representation theory mostly and have found that sometimes my background is ...

**13**

votes

**2**answers

408 views

### Model for the (infinity,1)-category of (homotopy-)limit preserving functors

I've got a simplicial model category $M.$ I'd like to get my hands on the (infinity,1) category of homotopy limit preserving functors from M to Spaces in order to compare it to another simplicial ...

**6**

votes

**3**answers

1k views

### Set of Positive Definite matrices with determinant > 1 forms a convex set

While reading a paper An Arithmetic Proof of John’s Ellipsoid Theorem by Gruber and Schuster, I have a question on their proof.
Consider an $n\times n$ real symmetric and positive definite matrix ...

**3**

votes

**2**answers

571 views

### A Chess Question Of The Late Great W.T.Tutte

In "Graph Theory As I Have Known It", p.12, Knights Errant, Tutte mentions as an aside the chess question " does either Black or White have a certain win from the initial position, given perfect ...

**6**

votes

**2**answers

321 views

### Image of abelian varieties

Let $k$ be an arbitrary field, and let $\varphi:A\to B$ be a morphism of abelian varieties over $k$.
If $k$ has characteristic zero, then $\varphi(A)$ has the structure of an abelian subvariety of ...

**36**

votes

**3**answers

2k views

### What are the higher homotopy groups of Spec Z ?

The homotopy groups of the étale topos of a scheme were defined by Artin and Mazur. Are these known for Spec Z? Certainly π1 is trivial because Spec Z has no unramified étale ...