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
      0 references
      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
      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

      Identifiers