Questions tagged [moduli-spaces]

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

Filter by
Sorted by
Tagged with
5 votes
1 answer
729 views

Some help in digesting a paragraph in the introduction of Deligne/Rapoport's "Les Schemas de Modules de Courbes Elliptique"

http://www.springerlink.com/content/04x54gr171v556m4/fulltext.pdf On page 149 (DeRa-7), in the middle of the page, I can translate the middle paragraph that starts "3. La surface de Riemann ..." as ...
Will Chen's user avatar
  • 10k
1 vote
1 answer
395 views

Fine/Coarse moduli spaces and extensions of fields.

Let $K/k$ be an arbitrary field extension and $X$, $Y$ varieties over $k$ (lets assume projective and perhaps smooth to avoid technicalities). There is a fine moduli space of morphisms between $X$ and ...
Nadal's user avatar
  • 13
1 vote
0 answers
201 views

Irreducibility of monodromy of eigenspaces of families of cyclic coverings

In the article "La conjecture de Weil", Deligne proves that for the primitive cohomology of a universal family $f:X \rightarrow S$ for $M_{d,n}$ the moduli stack of hypersurfaces of degree $d$ in $\...
Jack's user avatar
  • 637
3 votes
2 answers
647 views

Moduli Space of Abelian Varieties with a N-torsion point

Does there exists (as scheme, or as some sort of stack) the moduli space of principally polarized Abelian Varieties together with a point of order $N$, for $N>1$ an integer? In the case of ...
Xarles's user avatar
  • 1,386
14 votes
2 answers
665 views

Koszulness of the cohomology ring of moduli of stable genus zero curves

Let $n \geq 3$. The ring $H^\bullet(\overline{M}_{0,n},\mathbf Q)$ was determined by Sean Keel. It is generated by the cohomology classes of boundary divisors $D_{A,B}$ corresponding to partitions $A \...
Dan Petersen's user avatar
  • 39.2k
27 votes
1 answer
1k views

Is $M_g$ finitely covered by a scheme over the integers?

This question was prompted by my almost-answer to the question Does smooth and proper over $\mathbb Z$ imply rational? , but I never got around to asking this until now. It is well known that $M_g$, ...
Dan Petersen's user avatar
  • 39.2k
2 votes
1 answer
454 views

Deformations of pointed stable maps with "curve held rigid" or "preserving the dual graph"

I am reading the "Notes on stable maps and quantum cohomology" by Fulton and Pandharipande and I got stuck in the proof of the Theorem 2, p.27. The authors consider the space $Def(\mu)$ of first order ...
boxdot's user avatar
  • 203
3 votes
0 answers
249 views

Smooth curve in the Hilbert flag scheme

Let $d$ be an integer greater than $0$. Let $P_2$ be the Hilbert polynomial of a degree $d$ surface in $\mathbb{P}^3$. Recall, the Hilbert flag scheme $\mathrm{Hilb}_{P_1,P_2}$ parametrizes curves $C$ ...
Naga Venkata's user avatar
  • 1,010
3 votes
1 answer
530 views

Representability of Hom-sheaves of various moduli spaces

(May be a poor title, happy to update) Recall that for a stack $\mathcal{X} \to Sch$ on schemes (e.g. fppf site) and a pair of morphisms $x,y\colon U\to \mathcal{X}$ ($U$ a representable stack) there ...
David Roberts's user avatar
  • 33.8k
10 votes
0 answers
619 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 ...
Arap K.'s user avatar
  • 513
0 votes
0 answers
247 views

Intersections with divisors on moduli of curves

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli stack of stable curves of genus $g$ with $n$ points. Consider $0 \neq \gamma \in Pic(\overline{\mathcal{M}}_{g,n})$ the first Chern class of a ...
OldMacdonaldHadaForm's user avatar
5 votes
1 answer
407 views

Modular curve parametrizing two cyclic subgroups of an elliptic curve

The aim of this question is to better understand the following moduli space/modular curve, for which I propose (temporarily) the name $Y_0(M,N)$. We define $Y_0(M,N)$ as the moduli space parametrizing ...
OldMacdonaldHadaForm's user avatar
3 votes
2 answers
1k views

Degeneration of projective curves

Given a projective curve $C$, is it possible that $C$ can degenerate into union of lines i.e., does there exist a family of curves $\pi:\mathcal{C} \to B$ such that $\pi^{-1}(0)=C$ and there exists $a ...
Naga Venkata's user avatar
  • 1,010
3 votes
0 answers
345 views

Hurwitz Spaces and Rauch Variational Formulas

I have read in some papers about Rauch-type variational formulas on Hurwitz spaces, and I would like to know what exactly is the theory behind them. A Hurwitz Space $H_g^d$ is the space of coverings ...
Jean-Philippe Burelle's user avatar
4 votes
0 answers
401 views

Every curve is a Hurwitz space in infinitely many ways

