# Tagged Questions

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

**34**

votes

**0**answers

1k views

### What does the theta divisor of a number field know about its arithmetic?

This question is about a remark made by van der Geer and Schoof in their beautiful article "Effectivity of Arakelov divisors and the theta divisor of a number field" (from '98) (link).
Let me first ...

**28**

votes

**0**answers

1k views

### Shortest closed curve to inspect a sphere

Let $S$ be a sphere in $\mathbb{R}^3$. Let $C$ be a closed curve in $\mathbb{R}^3$ disjoint from and
exterior to $S$
which has the property that every point $x$ on $S$ is visible to some point $y$ of ...

**20**

votes

**0**answers

770 views

### Godel on recursion-theoretic hierarchies

At the end of his excellent article, "The Emergence of Descriptive Set Theory" (http://math.bu.edu/people/aki/2.pdf), Kanamori writes:
"Another mathematical eternal return: Toward the end of his ...

**19**

votes

**0**answers

411 views

### The oriented homeomorphism problem for Haken 3-manifolds

Haken famously described an algorithm to solve the homeomorphism problem for the 3-manifolds that bear his name (fleshed out by many others, including Hemion and Matveev who fixed some gaps). But ...

**19**

votes

**0**answers

497 views

### Is there a Mathieu groupoid M_31?

I have read something which said that the large amount of common structure between the simple groups $SL(3,3)$ and $M_{11}$ indicated to Conway the possibility that the Mathieu groupoid $M_{13}$ might ...

**18**

votes

**0**answers

593 views

### The most important facts, modern surveys, and readable introductions to p-adic cohomology theories (crystalline cohomology and the mysterious functor)

I would like to organize a seminar on crystalline cohomology; I dream of understanding the Beilinson's recent paper on the mysterious functor ...

**18**

votes

**0**answers

636 views

### local equivalence of loop group representations

Let $G$ be a compact, simple, connected, simply connected (cscsc) Lie group, and let its smooth loop group $LG:=C^\infty(S^1,G)$. Given an interval $I\subset S^1$, we have the local loop group
$$
L_IG ...

**18**

votes

**0**answers

1k views

### What are the possible singular fibers of an elliptic fibration over a higher dimensional base?

An elliptic fibration is a proper morphism $Y\rightarrow B$ between varieties such that the fiber over a general point of the base $B$ is a smooth curve of genus one.
It is often required for the ...

**17**

votes

**0**answers

466 views

### categorical characterization of large cardinals

Question 1. Is there a categorical representation of Kunen's inconsistency result?
Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and ...

**17**

votes

**0**answers

625 views

### Pre-triangulated category that isn't triangulated

I've been working through some of the early parts of Neeman's book on triangulated categories, and he mentions that he does not know of a pre-triangulated category that is not triangulated. Is this ...

**16**

votes

**0**answers

890 views

### Two conjectures by Gabber on Brauer and Picard groups

In a paper I need to make reference to 2 conjectures by Gabber
(see Conjectures 2 and 3, page 1975)
http://www.mfo.de/programme/schedule/2004/32/OWR_2004_37.pdf
1) Let $R$ be a strictly henselian ...

**15**

votes

**0**answers

247 views

### Quasi-classical limit of representation theory

I am looking for a good reference on a general phenomenon of quasi-classical limit in representation theory, which relates "large" representations to measures on (co-adjoint orbits of) the associated ...

**15**

votes

**0**answers

330 views

### Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A ...

**15**

votes

**0**answers

460 views

### Characteristic Classes for $E_8$ Bundles

Given a principal $E_8$ bundle $P\rightarrow X$ one can take the
adjoint representation $\rho :E_8\rightarrow SU(\mathbb C^{248})$
and form the associated vector bundle $V=P\times_{\rho}\mathbb
...

**14**

votes

**0**answers

386 views

+200

### Explicit path in the unitary group of a $C^*$-algebra

For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) ...

**14**

votes

**0**answers

362 views

### Erdos-Kac for squarefree numbers

