Questions tagged [moduli-spaces]
Given a concrete category C, with objects denoted Obj(C), and an equivalence relation ~ on Obj(C) given by morphisms in C. The moduli set for Obj(C) is the set of equivalence classes with respect to ~; denoted Iso(C). When Iso(C) is an object in the category Top, then the moduli set is called a moduli space.
881
questions
1
vote
0
answers
78
views
A question about Hitchin discriminant
Let $X$ be a smooth projective curve over $\mathbb{C}$, $\mathcal{M}$ be moduli space of Higgs bundle of rank $r\geq2$ and degree $d$ on $X$, $W=\bigoplus_{i=2}^{r}H^{0}(X,K_{X}^{\otimes i})$, and $H\...
2
votes
0
answers
178
views
Quadrics tangent to lines
I think that the following must be a basic question in enumerative geometry.
Take a line $L\subset\mathbb{P}^3$. The quadric surfaces in $\mathbb{P}^3$ that are tangent to $L$ are parametrized by a ...
1
vote
0
answers
89
views
The dimension of parameter space of unstable Higgs bundle
Let $X$:smooth projective curve of genus $g\geq 3$ over $\mathbb{C}$, $\mathcal{M}(r,d)$:moduli space of stable Higgs bundles of rank $r\geq 2$ and degree $d$ on $X$, and $N$:moduli space of stable ...
3
votes
0
answers
124
views
Upper bounds for the degree of Chow varieties
Given $n, k, d$, let $\mathrm{Chow}(n, k, d)$ be the Chow variety parameterizing algebraic cycles of pure dimension $k$ and degree $d$ in $\mathbb{P}^n$. It is a projective subvariety of $\mathbb{P}(H^...
1
vote
0
answers
112
views
global algebraic functions $\Gamma(T^{*}M)$ on the cotangent bundle of moduli space
Let $X\colon$ smooth projective curve,
$\mathcal{M}\colon $ moduli space of semistable higgs bundle of rank $r$ and with fixed determinat $\xi$, and
$H\colon \mathcal{M}\rightarrow W=\oplus_{i=2}^{r} ...
3
votes
1
answer
364
views
Moduli space of genus 1 curves with a degree n divisors
I am sure this is well known, but I don't know what to search for:
Consider $M_{1,n}$, the moduli space of genus 1 curves with $n$ marked points. The symmetric group on $n$ letters acts on this space ...
7
votes
0
answers
214
views
Moduli space of annuli with marked points satisfying some additional symmetries
Let us consider the space of configurations $\overline{\mathcal{M}}_{0,2,1,(1,1)}$ of an annulus with a marked point on the interior boundary component (let's call it "out") a marked point ...
1
vote
1
answer
222
views
Smoothness of moduli spaces of stable maps
If $X$ is a projective variety the moduli space of stable maps $\overline{M}_{0,0}(X,\beta)$ is a normal variety with finite quotient singularities.
Can the pairs $(X,\beta)$ such that $\overline{M}_{...
3
votes
0
answers
91
views
Nakamura graphs and moduli space cellular decomposition
I have recently started studying the cell decomposition of moduli spaces. Among the papers I read, I studied this paper, but there is something I do not understand and I can't find the answer on my ...
1
vote
0
answers
348
views
On logarithmic schemes
I have two questions on logarithmic schemes
Can we explicitly construct a chart for any coherent logarithmic scheme? By definition of coherence it must have a chart but given a coherent sheaf of ...
2
votes
1
answer
305
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 ...
2
votes
0
answers
96
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\...
2
votes
0
answers
257
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 ...
1
vote
0
answers
85
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$...
1
vote
0
answers
129
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 $\...
5
votes
0
answers
166
views
Correspondence between Riemannian metrics and Euclidean embeddings
Given a sufficiently smooth manifold M,
a Riemannian metric on M induces an isometric embedding into Euclidean space by Nash's theorem, (non-canonically, non-uniquely)
an embedding of M into ...
1
vote
0
answers
212
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\...
6
votes
1
answer
246
views
Pants decomposition and moduli space of $\Sigma_g$ for $g>1$
By Section 8.3.1 of the book: A primer on mapping class groups by Farb and Margalit, a pair of pants is a compact surface of genus 0 with three boundary components. Let $S$ be a compact surface with $\...
3
votes
0
answers
217
views
Kodaira-Spencer map in logarithmic geometry
Can anyone provide a reference for the Kodaira-Spencer map in the logarithmic geometry setting?
4
votes
0
answers
131
views
Does anyone know if it's possible to construct Moduli space of J holomorphic curves using Holder spaces?
let Y be a contact (3) manifold and X be its symplectization. let's say the Reeb dynamics is at least Morse Bott. let $u: \Sigma \rightarrow X$ be a $J$ holomorphic curve. I know the usual model for a ...
9
votes
0
answers
184
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 ...
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 ...
8
votes
0
answers
168
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 ...
10
votes
0
answers
163
views
Moduli-space interpretation of a morphism of unitary Shimura varieties
Let $G$ be the quasi-split unitary similitude group $GU(2, 1)$, for some choice of imaginary quadratic field $E$; and let $T = GU(1)$ be the torus $Res_{E/Q}\mathbf{G}_m$. Then there's a morphism $\...
2
votes
1
answer
295
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{...
2
votes
1
answer
124
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 ...
1
vote
0
answers
92
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 ...
0
votes
0
answers
352
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 $\...
5
votes
0
answers
165
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 ...
3
votes
0
answers
150
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 ...
5
votes
0
answers
185
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 ...
3
votes
1
answer
349
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 ...
1
vote
0
answers
309
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}(...
2
votes
0
answers
169
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$ ...
2
votes
0
answers
221
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 ...
5
votes
0
answers
196
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
votes
0
answers
151
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 ...
1
vote
0
answers
84
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}\...
2
votes
0
answers
264
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 ...
2
votes
0
answers
162
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})$....
10
votes
0
answers
271
views
Kontsevich's A-infty cohomology classes of the moduli space of curves
In his paper "Feynman diagrams and low-dimensional topology," Kontsevich attaches to each $A_\infty$ algebra a cohomology class (with complex coefficients) on the moduli space of smooth, ...
10
votes
0
answers
418
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
votes
0
answers
105
views
Holomorphic maps on moduli space and Deformation theory
Let $\mathcal{M},\mathcal{F}$ be the classifiying spaces (i.e. complex manifolds) of two (possibly) different moduli problem. To give a map
$$f:\mathcal{M}\rightarrow \mathcal{F}$$
means that for each ...
3
votes
0
answers
84
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$...
5
votes
2
answers
535
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?
1
vote
0
answers
198
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 ...
1
vote
1
answer
180
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 ...
2
votes
0
answers
92
views
Composing equal characteristic and mixed characteristic deformations
Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
1
vote
1
answer
367
views
About the type of a polarization of an abelian variety
The following is a question I posted about a week ago on Maths stackexchange there, but it didn't bring any discussion nor comment. For this reason I am posting it here also.
Let $X$ be an abelian ...
1
vote
0
answers
92
views
Geometry of the complex Gauge group
Let $E\rightarrow X$ be holomorphic vector bundle on a complex manifold $X$. Denote by $\mathcal{G}=\Gamma(Aut(E))$ the group of complex smooth automorphisms of $E$.
Is there a way to endow $\...