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

learn more… | top users | synonyms

2
votes
2answers
290 views

Is the moduli space of ppAVs smooth?

Let $A_g$ be the moduli space of principally polarised abelian varieties of dimension $g$ over the complex numbers. (EDIT: I mean the coarse moduli space.) Is this smooth? Since $A_g$ is the ...
3
votes
0answers
110 views

state of the art for kodaira dimension of $\overline{\mathcal{M}}_{g,n}$

What is the state of the art about the kodaira dimension (and rationality, unirationality, etc.) of the moduli spaces of $n$-pointed curves of genus $g$? When it is known and when not? It would be ...
1
vote
1answer
128 views

A $\mathbb{Q}$-rational canonical model for $X(N)$?

Before today, every source on the subject talks about algebraic models of the modular curve $X(N)$ over $\mathbb{Q}(\zeta_N)$, but in Ogg's paper "Rational Points on Certain Elliptic Modular Curves", ...
1
vote
1answer
123 views

reference request for the finiteness of cuspidal subgroup of $X_0(N)$?

I've seen stated offhand in many sources that the cuspidal subgroup of the Jacobian of $X_0(N)$ is finite. Do they mean that the subgroup of the jacobian generated by $\mathbb{Q}$-rational cusps is ...
3
votes
1answer
371 views

Is there an elliptic surface over $Y(1)$?

Actually I have a few related questions. Here, by $Y(1)$ I mean the affine $j$-line $\text{SL}_2(\mathbb{Z})\backslash\mathcal{H}$. I know $Y(1)$ is only a coarse moduli space, so there isn't a ...
2
votes
2answers
193 views

smooth modular compactification of moduli of curves

Is there a smooth modular compactification of the moduli space of smooth curves of genus $ g > 1 $ over $ \mathbb{C} $? I am willing to allow for enrichments such as level structures. The ...
1
vote
0answers
220 views

lifts of maps to $\mathcal{M}_{1,1}$

Hi, here's there's a construction about elliptic curves that I do not completely understand. Suppose I consider the two following families of elliptic curves over $\mathbb{C}^*$. The first, which I ...
0
votes
1answer
190 views

universal families and maps to quotient stacks

