**4**

votes

**0**answers

135 views

### Topology of the space of foliations on a 3-manifold

Denote by $\mathcal{P} (M)$ the space of smooth plane fields(oriented and transversely oriented) on a given closed and orientable 3-manifold $M$ with the $C^{\infty}$ topology, and by $\mathcal{F}(M)$ ...

**0**

votes

**0**answers

72 views

### About stable maps passing through fixed points

In "Notes On Stable Maps and Quantum Cohomology", Fulton and Pandharipande present some results, and their proofs, about the representability of the functor $\mathcal{M}_{g, n}(X, \beta)$, which maps ...

**14**

votes

**3**answers

413 views

### Which mapping class group representations come from algebraic geometry?

Let $\Gamma_g$ be the mapping class group of a closed oriented surface $\Sigma$ of genus $g$. There is a natural surjection $t \colon \Gamma_g \to \mathrm{Sp}(2g,\mathbf Z)$ which sends a mapping ...

**8**

votes

**4**answers

336 views

### Is there a non-abelian version of the Torelli map?

Let $C$ be a connected compact oriented real surface of genus $g$, let $G$ be a connected compact Lie group and let $G_\mathbb{C}$ be the complexification of $G$. One considers the moduli space $M ...

**14**

votes

**1**answer

355 views

### Special fiber of $X(p)$ in characteristic $p$

Let $p \geq 5$ be a prime. Let $Y(p)$ be the fine moduli space representing elliptic curves + basis of the $p$-torsion over $\mathbb{Q}_p$ and let $Y_1(p)$ be the fine moduli space representing ...

**27**

votes

**1**answer

764 views

### Why is there no Brauer scheme?

Let $X$ be a proper scheme over a base field $k$ (one could consider more general settings, but I am primarly interested in a "geometric" situation with $k$ being algebraically closed).
Then the ...

**9**

votes

**3**answers

239 views

### Locus of complete curves on $\mathcal M_g$

Is the union of the complete curves on $\mathcal M_g$ Zariski dense? ($g \gg 0$)
I know it is hard to find higher-dimensional complete subvarieties of $\mathcal M_g$, but a quasiprojective variety ...

**-2**

votes

**0**answers

31 views

### How does one define the universal curve over the moduli space of stable curves [migrated]

In relation to the Prym class. How does one define the universal curve $\pi:\bar{\mathcal{C}_g}\longrightarrow\bar{\mathcal{M}_g}$ for genus $g\geq 2$ and their dualizing sheaf $\omega_g$.

**2**

votes

**2**answers

262 views

### What is the difference between the moduli space of curves and the moduli space of orbi-curves?

Edit: In my original framing of this question it was not so clear what I was looking for, so this is basically a re-write.
I feel that I should already know the answer to this, but it never sits ...

**7**

votes

**2**answers

292 views

### Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...

**4**

votes

**0**answers

166 views

### Moduli interpretation of Eisenstein series

Let $N \geq 11$ be an integer and consider the basis of Eisenstein series for $M_2(\Gamma_0(N))$ described in Theorem $4.6.2$ of Diamond--Shurman's book. Pick and Eisenstein series $F$ in this basis. ...

**4**

votes

**0**answers

130 views

### Moduli interpretation of Hecke operators on Shimura curves

In his book on Automorphic Forms, Shimura gives (chapter 9) definitions of the the Hecke operators for Shimura curves.
One can give definitions of the Hecke and Atkin-Lehner operators in terms of the ...

**2**

votes

**0**answers

116 views

### Symplectic form on moduli space of connections

Let $M$ be the moduli space of flat $GL(n,\mathbb{C})$ connections on a compact oriented surface, and $\alpha$ the natural symplectic form on it.
Is there any known construction of a bundle with a ...

**4**

votes

**0**answers

108 views

### On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces

There are many results on the cohomology of the Hilbert scheme of points of a surface.
Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also
there are results ...

**10**

votes

**4**answers

696 views

### Soft question: beginners reference to moduli spaces

What is a geometrically intuitive yet reasonably general first introduction to the theory of Moduli spaces?
(Possibly introducing stacks also)?
I'm looking for something which really gets the pictures ...

**2**

votes

**1**answer

141 views

### On the generating series of degree $d>1$ Gromov-Witten invariants of the local $\mathbb P^1$

Let $N$ be the total space of the vector bundle $\mathscr O_{\mathbb P^1}(-1)\oplus \mathscr O_{\mathbb P^1}(-1)$ over $\mathbb P^1$, and let $C_0\subset N$ be the zero section. Then $N$ is a ...

**4**

votes

**1**answer

115 views

### Canonical bundle of moduli space of rational curves and automorphisms

Let $\overline{M}_{0,n}$ be the usual Deligne-Mumford compactification of $M_{0,n}$ the moduli space of smooth $n$-pointed rational curves.
The canonical divisor $K_{\overline{M}_{0,n}}$ can be ...

