The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
327 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
1answer
534 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
1answer
683 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
2answers
447 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
3answers
713 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
3answers
600 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
3answers
823 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
0answers
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
0answers
143 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
1answer
510 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
2answers
605 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
2answers
583 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
4answers
996 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 ...
17
votes
4answers
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
1answer
921 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
2answers
117 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 ...
10
votes
6answers
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
8answers
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
3answers
917 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$ ...