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.

Filter by
Sorted by
Tagged with
5 votes
1 answer
128 views

Invariants for the isotropy representation of a Riemannian symmetric space

Statement: Let $M = G/K$ be a Riemannian symmetric space of compact type, and $V = T_o M$ be its isotropy representation (of $K$ acting on the tangent space of $M$). Then the Hilbert–Poincaré series $...
user avatar
  • 21.7k
8 votes
1 answer
183 views

Coordinates on $N_+ \backslash \overline{B_+ w B_+} / N_+$

Let $G = \text{GL}_n(\mathbb{C})$ and let $N_+$ be the subgroup of upper triangular matrices with $1$'s on the diagonal. Let $w$ be a permutation, let $B_+ w B_+$ be the Bruhat cell and let $\overline{...
user avatar
2 votes
0 answers
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 ...
user avatar
  • 457
2 votes
0 answers
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.” ...
user avatar
  • 291
1 vote
1 answer
90 views

Is there a permutation invariant for graphs?

Let $V = (v_1,...,v_n)$ be a set of vertices for a directed graph. We denote an edge between the two vertices $v_i$ and $v_j$ by $(i,j)$. The edge set $E$ for a graph $(V,E)$ is then a set of tuples $...
user avatar
  • 343
3 votes
0 answers
139 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)$ ...
user avatar
0 votes
0 answers
75 views

Number of integer solutions of a certain polynomial system of equations

Let the homogeneous polynomials $f_1,f_2,f_3\in\mathbb{Z}[x_1,x_2,x_3]$ be defined by \begin{align}f_1&=x_1^2x_2^2+x_1^2x_3^2+x_2^2x_3^2, \\\ f_2&=x_1x_2x_3(x_1+x_2+x_3), \\\ f_3&=(x_1-x_2)...
user avatar
  • 291
3 votes
1 answer
303 views

Why is the largest invariant set the following?

Consider this paper: Hai-Feng Huo and Li-Xiang Feng, "Global stability for an HIV/AIDS epidemic model with different latent stages and treatment", Applied Mathematical Modelling, Volume 37, ...
user avatar
  • 61
3 votes
0 answers
139 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$ ...
user avatar
  • 41
10 votes
2 answers
478 views

Invariants of $\mathrm{GL}_n$ representations

$\DeclareMathOperator\GL{GL}$Let $V=\mathbb C^n$ be the natural representation of $\GL_n(\mathbb C)$ and let $W=\operatorname{Sym}^2(V)$ be the symmetric square representation. Let $W^k$ denote the ...
user avatar
  • 457
4 votes
0 answers
95 views

Polynomial invariants of infinite reflection groups

It is a famous theorem of Shepard-Todd that the ring of invariant polynomials of a finite complex reflection group $W$ acting on a complex vector space $V$ is actually itself a polynomial ring. In ...
user avatar
1 vote
1 answer
429 views

Polynomial invariant — from product formula to monomial expansion

Context This question deals with the polynomial invariant denoted by $ H_{n} $ in Maksym Fedorchuk and Igor Pak's 2004 paper Rigidity and polynomial invariants of convex polytopes (sections 7.6 and 9)....
user avatar
0 votes
0 answers
40 views

Degrees of generators for polynomials held constant by a group action

Given a group $G$ acting on $\mathbb{R}[X_1,X_2,X_3... X_n]$, let $S$ be the subring of fixed points of $G$. If $S$ has n generators, is it always true that the product of their degrees is equal to ...
user avatar
  • 2,265
1 vote
0 answers
69 views

Ring structure of coinvariant of $W(U(4))$

I want to know the ring structure of the coinvariant of $W(U(4))$, where $W(G)$ is the Weyl group of G. I know that the ring structure of the coinvariant of $W(U(3))$ is $\mathbb{Z}[x_1,x_2,x_3]$ with ...
user avatar
  • 11
2 votes
0 answers
64 views

A question about fundamental invariants in the context of neural networks

I'm reading in depth the first part of the following paper: https://arxiv.org/pdf/1804.10306.pdf, paying specific attention to the following result, that I re-write here for the sake of convenience: [...
user avatar
1 vote
1 answer
76 views

A question about finding a system of invariants for a subgroup $H$ of the symmetric group $S_n$

If $H = S_n$ then then the fundamental symmetric polynomials allow to write any $S_n$-invariant polynomial $f$ as a polynomial expression of these elementary symmetric functions. In other words, $\...
user avatar
4 votes
0 answers
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 ...
user avatar
  • 291
6 votes
1 answer
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 ...
user avatar
6 votes
0 answers
78 views

$S_n$-invariant polynomials on the dual of reflection representation

