Questions tagged [geometric-invariant-theory]
for questions on geometric invariant theory (or GIT), including stability criteria and symplectic quotients.
242 questions
1
vote
0
answers
86
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 ...
- 930
7
votes
1
answer
835
views
Intuition for Luna's Étale Slice Theorem
I am trying to understand the intuition for Luna's Étale Slice Theorem in the affine setting over $\mathbb{C}$.
Here is the setup. Let $X$ be an affine algebraic variety and $G$ a reductive group ...
- 7,320
2
votes
1
answer
563
views
Proposition 1.5 in Mumford's Geometric Invariant Theory
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Pic{Pic}\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\pr{pr}$I have some problems to understand the proof of Proposition 1.5 from Mumford's ...
- 6,006
1
vote
0
answers
275
views
Corollary 1.6 in Mumford's Geometric Invariant Theory
I do not understand fully the proof of Corollary 1.6 from Mumford's Geometric Invariant Theory (§3: Linearization of an invertible sheaf, p 35):
Corollary 1.6
$\DeclareMathOperator\Spec{Spec}\...
- 12.9k
4
votes
1
answer
255
views
Example of a line bundle not admitting a $\operatorname{PGL}(n+1)$-linearization in Mumford's GIT
$\DeclareMathOperator\PGL{PGL}\DeclareMathOperator\Proj{Proj}\DeclareMathOperator\Pic{Pic}$I have a question about an example for a line bundle not admitting a
$G$-linearization from Mumford's GIT, ...
- 6,006
1
vote
0
answers
95
views
Is $U\subseteq X^{s}(L)$?
Let $X$ be an irreducible affine variety over an algebraically closed field $\mathbb{K}$ of characteristics $0$. Let $G$ be a connected, linearly reductive, affine algebraic group acting regularly on $...
- 839
2
votes
0
answers
98
views
What is the natural linearization on differentials?
Let $\Bbbk$ be a field. Let $G$ be an affine algebraic group over $\Bbbk$. Let $X$ be a scheme over $\Bbbk$. Let $G$ act on $X$ with the action morphism $\sigma:G\times X\to X$. There are two ...
- 63.9k
1
vote
0
answers
118
views
Exists $G$-equivariant embedding with faithful representation of $G$?
Let $k$ be a field of characteristic zero and $G$ a reductive group over $k$. Furthermore, let $X$ be a projective $k$-variety with a $G$-action. Then we know, for example from Mumfords book about GIT,...
- 63.9k
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 ...
- 9,497
0
votes
0
answers
235
views
Relationship between vector bundles and modules
THE GROTHENDIECK RING IN GEOMETRY AND TOPOLOGY - M.F. ATIYAH
§1. The Grothendieck ring in homotopy theory
I am going to be talking about vector bundles, i.e. fibre bundles with
fibre a vector space ...
- 61
4
votes
0
answers
173
views
Bondal-Orlov conjecture on Calabi-Yau varieties
Recently, I am trying to study the various progress made on the Bondal-Orlov conjecture: Birational Calabi-Yau varieties ⟹ Equivalent derived categories.
I have started reading the paper by Bridgeland ...
- 345
1
vote
0
answers
147
views
Question regarding Hilbert scheme of points
$\DeclareMathOperator\SL{SL}$Let us consider $\SL(2,\mathbb{C})$ quotients of $(\mathbb{P^1})^n$ in the following sense. We consider diagonal action of $\SL(2,\mathbb{C})$ over $(\mathbb{P^1})^n$ ...
- 12.9k
3
votes
0
answers
164
views
Class of finite quotient affine space in Grothendieck ring of varieties
Let $G$ be a finite group acting linearly on affine space $\mathbb{A}^n_k$ over $k = \mathbb{C}$. Since the action is linear, it can be extended to an action of $\operatorname{GL}_n(\mathbb{C})$, ...
- 12.9k
1
vote
1
answer
186
views
On the trivialization of the sheaf of kahler differentials on the G-invariant topology
Let $X$ be a connected, smooth affine algebraic variety over an algebraically closed field $K$ of characteristic zero. Assume we have a finite group $G$ acting on $X$ by morphisms of $K$-schemes. ...
- 44.7k
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 ...
- 12.9k
3
votes
1
answer
260
views
Invariants of general linear groups under torus action
Let $G=GL_n$ be the general linear group (let's say over an algebraically closed field of char $=0$). Let's denote as $T$ the torus of diagonal matrices: is there an explicit description of the ...
- 149k
7
votes
1
answer
397
views
Is there a Chevalley map for spherical varieties?
If $G$ is a reductive group, $T$ a maximal torus and $W$ its Weyl group the Chevalley restriction theorem (in its "multiplicative" version) gives an isomorphism between the GIT quotient of $...
- 15.5k
1
vote
0
answers
176
views
When the action of reductive group on algebraic variety is not equidimensional?
I saw the question When is an almost geometric quotient flat? which said
"The quotient $\pi$ is flat if and only if $\pi$ is equidimensional and $X$ is smooth".
I am curious is there an ...
- 63.9k
2
votes
0
answers
271
views
In GIT, why are the semistable/unstable loci defined pointwise, instead of defining semistable/unstable subschemes?
Let $k$ be an algebraic closed charateristic zero field. Let $G$ be a reductive group over $k$ and let $X$ be a scheme (not necessarily separated) of finite type over $k$. Let $L$ be a line bundle ...
- 930
5
votes
1
answer
343
views
About closed points in symmetric product schemes over a finite field
Let $k=\mathbb{F}_q$ be a finite field with $q$ elements and let $X$ be a quasi-projective $k$-scheme. I saw somewhere claims the following results (without explanation):
Let $N$ be a positive ...
- 1,906
1
vote
0
answers
144
views
Non-empty stable locus of an irreducible component
I have a vague question:
Let $X$ be an algebraic pre-scheme and $G$ be a linear reductive group. Consider the G.I.T. quotient $X{/\!/}G$. Is there any result (maybe in some special case) which tells ...
- 839
4
votes
1
answer
257
views
Question regarding semistability of a point of GIT quotient
$\DeclareMathOperator\SL{SL}$I am currently looking at the paper titled "$\SL(2,\mathbb{C})$ quotients de $(\mathbb{P^1})^n$" by Marzia Polito. The author has considered diagonal action of $\...
- 166
2
votes
0
answers
70
views
Nontrivial Invariants of trilinear functionals
The group $\operatorname{SL}(n_1,\mathbb{C}) \times \operatorname{SL}(n_2,\mathbb{C}) \times \operatorname{SL}(n_3,\mathbb{C})$ acts on ${\mathbb C}^{n_1} \otimes {\mathbb C}^{n_2} \otimes {\mathbb C}^...
- 12.9k
8
votes
0
answers
235
views
Stability of nodal hypersurfaces
We denote by $\Pi_{n,d}$ the space of homogeneous polynomials of degree $d$ in $n+1$ variables $x_0,\ldots,x_n$, i.e. $\Pi_{n,d}=\Gamma(\mathbb{P}^n(\mathbb{C}),\mathcal{O}(d))$. The group $G=SL(n+1)$ ...
3
votes
0
answers
175
views
Nef cone of a GIT quotient
I want to know how to calculate nef cone of a GIT quotient. In particular let $X$ be a projective variety and $L$ be an ample line bundle on $X$ and $G$ be a reductive algebraic group and chosen a $G$ ...
- 61
11
votes
2
answers
684
views
Invariants of $\mathrm{GL}_n$ representations
$\DeclareMathOperator\GL{GL}$Let $V=\mathbb C^n$ be the natural representation of $\GL_n(\mathbb C)$ and let $W=\operatorname{Sym}^2(V)$ be the symmetric square representation. Let $W^k$ denote the ...
- 63.9k
10
votes
2
answers
1k
views
Fukaya categories of hyperkahler reductions: general request for information
I'd really like to hear any references or information people have about the Fukaya categories of hyperkahler reductions of vector spaces (for more informations on the varieties, see Nick Proudfoot's ...
- 35.5k
2
votes
0
answers
184
views
Finding étale slices
I'm trying to understand Luna's étale slice theorem by computing some examples. The theorem is usually phrased as an existence result. I wondered if there was a natural way to figure out the slice at ...
- 12.9k
5
votes
2
answers
269
views
Group actions on affine varieties with closed orbits
The following is motivated by a (now-deleted) MSE-question by @aglearner.
Suppose that $X\subset {\mathbb C}^n$ is an affine subvariety, equipped with the classical (Euclidean) topology. Consider the ...
- 12.9k
0
votes
0
answers
129
views
Quotient $(V -S)/G$ is a quasi-projective variety for every closed $S \subset V$ with free $G$-action
I have a question about the statement of Remark 1.4 following on Thm 1.3 from Burt
Totaro's paper "The Chow Ring of a Classifying Space" (p. 4):
Let $G$ be a reductive group over a field $k$....
- 6,006
7
votes
3
answers
1k
views
Applications of non-reductive GIT
Geometric invariant theory works well when the algebraic group $G$ acting on a variety is reductive. There has been recent work by Doran and Kirwan here and here to find a canonical method of ...
- 35.5k
11
votes
3
answers
2k
views
Toric varieties as quotients of affine space
One way to define toric varieties is as quotients of affine $n-$space by the action of some torus. However, this is not strictly true as we need to throw away "bad points" which ruin this construction....
- 35.5k
1
vote
0
answers
86
views
If algebraic group $G$ acts faithfully on a $G$-qp variety $X$, then $G$ has a Faithful projective representation
In Michel Brion's survey on Linearization of algebraic group actions
is stated in Examples 3.2.2.(iv) following claim p 17
without proof:
We fix an algebraic group $G$ over field $k$ (of arbitrary ...
- 6,006
17
votes
3
answers
2k
views
Variety of commuting matrices
Let $G=\operatorname{GL}(n,\mathbb{C})$ and $\mathfrak{g}=\operatorname{Mat}(n,\mathbb{C})$ and let us consider the two varieties $X,Y$ defined as $$X=\{(x,y) \in G \times G \ | \ xy=yx\} $$ and $$Y=\{...
- 8,529
10
votes
2
answers
994
views
Character variety of the free group
A classical result of Fricke--Klein--Vogt from the late 1800s implies that the character variety $\chi_\mathbb{C}$ associated to the free group $F_2$ and the algebraic group $\mathrm{SL}_2(\mathbb{C})$...
- 10.7k
2
votes
0
answers
290
views
GIT-quotients of projective-over-affine varieties
Given an action of a reductive group on a projective-over-affine variety, what are the conditions for its GIT-quotient to be again a projective-over-affine?
There is a very nice set of slides about ...
- 12.9k
6
votes
3
answers
2k
views
Verifying claims in the proof of the Rigidity Lemma (Mumford, GIT)
In Chapter 6 of Mumford's Geometric invariant theory, during the proof of the rigidity lemma, there are two statements I'm not sure how to verify. The general setup is:
$p : X \rightarrow S$ is flat,...
- 443
3
votes
2
answers
543
views
Actions with finite stabilizer
Consider a affine variety $X$ over the field of the complex numbers, and an action of a reductive group $G$ on $X$ (I will consider the case of $G$ not finite, in particular $G=\mathbb{C}^*$). Reading ...
- 1,908
4
votes
1
answer
277
views
Jordan decomposition on the dual Lie algebra
$\newcommand\fg{\mathfrak g}\newcommand\gl{\mathfrak{gl}}\DeclareMathOperator\Ad{Ad}\DeclareMathOperator\GL{GL}$Let $k$ be an algebraically closed field, and let $G$ be a smooth, affine algebraic ...
CommunityBot
- 1
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 \...
- 921
5
votes
1
answer
605
views
Invariant section of a linearized sheaf
I am struggling to understand what an invariant section with respect to a linearization of a line sheaf is. In Geometric Invariant Theory, given a $k$-scheme $X$ (being $k$ an algebraically closed ...
- 9,650
3
votes
1
answer
303
views
Why is the image of closed invariant subsets closed? Mumford, GIT, Theorem 1.1
I'm currently studying Mumford's Geometric Invariant Theory. Unfortunately, I'm stuck understanding a detail in Theorem 1.1.
(Partial) Claim of Theorem 1.1
Let $X = \operatorname{Spec} R$ be an affine ...
- 26
1
vote
0
answers
362
views
Invariant ring of linear algebraic groups
Let $G$ be a connected linear algebraic group. This question concerns Hilbert's 14th Problem for the adjoint action of $G$ on itself. Let $k[G]^G$ denote the algebra of regular functions on $G$ ...
- 2,751
3
votes
0
answers
147
views
A good stratification of a variety on which an algebraic group acts
Let $X$ be an algebraic variety over an algebraically closed field $k$ of characteristic 0
(a reduced separated scheme of finite type over $k$).
Let $G$ be a connected linear algebraic group over $k$ (...
- 14.2k
5
votes
1
answer
450
views
Invariant ideal generated by invariant elements
Let $G$ be a complex reductive group acting linearly on $\mathbb{C}^n$ and let $X$ be a $G$-invariant closed subvariety of $\mathbb{C}^n$. Is $X$ the zero-set of finitely many $G$-invariant functions?
...
- 2,851
0
votes
0
answers
115
views
Equivalence between coactions and actions plus a linearization line bundle
Let $G$ be an algebraic group over a field $k$, and $\mathbb{P}(V)$ is a projective space. Then Mumford said in his book Geometric Invariant Theory that there's a equivalence between the set of all ...
- 123
2
votes
1
answer
151
views
Geometric quotients obtained by throwing away limits
Set-up: Consider the action of $\mathbb{C}^*$ on $\mathbb{C}^4$ defined as follows: $(t,(x,y,z,w))=(tx,ty,t^{-1}z,t^{-1}w)$. I know that the affine GIT quotient is equal to $$\phi: \mathbb{C}^4 \to \...
- 61
4
votes
1
answer
260
views
Question about valuation and blow up (a lemma in GIT book)
I'm reading Mumford's book Geometric Invariant Theory and confused about the proof of a lemma on Page 91&92:
Lemma:
Let $V_0$ be a smooth surface over an algebraically closed field $k$
with char$...
- 1,093
4
votes
1
answer
279
views
Is quotient of projective scheme over arbitrary base by a finite group also projective
This question probably follows from standard geometric invariant theory. If true I'd to know a reference for it.
Given a projective scheme $X\rightarrow S$ over the base $S$. Let's assume a finite ...
- 8,529
0
votes
1
answer
686
views
Self duality and anti-self duality of Weyl curvature in four dimension
I am trying to compute explicitly in terms of extrinsic curvature the self dual part $W^+$ and the anti-self dual part $W^-$ of the Weyl tensor $W$ associated with a codimension 1 submanifold into ...
- 11