The moduli-spaces tag has no wiki summary.

**3**

votes

**1**answer

407 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 ...

**2**

votes

**2**answers

260 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 ...

**3**

votes

**1**answer

519 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 ...

**8**

votes

**3**answers

388 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 ...

**2**

votes

**2**answers

184 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 ...

**8**

votes

**1**answer

324 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 ...

**13**

votes

**1**answer

508 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 ...

**10**

votes

**0**answers

682 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 ...

**7**

votes

**1**answer

381 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?

**2**

votes

**1**answer

265 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 ...

**29**

votes

**4**answers

2k views

### Curves which are not covers of P^1 with four branch points

The following interesting question came up in a discussion I was having with Alex Wright.
Suppose given a branched cover C -> P^1 with four branch points. It's not hard to see that the field of ...

**16**

votes

**1**answer

547 views

### Do mapping classes have gonality?

(This question was discussed by people at the PCMI workshop on moduli spaces, without any clear resolution, so I thought I'd throw it open to MO.)
The hyperelliptic mapping class group is (by ...

**7**

votes

**3**answers

451 views

### Tabulation of known unstable rational homology of moduli space?

Does there exist a tabulation of the known rational homology of mapping class groups of genus $g$ with $m$ punctures? I'm most interested in the case when punctures can be permuted.

**4**

votes

**1**answer

413 views

### A question about moduli spaces over $\mathbb{Z}$

I've seen, on several occasions, papers whose purpose it is to construct a moduli space over $\mathbb{Z}$ for a moduli problem for which a moduli space over $\mathbb{C}$ was already constructed. Let's ...

**4**

votes

**2**answers

426 views

### More questions about log structures

I had previously asked:
Help motivating log-structures
I now have some more questions regarding the role of log structures in moduli problems (you can assume that the moduli problem is the ...

**22**

votes

**3**answers

1k views

### Help motivating log-structures

I'm currently reading a thesis that uses log-structures. I should mention that this is my first encounter with them, and the thesis (as well as my expertise) is scheme-theoretic (in fact ...

**8**

votes

**1**answer

567 views

### Is there an algebraic description of Yang-Mills measure?

Consider $X=\operatorname{Hom}(\pi,SL(2,\mathbb C))/\\!/SL(2,\mathbb C)$ and $Y=\operatorname{Hom}(\pi,SU(2))/\\!/SU(2)$, where $\pi$ is a surface group. Note that if we use the right coordinates, ...

**12**

votes

**1**answer

1k views

### Why is the degree:rank ratio of a vector bundle called its “slope”?

Whenever one studies moduli spaces of vector bundles on curves, one of the first things to be introduced is the "slope" of a vector bundle, i.e., its degree:rank ratio. Is there a nice (preferably ...

**10**

votes

**2**answers

460 views

### Do coarse moduli spaces respect Galois actions?

To explain, I will use the following concrete example: Let $\mathcal{M}_g$ be the functor for the moduli problem of classifying genus $g$ smooth projective curves (taking a scheme $S$ to the set of ...

**6**

votes

**1**answer

284 views

### Some questions on moduli of stable maps

Let $\overline{M}_{0,k}(\mathbb{P}^n,d)$
denote the moduli space of genus zero degree $d$ stable maps with $k$ marked points. This is an orbifold of expected dimension. Let ...

**8**

votes

**2**answers

450 views

### Has anyone studied the Prym map for double covers with two ramification points?

If $f \colon C \to C'$ is a dominant morphism of smooth projective curves, there is a norm map $f_\ast = \mathrm{Nm} \colon JC \to JC'$ between their Jacobians, and we can consider the abelian ...

**5**

votes

**2**answers

412 views

### A convex polyhedral analog of the pentagram map

I am wondering if there is a three-dimensional analog of
the pentagram map, which maps a convex polygon to another
convex polygon. Here's the Wikipedia image:
...

**12**

votes

**3**answers

1k views

### Is there an algebraic construction of the Quillen (determinant) Line Bundle?

Let's consider the moduli space of representations of $\pi=\pi_1(\Sigma)$ (a surface group) into $G$ (a lie group). Call this $X=\operatorname{Hom}(\pi,G)$, and let ...

**9**

votes

**3**answers

963 views

### Groupoids vs Pseudogroups

(Warning: I'm not an expert in the topic) Let's work in a "geometric" category, for example the category $\mathfrak{Diff}$ of "manifolds" (without the requirements of connectedness and second ...

**2**

votes

**1**answer

403 views

### When does a Shimura variety have contractible universal cover?

Disclaimer: I know very little about Shimura varieties.
Some Shimura varieties have a contractible universal covering space, for instance $A_g$ itself. Are there any nice necessary and/or sufficient ...

**3**

votes

**0**answers

542 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 ...

**24**

votes

**0**answers

474 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 ...

**1**

vote

**2**answers

441 views

### Generalized Quot-schemes

Given $S=\mathbb{P}^2$ and a locally free $O_S$-module $E$ of rank r and an integer $l\geq 1$. Then it is known that the scheme $Quot(E,l)$ is irreducible, due to Ellingsrud and Lehn. Here $Quot(E,l)$ ...

**2**

votes

**0**answers

212 views

### Projectivized Normal Cone to Satake Compactification

Let $\mathcal{A}_g$ be the moduli space of principally polarized abelian varieties over $\mathbb{C}$.
There exists a compactification, the Satake compactification, which is minimal and has the ...

**8**

votes

**1**answer

302 views

### Pullback along the Torelli map is an isomorphism

I've been told many times that the Torelli map $J:\mathcal{M}_g\to \mathcal{A}_g$ for ($g\geq 2$, and at least on the level of coarse moduli spaces, over $\mathbb{C}$) gives an isomorphism of Picard ...

**3**

votes

**1**answer

244 views

### notion of stability in a category

This is a question in general sense, but answers about specific examples are also welcome.
Why do we need the notion of stability of objects in a category. If we've a subcategory of stable objects, ...

**7**

votes

**1**answer

496 views

### Normality of a locus of points in projective space

Let $U_{d,n}\subseteq(\mathbb{P}^d)^n$ denote the locus of $n$-distinct points in projective space $\mathbb{P}^d$ that lie on a rational normal curve of degree $d$, and let $V_{d,n}$ denote its ...

**13**

votes

**1**answer

495 views

### Does a degeneration always have a larger-dimensional automorphism group?

Suppose $\newcommand{\X}{\mathcal{X}}\X$ is an algebraic stack over a field $k$, $\xi$ is a $k$-point which has another $k$-point $x$ in its closure ($x$ is an isotrivial degeneration of $\xi$). ...

**5**

votes

**1**answer

564 views

### Flat Principal Connections and Homotopy Groups?

I've come across a comment in a paper that hints at a relation between the set of (flat) connections for a principal bundle and the homotopy group of the base of the bundle. Can anyone tell me what ...

**19**

votes

**1**answer

736 views

### Conformal blocks vector bundles on $\overline{M}_{g}$ in terms of generalized theta functions?

Conformal field theory uses representation theory to produce various vector bundles on the Deligne-Mumford compactified moduli spaces $\overline{M}_{g}$ and $\overline{M}_{g,n}$, known as bundles of ...

**3**

votes

**1**answer

636 views

### Basic Questions about Teichmuller's theorem/quadratic differentials

I have some basic questions about Teichmuller's theorem, since I am a beginner, my questions might be very basic. If you can give some hints/answers or cite some references to study from, I will ...

**9**

votes

**2**answers

662 views

### Are representations of a linearly reductive group discretely parameterized?

Suppose $G$ is a linearly reductive group over a field (say $\mathbb C$). Does somebody know of a proof that any flat family of finite-dimensional representations of $G$ must be locally constant?
In ...

**6**

votes

**1**answer

470 views

### Proposition 3.93 of Harris-Morrison (rational classes on Deligne-Mumford moduli stack vs. rational classes on Deligne-Mumford moduli space)

Proposition 3.93 of Harris-Morrison's "Moduli of Curves" describes the relationship between rational divisor classes on the Deligne-Mumford moduli stack and rational divisor classes on the ...

**1**

vote

**2**answers

448 views

### Modular interpretation of an action of the linear group SL_2 on the cohomology of an elliptic curve

Let $E$ be an elliptic curve and $x,y \in H^1(E, \mathbb{Q})$ be a basis for the first rational cohomology group of $E$. There is an action of the linear group $SL_2(\mathbb{Q})$ on ...

**23**

votes

**1**answer

1k views

### How were moduli spaces defined before functors?

People today in algebraic geometry will typically define a moduli space to be the space which represents the functor of families of whatever object they are interested in studying.
However, I am ...

**10**

votes

**1**answer

558 views

### Can a rational family of genus-g curves have generic gonality? Can it be Brill-Noether general?

We know that M_g is general type for g large enough. In particular, the generic genus-g curve is not contained in a (non-isotrivial) rational family parametrized by P^1. In fact, the high-genus ...

**11**

votes

**2**answers

576 views

### Given a family of curves, when does there exist a fibered surface over Spec Z parametrizing them?

Let $X_p$ be a projective curve over the finite field $\mathbf{F}_p$ (i.e. a projective $\mathbf{F}_p$-scheme pure of dimension 1) for every prime number $p$. Let $X_\mathbf{Q}$ be a projective curve ...

**6**

votes

**3**answers

638 views

### Upper bounds for ranks of modular jacobians

The following question came to me earlier as a "side question"; something I'd like to know, but which is not totally necessary for what I'm thinking about or doing:
Consider the genus 32 curve ...

**6**

votes

**1**answer

1k views

### Which Riemann surfaces arise from the Riemann existence theorem?

The following was already known to Riemann. Suppose that one is given a connected Riemann surface $X$, a finite set $\Delta \subset X$ and a homomorphism $\phi: \pi_1(X \backslash \Delta) \to S_d$ ...

**12**

votes

**2**answers

464 views

### Is there Harer stability for moduli of curves with level structure?

The famous Harer stability theorem asserts that the homology group $H_d(\mathcal{M}_{g,n},\mathbf{Z})$ is independent of g and n in the range $0 \leq 2d < g-1$. This is proven by analyzing the maps ...

**4**

votes

**1**answer

353 views

### “extend a functor”

Hi,
I have probably a basic question. I have a functor $F: Sch \rightarrow Set$, an algebraic stack $M$ with a "universal family" $G\rightarrow M$ and a representability property like this: for every ...

**9**

votes

**4**answers

889 views

### Why does (Ribbon) Graph (co)Homology Compute (co)Homology of MCG?

The title says it all. I am looking for an explanation or reference for why the homology of the ribbon graph complex computes the cohomology of the mapping class groups of surfaces.
I've seen ...

**6**

votes

**1**answer

205 views

### What is the closure of product loci in A_g?

Let $A_g$ denote the moduli space of principally polarized abelian varieties of dimension $g$. For any partition of $g$, one can consider the corresponding locus inside $A_g$ of products of ...

**1**

vote

**1**answer

475 views

### What are the relative differential forms of a family of (nodal) curves?

What is the definition of relative differential forms of a family $\pi: X \to B$ of (nodal) curves, where $B$ is the base space.

**6**

votes

**1**answer

365 views

### Choosing tau for elliptic curves over the rational numbers with prescribed ramification data

Let $r>2$ and let $b_1,b_2,\ldots,b_r$ be in $\mathbf{P}^1(\mathbf{Q})$. Let $B$ be the divisor $$B:= \sum [b_i].$$ We consider this data to be fixed. For $d>1$, we define ...