**0**

votes

**0**answers

27 views

### singular locus of $\mathcal{A}_3(2)^{hyp}$

The geometry of the Satake compactification of $\mathcal{A}_2(2)$ is very well known. It is the singular quartic 3-fold in $P^4$ known as $Igusa\ quartic$. I am looking for references (or ...

**4**

votes

**2**answers

216 views

### Non trivial family of hyperelliptic curves

Let $X$ ba a smooth hyperelliptic curve of genus $g$, and let $f:X\rightarrow X$ be the hyperelliptic involution. Consider a $K3$ surface $S$ with an involution $g$ without fixed points. The quotient ...

**2**

votes

**1**answer

140 views

### deformations of vector bundles on curves

Let $X$ be a smooth algebraic curve. Suppose I have a flat family $V_y\to X$ of vector bundles on $X$ over an affine scheme $S$. Let $p=Spec(k)$ be one geometric point of $S$. If the determinant of ...

**4**

votes

**1**answer

248 views

### The space of varieties between two given varieties

Let $\mathbf{P} = \mathbf{P}^n(k)$ be the $n$-dimensional projective space over a field $k$, let $A, B$ be projective varieties in $\mathbf{P}$ such that $A \subset B$. Now define
$V(A,B)$ to be the ...

**5**

votes

**2**answers

211 views

### Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms.
Here I am wondering if there is a philosophical explanation about why the supersingular locus ...

**1**

vote

**0**answers

51 views

### symmetric theta structures and arithmetic subgroups

A symmetric theta structure is a theta structure that commutes with (a lift of) the natural involution $\imath: A \to A$ an an abelian variety. For simplicity I will assume that $A$ is a surface.
...

**0**

votes

**1**answer

119 views

### Open subset of the moduli space of stable sheaves on a noetherian scheme

This is my question:
Given a projective noetherian scheme $X$, the structural sheaf $\mathcal{O}_X$ is a coherent sheaf, so every locally free sheaf is coherent. This means that the family of stable ...

**2**

votes

**0**answers

79 views

### Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature.
To be more clear let me explain the example I have in mind.
Let ...

**9**

votes

**1**answer

305 views

### Easiest example where field of definition is not field of moduli

There are many examples of varieties over $\overline{\mathbb Q}$ whose field of moduli is $\mathbb Q$ but which can't be defined over $\mathbb Q$. What is the easiest such example? It should be a ...

**2**

votes

**1**answer

216 views

### Open covering of the Hilbert functor of points

Let $R \to A$ be a homomorphism of commutative rings. Define the functor $$\mathrm{Hilb}^n_{A/R} : \mathsf{CAlg}(R) \to \mathsf{Set}$$ as follows: If $B$ is a commutative $R$-algebra, then ...

**0**

votes

**0**answers

66 views

### Do principally polarized abelian varieties enjoy a genus expansion?

This is a vague question from an interested outsider:
It is well known that abelian varieties which arise as Jacobian of a curve (or a bit more general as Prym variety) are distinguished by the fact ...

**2**

votes

**0**answers

161 views

### Can Kuranishi families glue together to give a moduli space?

In his article "Moduli spaces of vector bundles on K3 surfaces and symplectic manifolds", Mukai constructs moduli of simple sheaves on a K3 surface through a theorem that asserts the existence of a ...

**11**

votes

**0**answers

188 views

### What is the lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?

I want to know about low-weight Galois representations in $H^i(\overline{\mathcal M}_{g,n}, \overline{\mathbb Q}_\ell)$ that aren't cyclotomic. This should be equivalent to finding $p,q$ such that ...

**1**

vote

**1**answer

163 views

### Classification (and automorphisms) of torsion-free modules/sheaves

I would like to know what can be said about the classification of torsion-free modules.
For my purposes, we can assume that $R$ is the function ring of a smooth affine variety over a field. How does ...

**2**

votes

**1**answer

182 views

### Moduli of curves in characteristic zero

Let $K$ be a field of characteristic zero, and let $\overline{K}$ be its algebraic closure. Let $\overline{M}_{g,n}(K)$ and $\overline{M}_{g,n}(\overline{K})$ be the coarse moduli spaces parametrizing ...

**0**

votes

**1**answer

117 views

### Any no-zero homomorphism of holomorphic vector bundles over a compact Riemann surface factors through a maximal rank homomorphism

I was reading the paper "Stable and Unitary vector bundles on a compact surface" by Narashiman and Seshadri.
I quote from the paper-
Can someone please explain how does any non-zero homomorphism ...

**6**

votes

**1**answer

523 views

### Kodaira-Spencer theory of deformation done right

I thought in asking this question on Math StackExchange, but by my experience I don' t think anyone will notice me. Recently, I started studying deformation of complex manifolds in the sense of ...

**2**

votes

**1**answer

83 views

### Units of Endomorphism Rings of Jacobian Varieties with Real Multiplication

Let $(A,a)$ be a principally polarised (with indecomposable polarisation) Abelian variety over $\mathbb C$. Assume that End(A) contains an order $R$ of a totally real number field of degree $>1$ ...

**3**

votes

**2**answers

230 views

### Families of Fano varieties over non-hyperbolic curves

Let $C$ be a non-hyperbolic (smooth quasi-projective connected complex algebraic) curve. That is, $C$ is isomorphic to $\mathbb P^1, \mathbb A^1, \mathbb G_m$, or an elliptic curve.
Let $f:X\to C$ be ...

**2**

votes

**1**answer

126 views

### Connectedness of moduli of hypersurfaces

Let $M$ be the coarse moduli space of smooth connected hypersurfaces of degree $d$ in some fixed smooth projective variety $X$.
If $X$ is projective space, it is easy to see that $M$ is connected. ...

**2**

votes

**0**answers

87 views

### Moduli space of sheaves on a ribbon

In the paper "A non-linear deformation of the Hitchin dinamycal system", Donagi-Ein-Lazarsfeld describe the irreducible components of the moduli space $\mathcal M_R$ of stable sheaves of numerical ...

**1**

vote

**0**answers

54 views

### some intuition about the degree of a map

Consider a map
$$ f: \Sigma \to X/\sigma,$$
where $\Sigma=\Sigma_g/\Omega$ is a quotient of a Riemann surface by an antiholomorphic involution,
$\sigma:X\to X$ is an antiholomorphic involution
of some ...

**2**

votes

**0**answers

49 views

### Characterisation of convergence in Deligne-Mumford compactifiaction

1) Is there a (simple) way to characterise the convergence of complex curves toward a stable curve in term of hyperbolic metrics for the Deligne Mumford compactification of the moduli space of complex ...

