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.

Filter by
Sorted by
Tagged with
3 votes
0 answers
185 views

Derived Chow varieties

I recently encountered the "Hidden Smoothness Principle" envisioned by Deligne, Drinfeld, Beilinson, Kontsevich that singularities occurring in certain moduli spaces is the consequence of ...
user127776's user avatar
  • 5,821
4 votes
1 answer
602 views

$\text{Bl}_{\Delta}(X\times X)$ as the "Hilbert scheme" of ordered two points on $X$

$\DeclareMathOperator\Bl{Bl}\DeclareMathOperator\Hilb{Hilb}\DeclareMathOperator\Sym{Sym}\newcommand\Sch{\mathit{Sch}}\newcommand\Sets{\mathit{Sets}}$Let $X$ be a smooth variety. The Hilbert scheme of ...
AG learner's user avatar
  • 1,701
1 vote
0 answers
115 views

Local description of the universal family $\pi: \overline{\mathbf{U}}_{0,n} \longrightarrow \overline{\mathbf{M}}_{0,n}$

I would like to get an understanding of the notion of geometric fibers of the universal family: $$\pi: \overline{\mathbf{U}}_{0,n} \longrightarrow \overline{\mathbf{M}}_{0,n}.$$ In fact Knudsen show ...
Joseph's user avatar
  • 31
2 votes
0 answers
147 views

Normal bundle of a Fano threefold as Brill-Noether loci

Let $X$ be a degree 12 or degree 16 index one prime Fano threefold. In the paper of Mukai https://arxiv.org/pdf/math/0304303.pdf page 500, Theorem 4 and Theorem 5. He said $X_{12}$ has two ambient ...
user41650's user avatar
  • 1,922
2 votes
0 answers
164 views

Symplectic structure on moduli space of holomorphic Abelian differentials

I've heard a "symplectic structure" referred to on the moduli space of holomorphic Abelian differentials by numerous people / sources. I do not know how to interpret this - I am looking for ...
John Rached's user avatar
6 votes
2 answers
440 views

Why is the scheme of isomorphisms of sheaves affine over the base?

Suppose $S$ a noetherian base scheme, $X \to S$ is projective and $F, G$ are coherent $\mathcal O_X$-modules. Then by EGA (7.7.8) and (7.7.9) there exists a scheme $H = \underline{\operatorname{Hom}}...
red_trumpet's user avatar
  • 1,061
2 votes
0 answers
159 views

Conics on Gushel-Mukai fourfold

Let $X$ be a very general Gushel-Mukai fourfold, let $\mathcal{U}$ be the tautological sub-bundle and $\mathcal{Q}$ be the tautological quotient bundle. Let $C\subset X$ be a $\rho$-conic, then $\...
user41650's user avatar
  • 1,922
3 votes
0 answers
50 views

Asymptotical equidistribution of index $p$ subgroups of $\mathbb Z^2$ on the unit tangent bundle of the modular curve

Given a prime $p$ we get $p+1$ sublattices of index $p$ in $\mathbb Z^2$ (identified with $\mathbb Z[i]\subset \mathbb C$) which correspond to some points on the moduli space of such lattices up to ...
Roland Bacher's user avatar
3 votes
0 answers
116 views

Absolutely indecomposable objects and moduli space

In the setting of moduli spaces of vector bundles/quiver representations etc I've encountered a few times situations like the one that I'll try to explain thereafter .I was wondering if there's a &...
Tommaso Scognamiglio's user avatar
15 votes
3 answers
655 views

Height functions on $\mathcal{M}_g(\overline{\Bbb{Q}})$ defined via dessins d'enfants?

Belyi's theorem establishes a correspondence between smooth projective curves defined over number fields and the so called dessins d'enfants which are bipartite graphs embedded on an oriented surface ...
KhashF's user avatar
  • 2,588
4 votes
0 answers
127 views

Parameter spaces for conic bundles

A conic bundle over $\mathbb{P}^n$ is a morphism $\pi:X\rightarrow\mathbb{P}^n$ with fibers isomorphic to plane conics. A conic bundle $\pi:X\rightarrow\mathbb{P}^n$ is minimal if it has relative ...
user avatar
1 vote
0 answers
138 views