Let $W=S_n$ (the symmetric group) acting on $V=k^n$ via permutation of the indices, where $k$ is an algebraically closed field. Closely related to this are the reflection (sub-)representation $V_0=\{ (...
user avatar
  • 1,174
9 votes
2 answers
635 views

Character variety of the free group

A classical result of Fricke--Klein--Vogt from the late 1800s implies that the character variety $\chi_\mathbb{C}$ associated to the free group $F_2$ and the algebraic group $\mathrm{SL}_2(\mathbb{C})$...
user avatar
  • 2,041
2 votes
0 answers
47 views

Periodic functions on groups

I'll give you some context: We can say that a (classic) periodic function $f:\mathbb{R}\rightarrow\mathbb{R}$ with period $\omega$ is an invariant function under the cyclic subgroup $G=\langle\omega\...
user avatar
  • 171
2 votes
1 answer
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 ...
user avatar
5 votes
0 answers
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-...
user avatar
  • 291
2 votes
0 answers
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 ...
user avatar
  • 13.2k
5 votes
1 answer
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 ...
user avatar
1 vote
0 answers
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$ ...
user avatar
  • 2,041
3 votes
0 answers
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 ...
user avatar
7 votes
0 answers
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, ...
user avatar
  • 6,486
5 votes
2 answers
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]$, ...
user avatar
  • 13.2k
2 votes
2 answers
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 ...
user avatar
  • 665
0 votes
1 answer
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}$ ...
user avatar
6 votes
0 answers
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 ...
user avatar
3 votes
1 answer
139 views

Are there any results on an upper bound for the number of secondary invariants needed to generate the invariant ring of a finite group?

If $ G $ is a finite cyclic group, $ \beta: G \to \operatorname{GL}(\mathbf{V}) $ is a linear $ n $ dimensional representation of $ G $, and $ \{x_{1},\dots,x_{n}\} $ is a basis of $ \mathbf{V}^{\ast} ...
user avatar
  • 754
2 votes
0 answers
146 views

How to express this hyperbolic extension of the cross-ratio in terms of hyperbolic distances and volumes?

Given $4$ distinct points on the Riemann sphere, thought of as the sphere at infinity of hyperbolic $3$-space $H^3$, one may define the cross-ratio in the usual way. Note that the cross-ratio is the ...
user avatar
  • 3,594
1 vote
0 answers
79 views

Are these maps, associated to finite simple graphs, interesting?

Given a finite simple graph on $n$ vertices, say $G = (V,\, E)$, where $$ V = \{ v_1, \ldots , \, v_n \} $$ and $$ E \subseteq \{ (v_a, \, v_b) \, | \, 1 \leq a < b \leq n \},$$ does there exist a ...
user avatar
  • 3,594
14 votes
0 answers
788 views

What goes wrong with this alternate proof of Dirichlet's Theorem?

I had an idea for an alternate proof of Dirichlet's theorem, but something goes wrong. Dirichlet's theorem on primes in arithmetic progression says that for $ m,a \in \mathbb{N} $ which are ...
user avatar
  • 754
3 votes
0 answers
105 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$ (...
user avatar
3 votes
1 answer
236 views

Projective invariants of the plane and cross ratio

I am looking for a reference for the following admittedly imprecise statement: Any projective invariant of n points in the projective plane may be expressed as a function of well-chosen cross-ratios. ...
user avatar
  • 17k
4 votes
2 answers
270 views

Ring of invariants for $n$-tuples of Lie algebras

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\M{M}\DeclareMathOperator\Tr{Tr}$Consider the diagonal action of $\GL(n,\mathbb{C})$ on the variety of $k$-tuples of matrices, $\M_{n\times n}(\mathbb{C}...
user avatar
  • 142
2 votes
0 answers
100 views

Calculating the polynomials which are invariant under the action of a simple finite group

Let $G$ be a simple, finite group. In general, $G$ is not abelian. Let $\rho$ be a representation of this group, where each $\rho(g)$ for $g\in G$ is a unitary, complex, $d$-dimensional matrix, $\rho(...
user avatar
5 votes
1 answer
205 views

Invariant ideal generated by invariant elements

Let $G$ be a complex reductive group acting linearly on $\mathbb{C}^n$ and let $X$ be a $G$-invariant closed subvariety of $\mathbb{C}^n$. Is $X$ the zero-set of finitely many $G$-invariant functions? ...
user avatar
  • 1,343
10 votes
1 answer
402 views

Basis of invariant tensors of rank n in three dimensions

[This is a question motivated by theoretical physics, so apologies if the language is rough...] In three dimensions the spaces of invariant (or isotropic) tensors of rank $n$ have dimensions 1, 0, 1, ...
user avatar
  • 1,018
2 votes
0 answers
49 views

Equivalence classes of Hermitian elements in a central simple algebra with an involution of second kind

Let $k_0$ be a field of characteristic 0, $k/k_0$ be a quadratic extension, and $A/k$ be a central simple algebra over $k$ of dimension $9=3^2$ with an involution of second kind $\sigma$. Then $^\...
user avatar
4 votes
1 answer
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) — ...
user avatar
  • 41
8 votes
1 answer
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 ...
user avatar
  • 2,277
0 votes
0 answers
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 ...
user avatar
  • 12.8k
7 votes
1 answer
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 ...
user avatar
  • 99
10 votes
0 answers
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$-...
user avatar
  • 51.1k
5 votes
1 answer
156 views

Coordinate-free description of an alternating trilinear form on pure octonions

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 ...
user avatar
1 vote
0 answers
75 views

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 $...
user avatar
  • 99

1
2 3 4 5
8