**2**

votes

**1**answer

188 views

### Dimension of the linear system of $\psi$-class on $\bar M_{0;n}$

Consider the (Deligne-Mumford compactification of the) moduli space of complex rational marked curves $\overline M_{0;n}$. For each $i\in \{1,\ldots,n\}$ we can construct a line bundle $L_i$ with a ...

**9**

votes

**0**answers

332 views

### State of research in moduli space of flat connections

I am a recent PhD student trying to settle into a research topic. Even though I have a current project I am working on, I am not particularly enjoying it and would like to switch. Before braving the ...

**1**

vote

**1**answer

267 views

### Can the Albanese map be anything?

Sorry for the vague title. This question is about the Albanese map from the variety $M$ of canonically polarized varieties to the set of abelian varieties. (The variety $M$ is not of finite type...)
...

**4**

votes

**0**answers

300 views

### Possible automorphism groups of a K3 surface

Which finite groups are automorphism groups of polarized K3 surfaces (let's say over ℂ)?
...and does the answer change is I remove "polarized"?
(polarized = equipped with an ample line bundle)

**2**

votes

**1**answer

318 views

### There are many varieties with ample canonical bundle

Let $X$ be a smooth projective connected complex algebraic variety with ample canonical bundle. Let $h$ be the hilbert polynomial of the canonical bundle.
Why is the moduli stack of canonically ...

**2**

votes

**1**answer

235 views

### Rigidification and good moduli space (morphism) in the sense of Alper

Let $\mathcal{X}$ be an Artin stack. In "Abramovich, Graber, Vistoli - Twisted bundles and admissible covers", the authors describe a procedure to rigidify $\mathcal{X}$ by a central subgroup $H$ of ...

**8**

votes

**2**answers

449 views

### Proving that a generic variety with ample canonical bundle has no automorphisms

Let $X$ be a smooth projective connected variety over the complex numbers with ample canonical bundle. If $X$ is generic and $\dim X \leq1$, the automorphism group of $X$ is trivial, see for instance
...

**9**

votes

**1**answer

333 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

75 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

177 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

225 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

492 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

268 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

105 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

116 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

120 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

**1**answer

345 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

182 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

216 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

183 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

439 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

**1**answer

175 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

109 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

289 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

220 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

180 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

195 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

102 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

450 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

207 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

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

**2**answers

213 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

**1**answer

193 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

181 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

185 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

125 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

177 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

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

**13**

votes

**5**answers

780 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

**0**answers

166 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

173 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

708 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

160 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

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

**8**

votes

**1**answer

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

**0**answers

152 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

287 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

703 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

485 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

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