All Questions
Tagged with moduli-spaces ag.algebraic-geometry
717 questions
2
votes
1
answer
352
views
Cohomology of normal bundle and tangent bundle on Gushel-Mukai threefold
Let $X$ be a smooth general ordinary Gushel-Mukai threefold. There is an embedding $X\rightarrow\mathrm{Gr}(2,5):=G$. Consider the normal bundle $\mathcal{N}_{X|G}$, how to compute cohomology of this ...
- 1,982
2
votes
0
answers
110
views
The openness the set of $s\in \bigoplus H^0(C,K_{C}^{\otimes i})$ for which the spectral curve is irreducible and reduced
Let $C$ be smooth projective curve, $\mathcal{M}$ be the moduli space of semistable Higgs bundles, $H:\mathcal{M}\rightarrow W= \bigoplus H^0(C,K_{C}^{\otimes i})$ be the Hitchin map, and $\pi :C_s\...
- 297
2
votes
0
answers
271
views
Fibers of Hitchin fibration are equidimensional
Let $X$ be a smooth projective curve over $\mathbb{C}$ of genus $g\ge 3$, $M$ be a moduli space of stable vector bundles on $X$ of rank $n\ge 2$ and degree $d$, $\mathcal{M}$ be a moduli space of ...
- 297
1
vote
0
answers
96
views
Polarization of Prym varieites
I'm trying to understand polarization and rational Hodge structure of spectral curves and Prym varieties.
Excuse me that this is similar to my previous question.
I want to prove the following,
Let $X$...
- 297
1
vote
0
answers
134
views
The compactified Jacobian is birational to a $\mathbb{P}^1$-fibration over the Jacobian of normalization
Let $Y$ be an integral curve whose only singularity is one simple node at a point $y$, and
$\pi:X\rightarrow Y$ be the normalization with $\pi^{-1}(y)=\{x,z\}$. $J(X)$ is the Jacobian of $X$, and $\...
- 297
1
vote
0
answers
253
views
Fiber of the Hitchin map
Let $C$ be smooth projective curve, $\mathcal{M}$ be the moduli space of semistable Higgs bundles, $H:\mathcal{M}\rightarrow W= \bigoplus H^0(C,K_{C}^{\otimes i})$ be the Hitchin map, and $\pi :C_s\...
- 297
3
votes
0
answers
233
views
Kodaira-Spencer map in logarithmic geometry
Can anyone provide a reference for the Kodaira-Spencer map in the logarithmic geometry setting?
- 494
9
votes
0
answers
194
views
Methods to compute the Kodaira dimension of moduli spaces
It is known that the moduli space $\bar{M_g}$ of genus $g$ stable curves over $\mathbb C$ is of general type for $g \geq 24$ with Kodaira dimension $3g-3=\dim \bar{M_g}$.
The idea is that one can ...
- 461
4
votes
0
answers
129
views
Global algebraic function over the moduli space of semistable higgs bundles $\mathcal{M}$
Let $X$ be a smooth projective curve over $\mathbb{C}$, $\mathcal{M}$ be the moduli space of semistable higgs bundles, and $h: \mathcal{M}\rightarrow W=\bigoplus H^0(X,K_X^{\otimes{i}})$ be the ...
- 297
8
votes
0
answers
174
views
Geometry of moduli problem in practice: how to check it is connected / irreducible / normal / reduced / locally complete interesection...?
Moduli spaces are very common and useful in the world of algebraic geometry. From the point view of functors, one can already check many geoemtric properties of it. I like examples, and you can assume ...
- 461
2
votes
1
answer
312
views
Sheaf of elliptic curves up to isogeny
For a scheme $X$, denote by $\mathcal{Ell}_X[\text{isog}^{-1}]$ the category of elliptic curves on $X$ localized at isogenies. Consider the functor
$$
\mathcal{Ell}^{isog}:Sch/S^{op}\rightarrow \text{...
- 4,408
2
votes
1
answer
129
views
Isomorphism between $\operatorname{End}_0(E)$ and $\operatorname{End}_0(E')$ as Lie algebra bundles
This may be a stupid question.
I'm reading the paper "Automorphisms of moduli spaces of vector bundles over a curve" of Indranil Biswas, Tomas L. Gomez, V. Munoz (arXiv link). I have a ...
- 297
1
vote
0
answers
99
views
rational Hodge structure of spectral curve and Prym variety
I have a problem about rational Hodge structure of spectral curves and Prym varieties.
I want to prove the following,
Let $X$ be smooth projective curve over $\mathbb{C}$, $\mathscr{M}$ be moduli ...
- 297
0
votes
0
answers
411
views
Definition of Hitchin map
This may be a dumb question.
$\mathcal{M}(r,d)$ is a coarse moduli scheme for semistable pairs $(E,\phi:E \rightarrow K_X \otimes E)$ of rank $r$, degree $d$ on a smooth projective curve $X$ over $\...
- 297
5
votes
0
answers
173
views
Hitchin map and vector bundles
I've been learning a bit about automorphisms of moduli spaces of vector bundles and the Hitchin map.
I'm reading this paper of Indranil Biswas, Tomas L. Gomez, V. Munoz, and I have a problem about ...
- 297
3
votes
0
answers
159
views
The Weil pairing on a generalized elliptic curve
Now I'm trying the section 6 (and 3.20) of chapter IV of Deligne-Rapoport's "Les schemas de module de courbes elliptiques".
I can't understand what $e_n$ (of 6.5.(d)) is.
It seems to be the ...
- 1,364
5
votes
0
answers
201
views
Berkovich Integration on algebraic curves
Berkovich developed a theory of integrating one-forms on his analytic spaces in his book "Integration of One-forms on $P$-adic analytic spaces". As this book is difficult to digest for me, I ...
- 445
3
votes
1
answer
427
views
Family over the coarse moduli space of curves
Let $k$ be an algebraically closed field. As the coarse moduli space of curves $M_g$ of genus $g$ over $k$ is not a fine moduli space, it does not have a universal family. But I am wondering if it has ...
- 445
1
vote
0
answers
360
views
On definition of stable vector/Higgs bundle
Recall that the slope of a holomorphic vector bundle $\mathcal{E}$ over a smooth projective variety (or rather a compact Kähler manifold) $X$ is defined as
$\mu(\mathcal{E}) :=\frac{\operatorname{deg}(...
- 1,170
2
votes
0
answers
170
views
A silly doubt on Log structures
Let $X=\operatorname{Spec} A$ be an affine variety. Consider the log structure given by $\mathbb N\rightarrow A$ which sends $1\mapsto 0$. Also consider the log structure $\mathbb N^r \rightarrow A$ ...
- 494
2
votes
0
answers
225
views
Non-uniruled connected smooth fibers implies flat
Let $f:X\to Y$ be a surjective morphism of connected smooth projective varieties over an algebraically closed field.
Assume all fibers are connected smooth and none are uniruled. Is $f$ flat?
In ...
- 117
5
votes
0
answers
207
views
Use of Flattening Stratification part 2 (Nitsure's construction of Hilbert and Quot schemes)
I study Nitin Nitsure's paper Construction of Hilbert and Quot Schemes (arXiv:math/0504590) and have some problems with the content of imposed universal property (F) in the section "Use of ...
- 6,018
6
votes
0
answers
155
views
Logarithmic Darboux theorem
Let $X$ be a smooth complex analytic manifold and $D$ be a normal crossing divisor. Suppose that there is a complex analytic logarithmic symplectic structure on $X$.
Is there a Darboux like theorem ...
- 494
1
vote
0
answers
88
views
How to show a contraction of singular moduli space is projective?
Let $\mathcal{H}$ be a certain kind of Hilbert scheme of curves on some smooth projective variety $X$ and $\mathcal{H}$ is projective and irreducible of dimension $3$. There is a divisor $\mathcal{D}\...
- 1,982
2
votes
0
answers
284
views
Absolute Galois group of Q and stratification of moduli space of curves
This is slightly related, but distinct from, a question I asked earlier.
The moduli space of ribbon graphs with metric (with all vertices having degree at least 3) is isomorphic to the moduli space of ...
- 301
2
votes
0
answers
169
views
Exponential map of moduli space
Let $\mathcal{M}$ be a projective smooth moduli space over $\mathbb{C}$ (the specific example I have in mind is the moduli of curves $\mathcal{M}_g)$. Consider a point $[X]\in \mathcal{M}(\mathbb{C})$....
- 4,408
10
votes
0
answers
437
views
Boundary of Siegel modular variety
The moduli space of curves has a compactification whose boundary can be understood as the product of moduli spaces of curves of lower genus. Therefore (perhaps naively) one might hope that there ...
- 4,408
3
votes
0
answers
85
views
Reference request: boundedness for semistable principal bundles on a family of curves
We work over an algebraically closed field $k$.
Let $G$ be a reductive group and $X$ be a smooth projective curve over $k$. It is proven in [1, Theorem 1.2] that the moduli of semi-stable principal $G$...
- 495
5
votes
2
answers
564
views
density of singular K3 surfaces
By singular K3 I mean a smooth complex K3 with Néron-Severi rank equal to 20.
Are singular K3 surfaces dense in the moduli space of polarized K3 surfaces?
- 3,779
1
vote
0
answers
203
views
Holomorphic map from a punctured affine line to $M_g$ with Zariski-dense image
Denote by $M_g$ the coarse moduli space of connected smooth projective complex curves of genus $g$. Is there a holomorphic map $U\to M_g$ with Zariski-dense image where $U$ is the affine line with ...
user145520
1
vote
1
answer
185
views
Is there an algorithm on an infinite time Turing machine to compute a dense subset of $M_g$ for large $g$?
Denote by $M_g$ the coarse moduli space of connected smooth projective complex curves of genus $g$. If $g$ is a random large integer (e.g. $g=100$) does there exist an algorithm on an infinite time ...
user145520
1
vote
1
answer
227
views
Non-unique completion of a flat family of smooth projective varieties
Let $\mathbb{k}$ be an algebraically closed field of characteristic 0. Denote $S=\mathrm{Spec}\:\mathbb{k}[t]$, $U=\mathrm{Spec}\:\mathbb{k}[t, t^{-1}]$, $Z=\mathrm{Spec}\:\mathbb{k}[t]/(t)$.
What is ...
user145520
1
vote
1
answer
232
views
Pullback of boundary divisors under forgetful maps
Let $\overline{\mathbf{M}}_{0,n}$ be the moduli space of stable $n-$pointed smooth rational curve of genus zero and $\overline{\mathbf{U}}_{0,n}$ the universal family described by $\pi_n:\overline{\...
- 31
10
votes
1
answer
791
views
Flatness of the Hitchin system?
The Hitchin fibration is a central topic of study in modern geometry. It seems to be folklore knowledge that the morphism from the coarse moduli space of semi-stable Higgs bundles to the Hitchin base ...
- 616
3
votes
1
answer
262
views
$\mathcal{M}_g$ and $\mathcal{A}_g$ have natural structures as quasi-projective varieties
Reading M. Hindry and J. H. Silverman (Diophantine Geometry-An Introduction), I find the claim that $\mathcal{M}_g$ and $\mathcal{A}_g$ have natural structures as quasi-projective varieties. Mumford ...
- 560
8
votes
1
answer
422
views
Conjecture by Ekedahl on Weyl groups and Abelian varieties
A conjecture was made on p.14 in "Cycle Classes of the E-O Stratification on the Moduli of Abelian Varieties" by Torsten Ekedahl (late, excellent contributor to MO) and Gerard Van Der Geer concerning ...
- 10.5k
6
votes
1
answer
709
views
On the moduli stack of abelian varieties without polarization
(I am especially interested in abelian surfaces and characteristic 0).
How bad is the moduli stack of abelian varieties (with no polarization or level structure)? Is it an Artin stack? DM (Deligne-...
- 7,746
3
votes
1
answer
385
views
Is there a precise relationship between the goals of moduli theory and the minimal model program?
I want to get into some of the big classification problems in algebraic geometry, but have a very broad question. Ultimately we would like to classify all varieties over some field up to isomorphism, ...
- 453
1
vote
0
answers
153
views
Descent of projective bundles
A problem studied in GIT is the descending of vector bundles (or more in general coherent sheaves) to quotients.
It is a result of Kempf that whenever we have a vector bundle over a quasiprojective ...
- 297
3
votes
0
answers
316
views
Reference request: Derived structure on the moduli stack of Higgs bundles
I am reading arXiv:1708.08124. When talking about the moduli stack of Higgs bundles on a projective curve $X$. It is said on page 59, first paragraph that
It is often better to put
derived ...
- 385
8
votes
0
answers
416
views
Stacky proof of no elliptic curves over Z
It is a well known result that there are no Elliptic curves over the integers with every where good reduction. In fact this is even true for abelian varieties (and hence higher genus curves) but let ...
- 7,746
2
votes
1
answer
383
views
Derived category of singular varieties
Let $X$ be a projective variety with only normal crossing singularity. Is there a description of the derived category or the category of perfect complexes? What about the existence of semiorthogonal ...
user149914
5
votes
1
answer
551
views
Relative logarithmic cotangent bundle
Let $\mathcal X \rightarrow S$ be a flat family of projective varieties over a discrete valuation ring $S$ such that the generic fibre $\mathcal X_{\eta}$ (say) is smooth projective variety and the ...
user149914
6
votes
1
answer
171
views
Presentation of $H^2(\overline{M}_{0,n},\mathbb{Z})$ as an $S_n$-module?
Let $\overline{M}_{0,n}$ be the moduli space of genus zero curves with $n$ marked points. Let $I=\{\{S,S^c\}|S\subset\{1,\dots,n\},|S|\geq2,
|S^c|\geq2\}$ be the set of partitions of $\{1,\dots n\}$ ...
user39380
2
votes
0
answers
112
views
Getzler's stable graphs for modular operads
In The semi-classical approximation for modular operads, Getzler displays a table at the bottom of page two enumerating certain stable graphs. (This is related to the MO-Q "Stable graphs: Feynman ...
- 10.5k
3
votes
0
answers
152
views
Riemannian metric over moduli space of Riemann spheres with n punctures
In the paper `Tessellations of moduli spaces and the mosaic operad' by Devadoss (https://arxiv.org/pdf/math/9807010.pdf), on page 5-6, the author identifies hyperbolic planar tree space (or the ...
- 31
5
votes
0
answers
173
views
Unirationality of universal Jacobian over special strata of moduli space of pointed genus 3 curves
Let $M_{3,1}$ be the (coarse, non-compactified) moduli space of genus $3$ curves with a marked point over a field $k$ of characteristic zero. Throwing away the hyperelliptic curves, take the open ...
- 984
4
votes
2
answers
584
views
Explicitly computing Donaldson-Thomas invariants (of CY 3-folds)
I am interested in the explicit computation of generating functions of rank 1 and higher rank Donaldson-Thomas (DT) invariants. In particular, I am interested in DT invariants of K3 fibered Calabi-Yau ...
user35360
3
votes
1
answer
325
views
vector bundles over projective line over an affine line
Let $k$ be a field and $E$ be a vector bundle over $\mathbb{P}_{k}^{1}\times\mathbb{A}_{k}^{1}$, does it extend to
$\mathbb{P}_{k}^{1}\times\mathbb{P}_{k}^{1}$?
- 3,472
7
votes
1
answer
364
views
Multisections of the universal curve
Fix some $g \geq 2$. Let $\mathcal{M}_g$ be the moduli space of smooth genus $g$ curves over $\mathbb{C}$. For some $d \geq 1$, let $X_{g,d} \rightarrow \mathcal{M}_g$ be the family whose fiber over ...
- 383