# Questions tagged [invariant-theory]

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.

357 questions
Filter by
Sorted by
Tagged with
128 views

75 views

### Invariants of Lie superalgebras

Let $V=V_0 \oplus V_1$ be a $\mathbb Z_2$-graded vector space over $\mathbb C$. Suppose $V$ has an even non-degenerate bilinear form $(-, -)$ which is symmetric on $V_0$, skew symmetric on $V_1$, and ...
146 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.” ...
1 vote
90 views

100 views

### Finding special form for integral binary cubic form

Let $f(x,y)=px^3+3qx^2y+3rxy^2+sy^3$, $p,q,r,s\in\mathbb{Z}$, be an integral binary cubic form. Under what conditions is $f$ equivalent to a form $g(x,y)=t x^3+3u x^2y+3v xy^2+w y^3$ with $u=v$? Here ...
157 views

### $2$-dimensional complete local normal domain with rational singularity that has exactly one exceptional curve

Let $(R, \mathfrak m)$ be a complete local normal domain of dimension $2$ with residue field $R/\mathfrak m$ algebraically closed and characteristic $0$. Assume Spec$(R)$ has rational singularity, let ...
78 views

122 views

### Intersecting a ideal generated in degree $\leq a$ with one generated in degree $\leq b$ in a polynomial ring

Question 1. Let $R$ be a polynomial ring over a field $k$. Assume that $R$ is graded in the usual way (i.e., each variable has degree $1$). Let $I$ and $J$ be two ideals of $R$ such that $I$ is ...
264 views

### When is the semi-invariant ring is a polynomial ring or a hypersurface?

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-...
88 views

### Names of quotients of affine varieties by reducible group actions

Let $X$ be an affine variety over $\mathbb C$ and let $G$ be a reductive group (over $\mathbb C$) acting on $X$. It is well known then that the ring of invariants $\mathbb C[X]^G$ is finitely ...
333 views

### Invariant section of a linearized sheaf

I am struggling to understand what an invariant section with respect to a linearization of a line sheaf is. In Geometric Invariant Theory, given a $k$-scheme $X$ (being $k$ an algebraically closed ...
1 vote
241 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$ ...
158 views

### Polynomial invariant relating the circumradius and sides of a cyclic polygon

This question deals with the polynomial invariant which relates the circumradius and the squares of the sides of a cyclic polygon. This invariant is discussed briefly in the seminal paper On the Areas ...
158 views

### Chern-Weil theory on some noncompact groups, and characteristic classes in differential cohomology

$\newcommand{\Z}{\mathbb Z}\newcommand{\HdR}{H_{\mathrm{dR}}} \newcommand{\Sym}{\mathrm{Sym}} \newcommand{\g}{\mathfrak g}$I have a specific question about invariant polynomials for some Lie groups, ...
347 views

### Invariant theory over $\mathbb R$

$\DeclareMathOperator\SO{SO}$Suppose we have a (continuous) linear action of $\SO(n,\mathbb R)$ on a vector space $\mathbb R^N$. Consider the ring of invariants $A\subset \mathbb R[x_1,\ldots, x_N]$, ...
175 views

### $O(n)$ Polynomial invariant of symmetric tensors

I apologize in advance if this question is not up to the level of research level questions on Math overflow. I am a complete outsider to invariant theory/representation theory and would like someone ...
106 views

### Simplex invariants?

Let $k=s$ be a positive definite symmetric function and a simililarity over the natural numbers such that $k(a,a) = 1$ for all natural numbers $a$. A similarity $s:X\times X \rightarrow \mathbb{R}$ ...
80 views

### subalgebra of invariants for a reductive subgroup

$\DeclareMathOperator\PGL{PGL}\DeclareMathOperator\Spec{Spec}$Trying to understand some tannakian reconstruction, I've stumbled about the following problem in invariant theory. I guess it's something ...
139 views

100 views

369 views

### Do all orbits have the same dimension?

Well, I've already asked this question at math.SE — but no-one's answered or commented. So now I'm posting it here (it's about the research paper — I think that it isn't an off-topic for this forum) — ...
316 views

### Invariant ring of $\textrm{Sym}^2(\wedge^2\mathbb{R}^4)$ under $\textrm{SO}(4)$

Consider the representation of $\textrm{SO}(4)$ on $\textrm{Sym}^2(\wedge^2\mathbb{R}^4)$ induced by the standard representation of $\textrm{SO}(4)$ on $\mathbb{R}^4$. I am interested in the ring of ...
68 views

### On four non-cocyclic integral points on ellipse

Let $(x_i,y_i)\in\mathbb Z^2$ at $i\in\{1,2,3,4\}$ be four (not five and I assume an unique curve exists because of Diophantine constraints and not geometric constraints) non-cocyclic integral points ...
202 views

### Decomposition of $\bigotimes^{m} \mathbb{C}^{n}$ under the action of $\operatorname{GL}_{n}\times \operatorname{S}_{m}$

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\S{S}$I want to know the proof of the following theorem. It is stated somewhere that, a proof can be found in: "Roger Howe, Perspectives on ...
211 views

### Quotients by algebraic group actions at the level of the Grothendieck ring

$\DeclareMathOperator\SGro{SGro}\DeclareMathOperator\Gro{Gro}\DeclareMathOperator\GL{GL}$For an algebraically closed field $K$, the Grothendieck semiring of $K$ consists of, say, quasi-projective $K$-...
Let $O$ denote the division algebra of octonions over $\Bbb R$, and write $V$ for the 7-dimensional quotient space $O/{\Bbb R}$. The compact group $G_2:={\rm Aut}(O)$ naturally acts on $V$, and ...
### invariant theory for $G\times \text{O}(n)$ [closed]
We know that the invariants of the orthogonal group $\text {O}(n)$ gives us the Brauer algebra. Is there any known results for the invariants of $G\times \text{O}(n)$ acting on the tensor space where \$...