# Questions tagged [reference-request]

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

3,253
questions with no upvoted or accepted answers

**76**

votes

**0**answers

13k views

### Hironaka's proof of resolution of singularities in positive characteristics

Recent publication of Hironaka seems to provoke extended discussions, like Atiyah's proof of almost complex structure of $S^6$ earlier...
Unlike Atiyah's paper, Hironaka's paper does not have a ...

**41**

votes

**0**answers

2k 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 ...

**33**

votes

**0**answers

1k views

### Grothendieck's “List of classes of structures”

In Lawvere's article Comments on the Development of Topos Theory, the author writes:
Similarly, Grothendieck and others unerringly recognized which kinds of mathematical structures are 'preserved ...

**30**

votes

**0**answers

803 views

### “Three great cocycles” in Complex Analysis as cohomology generators

In his lecture notes, C. McMullen discusses "the three great cocycles" in Complex Analysis: the derivative $$f\mapsto\log f',$$ the non-linearity $$f\mapsto (\log f')'dz$$
and the Schwarzian ...

**30**

votes

**0**answers

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

**26**

votes

**0**answers

765 views

### Follow-up to Steinberg's problem (12) in his 1966 ICM talk?

Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (with ...

**26**

votes

**0**answers

2k 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 ...

**25**

votes

**0**answers

833 views

### Real square roots of symmetric matrices

In joint work with Andreas Fischle (TU Dresden, Germany) and Patrizio Neff (U Essen, Germany) we needed to use the following statement: If $S$ is a real $n\times n$ matrix with $S^2$ symmetric, then ...

**25**

votes

**0**answers

1k 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 (http://www.ams.org/journals/jams/2012-25-03/S0894-0347-...

**24**

votes

**0**answers

1k views

### Exotic 4-spheres and the Tate-Shafarevich Group

The title is a talk given by Sir M. Atiyah in a conference with the following abstract:
I will explain a deep analogy between 4-dimensional smooth geometry (Donaldson theory)...

**23**

votes

**0**answers

196 views

### Reference request for educational material In source format, for blind accessibility purposes

Introduction
I am a blind undergraduate studen in mathematics. I use screen reading software, which uses synthesized speech to read aloud the contents of the screen, to read and write math.
Due to ...

**23**

votes

**0**answers

611 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 \...

**22**

votes

**0**answers

625 views

### How much of the plane is 4-colorable?

In 1981, Falconer proved that the measurable chromatic number of the plane is at least 5. That is, there are no measurable sets $A_1,A_2,A_3,A_4\subseteq\mathbb{R}^2$, each avoiding unit distances, ...

**22**

votes

**0**answers

506 views

### Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...

**21**

votes

**0**answers

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

**21**

votes

**0**answers

667 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
C^{248}...

**20**

votes

**0**answers

485 views

### Is the mapping class group of $\Bbb{CP}^n$ known?

In his paper "Concordance spaces, higher simple homotopy theory, and applications", Hatcher calcuates the smooth, PL, and topological mapping class groups of the $n$-torus $T^n$. This requires an ...

**20**

votes

**0**answers

523 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 it'...

**18**

votes

**0**answers

563 views

### Homotopy groups of spheres and differential forms

The only infinite homotopy groups of spheres are $\pi_n(\mathbb{S}^n)$ and $\pi_{4n-1}(\mathbb{S}^{2n})$. This is a well known result of Serre. In both cases the nontriviality of these groups can be ...

**18**

votes

**0**answers

718 views

### Reference request: Parallel processor theorem of William Thurston

Sometime in the 1980's or 1990's, Bill Thurston proved a theorem regarding the existence of a universal parallel processing machine, using a certain class for such machines having finite deterministic ...

**18**

votes

**0**answers

633 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 : \...

**18**

votes

**0**answers

841 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

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

**17**

votes

**0**answers

459 views

### Who first noticed the duality for finite groups?

A.A.Kirillov in section 12.3 of his "Elements of the Theory of Representations" writes that the first "symmetric" duality theory for non-commutative groups was the theory for finite groups. In short ...

**17**

votes

**0**answers

710 views

### How to approach the Mazur-Wiles paper on Iwasawa theory?

I would like to read and understand the Mazur-Wiles paper on Iwasawa theory: "Class Fields of Abelian Extensions of $\Bbb Q$". What would be the right way to approach this paper?
Currently, my ...

**17**

votes

**0**answers

637 views

### How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...

**17**

votes

**0**answers

496 views

### Grothendieck on polyhedra over finite fields

In Grothendieck's Sketch of a Programme he spends a few pages discussing polyhedra over arbitrary rings and concludes with some intriguing remarks on specializing polyhedra over their "most singular ...

**17**

votes

**0**answers

1k 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 f(...

**16**

votes

**0**answers

552 views

### How is this group theoretic construct called?

Let $G$ be a finite group, $S\subset G$ a generating set, $|g| = |g|_S = $ word length with respect to $S$. Define the "defect" of $g,h$ to be
$$\psi(g,h) = |g|+|h|-|gh|$$
Then $\psi:G\times G \...

**16**

votes

**0**answers

399 views

### Reference request for Grothendieck's work on “Integration with values in a topological group”

Disclaimer. This question was already asked in Mathematics Stack Exchange (see the link here). I wanted the question to be migrated here but I was told by a moderator that a question that old is ...

**16**

votes

**0**answers

366 views

### An integral in Gradshteyn and Ryzhik

Section 3.248 of the 4th edition of the table of integrals by Gradshteyn and Ryzhik contains three entries. They are of elementary examples of the beta function. In the 5th edition there are two new ...

**16**

votes

**0**answers

683 views

### An elementary proof that, for every fixed $n \in \mathbf N^+$, there are infinitely many primes $\equiv -1 \bmod n$

This morning, I made a comment to a comment to a question of Ayman Moussa, only to point out that, among many others, there is an elementary proof of Dirichlet's theorem on the existence of infinitely ...

**16**

votes

**0**answers

590 views

### Jets of sections of vector bundles expressed by symmetrized iterated covariant derivatives - who did it first?

The (non-unique) bundle isomorphism between the bundle $J^r E$ of $r$-th order jets of sections of a vector bundle $\pi:E\rightarrow M$ and the direct sum $$\bigoplus^r_{k=0}\vee^kT^*M\otimes E\...

**16**

votes

**0**answers

2k views

### Grothendieck 's question - any update?

This question is migrated from math.stackexchange. I ask because it is still unclear to me and I did not receive an answer.
I was reading Barry Mazur's biography and come across this part:
...

**15**

votes

**0**answers

394 views

### Proof of MacPherson's result about set-valued constructible sheaves and exit paths

I'm looking for a proof of a theorem that is attributed to MacPherson. Treumann (Section 1.1 in Exit paths and constructible stacks, 2009) states the theorem as:
Theorem 1.2 (MacPherson). Let $(X,S)...

**15**

votes

**0**answers

776 views

### How would you organize a cycle of seminars aimed at learning together some basics of Derived Algebraic Geometry?

This question is similar to this one because it's asking about a possible roadmap towards learning some derived algebraic geometry (DAG). But it's also different, because the goal is not to form a ...

**15**

votes

**0**answers

307 views

### Extending Kahler metric from a neighborhood of a divisor to the whole manifold

Let $X$ be a smooth complex projective variety with an ample line bundle $L$, and let $D\subset X$ be a smooth divisor. Suppose in an analytic neighborhood $U$ of $D$ there is a Kahler form $\omega$ ...

**15**

votes

**0**answers

273 views

### References on Discrete field theory vs Discrete differential geometry vs Combinatorial topology

Let me ask several related questions on discretization of classical field theory:
In topological folklore, it is known that cochains are "discrete analogues" of differential forms, and coboundary ...

**15**

votes

**0**answers

697 views

### Is this “Homology” useful to study?

In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$.
Now we can ...

**15**

votes

**0**answers

2k 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? ...

**15**

votes

**0**answers

422 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

452 views

### Expanding disks lead to what packing of the plane?

Suppose one sprinkles points uniformly at random on the infinite Euclidean plane,
with some density $\rho$ per unit area.
View the points as disks of radius zero.
Now the radii $r$ of all disks grows ...

**15**

votes

**0**answers

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

**15**

votes

**0**answers

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

**15**

votes

**0**answers

1k views

### Representations of quantum groups at roots of unity

I'm interested in the semisimplified category of representations of a quantum group at a root of unity. I've heard that simple objects in this category correspond to certain "integral" conjugacy ...

**15**

votes

**0**answers

826 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 (...

**14**

votes

**0**answers

206 views

### Moments of Plücker coordinates on complex Grassmannian

Consider the Grassmannian $Gr(k,N)\simeq U(N)/(U(k)\times U(N-k))$ which parametrizes $k$-dimensional subspaces of $\mathbb{C}^N$. Let us put on it the $U(N)$-invariant probability measure. Let $\...

**14**

votes

**0**answers

220 views

### How much smoothness does the tennis ball theorem need?

The tennis ball theorem states that a smooth-enough curve that bisects the surface area of a sphere must have at least four inflection points. There are plenty of sources on this but most of them are ...

**14**

votes

**0**answers

427 views

### If $ab^2$ is a sum of three squares, then so is $a$. How to see it quickly?

Here $a, b$ are positive integers, and the squares are the squares of integers. This follows from Legendre's three squares theorem, but is there a direct way?

**14**

votes

**0**answers

224 views

### A symmetry of lattice paths

The number of $n$-step NSEW lattice paths from $(0,0)$ to $(a,b)$ that intersect the line $y=k$ precisely $t$ times is independent of $k$, for $0\leq k\leq b$, where we assume $b\geq0$ for simplicity.
...