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

**14**

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

**6**

votes

**1**answer

698 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

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

**5**

votes

**1**answer

329 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

564 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

702 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

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

**4**

votes

**3**answers

772 views

### Why can we define the moment map in this way (i.e. why is this form exact)?

Given a symplectic manifold $(X, \omega)$ and a group $G$ acting on $X$ preserving the symplectic form, we define the moment map $\mu : X \to \mathfrak{g}^*$ so that
$$
\langle d\mu(v), \xi\rangle = ...

**6**

votes

**3**answers

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

**8**

votes

**3**answers

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

**4**

votes

**0**answers

160 views

### Components of variety of subalgebras

This question is motivated by the question Subalgebras of matrices and its answer by Mariano. We consider $X_{n,d}$, the variety of $d$-dimensional subalgebras not necessarily with 1 (with 1 makes ...

**2**

votes

**0**answers

144 views

### Quotient of variety by additive group separated?

I have some sub variety of a complex flag variety and I want to take the quotient by a free action of $\mathbb{C}$.
I know that this quotient exists locally as a variety. My question is whether there ...

**10**

votes

**1**answer

529 views

### When Are Quotients Complete Intersections?

Let $S_{n}$ denote the permutation group on $n$ letters and $G\subset S_{n}$ a transitive subgroup. The inclusion of $G$ in $S_{n}$ defines an action of $G$ on $\mathbb{C}^{n}$. By finding a ...

**10**

votes

**2**answers

624 views

### Rationality of GIT quotients

I recently worked through most of the proof of the rationality of the moduli of genus 3 curves, which seemed to have the following structure:
Every nonhyperelliptic genus 3 curve is a smooth plane ...

**9**

votes

**2**answers

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

**4**

votes

**4**answers

1k views

### Near Trivial Quiver Varieties

So, today I started learning the definition of a quiver variety, and wanted to make sure I'm understanding things right, so first, my setup:
I've been looking at the simplest case that didn't look ...

**18**

votes

**4**answers

2k views

### When are GIT quotients projective?

Some background on GIT
Suppose G is a reductive group acting on a scheme X. We often want to understand the quotient X/G. For example, X might be some parameter space (like the space of possible ...

**9**

votes

**1**answer

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

**2**

votes

**2**answers

121 views

### Are irregular points of an action necessarily in the closure of a larger orbit?

Suppose G is an affine algebraic group acting linearly on a vector space V. A point v∈V is stable if the orbit Gv is closed and v is regular (the dimension of the stabilizer of v is locally ...

**12**

votes

**6**answers

1k views

### Why and how are moduli spaces of (semi)stable vector bundles well-behaved?

The slope of a vector bundle E is defined as mu(E) = deg(E)/rank(E). Then a vector bundle E is called semistable if mu(E') ≤ mu(E) for all proper sub-bundles E'. It is called stable if mu(E') < ...

**8**

votes

**8**answers

2k views

### Resources on Invariant Theory

Hi,
So my question is pretty much summed up by the summary - basically I've run into a need to teach myself some of the basics of invariant theory and was looking for a good place to start. I'd ...

**11**

votes

**3**answers

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