**1**

vote

**0**answers

95 views

### GIT: For $x$ fixed, is $\{L:x \in X^s(L)\}$ open in $\text{Pic}^G(L)$?

Let $G$ be a complex reductive algebraic group acting on a complex variety $X$ (not necessarily projective) with $\text{Pic}^G(X)$ finite dimensional (for simplicity). For a fixed $x \in X$ define
$$P^...

**9**

votes

**1**answer

183 views

### Geometric invariant theory and normalizers of stabilizers

For simplicity, work over an algebraically closed field of characteristic $0$. Let
$$\begin{aligned}
X &= \text{a smooth projective variety,} \\
G &= \text{a reductive group acting linearly on ...

**3**

votes

**1**answer

66 views

### How does grade projection act on homogeneous multivectors in geometric algebra?

I'm reading Clifford Algebra to Geometric Calculus by Hestenes, and struggling with an early result about reversion inside of a grade-projection operator.
It is noted that $A_r$ and $B_s$ are ...

**1**

vote

**1**answer

198 views

### Proj of some graded algebra

I was computing some GIT quotients and came up with the following question: to compute $\mathrm{Proj}(\mathbb C [f_1,f_2,f_3,f_4,f_5,f_6]/I)$ where $f_i$'s are homogeneous polynomials of same degree ...

**5**

votes

**1**answer

350 views

### A criterion for orbits of complex reductive group to be closed

I am having some trouble understanding Nakajima's proof of the Kempf-Ness theorem in [1]. At the end (proof of Proposition 3.9(6)), his argument is basically the following:
Let $G=K_{\Bbb C}$ be a ...

**4**

votes

**0**answers

206 views

### Kähler quotients of affine varieties and GIT

Let $X\subseteq \Bbb C^n$ be a smooth affine variety and $G=K_{\Bbb C}$ a complex reductive group acting linearly on $\Bbb C^n$ preserving $X$ (where $K$ is a maximal compact subgroup of $G$). Suppose ...

**3**

votes

**0**answers

110 views

### Quotients of quasi affine varieties and extension of scalars

I have some questions about GIT quotients and extensions of scalars of categorical quotients:
1) Let $X$
be a complex algebraic quasi-affine variety, $G$
an algebraic reductive group over $\...

**9**

votes

**1**answer

246 views

### Invariants and stablizers for the $PGL(V)$ action on $End(V\otimes V)$

Let $K$ be a field of characteristic zero, and $V$ a finite dimensional vector space over $K$.
Consider the action of the algebraic group $G:=PGL(V)$ on the vector space $W:=End_K(V^{\otimes 2})$ by ...

**0**

votes

**1**answer

111 views

### Smoothness and quotient

Suppose we have a smooth Mumford's quotient $Q//PGL_k(m)$ where $Q$ is a quasi-projective variety and $k$ is an algebraically closed field of positive characteristic. Is it true that $Q$ is also ...

**-1**

votes

**1**answer

132 views

### Tensor bundles as G structures [closed]

For a smooth, real surface $\Sigma$, its bundle of symmetric, bi-linear forms $S^2T\Sigma$ reduced to a $PGL(2,\mathbb{R})$ structure. A similar reduction(with different structure group) can be done ...

**0**

votes

**0**answers

66 views

### G-invariant functions on manifold for G compact

In a paper I saw the following statement:
Let $M$ be a connected symplectic manifold and $G$ be a compact Liegroup acting symplectically and hamiltonian on $M$. Let $\Phi \colon M \to \mathfrak{g^*}$ ...

**3**

votes

**0**answers

98 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 ...

**6**

votes

**1**answer

204 views

### GIT quotients and automorphisms

Let $X$ be a smooth projective variety. Then we have an exact sequence:
$$0\mapsto Aut^{o}(X)\rightarrow Aut(X)\rightarrow H\mapsto 0$$
where $Aut^{o}(X)$ and $H$ are respectively the connected ...

**5**

votes

**2**answers

244 views

### Invariants of the maximal unipotent subgroup of GL(n) acting on the space of n by n matrices