In its usual form, the Erdos-Kac Theorem states that if $f(n) : \mathbb{N} \rightarrow \mathbb{R}$ is a strongly additive function with $|f(p)| \le 1$ for all primes $p$, then $$\frac{\\#\{n \le x : ...

**13**

votes

**0**answers

380 views

### An open problem in convex geometry

Is it possible to find four norms $\| \cdot\|_k$ $( 1 \leq k \leq 4)$ on the plane such that a three-dimensional normed space containing four subspaces isometric to these normed planes does not exist? ...

**13**

votes

**0**answers

206 views

### Shortest Casson tower containing a slice disk for the attaching curve

A Casson tower is obtained as follows: Start with a properly immersed disk in $\mathbb{B}^4$ - a regular neighborhood of such a disk is called a kinky handle. The boundary of the core disk ...

**13**

votes

**0**answers

348 views

### Any references on zeta-function like sums of inverse determinants over lattices of matrices?

I'm sorry for the title, it was little difficult to phrase..
Let us consider a matrix lattice $L\subset M_n(\mathbb{C})$. By this I mean a discrete additive group in $M_n(\mathbb{C})$. Let us ...

**13**

votes

**0**answers

491 views

### How much has been written down about Deligne's geometric approach to the order formula for a finite group of Lie type?

This is a follow-up to a recent mathoverflow question
34387
about computing the orders of finite unitary groups and the comments made there.
Between 1955 (Chevalley's Tohoku paper) and 1968 ...

**12**

votes

**0**answers

248 views

### Relation Between Truncated Braid Groups and Regular Tilings of the Complex and Hyperbolic Plane

This is perhaps a vague question, but hopefully there exists literature on the subject. The question is motivated by an answer I gave to this question on math.SE.
There exists a rather remarkable ...

**12**

votes

**0**answers

216 views

### Which p-adic algebraic groups are type I?

It was proved by Jacques Dixmier (Sur les représentations unitaires des groupes de Lie algébriques, Annales de l'institut Fourier, 7 (1957), p. 315-328, doi: 10.5802/aif.73, MR 20 #5820 , Zbl ...

**12**

votes

**0**answers

230 views

### For how many primes does an elliptic curve over a totally imaginary field have supersingular reduction?

An elliptic curve over a finite field, $k$, of characteristic p is called supersingular if it has no $p$-torsion over $k^{\mathrm{alg}}$, or equivalently, if $\mathrm{End}(E)$ is an order in a ...

**12**

votes

**0**answers

303 views

### Complex manifold which is algebraic away from codimension \ge 2

If $X$ is a complex manifold and $Z$ is a closed subset of codimension $\ge 2$ such that $X-Z$ has an algebraic structure, then is $X$ algebraic; i.e. a scheme? If not is $X$ an algebraic space?
...

**12**

votes

**0**answers

3k views

### Deligne's letter to Jean-Pierre Serre

I'm looking for another letter of Pierre Deligne, this time to Jean-Pierre Serre (from around 1974 I think), in which he proves that the Galois representation associated to a certain Hecke eigenform ...

**12**

votes

**0**answers

1k views

### Tanh version of a Fourier Transform?

I am trying to perform some computations in an environment where it is much easier to compute the hyperbolic tangent function (tanh) than cosines or sines. This prevents me from performing Fourier ...

**12**

votes

**0**answers

1k views

### Infinite convex combinations in a Banach space

Let's say that a subset $C$ of a Banach space $X$ is $\sigma$-convex if the following property holds:
For any sequence $(x_k)_{k\ge0}$ in $C$, and for
any sequence of non-negative real numbers ...

**12**

votes

**0**answers

486 views

### References for a certain generalization of Hochschild cohomology?

Let $C$ be an algebra. Let $E = C^{\otimes 2n}$ be the tensor product (over the ground field) of $2n$ copies of $C$. [EDIT: Or better, $E = C\otimes C^{op}\otimes C\otimes C^{op}\cdots\otimes C ...

**11**

votes

**0**answers

137 views

### Entropy in elimination theory, or a brief remark by Gelfand-Kapranov-Zelevinsky

In the introduction to their book "Discriminants, resultants and multidimensional determinant", the authors state a very intriguing observation concerning the coefficients of monomials appearing in ...

**11**

votes

**0**answers

334 views

### Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains:
$$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$
where the right hand side denotes the free abelian ...

**11**

votes

**0**answers

440 views

### Probability a random Toeplitz matrix is singular

Consider Toeplitz matrices where the entries in the first row and column (which define the whole matrix) are independently chosen to be either $1$ or $0$ with probability $1/2$. Define $p_n$ to be the ...

**11**

votes

**0**answers

237 views

### Has Cheeger's 'de Rham cohomology' of metric measure spaces been studied beyond its definition?

In J. Cheeger's 'Differentiability of Lipschitz Functions on Metric Measure Spaces' (Geometric and Functional Analysis, 1999, Vol. 9 pp 428-517, see here), a 'de Rham cohomology group' ...

**11**

votes

**0**answers

332 views

### Source of a formula for tensor product multiplicities?

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other ...

**11**

votes

**0**answers

317 views

### Drawings of complete graphs with $Z(n)$ crossings

Hill conjectured that the minimum number of crossings in a drawing of the complete graph $K_n$ in the plane is exactly
$$Z(n) = \frac{1}{4} \bigg\lfloor\frac{n}{2}\bigg\rfloor ...

**11**

votes

**0**answers

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

**11**

votes

**0**answers

596 views

### Compact Symplectic Fano (strongly monotone) manfiolds

What are known examples of compact symplectic Fano manifolds, apart from those that come from algebraic geometry?
We define symplectic Fano manifold as a symplectic manifold $(M,w)$, such that
...

**10**

votes

**0**answers

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

**10**

votes

**0**answers

301 views

### Characterization of Fréchet-Urysohn spaces using sequential continuity at a point

A map $f \colon X \to Y$ is called sequentially continuous at the point $a$ if for every sequence $(x_n)$ such that $x_n\to a$, we also have $f(x_n)\to f(a)$.
$$x_n\to a \qquad \Rightarrow \qquad ...

**10**

votes

**0**answers

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

**10**

votes

**0**answers

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

**10**

votes

**0**answers

349 views

### The derived category of integral representations of a Dynkin quiver.

Let $Q$ be a Dynkin quiver. Let $\mathbb CQ$ be its complex path algebra. It is defined in a way such that modules over $\mathbb CQ$ are the same as representations of the quiver $Q$. Let's write ...

**10**

votes

**0**answers

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

**10**

votes

**0**answers

550 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

340 views

### Reconstruction Conjecture and Partial 2-trees

Reconstruction conjecture says that graphs (with at least three vertices) are determined uniquely by their vertex deleted subgraphs. This conjecture is five decades old.
Searching relevant ...

**9**

votes

**0**answers

230 views

### Cohomology and impossible ﬁgures

In connection with the MO question Occurrences of (co)homology in other disciplines and/or nature I recalled Roger Penrose's “On the cohomology of impossible ﬁgures": ...

**9**

votes

**0**answers

107 views

### Decay rate of measures on Cantor set

I've read that Kahane and Salem show that if $\mu$ is any measure supported on the ternary Cantor set, then $\hat{\mu}(\xi) \not\to 0$ as $|\xi| \to \infty$, however I have been unable to find a ...

**9**

votes

**0**answers

298 views

### Does this metric have an official name? Lévy metric? Ky Fan metric?

Let $X$ and $Y$ be random variables taking values in a separable metric space $(S,d)$. The metric I have in mind is
$$\rho(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$$
if $X$ and $Y$ take values in the a ...

**9**

votes

**0**answers

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

**9**

votes

**0**answers

149 views

### Ising model - phase transition vs rapid mixing

Consider a graph $G=(V,E)$ and Ising model on that graph, i.e. configuration space is $\Omega=${$-1,+1$}$^V$ and energy of a configuration $s \in \Omega$ is given by:
$H(s) = -\beta \sum_{u \sim ...

**9**

votes

**0**answers

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