All Questions
Tagged with complex-geometry moduli-spaces
61 questions
1
vote
0
answers
98
views
Examples of nontrivial morphism between simple bundles but not isomorphism
We know stable bundles have a good property:
If $f: E\longrightarrow E'$ is a nontrivial morphism where $E,E'$ have the same rank and degree, then $f$ must be an isomorphism.
I'm wondering does this ...
1
vote
1
answer
279
views
Moduli space of complex and anti-complex tori?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SL{SL}$By Will Sawin's answer to Moduli Spaces of Higher Dimensional Complex Tori the moduli space of complex $d$-tori is $X ...
1
vote
0
answers
51
views
Moduli space of curves away from singular subsets
Recently, I'm interested in the moduli spaces of curves in a (possibly noncompact) complex orbifold (resp. symplectic and almost complex) away from singularities.
More specifically, I'm interested in ...
0
votes
1
answer
160
views
Teichmüller theory for open surfaces?
I have a rather straightforward and perhaps somewhat naive question: Is there a Teichmüller theory for open surfaces?
My motivation basically is that I would like to find out more about the "...
2
votes
0
answers
70
views
Existence of meromorphic differential form on curve with given multiplicity of zeroes and poles
Let $m \in \mathbb{Z}^n$ be a partition of $2g-2$. Polishuk showed in his paper "Moduli spaces of curves with effective r-spin structures" (arXiv link) that if all entries of $m$ are ...
2
votes
1
answer
290
views
On the stack of semistable curves
This is a question related to
Semistable curves of genus $g\geq 2$ form an Artin algebraic stack in the etale topology?
Let $\mathcal C\rightarrow \mathcal M^{ss}_g$ be the universal curve over the ...
3
votes
0
answers
269
views
On the normal crossing divisor of $\overline{\mathcal M}_g$
Let $g\geq 2$ be an integer. Let $\overline{\mathcal M}_g$ denote the DM stack of stable curves of genus $g$. It is well-known that the moduli stack is smooth and has a natural normal-crossing divisor ...
0
votes
0
answers
224
views
The genus of hyperplane sections
Let $S$ be a connected smooth projective surface over $\mathbb{C}$.
Let $\Sigma$ be the complete linear system of a very ample divisor $D$ on $S$, and let $d=\dim(\Sigma)$ be the dimension of $\...
1
vote
1
answer
306
views
Quiver varieties associated to D_4
Let $Q=(I,\Omega)$ be the $D_4$ affine quiver. We choose as dimension vector $(2,1,1,1,1)$ (where $2$ is on the central vertex). As this dimension vector is indivisible, we can choose a generic $\...
8
votes
2
answers
568
views
Explicit example de Rham moduli space of connections
Let $\Sigma$ be a Riemann surface and let $n,d$ be two relatively prime integers. We can consider different moduli spaces related to those. On one hand we have:
-$M_{Dol}$ the moduli space of stable ...
3
votes
1
answer
282
views
Integral locus of Hitchin morphism
Let $\Sigma$ be a Riemann surface of genus $g$. To it, we can associated $M_{Dol}$ be the Higgs moduli space of rank $n$ and degree $d$. Fo simplicity let us take $(n,d)=1$. This quasiprojective ...
3
votes
1
answer
348
views
Non Abelian Hodge theory: underlying structure holomorphic vector bundles
Let $X$ be a compact Riemann surface. We fix a complex vector bundle $E$ of rank $n$ and degree $d$ (unique up to diffeomorphism). From results coming originally (I think at least) by Simpson,...
3
votes
0
answers
233
views
Local existence of (quasi)-universal family of sheaves
Let $p : X \to S$ be a projective morphism between two Noetherian $\mathbb{C}$-schemes of finite type with connected fibres. Let $O_X(1)$ be a very ample line bundle on $X$ relative to $S$. Given a ...
1
vote
1
answer
148
views
Threefolds with Kodaira dimension 2 and non-isotrivial Iitaka map
Let $X$ be a threefold with Kodaira dimension 2 such that the Iitaka map $\Phi :X \to Y$ is not isotrivial. The generic fiber of $\Phi$ is an elliptic curve.
Q1. How many such threefolds exist, and ...
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 ...
1
vote
0
answers
361
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}(...
4
votes
0
answers
109
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 ...
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 ...
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 ...
1
vote
0
answers
96
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 $\...
5
votes
1
answer
827
views
Coarse moduli space versus Kuranishi family
We will work over complex number field $\mathbb{C}$. Let $\mathscr{M}_h$ be the moduli functor for canonically polarized manifolds with $h$ the Hilbert polynomial. Let us denote by $M_h$ the coarse ...
4
votes
0
answers
117
views
Complexifed Gauge action on determinant line bundle and change of metric
Within the GIT setup for Hermitian-Einstein connection, Donaldson exhibited a holomorphic line bundle over $\mathcal{A}$ the space of unitary connections such that its cutvature equals $−2πi\Omega$ ...
1
vote
0
answers
165
views
SL(2,R) invariant which are not SL(2,C) invariants
Consider four points, $\sigma_i$ i=1,2,3,4 on the line $\mathrm{Im}(z) = 0$ in the complex plane $\mathbb{C}$. Does it exist a rational function of these four points which is $\mathrm{SL}(2,\mathbb{R})...
2
votes
1
answer
216
views
Is the stack of stable curves with no rational component algebraic?
Let $g\geq 2$ be an integer and let $\overline{\mathcal{M}}_g$ be the (smooth proper Deligne-Mumford) algebraic stack of stable curves of genus $g$.
Let $\mathcal{M}_g^{nr}$ be the substack of ...
6
votes
1
answer
769
views
Rationality of the moduli space of genus g curves
I'm not an expert in this topic, so please excuse my negligence. I'd also appreciate references to the literature. Throughout, I will work over the complex numbers, although the analogous questions ...
7
votes
0
answers
499
views
Compactification of the moduli space of Kähler manifolds with negative constant scalar curvatures
Moishezon compactification is very important in the study of the moduli space of varieties which admit canonical metrics. Moishezon showed that any non-projective Moishezon manifold $X$, after a ...
13
votes
3
answers
1k
views
DGLA or $L_{\infty}$-algebra controlling the deformation of Einstein metrics and instantons
As proposed by Quillen, Drinfeld, and Deligne and other important mathematicians, there is supposed to be a philosophy that, at least over a field of characteristic zero, assigns to every "deformation ...
4
votes
0
answers
254
views
Deformation space and Kodaira-Spencer map of cyclic Galois coverings
This question concerns a statement from the paper by Ben Moonen "Special subvarieties arising from families of cyclic covers of the projective line. Documenta Math. 15 (2010)", Lemma 5.5. ii).
More ...
8
votes
0
answers
338
views
GAGA for moduli problems
In algebraic geometry moduli problems are described by a functor $F:\mathrm{Sch}^{\mathrm{op}}\to \mathrm{Set}$ and it is clear what a solution to a moduli problem is, namely a scheme X such that $F\...
5
votes
0
answers
272
views
Is the analytification of the coarse space equal to the coarse moduli space of the analytification?
If $X$ is a smooth finite type separated DM algebraic stack over $\mathbb C$ with coarse space $X^c$, then do we know whether the analytification of $X^c$ is the coarse space of the analytification of ...
6
votes
2
answers
495
views
Riemann Theta Function On Hyperbolic Riemann Surfaces
The Riemann theta function for a genus $g$ closed Riemann surface with period matrix $\tau=[\tau_{ij}]$ is defined by
$$\theta(\{z_1,\cdots,z_g\}|\tau)=\Sigma_{n\in\mathbb{Z}^g}e^{\pi i(n\cdot\tau\...
2
votes
0
answers
247
views
Moving in the Hurwitz Space?
To my very limited understanding, a Hurwitz space parameterizes branched coverings $(\Sigma,f)$ with a set of given branching data. Here $f:\Sigma\to\mathbb{CP}^1$ is a nonconstant holomorphic map ...
1
vote
0
answers
523
views
Quasi-projectivity of the moduli space of Kahler-Einstein Fano varities and vanishing Lelong number
Chi Li, Xiaowei Wang, Chenyang Xu proved the Quasi-projectivity of the moduli space of smooth Kahler-Einstein Fano manifolds. My question is about when central fibre $X_0$ along Kahler-Einstein Fano ...
4
votes
0
answers
332
views
On dimension of the moduli space of abelian differentials on Riemann surfaces
I fear I'm missing something important here, so forgive me if my question is stupid.
Consider $\mathcal{M}_g$ the moduli space of Riemann surfaces of genus $g>2$ and $\mathcal{H}_g$ the moduli ...
2
votes
0
answers
94
views
Complex Structure Moduli of Elliptic Fibrations
Given an elliptically fibered Calabi-Yau threefold in Weierstrass form I want to compute the number of complex structure moduli of the fibration.
I know how it is done for the generic Weierstrass ...
2
votes
0
answers
146
views
Is there an algorithm to compute the intersection of tautological classes on the moduli space of genus one curves?
Let $\overline{M}_{1,1}(\mathbb{P}^2, d) $ be the moduli space of degree
$d$ genus one curves on $\mathbb{P}^2$ with one marked point. Let
$L\longrightarrow \overline{M}_{1,1}(\mathbb{P}^2, d) $ ...
4
votes
1
answer
199
views
Singularities of the moduli stack of polarized hyperkahler varieties
Inspired by the recent question on singularities of the moduli stack of Calabi-Yau threefolds (Singularities of the moduli stack of Calabi-Yau threefolds) I'd like to ask the following question.
Is ...
9
votes
1
answer
594
views
Singularities of the moduli stack of Calabi-Yau threefolds
Let $M$ be the moduli of polarized Calabi-Yau threefolds over $\mathbb C$ with fixed Euler characteristic. The coarse moduli space is singular (as usual), but what about the stack?
In many cases I ...
3
votes
0
answers
291
views
Properties of finite quotients of quasi-projective varieties
Let $G$ be a finite group acting on a (smooth) quasi-projective variety over $\mathbb C$.
One can consider the stacky quotient $[X/G]$ or the "classical" quotient $X/G$. In general, $[X/G]$ is not a ...
1
vote
0
answers
580
views
On the Hitchin fibration
I will refer to Simpson's "Higgs bundles and local systems".
Proposition 1.4:
When $X$ is a smooth projective variety, one can build up the moduli space $\mathcal{M}(X,r)$ of rank $r$ Higgs ...
15
votes
1
answer
3k
views
Kodaira-Spencer theory of deformation done right
I thought in asking this question on Math StackExchange, but by my experience I don' t think anyone will notice me. Recently, I started studying deformation of complex manifolds in the sense of ...
11
votes
2
answers
759
views
Families of Fano varieties over non-hyperbolic curves
Let $C$ be a non-hyperbolic (smooth quasi-projective connected complex algebraic) curve. That is, $C$ is isomorphic to $\mathbb P^1, \mathbb A^1, \mathbb G_m$, or an elliptic curve.
Let $f:X\to C$ be ...
1
vote
0
answers
153
views
some intuition about the degree of a map
Consider a map
$$ f: \Sigma \to X/\sigma,$$
where $\Sigma=\Sigma_g/\Omega$ is a quotient of a Riemann surface by an antiholomorphic involution,
$\sigma:X\to X$ is an antiholomorphic involution
of some ...
2
votes
0
answers
115
views
Characterisation of convergence in Deligne-Mumford compactifiaction
1) Is there a (simple) way to characterise the convergence of complex curves toward a stable curve in term of hyperbolic metrics for the Deligne Mumford compactification of the moduli space of complex ...
9
votes
1
answer
713
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 ...
2
votes
1
answer
902
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 ...
11
votes
2
answers
977
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
...
1
vote
2
answers
485
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 ...
20
votes
3
answers
2k
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. ...
0
votes
1
answer
118
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 ...