Let $G=GL(n,\mathbb{C})$ and let $U\subset G$ be a maximal unipotent subgroup. (For example,assume that U is the set of upper triangular matrices with ones in the diagonal.) Now let $X=M_{n}(\mathbb{C}...

**2**

votes

**0**answers

138 views

### From algebraic group actions to group scheme actions

I am trying to understand the basic results of geometric invariant theory. I want to pull off the band aid and use Mumford, but am a neophyte with respect to scheme theory. Thus, I have been trying to ...

**4**

votes

**1**answer

186 views

### Hilbert point and Hilbert stability

For $X\in \mathbb{P}^N$ a closed subscheme, one can consider the m-th Hilbert point
$$
[X]_m=[\bigwedge^{h^0(X, \mathcal{O}(m))}H^0(\mathbb{P}^N, \mathcal{O}(m))\to \bigwedge^{h^0(X, \mathcal{O}(m))}H^...

**5**

votes

**1**answer

1k views

### Why we study Geometric invariant theory?

I am trying to learn Geometric invariant theory like it was introduced by Mumford. But I do not have a strong motivation and so I want to know the reason of studying Geometric invariant theory. I just ...

**1**

vote

**2**answers

451 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 ...

**0**

votes

**0**answers

96 views

### Research of a reference about $G$-linearizations of line bundles on quasi-projective schemes

I am looking for some references for the following statement:
Let $G$ be a linearly reductive algebraic group acting on a quasi-projective scheme $X$, over an algebraically closed field $K$. Let $L$ ...

**7**

votes

**2**answers

496 views

### Quotients by the additive group $\mathbb G_a$

Geometric invariant theory doesn't work so well for non-reductive groups, since invariant rings are not generally finitely generated. However, in many cases the action of a non-reductive group has a ...

**3**

votes

**1**answer

302 views

### How does one show that slope stability of a vector bundle is an open condition with respect to the polarisation?

I would like a source for the following result, which I expect to be true (probably well known):
Let $X$ be a complex projective variety, $L$ an ample line bundle and $E$ a slope stable vector bundle ...

**3**

votes

**1**answer

272 views

### Smoothness of fix point components of finite group action on smooth variety

Let $X$ be a smooth complex algebraic variety, and $\varphi: \Gamma\curvearrowright X$ an action (by automorphisms) of a finite group $\Gamma$ on $X$.
Can we say that each irreducible component of ...

**4**

votes

**2**answers

1k views

### A question about Marsden-Weinstein reduction theory

Let $G$ be a compact Lie group and $\frak g$ be its Lie algebra. Then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J \colon M\to \frak g^*$ be its moment map then the ...

**3**

votes

**0**answers

377 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 ...

**6**

votes

**2**answers

988 views

### Understanding the definition of the quotient stack $[X/G]$

I'm trying to understand the definition of the quotient stack $[X/G]$ as defined in Frank Neumann's Algebraic Stacks and Moduli of Vector Bundles.
Explicitly, let $G$ be an affine smooth group $S$-...

**8**

votes

**1**answer

608 views

### Why people usually consider reductive groups in GIT?

Where do people essentially use the reductive groups in the theory of GIT? Or how does reductive groups simplify the constructions in GIT?
I found that the property of completely reducible of ...

**3**

votes

**2**answers

390 views

### Quotient of a rational variety by a finite group

Let $X$ be a rational variety and let $G$ be a finite group acting on $X$. Let us consider the diagonal action of $G$ over the product $X^{h} = X\times...\times X$,
$$G\times(X\times...\times X)\...

**4**

votes

**1**answer

223 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 ...

**1**

vote

**1**answer

300 views

### when does one want to use the Reynolds operator in GIT?

The role of Reynolds operator in GIT has always been a little mystery to me. Actually I see that in some proofs it gets used in an efficient way, but what I cannot grasp is the general philosophy. I ...

**4**

votes

**0**answers

132 views

### Scaling-Invariant Orbits of Semisimple Group Representations

Let $G$ be a connected, simply-connected complex semisimple linear algebraic group, and let $V$ be a finite-dimensional complex $G$-module. Note that if $V$ is the adjoint representation of $G$, then ...

**5**

votes

**1**answer

312 views

### When does a group action on a k-algebra induce an algebraic action on the spectrum?

This question arose from my last question, which I considered answered - from the comments, however, it is obvious that the answer is only complete in characteristic zero, and I am trying to ...

**1**

vote

**1**answer

180 views

### Equivariant fibre product

Let $G$ be an algebraic group. Let $X$ and $Y$ be $S$-schemes such that $X$, $Y$ and $S$ are $G$-schemes and the structural morphisms are equivariant. My question is: Can the fiber product $P:=X\...

**1**

vote

**2**answers

245 views

### Are orbits of an affine algebraic monoid affine?

Let us work over the complex numbers for simplicity. Let $M$ be an affine algebraic monoid and $X$ an affine variety on which $M$ acts regularly, i.e. there is a morphism $\alpha: M\times X\to X$. Let ...

**1**

vote

**0**answers

140 views

### non-flat GIT quotient

Let $G=PGL(N)$ acting on a scheme $X$ over a field $k$ and $L$ be a $G$-linearized invertible sheaf. Let $X^{ss}(L)$ be the semistable locus. We know that a uniform categorical quotient $\phi:X^{ss}(L)...

**9**

votes

**2**answers

695 views

### Partial (or complete) flag varieties as GIT quotients of affine spaces

I am looking for presentations of partial or complete flag varieties as GIT quotients of affine varieties spaces. That is, for a choice of of dimensions $0=d_1<d_2<\dots<d_k = n$, I would ...

**5**

votes

**0**answers

351 views

### Coarse moduli spaces of quotient stacks

Suppose you have a separated Deligne Mumford quotient stack $[V/G]$ over a field of characteristic $0$, where $V$ is a quasiprojective variety and $G$ is an algebraic group that does not necessarily ...

**5**

votes

**0**answers

134 views

### Normalization of quotient stacks

Suppose you have a Deligne Mumford stack which is a quotient $[X/G]$ of a scheme $X$ by an algebraic group $G$ .
What is the normalization of that? Is it true that its normalization is a quotient ...

**4**

votes

**0**answers

110 views

### question about relative stable maps

Let $C$ be a connected smooth curve, $0\in C$ a closed point and $W\rightarrow C$ a family of projective schemes. Assume that the fibers $W_t$ of $W$ are smooth for all $t\neq 0$ and that $W_0=Y_1\cup ...

**2**

votes

**2**answers

461 views

### When does a G-invariant one to one map between two closed algebraic G-set descend to a one to one map on the G.I.T quotient ?

I do not know much about Geometric Invariant Theory. My question is the following:
Let $X$ and $Y$ be two complex affine or projective varieties. Let $G$ be a reductive group which acts on both $X$ ...

**3**

votes

**2**answers

209 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 ...

**3**

votes

**2**answers

320 views

### degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$

How can we find the degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$ , $dimV=8$ by the model in the Lie algebra $E_7$.

**4**

votes

**2**answers

405 views

### Quotient of affine space by cyclic permutation

The quotient of the affine space $\mathbb{A}^n$ by the symmetric group $Sym_n$ is again an affine space of the same dimension, and invariants are given by elementary symmetric polynomials.
What ...

**0**

votes

**1**answer

277 views

### Algebraic closure and GIT

Does one need to work over an algebraic closed field in ordre to construct GIT quotients à la Mumford?
If yes, why?

**1**

vote

**1**answer

243 views

### What does this particular geometric quotient locally look like?

Let $k$ be a field and consider the algebraic group $GL_n$ over $Spec(k)$. It has as a closed (but not normal) algebraic subgroup the group $M$ of monomial matrices, i.e. matrices having exactly one ...

**3**

votes

**2**answers

244 views

### Intersection theory for $G$-varieties - an action on the chow ring?

Let $G$ be a reductive algebraic group. Let $X$ be a $G$-variety and consider any closed subvariety $Z$ of $X$. Since any $g\in G$ acts as an automorphism, we know that $g.Z$ is again a closed ...

**10**

votes

**1**answer

708 views

### A line bundle that does not admit a G-linearisation

I have been thinking about quotients lately and pondered the following:
Let $G$ be a connected linear algebraic group and $X$ a $G$-variety acting via the morphism $\sigma:G\times X\rightarrow X$. ...

**10**

votes

**3**answers

587 views

### Algorithms in Invariant Theory

Let $V$ be a polynomial representation of the general linear group $\Gamma:=\DeclareMathOperator{\Gl}{Gl}\Gl_n(\newcommand{\C}{\mathbb C}\C)$.
In chapter 4.6 of his book "Algorithms in Invariant ...

**8**

votes

**2**answers

342 views

### When is an orbit spherical?

I asked the following question over at math.stackexchange, but got no answers. Maybe it's less well-known than I thought, but I still wanted to ask here:
Let's assume we have an affine, reductive, ...

**3**

votes

**1**answer

242 views

### Lift of a morphism between geometric quotients

Let $S$ be a scheme.
Definition. Let $X$ be an $S$-scheme and $G$ a smooth affine group $S$-scheme acting on $X.$ An $S$-scheme $Y$ is a geometric quotient of $X$ by $G$ if there exists a morphism $\...

**8**

votes

**1**answer

431 views

### About the strength of representation-theoretic obstructions for orbit closure problems

Let $G$ be a reductive, affine, algebraic group over $\newcommand{\C}{\mathbb C}\C$. Let $X$ be a $G$-variety. For $x\in X$, we write
$$G_x:=\{ g\in G\mid g.x=x\}$$
for its stabilizer and for any ...