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.

370 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers
361 views

Which curves cut the Hyperelliptic locus?

Consider the moduli space $\mathcal{A}_{g,n}$ of abelian varieties with some level $n \geq 3$ structure. For simplicity, we just denote it by $\mathcal{A}_{g}$ and drop $n$. Denote the locus of ...
Jack's user avatar
  • 637
2 votes
0 answers
223 views

Possible slope for a modular form

Let $f\colon \mathbb{H}_g \to \mathbb{C}$ be a Siegel modular form of weight $k$ with respect to $\Gamma_g$. Then, $f$ admits a Fourier expansion $f(Z) = \sum_T a(T) \exp(i\pi \mathop{tr} TZ)$, where $...
Stefano Pascolutti's user avatar
2 votes
0 answers
217 views

Level n-structure as defined by Mumford in GIT

In Mumford's GIT, the definition of level $n$ structure ($n \geq 2)$ is $2g$ sections $\{\sigma_1, \dots, \sigma_{2g}\} : S \rightarrow A$ such that two conditions hold: (i) For geometric points the ...
rghthndsd's user avatar
  • 419
2 votes
0 answers
303 views

Moduli space of points of fixed order N on elliptic curves

Let us consider the moduli space $Y_1(N)$, parametrizing an elliptic curve, together with a choice of a point of N-torsion on it. Over the complex numbers, it is easy to see that this moduli space is ...
Math's user avatar
  • 63
2 votes
0 answers
271 views

Is there an algebraic analogue of the degeneration of riemann surfaces in M_g

Degeneration of certain functions such as theta functions or Green's functions in the moduli space $\overline{\mathcal{M}_g}$ of stable curves of genus $g$ has been studied quite alot. The idea is to ...
Tamed's user avatar
  • 63
2 votes
0 answers
252 views

Projectivized Normal Cone to Satake Compactification

Let $\mathcal{A}_g$ be the moduli space of principally polarized abelian varieties over $\mathbb{C}$. There exists a compactification, the Satake compactification, which is minimal and has the ...
Charles Siegel's user avatar
2 votes
0 answers
684 views

Vector bundles on some non-projective surfaces

Let $X$ be a smooth projective curve over a field $k$ and let $L$ be a line bundle on $X$. I will denote by $S$ the total space of $L$ -- this is a smooth surface over $k$ containing $X$ (as the zero ...
Alexander Braverman's user avatar
2 votes
0 answers
177 views

How to characterize good "models" of a category

Let ${\bf Cat}$ denote the category of small categories. Recall that for a category $\mathcal{C}$ and a functor $F\colon\mathcal{C}\to{\bf Cat}$, the Grothendieck construction of $F$, which I'll ...
David Spivak's user avatar
  • 8,549
1 vote
0 answers
82 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]} \...
Alexander Golys's user avatar
1 vote
0 answers
87 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 ...
LittleBear's user avatar
1 vote
0 answers
225 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 ...
LittleBear's user avatar
1 vote
0 answers
167 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 ...
user577413's user avatar
1 vote
0 answers
80 views

What is the meaning of universal family of Fulton Macpherson configuration space?

Fulton and Macpherson suggests the way to compactify the set of $n$-labelled distinct point on variety in their paper, "A Compactification of Configuration Spaces" In this paper, the process ...
ChoMedit's user avatar
  • 265
1 vote
0 answers
132 views

Locus where a family of cycles is rationally trivial is closed?

Let $B$ be a smooth quasi-projective variety over a field of characteristic zero. Let $\pi\colon \mathcal{X} \rightarrow B$ be a smooth and projective morphism with geometrically integral fibres. Let $...
Jef's user avatar
  • 949
1 vote
0 answers
130 views

Chainsaw quiver variety and parabolic bundle

How can we relate chainsaw quiver varieties with ADE type Nakajima quiver varieties? We know that we can obtain ADE type quiver varieties (instantons over ALE spaces) by taking $\Gamma$ equivariant ...
TaiatLyu's user avatar
  • 111
1 vote
0 answers
126 views

What is bad when stabilizers are non-reductive in moduli stacks?

Here is J. Alper's definition of good moduli spaces. Consider in characteristic zero. Then we see that the classifying stack of any non-reductive group $H$ does not have a good moduli space. In ...
Display Name's user avatar
1 vote
0 answers
42 views

