AFFINE MAXIMAL TORUS FIBRATIONS OF A COMPACT LIE GROUP (Q4807397)

A maximal torus in a compact connected semisimple Lie group \(G\) is a maximal abelian Lie subgroup of \(G\). A subset \(S\) of \(G\) is an affine maximal torus if there exist \(g,h\in G\) such that \(gSh^{-1}\) is a maximal torus of \(G\). Problem: In which manners can \(G\) be expressed as a disjoint union of affine maximal tori? The author studies fibrations of \(G\) by affine maximal tori which are oriented in the sense of Weyl. He gives a general procedure to obtain the continuous fibrations of \(G\) by Weyl-oriented affine maximal tori. He studies the problem and he proves several results. Let \(T\) be a maximal torus of \(G\) and \(\mathcal T\) denote the set of all \(W\)-oriented affine maximal tori of \(G\). Theorem 1: ``For each strictly distance decreasing function \(f:G/T\to G/T\), there exists a unique continuous fibration of \(G\) by \(W\)-oriented affine maximal tori, such that graph \((F)\subset G/T\times G/T\approx {\mathcal T}\) is the space of the \(W\)-oriented fibres.'' Moreover, the following assumptions are true. (a) If \(f\) is smooth and \(| df|<1\), then the fibration is smooth. (b) A partial converse of (a) holds: If the fibration is smooth, then \(f\) is smooth. Let \(t\) be the Lie algebra of \(T\) and let \(E\) be a regular element of \(t\). The author proves Theorem 2: ``For each smooth strictly distance decreasing function \(\lambda:\mathbb{R}\to(-\delta,\delta)\) with \(\lambda(0)=0\), the function \(f:G/T\to G/T\) defined by \(f(gT)=\gamma(\lambda((\text{Ad}(g)E,y)))\) is smooth and strictly distance decreasing. Moreover, if \(| \lambda'|<1\) (respectively, \(\lambda'(0)=1\)), then \(|df|<1\) (respectively, \(| df|=1\) and the continuous fibration of \(G\) by \(W\)-oriented affine maximal tori associated with \(f\) as in theorem 1 is smooth (respectively, not smooth).'' Here, \(\gamma\) denotes the geodesic in \(G/T\) with \(\gamma(0)=0\).