Questions tagged [geometric-invariant-theory]

for questions on geometric invariant theory (or GIT), including stability criteria and symplectic quotients.

Filter by
Sorted by
Tagged with
12
votes
1answer
284 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. ...
3
votes
0answers
68 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 ...
1
vote
0answers
108 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 ...
2
votes
0answers
132 views

How exactly do we calculate an affine covering of a scheme?

Is there a general algorithm that takes in some scheme $X$ and outputs some affine covering of $X$ ? If not, how are affine coverings of schemes usually calculated ? I'm particularly interested in ...
3
votes
0answers
127 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 ...
2
votes
0answers
114 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. ( ...
3
votes
1answer
124 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:...
3
votes
0answers
128 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 ...
5
votes
1answer
255 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 \...
1
vote
2answers
318 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 ...
1
vote
0answers
77 views

Secondary fan and KN strata

Let $\mathbb{G}_m^r$ act on the affine space $\mathbb{A}^n$ through an embedding into the open dense torus. Is there a way to calculate the 1-parameter subgroups that determine the KN strata from the ...
4
votes
1answer
575 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 ...
3
votes
1answer
153 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 ...
4
votes
0answers
116 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 ...
3
votes
0answers
151 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 ...
4
votes
0answers
65 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$ ...
2
votes
0answers
89 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 ...
2
votes
1answer
66 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 ...
2
votes
1answer
121 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})^{...
5
votes
0answers
225 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-...
3
votes
0answers
96 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$. ...
4
votes
0answers
111 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 ...
9
votes
1answer
222 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 ...
1
vote
1answer
203 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 $...
3
votes
1answer
286 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 ...
10
votes
0answers
190 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$. ...
6
votes
0answers
127 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{...
1
vote
1answer
131 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$ ...
1
vote
0answers
24 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 ...
1
vote
0answers
117 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 $\...
4
votes
2answers
429 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
votes
1answer
142 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^{...
2
votes
1answer
545 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 ...
3
votes
1answer
372 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 ...
2
votes
0answers
235 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^...
5
votes
0answers
130 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 ...
7
votes
1answer
241 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 ...
1
vote
1answer
142 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
votes
1answer
429 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 ...
2
votes
0answers
273 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 ...
3
votes
1answer
142 views

Cohen-Macaulay rings in GIT

I'm starting to learn about Cohen-Macaulay rings in my commutative Algebra course, and my teacher mentioned its use in Geometric Invariant Theory. Having some basic knowledge on the subject and ...
2
votes
0answers
130 views

Projective and Quasiprojective quotients

Let $G$ be a finite group acting on a projective variety $X$. Then $G$ also acts on $X-X^G$, where $X^G$ is the fixed locus. The GIT quotient varieties $X/G$ and $(X-X^G)/G$ are projective and quasi-...
2
votes
0answers
197 views

Categorical quotients for quasi-affine varieties

Let $X$ be an affine variety and let $G$ be a reductive algebraic group acting on $X$. Let $U \subset X$ be a $G$-invariant open set. Under what hypothesis there exists a categorical quotient of $U$ ...
3
votes
1answer
193 views

What are the scalar conformal invariants of weight -3/2 in 3 dimensions?

I am looking for all the scalar conformal invariants (diffeomorphism-invariant polynomials $P[g]$ in the metric $g_{ij}$, its inverse $g^{ij}$ and its derivatives $g_{ij,klm\dots}$ such that $P[\...
-1
votes
1answer
217 views

proj of an Algebra [closed]

Let $\mathbb Z_2= \langle\sigma\rangle$ act on $\mathbb C^6$ by $(x_1,x_2,x_3,x_4,x_5,x_6)=-(x_6,x_5,x_3,x_4,x_2,x_1)$. Then what is $\operatorname{Proj}\left(\left(\frac{\mathbb C[x_1,x_2,x_3,x_4,x_5,...
11
votes
0answers
424 views

Semistability of tensor products under automorphisms of tensored vector spaces

Let $A,B,C,D,E,F$ be vector spaces over a field. Let $x\in A \otimes B \otimes C$ and $y \in D \otimes E \otimes F$ be tensors that are semistable with respect to the natural actions of $\text{SL}(A) ...
17
votes
1answer
2k 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 ...
2
votes
0answers
100 views

Question about GIT: when is the map $\pi:X//_\theta G\rightarrow X//G$ birational?

I want to ask somebody who is more familiar with the theory of GIT quotients than I am, if there is a nice list of conditions on the action of a reductive group $G$ on an affine variety $X$ over ...
3
votes
0answers
147 views

Categorical quotient of open subsets of affine varieties

Let $X$ be a complex affine variety and $G$ be a complex reductive group acting on $X$. Let $X//G=\operatorname{Spec}\mathbb{C}[X]^G$ and $$\pi:X\to X//G$$ be the GIT quotient of $X$ by $G$. Suppose ...
4
votes
1answer
211 views

Supposed generalization of $X/(G \times H)\simeq (X/G)/H$ for GIT-quotients

I wonder whether it is true that the composition of two GIT-quotients is another GIT-quotient. It should be an analogue of a set-theoretic formula $X/(G \times H)\simeq (X/G)/H$ but with GIT-quotients ...