Homology groups of moduli of parabolic bundles with fixed determinant

I am looking for the Homology groups of the moduli space of stable parabolic bundles over a smooth projective curve with fixed determinant. In particular, what is the second homology group of such ...
yors's user avatar
  • 195
1 vote
0 answers
64 views

Local Chart for Teichmuller Space as A Manifold

Let $(R,p_1,…,p_n)$ be a Compact Riemann surface of genus $g$ with $n$ marked points. Its deformation space is $H^1(R, K_R^{-1}\otimes\mathcal{O}(-p_1),…,\mathcal{O}(-p_n))$. From Riemann-Roch theorem,...
CharlieHo's user avatar
1 vote
0 answers
55 views

What is the semistable reduction for sheaves?

Let $\Bbbk$ be an algebraically closed field with characteristic zero. Let $X$ be a projective scheme over $\Bbbk$ and let $L$ be an ample invertible $\mathcal{O}_X$-module. Fix a Hilbert polynomial $...
Display Name's user avatar
1 vote
0 answers
85 views

Intersection of two quadrics as moduli space

Let $Y:=Q_1\cap Q_2\subset\mathbb{P}^{n-1}$ be smooth complete intersection of two quadrics. If $n$ is even, then it admits a semi-orthogonal decomposition: $$D^b(Y)=\langle D^b(C),\mathcal{O}_Y,\...
user41650's user avatar
  • 1,922
1 vote
0 answers
218 views

Moduli space of abelian surfaces

Let $K$ be a finite field with algebraic closure $\overline{K}$. The $j$-invariant gives a bijection between the the affine line $\mathbb{A}_K^1$ and $\overline{K}$-isomorphism classes of elliptic ...
Sebastian Monnet's user avatar
1 vote
0 answers
149 views

Moduli of morphisms between varieties

