# Questions tagged [moduli-spaces]

Given a concrete category C, with objects denoted Obj(C), and an equivalence relation ~ on Obj(C) given by morphisms in C. The moduli set for Obj(C) is the set of equivalence classes with respect to ~; denoted Iso(C). When Iso(C) is an object in the category Top, then the moduli set is called a moduli space.

743
questions

**62**

votes

**7**answers

7k views

### Maryam Mirzakhani's works

Maryam Mirzakhani has made several contributions to the theory of moduli spaces of Riemann surfaces.
Mirzakhani was awarded the Fields Medal in 2014 for "her outstanding contributions to the dynamics ...

**56**

votes

**11**answers

15k views

### What are some open problems in algebraic geometry?

What are the open big problems in algebraic geometry and vector bundles?
More specifically, I would like to know what are interesting problems related to moduli spaces of vector bundles over ...

**39**

votes

**13**answers

12k views

### What is a good introductory text for moduli theory?

Hi,everyone. I am looking for an introductory textbook on moduli theory,about the background on algebraic geometry,I have read Hartshorne chapter1~4. could you please show some good books or roadmap ...

**38**

votes

**2**answers

3k views

### Meaning/Origin of Seiberg-Witten Equations/Invariants

Having now seen and "understood" (quotes necessary) the Seiberg-Witten equations on a closed oriented Riemannian 4-manifold $X$, I have no real understanding of where they came from.
We take an ...

**37**

votes

**2**answers

2k views

### Volume of the unitary group

