**26**

votes

**0**answers

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

**17**

votes

**0**answers

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

**13**

votes

**0**answers

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

**13**

votes

**0**answers

405 views

### Lie algebras vs. graph complexes

A ribbon graph is a graph in which every vertex has valence at least three and is equipped with a cyclic ordering of its adjacent half edges. The ribbon graph complex $\mathcal{G}_*$ is the chain ...

**12**

votes

**0**answers

370 views

### Easiest way to see Theorem 1.2 of Deligne-Mumford's “The irreducibility of the space of curves of given genus”?

Theorem 1.2 of Deligne-Mumford's 1969 IHÉS paper, "The irreducibility of the space of curves of given genus," is as follows.
If $g \ge 2$ and $C$ is a stable curve of genus $g$ over an ...

**12**

votes

**0**answers

1k views

### MNOP conjecture

Let $X$ be a smooth, projective, Calabi-Yau 3-fold (CY makes the exposition more elegant, I don't think it is necessary).
To define Gromov-Witten invariants, we consider moduli spaces of stable ...

**11**

votes

**0**answers

195 views

### Are Hecke eigenvalues on the cohomology of the Newton polygon strata automorphic?

Fix a genus $g$, a prime $p$, and a Newton polygon $\Delta$ of an abelian variety of genus $g$.
Let $\mathcal A_{g, \overline{\mathbb F}_p, \Delta}$ be the moduli stack of abelian varieties of genus ...

**11**

votes

**0**answers

212 views

### What is the lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?

I want to know about low-weight Galois representations in $H^i(\overline{\mathcal M}_{g,n}, \overline{\mathbb Q}_\ell)$ that aren't cyclotomic. This should be equivalent to finding $p,q$ such that ...

**11**

votes

**0**answers

468 views

### Katz--Mazur for abelian varieties

Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.
Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac ...

**11**

votes

**0**answers

1k views

### conformal blocks for beginners

I have given now a couple of talks that involve conformal blocks bundles on the moduli stack $\overline{\mathcal{M}}_{g,n}$, in front of a public of algebraic geometers but not specialists of the ...

**11**

votes

**0**answers

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

**10**

votes

**0**answers

459 views

### State of research in moduli space of flat connections

I am a recent PhD student trying to settle into a research topic. Even though I have a current project I am working on, I am not particularly enjoying it and would like to switch. Before braving the ...

**10**

votes

**0**answers

373 views

### Generalization of Witten's computation of the volume of moduli space

Let $\Sigma$ be a Riemann surface, and let $X=\operatorname{Hom}(\pi_1(\Sigma),\operatorname{SU}(2))/\\!/\operatorname{SU}(2)$ be the $\operatorname{SU}(2)$ character variety of $\pi_1(\Sigma)$. ...

**10**

votes

**0**answers

367 views

### Where is the representability of the moduli of curves with framed points proved?

There is a variant of the Knudsen-Mumford moduli problem $\mathcal{M}_{g,n}$ of pointed curves, where one endows the $n$ marked points with non-zero tangent vectors. It shows up in the theory of ...

**9**

votes

**0**answers

381 views

### gromov witten donaldson thomas correspondence

Let $X$ be a nonsingular projective 3-fold. I am trying to understand the proof of the GW/DT correspondence as presented in Gromov-Witten/Donaldson-Thomas correspondence for toric 3-folds. I would ...

**8**

votes

**0**answers

266 views

### Coherent cohomology of the moduli space of curves

Is $H^i\left(\overline{\mathcal M}_g, \mathcal O_{\overline{\mathcal M}_g}\right)$ nontrivial for any $i>0$ and any $g$?
I was not able to find literature on this after searching for a bit, ...

**8**

votes

**0**answers

292 views

### What is the signficance of the existence of a moduli stack to a moduli problem?

This is a question in pretty unfamiliar territory for me, so if I have conceptual mistakes please correct me.
Let's say we begin with a naive moduli problem: we want a moduli space (whatever space ...

**7**

votes

**0**answers

100 views

### Counting isomorphism classes in open subsets of Bun_G

Let $G$ be a split semisimple algebraic group and let $C$ be a curve of genus $g$ over $\mathbb F_q$. Assume $g \geq 2$.
The number of $\mathbb F_q$-points of $\# \operatorname{Bun}_G(C)$, where each ...

**7**

votes

**0**answers

556 views

### Central Yang-Mills connections, and flat connections with prescribed holonomy

Let $X$ be $\Sigma^g$ which is the Riemann surface of genus $g$, and consider a trivial $G$-bundle over it.
1) In this $2$-d setting, the space of Yang-Mills central connections is the set of ...

