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

2
votes
1answer
87 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 ...
4
votes
1answer
206 views
+50

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
87 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
90 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
40 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}$ ...
2
votes
1answer
195 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
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
275 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$$ ...
4
votes
0answers
81 views

Relations between curves if we have morphisms from a scheme to their Kummer varieties

Assume we are given two smooth projective curves $C_i$ of genus $g\geq 3$ over $\mathbb{C}$, $i=0,1$. Denote the Kummer varieties associated to the Jacobians by $K_i$. Then $K_i$ is the singular locus ...
4
votes
1answer
209 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
197 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 ...
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
773 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 ...
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 ...
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 ...
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 ...
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 ...
8
votes
1answer
229 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
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$ ...
12
votes
1answer
778 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'} ...
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
302 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 ...
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 ...
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 ...
3
votes
0answers
94 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
88 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 ...
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 ...
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 ...
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
277 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 ...
2
votes
0answers
61 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} = ...
6
votes
1answer
190 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
209 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, ...
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 ...
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
139 views

Is the complex structure on a del-Pezzo surface a regular complex structure?

Let $(X, \omega, J)$ be a compact symplectic manifold with an almost complex structure. Fix some homology class $\beta \in H_2(X, \mathbb{Z})$. An almost complex structure $J$ is said to be ...
1
vote
0answers
70 views

local universal sheaf (moduli of stable sheaves)

I do not know much about moduli of sheaves and I wanted to shows that for a smooth (projective) family over a discrete valuation ring of mixed characteristics (relative dimension 3), the locally free ...
0
votes
1answer
128 views

Complex plane mod lattice to elliptic curve correspondence generalization

If we observe the correspondence $$\mathbb{C}/\Lambda \rightarrow E: Y^{2} = X^{3} - \frac{g_{2}(\Lambda)}{4}X - \frac{g_{3}(\Lambda)}{4},$$ we see the relationship between weight 4 and weight 6 ...
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 ...
0
votes
1answer
157 views

When is the normal neighbourhood of the boundary of the moduli space of cuvres parametrized by exactly one branch?

Let $X$ be a compact complex manifold and $\beta \in H_2(X, \mathbb{Z}) $ a fixed homology class that is $\textit{decomposable}$. Let $$ \overline{\mathcal{M}}_{0,n}(X, \beta) $$ denote the stable ...
0
votes
0answers
163 views

How does one define Moduli spaces in Symplectic Geometry and naively interpret higher genus GW Invariants?

This is a very basic question about the definition of Moduli space of maps. My reason for asking this question is because I haven't actually seen this definition explicitly given anywhere, and hence ...
1
vote
0answers
126 views

Moduli space of line-bundle holomorphic structures and sections over a Kahler-Hodge manifold

Let $(M,\omega)$ be a Kahler manifold with Kahler integral two-form $\omega$ and let $(L,h)$ be a rank-one complex vector bundle over $M$ equipped with a fixed hermitian metric $h$. I am interested in ...
2
votes
1answer
214 views

Rational curves in projective spaces

Let $X\subset(\mathbb{P}^{N})^n$ be the variety defined as follows: $(p_1,...,p_n)\in (\mathbb{P}^{N})^n$ such that there exists a rational curve $C$ of degree $d$ with $p_1,...,p_n\in C$. Is there a ...
1
vote
1answer
328 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 ...