I saw a very remarkable asymptotic formula (or a conjecture?) for the volume of of the unitary group $ U(n)$ which is the following:
$$\log[\mathrm{Volume}(U(n))] \sim_{n\rightarrow \infty} \frac{n^...

**36**

votes

**1**answer

2k views

### Why is there no Brauer scheme?

Let $X$ be a proper scheme over a base field $k$ (one could consider more general settings, but I am primarly interested in a "geometric" situation with $k$ being algebraically closed).
Then the ...

**34**

votes

**5**answers

3k views

### Intuition behind moduli space of curves

For a genus g compact smooth surface $M$, an algebraic structure is the same as a complex structure is the same as a conformal structure. So the moduli space of smooth curves should be the same as the ...

**33**

votes

**1**answer

12k views

### What is “Teichmüller Theory” and its history?

What is "Teichmüller Theory"? What part has been worked out / foreseen by O. Teichmüller himself and what is further development? Is there some current work which might be considered as continuation/...

**33**

votes

**4**answers

2k views

### Curves which are not covers of P^1 with four branch points

The following interesting question came up in a discussion I was having with Alex Wright.
Suppose given a branched cover C -> P^1 with four branch points. It's not hard to see that the field of ...

**31**

votes

**2**answers

2k views

### Is the moduli space of curves defined over the field with one element?

There are various frameworks around which enlarge the category of rings to include more exotic objects such as the 'field with one element,' $\mathbb{F}_1$. While these frameworks differ in their ...

**30**

votes

**3**answers

3k views

### Help motivating log-structures

I'm currently reading a thesis that uses log-structures. I should mention that this is my first encounter with them, and the thesis (as well as my expertise) is scheme-theoretic (in fact stack-...

**29**

votes

**3**answers

3k views

### Mumford conjecture: Heuristic reasons? Generalizations? … Algebraic geometry approaches?

The Mumford conjecture states that for each integer $n$, we have: the map $\mathbb{Q}[x_1,x_2,\dots] \to H^\ast(M_g ; \mathbb{Q})$ sending $x_i$ to the kappa class $\kappa_i$, is an isomorphism in ...

**29**

votes

**0**answers

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

**28**

votes

**1**answer

2k views

### How were moduli spaces defined before functors?

People today in algebraic geometry will typically define a moduli space to be the space which represents the functor of families of whatever object they are interested in studying.
However, I am ...

**27**

votes

**6**answers

2k views

### What can you do with a compact moduli space?

So sometime ago in my math education I discovered that many mathematicians were interested in moduli problems. Not long after I got the sense that when mathematicians ran across a non compact moduli ...

**27**

votes

**2**answers

1k views

### Conformal blocks vector bundles on $\overline{M}_{g}$ in terms of generalized theta functions?

Conformal field theory uses representation theory to produce various vector bundles on the Deligne-Mumford compactified moduli spaces $\overline{M}_{g}$ and $\overline{M}_{g,n}$, known as bundles of ...

**27**

votes

**1**answer

1k views

### Is $M_g$ finitely covered by a scheme over the integers?

This question was prompted by my almost-answer to the question Does smooth and proper over $\mathbb Z$ imply rational? , but I never got around to asking this until now.
It is well known that $M_g$, ...

**26**

votes

**6**answers

3k views

### Does the moduli space of smooth curves of genus g contain an elliptic curve

Let $M_g$ be the moduli space of smooth projective geometrically connected curves over a field $k$ with $g\geq 2$. Note that $M_g$ is not complete.
Does $M_g$ contain an elliptic curve?
The answer ...

**25**

votes

**3**answers

3k views

### When is a classification problem “wild”?

I hope someone can point me to a quick definition of the following terminology.
I keep coming across wild and tame in the context of classification problems, often adorned with quotes, leading me to ...

**25**

votes

**1**answer

1k views

### Why there is a Quot-scheme, not a Sub-scheme?

Let $X$ be a projective variety, and $E$ be a coherent sheaf on $X$. Grothendieck has proven that there is a scheme $\mathrm{Quot}_X(E)$ parametrizing arbitrary quotient sheaves of $E$. It is probably ...

**25**

votes

**1**answer

599 views

### Rim hook decomposition and volume of moduli spaces

I did some computer experiments, counting the number of rim-hook decompositions (aka border-strip decompositions) of rectangles of shape $2n \times n$, where each strip has size $n$.
Here are 12 of ...

**24**

votes

**3**answers

1k views

### Which mapping class group representations come from algebraic geometry?

Let $\Gamma_g$ be the mapping class group of a closed oriented surface $\Sigma$ of genus $g$. There is a natural surjection $t \colon \Gamma_g \to \mathrm{Sp}(2g,\mathbf Z)$ which sends a mapping ...

**23**

votes

**9**answers

11k views

### Teichmuller Theory introduction

What is a good introduction to Teichmuller theory, mapping class groups etc., and relation to moduli space of curves or Riemann surfaces?

**23**

votes

**3**answers

1k views

### What's “bad” about unstable sheaves?

To construct a (coarse or fine) moduli space that is separated, one usually throw away some class of the object in question. For moduli of sheaves people talk about (semi-)stability. A coherent sheaf $...

**23**

votes

**2**answers

1k views

### Different interpretations of moduli stacks

I'm taking my first steps in the language of stacks, and would like something cleared up. The intuitive idea of moduli spaces is that each point corresponds to an object of what we're trying to ...

**23**

votes

**2**answers

3k views

### Why is the degree:rank ratio of a vector bundle called its “slope”?

Whenever one studies moduli spaces of vector bundles on curves, one of the first things to be introduced is the "slope" of a vector bundle, i.e., its degree:rank ratio. Is there a nice (preferably ...

**22**

votes

**1**answer

1k views

### Why not add cuspidal curves in the moduli space of stable curves?

Let $\mathcal{M}_{g,n}$ be the moduli space (stack) of stable smooth curves of genus $g$ with $n$ marked points over $\mathbb{C}. $ It's known that by adding stable nodal curves to $\mathcal{M}_{g,n}$,...

**22**

votes

**3**answers

992 views

### A historical question: Hurwitz, Luroth, Clebsch, and the connectedness of $\mathcal{M}_g$

The connectedness of the moduli space $\mathcal{M}_g$ of complex algebraic curves of genus $g$ can be proven by showing that it is dominated by a Hurwitz space of simply branched d-fold covers of the ...

**22**

votes

**1**answer

1k views

### Do hyperKahler manifolds live in quaternionic-Kahler families?

A geometry question that I thought about more seriously a few years ago... thought it'd be a good first question for MO.
I'm aware that there are a number of Torelli type theorems now proven for ...

**21**

votes

**4**answers

2k views

### Betti numbers of moduli spaces of smooth Riemann surfaces

Where can I find a list of the known Betti numbers of the moduli spaces $\mathcal{M}_{g,n}$ of genus $g$ Riemann surfaces with $n$ marked points? I need it to cross check results by an implemented ...

**21**

votes

**2**answers

1k views

### How did Riemann prove that the moduli space of compact Riemann surfaces of genus $g>1$ has dimension $3g-3$?

Consider the moduli space $M_g$ of compact Riemann surfaces (i.e., smooth complete algebraic curves over $\mathbb{C}$) of genus $g$ for some $g>1$. I'm interested in knowing how Riemann proved that ...

**20**

votes

**3**answers

4k views

### Conceptual understanding of the Gross-Zagier theorem.

The Gross-Zagier paper "Heegner points and derivatives of $L$-series", is really computational and hard to plow through. It seems it is futile to read it as such and one must look for a more ...

**19**

votes

**5**answers

2k views

### Is a 'generic' variety nonsingular? Or singular?

I'd like to know whether there's some coherent meaning of 'generic' for which one can say that a 'generic' variety over an algebraically closed field $K$, say, is nonsingular or singular. We could ...

**19**

votes

**4**answers

1k views

### Details for the action of the braid group B_3 on modular forms

I'm reading Terry Gannon's Moonshine Beyond the Monster, and in section 2.4.3 he hints at (but does not explicitly describe) a way to extend the action of $SL_2(\mathbb{Z})$ on modular forms to an ...

**19**

votes

**2**answers

2k views

### elliptic curves and group cohomology

Recently, I've been trying to understand Jacob Lurie's 2-equivariant elliptic cohomology a bit better than I had in the past.
From what I can tell, the fragment of the story that only deals with ...

**19**

votes

**0**answers

469 views

### Other examples of computations using transfer of structure from the chains to the homology?

There is a `long' history of transfer (up to homotopy!) of algebraic structure from a dg _ algebra A to its homology H(A) (e.g. Kadeishvili for the associative case and Heubschmann for the Lie case). ...

**18**

votes

**1**answer

2k views

### Does the moduli space of genus three curves contain a complete genus two curve

Inspired by the question
Does the moduli space of smooth curves of genus g contain an elliptic curve
and its amazing answers, I ask (pure out of curiosity) whether the moduli space $M_3$ of (smooth ...

**18**

votes

**1**answer

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

**17**

votes

**2**answers

2k views

### Are Jacobians principally polarized over non-algebraically closed fields?

How does one define the Torelli map $M_g \to A_g$ of moduli stacks? On geometric points a curve maps to its principally polarized Jacobian.
So what I am asking is: if I have a curve $C$ over a non-...

**17**

votes

**4**answers

2k views

### What is the Euler characteristic of a Hilbert scheme of points of a singular algebraic curve?

Let $X$ be a smooth surface of genus $g$ and $S^nX$ its n-symmetrical product (that is, the quotient of $X \times ... \times X$ by the symmetric group $S_n$). There is a well known, cool formula ...

**17**

votes

**3**answers

2k views

### Is there an algebraic construction of the Quillen (determinant) Line Bundle?

Let's consider the moduli space of representations of $\pi=\pi_1(\Sigma)$ (a surface group) into $G$ (a lie group). Call this $X=\operatorname{Hom}(\pi,G)$, and let $Y=\operatorname{Hom}(\pi,G)/\\!/G$...

**17**

votes

**1**answer

651 views

### Special fiber of $X(p)$ in characteristic $p$

Let $p \geq 5$ be a prime. Let $Y(p)$ be the fine moduli space representing elliptic curves + basis of the $p$-torsion over $\mathbb{Q}_p$ and let $Y_0(p)$ be the fine moduli space representing ...

**16**

votes

**2**answers

2k views

### Why is one interested in the mod p reduction of modular curves and Shimura varieties?

Why is one interested in the mod p reduction of modular curves and Shimura varieties?
From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...

**16**

votes

**2**answers

2k views

### Is the Torelli map an immersion?

The Torelli map $\tau\colon M_g \to A_g$ sends a curve C to its Jacobian (along with the canonical principal polarization associated to C); see this question for a description which works for families....

**16**

votes

**3**answers

4k views

### Moduli space of K3 surfaces

It is known that there exists a fine moduli space for marked (nonalgebraic) K3 surfaces over $\mathbb{C}$. See for example the book by Barth, Hulek, Peters and Van de Ven, section VIII.12. Of course ...

**16**

votes

**4**answers

3k views

### Soft question: beginners reference to moduli spaces

What is a geometrically intuitive yet reasonably general first introduction to the theory of Moduli spaces?
(Possibly introducing stacks also)?
I'm looking for something which really gets the pictures ...

**16**

votes

**1**answer

1k views

### Number of curves over a finite field

Let $K$ be a finite field. Is there a formula for the number of isomorphism classes of genus $g$ smooth curves over $K$?
In other words does there exists a formula for the number of rational points ...

**16**

votes

**5**answers

2k views

### Arithmetic dynamics and dynamics on moduli spaces

The following question is more of a request for pointers to suitable literature on introductory material for arithmetic dynamics and dynamics on moduli spaces.
In my dissertation, I have been ...

**16**

votes

**1**answer

849 views

### Coarse moduli spaces over Z and F_p

I would like to know to what extent it is possible to compare fibers over $\mathbb{F}_p$ of coarse moduli spaces over $\mathbb{Z}$, and coarse moduli spaces over $\mathbb{F}_p$. I ask a more precise ...

**16**

votes

**1**answer

346 views

### Moduli space of boundary maps with prescribed chain and homology groups?

Let $R$ be a reasonable ring (maybe I mean a PID, or $\mathbb{Z}$, and when sufficiently desperate, a field). Now consider fixed sequences $C_n$ and $H_n$ of $R$-modules, which are tame in every ...