All Questions
15 questions
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
1
vote
1
answer
155
views
Invariant ring of the subvariety
Let $G$ be a linearly reductive algebraic group and $X$ be an affine $G$-variety over an algebraically closed field $\mathbb{K}$. Let $Y\subset X$ be a (closed) affine subvariety of $X$ which is also $...
- 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
20
votes
10
answers
7k
views
Resources on invariant theory
What are resources on invariant theory? 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 prefer online / freeish ...
1
vote
1
answer
186
views
On the trivialization of the sheaf of kahler differentials on the G-invariant topology
Let $X$ be a connected, smooth affine algebraic variety over an algebraically closed field $K$ of characteristic zero. Assume we have a finite group $G$ acting on $X$ by morphisms of $K$-schemes. ...
- 541
2
votes
0
answers
184
views
Finding étale slices
I'm trying to understand Luna's étale slice theorem by computing some examples. The theorem is usually phrased as an existence result. I wondered if there was a natural way to figure out the slice at ...
- 185
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
2
votes
1
answer
721
views
lines in projective spaces [closed]
Let $\{v_1,v_2, \cdots , v_n, w_1,w_2, \cdots ,w_n\}$ be a basis of $\mathbb C^{2n}$. For a $n$-dimensional subspace $V \in Gr(n,\mathbb C^{2n})$ define another $n$ dimensional subspace $\bar{V} \in ...
- 185
3
votes
1
answer
619
views
When is an almost geometric quotient flat?
All varieties here are over $\Bbb C$. Let $G$ be a reductive algebraic group acting algebraically on affine $n$-space $\Bbb A^n$. Let $R$ be the coordinate ring of $\Bbb A^n$. Assume that the natural ...
- 3,079
1
vote
1
answer
306
views
Proj of some graded algebra
I was computing some GIT quotients and came up with the following question: to compute $\mathrm{Proj}(\mathbb C [f_1,f_2,f_3,f_4,f_5,f_6]/I)$ where $f_i$'s are homogeneous polynomials of same degree ...
- 125
1
vote
0
answers
151
views
Generators of the same degree in a graded ring and GIT quotient
Let $S$ be a graded ring i.e. $S_d\cdot S_e \subset S_{d+e}$ where $S_d$ is the degree $d$ part of $S$. Assume $S_{<0}$ vanishes. For simplicity, you may think of $S$ as a graded subring of $\...
- 2,789
2
votes
0
answers
172
views
Projective and Quasiprojective quotients
Let $G$ be a finite group acting on a projective variety $X$. Then $G$ also acts on $X-X^G$, where $X^G$ is the fixed locus. The GIT quotient varieties $X/G$ and $(X-X^G)/G$ are projective and quasi-...
- 213
4
votes
2
answers
757
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 ...
- 7,722
2
votes
0
answers
107
views
Question about GIT: when is the map $\pi:X//_\theta G\rightarrow X//G$ birational?
I want to ask somebody who is more familiar with the theory of GIT quotients than I am, if there is a nice list of conditions on the action of a reductive group $G$ on an affine variety $X$ over ...
- 790
2
votes
0
answers
363
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$ ...
- 1,804