All Questions
15 questions
3
votes
1
answer
131
views
Finer classification of semistable sheaves
Usually in the moduli space of semistable sheaves, two semistable sheaves correspond to one point if and only if they are S-equvialent, i.e. the graded objects associated to their Jordan-Holder ...
11
votes
1
answer
938
views
An easy textbook for geometric invariant theory and moduli space which makes use of scheme theory
I would like to study geometric invariant theory and moduli theory.
It seems that a standard textbook for these fields is "Geometric Invariant Theory" written by D.Mumford, J.Fogarty and F....
6
votes
0
answers
679
views
Learning about moduli spaces of sheaves
I am a Ph.D. student and starting a side project with a fellow student on Moduli spaces. Our plan was to start with the book on Invariants and Moduli by Mukai (starting from chapter 5) and use the ...
6
votes
0
answers
591
views
Affine GIT quotients and the excursion algebra in Fargues–Scholze
Some background:
Let us fix a non-archimedean local field $E$ with residue characteristic $p$, and let $G$ be some connected reductive group over $E$. In [FS, §VIII.1.1] the authors define a moduli ...
2
votes
1
answer
383
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 \...
1
vote
0
answers
153
views
Descent of projective bundles
A problem studied in GIT is the descending of vector bundles (or more in general coherent sheaves) to quotients.
It is a result of Kempf that whenever we have a vector bundle over a quasiprojective ...
5
votes
0
answers
347
views
Good quotients and coarse moduli spaces
I started study the moduli space theory, by Newstead's book ''Lectures on moduli problems and orbit spaces". Theorem 3.21 says that given a variety $X$ and a line bundle $L$ over $X$, then for any L-...
1
vote
1
answer
351
views
GIT quotients of open subsets
Let X be a projective variety on with a action of reductive group G. Let L be a G Linearised ample line bundle on X. Let U be a G stable open subset of X. Let $U^{ss}:=X^{ss}\cap U$. Is it true that $...
1
vote
0
answers
189
views
Mumford's claim on the quasi-projectiveness of the coarse moduli of ppav over $\mathbb{Z}$
In paragraph 3 of chapter 7 of Mumford's Geometric Invariant Theory, the author proves that the coarse moduli space $A_{g,d,n}$ of abelian varieties of dimension $g$, with a degree $d^2$ polarization ...
3
votes
0
answers
364
views
Choosing a group action to do GIT of hypersurfaces
When studying GIT stability of hypersurfaces $d$ of $\mathbb P^n$ we look at the Hilbert Scheme $H=\mathbb P^N$ parametrizing homogeneous polynomials $f_d(x_0,\ldots,x_n)$ of degree $d$. There is ...
4
votes
0
answers
520
views
A quotient stack question
Let $X$ be a proper Deligne-Mumford stack, whose normalization, $X'$, is a global quotient stack (that is, a stack of the form [W/GL_n],where W is an algebraic space) with a projective scheme as a ...
3
votes
2
answers
334
views
blow up of segre primal and $\mathcal{M}_{0,6}$
The segre cubic primal $X\subset P^4$ is the GIT quotient of 6 points on $P^1$. Let $M_{0,6}$ the DM compactification of the moduli of 6-pointed rational curves. The Segre primal $X$ is a cubic 3-fold ...
2
votes
0
answers
218
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 ...
24
votes
2
answers
4k
views
Why is the degree:rank ratio of a vector bundle called its "slope"?
Whenever one studies moduli spaces of vector bundles on curves, one of the first things to be introduced is the "slope" of a vector bundle, i.e., its degree:rank ratio. Is there a nice (preferably ...
19
votes
6
answers
4k
views
Why and how are moduli spaces of (semi)stable vector bundles well-behaved?
The slope of a vector bundle $E$ is defined as $\mu(E) = \deg(E)/\mathrm{rank}(E)$. Then a vector bundle $E$ is called semistable if $\mu(E') \leqslant \mu(E)$ for all proper sub-bundles $E'$. It is ...