Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 338456

Invariant theory deals with an algebraic, geometric or analytic structure $X$, submitted to the action of an (algebraic) group $G$. It studies $G$-invariant elements of $X$ as well as the set of $G$-orbits.

2 votes
0 answers
172 views

Understanding the proof of a theorem by Van Den Bergh

I'm trying to understand the proof of a theorem by Van Den Bergh, which is Proposition 6 in the paper Bessenrodt, Christine and Lieven Le Bruyn. “Stable rationality of certain PGLn-quotients.” Inventi …
It'sMe's user avatar
  • 839
1 vote
0 answers
122 views

Confusion regarding change of variable and irreducibility

Let $\mathbb{K}$ be an algebraically closed field of characteristics zero. Let $X$ be an irreducible affine variety, with a rational action of a linearly reductive algebraic group $G$. Also, assume th …
It'sMe's user avatar
  • 839
5 votes
0 answers
350 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-in …
It'sMe's user avatar
  • 839
1 vote
0 answers
124 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 arrow …
It'sMe's user avatar
  • 839
1 vote
0 answers
52 views

Is the Schofield semi invariant defined at $V/IV$?

Let $A=\mathbb{K}Q$ be the path algebra of an acyclic quiver $Q$ over an algebraically closed field $\mathbb{K}$, and $0\not=I\subset\mathbb{K}Q$ be an admissible ideal. Let $W$ be a left $A$-module a …
It'sMe's user avatar
  • 839
1 vote
1 answer
153 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 …
It'sMe's user avatar
  • 839
2 votes
0 answers
124 views

Getting an equivariant morphism

Let $X\subset\mathbb{A}^n$ be an irreducible affine variety over an algebraically closed field $\mathbb{K}$ of characteristic zero. Suppose we have two linearly reductive algebraic groups $G$, $G'$ s …
It'sMe's user avatar
  • 839
1 vote
0 answers
78 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 subvariet …
It'sMe's user avatar
  • 839
1 vote
0 answers
151 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]^ …
It'sMe's user avatar
  • 839
0 votes
0 answers
69 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 follow …
It'sMe's user avatar
  • 839
1 vote
0 answers
207 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) …
It'sMe's user avatar
  • 839
2 votes
0 answers
178 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) …
It'sMe's user avatar
  • 839
1 vote
0 answers
239 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 be ex …
It'sMe's user avatar
  • 839
1 vote
0 answers
129 views

A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(...

I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below) I want to understand …
It'sMe's user avatar
  • 839