Questions tagged [geometric-invariant-theory]
for questions on geometric invariant theory (or GIT), including stability criteria and symplectic quotients.
242 questions
2
votes
1
answer
249
views
Is there an $SL_n$-invariant functional on the space of rational functions on the projective space $\mathbb P^{n-1}$?
Let the group $SL_n$ act on the projective space $\mathbb P^{n-1}$ in the standard way (both defined over $\mathbb C$).
Is there an $SL_n$-invariant (linear) functional on the space of rational ...
- 3,772
3
votes
1
answer
249
views
Is the irreducible locus of the character variety a principal bundle in Zariski topology?
Let $\Sigma$ be a compact orientable surface and let $G$ be a reductive algebraic group (say, $G=\mathrm{SL}_n(\mathbb{C})$ for simplicity). The representation variety is
$$
X_G(\Sigma) = \mathrm{Hom}(...
- 8,529
4
votes
0
answers
98
views
Is the union of conic orbits for a reductive group Zariski closed?
Let $G$ be a reductive group over an algebraically closed field $k$ of characteristic $p>0$. If $V$ is a rational $G$-module then we can define the Hilbert nullcone $\mathcal{N}(V)$ to be the zero ...
- 599
3
votes
1
answer
288
views
Question on geometric invariant theory
I'm reading Geometric Invariant Theory by Mumford, and confuse about the Proposition 2.4 on P54.
It states that:
Let $G$ be a reductive group, act on an algebraic scheme. Then the action of $G$ on $X$ ...
- 841
2
votes
0
answers
186
views
Determining a toric GIT quotient
Consider the following $G = (\mathbb{C}^*)^{\times 3}$-action on $\mathbb{A}^6$:
$(\lambda_0,\lambda_1,\lambda_2) \cdot (x_0,x_1,x_2,y_0,y_1,y_2) = (\lambda_0x_0,\lambda_1x_1,\lambda_2x_2,\frac{\...
- 197
4
votes
0
answers
113
views
Cover by $K$-invariant affine open sets
Let $X$ be a non-singular complex algebraic variety (quasi-projective if necessary) and $K$ a connected compact Lie group acting on $X$ real algebraically, i.e. the action map $K \times X \to X$ is ...
- 1,383
5
votes
0
answers
246
views
Pseudoreflection groups in affine varieties
Suppose $\mathsf{k}$ is an algebraically closed field of zero characteristic. Chevalley-Shephard-Todd (C-S-T) Theorem in one of its equivalent versions is the following result:
(C-S-T): Let $G$ be a ...
- 3,318
7
votes
1
answer
305
views
An explicit negative solution to the Lüroth problem for non-algebraically closed fields
Let $\mathsf{k}$ be a field of characteristic $0$, and consider $\mathsf{k}(x,y)$.
If $\mathsf{k}$ is algebraically closed, then every field $L$ such that the inclusion $\mathsf{k} \subset L \subset \...
- 18.7k
12
votes
1
answer
502
views
Moduli of smooth curves in $|\mathcal{O}_{\mathbb{P}^1\times\mathbb{P}^1}(2,2)| $ and their invariants
It is well known that any smooth curve
$C\in |\mathcal{O}_{\mathbf{P}^1\times\mathbf{P}^1}(2,2)| $ has geometric genus equal to 1, so its isomorphism class is determined by its $j$-invariant. ...
- 79.9k
4
votes
0
answers
119
views
How big is the complement of stable locus $\operatorname{Bun}G$
Let $\Sigma$ be a smooth projective curve, and $G$ a reductive group. Let $\operatorname{Bun}G$ be the stack of principal $G$ bundles on $\Sigma$ (with a fixed topological type).
What is the ...
- 12.9k
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 ...
- 297
18
votes
1
answer
3k
views
Why is Mumford's GIT-quotient so effective?
According to remark 6.14 in Shigeru Mukai's An introduction to invariants and moduli (unfortunately, the page is not available on Google Books, so I explain it below), the GIT-quotient of an affine ...
- 1,516
4
votes
2
answers
754
views
Finding relations between invariant polynomials
Suppose I have an action of a linear reductive group ($GL(2,\mathbb{C})^2$ in this case) on a complex vector space (of dimension $16$) and I want to compute explicitly the ring of invariants of this ...
- 101
4
votes
0
answers
271
views
Quotients of toric varieties
This is a follow up of this question. Given a toric variety $X$ with a fan $\Sigma$ and a finite group $G$ acting on $X$, we know that the GIT quotient $X/G$ exists. However, as stated in the answer ...
- 63.9k
3
votes
1
answer
190
views
(Co)tangent sheaves to good quotients
Suppose given a variety $X$ over an algebraically closed field $K$, $\mathrm{char}K = 0$, equipped with an action of a reductive group $G$. Suppose also that $X$ admits a good quotient $p\colon X\to Y:...
- 2,305
2
votes
0
answers
306
views
Fiber product arising from reductive group action on varieties
Let $G$ be a reductive group acting on a smooth projective $X$. Let $P$ be a parabolic subgroup of $G$, and $Y$ a locally closed subvariety invariant under $P$. Assume in addition $Y$ is smooth. ( ...
- 63.9k
5
votes
1
answer
489
views
Fibre of GIT morphism
Let $ V $ be an affine variety (over $ \mathbb C$) with an action of a reductive group $ G$. I would like to consider the morphism $$ \pi : V \rightarrow V // G = Spec \, \mathbb C[V]^G $$
Let $ v \...
- 8,529
3
votes
0
answers
149
views
Lifting of curves in characteristic zero
Let $K$ be an algebraically closed field of characteristic zero. Let $G$ be an affine reductive group over $K$, and let $H$ be a closed reductive subgroup of $G$.
Since $H$ is reductive the GIT ...
CommunityBot
- 1
6
votes
1
answer
2k
views
Preparation for GIT (Geometric Invariant Theory)
I am trying to read Mumford's Geometric Invariant Theory, however, I find my knowledge in algebraic geometry is inadequate. My knowledge is at the level of Hartshorne's Algebraic Geometry. Mumford ...
- 8,529
0
votes
2
answers
597
views
Motivating the Quotient of an Algebraic Variety
Let $X$ be a variety with a $G$-action by an algebraic group.
My question refers to a motivating example from:
https://web.maths.unsw.edu.au/~danielch/thesis/mbrassil.pdf
Here is the relevant ...
CommunityBot
- 1
3
votes
1
answer
254
views
Quotient of a Fano variety by a torus
We work over an algebraically closed field of characteristic zero. Let $X$ be a Fano variety, and $T\cong \mathbb{G}_m^r$ a torus acting faithfully on $X$.
I think we can canonically linearize the ...
- 6,995
4
votes
0
answers
239
views
Invariants of linear endomorphisms of tensor products
Let $V$ and $W$ be two finite dimensional vector spaces over an algebraically closed field $K$ of characteristic zero.
Consider the coordinate ring $K[\mathrm{End}(V\otimes W)]$ of the affine space ...
- 63.9k
3
votes
0
answers
235
views
Moduli space of nilpotent Lie algebras
Fix a nilpotent Lie algebra $L$ over some char 0 field $k$ which is naturally graded, i. e. isomorphic to graded algebra $\bar L$ associated to lower central filtration.
I'm interested in some ...
- 63.9k
4
votes
0
answers
117
views
Complexifed Gauge action on determinant line bundle and change of metric
Within the GIT setup for Hermitian-Einstein connection, Donaldson exhibited a holomorphic line bundle over $\mathcal{A}$ the space of unitary connections such that its cutvature equals $−2πi\Omega$ ...
- 789
2
votes
0
answers
104
views
Alternatives to the ring of invariants depicting the orbit closures?
Let $G$ be an affine algebraic group over $\mathbb{C}$ and $V=\textrm{Spec}(A)$ an affine $G$-variety. Assume that $G$ is reductive. My understanding is that a central object in studying the action of ...
- 3,031
2
votes
1
answer
95
views
Reference on reductive group acting on quotient algebra
In unpublished notes by Yi Hu (which appear to be no longer online), I found the following:
Corollary 2.4.5. Let the characteristic of $k$ is zero. Assume that a reductive group $G$ acts rationally ...
- 21
2
votes
1
answer
179
views
Analytic sections of a GIT quotient lying in the Kempf-Ness set
I would like to understand whether the following is true. Given a complex reductive group $G$ (for me $G = \operatorname{PGL}_n(\mathbb{C})$) acting on a vector space $V$ (for me $V = M_n(\mathbb{C})^{...
- 44.7k
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-...
- 63.9k
3
votes
0
answers
140
views
Topological criterion for GIT semistability
Let $X$ be a complex algebraic variety and $G$ a complex reductive group acting on $X$. Let $L$ be a linearization of this action, i.e. a line bundle with a linear action of $G$ covering that of $X$. ...
- 31
4
votes
0
answers
119
views
Invariants and subgroups
Let $G$ be an affine algebraic group over some algebraically closed field $K$, and let $H$ be a closed subgroup.
Assume that $G$ acts algebraically on an affine variety $X$.
Assume that $X'\subseteq ...
- 5,039
9
votes
1
answer
294
views
A duality result for Coxeter groups
Short version: if $G$ is a Coxeter group and $H \subset G$ is a parabolic subgroup, both acting on a space $V$, is it true that the invariant-coinvariant algebra $(S(V)_G)^H$ has a natural bilinear ...
- 63.9k
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 $...
CommunityBot
- 1
7
votes
1
answer
456
views
GIT quotient vs. largest Hausdorff quotient
Let a group $G$ act on a (not necessarily irreducible) algebraic variety over ${\bf C}$.
It seems to be well-known that the quotient in the sense of geometric invariant theory (i.e., the categorical ...
- 8,529
10
votes
0
answers
238
views
Progress since Luna's theorem on smooth invariants
In 1976, Luna proved the following important theorem of smooth invariant theory:
Let $G$ be a real reductive Lie group and a representation of $G$ on a real finite dimensional vector space $V$. ...
- 21.6k
6
votes
0
answers
141
views
Binary forms and equivariant derived category
One of the classical questions in invariant theory is the classification of binary forms, i.e., the description of polynomial invariants of the ${\rm SL}_2(\mathbb{C})$-action on ${\rm Sym}^d \mathbb{...
- 17.4k
2
votes
2
answers
2k
views
Semistability in GIT
If I understand correctly, in geometric invariant theory, polystable points can be defined as those which have a closed orbit. Is it true that semistable points can be characterized as those whose ...
- 1,347
1
vote
1
answer
153
views
un-ordered distinct $n$-tuples of points on $\mathbb P^1$
I want to study the space $Y$ of all un-ordered $d$-tuples of points on $\mathbb P^1$. By considering the space $V_d$ of homogeneous polynomials of degree $d$ in two variables, one may identify $Y$ ...
- 66.3k
1
vote
0
answers
32
views
Orbit of a transverse manifold under the action of an algebraic group
Consider an algebraic group acting on a affine manifold. Suppose that S is an affine submanifold transverse to the action. Are there some conditions on the group, the action or S such that the orbit ...
- 189
1
vote
0
answers
151
views
Generators of the same degree in a graded ring and GIT quotient
Let $S$ be a graded ring i.e. $S_d\cdot S_e \subset S_{d+e}$ where $S_d$ is the degree $d$ part of $S$. Assume $S_{<0}$ vanishes. For simplicity, you may think of $S$ as a graded subring of $\...
- 2,789
4
votes
2
answers
931
views
The closure $\overline{Gx}$ for an affine variety on which an reductive algebraic group acts
Let $G$ be a reductive group acting on an affine variety $X$. For simplicity, one may assume $G=SL_n$ or $G=U_n$ and assume the field is $\mathbb C$. Given this one can show $\mathbb C[X]^G$ is ...
- 2,789
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 ...
CommunityBot
- 1
2
votes
1
answer
152
views
G-sweep of irreducible sub variety
Let $G$ be a connected reductive algebraic group and $X$ be a $G$-variety. Let $Y$ be a $G$-invariant irreducible sub variety of $X$ which has non-trivial intersection with the semi stable locus $X^{...
- 15.5k
2
votes
1
answer
721
views
lines in projective spaces [closed]
Let $\{v_1,v_2, \cdots , v_n, w_1,w_2, \cdots ,w_n\}$ be a basis of $\mathbb C^{2n}$. For a $n$-dimensional subspace $V \in Gr(n,\mathbb C^{2n})$ define another $n$ dimensional subspace $\bar{V} \in ...
- 39.3k
8
votes
1
answer
698
views
Interactions (functors) between equivariant sheaves for different groups?
Let $G$ be a finite group and $k$ a field (alg. closed char 0 for simplicity).
To every $G$ set $X$ we can assign the category of $G$-equivariant sheaves of $k$-vector spaces $Sh_G(X)$. It is ...
- 5,898
5
votes
0
answers
146
views
Injectivity of a standard map in quiver representation
Let $X$ be a smooth projective variety, and assume its divisor class group is finite and free. Let $E_1,E_2,\ldots,E_n$ be line bundles on $X$. Define $L_k=E_1+\ldots E_k$, and let $Q$ be the ...
- 815
3
votes
1
answer
760
views
Quotient of complex manifold by a free and locally proper action (difficulty with reading German)
Let $X$ be a complex manifold with an action of $G=GL(n,\mathbb{C})$ which is free and locally proper (each point of $X$ has a $G$-invariant neighborhood on which $G$ acts properly.)
Satz 24 of the ...
- 297
3
votes
0
answers
325
views
Ring of invariants and Borel subgroup
Let $G$ be a connected algebraic group (can assume $G$ to be reductive) acting on a $k$-algebra $A$. Let $B$ be a Borel subgroup of $G$.
Q. Is it generally true that the the ring of invariants $A^...
- 66.3k
9
votes
1
answer
346
views
Standard Monomial basis for other types
For the algebraic group $SL_n$ (type $A_{n-1}$) and for a dominant weight $\lambda$ the standard monomials are indexed by the semi-standard young tableaux of shape $\lambda$ and they form a basis for ...
- 673
1
vote
1
answer
189
views
Is the conjugation action linearizable?
Let $G$ be a reductive algebraic group over some algebraically closed field $k$. Recall that, given an algebraic variety $X$ with an action of $G$, it is said that this action is linearizable if there ...
- 8,972
2
votes
0
answers
319
views
Is $\widetilde M_{0, n}$ a Mori Dream space?
I'm reading on $\overline M_{0, n}$ and $\widetilde M_{0, n}$. I know that $\overline M_{0, n}$ is a Mori Dream space for $n \leq 6$ and not a Mori Dream space for $n \geq 13$. Is there a similar ...
