# Tagged Questions

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

**41**

votes

**0**answers

3k views

### Grothendieck-Teichmuller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmuller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here ...

**35**

votes

**0**answers

503 views

### Reasons to prefer one large prime over another to approximate characteristic zero

Background:
In running algebraic geometry computations using software such as Macaulay2, it is often easier and faster to work over $\mathbb F_p = \mathbb Z / p\mathbb Z$ for a large prime $p$, rather ...

**25**

votes

**0**answers

877 views

### Is there software to compute the cohomology of an affine variety?

I have some affine varieties whose cohomology (topological, with $\mathbb{C}$ coefficients) I would like to know. They are very nice, they are all of the form $\mathbb{A}^n \setminus \{ f=0 \}$ for ...

**25**

votes

**0**answers

558 views

### Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following:
The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...

**25**

votes

**0**answers

454 views

### Why do H_4 and M_4 have the same virtual Euler characteristic?

Here's a funny coincidence:
The virtual (or "orbifold") Euler characteristic of $\mathcal M_g$ is known by the work of Harer and Zagier: one has $\chi(\mathcal M_g) = \zeta(1-2g)/(2-2g)$.
Now ...

**25**

votes

**0**answers

2k views

### Microlocal geometry - A theorem of Verdier

(1) In "Geometrie Microlocale", Verdier states the following theorem.
Theorem: Let $E$ be a vector space and $F$ a constructible complex on $E$.
Then for $\ell$ a linear form on $E$, we have a ...

**24**

votes

**0**answers

612 views

### Computer calculations in A_infinity categories?

Is there a good computer program for doing calculations in A-infinity categories?
Explicit calculations in A-infinity categories are an important, useful, yet very tedious task. One has to keep ...

**23**

votes

**0**answers

922 views

### Is S^2 x S^4 a complex manifold?

As observed by Calabi a long time ago, the manifold $S^2\times S^4$ admits an almost-complex structure (obtained by embedding it in $\mathbb{R}^7$ and using the octonionic product), which however is ...

**22**

votes

**0**answers

840 views

### Mikhalkin's tropical schemes versus Durov's tropical schemes

In Mikhalkin's unfinished draft book on tropical geometry, (available here) (page 26) he defines a notion of tropical schemes. It seems to me that this definition is not just a wholesale adaptation of ...

**22**

votes

**0**answers

478 views

### bound on the genus of a fiber of the Albanese map of a surface with $h^1({\mathcal O})=1$?

This is maybe more an open problem than a question, since I have seriously thought about it and asked several people working on algebraic surfaces with no success. I hope somebody here can ...

**20**

votes

**0**answers

2k views

### Why “open immersion” rather than “open embedding”?

When topologists speak of an "immersion", they are quite deliberately describing something that is not necessarily an "embedding." But I cannot think of any use of the word "embedding" in algebraic ...

**19**

votes

**0**answers

845 views

### derived category of equivariant coherent sheaves and fixed points

The K-group $K^T(X)$ of $T$(torus)-equivariant coherent sheaves on a variety $X$ is isomorphic to $K^T(X^T)$, that of the fixed point locus via the inclusion homomorphism, when we tensor the quotient ...

**18**

votes

**0**answers

591 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

825 views

### When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least locally), and ...

**18**

votes

**0**answers

584 views

### What are the τ-local rings for a subcanonical Grothendieck topology τ on the category of affine schemes of finite type over Spec(Z)? (specifically for τ=fppf)

Let $\tau$ be a subcanonical topology on the category of affine schemes of finite type over $Spec(\mathbf{Z})$. Call this site $(S,\tau)$ or just $S$, and call its associated topos $\mathcal{S}$. ...

**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

408 views

### Why is there a connection between enumerative geometry and nonlinear waves?

I'm not 100% sure that this question is appropriate for this site. If it's not, please tell me and I'll delete it.
Recently I encountered in a class the fact that there is a generating function of ...

**17**

votes

**0**answers

763 views

### Is there a Grothendieck-Riemann-Roch type of theorem generalizing Grothendieck's Lefschetz trace formula

Grothendieck deduced that the L-function of a (constructible) $\ell$-adic sheaf on a variety over $\mathbf{F}_p$ is rational from the generalized trace formula.
My first question is based on the ...

