All Questions
Tagged with geometric-invariant-theory invariant-theory
27 questions with no upvoted or accepted answers
11
votes
0
answers
451
views
Semistability of tensor products under automorphisms of tensored vector spaces
Let $A,B,C,D,E,F$ be vector spaces over a field.
Let $x\in A \otimes B \otimes C$ and $y \in D \otimes E \otimes F$ be tensors that are semistable with respect to the natural actions of $\text{SL}(A) ...
- 149k
10
votes
0
answers
238
views
Progress since Luna's theorem on smooth invariants
In 1976, Luna proved the following important theorem of smooth invariant theory:
Let $G$ be a real reductive Lie group and a representation of $G$ on a real finite dimensional vector space $V$. ...
- 21.6k
8
votes
0
answers
235
views
Stability of nodal hypersurfaces
We denote by $\Pi_{n,d}$ the space of homogeneous polynomials of degree $d$ in $n+1$ variables $x_0,\ldots,x_n$, i.e. $\Pi_{n,d}=\Gamma(\mathbb{P}^n(\mathbb{C}),\mathcal{O}(d))$. The group $G=SL(n+1)$ ...
5
votes
0
answers
351
views
What representation theoretic properties does the semi-invariant ring tell us?
I'm asking this question as a continuation of discussion and answer given by Hugh Thomas at the following post: Why do people study semi-invariant ring (in general)?
I have been studying about semi-...
- 839
4
votes
0
answers
113
views
Cover by $K$-invariant affine open sets
Let $X$ be a non-singular complex algebraic variety (quasi-projective if necessary) and $K$ a connected compact Lie group acting on $X$ real algebraically, i.e. the action map $K \times X \to X$ is ...
- 1,383
4
votes
0
answers
239
views
Invariants of linear endomorphisms of tensor products
Let $V$ and $W$ be two finite dimensional vector spaces over an algebraically closed field $K$ of characteristic zero.
Consider the coordinate ring $K[\mathrm{End}(V\otimes W)]$ of the affine space ...
- 5,039
4
votes
0
answers
119
views
Invariants and subgroups
Let $G$ be an affine algebraic group over some algebraically closed field $K$, and let $H$ be a closed subgroup.
Assume that $G$ acts algebraically on an affine variety $X$.
Assume that $X'\subseteq ...
- 5,039
4
votes
0
answers
406
views
Categorical quotients for quasi-affine varieties
Let $X$ be an affine variety and let $G$ be a reductive algebraic group acting on $X$. Let $U \subset X$ be a $G$-invariant open set.
Under what hypothesis there exists a categorical quotient of $U$ ...
- 63
3
votes
0
answers
129
views
Orbit space of the action of $\mathrm{GL}(V)$ on the Grassmannian of $V\wedge V$
$
\newcommand{\K}{\mathbb{K}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\N}{\mathbb{N}}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\Grass}{Grass}
$Consider $\K\in\{\R,...
- 126
3
votes
0
answers
345
views
On Noether's Problem
Noether's problem is a famous problem in invariant theory, introduced in the 1910's by Emmy Noether in relation to the inverse Galois problem. It is as follows:
Noether's Problem: Let $F=k(x_1,\dotsc,...
- 3,318
3
votes
0
answers
164
views
Class of finite quotient affine space in Grothendieck ring of varieties
Let $G$ be a finite group acting linearly on affine space $\mathbb{A}^n_k$ over $k = \mathbb{C}$. Since the action is linear, it can be extended to an action of $\operatorname{GL}_n(\mathbb{C})$, ...
- 197
3
votes
0
answers
175
views
Nef cone of a GIT quotient
I want to know how to calculate nef cone of a GIT quotient. In particular let $X$ be a projective variety and $L$ be an ample line bundle on $X$ and $G$ be a reductive algebraic group and chosen a $G$ ...
- 61
3
votes
0
answers
147
views
A good stratification of a variety on which an algebraic group acts
Let $X$ be an algebraic variety over an algebraically closed field $k$ of characteristic 0
(a reduced separated scheme of finite type over $k$).
Let $G$ be a connected linear algebraic group over $k$ (...
- 14.2k
3
votes
0
answers
140
views
Topological criterion for GIT semistability
Let $X$ be a complex algebraic variety and $G$ a complex reductive group acting on $X$. Let $L$ be a linearization of this action, i.e. a line bundle with a linear action of $G$ covering that of $X$. ...
- 31
3
votes
0
answers
325
views
Ring of invariants and Borel subgroup
Let $G$ be a connected algebraic group (can assume $G$ to be reductive) acting on a $k$-algebra $A$. Let $B$ be a Borel subgroup of $G$.
Q. Is it generally true that the the ring of invariants $A^...
- 113
3
votes
0
answers
213
views
Categorical quotient of open subsets of affine varieties
Let $X$ be a complex affine variety and $G$ be a complex reductive group acting on $X$. Let $X//G=\operatorname{Spec}\mathbb{C}[X]^G$ and
$$\pi:X\to X//G$$
be the GIT quotient of $X$ by $G$. Suppose ...
- 779
2
votes
0
answers
52
views
Normal form of this group action?
Let $d\in\mathbb{N}$. We consider the vector space $V=\mathbb{C}^2\otimes\mathbb{C}[x_0,x_1]_d$ where $\mathbb{C}[x_0,x_1]_d$ is the space of homogeneous binary forms of degree $d$. We have a natural ...
- 3,031
2
votes
0
answers
188
views
Help with Macaulay2 computation of invariant ring
Consider the algebraic group $G:=\operatorname{SL}_{2}\times\operatorname{SL}_{2}$ acting on $V:=\operatorname{Mat}_{2\times 2}\oplus\operatorname{Mat}_{2\times 2}$ via the action $(A,B)\,\cdot\,(X,Y)=...
- 839
2
votes
0
answers
104
views
Alternatives to the ring of invariants depicting the orbit closures?
Let $G$ be an affine algebraic group over $\mathbb{C}$ and $V=\textrm{Spec}(A)$ an affine $G$-variety. Assume that $G$ is reductive. My understanding is that a central object in studying the action of ...
- 3,031
1
vote
0
answers
257
views
Confusion regarding the invariant rational functions
I was reading S. Mukai's- An Introduction to Invariants and Moduli, and I came across Proposition 6.16 on page 195 (see the screenshot below)
It says that "every invariant rational function can ...
- 839
1
vote
0
answers
156
views
Software for computing invariant rings
I have an linearly reductive algebraic group $G$ acting regularly on an affine variety $X$(over an algebraically closed field of characteristic 0). I want to compute the invariant ring $\mathbb{K}[X]^{...
- 839
1
vote
0
answers
80
views
When is $Y$ not an orbit closure?
Let $G$ be a linearly reductive algebraic group acting regularly on an affine space over $\mathbb{A}^n$ an algebraically closed field $\mathbb{K}$. Let $Y$ be a $G$-invariant (closed) affine ...
- 839
1
vote
0
answers
208
views
Is $\langle\chi,\lambda\rangle=0$, whenever the limit exists? Where is the mistake?
Suppose $G$ is a linearly reductive algebraic group acting linearly on a finite dimensional vector space $V$ over $\mathbb{C}$. This induces an action on the coordinate ring $\mathbb{C}[V]$ (see here)....
- 839
1
vote
0
answers
127
views
How to determine if an invariant rational function is defined at the $\theta$-polystable point
Background:
Let $A$ be a finite-dimensional (associative and unital) algebra over $\mathbb{C}$. Assume there is a quiver $Q=(Q_0,Q_1)$, where $Q_0$ is the set of vertices and $Q_1$ is the set of ...
- 839
1
vote
0
answers
362
views
Invariant ring of linear algebraic groups
Let $G$ be a connected linear algebraic group. This question concerns Hilbert's 14th Problem for the adjoint action of $G$ on itself. Let $k[G]^G$ denote the algebra of regular functions on $G$ ...
- 2,751
0
votes
0
answers
71
views
"Approximating" ring of semi-invariants
I'm trying to calculate the semi-invariant ring for certain types of quivers. For a very brief introduction to semi-invariant rings of quiver please have a look at this wikipedia article at the ...
- 839
0
votes
0
answers
195
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 ...
- 345