Codimension of the complement of the stable locus

Let $\mathcal{M}$ denote the moduli space of semistable vector bundles of fixed rank and degree over a compact Riemann surface $X$. Let $\mathcal{M}^s \subset \mathcal{M}$ be the moduli of stable ...
yors's user avatar
  • 195
2 votes
2 answers
382 views

What is the pull-back of a polarization of abelian schemes over different bases?

The following came up when reading the definition of the moduli stack of principally polarized abelian varieties in [1]. Let $\pi_1:A_1 \to S_1$ and $\pi_2: A_2 \to S_2$ be abelian schemes over $S_i$, ...
red_trumpet's user avatar
  • 1,061
1 vote
1 answer
259 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 $\...
Tommaso Scognamiglio's user avatar
2 votes
0 answers
155 views

Mirzakhani's length function integration formulas and representation varieties

Mirzakhani develops a method to integrate geodesic length functions on moduli space by considering circle bundles over moduli space given by level sets of these functions. There are natural circle ...
John Rached's user avatar
3 votes
2 answers
450 views

Moduli stack of quiver representations

Let $Q$ be a finite quiver. As far as I know there's a great amount of work concerning the so-called quiver varieties one can associate to it. Loosely speaking, these are obtained by taking GIT ...
Tommaso Scognamiglio's user avatar
1 vote
0 answers
111 views

On stability of coherent sheaves over a quasiprojective variety

Let $X$ be a smooth projective variety of dimension $n$ and $L$ be an ample line bundle on $X$. For any coherent sheaf $E$, one can define the first Chern class $C_1(E)$ and degree of $E$ to be $C_1(E)...
user avatar
1 vote
1 answer
166 views

Moduli spaces of horizontal curves

Let $f:X\rightarrow Y$ be a morphism of projective varieties. We may assume that $X$ and $Y$ are smooth, and $f$ is flat of relative dimension one. Fix an ample divisor $A$ on $X$. I would like to ask ...
Puzzled's user avatar
  • 8,832
1 vote
0 answers
256 views

Mirzakhani's work and surfaces with marked points on the boundary

Mirzakhani proved identities for the lengths of geodesic curves on Riemann surfaces of genus $g$ and with $n$ boundary components. She used these to provide an integration scheme over the ...
giulio bullsaver's user avatar
2 votes
1 answer
331 views

$G$-invariant morphism and coarse moduli spaces

Let $G$ be an algebraic group acting on $X$ (a finite type scheme on $k$). A $G$-invariant $k$-morphism $f : X \rightarrow S$ is a map such that the following commute: $\require{AMScd}$ \begin{CD} G \...
merlino's user avatar
  • 45
5 votes
2 answers
505 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 ...
Tommaso Scognamiglio's user avatar
3 votes
1 answer
197 views

Ricci curvature of the Weil-Petersson metric?

Let $\omega_{\text{WP}}$ denote the Weil-Petersson metric associated to a family of Calabi-Yau manifolds. That is, let $f : X \to Y$ be a surjective holomorphic map with connected fibres such that, ...
AmorFati's user avatar
  • 1,349
1 vote
0 answers
131 views

Bubbling of disks when proving compactness properties in Lagrangian floer cohomology

When defining lagrangian floer cohomology , as it's done in the paper "Floer cohomology of lagrangian Intersections and pseudo holomorphic disks I,II" we will need to look into the ...
Someone's user avatar
  • 761
3 votes
0 answers
162 views

Why is a rational divisor class on $\overline{\mathcal{M}}_g$ determined by its values on families not mapping into a given subvariety?

This question is about Exercise 3.90 on page 143 of the book "Moduli of Curves" by Harris & Morrison. To avoid defining stacks, the authors define a "rational divisor class on the ...
user555203's user avatar
1 vote
0 answers
22 views

The uniqueness of some semistable torsion free sheaves on Fano threefold