Suppose I have a certain (contravariant) moduli functor $M:Schemes \to Groupoids$ that is represented by a quotient stack $[X//G]$ where $X$ is a scheme and $G$ a linearly reductive group. Roughly ...
5
votes
2answers
462 views

Passage from the moduli functor to the functor of points of the coarse moduli space

Let $F: (Sch)^{o}\to (Set)$ be a functor that admits a coarse moduli $Y$ (a scheme). We can consider $Y$ as a representable functor $h_{Y}: (Sch)^{o}\to (Set)$. Is there a direct way to produce $h_Y$ ...
1
vote
1answer
208 views

Trigonal curves of genus three: can their Galois closure be non-abelian

Let $X$ be a curve of genus three which is not hyperelliptic. Then $X$ is trigonal, i.e., there exists a finite morphism $X \to \mathbf P^1$ of degree $3$. Let $Y\to X \to \mathbf P^1$ be a Galois ...
2
votes
0answers
111 views

Family with a fixed special fiber over finite fields

Let $X$ be a smooth projective variety over a finite field $\mathbb{F}_p$. What are the conditions for the existence of a projective variety $X'$ over $\mathbb{Q}_p$ such that $X$ is a special fiber ...
3
votes
3answers
291 views

families of curves on surfaces which are products of curves

Let $C$ be a projective curve (over an algebraically closed field) of genus $\geq 1$. Let $S = C \times C$. By normalisation we have a ramified cover $C \to \mathbb{P}^1$ and so a map $p: S \to ...
1
vote
2answers
233 views

one “big” Hilbert scheme?

I was recently reading one of the papers of Kapranov on $\mathcal{M}_{0,n}$ and he says that one can see it as a subvariety of the Hilbert scheme parametrizing all subschemes of a certain projective ...
1
vote
1answer
196 views

Can one determine the local structure of a moduli space of bundles just by knowing the Ext-groups?

Assume $X$ is a smooth projective scheme over some algebraically closed field $k$. Let $M_1$ and $M_2$ be two moduli spaces of vector bundles on $X$. The first space contains just one point, this ...
0
votes
1answer
208 views

The locus where a sheaf is supported in a certain dimension

I am trying to understand a particular case of this question. Let $T$ be an affine scheme of finite type over the ground field C. Let $X \to T$ be a morphism. I'll assume this to be the base change ...
1
vote
0answers
105 views

Maximally unipotent monodromy point of a K3 surface

I have a question on maximally unipotent monodromy point (or large complex structure limit) of the family of polarized K3 surfaces $(X,L)$. It is known that the moduli space of such pair is given by ...
6
votes
3answers
466 views

examples of moduli functors for which coarse moduli space does not exists

Well, the title almost says it all. I would like to list as many examples as possible of moduli functors, for which a coarse moduli space does not exist (and maybe explain why). So, examples such as ...
3
votes
0answers
231 views

Stack of vector bundles (on a curve) over a strictly semi-stable point of the moduli space

Consider the stack $Bun_{r,d}^{ss}$ of rank $r$ semi-stable vector bundle of degree $d$ over a fixed curve. There exists also a coarse moduli space $M$ built via GIT. Over the stable locus of $M$ it ...
2
votes
1answer
143 views

does there exist a family of objects over the tangent space to the base space of a family of objects?

Suppose we have a family of objects $\Xi \to S$ over a base smooth projective scheme $S$. Take a closed point $p\in S$ and consider the tangent space to $S$ at $p$. Can one construct an "induced ...
1
vote
2answers
247 views

Classification of first order deformations of n-pointed non-singular variety

Why is the set of first order deformations equal to $H^1(X,T_{X}(-p_1 -p_2 ... -p_k))$? And what is the motivation for studying this? (I know the proof for unpointed curves, which can be found in a ...
1
vote
1answer
204 views

Singular locus of a Hilbert scheme

Consider the Hilbert scheme $H$ of conics in $\mathbb{P}^3$. It is easy to see that there exists a closed subscheme $H'$ of $H$ parametrizing $2$ lines intersecting at a point. This can be seen as the ...
3
votes
2answers
189 views

blow up of segre primal and $\mathcal{M}_{0,6}$

The segre cubic primal $X\subset P^4$ is the GIT quotient of 6 points on $P^1$. Let $M_{0,6}$ the DM compactification of the moduli of 6-pointed rational curves. The Segre primal $X$ is a cubic 3-fold ...
1
vote
1answer
192 views

glueing flat families of objects over a blow-up

Hi Everybody, I stumbled upon the following question for families of vector bundles (over a curve) but I guess it could be interesting to answer in general. Suppose I have $B$ the blow-up of a ...
3
votes
0answers
142 views

VHS for universal family of false elliptic curves

If $f: X \rightarrow C$ is the universal family of false elliptic curves (i.e. abelian surfaces $A$ such that $End(A) \otimes \mathbb{Q}$ is a totally indefinite quaternion algebra over $\mathbb{Q}$), ...
5
votes
1answer
194 views

Moduli space of genus 1 curves with two fixed points

It is well-known, that the moduli space $\mathcal M_{1;1}$ of elliptic curves is isomorphic to an orbifold space $(S_3\times S_2) \backslash\backslash \mathcal M_{0;4}$, where the first factor of the ...
2
votes
0answers
215 views

Which curves cut the Hyperelliptic locus?

Consider the moduli space $\mathcal{A}_{g,n}$ of abelian varieties with some level $n \geq 3$ structure. For simplicity, we just denote it by $\mathcal{A}_{g}$ and drop $n$. Denote the locus of ...
14
votes
5answers
847 views

Arithmetic dynamics and dynamics on moduli spaces

The following question is more of a request for pointers to suitable literature on introductory material for arithmetic dynamics and dynamics on moduli spaces. In my dissertation, I have been ...
3
votes
0answers
185 views

Does the Albanese map satisfy Torelli's theorem

Let $M_h$ be the moduli space of canonically polarized varieties with Hilbert polynomial $h$. Let $M_h \to A_g$ be the Albanese map, with $g$ an integer which depends on $h$ and $A_g$ the moduli space ...
5
votes
0answers
183 views

Is the moduli space of genus three smooth quartics affine?

Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine? I think this follows from a more general result on smooth complete intersections, but I'm ...
11
votes
0answers
886 views

conformal blocks for beginners

I have given now a couple of talks that involve conformal blocks bundles on the moduli stack $\overline{\mathcal{M}}_{g,n}$, in front of a public of algebraic geometers but not specialists of the ...
4
votes
1answer
161 views

is there some condition I can impose on families of curves on a surface such that the second Ext between the ideal sheaf and the structure sheaf is zero?

(the title got out of hand) Say I have a surface $X$, then I also have M, the Hilbert scheme of curves and points on X. This can be seen as a moduli space of quotients $O_X \to O_Z$. If $I_Z$ is the ...
6
votes
2answers
598 views

Tangent space of the stack $\overline{\mathcal{M}}_{g,n}(X,\beta)$.

Let $\overline{\mathcal{M}}_{g,n}(X,\beta)$ be the moduli stack of stable maps $f$ from genus $g$, $n$-marked curve $C$ to a variety $X$ i nth curve class $\beta \in H^2(X,\mathbb{Z})$. I would like ...
10
votes
1answer
2k views

What is “Teichmüller Theory” and its history ?

What is "Teichmüller Theory" ? What part has been worked out / forseen by O. Teichmüller himself and what is further development ? Is there some current work which might be considered as ...
0
votes
0answers
175 views

Normal sheaf of non-reduced locally complete intersection space curves

Let $C$ be a non-reduced locally complete intersection curve on a smooth degree $d$ surface in $\mathbb{P}^3$ (for example a non-reduced Cartier divisor). For simplicity we can assume that ...
1
vote
2answers
295 views

Isotrivial K3 family and Picard number

Is it true that any family of K3 surfaces over $\mathbb{C}$ whose Picard number is constant is isotrivial? Here isotrivial means locally analytically trivial. Speculation: Let $\mathcal{M}$ be the ...
12
votes
3answers
857 views

What is the DGLA controlling the deformation theory of a complex submanifold?

Let $X$ be a complex manifold, $Y\hookrightarrow X$ a complex compact submanifold. Let $T_{X/Y}$ denote the normal bundle of $Y$ in $X$, and $\mathcal{O}(T_{X/Y})$ its sheaf of holomorphic sections. ...
6
votes
2answers
498 views

Questions on theorem in Deligne-Mumford's '69 Paper: $\omega_C^n$ is very ample $n\geq 3$

I'm working through the details of Deligne and Mumford's 69' paper, "The Irreducibility of the Space of Curves of Given Genus", and I had a few quick questions: 1) On p. 77, they claim that for $x$ a ...
5
votes
1answer
320 views

How does a moduli interpretation give an analytic object an algebraic structure?

I remember hearing this in other contexts, but I encountered it again when reading Elkies' paper "Shimura Curve Computations", where on page 10, he says that: "We now return to the Shimura curves ...
7
votes
3answers
670 views

The use of Hall algebras in physics

I once read a statement (not memorized precisely) that a certain physics quantity between two states of charge $d_1$ and $d_2$ respectively could be computed by running over the states of charge ...
0
votes
0answers
115 views

morphisms in the construction of the moduli space of curves by mumford

Hi fellow mathematicians, I'm just studying mumfords proof of the existence of a coarse modulispace for curves of genus $g$in his great GIT book. On page 102 (in the proof of proposition 5.2) he ...
6
votes
2answers
243 views

Rational curved lying in the boundary of Deligne-Mumford compactification $\bar M_g$

Let $\bar M_g$ be the Deligne-Mumford compactifiction of the moduli space of complex genus $g$ curves $M_g$. Is this correct that through every point of the boundary $\bar M_g\setminus M_g$ passes a ...
0
votes
1answer
109 views

Regular (or complex analytic) functions on M_3

Let $M_3$ be the moduli space of genus three curves over $\mathbb C$. Are there non-constant regular functions of this space? What about complex analytic functions? This question is prompted by the ...
14
votes
1answer
947 views

Does the moduli space of genus three curves contain a complete genus two curve

Inspired by the question Does the moduli space of smooth curves of genus g contain an elliptic curve and its amazing answers, I ask (pure out of curiosity) whether the moduli space $M_3$ of (smooth ...
2
votes
0answers
163 views

Possible slope for a modular form

Let $f\colon \mathbb{H}_g \to \mathbb{C}$ be a Siegel modular form of weight $k$ with respect to $\Gamma_g$. Then, $f$ admits a Fourier expansion $f(Z) = \sum_T a(T) \exp(i\pi \mathop{tr} TZ)$, where ...
1
vote
0answers
161 views

Moduli Space of an Algebraic K3 surface with singularities.

Suppose that $X$ is an algebraic K3 surface (say polarized). If the singular divisor of $X$ is normal crossing... Do we have a moduli space parametrizing such $K3$ surfaces? If yes do we have a ...
5
votes
1answer
321 views

kapranov's realization of $\overline{M}_{0,n}$ over other fields

Kapranov gave a very nice desciption, over $\mathbb{C}$ of the moduli space of stable pointed rational curves $\overline{M}_{0,n}$ as a series of blow-ups of $P^{n-3}$. Does this, or a similar result, ...
5
votes
1answer
326 views

Genus 2 curves vs Abelian surfaces

In the Satake compactification of abelian surfaces we have the following degeneration of a family of abelian surfaces in $\mathbf{H}_2$ $lim_{t \to \infty}\begin{pmatrix} it & b \\\ b & ...
18
votes
2answers
735 views

What's “bad” about unstable sheaves?

To construct a (coarse or fine) moduli space that is separated, one usually throw away some class of the object in question. For moduli of sheaves people talk about (semi-)stability. A coherent sheaf ...
6
votes
1answer
291 views

on a Deformation long exact sequence of moduli space of stable maps

I am reading the book "mirror symmetry" by Hori,Katz,Klemm,etc. And I want to understand the following Deformation long exact sequence \begin{align} 0 & \to Aut(Σ, p_1, . . . , p_n, f)\to Aut(Σ, ...
10
votes
1answer
322 views

What is the Brauer group of the moduli space of (p.p.) abelian varieties?

What is the Brauer group of the moduli space of principally polarized abelian varieties of a given dimension? I am primarily interested in the "open" moduli space, i.e. not a compactification. The ...