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.
323
questions
3
votes
0answers
75 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$ (...
3
votes
1answer
102 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.
...
0
votes
0answers
82 views
Scalar triple curvature product in $\mathbb R^4$
For a classical 3d conicoid with coefficients $(a,b,c,f,g,h)$ the first two invariants are $I_1= (a+b)/2, I_2= (a b -h^2) $ and the third one is
$$I_3= \begin{pmatrix} a & h & g \\ h & b &...
4
votes
2answers
234 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}...
2
votes
0answers
91 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(...
5
votes
1answer
161 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?
...
10
votes
1answer
343 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, ...
2
votes
0answers
37 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 $^\...
4
votes
1answer
329 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) — ...
8
votes
1answer
305 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 ...
0
votes
0answers
66 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 ...
7
votes
1answer
192 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 ...
10
votes
0answers
180 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$-...
5
votes
1answer
142 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 ...
1
vote
0answers
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 $...
11
votes
2answers
566 views
To describe an invariant trivector in dimension 8 geometrically
$\newcommand\Alt{\bigwedge\nolimits}$Let $G=\operatorname{SL}(2,\Bbb C)$, and let $R$ denote the natural 2-dimensional representation of $G$ in ${\Bbb C}^2$.
For an integer $p\ge 0$, write $R_p=S^p R$;...
2
votes
0answers
49 views
Kernel of the map $\mathbb{C}[G]^U \to \mathbb{C}[U^+]$
$\DeclareMathOperator{\SL}{\operatorname{SL}}$Let $G=\SL_k$ be the special linear group, $U$ the unipotent subgroup consisting of all lower unipotent triangular matrices, $U^+$ the unipotent subgroup ...
8
votes
1answer
185 views
$\operatorname{SL}_2(k)$ invariant polynomials in $k[x_1,x_2,y_1,y_2]$
Let $k$ be a field and let $\operatorname{SL}_2(k)$ act on $k[x_1,x_2]$ and $k[y_1,y_2]$ in the usual ways. These actions induce an action on the tensor product $k[x_1,x_2,y_1,y_2]$ that preserves ...
4
votes
1answer
243 views
Nilpotent orbits in representations of exceptional groups
The first nontrivial irreducible representation of $G_2$ is of 7-dimensional, and the first nontrivial representation of $F_4$ is of 26-dimensional.
My question is: how much is known about the ...
2
votes
0answers
90 views
invariant theory for non-polynomial functions (eg Hilbert spaces)
I am looking for references regarding the study of group invariant functions that are not polynomials. In particular, I have a (nice) group $G$ and I am interested in what can be said about the $G$-...
2
votes
0answers
86 views
In char zero $ \operatorname{Cox}(\operatorname{Bl}_{[1:1:1]}(\mathbb{P}(a:b:c))) $ is finitely generated, but not in char p. How?
Let $ X(a_{1}:a_{2}:a_{3}) $ be the blow-up of $ \mathbb{P}(a_{1}:a_{2}:a_{3}) $ at $ [1:1:1] $, the identity of the torus. In Steven Dale Cutkosky's paper Symbolic Algebras of Monomial Primes ...
4
votes
0answers
81 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 ...
7
votes
1answer
413 views
GIT and singularities
Let $G$ be a complex reductive group acting on a complex affine variety $X$ and let $X // G = \operatorname{Spec}\mathbb{C}[X]^G$ be the GIT quotient.
Is there a relationship between the singular ...
1
vote
0answers
49 views
Invariants of a $kG$-module via its comoposition series, when does $M^P \supsetneq N^P$ hold for a $p$-group for $N\subseteq M$ maximal?
Let $G$ be a finite group, $k$ a field, $M$ a $kG$-module, $M^G$ the invariants of $M$ under $G$, $P$ a Sylow $p$-subgroup of $G$ where $p = \text{char}(k)$, $N$ a maximal submodule of $M$ and $S$ the ...
0
votes
0answers
118 views
How to find the polynomials that define a compact Matrix Lie group from its Lie algebra?
Consider a compact (connected) Lie group, or more generally, a linear algebraic Lie group. Suppose we are given the Lie algebra corresponding to the Lie group. How can we find a set of polynomial ...
7
votes
2answers
291 views
What are all invariant polynomials on the space of algebraic curvature tensors?
Let $V = (\mathbb{R}^n, g)$, where $g$ is the Euclidean inner product on $V$. Denote by $G$ the orthogonal group $O(V) = O(n)$ and by $\mathfrak{g}$ the Lie algebra of $G$.
Let $W \subset \Lambda^2V^* ...
7
votes
0answers
172 views
Invariant theory in universal algebra
Let $\mathcal{L}$ be a finite first-order language with no relation symbols, and $\mathcal{K}:=\mathcal{V}(\Theta)$ a variety in this language definited by a set of identities $\Theta$.
My questions ...
7
votes
1answer
224 views
An explicit negative solution to the Lüroth problem for non-algebraically closed fields
Let $\mathsf{k}$ be a field of characteristic $0$, and consider $\mathsf{k}(x,y)$.
If $\mathsf{k}$ is algebraically closed, then every field $L$ such that the inclusion $\mathsf{k} \subset L \subset \...
2
votes
0answers
120 views
An analogue of Noether's Problem for non-rational varieties
For the sake of simplicity, let $\mathsf{k}$ be algebraically closed and of zero characteristic. Varieties are irreducible.
The (linear) Noether's Problem (which goes back to the early 1910's in ...
2
votes
1answer
117 views
Behavior of invariants under reduction mod p
Let $R$ be a finitely generated $\mathbb{Z}$-algebra with an [edit: linear algebraic] action of $G(\mathbb{Z})$ where $G$ is a split simply-connected semisimple group.
Then for any prime $p$ we have a ...
1
vote
0answers
82 views
Determining the irreducible invariant subspaces of a permutation action by computing eigenspaces of a matrix
Let $\Sigma\subseteq\mathrm{Sym}(n)$ be a permutation group on $N:=\{1,...,n\}$.
My goal is to determine the irreducible invariant subspaces of the permutation action of $\Sigma$ on $\Bbb R^n$, and I ...
11
votes
2answers
382 views
Continuous version of the fundamental theorem of invariant theory for the orthogonal group
A standard result in the invariant theory of the orthogonal group states the following.
Theorem
Let $(E, \langle .,. \rangle)$ be an n-dimensional euclidean vector space,
let $f : E^m \rightarrow {\bf ...
5
votes
0answers
88 views
Invariant theory for the orthogonal group and Clifford algebras
The first fundamental theorem of invariant theory for
the orthogonal group $O_n(k)$ asserts that the
ring of invariants is generated by the scalar products:
a polynomial function of $m$ vectors $v_1,.....
0
votes
0answers
15 views
Bivariate basis functions with span that is closed under rotations in coordinate system
Consider a set of linearly independent functions $\{(x\in\mathbb{R},y\in\mathbb{R})\mapsto f_i(x,y)\in\mathbb{R}\}$ with the property that for any given $\theta\in\mathbb{R}$ and any given $\{a_i\in\...
1
vote
0answers
80 views
Invariant subspace of a nonlinear map
First please see this very simple fact:
Fact: $\ $ Any linear map $T: \mathbb{R}^3 \rightarrow \mathbb{R}^3$ has a proper invariant linear subspace.
By an invariant subspace we mean a space $M$ ...
1
vote
0answers
49 views
propagation of a invariance along some PDE
Consider the following non linear PDE on $\mathbb{R}^n$
$$ \partial_t u_t(x) \,=\, F\big(x, u_t(x), D u_t(x)\big)$$
with given initial condition $u_0(x)$.
Assume that:
$u_0$ is rotation invariant, ...
2
votes
0answers
69 views
Characterization of all-orthogonal tensors
In the paper [1], it is proven in Theorem 2 that any $n$-tensor $\mathcal{A}\in\mathbb{R}^{d_1\times...\times d_n}$ can be decomposed as
$$
\mathcal{A}=\mathcal{S} \times_1 U_1 ...\times_n U_n
$$
...
3
votes
0answers
58 views
Invariant theory of the indefinite orthogonal groups
I believe the following statements are true:
Let $V$ be a finite-dimensional real vector space with a positive-definite inner product $g$. Let $g_{\otimes n}$ denote the natural extension of $g$ to $...
12
votes
1answer
315 views
Moduli of smooth curves in $|\mathcal{O}_{\mathbb{P}^1\times\mathbb{P}^1}(2,2)| $ and their invariants
It is well known that any smooth curve
$C\in |\mathcal{O}_{\mathbf{P}^1\times\mathbf{P}^1}(2,2)| $ has geometric genus equal to 1, so its isomorphism class is determined by its $j$-invariant. ...
0
votes
1answer
103 views
Consequences of invariant-subspace problem to Li–Yorke chaos [closed]
The invariant-subspace problem is probably an open problem for reflexive spaces which asks:
Does every bounded linear operator on an infinite-dimensional separable Hilbert space have a non-trivial ...
4
votes
1answer
98 views
Equivalence classes of a circle of n bits upon flipping 3 consecutive 0s to 1s or vice versa
Consider a circle of n-bits and define the equivalence relation as follow:
Two configurations A and B of the n-bits circle are equivalent if they can be transformed into each other by performing a ...
4
votes
1answer
265 views
Why do Nakajima and Watanabe claim the induced action of a finite linear group on the invariant subring of the reflection subgroup is linearizable?
I just picked up the paper "The classification of quotient singularities which are complete intersections" by Haruhisa Nakajima and Kei-Ichi Watanabe, which is in the book
Greco, Silvio, ...
4
votes
1answer
310 views
Invariants of symmetric forms with respect to the symplectic group
Take a 6-dimensional vector space $V$ (for simplicity, over $\mathbb{C}$) and play the following game (for example, by employing the online Lie program): consider the 21-dimensional space $S^2V^*$ of ...
2
votes
1answer
194 views
Highest weight vector as a global section of an affine scheme
Let $G$ be a connected, reductive quasi-split group over a field $k$, acting on an afffine $k$-variety $X$. Let $B = TU$ be a Borel subgroup of $G$ with maximal torus $T$ and unipotent radical $U$. ...
3
votes
2answers
283 views
Rosenlicht's theorem and fundamental domain for unipotent group acting on $\mathbb A_k^n$
I have a question about unipotent group actions. I was referred to Rosenlicht's papers, but I had trouble getting much out of these because I don't understand the old algebraic geometry language very ...
10
votes
1answer
321 views
Lifting $G$-invariants from characteristic $p\gg 0$ to characteristic 0 for a reductive algebraic group $G$
Let $S\subset \mathbb{C}$ be a finitely generated ring, let $R$ be a finitely generated commutative ring over $S$. Let $G$ be a linear algebraic group over $S$, such that $G_{\mathbb{C}}$ is reductive....
10
votes
1answer
279 views
Invariants for $SO_n \backslash \mathfrak{gl}_n / SO_n$
Is there a nice theorem about the algebra of invariants $\mathbb{C}[\mathfrak{gl}_n]^{SO_n \times SO_n}$, where the action is by left and right multiplication? I'm hoping for something along the lines ...
2
votes
0answers
116 views
On Shephard-Todd theorem
There is an excellent Torsten Ekedahl's answer to Roman Fedorov's question here: Chevalley–Shephard–Todd theorem. Does anyone know any articles or books where this approach is outlined?
I didn't ...
2
votes
0answers
67 views
Rational torus invariants
Let $T=(\mathbb{C}^{\times})^n$ be the $n$-dimensional torus acting on the polynomial algebra $\mathbb{C}[x_1,x_2, \ldots,x_n]$ diagonally, i.e.
$$
diag(t^{a_1},t^{a_2},\ldots,t^{a_n})x_i=t^{a_i}x_i, ...
4
votes
2answers
278 views
Invariants in the symmetric algebra of a module
Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra, and $V$ an irreducible finite-dimensional $\mathfrak{g}$-module. Then $\mathfrak{g}$ also acts on the symmetric algebra $S(V)$...
