Skip to main content

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
2 votes
0 answers
177 views

How to characterize good "models" of a category

Let ${\bf Cat}$ denote the category of small categories. Recall that for a category $\mathcal{C}$ and a functor $F\colon\mathcal{C}\to{\bf Cat}$, the Grothendieck construction of $F$, which I'll ...
David Spivak's user avatar
  • 8,659
2 votes
1 answer
1k views

Question related to the moduli space of Riemann surfaces and a fibration

If $M_{g}$ is the moduli space of Riemann surface of genus $g$, $M^1_{g}$ is the moduli space of Riemann surface of genus $g$ with one boundary, how can we show that the natural map: $M^1_{g} \...
HYYY's user avatar
  • 1,499
4 votes
1 answer
805 views

Homology dimension of the mapping class group of a surface with boundary

There is a result on the dimension bound for ${M_{g,n}}/S_n$, (the moduli space for Riemann surfaces of genus $g$ with $n$ marked points) that is $H_{i}({M_{g,n}}/S_n)=0$, for $i\ge 6g-7+2n$ except $(...
HYYY's user avatar
  • 1,499
6 votes
0 answers
971 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 ...
Holger Partsch's user avatar
5 votes
1 answer
976 views

How can we show the spaces $M_{g}(n)$ and $M_{g, n}$ are homotopy equivalent?

How can we prove that the moduli space,$M_{g}(n)$, of genus $g$ Riemann surface with $n$ boundary components is homotopy equivalent to $M_{g,n}$, that is ,the moduli space of genus $g$ Riemann surface ...
HYYY's user avatar
  • 1,499
0 votes
0 answers
333 views

Is there a reference showing that the space $\bar{M_{g,n}}$ is a closed oriented orbifold and it is hausdorff

Is there a reference showing that the space $\bar{M_{g,n}}$ is a closed oriented orbifold and it is Hausdorff? Note: here $\bar{M_{g,n}}$ is not the Deligne-Mumford space in the usual algebraic ...
HYYY's user avatar
  • 1,499
0 votes
2 answers
295 views

Does the Deligne-Mumford space module $S_{n}$ action have a fundamental chain?

Does the Deligne-Mumford space (without ordering for marked points) $\bar M_{g,n}/S_{n}$ has fundamental chain in signular simplicial chains? (because I read Costello's paper GW potential to TCFT, as ...
mathphysics's user avatar
10 votes
0 answers
880 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 ...
Bo Peng's user avatar
  • 1,525
19 votes
0 answers
504 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). ...
Jim Stasheff's user avatar
  • 3,880
1 vote
3 answers
646 views

projective subvarieties of the moduli space of abelian varieties

I know that the fibre of $A_{g,n}$ over $\mathbf{F}_p$ is quasi-projective (of what dimension?). Can one exhibit some smooth projective subvarieties of high dimension in it? What are references for ...
user avatar
14 votes
2 answers
2k views

The fibers of M_{g,n} \to M_g and the Fulton-MacPherson compactification

Let $g \geq 2$, and consider the moduli space $\bar M_{g,n}$ of stable n-pointed curves of genus g. There is a natural forgetful map to $\bar M_g$, which forgets the markings and contracts any ...
Dan Petersen's user avatar
  • 40.2k
8 votes
3 answers
966 views

Moduli of extensions of modules

Given two modules $M$ and $N$ there is a nice scheme parametrizing extensions $0 \rightarrow M \rightarrow E \rightarrow N \rightarrow 0$ namely $\operatorname{Ext}^1(N,M)$ or, leaving out the trivial ...
Heinrich Hartmann's user avatar
15 votes
2 answers
3k views

Picard Groups of Moduli Problems

First, yes, I've seen Mumford's paper of this title. I'm actually interested in specific ones, and looking for really the most elementary/elegant proof possible. I'm told that for $g\geq 2$ it is ...
Charles Siegel's user avatar
2 votes
3 answers
917 views

Are the arithmetic genera of Cohen-Macaulay curves in a fixed homology class bounded?

Let X be a smooth projective variety over the complex numbers. Recall that a Cohen-Macaulay curve is a one-dimensional closed subscheme without embedded or isolated points (fat components are allowed)....
David Steinberg's user avatar
9 votes
3 answers
1k views

Stable graphs: Feynman diagrams and Deligne-Mumford space

I do not know very much about quantum field theory, but I have seen, in my reading, that stable graphs can appear in QFT in the form of, I think, Feynman diagrams. By stable graph I mean a "graph with ...
Kevin H. Lin's user avatar
12 votes
2 answers
990 views

A-infinity structure on the ribbon graph complex and more general graph complexes

Moduli spaces of curves (with nonempty boundary or at least one marked point) admit cell decompositions in which the cells are labelled by ribbon graphs. In fact, the moduli space of normalised ...
Jeffrey Giansiracusa's user avatar
31 votes
6 answers
3k views

What can you do with a compact moduli space?

So sometime ago in my math education I discovered that many mathematicians were interested in moduli problems. Not long after I got the sense that when mathematicians ran across a non compact moduli ...
solbap's user avatar
  • 3,968
9 votes
6 answers
3k views

Reference request: Moduli spaces of bundles over singular curves

I would like to know some reference (articles, books...) about any kind of moduli spaces of any of the following objects: vector bundles torsion-free sheaves principal bundles parabolic bundles over ...
19 votes
4 answers
2k views

Details for the action of the braid group B_3 on modular forms

I'm reading Terry Gannon's Moonshine Beyond the Monster, and in section 2.4.3 he hints at (but does not explicitly describe) a way to extend the action of $SL_2(\mathbb{Z})$ on modular forms to an ...
Qiaochu Yuan's user avatar
7 votes
3 answers
2k views

Gauge theory construction of moduli of vector bundles

Given a smooth projective complex variety $X$, instead of using Mumford's GIT to construct the moduli of rank $n$ topologically trivial vector bundles, we can also take the gauge theory approach. To ...
10 votes
2 answers
2k views

Dualizing sheaf of reducible variety?

Sorry for my poor English. Let $X$ be a reducible projective variety. My question is: How can I compute the dualizing sheaf of $X$ and express it in an explicit way? Is there a method to get ...
Moon's user avatar
  • 627
11 votes
1 answer
2k views

Seiberg-Witten theory on 4-manifolds with boundary

What generalizations of Seiberg-Witten theory to 4-manifolds with boundary do exist? I would be especially interested in theories which "behave good" under gluing along the boundary (comparable to ...
J Fabian Meier's user avatar
22 votes
3 answers
1k views

A historical question: Hurwitz, Luroth, Clebsch, and the connectedness of $\mathcal{M}_g$

The connectedness of the moduli space $\mathcal{M}_g$ of complex algebraic curves of genus $g$ can be proven by showing that it is dominated by a Hurwitz space of simply branched d-fold covers of the ...
JSE's user avatar
  • 19.2k
5 votes
2 answers
1k views

Versality in deformation theory vs. versality in moduli spaces

As I mentioned before, I'm a novice at deformation theory. I was wondering if the definition of versality in deformation theory is related to the versality in moduli spaces: Deformation theory "...
Randy Brown's user avatar
  • 1,386
22 votes
5 answers
3k views

Is a 'generic' variety nonsingular? Or singular?

I'd like to know whether there's some coherent meaning of 'generic' for which one can say that a 'generic' variety over an algebraically closed field $K$, say, is nonsingular or singular. We could ...
Saul Glasman's user avatar
  • 2,168
7 votes
3 answers
745 views

Family of Enriques surfaces and Grothendieck-Riemann-Roch

Currently I'm studying the article Moduli of Enriques surfaces and Grothendieck-Riemann-Roch by Pappas. I am particularly interested in how he applies the GRR. Q1. What is meant by a "family of ...
Ariyan Javanpeykar's user avatar
2 votes
1 answer
649 views

looking close at an example of Moduli space of curves

I will state a very specific case: genus 5. Though it's particular, it admits a generalization to $M_g$, and I think reflects the nature of a general stratification of $M_g$. It is known that if you ...
Csar Lozano Huerta's user avatar
16 votes
0 answers
3k 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 ...
David Steinberg's user avatar
25 votes
3 answers
5k views

Conceptual understanding of the Gross-Zagier theorem.

The Gross-Zagier paper "Heegner points and derivatives of $L$-series", is really computational and hard to plow through. It seems it is futile to read it as such and one must look for a more ...
Regenbogen's user avatar
  • 1,417
20 votes
3 answers
5k views

Moduli space of K3 surfaces

It is known that there exists a fine moduli space for marked (nonalgebraic) K3 surfaces over $\mathbb{C}$. See for example the book by Barth, Hulek, Peters and Van de Ven, section VIII.12. Of course ...
Andrea Ferretti's user avatar
24 votes
2 answers
1k views

Different interpretations of moduli stacks

I'm taking my first steps in the language of stacks, and would like something cleared up. The intuitive idea of moduli spaces is that each point corresponds to an object of what we're trying to ...
Randy Brown's user avatar
  • 1,386
6 votes
1 answer
675 views

Some questions on the intersection theory on a Hilbert scheme of points of a surface.

If $\Sigma$ is a smooth complex curve in a smooth projective surface $X$, then we can consider the homology class represented by $\Sigma^{[n]} \subset X^{[n]}$. $\ \ $ Where, $X^{[n]}, \Sigma^{[n]}$ ...
James O's user avatar
  • 445
7 votes
2 answers
393 views

Trigonal loci in Teichmueller spaces

Since my previous question Hyperelliptic loci in Teichmueller spaces resulted in two quick and helpful replies, let me ask another question in a similar vein: A smooth compact complex curve is ...
algori's user avatar
  • 23.5k
13 votes
3 answers
807 views

Hyperelliptic loci in Teichmueller spaces

Let ${\cal M}_g$ be the moduli space of smooth complex genus $g$ curves, let ${\cal H}_g\subset {\cal M}_g$ be the hyperelliptic locus and set ${{\cal H}}'_g$ to be the preimage of ${\cal H}_g$ in the ...
algori's user avatar
  • 23.5k
6 votes
2 answers
2k views

Proper definition of a moduli problem

This question arose after I thought about Ben Webster's comments to this question. There he asked me what was my definition of a moduli problem. When I came to think of it, I never saw a precise ...
Anweshi's user avatar
  • 7,442
23 votes
1 answer
2k views

Do hyperKahler manifolds live in quaternionic-Kahler families?

A geometry question that I thought about more seriously a few years ago... thought it'd be a good first question for MO. I'm aware that there are a number of Torelli type theorems now proven for ...
Marty's user avatar
  • 13.3k
8 votes
2 answers
2k views

(nontrivial) isotrivial family of elliptic curves

I think it should be a standard procedure to construct such things, can anyone give a reference or give a hint? Can this be done over any base scheme?
natura's user avatar
  • 1,503
6 votes
1 answer
2k views

moduli space and modularity

I recently realized some kind of analogy when considering modularity results (such as the modularity of elliptic curves over Q). The analogy comes from algebraic groups. Take one point (say, the ...
natura's user avatar
  • 1,503
17 votes
2 answers
3k 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 ...
user avatar
15 votes
4 answers
1k views

Introductory text for the non-arithmetic moduli of elliptic curves

I'm looking for an introduction to the non-arithmetic aspects of the moduli of elliptic curves. I'd particularly like one that discusses the $H^1$ local system on the moduli space (whether it's $Y(1)$ ...
JBorger's user avatar
  • 9,408
17 votes
4 answers
2k views

What is the Euler characteristic of a Hilbert scheme of points of a singular algebraic curve?

Let $X$ be a smooth surface of genus $g$ and $S^nX$ its n-symmetrical product (that is, the quotient of $X \times ... \times X$ by the symmetric group $S_n$). There is a well known, cool formula ...
James O's user avatar
  • 445
3 votes
1 answer
378 views

functorial meaning of irreducibility of a moduli space

Iasked me the question what the interpretation of the irreducibility of a moduli space is for the functor it represents. For proper, there is the valuative criterion and for (formally) smooth, there ...
user avatar
30 votes
3 answers
3k views

Mumford conjecture: Heuristic reasons? Generalizations? ... Algebraic geometry approaches?

The Mumford conjecture states that for each integer $n$, we have: the map $\mathbb{Q}[x_1,x_2,\dots] \to H^\ast(M_g ; \mathbb{Q})$ sending $x_i$ to the kappa class $\kappa_i$, is an isomorphism in ...
Kevin H. Lin's user avatar
15 votes
3 answers
3k views

Existence of fine moduli space for curves and elliptic curves

For the moduli problem of a curve of genus $g$ with $n$ marked points, how large an $n$ is needed to ensure the existence of a fine moduli space? For this question, terminology is that of Mumford's ...
Anweshi's user avatar
  • 7,442
10 votes
4 answers
3k views

When is a coarse moduli space also a fine moduli space?

Given a moduli problem, it appears that nonexistence of automorphisms is a necessary condition for existence of a fine moduli space(is this strictly true?). In any case, assuming the above, what ...
Anweshi's user avatar
  • 7,442
26 votes
9 answers
13k 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?
30 votes
3 answers
5k views

When is a classification problem "wild"?

I hope someone can point me to a quick definition of the following terminology. I keep coming across wild and tame in the context of classification problems, often adorned with quotes, leading me to ...
José Figueroa-O'Farrill's user avatar
5 votes
1 answer
589 views

Moduli spaces of coherent sheaves on K3s

Reading 2007 paper A tour of theta dualities on moduli spaces of sheaves by Alina Marian and Dragos Oprea. Why is any moduli space of coherent sheaves on a K3 surface deformation equivalent to a ...
Ilya Nikokoshev's user avatar
16 votes
1 answer
1k views

Coarse moduli spaces over Z and F_p

I would like to know to what extent it is possible to compare fibers over $\mathbb{F}_p$ of coarse moduli spaces over $\mathbb{Z}$, and coarse moduli spaces over $\mathbb{F}_p$. I ask a more precise ...
Olivier Benoist's user avatar
16 votes
2 answers
3k views

Is the Torelli map an immersion?

The Torelli map $\tau\colon M_g \to A_g$ sends a curve C to its Jacobian (along with the canonical principal polarization associated to C); see this question for a description which works for families....
David Zureick-Brown's user avatar