**5**

votes

**2**answers

493 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

352 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

293 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

242 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

203 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

233 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

110 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

493 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

257 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

281 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

217 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

201 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

203 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

145 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

209 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

234 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

937 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

192 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

194 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

756 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

190 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

308 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

560 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

325 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

703 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

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

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

175 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

170 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

**1**answer

336 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

**1**answer

340 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

**2**answers

743 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

**1**answer

335 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

**1**answer

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

**4**

votes

**2**answers

416 views

### What does this quotient of the upper half plane parametrize?

Let $G(N)$ be the congruence subgroup
$\big\{ \begin{pmatrix} a&b \\ c&d \end{pmatrix} \in SL_2(\mathbb{Z}) \ \ | \ \ a \equiv d \mod N \textrm{ and } b \equiv c\equiv 0 \mod N \big\}$.
...

**4**

votes

**0**answers

254 views

### Reference request: virtual fundamental class of moduli of stable maps

Let $f:U\longrightarrow \overline{M}_{0,n}(\mathbb{P}^m,d)$ is the universal family with morphism $\pi:U\longrightarrow\mathbb{P}^m$ and let $X\subset\mathbb{P}^m$ be a hypersurface defined by a ...

**0**

votes

**1**answer

509 views

### base-point free linear system

Let $C$ be a reduced curve in a smooth degree $d$ ($d \ge 5$) surface in $\mathbb{P}^3$. Suppose $C=C_1 \cup ... \cup C_r$ with $C_i$ irreducible and $C_i^2<0$ for all $i$. Then is the linear ...

**4**

votes

**0**answers

267 views

### Applications of moduli of curves theory

Are there some applications of moduli of curves theory? I was wondering if moduli of curves theory is used (or could be used) for doing research in applied mathematics.
I am doing my PhD in algebraic ...

**7**

votes

**3**answers

782 views

### Families of ideal sheaves: What's the correct definition?

I'm looking at Bridgeland's paper "Flops and Derived categories" and I got confused on what he meant by a family of ideal sheaves.
Let $Y$ be a scheme, and let $S$ be another scheme. A family of ...

**2**

votes

**1**answer

309 views

### Deformation of space curves to union of lines

Does every irreducible component of a Hilbert scheme of curves in $\mathbb{P}^3$ contain a curve that is a union of lines (not necessarily reduced)? Furthermore, given a curve $C \subset \mathbb{P}^3$ ...

**5**

votes

**1**answer

514 views

### Complex structures on a K3 surface as a hyperkähler manifold

A hyperkähler manifold is a Riemannian manifold of real dimension $4k$ and holonomy group contained in $Sp(k)$. It is known that every hyperkähler manifold has a $2$-sphere $S^{2}$ of complex ...

**0**

votes

**0**answers

149 views

### Maximum number of generators of a curve in $\mathbb{P}^3$

Let $H_{d,g}$ denote the Hilbert scheme of curves of degree $d$ and genus $g$ locally of complete intersection in $\mathbb{P}^3$. Given a curve $C \in H_{d,g}$, denote by $S(C)$ a minimal set of ...