Let $X$ be a prime Fano threefold of index one and even genus $g\geq 6$, one can show that the moduli space of torsion free semistable sheaves $M(2,1,m_g)$ with $m_g=\left \lceil{\frac{g+2}{2}}\right \...
user41650's user avatar
  • 1,922
3 votes
1 answer
392 views

Intuition for points of the moduli of objects for a dg-category

Problem summary: I'm trying to get some intuition for what the moduli space of objects for a dg-category (as in this paper by Brav and Dyckerhoff) actually looks like/how to give an alternative ...
derryberry's user avatar
8 votes
0 answers
276 views

Infinitely many nonempty Seiberg-Witten moduli spaces

The classic "finiteness" statement in Seiberg-Witten (SW) theory is that, for any smooth closed connected 4-manifold, there are only finitely many spin-c structures with nontrivial SW ...
Chris Gerig's user avatar
  • 17.1k
1 vote
0 answers
102 views

Tangent space of moduli of stable vector bundles

I'm new to this area, so it may very well be possible that I may be missing something easy here. Let $E$ be a stable complex vector bundle over $X$ of degree $d$ and rank $n$. Then the moduli space $\...
cr1t1cal's user avatar
  • 755
2 votes
1 answer
205 views

Picard group of moduli of principal bundles

I am looking for the Picard group of the moduli space of principal $G$-bundles for a connected reductive complex algebraic group $G$. Is it isomorphic to $\mathbb{Z}$? If not, what can we say when $G=\...
yors's user avatar
  • 195
4 votes
1 answer
359 views

$Ext$-algebra of stable vector bundles

Let $X$ be a smooth projective variety over $\mathbb{C}$ and $E$ a slope-stable vector bundle on $X$ with regard to some ample line bundle $H$. Question: What can we say about the algebra structure of ...
Nico Berger's user avatar
1 vote
1 answer
235 views

How can I get the scheme-theoretic support of coherent sheaf on a ruled surface with linear Hilbert bipolynomial ax+by+c?

I have pure sheaves of dimension 1 on a ruled surface, in paticular the Hirzebruch surface F$_e$=P($O \oplus O(-e)$) with linear Hilbert bipolynomial $P(x, y)=ax+by+c$. A sheaf $E$ is pure of ...
H.S. Kim's user avatar
3 votes
1 answer
270 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 ...
Tommaso Scognamiglio's user avatar
3 votes
1 answer
312 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,...
Tommaso Scognamiglio's user avatar
5 votes
1 answer
530 views

Tangent Space of the Hodge bundle on the moduli space of curves

Let $k$ be an algebraically closed field and $\mathcal M_g$ denote the moduli space (stack) of smooth curves of genus $g$ over $k$. Using the universal curve $\pi \colon \mathcal C_g \to \mathcal M_g$,...
Fabian Ruoff's user avatar
1 vote
1 answer
271 views

Tangent space to spaces of maps

Let $B = \{x_1,\dots,x_{d-2},y_1,\dots,y_k\}$ be a subscheme of $d-2+k$ distinct points of $\mathbb{P}^1$, and $g:B\rightarrow \mathbb{P}^2$ be a morphism mapping $x_1,\dots,x_{d-2}$ to a fixed point $...
Puzzled's user avatar
  • 8,832
5 votes
1 answer
417 views

Jumping conics in Grassmannians

Let $Gr(1,n)$ be the Grassmannian of lines in $\mathbb{P}^n$, and $f:\mathbb{P}^1\rightarrow Gr(1,n)$ a morphism of degree two. The pull-back $f^{*}S$ of the tautological bundle $S$ on $Gr(1,n)$ ...
Puzzled's user avatar
  • 8,832
5 votes
1 answer
108 views

Connection between braided tensor categories and local systems on moduli of stable marked genus zero curves

I'm looking for references regarding an unpublished Deligne's manuscript "Une descrption de catégorie tressée (inspiré par Drinfeld)" and the subject it touches, that is described in the ...
Rebour's user avatar
  • 53
3 votes
1 answer
244 views

Moduli spaces and conic bundles

