Tagged Questions

The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
105 views

Which one is the correct assertion in the end? (projectivity of moduli of polarized varieties)

I randomly came across a 2007 article by Kollár in which the author makes a mathematical statement and explicitly states that it is in contradiction with a result contained in a 2004 article by ...
3
votes
0answers
137 views

Deligne-Mumford moduli spaces and compactification of symmetric matrices

The real Deligne-Mumford moduli space $\bar M_{0,n+1}(\mathbb R)$ of stable genus zero curves with $n+1$ marked points is a compactification of the space of configurations of $n$ distinct ordered ...
2
votes
1answer
127 views

stable vector bundle and space surves

I am sure this is well known, but I am not an expert...so I appreciate any help Let $C \subset \mathbb{P}^3$ be the complete intersection of two hypersurfaces of degree $d_1$ and $d_2$. Let ...
5
votes
1answer
171 views

Maps from the moduli space of abelian surfaces with level stucture to curves

Let $A_2(N)$ denote the moduli space of principally polarized abelian surfaces with level $N$ stucture. The absolute Igusa invariants $i_1$ $i_2$ and $i_3$ give three different maps from $A_2(1)$ to ...
1
vote
1answer
116 views

divisors on $\overline{\mathcal{M}}_{g,n}$ that are trivial on certain $F$-curves

Inside the moduli space of curves $\overline{\mathcal{M}}_{g,n}$ one can distinguish two classes of $F$-curves isomorphic to $\mathbb{P}^1$: those of type $\overline{\mathcal{M}}_{0,4}$, and those of ...
7
votes
1answer
255 views

Singularities of moduli spaces of curves

Let $\overline{M}_{g,n}$ be the moduli space of $n$-pointed genus $g$ Deligne-Mumford stable curves. This is a normal projective scheme. Then $$codim_{\overline{M}_{g,n}}Sing(\overline{M}_{g,n})\geq ...
1
vote
2answers
270 views

The variety associated to moduli space

