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

26
votes
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
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 ...
4
votes
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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 ...