Diaz, Donagi and Harbater proved that every curve over $\overline{\mathbf{Q}}$ is a Hurwitz space. A Hurwitz space is a connected component of the curve $H_n$. The curve $H_n$ is (the ...
Harized's user avatar
  • 163
7 votes
1 answer
1k views

Wanted: differential coming from higher genus surface in Heegaard Floer homology

I am interested in studying moduli of complex surfaces which arise in computing the differential on the Heegaard Floer homology chain complex. In particular, I am interested in the generic case, when ...
John Pardon's user avatar
  • 18.3k
2 votes
0 answers
217 views

Level n-structure as defined by Mumford in GIT

In Mumford's GIT, the definition of level $n$ structure ($n \geq 2)$ is $2g$ sections $\{\sigma_1, \dots, \sigma_{2g}\} : S \rightarrow A$ such that two conditions hold: (i) For geometric points the ...
rghthndsd's user avatar
  • 419
4 votes
0 answers
314 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?
user15692's user avatar
  • 413
3 votes
1 answer
434 views

How big is the locus of Galois covers in the moduli space of curves

Let's consider the moduli space $M_g$ of curves of genus $g$ over $\mathbf{C}$. Not every curve of genus $g$ is a Galois cover (of the projective line) if $g\geq 3$. How big is the locus of Galois ...
Daniel's user avatar
  • 33
43 votes
2 answers
5k views

Meaning/origin of Seiberg-Witten equations/invariants

Having now seen and "understood" (quotes necessary) the Seiberg-Witten equations on a closed oriented Riemannian 4-manifold $X$, I have no real understanding of where they came from. We take ...
Chris Gerig's user avatar
  • 17.1k
7 votes
0 answers
311 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$ ...
Kevin H. Lin's user avatar
  • 20.7k
3 votes
1 answer
384 views

$\psi$ class in $\overline{M}_{0,n}$

Basic question, but I found no reference. Is the $\psi$ class the only one which is not a boundary class in the PIcard group of the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$? Or can it ...
IMeasy's user avatar
  • 3,717
2 votes
1 answer
726 views

fano moduli varieties of vector bundles

Let $M$ be a fine moduli space of vector bundles on curve which is an algebraic variety as well. The first example of such an object that I have in mind is rank 2, deg 1 VB on a genus 2 curve. This is ...
IMeasy's user avatar
  • 3,717
2 votes
1 answer
1k views

Penner's formula for volume of the Moduli Space

In his paper "Weil-Petersson Volumes" Penner gives the following formula for the integral of a top-dimensional cohomology class $\omega$ on the moduli space $\mathcal M_g^s$ of $s$-punctured riemann ...
Steve's user avatar
  • 2,223
1 vote
0 answers
522 views

modular forms of Gamma^0(N) with some Dirichlet character

I am just a beginner in modular forms.. It seems for me that lots of the work has been done for the cases of spaces of modular forms for $\Gamma_0(N)$ or $\Gamma_1(N)$ with some Dirichlet character $\...
YOURS's user avatar
  • 533
13 votes
0 answers
585 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)$. There ...
John Pardon's user avatar
  • 18.3k
12 votes
0 answers
440 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 ...
S. Carnahan's user avatar
  • 45k
32 votes
2 answers
3k views

Is the moduli space of curves defined over the field with one element?

There are various frameworks around which enlarge the category of rings to include more exotic objects such as the 'field with one element,' $\mathbb{F}_1$. While these frameworks differ in their ...
Jeffrey Giansiracusa's user avatar
0 votes
0 answers
173 views

What means "extended concepts of symmetry"?

Where could one find a short description oft: "two mathematical extensions of the symmetry - to moduli spaces of sheaves and to derived categories", found here? Happen there interesting things like ...
Thomas Riepe's user avatar
  • 10.7k
4 votes
1 answer
362 views

Applications of the boundedness of birational automorphisms

Recently the paper http://de.arxiv.org/PS_cache/arxiv/pdf/1011/1011.1464v1.pdf by Hacon, McKernan and Xu appeared on the arXiv. There the authors prove that the number of birational automorphisms of a ...
Gianni Bello's user avatar
  • 1,150
5 votes
0 answers
303 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. ...
Saahmri's user avatar
  • 51
3 votes
0 answers
241 views

ubiquitous modulicity?

On the one hand, as mentioned here, basically "everything" in algebraic geometry could be seen in the context of "moduli problems" - on the other hand, Grothendieck's few remarks on a possible "tame ...
Thomas Riepe's user avatar
  • 10.7k
2 votes
0 answers
303 views

Moduli space of points of fixed order N on elliptic curves

Let us consider the moduli space $Y_1(N)$, parametrizing an elliptic curve, together with a choice of a point of N-torsion on it. Over the complex numbers, it is easy to see that this moduli space is ...
Math's user avatar
  • 63
11 votes
1 answer
2k views

Geometric interpretation of Simpson's correspondence

What is the exact geometric meaning of the Simpson's correspondence between Higgs bundles and local systems ? I know that it should have a rich geometric content but don't know an explicit geometric ...
Cyrus's user avatar
  • 395