The moduli space $A_2(1,8)^{\operatorname{lev}}$ of $(1,8)$-polarized abelian surfaces with canonical level structure has a structure of conic bundle over $\mathbb{P}^2$ with a curve of degree $4$ as ...
Puzzled's user avatar
  • 8,832
1 vote
0 answers
125 views

Schur's lemma for sheaves with different reduced Hilbert polynomials

Recall Schur's Lemma for Gieseker-semistable sheaves, in particular the injectivity statement: Let $\psi : F \to G$ be a morphism of Gieseker-semistable sheaves. If $p(F)=p(G)$ and $F$ is stable, ...
alg_et_geom's user avatar
2 votes
1 answer
146 views

Degenerations of hyperelliptic coverings

Take six distinct points $p_1,\dots,p_6\in\mathbb{P}^1$ and consider the double covering $f:C\rightarrow \mathbb{P}^1$ ramified over $p_1,\dots,p_6\in\mathbb{P}^1$. Then $C$ is a smooth curve of genus ...
user avatar
3 votes
0 answers
100 views

Relating different parametrizations of moduli space of Riemann surfaces

I would like to understand, as explicitly as possible, how different coordinates on the moduli space of Riemann surfaces are related: On the one hand, there is a parametrization coming from hyperbolic ...
giulio bullsaver's user avatar
6 votes
0 answers
329 views

Rough paths, unparametrized path space, and Kontsevich's moduli space of stable maps

Let $X$ be a manifold. Modulo reparametrization, the path space of $X$ is a groupoid $\Pi_X$. In Kapranov's "Free Lie Algebroids and the Space of Paths", Kapranov constructs an associated ...
John Rached's user avatar
3 votes
0 answers
193 views

Interesting stacks with affine space as coarse moduli

I am looking for examples of Deligne-Mumford stacks whose coarse moduli space is $\mathbb{A}^n$ or at least an open subscheme of $\mathbb{A}^n$ whose complement has codimension $2$. (Thus the whole ...
Lennart Meier's user avatar
3 votes
0 answers
191 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 ...
Dominique Mattei's user avatar
1 vote
0 answers
150 views

Moduli space of genus $g$ curves ${\mathcal{M}_g}$ irreducible by 'Monodromy argument'

I'm reading this post by Charles Siegel on Monodromy Representations and there is a short remark on the proof of irreducibility of moduli space of genus $g$ curves ${\mathcal{M}_g}$ : Just look at ${...
user267839's user avatar
  • 5,938
3 votes
1 answer
309 views

Infinite automorphisms in the moduli of curves

Consider the moduli of smooth curves $M_{g,n}$ (genus $g$, $n$ marked points) and its Deligne-Mumford compactification $\overline{M}_{g,n}$ of stable nodal curves (genus $g$, $n$ marked points). This ...
StableCurves's user avatar
4 votes
1 answer
265 views

Torelli theorem for stable vector bundle

Let $X, X^{\prime}\colon$ smooth projective curve on $\mathbb{C}$ (genus $\geq 3$), $M(r,d)\colon$ coarse moduli of stable vector bundles with rank $r\geq2$, and degree $d$ , and $M(r,\xi)\colon$ ...
Aoki's user avatar
  • 297
1 vote
1 answer
134 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 ...
AshyK's user avatar
  • 137
3 votes
1 answer
384 views

de-Rham moduli space over a compact Riemann surface

Let $X$ be a smooth projective curve over $\mathbb C$ and $M_{dR}$ denote the moduli space of stable $\Lambda$-connections of fixed rank and degree $0$. Is it known whether $M_{dR}$ is a smooth ...
user131608's user avatar
2 votes
0 answers
91 views

A Subfunctor of Quot-functor compatible with pullbacks

Let $X$ be a smooth projective irreducible algebraic curve over field $k$. For $d,r,k,m >0$ the representable Quot scheme $\mathcal {Quot}_X^{r,d}(\mathcal{O}_X(m)^k)$ is given for any test scheme $...
user267839's user avatar
  • 5,938

1 2
3
4 5
18