**2**

votes

**0**answers

215 views

### Beautiful curves in Gromov-Witten theory, and in Donaldson-Thomas theory

Let $X$ be a smooth complex projective threefold, and $\beta\in H_2(X,\mathbb Z)$ a curve class. In the Kontsevich's moduli space of stable maps, $\overline M_g(X;\beta)$, a general point $[f:C\to X]$ ...

**5**

votes

**1**answer

155 views

### Reference request: maps between moduli spaces

I want to understand the relationship between moduli spaces as we vary the different parameters. I'll focus on the moduli space ${\mathcal M}_{g,n}(X,\beta)$ of stable maps from genus $g$ curves with ...

**2**

votes

**1**answer

128 views

### Parameter estimation using bayesian update on moduli space?

Scientists take a set of data points, say in ${\mathbb R}^2$, and, assuming that this data should fit a polynomial of degree $d$ (or an exponential, etc.), they estimate parameters.
I would think ...

**10**

votes

**1**answer

260 views

### Why is the kth cohomology group of the DM-compactification of the moduli space of curves pure of weight k?

I'm trying to understand the paper
Arbarello, Enrico, Cornalba, Maurizio,
Calculating cohomology groups of moduli spaces of curves via algebraic geometry.
Inst. Hautes Études Sci. Publ. Math. No. 88 ...

**3**

votes

**1**answer

179 views

### Intersection theory on M_{g,n}

Is there a paper\book that lists the top intersections of Hodge classes and tautological classes on $\overline{\mathcal{M}}_{g,n}$ for small $g$ and $k$, e.g. $g=2,3$ and $k=0,1,2$ ?

**1**

vote

**0**answers

60 views

### Ampleness of the Canonical Bundle for Siegel Modular Varieties

Background
Throughout I only work with varieties over $\mathbb{C}$.
For $p$ a prime number, Let $Y(p)$ denote the modular curve parametrizing elliptic curves together with full $p$-torsion ...

**3**

votes

**0**answers

335 views

### A quotient stack question

Let $X$ be a proper Deligne-Mumford stack, whose normalization, $X'$, is a global quotient stack (that is, a stack of the form [W/GL_n],where W is an algebraic space) with a projective scheme as a ...

**2**

votes

**0**answers

207 views

### Cech cohomology.

Let us consider the scheme $X$ and the coherent sheaf $\cal F$ on it. We consider finitely many affine open covers $U_{\lambda}$ with $\lambda \in \Lambda$. When I calculate Cech cohomology with ...

**7**

votes

**2**answers

364 views

### Why do parameter spaces (often) behave like what they parameterize?

From the my limited experience it seems that often a parameter space (miraculously) has some of the properties of the elements it parameterizes. For example:
The parameter space of all plane conics ...

**2**

votes

**0**answers

166 views

### bijection of moduli space of equivariant holomorphic embeddings

Consider the moduli space $\mathcal{M}$ of equivariant holomorphic embeddings of closed oriented Riemann surfaces into a generic quintic three-fold $X$ in $\mathbb{P}^4,$ of given degree $d \in ...