All Questions
5,076 questions with no upvoted or accepted answers
11
votes
0
answers
382
views
Ascending chain condition for 1-element normal closures in a free group
Let $F$ be a free group of finite rank. Does $F$ satisfy the ascending chain condition on normal subgroups each of which is a normal closure of one element?
In other words, can there exist elements $...
- 3,181
11
votes
0
answers
346
views
Status of questions in "Group Actions on $\mathbb{R}$-trees"?
Culler and Morgan's "Group Actions on $\mathbb{R}$-trees" lists four questions at the end of the introduction. A few have been famously resolved by work of Rips, Bestvina–Feighn and others.
I'm ...
- 1,996
11
votes
0
answers
269
views
Proving a group with two generators is not free that uses the Brahamagupta-Pell equation
Hello I encountered the following while reading a set of notes on free groups. It's not a homework question.
"Does there exist a rational number $\alpha$ with $0 <|\alpha| < 2$ such that the ...
- 111
11
votes
0
answers
379
views
Amalgamated product of automatic groups
In Gersten's "Problems on Automatic Groups", Problem 14, he asks the following question: Let $G=A\ast_{C}B$ where $A$ and $B$ are automatic and $C$ is infinite cyclic. Is $G$ automatic?
Is this ...
- 525
11
votes
0
answers
480
views
Sheaf-theoretic Grothendieck groups
Let $S$ be a scheme, $M\to S$ a commutative monoid object in algebraic $S$-spaces, ie. an algebraic $S$-space such that, functorially on $S$-schemes $T$, $M(T)$ is a commutative monoid with neutral ...
user113393
11
votes
0
answers
408
views
Relation between a continued fraction and partitions
I am interested in the continued fraction
$$\sum\limits_k {{z^{{2^k} - 1}}} = \frac{1}{{1 - \frac{{{T_0}z}}{{1 - \frac{{{T_1}z}}{{1 - \frac{{{T_2}z}}{{1 -{ \ddots }}}}}}}}}.$$
OEIS A104977 states ...
- 5,622
11
votes
0
answers
310
views
Snake lemma for equivalence relation
A sequence $$E(\zeta) \stackrel{\theta}{\to} X^2 \rightrightarrows X \stackrel{\zeta}{\to} Y $$
where the unlabelled arrows are the two projection, is said to be exact iff
$\zeta$ is the ...
- 9,111
11
votes
0
answers
324
views
Why is the CM-type preserved after base changing from char 0 to char p?
There is a transition in the theory of complex multiplication which seems to be glossed over in all expositions I can find. I would like to explicitly find a theorem that allows me to do this.
...
- 3,539
11
votes
0
answers
228
views
Is there a term for this graph subset?
Suppose $G$ is a (finite) graph which is $k$-vertex colourable (i.e. $\chi(G)\leqslant k$). Suppose $S$ is a set of vertices of $G$ with the following property:
If $c:V(G)\rightarrow [k]$ is a vertex ...
- 211
11
votes
0
answers
821
views
How to compute Ext-groups for categories without enough injectives/projectives?
I am studying a category of representations of an infinite-dimensional Lie algebra, which is an abelian category. Unfortunately, the category does not have enough injectives/projectives. I would ...
- 507
11
votes
0
answers
760
views
Hamilton-Jacobi equations: Method of characteristics
In Cannarsa-Sinestrari's book 'Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control' there is a proof, via the Method of Characteristics, of global-in-time existence of classical ...
- 111
11
votes
0
answers
606
views
Letters of a bi-rationalist
V.V. Shokurov has written several papers over the course of about 10 years which are called "Letters of a bi-rationalist". Here are the ones that I could find:
Letters of a bi-rationalist. I. A ...
- 6,871
11
votes
0
answers
410
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 ...
- 7,067
11
votes
0
answers
670
views
Pairing of cohomology and homology Künneth formulas
Let $k$ be a field, and let $X$ and $Y$ be CW-complexes of finite type (although the question makes sense for $k$ a ring and for more general chain complexes of finitely generated free abelian groups)....
- 35.9k
11
votes
0
answers
501
views
The cones for Bochner–Lichnerowicz–Weitzenböck formula
The Bochner–Lichnerowicz–Weitzenböck formula can be written the following way
$$ \Delta \phi-\nabla^*\nabla \phi= R(\phi),$$
here $\phi$ is a section in a Dirac bundle and $R$ the something which can ...
- 1,785
11
votes
0
answers
870
views
Reference/quote request: "All of combinatorics is the representation theory of $S_n$"
I think I remember reading somewhere a glib (or is it deep?) quote, perhaps due to Rota?, which was something like
"All of combinatorics is essentially [or can be reduced to?] the representation ...
- 3,230
11
votes
0
answers
576
views
What's known about the mod 2 reduction of the level l Jacobi modular equation?
Motivation:
Let $\ell$ be an odd prime. Let $A$ in ${\mathbb Z}/2[[x]]$ be $x+x^9+x^{25}+x^{49}+...$, and $B=A(x^\ell)$. One can use the level $\ell$ Jacobi modular equation to get a polynomial ...
- 5,422
11
votes
0
answers
1k
views
Do the Standard Conjectures imply parts of the "Weil II" Riemann Hypothesis?
It is known that Grothendieck's Standard Conjectures on algebraic cycles imply the Riemann Hypothesis of the original Weil Conjectures. However, do they also say something about the version of the ...
- 1,764
10
votes
0
answers
288
views
Coefficients of polynomials vs trigonometric product
Let's consider the family of sequences of coefficients in the expansion
$$\prod_{i=0}^{n-1}(1+x^{3^i}+x^{3^{i+1}})=\sum_{k\geq0}a_n(k)\, x^k.$$
Remark. Evidently, the RHS is a finite sum.
Here is a ...
- 43.2k
10
votes
0
answers
351
views
How are the hypergeometric motives of WZ-Pairs connected?
If $\small{(F,G)}$ is a WZ-pair and general asymptotic conditions $\lim_{k\rightarrow\infty}\small{G(n,k)=0}$ and $\lim_{n\rightarrow\infty}\small{F(n,k)=0}$ hold, then we have the certified ...
- 2,836
10
votes
0
answers
422
views
Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
- 825
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
10
votes
0
answers
598
views
Does the interior of Pascal's triangle contain three consecutive integers?
This question defeated Math SE, so I am posting it here.
Consider the interior of Pascal's triangle: the triangle without numbers of the form $\binom{n}{0},\binom{n}{1},\binom{n}{n-1},\binom{n}{n}$.
...
- 3,577
10
votes
0
answers
420
views
What is the original source for the Goerss-Hopkins-Miller-Lurie theorem on tmf?
The central basic theorem of topological modular forms states that the structure sheaf of $\widehat{\mathcal{M}}_{ell}$ lifts to a sheaf of complex-oriented $E_{\infty}$-rings whose formal groups are ...
- 1,969
10
votes
0
answers
534
views
Isbell duality between algebras and sheaves
nLab says on Isbell duality, the following:
A general abstract adjunction
$(\mathcal{O} \dashv \operatorname{Spec}) : \mathrm{CoPresheaves} \leftrightarrows \mathrm{Presheaves}$
relates (higher) ...
- 1,347
10
votes
0
answers
126
views
V-categories enriched in a monoidal V-category
In an email to the categories mailing list dated 21 August 2003, Street writes:
Max reminded me of his old result (not in the LaJolla Proceedings,
but known soon after) that a monoidal V-category is ...
- 10.7k
10
votes
0
answers
168
views
How nice can sets of reals be under $\mathsf{ZF} + \mathsf{BPI}$?
It's well known that the full axiom of choice is not needed to prove the existence of non-measurable subsets of $\mathbb{R}$. In particular, the Boolean prime ideal theorem ($\mathsf{BPI}$) is ...
- 13.2k
10
votes
0
answers
308
views
Compact Lie groups are rational homotopy equivalent to a product of spheres
According to [1] and [2], it is “well-known” that a compact Lie group $G$ has the same rational homology, and according to [2] is even rational homotopy equivalent, to the product $\mathbb{S}^{2m_1+1} ...
- 32.5k
10
votes
0
answers
464
views
Does the book "Algebra III" exist (within the Encyclopaedia of Mathematical Sciences series from Springer)?
Within the series "Encyclopaedia of Mathematical Sciences", as published by Springer, one finds the 8 volumes, namely,
the volumes I, II, IV, V, VI, VII, VIII, IX but zbMath has no listing ...
- 171
10
votes
0
answers
657
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
- 446
10
votes
0
answers
455
views
Exotic analytic triangulations of $S^5$?
I would like to understand better the nature of bad triangulations of $S^5$, discussed in two Lectures of Jacob Lurie
https://www.math.ias.edu/~lurie/937notes/937Lecture2.pdf
http://www-math.mit.edu/~...
- 14.3k
10
votes
0
answers
349
views
A bijective proof for the odd companion to Shapiro's Catalan convolution
Shapiro's Catalan convolution is the following formula (where $C_n$ is the $n$th Catalan number):
$$
\sum_{k=0}^{n}{C_{2k}C_{2(n-k)}}=4^nC_n.
$$
In other words, letting $C(z)=\sum_{n=0}^{\infty}{C_nz^...
- 1,190
10
votes
0
answers
245
views
Projective planes over non-division rings
Is there a "right" notion of a projective plane over a general (unital, non-division) ring?
Let me explain what type of object I am looking for. Let $R$ be an arbitrary (not necessarily ...
- 241
10
votes
0
answers
327
views
Integrality of primary genus $0$ Gromov-Witten invariants of a Fano manifold
Suppose $(X,\omega)$ is a positively monotone compact symplectic manifold, i.e., after a positive scaling of the symplectic form, we have $c_1(T_X) = [\omega]$ in de Rham cohomology ($T_X$ has well-...
- 1,761
10
votes
0
answers
283
views
How does a theory give rise to a category with finite products?
In the paper Diagonal Arguments and Cartesian Closed Categories (here), Lawvere presents a fixed-point theorem that generalizes both Cantor's theorem and Gödel's (first) Incompleteness Theorem.
In ...
- 489
10
votes
0
answers
346
views
Is this elliptic integral identity known?
Thinking about some physical problem, I came across the following identity:
$$\phi^2\Pi\left(-\phi,\frac{1}{\sqrt{2}}\right)+\phi^{-2}\Pi\left(\phi^{-1},\frac{1}{\sqrt{2}}\right)=\frac{\pi}{\sqrt{2}}+...
- 16.5k
10
votes
0
answers
391
views
How do properties of a partial order $\mathbb{P}$ affect the logic of the functor category $\mathsf{Set}^\mathbb{P}$?
$\DeclareMathOperator\true{\mathsf{true}}$I am very suspicious the answer to this (family of) question(s) is well-known, but I couldn't find anything after a bit of searching so I'll ask anyway.
I am ...
- 613
10
votes
0
answers
431
views
Gromov's compactness theorem via Sacks-Uhlenbeck and Schoen-Uhlenbeck
Gromov's compactness theorem for pseudo-holomorphic curves, in section 1.5 of "Pseudoholomorphic curves in symplectic manifolds," is very well known. I'm aware of the following two proofs:
...
- 2,247
10
votes
0
answers
464
views
Reference for sets of locally finite perimeter on Riemannian manifolds
I am looking for a reasonably complete reference for Ennio De Giorgi's theory of sets of locally finite perimeter (also christened by him as Caccioppoli sets, after Renato Caccioppoli's pioneering ...
- 7,817
10
votes
0
answers
234
views
Branching from GL(a+b) to GL(a) x GL(b)$ using Gel'fand-Cetlin patterns
If one iterates the multiplicity-free branching rule from $\operatorname{GL}(n)$ representations (finite-dim, over $\mathbb C$) to $\operatorname{GL}(n-1)$ all the way down to $\operatorname{GL}(0)$, ...
- 27.9k
10
votes
0
answers
329
views
Thurston on the Robertson-Seymour theorem
Danny Calegari recounts here that Bill Thurston "gave one talk explaining his idea of a new proof of (some version of) the Robertson-Seymour theorem" at MSRI in 1996-1997. I could not find it in the ...
- 940
10
votes
0
answers
193
views
Holomorphic versus algebraic $\mathbb C^*$-actions
I believe that the following is true:
Statement. A holomorphic $\mathbb C^*$-action on a complex projective manifold is algebraic if and only if it has a fixed point.
Where can I find a proof of ...
- 14.3k
10
votes
0
answers
279
views
Mirror site for the NIST Digital Library of Mathematical Functions (DLMF)
For research I use the NIST Digital Library of Mathematical Functions (https://dlmf.nist.gov/) quite often for looking up basic facts about special functions. At the moment, however, this gives
...
- 1,996
10
votes
0
answers
286
views
Published reference on the automorphism group of modular curves $X_1(N)$?
I wish to cite that the automorphism groups of $X_1(N)$ have already been completely calculated, and what they are, but I am having difficulty finding this calculation in the literature.
I have ...
- 3,539
10
votes
0
answers
373
views
Local Langlands Correspondence for unramified principal series representations
Let $G$ be a connected, reductive group over a $p$-adic field $k$. Assume $G$ is quasi-split with Borel subgroup $B = TU$. Consider those irreducible admissible representations $\pi$ of $G(k)$ which ...
- 6,180
10
votes
0
answers
459
views
Proof of Dixon's identity only using Chu-Vandermonde
For any integers $a,b,c\ge 0$,
one has the well known identity or Dixon's Theorem:
$$
\sum_{k\in\mathbb{Z}} (-1)^k
\left(\begin{array}{c}a+b\\a+k\end{array}\right)
\left(\begin{array}{c}b+c\\b+k\end{...
- 23.1k
10
votes
0
answers
416
views
Lipschitz homotopy groups
There is an extensive literature on Lipschitz homotopies of Lipschitz maps. But I haven't seen anything about Lipschitz homotopy groups. We have introduced this notion in an article that you can find
...
- 28k
10
votes
0
answers
281
views
How much is known about unstable homotopy of truncated projective spaces? - Reference request
I would like to know where about I can find the most updated results on the unstable groups $\pi_{2k+1}P_{k+1}$ and $\pi_{2k}P_k$. I think there would be definitely computations Mahowald's AMS memoir, ...
- 3,173
10
votes
0
answers
170
views
Reference request: recent progress in cosmic censorship, classification and evolution of singularities
After decades of inconclusive work, it seems that there may have been some dramatic progress within the last few years on the cosmic censorship conjecture (CCC). Joshi and Malafarina claim in a 2014 ...
user21349
10
votes
0
answers
441
views
A new $\ell_p$-metric on the hyperspace of finite sets?
Let $(X,d)$ be a metric space and $Fin(X)$ be the family of all non-empty finite subsets of $X$. For every $n\in\mathbb N$ the elements of the power $X^n$ are thought as functions $f:n\to X$ where $n:=...
- 42k