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.
920 questions
3
votes
1
answer
197
views
Square root of relative Kähler differentials and families of curves
Let $f: X \to S$ be a smooth morphism of schemes of relative dimension $1$. Then $K=\Omega^1_{X/S}$ is a line bundle on $X$. I am interested in the following question:
When does $\Omega_{X/S}$ have a ...
3
votes
0
answers
105
views
Jacobian of a reducible curve with arbitrary singularities
Let X be a reduced, reducible curve over $\mathbb{C}$ with locally planar singularities, and let $\widetilde{X}$ be its normalization. I am interested in the Jacobian varieties $\mathrm{Jac}(X)$ and $\...
2
votes
0
answers
134
views
Universal semistable curve
For the moduli of stable curve, we have the result by Deligne-Mumford-Knudsen that there's an isomorphism of moduli spaces
$$\Phi : \overline{\mathcal{X}}_{g,n} \xrightarrow{\sim} \overline{\mathcal{M}...
2
votes
1
answer
154
views
$\mathbb{C}^*$-action on moduli space of Higgs bundles
Let $M_{r,d}$ be the moduli space of semistable Higgs bundles of rank $r$ and degree $d$ over a compact Riemann surface. Over $M_{r,d}$ we have a $\mathbb{C}^*$-action $$t \cdot (E,\phi)=(E, t \phi). $...
3
votes
0
answers
73
views
What exactly does it mean for the moduli space of stable sheaves to have a universal family étale locally?
It is known that in general, the moduli space $M$ of (Gieseker) stable sheaves do not have a universal family. Therefore, a map $f \colon S \to M$ does not necessarily induce a family of sheaves.
On ...
0
votes
0
answers
130
views
Two elliptic curves with the same j-invariants
This is an interesting observation of mine when exploring moduli of elliptic curves.
Let's fix a base field $k$ and assume that we have two elliptic curves $E$, $E'$ which are isomorphic over $\bar k$...
1
vote
1
answer
202
views
Is $\mathcal H/\Gamma$ defined over a number field when $\Gamma$ is not congruent?
Let $\mathcal H$ denote the upper half plane of complex numbers, and $\Gamma$ an arithmetic subgroup of $\operatorname{SL}_2(\mathbb Z )$ (not necessarily congruent). I wonder whether $\mathcal H/\...
3
votes
0
answers
51
views
Hat knot Floer Homology with Z coefficients calculation
I would like to ask for recommended references which carry out the calculation of the hat knot Floer homology of a knot with $\mathbb{Z}$ coefficients, i.e., $\widehat{\operatorname{HFK}}(K;\mathbb{Z})...
1
vote
0
answers
116
views
Universal picard variety of degree d
Let $M_g$ denote the moduli space of smooth genus $g$ curves over $\mathbb{C}$, where $g \geq 2$. Let $Pic^{d,g}$ denote the universal picard variety over $M_g$, parameterizing pairs $(C,L)$ where $C$...
1
vote
0
answers
102
views
weak (?) valuative criterion for properness
In the article "On the Kodaira Dimension of the Moduli Space of Curves" by J. Harris and D. Mumford, to prove that
$\overline{H}_{k,b}$ is proper over Spec $\mathbb{C}$, the authors refer to ...
4
votes
1
answer
165
views
Describing the compactified Jacobian of a nodal curve
$\DeclareMathOperator{\Pic}{Pic}$Let $C$ be an integral projective curve over $\mathbb C$, which is smooth except for a single node $x\in C$. Let $M$ be the moduli space of stable torsion-free sheaves ...
1
vote
0
answers
53
views
Moduli space of stable bundles with fixed Chern class is bounded
This is an excerpt on a set of lecture notes I'm going over:
Classically, a lot of interest in stable vector bundles is due to the fact that stability allows the study of moduli of vector bundles via ...
1
vote
1
answer
278
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 ...
3
votes
0
answers
197
views
Concrete reasons to study derived categories of quasi-coherent sheaves on algebraic stacks?
Title says it all. There seems to be a lot of work done on derived categories of quasi-coherent sheaves on stacks, and yet I couldn't find many "external" applications. I'm mainly wondering ...
0
votes
0
answers
98
views
Differential of the evaluation map of the Kontsevich moduli space
Let $X$ be a smooth projective variety, and $\beta$ a curve class on it. We have the Kontsevich moduli space $\overline{\mathcal M}_g(X, \beta)$ of stable maps from genus $g$ curves to $X$ with class $...
2
votes
0
answers
103
views
Representability of stack of finite maps between curves
I am interested in the following moduli problem: The moduli functor $\mathcal{F}$ has $T$-points:
a nodal $n$-pointed curve $C/T$ of genus $g$.
a nodal $b$-pointed curve $D/T$ of genus $h$.
a finite ...
5
votes
0
answers
175
views
Is $\overline{\mathcal{M}}_{g,n}$ a Koszul space?
In https://arxiv.org/abs/1902.06318 Dotsenko proved that $\overline{\mathcal{M}}_{0,n+1}$ is a Koszul space, i.e. it is both formal and coformal. Equivalently, a space is Koszul if it is formal and ...
1
vote
1
answer
127
views
Vanishing of higher morphisms for pair moduli
Consider a moduli scheme $P$ of sheaves $F$ on a Calabi-Yau n-fold $X$ with a section $s\in H^0(F)$. Alternatively, such objects can be described as maps $\mathcal{O}_X \xrightarrow{s} F$ called pairs....
1
vote
0
answers
95
views
References on the claims of moduli spaces of additive compactifications by Hassett-Tschinkel
I am considering the classification problem of Artinian local $\mathbb{C}$-algebras, and notice the paper
Hassett, Brendan; Tschinkel, Yuri, Geometry of equivariant compactifications of (\mathbb{G}^...
4
votes
1
answer
139
views
The smoothness of solutions to the Hitchin self-dual equations within a stable orbit after Sobolev completion
First, let me introduce the background of the problem: While studying chapter 4 of the Hitchin's paper "THE SELF-DUALITY EQUATIONS ON A RIEMANN SURFACE", I encountered an issue. Hitchin ...
2
votes
0
answers
171
views
A conjecture on the scheme-theoretic image of a moduli map
Let $K/\mathbb{Q}_p$ be a finite extension with residue field $k$, and let $K'/K$ be a finite tamely ramified Galois extension with residue field $k'$. Let $E/\mathbb{Q}_p$ be a sufficiently large ...
2
votes
0
answers
101
views
Conjecture on the moduli space of stable sheaves on Calabi-Yau threefolds
Let $X$ be a smooth projective Calabi-Yau threefold over $\mathbb{C}$. Let $M_{X}(r,c_1,c_2)$ denote the moduli space of Gieseker-stable sheaves on $X$ with Mukai vector $(r,c_1,c_2)$.
Is the ...
1
vote
0
answers
60
views
Distribution of the marked points on the components of a stable n-pointed curve of genus zero
Let $\overline{M}_{0,n}$ be the fine moduli space of stable n-pointed curves of genus $g=0$. Let $[(D_{0},p_1,...,p_n)] \in \overline{M}_{0,n}$. Suppose that each component of $D_0$ contains at least ...
2
votes
0
answers
93
views
How are moduli spaces related to geometric complexity theory?
I am interested in understanding the relationship between moduli spaces and geometric complexity theory (GCT).
Relation between moduli spaces and GCT:
How are moduli spaces related to geometric ...
2
votes
0
answers
117
views
GIT semi-stability on graded Artinian local $\Bbbk$-algebras
Let $\Bbbk$ be a algebraically closed field of characteristic zero. A graded Artinian local $\Bbbk$-algebra is $(A,\mathfrak{m},\bigoplus A_i)$ such that $(A,\mathfrak{m})$ is an Artianian local $\...
1
vote
0
answers
72
views
"Saddle connection" on a translation surface
A saddle connection on a translation surface $\omega$ is a geodesic
in the flat metric determined by $\omega$ joining two zeros with no zeros in its interior.
Athreya, Jayadev S., and Howard Masur. ...
2
votes
1
answer
217
views
Dual of slope semistable vector bundle on higher dimensional variety
Recall the definition of slope semistability, taken from section 1.2 of Huybrechts and Lehn's "Geometry of Moduli Spaces of Sheaves" book. Let $X$ be a projective $\mathbb{C}$-scheme and $E \...
0
votes
0
answers
44
views
How to define a family of Hilbert $A-B$-bimodules $ \pi \ : \ M \to X $, parametrized by a $C^*$-algebra $X$?
Let $A$ and $B$ two $ C^* $ - algebras.
I would like to define a functor $ X \to \mathrm{Bimod}_{A,B} (X) $ which associate to any object $X$, the set of isomorphism classes of a family of Hilbert $A-...
8
votes
0
answers
333
views
Do automorphisms actually prevent the formation of fine moduli spaces?
I have found similar questions littered throughout this site and math.SE (for example [1], [2], [3],…), but I feel like like most of them usually just say that non-trivial automorphisms prevent the ...
1
vote
0
answers
115
views
Compactifications of product of universal elliptic curves
Let $\mathcal{E}$ be the universal elliptic curve over the moduli stack $\mathcal{M}$ of elliptic curves. As $\mathcal{E}$ is an abelian group scheme over $\mathcal{M}$, we obtain a product-preserving ...
1
vote
0
answers
66
views
Non-empty chambers for Hassett spaces
Fix some $n\geq 4$. Hassett constructed different compactifications of $M_{0,n}$ that depend on the input data of what he calls collections of weight data, which are elements of the set of admissible ...
2
votes
0
answers
61
views
Stack of smooth fiber bundles with fiber $F$
I'd like to premise that while I know the definition of (differentiable) stack, I'm not really into the language of schemes so my understanding of what is a moduli stack is pretty concrete and ...
1
vote
0
answers
133
views
Question about wall crossing for Hassett spaces
The context of this question is that one of Hassett's famous compactifications of $M_{0,n}$ by means of weighted stable marked curves. I imagine the answer to my question is well known, but I haven't ...
2
votes
0
answers
139
views
universal structures over $\mathcal A_g$
Over the moduli space of curves, $\overline{\mathcal{M}}_{g,n}$ there are several "natural" spaces like the universal curve, the universal Jacobian, the space of stable maps, the universal ...
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 ...
2
votes
1
answer
199
views
Books and lecture notes about Moduli spaces of Abelian varieties
Following this question, I would like to ask about books and lecture notes for Moduli spaces of Abelian varieties. I suppose that Mumfords book "Geometric Invariant theory" treats it but it ...
2
votes
0
answers
233
views
Representability of moduli problem of elliptic curves with complex multiplication
I'd like to know whether the moduli problem for elliptic curves with complex multiplication by a fixed imaginary quadratic number field $K$ (and with suitable level structure to be picked) is ...
0
votes
1
answer
159
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
207
views
One question about K-moduli space of smooth plane conic curves
I am reading Ascher-Devleming-Liu's paper "Wall crossing for K-moduli spaces of plane curves" example 4.5 (2) (b) ADL 19 and l have some confusions.
From Li-Sun's paper "Conical Kähler-...
1
vote
0
answers
84
views
Hopf algebra from Chow rings of Hilbert schemes of smooth surface
Let $X$ be a smooth projective surface. As its Hilbert schemes of points are resolutions of the symmetric powers, the addition map $S^nX \times S^mX \rightarrow S^{n+m}X$ lifts rational map $X^{[n]} \...
1
vote
0
answers
94
views
About the relationship between Cayley-Chow families and well-defined family of proper cycles
I'm studying Chow varieties introduced in Chapter I.3-4 of "Rational curves on algebraic varieties" [Kol96] by János Kollár and also very interested in the "open" Chow variety ...
2
votes
0
answers
127
views
Growth of Betti numbers in moduli spaces of complex stable curves as the number of marked points vary
$\newcommand{\Mgn}{\overline{\mathcal{M}}_{g,n}} \DeclareMathOperator{\nn}{\mathbb{N}} \DeclareMathOperator{\zz}{\mathbb{Z}}$Let $\Mgn$ be the Deligne−Mumford−Knudsen moduli space of stable curves of ...
3
votes
0
answers
152
views
Locus where a family of cycles is rationally trivial is countable union of closed subvarieties?
Following up on this question which received a negative answer, I wonder if something weaker is true.
We work in the same set-up as the previous question. Let $B$ be a smooth quasi-projective variety ...
3
votes
1
answer
250
views
Symmetric differential forms on moduli space of curves
Do there exist regular symmetric differential forms on $\overline{\mathcal{M}}_{g,n}$ the DM-stack of stable genus $g$ curves with $n$ marked points? By this, I mean nonzero sections $$ \omega \in H^0(...
2
votes
0
answers
98
views
Tangent Space of Moduli of Log-Smooth Curves
We consider an algebraically closed field $\underline{k}$ and all constructions that we will consider are over this field. It is well known that for each relative nodal curve $\underline{f}: \...
1
vote
0
answers
250
views
Questions about the Chow varieties, II
This question is closely related to my previous question.
Recently, I find another version of the open Chow variety in János Kollár's book Families of varieties of general type. I guess that (3.5) and ...
4
votes
0
answers
515
views
Questions about the Chow varieties
In Lecture 21 of Joe Harris's famous textbook "Algebraic geometry: a first course", he introduced the concept of Chow varieties. In Theorem 21.2, he says that the open Chow variety has ...
2
votes
0
answers
155
views
Inclusion of boundary strata of moduli of curves: induced map on tangent spaces
$\DeclareMathOperator\Ext{Ext}$Let $C \in \bar{\mathcal{M}}_g$ be a nodal curve. It is a classical result that the tangent space of $\bar{\mathcal{M}}_g$ at $C$ is given by
\begin{align*}
T_C \bar{\...
1
vote
0
answers
180
views
Moduli stack of l-adic sheaves?
Let us work over a field $k$. Then for any smooth affine group scheme $G$ over $k$, we can consider the stack quotient $BG := [\text{pt} / G]$ which classifies étale $G$-torsors.
Let $\ell$ be a prime ...