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.
7 questions from the last 30 days
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 ...
- 6,622
3
votes
0
answers
103
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 $\...
- 31
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}...
- 834
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). $...
- 1,061
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
129
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
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/\...
- 775