**9**

votes

**1**answer

399 views

### examples of “exotic” moduli problems for elliptic curves?

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as ...

**0**

votes

**0**answers

79 views

### Analogue of Knudsen clutching

Is there an analogue of Knudsen clutching for moduli stacks of "pointed" varieties?
I admit this question is not very precise. I'm really asking two questions though.
Are there analogues of the ...

**4**

votes

**0**answers

240 views

### stability of parabolic bundles beyond the Weyl alcove and Hecke transforms

When considering (quasi)parabolic vector bundles over a smooth complete curve $X$ with marked points $p_i$, it goes back to the foundational work of Seshadri and collaborators that one needs to ...

**1**

vote

**0**answers

271 views

### Complete curves in $M_g$ and Theta Characteristics

Let $g\geq 3$. Following the reference below, the locus of curves in $M_g$ with an effective even theta characteristic has codimension $1$. (Those are the curves $C$ with an effective line bundle $L$ ...

**1**

vote

**2**answers

572 views

### are moduli stacks deligne-mumford stacks in general

Let M be your favorite moduli stack over the field of complex numbers.
Is it reasonable to expect M to be a Deligne-Mumford stack?
I know this is true for the moduli space of curves of genus g, ...

**2**

votes

**2**answers

317 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

**0**answers

113 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

**1**answer

133 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

**1**answer

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

**4**

votes

**1**answer

473 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

**2**answers

206 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

**0**answers

223 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

**1**answer

203 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

**2**answers

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

**2**

votes

**1**answer

371 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

**0**answers

113 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

**3**answers

294 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

**2**answers

249 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

**1**answer

209 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

**1**answer

242 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

**0**answers

112 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

**3**answers

502 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

**0**answers

267 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

**1**answer

144 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

**2**answers

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

**2**

votes

**1**answer

224 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

**2**answers

205 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

**1**answer

208 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

**0**answers

146 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

**1**answer

217 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

**0**answers

237 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

**5**answers

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

**4**

votes

**0**answers

194 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

**0**answers

202 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

**0**answers

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

**1**answer

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

**2**answers

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

**13**

votes

**1**answer

3k 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

**0**answers

199 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

**2**answers

313 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

**3**answers

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

**2**answers

572 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

**1**answer

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

**8**

votes

**3**answers

719 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

**0**answers

117 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

**2**answers

248 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

**1**answer

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

**15**

votes

**1**answer

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

**0**answers

178 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

**0**answers

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