# 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
Filter by
Sorted by
Tagged with
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 ...
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 ...
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 ...
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 ...
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^...
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 ...
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 ...
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/...
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 ...
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 ...
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-...
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 ...
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 ...
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 ...
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 ...
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 ...
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$, ...
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 ...
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 ...
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 ...
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 ...
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 ...