0
votes
1answer
361 views
What is the “fundamental theorem of invariant theory” ?
The basic question I guess can be formulated as - given two integers $N_f$ and $N_c$ what are the ways in which the fundamental and the anti-fundamental representations of $U(N_f)$ …
4
votes
3answers
155 views
Generate a higher degree symmetric polynomial from an existing one
Suppose $p(x_1, x_2, \cdots, x_n)$ is a symmetric polynomial. Given any univariate polynomial $u$, we can define a new polynomial $q(x_1, x_2, \cdots, x_{n+1})$ as
$q(x_1, x_2, \c …
1
vote
1answer
67 views
Can one pick generators for the ring of invariants of binary n-ic forms which have rational coefficients?
The problem of determining a set of generators of the ring of invariants of the group $\textrm{SL}_2$ acting on the complex $n+1$-dimensional vector space of binary $n$-ic forms is …
0
votes
1answer
92 views
Ideal membership (concerning polynomial invariants of orthogonal groups)
Let $\mathbb F _q$ be finite field of odd characteristic and consider the polynomials
$$ \xi_i = x_1^{q^i+1} - x_2^{q^i+1} + x_3^{q^i+1} - x_4^{q^i+1} \in \mathbb F_q[x_1,x_2,x_3,x …
4
votes
2answers
178 views
Cyclically symmetric functions
Where can I learn about the invariant theory associated with actions of cyclic groups (as opposed to symmetric groups)?
E.g., do the functions $x+y+z$, $xy+yz+zx$, and $x^2y+y^2z+ …
0
votes
0answers
109 views
Invariants and syzygies for 3x3 matrices
I'm interested in the structure of the scalars formed from a real 3x3 matrix which are invariant under conjugation by orthogonal matrices, i.e. bases, syzygies, and other stuff. Do …
3
votes
1answer
186 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 poly …
2
votes
1answer
177 views
Invariants of a set of real unit vectors in 3d space, under SO(3)
I have a set of $n$ real unit vectors, in 3-dimensional space.
(It is a follow up of Sets of vectors related by a rotation.)
Is there a construction providing a complete set of i …
2
votes
1answer
135 views
Modules of invariants?
Let $G \subset SL(V, \mathbb{C})$ be a finite group and $R=(\operatorname{Sym}[V])^G$ is the ring of polynomial invariants, $W$ some irreducible complex representation of $G$. I wa …
5
votes
0answers
126 views
algebra of endomorphisms over the diagonal invariants
Let $k$ be a field of characteristic 0 (say $\mathbb{C}$).
Consider the ring of polynomials $R = k[X_1,...,X_n]$ and its subring of invariant polynomials $S = R^{S_n}$.
It is know …
1
vote
0answers
45 views
An almost permutation G-lattice
I've been trying to determine the rationality of certain fields of invariants coming from G-lattices. More precisely, letting $G$ be a finite group, $L=\mathbb{Z}^n$ a free abelian …
1
vote
0answers
51 views
A slightly odd (integral of Whittaker functions / sum of characters of $GL_n(\mathbb C)$ / sum of Schur functions)
Let $W$ be the normalized spherical Whittaker function attached to a spherical representation $\pi$ on $GL_n(k)$, where $k$ is a $p$-adic field and $n\ge 3$.
I'm faced with the sl …
10
votes
1answer
318 views
A question on invariant theory of $GL_n(\mathbb{C})$.
Let $\rho$ denote the irreducible algebraic representation of $GL_n(\mathbb{C})$ with the highest weight $(2,2,\underset{n-2}{\underbrace{0,\dots,0}})$.
Let $k\leq n/2$ be a non- …
3
votes
2answers
166 views
Intersection theory for $G$-varieties - an action on the chow ring?
Let $G$ be a reductive algebraic group. Let $X$ be a $G$-variety and consider any closed subvariety $Z$ of $X$. Since any $g\in G$ acts as an automorphism, we know that $g.Z$ is ag …
6
votes
3answers
268 views
Invariants of group action: SL_n acts simultaneously on m symmetric matrices
Let $\rm{SL}_n$ be the special linear group and let $\rm{Sym}_n$ be the set of all symmetric matrices of size n. $\rm{SL}_n$ acts on $(\rm{Sym}_n)^m$ by $g(A_1, \ldots , A_m)=(gA_1 …

