On certain rings of highest weight vectors (Q1895553): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1574466 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Karl-Hermann Neeb / rank | |||
Normal rank |
Revision as of 01:45, 29 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On certain rings of highest weight vectors |
scientific article |
Statements
On certain rings of highest weight vectors (English)
0 references
2 January 1996
0 references
In this paper the authors consider the representation of the group \(G = O_m \times GL_n\) on the polynomial algebra \(P(V)\) of \(m \times n\)- matrices induced by the natural action by left, resp., right multiplication on \(V = \mathbb{C}^{m,n}\). Let \(B = UT\) be a Borel subgroup of \(G\), where \(T\) is a maximal torus and \(U\) a maximal unipotent subgroup. Then \(T\) acts semisimply on the space \(P(V)^U\) of \(U\)- invariants in \(P(V)\). The eigenvectors for this representation of \(T\) are called highest weight vectors and \(R_{m,n} := P(V)^U\) the ring of highest weight vectors. The main objective of the authors is to study the structure of this ring. One major tool to do this is the decomposition \(P(V) = P(V)^{O_m} \cdot {\mathcal H}\), where \({\mathcal H} = \{f : (\forall 1 \leq j \leq k \leq n) \Delta_{j,k} \cdot f = 0\}\) is the space of harmonics, and \(\Delta_{jk} = \sum^m_{s = 1} {\partial^2 \over \partial x_{sj} \partial x_{sk}}\). For \(m \geq 3\) this leads directly to the description of \(R_{m,1}\) as \(\mathbb{C} [z_1, r^2_{11}]\) with \(z_1 = x_{11} - ix_{21}\) and \(r^2_{jk} = \sum^m_{s = 1} x_{sj} x_{sk}\). Another important source of information is the work of \textit{M. Kashiwara} and \textit{M. Vergne} [Invent. Math. 44, 1-47 (1978; Zbl 0375.22009)]. In the article under review the authors determine the ring \(R_{m,2}\) and use it to compute for the holomorphic representations of \(\text{Sp}_4\) the Poincaré series, the Gelfand- Kirillov dimension and the Berenstein degree. They also describe a set of generators for \(R_{m,3}\).
0 references
representation
0 references
Borel subgroup
0 references
eigenvectors
0 references
highest weight vectors
0 references