The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
1answer
244 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 ...
9
votes
1answer
245 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 ...
4
votes
0answers
170 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 ...
2
votes
0answers
101 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 ...
0
votes
1answer
110 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 ...
4
votes
2answers
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 ...
-1
votes
1answer
130 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
0answers
62 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
0answers
95 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 ...
4
votes
1answer
205 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 ...
6
votes
1answer
198 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
2answers
236 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 ...
2
votes
0answers
130 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
1answer
177 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, ...
4
votes
1answer
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 ...
18
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 ...
1
vote
2answers
431 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 ...
7
votes
2answers
431 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 ...
0
votes
0answers
94 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$ ...
3
votes
1answer
289 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
1answer
259 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 ...
3
votes
0answers
368 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
2answers
908 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 ...
8
votes
1answer
583 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
2answers
381 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
2answers
458 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
1answer
294 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 ...
10
votes
1answer
1k 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
0answers
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 ...
4
votes
1answer
303 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
1answer
176 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 ...
1
vote
2answers
243 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
2answers
395 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
0answers
138 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
2answers
665 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
0answers
337 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
0answers
132 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
0answers
109 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 ...
3
votes
2answers
318 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
2answers
205 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
3answers
564 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
1answer
275 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
1answer
241 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
2answers
242 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
1answer
658 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$. ...
14
votes
1answer
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 ...
8
votes
2answers
333 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
1answer
234 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
1answer
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 ...
4
votes
0answers
324 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 ...