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

8
votes
0answers
125 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 ...
2
votes
0answers
179 views

Moduli space of log Calabi-Yau varieties exists?

Let $\mathcal M^{(X,D)}$ be a moduli space of pair varieties $(X,D)$ which $K_X+D$ is trivial and $D$ is a divisor with conic singularities on Kaehler variety $X$. I am looking for a proof that such ...
3
votes
1answer
83 views

BCOV's holomorphic anomaly equation at genus one

BCOV in their famous paper (http://arxiv.org/abs/hep-th/9309140) state the genus one holomorphic anomaly equation (on page 53) to be $$\partial_i \partial_{\bar{j}} F_{1} = ...
4
votes
0answers
96 views

Moduli space of complex Tori [duplicate]

Is there any explicit computation for the Weil-Petersson metric on moduli space of Tori of complex dimension n?
2
votes
1answer
98 views

What finite groups are stabilizers in Kirwan's desingularization construction?

Assume $X$ is a smooth projective curve of genus $g\geq 3$ over $\mathbb{C}$ and let $M$ be the (singular) moduli space of semistable rank two vector bundles with trivial determinant on $X$. Then ...
7
votes
1answer
256 views

When is a general sheaf (on the projective plane) globally generated?

Let $v$ be a chern character on $\mathbb P^2$ so that the moduli of sheaves of chern character $v$ is non-empty of the expected dimension. When is it true that the general sheaf in moduli is globally ...
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 ...
0
votes
0answers
91 views

Chern classes of a family and Chern classes of a member

Let $X$ be a smooth projective variety over an algebraically closed field $k$ and $\mathcal E$ a family on torsion free coherent sheaves on $X$ parametrized by a smooth curve (over $k$) i.e. a ...
1
vote
0answers
42 views

Understanding the Exp map from a moduli of smooth curves

The setup: Suppose I'm given a family of class $C^k$ curves $\{f_{z}\}_{z\in Z}$ with values in $\mathbb{R}$ parameter by a finite number of parameters $Z\subseteq \mathbb{R}^m$. Let $\mathscr{M}$ ...
1
vote
0answers
200 views

Weil-Petersson metric is quasi isometric with which model?

Let $\mathcal M_g$ be the moduli space of curves of genus $g$. If we take $X^{reg}=X\setminus D$, where D is a divisor with normal crossings. Endow $X^{reg}$ with a complete Kahler metric which has a ...
2
votes
1answer
197 views

Moduli of stable bundles - analytic approach

Consider a compact Riemann surface $X$ of genus $\ge 2$, and consider the set $M$ of stable holomorphic vector bundles of rank $n$ and degree $d$ on $X$, up to isomorphism. At that point, one states ...
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
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 ...
4
votes
1answer
213 views

Relations between some works by Deligne-Mostow and Thurston

happy new year 2016! A coworker and I are interested in the relations between the works of Deligne and Mostow ([DM] and [M]) on the monodromy of Appell-Lauricella hypergeometric functions (Publ. ...
1
vote
0answers
108 views

Push-forwards of some codimension 2 classes from the universal curve to $\overline{\mathcal{M}}_{g,n}$

Let $\pi:\overline{\mathcal{M}}_{g,n+1}\to \overline{\mathcal{M}}_{g,n}$ be the map that forgets the last marked point and $\omega_\pi$ the relative cotangent line bundle (Here we are identifying ...
18
votes
2answers
780 views

elliptic curves and group cohomology

Recently, I've been trying to understand Jacob Lurie's 2-equivariant elliptic cohomology a bit better than I had in the past. From what I can tell, the fragment of the story that only deals with ...
2
votes
0answers
161 views

Integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of varieties of general type is a rational numbers?

It is known that the integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of Calabi-Yau varieties is a rational numbers My question is about the moduli space of ...
1
vote
0answers
87 views

Any natural examples of infinite dimensional Cohomological Field Theories?

Cohomological Field Theories as defined by Kontsevich and Manin are a class of linear maps from a vector space $V$ to the cohomology of the Deligne-Mumford moduli space of curves ...
11
votes
1answer
400 views

Why is the kth cohomology group of the DM-compactification of the moduli space of curves pure of weight k?

I'm trying to understand the paper Arbarello, Enrico, Cornalba, Maurizio, Calculating cohomology groups of moduli spaces of curves via algebraic geometry. Inst. Hautes Études Sci. Publ. Math. No. 88 ...
2
votes
0answers
170 views

A question about Kobayashi hyperbolic variety

Let $X$ be a projective variety with snc divisor $D$ with $K_X+D<0$, which pair $(X,D)$ is log k-stable .Take $\mathcal M$ be the moduli space of log Fano pairs. Then the regular part ...
12
votes
1answer
779 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'} ...
3
votes
2answers
185 views

How do we get the quotient $Ext^1(N,M)/Hom(N,M)$?

If $0\longrightarrow M\longrightarrow E\longrightarrow N\longrightarrow 0$ is a short exact sequence of torsion free coherent sheaves on a surface. Here $M$ is a line bundle, $E$ a vector bundle of ...
4
votes
1answer
156 views

Non canonical singularities of moduli spaces of curves

Is it true that for any $g\geq 1$ and $n$ such that $\overline{M}_{g,n}$ has dimension at least two the locus in $\overline{M}_{g,n}$ parametrizing reducible curves which are union of an elliptic ...
8
votes
1answer
230 views

Intuitive reasons for the existence of modular parametrizations

Whenever I encounter anything about modular parametrizations, I have a feeling it is something very unnatural: you have some kind of moduli space and all of a sudden it parametrizes an object ...
4
votes
1answer
466 views

Is there an elliptic surface over $Y(1)$?

Actually I have a few related questions. Here, by $Y(1)$ I mean the affine $j$-line $\text{SL}_2(\mathbb{Z})\backslash\mathcal{H}$. I know $Y(1)$ is only a coarse moduli space, so there isn't a ...
4
votes
1answer
137 views

A moduli problem inspired by Stein factorization

Let $f:X \to Y$ be a proper, birational morphism with connected fibers, $X$ is non-singular and $Y$ is normal. Does there exist a moduli space parametrizing all invertible sheaves $\mathcal{L}$ on $X$ ...
2
votes
1answer
353 views

Trigonal curves of genus three: can their Galois closure be non-abelian

Let $X$ be a curve of genus three which is not hyperelliptic. Then $X$ is trigonal, i.e., there exists a finite morphism $X \to \mathbf P^1$ of degree $3$. Let $Y\to X \to \mathbf P^1$ be a Galois ...
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 ...
4
votes
2answers
126 views

Explicit constant terms of volumes of moduli spaces

In Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces, Mirzakhani gave a recursive formula for WP volumes of moduli spaces $\mathcal{M}_{g,n}(L)$ of bordered ...
8
votes
1answer
303 views

Automorphisms of curves in positive characteristic

It is well known that over an algebraically closed field of characteristic zero a general curve (for an open subset of $M_g$) of genus $g\geq 3$ is automorphism-free. Is this result still true over ...
13
votes
2answers
2k views

Why is one interested in the mod p reduction of modular curves and Shimura varieties?

Why is one interested in the mod p reduction of modular curves and Shimura varieties? From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...
3
votes
0answers
113 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 ...
11
votes
1answer
221 views

$\pi_1$ of the moduli of G-bundles on elliptic curves and the double affine braid group

For a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$, the fundamental group of $\mathfrak{h}_\text{reg}/W$ (where $\mathfrak{h}$ is the Cartan subalgebra, $\mathfrak{h}_\text{reg}$ is the subset ...
3
votes
0answers
108 views

Dimension of the singular locus of $\mathcal M_X(r,d)$

Let $X$ be an algebraic smooth curve of genus $g$ over $\mathbb C$, and let $\mathcal M_X(r,d)$ (resp $\mathcal M_X^0(r)$) be the moduli space of vector bundle of rank $r$ and degree $d$ (resp. with ...
4
votes
1answer
182 views

Existense of semi-stable vector bundles on smooth curves in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic and $X$ be a smooth projective curve over $k$ of genus $g \ge 2$. Fix a polarization $L$ on $X$. Does there exist a semi-stable ...
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?
3
votes
0answers
95 views

Choosing a group action to do GIT of hypersurfaces

When studying GIT stability of hypersurfaces $d$ of $\mathbb P^n$ we look at the Hilbert Scheme $H=\mathbb P^N$ parametrizing homogeneous polynomials $f_d(x_0,\ldots,x_n)$ of degree $d$. There is ...
14
votes
1answer
277 views

Moduli space of boundary maps with prescribed chain and homology groups?

Let $R$ be a reasonable ring (maybe I mean a PID, or $\mathbb{Z}$, and when sufficiently desperate, a field). Now consider fixed sequences $C_n$ and $H_n$ of $R$-modules, which are tame in every ...
2
votes
0answers
89 views

Is there an algorithm to compute the intersection of tautological classes on the moduli space of genus one curves?

Let $\overline{M}_{1,1}(\mathbb{P}^2, d) $ be the moduli space of degree $d$ genus one curves on $\mathbb{P}^2$ with one marked point. Let $L\longrightarrow \overline{M}_{1,1}(\mathbb{P}^2, d) $ ...
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 ...
1
vote
1answer
329 views

Soft Question: Relationships Between Moduli Space and Objects They Parametrize

Apologies in advance if this question is not suitable for MO. My friend and I were wondering recently what, if any, are the relationships between the geometric properties of a moduli space and the ...
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 ...
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 ...
3
votes
0answers
66 views

Families of trigonal curves with hyperelliptic limit

Suppose I have a family of trigonal curves $C\to D$ over a closed disk $D$ where the central fiber $C_0$ is hyperelliptic (this is of course possible since the hyperelliptic locus is in the closure of ...
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 ...
6
votes
1answer
192 views

Do general sheaves on P^2 have cohomology governed by their Euler characteristic?

Suppose $\xi$ is chern character on $\mathbb P^2$. Then there is a moduli space $M(\xi)$ of semistable sheaves of chern character $\xi$. If $\xi$ has Euler characteristic 0, then apparently there is ...
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 ...
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, ...
7
votes
1answer
436 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 + ...
0
votes
0answers
90 views

Hilbert scheme of relative subschemes of lenght 2

Let $\mathfrak X \rightarrow S$ a smooth projective family over the spectrum of a dvr. We know that $(\mathfrak X _{\eta_R})^{[2]}$ and $(\mathfrak X _{p})^{[2]}$ are smooth, where $p$ is the closed ...