**16**

votes

**0**answers

610 views

### Grothendieck's letter to Faltings: On the yoga of motives and the degeneration of Leray spectral sequence

In Grothendieck's letter to Faltings, he writes
There exists at this time a kind of “yoga des motifs”, which is familiar to a handful of initiates, and in some situations provides a ﬁrm support ...

**16**

votes

**0**answers

549 views

### What is classified by the (big) crystalline topos?

In his paper "Generic Galois Theory of Local Rings", G.C. Wraith states on p. 743 that the (big) crystalline topos "can be conveniently described in terms of the theory it describes". What exactly is ...

**16**

votes

**0**answers

546 views

### Can one compare integral structures on de Rham and crystalline cohomology?

Suppose $\mathfrak{X}$ is a smooth projective scheme of finite type over $\mathbb{Z}_p$, with generic fibre $X$. Then there are comparison theorems relating de Rham and crystalline cohomology,
...

**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

403 views

### Authorship of Grothendieck universes

Universes seem to first appear in Grothendieck's work in SGA 1, which is credited to Grothendieck, and a lengthy discussion is in the chapter on Prefaisceaux (presheaves) in SGA 4. That chapter is ...

**15**

votes

**0**answers

331 views

### Are there lightweight foundations for arbitrarily extendable objects?

My experience with foundations is rather scant, but I've run into some types of objects that seem to resist the sort of set-theoretic encoding schemes via Kurowski tuples that are rather common for ...

**15**

votes

**0**answers

1k views

### What's the intuition between formal smoothness, etaleness. and unramifiedness?

Let $f: X \to Y$ be a morphism of schemes. Then $f$ is called (EGA IV.17) formally smooth if whenever $T$ is an affine $Y$-scheme and $T'$ a closed subscheme of $T$ defined by a nilpotent ideal (it's ...

**14**

votes

**0**answers

597 views

### Horrible sets and blowups in Hubbard's Teichmuller theory

Edit: I can rephrase this question this way: When blowing up every point in the $x$-axis in $\mathbb{C}^2$ by means of an inverse limit of finite blowups, how can anything be 'left over'? The horrible ...

**14**

votes

**0**answers

542 views

### Homology classes of subvarieties of toric varieties

Let $X$ be a smooth proper toric variety, $Z\subseteq X$ a smooth subvariety.
Is the fundamental class $[Z] \in H_\ast(X) = A_\ast(X)$ nonzero?
Background
If $X$ is a Kaehler variety, this is ...

**14**

votes

**0**answers

347 views

### Refinement of concept of support of a module

My rings are commutative and noetherian.
The support of a module is usually defined to be the set of prime ideals of the ring such that localization at that prime does not make the module zero. This ...

**14**

votes

**0**answers

380 views

### Torsion points of abelian varieties in the perfect closure of a function field

The following is a problem, which was recently brought to my attention by H. Esnault and A. Langer.
Let $K$ be the function field of a smooth curve over the algebraic closure $k$ of the finite field ...

**14**

votes

**0**answers

414 views

### Do mapping classes have gonality?