Let $M$ be a (fine) moduli space which parametrizes certain varieties (The moduli space in my mind is the moduli space of abelian surfaces with certain polarization -- but I don't know what is the ...
10
votes
0answers
362 views

Katz--Mazur for abelian varieties

Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties. Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac ...
2
votes
0answers
115 views

Are there any results on stable maps to Artin stacks with infinite stabilizers?

The Abramovich-Vistoli/Chen-Ruan theory of twisted stable maps into Deligne-Mumford stacks is extremely useful, as is the generalization to tame Artin stacks in positive characteristic. I am ...
0
votes
0answers
117 views

Action on C[[X,Y]]/f(X,Y) giving complete intersection quotients

Let $R \colon\!= {\Bbb C}[[X,Y]]/(f(X,Y))$ be a complete local ring of Krull-dimension $1$. Assume that we have an action of $\Bbb Z$ on $R$ such that fixed elements by $\Bbb Z$ in $R$ are only ...
8
votes
0answers
254 views

Lie algebras vs. graph complexes

A ribbon graph is a graph in which every vertex has valence at least three and is equipped with a cyclic ordering of its adjacent half edges. The ribbon graph complex $\mathcal{G}_*$ is the chain ...
13
votes
1answer
545 views

Number of curves over a finite field

Let $K$ be a finite field. Is there a formula for the number of isomorphism classes of genus $g$ smooth curves over $K$? In other words does there exists a formula for the number of rational points ...
2
votes
1answer
339 views

Connected cycles of Shimura curves in $A_{g}$ not contained in larger Shimura subvarieties

Is there always a finite family of Shimura curves $(C_{i})$ in $A_{g}$ the moduli space of principally polarized abelian varieties of dimension $g(\geq 2)$, such that the union $\cup C_{i}$ is ...
4
votes
2answers
180 views

A question on the existence of the quotient of the Hilbert scheme of tricanonical curves

In order to construct the coarse moduli scheme of smooth projective curves of genus $g$, the classical results of Mumford (using the numerical criterion of stability) say that for large enough $m$, ...
10
votes
1answer
485 views

Moduli space of motives vs moduli space of varieties

A (projective) abelian variety $A$ over the complex numbers is determined by $H^1(A,\mathbb{Z})$ together with its Hodge structure and polarization. This miracle means that one can parametrise ...
2
votes
2answers
248 views

Connections on the Hodge bundle?

Let $\mathcal{M}_g$ be the moduli space of curves of genus $g$. Consider the holomorphic bundle $\mathcal{H}^k\rightarrow\mathcal{M}_g$ whose fiber over a curve $C\in\mathcal{M}_g$ is the space of ...
3
votes
2answers
233 views

spin bundle vs. hodge bundle

Let $\overline{\mathcal{M}}^r_{g,n}$ the space of $n$ pointed $r$-stable curves of genus $g$, endowed with a root of the canonical sheaf, and let $\mathcal{C} \to \overline{\mathcal{M}}^r_{g,n}$ be ...
2
votes
1answer
418 views

${\rm Ext}^1$ and extensions of line bundles on a curve

I am confused about the following. I know that for two line bundles $L_1, L_2$ on an algebraic curve $C$ the vector space ${\rm Ext}^1(L_1,L_2)$ classifies isomorphism classes of rank two vector ...
1
vote
1answer
141 views

Moduli spaces admitting birational morphisms over moduli spaces of curves

There are many alternative compactifications of $M_{g,n}$ which live naturally under the classical Deligne-Mumford compactification $\overline{M}_{g,n}$. For instace the moduli spaces of weighted ...
0
votes
1answer
167 views

Canonical bundle of the moduli space of curves

By the pointed canonical bundle formula the canonical bundle of $\overline{M}_{g,n}$ is given by $$K_{\overline{M}_{g,n}} = 13\lambda+\psi-2\delta-\sum_{I}\delta_{1,I}$$ where $\lambda$ is the Hodge ...
1
vote
1answer
243 views

Kodaira dimension of the moduli space of curves

It is known that the moduli space $\overline{M}_{g}$ of genus $g$ curves is of general type for $g\geq 24$. By Theorem 2.4 of Logan, Adam The Kodaira dimension of moduli spaces of curves with ...
7
votes
2answers
496 views

$Pic$ of the stack of elliptic curves vs. $Pic$ of the coarse space

There's a natural map $f:\overline{\mathcal{M}}_{1,1}\to \overline{M}_{1,1}\cong \mathbb{P}^1$ from the stack of elliptic curves to the coarse space. Both spaces have $Pic=\mathbb{Z}$ hence ...
1
vote
0answers
134 views

k-amplitude of the Hodge bundle on $\overline M_g$

Let $\mathbb E$ denote the rank $g$ Hodge bundle on $\overline M_g$, the moduli space of stable curves of genus $g$. It is a nef vector bundle. I wonder what other positivity properties the Hodge ...
2
votes
1answer
146 views

picard group of moduli of elliptic r-prym curves

Let $\overline{\mathcal{M}}_{1,1}$ be the DM compactification of the moduli stack of elliptic curves. Its Picard group is $\mathbb{Z}$. Let us now consider stack of $r$-prym curves ...
2
votes
0answers
151 views

ampleness in families

Let $X\to S$ be a smooth projective morphism with geometrically connected fibres over an integral noetherian regular scheme $S$ with generic point $\eta$. Let $L$ be a line bundle on $X$, and suppose ...
2
votes
0answers
145 views

branch locus of the discriminant map $\overline{\mathcal{H}}_{g',r} \to \overline{\mathcal{M}}_{g,n}$

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli space of pointed, stable, genus $g$ curves. Let $\overline{\mathcal{H}}_{g',r}$ be the hurwitz space of cyclic covers of degree $r$ of genus $g$ curves ...
4
votes
1answer
384 views

Tangent space of a Moduli space

Let $X$ be a compact Riemann surface with genus $2$ and $M^2$ the moduli space of stable principal $SL(2)$-bundles of rank $r$. We know that $M^2$ is a complex projective variety of dimention ...
4
votes
0answers
105 views

Deformations and moduli of semistable sheaves in mixed characteristic

Let $X$ be a projective scheme over an algebraically closed field $k$. There is the coarse moduli space $M_X$ parametrizing semistable sheaves on $X$ with fixed reduced Hilbert polynomial $p$. Now, ...
1
vote
1answer
130 views

Hodge bundle on F-curves

Let $\mathbb{E}\rightarrow\overline{M}_{g,n}$ be the Hodge bundle. Let us cosider an $F$-curve of type $\overline{M}_{1,1}\subseteq\overline{M}_{g,n}$. Is the degree of the restriction of $\mathbb{E}$ ...
2
votes
1answer
222 views

Moduli space of stable principal $G$-bundles

We have this Mumford's theorem: Let $X$ be a Riemann surface of genus $g$, $G$ a simple Lie group. We can consider a principal stable $G$-bundles over $X$ (say $\xi$), where $rk(\xi)=r$ and ...
4
votes
0answers
128 views

Shimura varieties and Maximal conditions

Working with Shimura varieties, I have been convinced to call them (or the families giving rise to them especially in $A_{g}$) somehow the "maximal" families. The motivation of this, has been for ...
2
votes
0answers
209 views

Points of moduli space of semistable sheaves and S-equivalence classes

Let $X$ be smooth projective and connected curve over an algebraically closed field $k$. One knows the description of $k$-valued points of the moduli space $M_X$ of semistable vector bundles of fixed ...
1
vote
2answers
308 views

Is the moduli space of stable vector bundles over a smooth projective curve fano?

Let $K$ be a field of characteristic zero but not algebraically closed. Let $C$ be a smooth projective curve over $K$. Let $r, d$ be two positive integers that are coprime. Consider the moduli space ...
2
votes
1answer
174 views

F-curves and divisors on $\overline{\mathcal{M}}_{g,n}$

It is conjectured that a divisor on $\overline{\mathcal{M}}_{g,n}$ would be ample if $D\cdot C >0$ for all F-curves $C\subset \overline{\mathcal{M}}_{g,n}$. Does the intersection degree with all ...
1
vote
0answers
125 views

Moduli space of K3 surfaces and Bogomolov-Tian-Todorov theorem

The famous Bogomolov-Tian-Todorov theorem says that the moduli space of Calabi-Yau manifold is smooth, that is locally a complex manifold. Doesn't this contradicts to the fact that the moduli space ...
9
votes
1answer
533 views

There are only finitely many varieties up to deformation

Let $h$ be a polynomial. Then results of several authors (including Chow, Grothendieck, Matsusaka, Mumford, Kollar and Viehweg) imply that the moduli space of polarized varieties with Hilbert ...
5
votes
0answers
123 views

Compactifying the space of indecomposable abelian varieties

Let $A_g$ be the moduli space of principally polarized abelian varieties and $A_g^0$ the open substack of indecomposable ones. Abstractly we know $A_g^0$ has a compactification with complement a ...
4
votes
0answers
234 views

Relationship between virtual cohomological dimension and tautological rings for moduli spaces of curves

Here's the short version of the question. For $M_{g,n}$, $M_{g,n}^{rt}$, $M_{g,n}^{ct}$ and $\overline M_{g,n}$ it seems that the virtual cohomological dimension is given by the complex dimension plus ...
4
votes
0answers
56 views

Moduli space of CY3 with $h^{2,1}=1$ is $\mathbb{P}^1\setminus \{p_i\}_i$?

It seems to me that all known CY3 with $h^{2,1}=1$ has the complex moduli space of the form $\mathbb{P}^1\setminus \{p_i\}_i$ for some $i \in \mathbb{N}$. Is this true for all CY3 with $h^{2,1}=1$? ...
2
votes
1answer
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
0answers
319 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
1answer
257 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
0answers
285 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
1answer
308 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
1answer
228 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
2answers
435 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
1answer
328 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
0answers
73 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
0answers
176 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
0answers
219 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$ ...