Cartan decomposition for complex loop groups

DOI10.1007/S00031-014-9268-7MaRDI QIDQ2249222zbMATH OpenOpenAlexFDO

Authors Alexander Braverman, David Kazhdan

Publication date 10 July 2014

Published in Transformation Groups (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.1369

zbMATH Keywords

Cartan decompositioncomplex loop grouploop group

Mathematics Subject Classification ID

General properties and structure of complex Lie groups (22E10) Loop groups and related constructions, group-theoretic treatment (22E67)

Abstract: In this note we formulate and prove a version of Cartan decomposition for holomorphic loop groups, similar to Cartan decomposition for $p$-adic loop groups, discussed proved by Garland (and later by the authors by geometric mathods). The main technical tool that we use is the (well-known) interpretation of twisted conjugacy classes in the holomorphic loop group in terms of principal holomorphic bundles on an elliptic curve.

Review text

Let \(G\) be a complex simple Lie group and \(K\) its maximal compact form. We denote by \(T\) a maximal torus and have the decomposition \(T = T_K \cdot A\) where \(T_K =T\;\cap \;K\) and \(A\) is the complement. Let \(A^+\) be a fundamental domain for the action on the Weyl group on \(A\). The Cartan decomposition is the decomposition \(G = KA^+K\, .\) A holomorphic loop group \(LG\) is the group of functions \(f: \mathbb{C}\longrightarrow G\) such that \(f\) is holomorphic. It is extended to a group \[ \mathcal{G} = LG_{hol} \rtimes \mathbb{C}^* \] where \(\mathbb{C}^*\) acts on \(LG_{hol}\) by shift of the loop parameter. The authors study its sub-semigroup \[ \mathcal{G}^+_{hol} = \mathcal{K}_{hol}\cup \{g\in \mathcal{G}_{hol} | |\omega(g)| \geq 1\}\, \] where \(\mathcal{K}_{hol}\) denotes the fixed point group of the conjugate linear Cartan involution (the equivalent object to the maximal compact subgroup of a simple Lie group) and \(\omega: G^+\longrightarrow \mathbb{C}^*\) denotes the natural isomorphism. In this note, the authors establish the existence of a Cartan decomposition for \(\mathcal{G}^+_{hol}\). This result is exciting as for groups of polynomial loops or more generally (minimal) Kac-Moody groups that are not of finite type it is assumed (and proven in certain cases), that there is no Cartan decomposition.

Recommendations

• A Cartan decomposition for \(p\)-adic loop groups
• Cartan decompositions and semigroups of simple Lie groups
• Cartan-decomposition subgroups of \(\mathrm{SU}(2,n)\)
• A Generalized Global Cartan Decomposition: A Basic Example
• Birkhoff decompositions and Iwasawa decompositions for loop groups

Cites work

• Geometric invariant theory and decorated principal bundles
• scientific article; zbMATH DE number 40976 (Why is no real title available?)
• Lectures on principal bundles
• Principal \(G\)-bundles over elliptic curves
• The arithmetic theory of loop groups
• The spherical Hecke algebra for affine Kac-Moody groups. I
• Vector Bundles Over an Elliptic Curve

Cited in

(7)

• Birkhoff decompositions and Iwasawa decompositions for loop groups
• A Cartan decomposition for \(p\)-adic loop groups
• Cartan-decomposition subgroups of \(\mathrm{SU}(2,n)\)
• On pairs of complex Lie groups and generalized global Cartan decomposition
• Cartan-decomposition subgroups of 𝑆𝑂(2,𝑛)
• scientific article; zbMATH DE number 2168233 (Why is no real title available?)
• Cartan decomposition of the moment map

This page was built for publication: Cartan decomposition for complex loop groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2249222)