The geometric-invariant-theor tag has no wiki summary.

**3**

votes

**0**answers

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

**4**

votes

**2**answers

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

**7**

votes

**1**answer

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

**4**

votes

**2**answers

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

**2**

votes

**0**answers

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

**2**

votes

**2**answers

405 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$ ...

**1**

vote

**1**answer

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

**9**

votes

**1**answer

893 views

### Bad Categorical Quotients

Let G be an algebraic group acting on a scheme X. Then f: X --> Y is a categorical quotient if it is constant on G-orbits and any other G-invariant morphism factors through it in a unique fashion. ...

**4**

votes

**0**answers

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

**4**

votes

**1**answer

262 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

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

**2**

votes

**2**answers

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

**4**

votes

**2**answers

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

**1**

vote

**0**answers

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

**9**

votes

**2**answers

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

**4**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**11**

votes

**1**answer

1k views

### When is fiber dimension upper semi-continuous?

Suppose f:*X*→Y is a morphism of schemes. We can define a function on the underlying topological space Y by sending y∈Y to the dimension of the fiber of f over y. When is this function upper ...

**3**

votes

**2**answers

291 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$.

**3**

votes

**2**answers

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

**10**

votes

**3**answers

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

**0**

votes

**1**answer

253 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

227 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

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

**9**

votes

**1**answer

428 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$. ...

**12**

votes

**1**answer

1k 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 ...

**7**

votes

**2**answers

315 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, ...

**2**

votes

**1**answer

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

**7**

votes

**1**answer

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

**4**

votes

**0**answers

262 views

### Stability conditions for coherent sheaves and GIT

I am learning stability conditions for derived categories of coherent sheaves, following Bridgeland, and coming from a vector bundles background. $\mu$-stability for vector bundles has a clear GIT ...

**1**

vote

**1**answer

177 views

### invariants of plane quartics

Does anybody know a good reference where the invariants for plane quartic curves are developed?

**3**

votes

**1**answer

219 views

### Action of k* on a variety induces grading?

Let $V$ be a $\Bbbk$-variety such that $\Bbbk^\times$ (as an algebraic group) acts algebraically on $V$. Given any $f\in\Bbbk[V]$, let us call $f$ homogeneous of degree $d$ if for all $v\in V$ and all ...

**4**

votes

**2**answers

278 views

### affinization of T^*CP^n

Is there an elementary description of the affinization of the algebraic cotangent bundle of $CP^n$? I know that it can be described as some sort coadjoint orbits, but I am interested in a translation ...

**2**

votes

**1**answer

182 views

### When the affine quotient is faithfully flat?

It may be easy for the expert.
Consider the map from $n$ by $m$ matrices (over $\mathbb{C}$ )to the $n$ by $n$ symmetric matrices $\phi\colon A\mapsto A A^T$.
My question is when this map is ...

**1**

vote

**1**answer

265 views

### Quotients of group actions on varieties

Let $Y$ be an affine algebraic variety over $\mathbb{C}$ and let $X$ be its closed subvariety. Let $G$ be a reductive group acting on $Y$ and let $H$ be a reductive subgroup of $G$ preserving $X$ such ...

**2**

votes

**0**answers

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

**0**

votes

**1**answer

224 views

### Hilbert polynomial of an abelian scheme

This is coming out of Mumford's GIT, section 7.2, page 131.
$A/S$ an abelian scheme of dimension $g$ with polarization $\bar{\omega}$ of degree $d^2$. Then $\pi_*(L^\Delta(\bar{\omega})^3)$ is ...

**4**

votes

**2**answers

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

**5**

votes

**1**answer

655 views

### References to SGA 8 and descent theory

In Geometric Invariant Theory, by Mumford, Fogarty, and Kirwan, if there is a mention of descent theory, it almost always comes along with a reference to SGA 8, Theorem 5.2 (see the end of the proof ...

**1**

vote

**2**answers

336 views

### Configuration space of flags

Let $U\subset \mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ be the Zariksi open set of ordered quadruple of distinct points in the projective line. The quotient of $U$ by the ...

**2**

votes

**0**answers

320 views

### A simple problem on commutative algebra related to G.I.T

Let $G$ be a geometrically reductive algebraic group over an algebraically closed field $k$. Let $X$ be an affine variety over $k$ on which $G$ acts regularly. Then $G$ acts on the coordinate ring $A$ ...

**0**

votes

**0**answers

163 views

### Invariant Polynomes under group action - given the invariants looking for the group. algorithmic solution?

I have given a finite set $S$ of polynomes in the ring $R = C[x_1,\dots,x_n]$. I need to know the minimal group $G$ wich acts on $R$ such that $C[S]$ is the ring of invariants of $R$ under the action ...

**4**

votes

**1**answer

621 views

### Hilbert-Mumford criterion and closedness

A version of the Hilbert-Mumford criterion states the following: Let $G$ be a linearly reductive group and $V$ a representation of $G$ over a field $k$ (alg. closed, char. zero). Suppose that $y \in ...

**11**

votes

**2**answers

639 views

### Is an affine “G-variety” with reductive stabilizers a toric variety?

Let $X=Spec(A)$ be a reduced normal affine scheme over an algebraically closed field $k$ of characteristic $0$, with an action of a connected reductive group $G$. Suppose
$x\in X$ is a ...

**11**

votes

**3**answers

899 views

### Can a coequalizer of schemes fail to be surjective?

Suppose $g,h:Z\to X$ are two morphisms of schemes. Then we say that $f:X\to Y$ is the coequalizer of $g$ and $h$ if the following condition holds: any morphism $t:X\to T$ such that $t\circ g=t\circ h$ ...

**5**

votes

**1**answer

322 views

### If Spec(A) has a G-fixed point and a dense G-orbit, is Spec(A) a cone?

[Edited to include a dense orbit]
Let $X=Spec(A)$ be a normal affine scheme over an algebraically closed field $k$, with an action of a linearly reductive group $G$. Suppose $x\in X$ is a ...

**10**

votes

**1**answer

505 views

### Are GIT's good categorical quotients just locally ringed space coequalizers?

Introduction: The definition of "good categorical quotient" in geometric invariant theory (given below) seems fairly ad hoc to me, except that it looks very similar to the coequalizer of the action in ...

**1**

vote

**1**answer

651 views

### geometric quotient

Let $S$ be a base scheme. Let $X$ be a scheme over $S$ and let $G$ be a group scheme over $S$ acting on $X$ via $\sigma: G \times_S X \to X$. Suppose that we have a scheme $Y$ over $S$ together with ...

**5**

votes

**2**answers

435 views

### The canonical divisor of the Hilbert scheme $Hilb^n P^2$?

Hey everyone,
I was wondering if anyone knows what the canonical divisor of the Hilbert scheme $Hilb^n P^2$ is --$Hilb^n P^2$ is the Hilbert scheme of degree-n zero dimensional subschemes of the ...