The moduli-spaces tag has no wiki summary.

**3**

votes

**0**answers

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

**5**

votes

**1**answer

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

**9**

votes

**4**answers

1k 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?

**2**

votes

**0**answers

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

**3**

votes

**1**answer

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

**1**

vote

**1**answer

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

**3**

votes

**1**answer

416 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

390 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

509 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

684 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

553 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

452 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

417 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

570 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

462 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

286 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

451 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

416 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

966 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

546 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

477 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

442 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

304 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

245 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

497 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

497 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

571 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

740 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

641 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

663 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

472 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

449 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

565 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

640 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$ ...