(This question was discussed by people at the PCMI workshop on moduli spaces, without any clear resolution, so I thought I'd throw it open to MO.)
The hyperelliptic mapping class group is (by ...

**14**

votes

**0**answers

390 views

### Division fields of abelian varieties over function fields

Let $k$ be a finitely generated field (for example a finite field or a number field) and $K/k$ a finitely generated regular extension with $trdeg(K/k)=1$. Let $A/K$ be a principally polarized abelian ...

**13**

votes

**0**answers

349 views

### Status of the Euler characteristic in characteristic p

In the introduction to the Asterisque 82-83 volume on `Caractérisque d'Euler-Poincaré, Verdier writes:
Enfin signalons que la situation en caractéristique positive est loin
d'être aussi ...

**13**

votes

**0**answers

308 views

### Smooth curves on smooth varieties

Let X be a smooth, proper algebraic variety over a field k, of positive dimension. Is it true that X contains a smooth Zariski-closed curve ? If it is projective, this is true by Bertini. But in ...

**13**

votes

**0**answers

351 views

### What can be the dimension of a pointless smooth proper Z-scheme?

What is the smallest dimension $d$ such that there is a smooth proper morphism $X \to \operatorname{Spec} \mathbb Z$ of relative dimension $d$, with $X$ nonempty, without a section?
Of course, ...

**13**

votes

**0**answers

516 views

### What are the generalizations of the 27 lines on a cubic surface?

The following doubtlessly naive heuristic suggests to me that there might be some generalizations. I don't know whether, at one extreme, the story is classical, or at the other extreme, the heuristic ...

**13**

votes

**0**answers

504 views

### What's about N. M. Katz' “over-world” of exp. sums?

Having just read in N. M. Katz' beautiful old survey on exponential sums a d differential eq.s, I wonder what became out of his question (on p. 297 - 300) on a "general conceptual framework in which ...

**13**

votes

**0**answers

399 views

### Are “fpqc algebraic spaces” algebraic spaces?

Suppose $F:Sch^\text{op}\to Set$ is a sheaf in the fpqc topology, has quasi-compact representable diagonal, and has an fpqc cover by a scheme. Must $F$ be an algebraic space? That is, must $F$ have ...

**13**

votes

**0**answers

322 views

### How to calculate the exact differential structure of Brieskorn variety?

As Kervaire and Milnor mentioned, an $n$-dim exotic sphere $\Sigma$ which bounds a parallelizable manifold $M$ is totally classified by the signature $\sigma(M)$ modulo the order of $bP_{n+1}$.
Let ...

**13**

votes

**0**answers

462 views

### Comparing the Kazhdan-Lusztig and Steinberg pre-orders

Both Kazhdan-Lusztig and Steinberg have defined pairs of preorders on $S_n$. Kazhdan and Lusztig's preorders come from their basis:
We write $x\leq_L y$ if any left ideal spanned by K-L basis ...

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

**13**

votes

**0**answers

985 views

### Mixed Hodge structure on the rational homotopy type

A mixed Hodge structure (mHs) on a commutative differential graded algebra (cgda) over $\mathbf{Q}$ is a mixed Hodge structure on the underlying vector space such that the product and the differential ...

**13**

votes

**0**answers

775 views

### Vector Bundles on the Moduli Stack of Elliptic Curves

As is well known, there is classification of line bundles on the moduli stack of elliptic curves over a nearly arbitrary base scheme in the paper The Picard group of $M_{1,1}$ by Fulton and Olsson: ...

**13**

votes

**0**answers

397 views

### Link: Serre's intersection formula <-> Bloch-Quillen Thm / When only intersecting divisors, is there 'shorter' approach of proof known?

In very short:
When proving the equivalence of intersection theory constructed through (Milnor) K-sheaves and their product vs. defining the product via Serre's local multiplicity formula + moving, I ...

**12**

votes

**0**answers

275 views

### Is it possible to prove Mordell's conjecture geometrically?

Let $X/k$ be a smooth curve of genus $g>1$ over a number field $k$.
By the Faltings theorem (nee Mordell's conjecture), the set of $k$ - rational points
$X(k)$ is finite. Due to the Mordell-Weil ...

**12**

votes

**0**answers

272 views

### What is the maximal Picard number of a surface in P^3?

Let $X$ be a nonsingular surface in $P^3$ of degree $d$. Then the Picard number does not exceed $h^{1,1}\approx 2/3 d^3$, whereas the maximal number attained that I know is that of a Fermat surface, ...

**12**

votes

**0**answers

571 views

### The symmetric group and the field with one element

I've heard a few times that the symmetric group is an algebraic group over a field with one element, and that the alternating group is quite specifically $SO_n(\mathbb{F}_1)$. This does make a lot of ...

**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

370 views

### Is there a functor of points approach to algebraic cycles and intersection theory?

Motivation
Most of the algebraic geometry I have done so far was concerned with group schemes (e.g., abelian schemes, tori, unipotent groups). In that part of the field the "functor of points POV" is ...

**12**

votes

**0**answers

359 views

### Are stable limits of complex curves acquiring a singularity obtained by capping off the Milnor fiber and attaching that to the normalization?

Background on Milnor fibers:
Suppose a smooth complex plane curve acquires an isolated singularity f(x,y) = 0 with Milnor number µ = dim.C[[x,y]]/(∂f/∂x, ∂f/∂y), and r local branches. Then we know ...

**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?
...