**7**

votes

**0**answers

679 views

### “A theory of generalized Donaldson-Thomas invariants” by Joyce & Song

Is anyone else working through this paper: A theory of generalized Donaldson-Thomas invariants, by Dominic Joyce, Yinan Song? I am trying to verifying example 6.2 (m=2 for simplicity) using only the ...

**6**

votes

**0**answers

210 views

### Is the stack of varieties with a big line bundle algebraic

In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...

**6**

votes

**0**answers

178 views

### Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?

We are taught that, in general:
A type of objects that has nontrivial automorphisms cannot have a fine moduli space.
The proof generally goes along the lines of:
Take an object $X$ with a ...

**6**

votes

**0**answers

255 views

### Moduli interpretation of Eisenstein series

Let $N \geq 11$ be an integer and consider the basis of Eisenstein series for $M_2(\Gamma_0(N))$ described in Theorem $4.6.2$ of Diamond--Shurman's book. Pick and Eisenstein series $F$ in this basis. ...

**6**

votes

**0**answers

450 views

### Possible automorphism groups of a K3 surface

Which finite groups are automorphism groups of polarized K3 surfaces (let's say over ℂ)?
...and does the answer change is I remove "polarized"?
(polarized = equipped with an ample line bundle)

**6**

votes

**0**answers

176 views

### Relations among Hodge classes?

Let $\pi : C_g \to M_g$ be the universal curve over the moduli stack of genus $g$ curves. Let $\omega_\pi$ be the relative canonical bundle. Then $\mathbb{H} := \pi_\ast \omega_\pi$ is a rank $g$ ...

**6**

votes

**0**answers

246 views

### Universal nondegenrate map over the space of complete linear maps

Let $E$ and $F$ be vector spaces and assume for simplicity that $\dim E = \dim F = n$.
Recall that the moduli space of complete linear maps from $E$ to $F$ is the space $M(E,F)$ parameterizing all ...

**5**

votes

**0**answers

90 views

### Flatness of Chern classes for flat family of sheaves

Let $Q$ be a quasi-projective $k$-scheme (not necessarily smooth), $X$ a smooth projective $k$-variety and $\mathcal E$ a family of (torsion free) sheaves on $X$ parametrized by $Q$. Suppose that ...

**5**

votes

**0**answers

278 views

### Motivic fundamental group of the moduli space of curves?

Suppose I have a smooth projective family of varieties of varieties over $\mathcal M_g$ - i.e. a universal functor, commuting with deformations, from curves to smooth projective varieties. Can I ...

**5**

votes

**0**answers

152 views

### Is the moduli space of curves arising from wild ramification smooth?

Fix a natural number $g$, a prime $p$, and a $p$-group $P$.
Let $C$ be a smooth projective curve of genus $g$ with a faithful action of $P$ and an isomorphism $C / P \cong \mathbb P^1$ such that $P$ ...

**5**

votes

**0**answers

235 views

### Topology of the space of foliations on a 3-manifold

Denote by $\mathcal{P} (M)$ the space of smooth plane fields(oriented and transversely oriented) on a given closed and orientable 3-manifold $M$ with the $C^{\infty}$ topology, and by $\mathcal{F}(M)$ ...

**5**

votes

**0**answers

133 views

### Compactifying the space of indecomposable abelian varieties

Let $A_g$ be the moduli space of principally polarized abelian varieties and $A_g^0$ the open substack of indecomposable ones. Abstractly we know $A_g^0$ has a compactification with complement a ...

**5**

votes

**0**answers

194 views

### Is the moduli space of genus three smooth quartics affine?

Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine?
I think this follows from a more general result on smooth complete intersections, but I'm ...

**5**

votes

**0**answers

624 views

### Curious propositon in “Les schemas de modules de courbes elliptiques”

Currently I am reading "Les schemas de modules de courbes elliptiques" by Deligne and Rapoport and I got myself seriously confused about the following proposition (in English translation):
(II ...

**4**

votes

**0**answers

118 views

### Proof of theorem of Nagata, modify step for nonzero divisor?

Here is the theorem of Nagata I am working with.
Let $G$ be a geometrically reductive group acting rationally on a finitely generated $k$-algebra $R$. Then the ring of invariants $R^G$ is finitely ...

**4**

votes

**0**answers

169 views

### Moduli interpretation of Hecke operators on Shimura curves

In his book on Automorphic Forms, Shimura gives (chapter 9) definitions of the the Hecke operators for Shimura curves.
One can give definitions of the Hecke and Atkin-Lehner operators in terms of the ...

**4**

votes

**0**answers

262 views

### Deligne-Mumford moduli spaces and compactification of symmetric matrices

The real Deligne-Mumford moduli space $\bar M_{0,n+1}(\mathbb R)$ of stable genus
zero curves with $n+1$ marked points is a compactification of the space of
configurations of $n$ distinct ordered ...

**4**

votes

**0**answers

127 views

### Deformations and moduli of semistable sheaves in mixed characteristic

Let $X$ be a projective scheme over an algebraically closed field $k$. There is the coarse moduli space $M_X$ parametrizing semistable sheaves on $X$ with fixed reduced Hilbert polynomial $p$. Now, ...

**4**

votes

**0**answers

146 views

### Shimura varieties and Maximal conditions

Working with Shimura varieties, I have been convinced to call them (or the families giving rise to them especially in $A_{g}$) somehow the "maximal" families. The motivation of this, has been for ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

59 views

### Moduli space of CY3 with $h^{2,1}=1$ is $\mathbb{P}^1\setminus \{p_i\}_i$?

It seems to me that all known CY3 with $h^{2,1}=1$ has the complex moduli space of the form $\mathbb{P}^1\setminus \{p_i\}_i$ for some $i \in \mathbb{N}$.
Is this true for all CY3 with $h^{2,1}=1$? ...

**4**

votes

**0**answers

224 views

### stability of parabolic bundles beyond the Weyl alcove and Hecke transforms

When considering (quasi)parabolic vector bundles over a smooth complete curve $X$ with marked points $p_i$, it goes back to the foundational work of Seshadri and collaborators that one needs to ...

**4**

votes

**0**answers

192 views

### Does the Albanese map satisfy Torelli's theorem

Let $M_h$ be the moduli space of canonically polarized varieties with Hilbert polynomial $h$. Let $M_h \to A_g$ be the Albanese map, with $g$ an integer which depends on $h$ and $A_g$ the moduli space ...

**4**

votes

**0**answers

254 views

### Reference request: virtual fundamental class of moduli of stable maps

Let $f:U\longrightarrow \overline{M}_{0,n}(\mathbb{P}^m,d)$ is the universal family with morphism $\pi:U\longrightarrow\mathbb{P}^m$ and let $X\subset\mathbb{P}^m$ be a hypersurface defined by a ...

**4**

votes

**0**answers

267 views

### Applications of moduli of curves theory

Are there some applications of moduli of curves theory? I was wondering if moduli of curves theory is used (or could be used) for doing research in applied mathematics.
I am doing my PhD in algebraic ...

**4**

votes

**0**answers

245 views

### Picard group of $M_{g,n}$

It is well known that the Picard group of $M_g$ is $\mathbb{Z}$ generated by the Hodge bundle. What is the Picard group of $M_{g,n}$, the moduli space of curves with marked points?

**4**

votes

**0**answers

185 views

### Properties of the Zariski-Riemann topology on the set of valuations

One can classify all valuations on a function field $K$ of transcendence degree $2$ over $\mathbf{C}$. Let's consider the set $S_K$ of all valuations on $K$ endowed with the Zariski-Riemann topology.
...

**4**

votes

**0**answers

696 views

### level structures and moduli of abelian varieties

Hello,
In the definition of level structure of level $n$ for an elliptic curve $A$, there are two versions:
an isomorphism of group schemes $(\mathbf Z/n\mathbf Z)^2 \to A[n]$.
an isomorhpism of ...

**3**

votes

**0**answers

154 views

### Cohomology and deformations of moduli of vector bundles

I believe that the following is well-known, but I cannot find a reference
in the literature...
Let $X$ be a smooth variety (in our case $X = M^s(r)$ coarse moduli space of stable rank $r$ vector ...

**3**

votes

**0**answers

276 views

### Lifting a real quadratic twist of an Elliptic Curve to the modular curve

Let $E$ be an elliptic curve of conductor $N\cdot p^2$ over $\mathbb{Q}$, defined by the equation
$$y^2=x^3+p^2b\cdot x + p^3\cdot c$$
and parametrized by a map
$$X_{0}(N\cdot {p}^{2})\rightarrow E$$
...

**3**

votes

**0**answers

112 views

### When does a “universal” quot scheme exist?

Suppose $M$ is a moduli space of semistable sheaves on a projective variety $X$. Let $v$ be some the discrete invariants. I would like to form a space $\mathcal Q(v) \rightarrow M$, where the fiber ...