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

learn more… | top users | synonyms

22
votes
3answers
2k 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 ...
15
votes
4answers
970 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 ...
10
votes
3answers
2k views

Existence of fine moduli space for curves and elliptic curves

For the moduli problem of a curve of genus $g$ with $n$ marked points, how large an $n$ is needed to ensure the existence of a fine moduli space? For this question, terminology is that of Mumford's ...
7
votes
1answer
2k views

Which Riemann surfaces arise from the Riemann existence theorem?

The following was already known to Riemann. Suppose that one is given a connected Riemann surface $X$, a finite set $\Delta \subset X$ and a homomorphism $\phi: \pi_1(X \backslash \Delta) \to S_d$ ...
12
votes
1answer
801 views

What's wrong with my understanding of the scheme $\text{Isom}(E_\lambda, E_{\lambda'})$?

Let $\mathcal{M}_{1,1}$ be the moduli stack of elliptic curves (over the complex numbers). Define $$\begin{eqnarray*} X &:=& \Bbb{A}^1_{\lambda} - \{0,1\}\\ X' &=& \Bbb{A}^1_{\lambda'} ...
28
votes
8answers
9k 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 ...
16
votes
9answers
7k 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?
30
votes
1answer
983 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 ...
12
votes
3answers
1k views

What is the DGLA controlling the deformation theory of a complex submanifold?

Let $X$ be a complex manifold, $Y\hookrightarrow X$ a complex compact submanifold. Let $T_{X/Y}$ denote the normal bundle of $Y$ in $X$, and $\mathcal{O}(T_{X/Y})$ its sheaf of holomorphic sections. ...
31
votes
5answers
3k 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 ...
29
votes
2answers
823 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} ...
21
votes
4answers
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 ...
13
votes
1answer
3k views

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

What is "Teichmüller Theory" ? What part has been worked out / forseen by O. Teichmüller himself and what is further development ? Is there some current work which might be considered as ...
11
votes
0answers
737 views

What is $M_g$ over a finite field, really?

Let $M_{g} \to \mathbb{Z}$ be the coarse moduli scheme of non-singular genus g curves over $\mathbb{Z}$. That is, suppose that $M_{g}$ co-represents the functor $M^{\sharp}_{g} : \text{Sch} \to ...
9
votes
1answer
985 views

Seiberg-Witten theory on 4-manifolds with boundary

What generalizations of Seiberg-Witten theory to 4-manifolds with boundary do exist? I would be especially interested in theories which "behave good" under gluing along the boundary (comparable to ...
7
votes
1answer
489 views

Deformations of smooth projective hypersurfaces and the Jacobian ring

It is a well-known result of Griffiths that the pieces of Hodge filtration of a smooth hypersurface $X:= (f=0)$ of degree $d$ in $\mathbb{P}^{n}$ are isomorphic to graded pieces of the Jacobian ring ...
13
votes
0answers
171 views

For all schemes w/Hilbert polynomial P, exists $m_P$ s.t. no higher cohomology, $I(k)$ generated by globally sections, multiplication is surjective

Consider the following theorem. For every polynomial $P$, there exists an integer $m_P$ such that for all ideal subsheaves $I \subset \mathcal{O}_{\mathbb{P}^n}$ with Hilbert polynomial $P$ and ...
18
votes
3answers
680 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 ...
7
votes
1answer
440 views

Do modular forms show up in the cohomology of moduli spaces of unmarked curves?

Let $\overline{\mathcal M}_{g,n}$ be the compactified Deligne-Mumford moduli stack (although I don't think taking the coarse moduli space will make much of a difference here). If we decompose $g = 1 + ...
7
votes
1answer
302 views

Singularities of the moduli stack of Calabi-Yau threefolds

Let $M$ be the moduli of polarized Calabi-Yau threefolds over $\mathbb C$ with fixed Euler characteristic. The coarse moduli space is singular (as usual), but what about the stack? In many cases I ...
6
votes
2answers
572 views

Questions on theorem in Deligne-Mumford's '69 Paper: $\omega_C^n$ is very ample $n\geq 3$

I'm working through the details of Deligne and Mumford's 69' paper, "The Irreducibility of the Space of Curves of Given Genus", and I had a few quick questions: 1) On p. 77, they claim that for $x$ a ...
4
votes
0answers
277 views

Relationship between virtual cohomological dimension and tautological rings for moduli spaces of curves

Here's the short version of the question. For $M_{g,n}$, $M_{g,n}^{rt}$, $M_{g,n}^{ct}$ and $\overline M_{g,n}$ it seems that the virtual cohomological dimension is given by the complex dimension plus ...
2
votes
2answers
293 views

spin bundle vs. hodge bundle

Let $\overline{\mathcal{M}}^r_{g,n}$ the space of $n$ pointed $r$-stable curves of genus $g$, endowed with a root of the canonical sheaf, and let $\mathcal{C} \to \overline{\mathcal{M}}^r_{g,n}$ be ...
5
votes
1answer
373 views

Is $M_{1,n}$ affine?

A famous conjecture of Looijenga states that the moduli space of curves $M_{g,n}$ is the union of $g- \delta_{0,n}+ \delta_{0,g}$ open affine subsets, where $g,n$ are non-negative integers satisfying ...
3
votes
0answers
100 views

Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature. To be more clear let me explain the example I have in mind. Let ...
0
votes
1answer
134 views

Reflexive sheaves on stable curves

Let $C$ be a stable curve over an algebraically closed field of positive characteristic and $\mathcal{F}$ be a reflexive sheaf on $C$. Is $\mathcal{F}$ locally free? EDIT Is the projective dimension ...