Algebras of invariant functions on the Shilov boundaries of Siegel domains (Q4211907)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1209056
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algebras of invariant functions on the Shilov boundaries of Siegel domains |
scientific article; zbMATH DE number 1209056 |
Statements
Algebras of invariant functions on the Shilov boundaries of Siegel domains (English)
0 references
8 October 1998
0 references
bounded symmetric domain
0 references
exceptional Lie algebra
0 references
Gelfand pair
0 references
spin representation
0 references
Jordan pair
0 references
Siegel domain
0 references
0.8275295495986938
0 references
0.7494305968284607
0 references
0.7416079044342041
0 references
Let \(D=G/K\) be an irreducible bounded symmetric domain in a complex space \(V\). Let \(K/M\) and \({\mathcal N}\) be the Shilov boundaries of \(D\) and the corresponding Siegel domain \(D(\Omega,F)\), respectively. Carcano raised the question of determining whether \(({\mathcal N}\times L,L)\) is a Gelfand pair and gave the answer for the classical non-tube type domains, so the case of the exceptional non-tube type domain \(({\mathfrak e}_{6(-14)},{\mathfrak so}(10)\times{\mathfrak so}(2))\) is left open. In this paper Dooley and Zhang prove that the answer is no for the exceptional case. Let \(V=V_1+V_{1/2}=(Ce_1+Ce_2+V_{1,2})+(V_{10}+V_{20})\) denote the (joint) Peirce decomposition of \(V\). There is a real Jordan algebra \(A\) such that \(V_1=A+iA\) and \(\Omega\) is the open cone of positive elements in \(A\). Let \(\Lambda\) be the set of all \(\lambda\in A^*\) such that \(\langle F(v,v),\lambda\rangle\) is nondegenerate. Then the authors characterize \(\Lambda\) as the set of invertible elements in \(A\). For each \(\lambda\in\Lambda^*\) let \(L^\lambda\) be the isotropy group of \(\lambda\) in \(L\) and \({\mathcal F}_\lambda(V_{1/2})\) the Fock space on \(V_{1/2}\). As shown by Carcano, \(({\mathcal N}\times L,L)\) is a Gelfand pair if and only if \((L^\lambda,{\mathcal F}_\lambda(V_{1/2}))\) is of multiplicity one. The authors note that \(V=V_1+V_{1/2}\) is just the decomposition of the half-spin representation \({\mathfrak so}(10)\times{\mathfrak so}(2)\) restricted to \({\mathfrak so}(6)\times{\mathfrak so}(2)\) and \(V_{1/2}=V_{10}+V_{20}\) is just the one of the spin representation of \({\mathfrak so}(8)\) under \({\mathfrak so}(6)\). Then, finding a nonzero \({\mathfrak l}^\lambda(={\mathfrak so}(6)+{\mathbf R})\)-invariant polynomial in \(V_{1/2}\), we know that \((L^\lambda,{\mathcal F}_\lambda(V_{1/2}))\) is not of multiplicity one.
0 references