3 votes
0 answers
222 views

How can one check that two line bundles on $\overline{M}_{0,n}$ coincide?

Let $X$ be the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$. Suppose I have two (big) line bundles $L$ and $L'$ on $X$ and that I want to show that they are the same element of $Pic(X)$. Of ...
IMeasy's user avatar
  • 3,717
5 votes
2 answers
268 views

Stable reduction for maps

I would like to explicitly compute the limit of a family of stable maps in $\overline{M}_{0,n}(\mathbb{P}^r,d)$. I know in principle how this works for families of curves without maps as I found a ...
Dennis Ochse's user avatar
15 votes
4 answers
3k views

Moduli space of genus 2 curves

Does any body know any reference in which the geometry of compactified moduli space of genus two curves ( Which is a three dimensional variety/stack/...) has been studied?
Mohammad Farajzadeh-Tehrani's user avatar
2 votes
0 answers
271 views

Is there an algebraic analogue of the degeneration of riemann surfaces in M_g

Degeneration of certain functions such as theta functions or Green's functions in the moduli space $\overline{\mathcal{M}_g}$ of stable curves of genus $g$ has been studied quite alot. The idea is to ...
Tamed's user avatar
  • 63
3 votes
1 answer
289 views

lifting the isomorphisms between abelian schemes over PD thickenings

Assume that X and Y are abelian schemes (or even abelian varieties) over a base T. If $\ S --> T$ is a PD nilpotent thickening (i.e. the ideal of $\ S$ in $ \ T$ is a nilpotent divided power ideal)...
Jack's user avatar
  • 637
1 vote
1 answer
428 views

The locus of cyclic covers in the moduli space of curves

Let $\mathcal{M}_g$ be the moduli space of smooth curves of genus $g$. Let $Z$ be the closure in $\mathcal{M}_g$ of the set of smooth curves of genus $g$ which are a cyclic cover of the projective ...
Ariyan Javanpeykar's user avatar
5 votes
1 answer
1k views

Virtual dimension of moduli of stable maps

I apologize if this question was already asked somwhere else on this website. Let us consider $f:C \to X$ a stable map. This is a point in the moduli space of stable maps. It seems intuitively to me ...
mathoverflow's user avatar
2 votes
2 answers
507 views

Reference request: parametrizing covers of the projective line

Hurwitz spaces (or Hurwitz schemes) parametrize covers of the projective line. One can do this in many ways. For example, one could fix the number $r$ of branch points, the degree $n$ of the cover ...
Ariyan Javanpeykar's user avatar
3 votes
1 answer
603 views

moduli of vector bundles on a surface

Let $S$ be a smooth projective surface with an ample divisor $X\subset S$. Consider the moduli stack of vector bundles $F$ on $S$ such that 1) $c_1(F)=0$ 2) $c_2(F)=n$ 3) The restriction of $F$ to $...
Alexander Braverman's user avatar
8 votes
3 answers
637 views

Applications for knowing the singularities parametrized by the boundary of a moduli space

Given a moduli space $M$ of some smooth algebraic geometric object such as curves, surfaces, etc. Let $\overline{M}$ be a compactification of $M$. Then, $\overline{M}\setminus M$ introduces ...
eventually's user avatar
2 votes
2 answers
248 views

Is restricting the support of an Artinian sheaf a closed condition?

Given a projective surface $S$, and a smooth projective curve $C\subset S$ over $\mathbb{C}$. Furthermore we have a locally free sheaf $E$ of rank $r$ on $S$. Then for any $l\geq 1$, the projective ...
TonyS's user avatar
  • 1,391
9 votes
1 answer
714 views

Given a curve, under which condition is the set of gonal morphisms finite

Recently, in my research I bumped onto gonal morphisms. At the moment, my knowledge is based upon some things I read on the internet. Before stating my questions, I added some definitions/facts that ...
Ariyan Javanpeykar's user avatar
13 votes
1 answer
766 views

Arithmetic and moduli spaces of higher genus curves

Modular curves (as moduli of elliptic curves with level structure) play a key role in the study of the arithmetic of elliptic curves. The higher genus curves have very different arithmetic, but I ...
Lloyd Yu-West's user avatar
12 votes
0 answers
983 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 \text{...
jlk's user avatar
  • 3,234
7 votes
1 answer
532 views

Picard group of $\mathcal{M}_{0,n}$

Let $\mathcal{M}_{0,n}$ be the complement of the boundary of the Mumford-Knudsen compactification of the moduli space of genus zero, n-pointed curves. Is $Pic(\mathcal{M}_{0,n})$ trivial?
IMeasy's user avatar
  • 3,717
2 votes
1 answer
342 views

Differntial of the Torelli morphism and the multiplication map

Consider the Torelli morphism $T$: $M_{g}$-----------> $A_{g}$. The differential of this morphism is the map $dT$ : $ T_{M_{g}}$---------> $T_{A_{g}}$ between the tangent bundles. Now at the point $...
Cyrus's user avatar
  • 395