Let $\mathcal{M}, \mathcal{N}$ be two "well-behaved" (i.e. representable by an algebraic stack parametrising flat, proper, surjective, finitely presented morphisms with geometric fibres ...
Matthias's user avatar
  • 183
1 vote
0 answers
71 views

Action of involution on instanton bundle

Let $Y$ be a quartic double solid and $E$ be an rank two instanton bundle on $Y$. By Serre's correspondence, it is not hard to show that $E$ fits into the following short exact sequence $0\rightarrow\...
user41650's user avatar
  • 1,922
1 vote
0 answers
127 views

Curve without infinitesimal automorphism has no deformation with automorphism

$\DeclareMathOperator\Spec{Spec}$From studying the classical literature on deformation theory, I have the impression that if the identity morphism of a curve $C$ over an algebraically closed field $k$ ...
Matthias's user avatar
  • 183
1 vote
0 answers
73 views

What is the functor of points of the moduli scheme of stable sheaves?

Let $\Bbbk$ be an algebraic closed field of characteristic zero. Let $(\mathrm{Sch}/\Bbbk$ denote the category of locally Noetherian schemes. Let $B$ be a projective scheme over $\Bbbk$. Let $L$ be an ...
Display Name's user avatar
1 vote
0 answers
122 views

A question about Galois group action on sheaves, descent theory and $\mu$-semistable sheaves

Let $f : Y \to X$ be a finite morphism of degree $d$ of normal projective varieties over $k$ of dimension $n$. In Lehn and Huybrechts' book "The Geometry of Moduli Space of Sheaves", there ...
user915579's user avatar
1 vote
0 answers
67 views

$\mu$-polystable locally free sheaf

In Huybrechts and Lehn's book "The Geometry of Moduli Space of Sheaves", a sheaf $E \in Ob(Coh_{d,d-1}(X))$ is polystable if $E \cong \bigoplus E_{i}$ in $Coh_{d,d-1}(X)$, where the sheaves $...
user915579's user avatar
1 vote
1 answer
422 views

Hilbert scheme of divisors in smooth projective varieties

Let $X$ be a smooth projective variety and $L$ be a line bundle with $H^0(X,L)\neq 0$. Let $D\in |L|$ and $p(t)$ be the Hilbert polynomial of $D$. Assume that any effective divisor $D'\subset X$ with ...
Jooh's user avatar
  • 111
1 vote
0 answers
141 views

Moduli interpretation for integral models of PEL Shimura variety at parahoric level?

Kottwitz has built canonical integral models for a large family of PEL Shimura varieties, associated to a certain reductive group $G$ over $\mathbb Q$, when the structure level has the form $K = K_pK^...
Suzet's user avatar
  • 687
1 vote
0 answers
146 views

Semistable curves of genus $g\geq 2$ form an Artin algebraic stack in the etale topology?

I need the reference to a detailed proof the following fact. Let $g\geq 2$ be an integer. Let $\mathcal M^{ss}_g: Sch\rightarrow Groupoids$ be the prestack which sends a scheme $T$ to the groupoid of ...
S.D.'s user avatar
  • 492
1 vote
0 answers
106 views

Does there exist other known pair of Fano threefolds/fourfolds with residue categories being K3/Enriques?

Let $Y$ be a Gushel-Mukai threefold, we can either consider an ordinary Gushel-Mukai fourfold $X$ containing $Y$ as a hyperplane section, or we consider a special Gushel-Mukai fourfold $X'$ as double ...
user41650's user avatar
  • 1,922
1 vote
0 answers
132 views

Extension of a section of a line bundle on a family of curves to the central fibre

I will fix notation: $\Delta = \mathrm{Spec} R$ denotes a discrete valuation ring and $\Delta^*=\mathrm{Spec} K$ for $K=\mathrm{Frac}(R)$. Suppose we are given a curve $\pi:C\to \Delta$ and a line ...
Alekos Robotis's user avatar
1 vote
0 answers
103 views

Computation of semistable model of curve over DVR of mixed characteristic

given a stable curve $C \in \overline{\mathcal{M}_{g,n}}(K)$ over a field $K$ and an DVR $R$ with fraction field $K$ and algebraically closed special point, is there a general technique to compute a ...
Matthias's user avatar
  • 183
1 vote
0 answers
195 views

Ex 1.1c Hartshorne Deformation Theory: Is this family flat?

This comes from my attempt to solve Exercise 1.1c in Hartshorne's Deformation Theory book, which says that a family of conics in $\mathbb{P}^2$ parameterised by some finitely generated $k$-algebra $A$ ...
nolatos's user avatar
  • 151
1 vote
0 answers
70 views

Gluing of hybrid trajectories in Floer homology

In the paper by A. Abbondadolo and M.Schwarz, "On the Floer homology of cotangent bundles" arXiv link, to prove the desired isomorphism between the Floer homology and the Morse homology of ...
Someone's user avatar
  • 761
1 vote
0 answers
76 views

Banach manifold structure on the moduli space of hybrid trajectories

I am reading the paper "On the Floer homology of cotangent bundles", (arXiv link) , by Abbondandolo and Schwarz and in page $35$ to define the isomorphism between the Morse complex and the ...
Someone's user avatar
  • 761
1 vote
0 answers
136 views

Koszul cohomology and nodal curves

In M. Aprodu, G. Farkas - Koszul Cohomology and Applications to Moduli, arXiv:0811.3117 [math.AG], proof of Theorem(s) 4.5 (and 4.12), the authors constructed a semistable nodal curve $C^{\prime}$ of ...
Armando j18eos's user avatar
1 vote
0 answers
84 views

Moduli of semistable sheaves as fiber bundle

Let $X$ be a smooth projective variety over a field of char 0, and $F$ a stable $\mathscr{O}_X$-module of rank $r$ and determinant bundle $Q$. There is a natural morphism $\operatorname{det}:M\to \...
schuming's user avatar
  • 141
1 vote
0 answers
146 views

Properness of Hom-schemes for finite group schemes

In SGA 3 XI proposition 3.12 (b) (https://webusers.imj-prg.fr/~patrick.polo/SGA3/Expo11.pdf) It is shown that: If $G$ is an affine group scheme over a base $S$ and $H$ is a finite group scheme over $S$...
Anette's user avatar
  • 585
1 vote
0 answers
85 views

semi-orthogonal decomposition of Fano fourfold associated to threefold

Let $Y$ be Gushel-Mukai threefold and $X$ a Gushel-Mukai fourfold containing $Y$ as its hyperplane section, the semi-orthogonal decomposition of $X$ and $Y$ are both known. Also, for cubic fourfold ...
user41650's user avatar
  • 1,922
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
1 vote
0 answers
139 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
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
0 answers
257 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
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
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
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
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
1 vote
0 answers
151 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,948
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\...
Aoki's user avatar
  • 297

1
4 5
6
7 8