**22**

votes

**3**answers

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

**16**

votes

**9**answers

8k 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?

**15**

votes

**4**answers

977 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

**3**answers

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

**1**answer

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

**1**answer

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

**30**

votes

**9**answers

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

**30**

votes

**1**answer

988 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

**3**answers

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

**5**answers

4k 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

**2**answers

841 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

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

**13**

votes

**1**answer

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

**0**answers

745 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

**1**answer

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

**8**

votes

**2**answers

542 views

### Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...

**7**

votes

**1**answer

501 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

**0**answers

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

**3**answers

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

**8**

votes

**1**answer

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

**7**

votes

**1**answer

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

**6**

votes

**2**answers

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

**5**

votes

**0**answers

280 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

**2**answers

295 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

**1**answer

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

**0**answers

101 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

**1**answer

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