All Questions
5,076 questions with no upvoted or accepted answers
10
votes
0
answers
239
views
On tangent space to the fundamental group scheme
Let $X$ be a smooth, projective complex curve of genus at least $2$. If I understand correctly, after choosing a base point, one can associate to $X$, a fundamental group scheme $\pi$. I am trying to ...
- 2,126
10
votes
0
answers
325
views
Are ideals in separable C*-algebras complemented subspaces?
Let $A$ be a separable C*-algebra and $J\subseteq A$ a closed two-sided ideal. Does this make $J$ into a complemented subspace of $A$? In other words, does the quotient map $A\to A/J$ have a ...
- 6,406
10
votes
0
answers
362
views
References about conic bundles
I'm interested in stable rationality of conic bundles by means of Brauer group/unramified cohomology non-triviality, and I was wondering if there are some references for the basic properties of conic ...
- 375
10
votes
0
answers
931
views
Algebraic geometry and PDEs (reference-request)
Context: Let's say we have an affine algebraic variety corresponding to the zero set of an irreducible polynomial (over $\mathbb{C}$) in $n$ variables, denoted by $p(x_1, \dots, x_n)$. $$p(x_1, \dots, ...
- 2,680
10
votes
0
answers
300
views
Mackey's Program on Algebraic Ergodic Theory
I knew about Mackey's Program from Arnold's book Random Dynamical Systems and it referred to K. Schmidt's book Algebraic Ideas in Ergodic Theory, which was published in 1990. However, that is the ...
- 241
10
votes
0
answers
405
views
A conjecture of Blakley and Dixon about odd powers of positive matrices
In a 1966 paper Blakley and Dixon conjecture the following. Let $S$ be a symmetric matrix with nonnegative entries and let $u$ be a unit vector with nonnegative entries. For integers $k\ge j$ both odd,...
- 505
10
votes
0
answers
216
views
Can we find minimal-diameter metrics without computability?
A beautiful argument by Nabutovsky and Weinberger (see http://math.uchicago.edu/~shmuel/fractal.ps) shows that, if $M$ is any smooth compact manifold of dimension $\ge 5$, then the diameter functional ...
- 20.7k
10
votes
0
answers
284
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 $-\...
- 109
10
votes
0
answers
191
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 ...
- 31.2k
10
votes
0
answers
477
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 $...
10
votes
0
answers
761
views
Reference request : Grothendieck's topological space valued integral
As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
- 1,616
10
votes
0
answers
1k
views
Bound on the number of lattice points in d-dimensional ball
The following paper states that the number of lattice points in a $d$-dimensional ball of radius $R$ is $V_d R^d + O(R^\alpha)$ where $\alpha = d - 2$ and $V_d$ is the volume of the unit $d$-...
- 201
10
votes
0
answers
415
views
Singularities in Yang Mills Flow
In "The Yang Mills flow in four dimensions", M. Struwe proves that this flow converges, up to bubbling phenomena. And he has conjectured that this explosion in finite time should happen as proven for ...
- 914
10
votes
0
answers
303
views
When were bordered Heegaard Floer homology's DA bimodules invented?
This is less of a strictly mathematical question and more of a reference request.
In their paper "Bordered Heegaard Floer Homology (http://arxiv.org/pdf/0810.0687.pdf)," Lipshitz-Ozsvath-Thurston (...
- 1,474
10
votes
0
answers
271
views
Maximality of linear orders in the Keisler order on theories
Recently Malliaris and Shelah (see their preprint http://math.uchicago.edu/~mem/Malliaris-Shelah-CST.pdf) have shown that theories with $SOP_2$ are maximal in the Keisler order. A preceding result of ...
- 489
10
votes
0
answers
333
views
Bi-spherical polyhedra
Bicentric polygons have been studied: a polygon all of whose vertices lie on its
circumcirle, and whose incircle is tangent to every edge:
I have not been able to find a comparable literature ...
- 151k
10
votes
0
answers
269
views
differentiating positive energy LG reps
Background:Let $G$ be a cscsc¹ Lie group, and let $\widetilde{LG}$ be the universal central extension (center = $S^1$) of $LG:=Map_{C^\infty}(S^1,G)$, with the topology inherited from the $C^\infty$ ...
- 43.2k
10
votes
0
answers
431
views
A question about multiplication in $G(\mathbb{C}((t)))$ and Affine Grassmannians
I am sorry to give a bounty to such a crappy question but an answer would help me a lot.
I am stuck with the following simple (i guess but) technical problem.
Let $G$ be a complex reductive ...
- 2,554
10
votes
0
answers
674
views
Colimits of quasi-coherent sheaves on a ringed space
Recall from the stacks project that a sheaf of modules $F$ on a ringed space $X$ is called quasi-coherent if there is an open covering $\{U_i\}$ such that each $F|_{U_i}$ has a presentation, i.e. is ...
- 63.1k
10
votes
0
answers
323
views
Twisted duality in a symmetric monoidal category
I would like to know if the following definition is already known or even well-known. Is there a reference in the literature? Do you know prominent examples?
Definition. Let $\mathcal{C}$ be a ...
- 63.1k
10
votes
0
answers
710
views
Functional calculus of unitary matrices and commutator norms: reference request
Suppose we have a normal matrix $A$ and a general matrix $B$.
For a continuous function $f$ on the disk we can find upper-bounds
on $\Vert[f(A),B]\Vert$
in terms of $\Vert[A,B]\Vert$. The more we know
...
- 1,759
10
votes
0
answers
323
views
The mod 3 reduction of some powers of delta
Let f in Z/3[[x]] be the mod 3 reduction of the Fourier expansion of the normalized weight 12 cusp form delta for the full modular group. The exponents appearing in f are all 1 mod 3. Fix
k>0 and ...
- 5,422
10
votes
0
answers
430
views
Discretifications of the fundamental group functor
Grothendieck calls a "discretification" of a profinite group $\widehat G$, a
discrete group $G$ whose profinite completion is isomorphic to $\widehat G$.
Does Grothendieck also define a notion of ...
- 468
10
votes
0
answers
1k
views
Interpolating points with minimum curvature constraint
I have $n$ points $p_i$ strictly interior to a rectangle $R$,
and I would like to connect them with a curve $C$ whose curvature is as low as possible.
Let $\kappa_\max(C)$ be the sharpest (largest ...
- 151k
10
votes
0
answers
245
views
A slightly generalized existence and uniqueness theorem for integral equations (reference request)
I want to use the following statement without including the proof, which is completely straightforward but rather tedious:
Let $G_0:\mathbb R\times\mathbb R^m\to\mathbb R^m$, $\Theta_0:\mathbb R\...
- 61.9k
10
votes
0
answers
532
views
Comparison of etale and formal etale cohomologies for l=p
Let $K$ be a finite extension of $\mathbb{Q} _p$ with a field of integers $\mathcal{O} _K$. Let $X$ be a semistable proper scheme over $\mathcal{O} _K$, and $\mathcal{X}$ the associated p-adic formal ...
10
votes
0
answers
3k
views
Quotients of Measurable Spaces?
Let $(\Omega,\Sigma)$ be a measurable space and $\Pi$ be a partition of $\Omega$. There is a projection $\pi:\Omega\to\Pi$ that maps each $\omega\in\Omega$ to the unique partition cell in $\Pi$ ...
10
votes
0
answers
191
views
What is known about the number of permissible simplicial complexes given the number of k-cells?
Motivation: I am working on a problem that reduces to finding simplicial complexes given some data (details are unnecessary), but all I have managed to wrangle from my input is the number of cells of ...
- 1,488
10
votes
0
answers
780
views
Faa di Bruno and Free Probability?
It is possible to glean many combinatorial identities using Faa di Bruno’s formula for the coefficients of higher derivatives of a composite function. For many examples, see David Vella’s paper. The ...
- 7,067
10
votes
0
answers
881
views
Invariance of Euler characteristic under base change for sheaf cohomology of flag varieties
BACKGROUND:
Over an algebraically closed field of arbitrary characteristic, most of the basic structure theory of affine (= linear) algebraic groups can be developed concretely without quoting ...
- 52.9k
10
votes
0
answers
735
views
Adams Spectral Sequence for Equivariant Cohomology Theories
In ordinary algebraic topology the Adams spectral sequence can be applied for any cohomology theory $E$ and in good cases it converges to the stable homotopy classes of maps (of the E-nilpotent ...
- 1,273
10
votes
0
answers
1k
views
Complexes of representations with complementary central charges
This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary ...
- 15.6k
9
votes
0
answers
276
views
Has a computer search for inconsistency of large cardinals been carried out before?
In discussion about the consistency of large cardinals, a justification which occasionally appears is that despite years of work, no inconsistency has currently been discovered. For example, here are ...
- 2,031
9
votes
0
answers
85
views
Reference for the tricategory of elements associated to a trifunctor
The theory of bicategorical fibrations has been relatively well studied, e.g. by Baković and by Buckley. In particular, given a trifunctor $F : \mathcal K \to \mathbf{Bicat}$ from a bicategory $\...
- 10.7k
9
votes
0
answers
168
views
Algebraic structures on spaces of ultrafilters
The space of ultrafilters on $\omega$ has a natural semigroup structure, and ultrafilters that are idempotent in that algebra have seen applications in combinatorics on the natural numbers, for ...
- 18.7k
9
votes
0
answers
205
views
Placing triangles around a central triangle: Optimal Strategy?
This question has gone for a while without an answer on MSE (despite a bounty that came and went) so I am now cross-posting it here, on MO, in the hope that someone may have an idea about how to ...
- 7,831
9
votes
0
answers
255
views
An identity for characters of the symmetric group
I am looking for a reference for the identity
$$\chi_\lambda(C)=\frac{\dim(V_\lambda)}{|C|}\sum_{p\in P_\lambda,\,q\in Q_\lambda,\,pq\in C}\operatorname{sgn}(q)$$
for the irreducible characters of the ...
- 2,306
9
votes
0
answers
1k
views
Some questions about Clausen's third IHES lecture on Efimov K-theory
I have some questions about the last theorem stated by Clausen at https://youtu.be/2xNG4rHUC6U?si=yw9eYiygLegH0nQK&t=4319. I'm not very familar with the definitions, so please correct me about any ...
- 2,356
9
votes
0
answers
241
views
What is known about when $vN(G)$ is a factor, for a locally compact group $G$?
When $G$ is a discrete group, it is an elementary result in the theory of von Neumann algebras that the group von Neumann algebra $vN(G)$ is a factor if and only if $G$ is an ICC group.
What is known ...
- 146
9
votes
0
answers
634
views
What is the status of N. Durov's PhD thesis?
N. Durov Phd thesis "New Approach to Arakelov Geometry" is ofted mentioned as a beautiful approach to Arakelov geometry and it includes also a treatment of $\mathbb F_1$. It is a very long ...
- 321
9
votes
0
answers
287
views
Is Landvogt's thesis "The functorial properties of the Bruhat–Tits building" available online?
Universität Münster publishes theses online through "miami", but "miami" doesn't have Erasmus Landvogt's thesis (search).
ProQuest (predatorily) provides many theses, but they don'...
- 12.9k
9
votes
0
answers
194
views
Group cohomology of ${\rm SL}_{n}(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$
Let $p>5$ be a prime. For any integer $n\geq 2$, let $M_{n}^{0}(\mathbb{F}_p)$ denote the $n\times n$ matrices with trace $0$ over a finite field $\mathbb{F}_p$ of order $p$. Then we have an action ...
- 667
9
votes
1
answer
650
views
Sum of three squares as class numbers and Waldspurger's formula
It is known that the number of ways to express $n \in \mathbb{Z}_{\geq 0}$ as a sum of three squares (let's denote it as $r_3(n)$) can be expressed as Hurwitz-Kronecker class number (certain weighted ...
- 2,215
9
votes
0
answers
195
views
Every locally presentable $\infty$-category can be presented by a proper model category
Is there an argument in the litterature that show that every locally presentable $\infty$-category is equivalent to the localization of proper combinatorial Quillen model category ?
Of course if one ...
- 42.4k
9
votes
0
answers
275
views
Is “simplicity is elementary” still hard? (Felgner’s 1990 theorem on simple groups, and subsequent work)
I came across a reference in this MathOverflow answer to an intriguing result of Ulrich Felgner [1]: among finite non-Abelian groups, the property of being simple is first-order definable. According ...
- 21.3k
9
votes
1
answer
648
views
Explicit construction of a (the?) dual symmetric space
I am looking for a reference, proof or disproof of the fact that every Riemannian globally symmetric space of compact (non-compact) type has a "dual", which is of non-compact (compact) type.
...
- 113
9
votes
0
answers
210
views
Why and how is a representation "continuously decomposable"?
What I am asking may apply to a much more general setting and I am interested in the underlying level of generality of these statements, mostly with canonical references. However I state the question ...
- 5,424
9
votes
0
answers
373
views
Locally small categories in ZFC
This question is primarily a reference request. It arose from a personal coding/formalization project.
I am using a particular form of a definition of a category in ZFC. According to this definition, ...
9
votes
0
answers
213
views
Is the category of all topological spaces, including the bad ones, simplicially tensored and cotensored?
Let $\textbf{Top}$ be the category of all topological spaces, including the bad ones.
We can make $\textbf{Top}$ into a simplicially enriched category as follows:
Given topological spaces $X$ and $Y$,...
- 15.9k
9
votes
0
answers
463
views
Who realized the finite fields $\mathbb F_{p^n}$ first? Gauss or Galois?
Let $p$ be a prime, and let $n$ be a positive integer. The finite field $\mathbb F_{p^n}$ is often called a Galois field and denoted by $\mathrm{GF}(p^n)$ by researchers on coding theory.
On the other ...
- 15.6k