Abstract
We generalize Hirzebruch–Slodowy’s computation of the signature of equal rank homogeneous spaces to a large class of biquotients.
Introduction
The signature of a homogeneous space G/H, where \(H\subset G\) are compact Lie groups of equal rank, is explicitly computable from the root systems of G and H. This was shown by Hirzebruch–Slodowy [9], as a corollary of a more general result for compact oriented manifolds on which a circle acts with finite fixed point set, see Theorem 2.6 below.
In this note we generalize Hirzebruch–Slodowy’s computation to a large class of equal rank biquotients, i.e., quotients of a compact Lie group G by the free action of a subgroup \(H\subset G\times G\) with \({{\,\mathrm{rk}\,}}H = {{\,\mathrm{rk}\,}}G\) by left and right multiplication. In this way we continue the topological study of biquotients by extending methods from homogeneous spaces, which already lead to an understanding of the Euler characteristic [12], cohomology [3], and rational homotopy [10] of biquotients.
Biquotients were originally considered by Eschenburg [4] in the context of Riemannian geometry, but also appear naturally in other geometries, such as symplectic [5] or Sasakian geometry [2]. In all these considerations, symmetries play an essential role. We will use the fact that any Lie subgroup of \(G\times G\) that commutes with H naturally acts on G//H, yielding in particular circle actions on many such biquotients. Our main result, Theorem 4.1, is applicable to any such circle action with finite fixed point set. The main difference to the homogeneous setting is the fact that because we do not have a transitive action on the space at our disposal, we need to keep track of orientations, see Definition 3.11 below. To illustrate this issue, we have included a detailed example, see Sect. 4.1.
Actions on homogeneous spaces
In this section we present the known results on homogeneous spaces from [9]. We begin by recalling the notion of weights for real and complex torus representations. Let T be a compact torus and
a finite dimensional complex Trepresentation. A linear form \(\alpha :\mathfrak {t} \rightarrow \mathbb {R}\) is called a weight of \(\varrho \) if
is not zero. Then V decomposes as \(V=\bigoplus \limits _{\alpha \in \Delta }V_{\alpha }\) for some set of weights \(\Delta \subset \mathfrak {t}^{*}\); the \(V_\alpha \) are called weight spaces. If W is a real Trepresentation without fixed vectors, there always exists a Tinvariant complex structure on W. Having chosen one such, we can decompose W into its weight spaces. Note that when replacing the invariant complex structure J by its negative \(J\), a weight space \(V_\alpha \) corresponding to the weight \(\alpha \) becomes the weight space of the weight \(\alpha \). Without fixing a complex structure, we can still speak about weights and weight spaces of the representation W, but these are then only welldefined up to sign, i.e., elements of \(\mathfrak {t}^*/{\pm 1}\).
Introducing an invariant almost complex structure on W in particular fixes an orientation. Without the almost complex structure we can obtain an orientation by fixing signs of the weights: for every twodimensional irreducible submodule V of weight \(\pm \alpha \), let \(\beta \) be one of \(\alpha \) or \(\alpha \); we then choose \(H\in \mathfrak {t}\) such that \(\beta (H)>0\), and define \(v,H\cdot v\) be positively oriented, where \(v\in V\) is any nonzero element, and \(H\cdot v:=\left. \frac{d}{dt}\right _{t=0} \varrho (\exp (tH))(v)\) denotes the associated Lie algebra representation. In this way, choosing a sign for each weight of W determines an orientation of W.
In the case of \(T=S^{1}\), i.e., a real representation of a circle, the weights are integers, welldefined up to sign. Following [9], we denote by \(V(m)\cong \mathbb {C}\) the real \(S^1\)module on which \(z\in S^1\) acts by \(v\mapsto z^m v\), where \(m\in \mathbb {Z}\).
Consider G a compact, connected Lie group and \(H \subset G\) a subgroup with \({{\,\mathrm{rk}\,}}(H)={{\,\mathrm{rk}\,}}(G)\). Fix a shared maximal torus \(T \subset H \subset G\). Left multiplication with elements of the torus induces a welldefined action of T on the homogeneous space G/H by \(t \cdot gH := (tg)H\). The fixed point set of this action is wellknown and in particular finite:
Proposition 2.1
The natural map \(N_G(T) \rightarrow G \rightarrow G/H\) induces a bijection \((G/H)^{T} \cong N_G(T)/N_H(T) \cong \frac{W(G)}{W(H)}\).
Proof
See e.g. [6, Proposition 2.2]. \(\square \)
We want to understand the isotropy representation in these (isolated) fixed points and their weights. Denote by
the natural projection. Then:
Proposition 2.2
Let \(g \in N_{G}(T)\). Then the isotropy representation of the Taction on G/H in the point gH is given as follows: for any \(t\in T\) and \(v\in T_{gH}G/H\) we have
where \(X\in \mathfrak g\) satisfies \(d\pi _g(X_g)= v\) and \(w^{1}(t)=g^{1}tg\).
Proof
For such a fixed point we define \(w^{1}(t) := g^{1}tg\in T\). Then:
\(\square \)
Remark 2.3
Let \(\Delta _H\subset \Delta _G\) be the root systems of H and G with respect to T: these elements are linear maps \(\mathfrak {t}\rightarrow i\mathbb {R}\). The former proposition tells us that the weights of the isotropy representation in each fixed point gH, where \(g\in N_G(T)\), are the roots \(\Delta _{G}\setminus \Delta _{H}\), up to sign and a factor i, twisted by a representative of the fixed point, i.e., \(\{{{\,\mathrm{Ad}\,}}_{g^{1}}^{*}\alpha \mid \alpha \in \Delta _{G}\setminus \Delta _{H}\}\). See also [6], where even more information was obtained, in form of the GKM graph of the Taction on G/H.
The root space decomposition
of the complexification \(\mathfrak {g}^{\mathbb {C}}\) induces a decomposition
of the real Lie algebra \(\mathfrak {g}\), where \(\Delta ^{+}_{G} \subset \Delta _{G}\) is a choice of positive roots. A similar decomposition holds for H, so that
which is the same as the decomposition of \(T_{eH} G/H\) into the irreducible submodules of the isotropy representation of T at eH. Explicitly, each \(\mathfrak {g}_{\alpha }\) is onedimensional and \(\mathfrak {g}_{\alpha }=\overline{\mathfrak {g}_{\alpha }}\). Hence, when choosing \(X \in \mathfrak {g}_{\alpha }\) we obtain the real basis \((X+\overline{X}, iXi\overline{X})\) of \((\mathfrak {g}_{\alpha } \oplus \mathfrak {g}_{\alpha })\cap \mathfrak {g}\). For an element \(H \in \mathfrak {t}\) and \(X \in \mathfrak {g}_{\alpha }\), we have
Thus, \((\mathfrak {g}_{\alpha } \oplus \mathfrak {g}_{\alpha })\cap \mathfrak {g}\) is a weight space of the real Trepresentation \(T_{eH}G/H\) of weight \(\pm \frac{1}{i} \alpha \). As described in the beginning of the section, the choice of positive roots \(\Delta _G^+\) therefore induces an orientation on \(T_{eH}G/H\) (and hence on G/H).
This data is now sufficient to understand the signature of these spaces, defined by
Definition 2.4
Let M be a compact, connected, orientable manifold of dimension 4n. By Poincaré duality, multiplication in the middle cohomology defines a bilinear, symmetric, nondegenerate product
We define the signature \(\sigma (M)\) of M to be the signature of this inner product. We set the signature of manifolds whose dimension is not divisible by four to zero.
Remark 2.5
When \(\bar{M}\) denotes M with the reversed orientation, \(\sigma (\bar{M})=\sigma (M)\).
Hirzebruch, Berger and Jung computed this (orientedhomotopy) invariant using the famous Atiyah–SingerIndex Theorem [8, p. 63–72]. For the special case of \(S^{1}\)manifolds with finite fixed point set Hirzebruch–Slodowy obtained in [9, Section 1.7.b)]:
Theorem 2.6
Take M a compact, oriented, 2ndimensional manifold on which \(S^{1}\) acts with isolated fixed points. Denote by \(V(m_{i}) \cong \mathbb {C}\) the oriented real \(S^{1}\)module defined by \(z \cdot v := z^{m_{i}}v\). Then, in each fixed point \(p \in M^{S^{1}}\), we can decompose \(T_{p}M \cong \bigoplus \limits _{i}V(m_{i})\), such that the orientations on the \(V(m_{i})\) induce the given orientation on \(T_{p}M\). Then these \(m_{i}\) are welldefined up to an even number of sign changes and
Remark 2.7
A different choice of the \(m_{i}\) does not change the parity of \(\#\{i \mid m_{i}<0\}\).
If we feed in the results on the canonical torus action on equal rank homogeneous spaces, restrict our torus action to a circle which has the same fixed points as the torus, and fix sets of positive roots \(\Delta _{G}^{+}\) on G and \(\Delta _{H} \subset \Delta _G\) on H which induce an orientation on G/H as described in Remark 2.3, Hirzebruch–Slodowy’s fomula yields [9, Theorem 2.5.]:
Theorem 2.8
\(\sigma (G/H)= \pm \sum \limits _{[w] \in \frac{W(G)}{W(H)}}(1)^{\#\{\alpha \in \Delta ^{+}_{G} \setminus \Delta _{H} \mid w^{1}(\alpha )\not \in \Delta ^{+}_{G}\}}\)
This formula is then used in numerous papers (e.g. [1, 13]) to compute the signature of homogeneous spaces. In the following sections we will generalize this result to a large class of biquotients.
Actions on biquotients
In the following G will always denote a compact, connected Lie group, with maximal torus \(T_{\max } \subset G\). Furthermore T shall denote a torus in \(T_{\max } \times T_{\max }\) of dimension equal to the rank of G. We fix a complementary torus \(T'\) in \(T_{\max }\times T_{\max }\), i.e., \(\mathfrak {t}\oplus \mathfrak {t'}=\mathfrak {t}_{\max } \oplus \mathfrak {t}_{\max }\). Let \(H \subset G \times G\) be a closed, connected subgroup containing T with \({{\,\mathrm{rk}\,}}G = {{\,\mathrm{rk}\,}}H\). We assume that H (or, equivalently, T) acts freely on G by \((h_{1},h_{2})\cdot g=h_{1}gh_{2}^{1}\), and we denote the Horbit space by G//H. It is called a biquotient. We assume that H commutes with a subtorus \(\tilde{T} \subset T'\), so that we get a welldefined action of \(\tilde{T}\) on the biquotient G//H via \((t_{1},t_{2})Hg=H(t_{1}gt_{2}^{1})\). The aim of this section is to understand the weights of the isotropy representation of this action in the fixed points.
Remark 3.1
For a homogeneous space G/H, and \(T\subset H\) a subtorus with \({{\,\mathrm{rk}\,}}T = {{\,\mathrm{rk}\,}}H = {{\,\mathrm{rk}\,}}G\), Proposition 2.1 tells us that the (finite) fixed point set \((G/H)^T\) of the Taction on G/H by left multiplication is naturally given by the finite set W(G)/W(H). In particular, the Weyl group W(G) acts on it.
In the biquotient setting as above, in the special case \(H=T\) and \(\tilde{T} = T'\), a similar statement is true. Let \(\pi :G\rightarrow G//T\) be the projection. The preimage \(\pi ^{1}((G//T)^{T'})\) is equal to the set of elements \(g\in G\) for which \(T_{\max } g T_{\max }\) is of minimal possible dimension, or equivalently equal to Tg. This set clearly contains the normalizer \(N_G(T_{\max })\). On the other hand, if g is in this set, then both \(T_{\max }g\) and \(gT_{\max }\) are equal to \(T_{\max } g T_{\max }\), which implies that \(g\in N_G(T_{\max })\). This implies
The normalizer \(N_G(T_{\max })\) acts on this finite set, because for all \(g,g'\in N_G(T_{\max })\) we have \( g\cdot Tg' = g\cdot (g'T_{\max }) = (gg')T_{\max } = Tgg'\). The subaction of \(T_{\max }\) is trivial, because for \(g'\in N_G(T_{\max })\) and \(t\in T_{\max }\), we have \(tg'\in T_{\max } g' = Tg'\). This implies that we obtain a free and transitive action of the Weyl group W(G) on \((G//T)^{T'}\).
Lemma 3.2
In the above setting \(H \cap \Delta (G)=\{(e,e)\}\).
Proof
Take (g, g) \(\in H \cap \Delta G\). Then \((g,g)e=geg^{1}=e\) and therefore \((g,g) \in H_{e}\), so g equals e according to the freeness of the action. \(\square \)
Lemma 3.3
The orbit map \(\pi :G \longrightarrow G//H\) is \(\tilde{T}\)equivariant.
Proof
For \((t_{1},t_{2}) \in \tilde{T}\) the following is valid: \(\pi (t_{1}gt_{2}^{1})=H(t_{1}gt_{2}^{1})=t_{1}(Hg)t_{2}^{1}=(t_{1},t_{2})(\pi (g))\). \(\square \)
Now we are able to compute the isotropy representation of this action in a fixed point.
Let \(g\in G\) be such that \(Hg \in (G//H)^{\tilde{T}}\). Then, because H acts freely on G, for each \((t_{1},t_{2}) \in \tilde{T}\) there is a unique \((s_{1},s_{2}) \in H\) such that \(t_{1}gt_{2}^{1}=s_{1}gs_{2}^{1}\).
Proposition 3.4
We have
where \(v \in T_{Hg}(G//H)\) and \(X \in \mathfrak {g}\) satisfies \(d\pi _{g}(X_g)=v\).
Proof
Since H is closed under inversion, \((s_{1}^{1},s_{2}^{1}) \in H\). Invoking the defining equation of \((s_{1},s_{2})\) we compute using Lemma 3.3:
\(\square \)
Lemma 3.5
The maps \(\psi :\tilde{T}\rightarrow H;\, (t_1,t_2) \mapsto (s_1,s_2)\) and \(\psi _{g} :\tilde{T} \longrightarrow G;\, (t_{1},t_{2}) \mapsto s_{2}^{1}t_{2}\) are welldefined homomorphisms of Lie groups.
Remark 3.6
The homomorphism \(\psi _g\) depends on the choice of g, i.e., some representative of Hg.
Proof
As observed above, the freeness of the Haction implies that \(\psi \) and \(\psi _{g}\) are welldefined. Let for \((t_{1},t_{2}), (\hat{t}_{1},\hat{t}_{2}) \in \tilde{T}\) be \((s_{1},s_{2}), (\hat{s}_{1},\hat{s}_{2}) \in H\) as above. Then
which implies that \(\psi \) is a homomorphism. Further,
where we used that \(\tilde{T}\) and H commute. It is clear that \(\psi \) and \(\psi _{g}\) are continuous. But every continous homomorphism of Lie groups is differentiable. \(\square \)
For later purposes we need to determine the differential of \(\psi _g\).
Lemma 3.7
Denote by \(\tau _{i}:\tilde{t}\rightarrow \mathfrak {g}\) and \(\pi _i:\mathfrak {h}\rightarrow \mathfrak {g}\) the respective projections to the ith factor. Furthermore we consider the maps \(\alpha :{\tilde{t}} \longrightarrow \mathfrak {g}\) given by \(\alpha (X,X^{\prime })=XX^{\prime }\) and \(\beta :\mathfrak {h} \longrightarrow \mathfrak {g}\) given by \(\beta (Y,Y^{\prime })=YY^{\prime }\), where \(\beta \) is injective. Then
for \(g \in Hg \in (G//H)^{\tilde{T}}\).
Proof
Writing \((s_1,s_2) = \psi (t_1,t_2)\), we have
Multiplying this equation with \(g^{1}\) from the left yields
and differentiating this we obtain for \((X_1,X_2)\in {\tilde{t}}\)
which we can express as
We note that \(\beta \) is injective, since \(\mathfrak {h}\cap \Delta \mathfrak {g}=\ker (\beta )=0\), its image contains \(\mathfrak {t}_{\max }\) and \(\alpha \) has image contained in \(\mathfrak {t}_{\max }\). Therefore we have
Now we can use this to differentiate the homomorphism \(\psi _g\), which was given by \(\psi _g(t_1,t_2) = s_2^{1}t_2\): it is
which completes our proof. \(\square \)
Corollary 3.8
If \(T'\) lies in the special torus \(\{(t_1,t_2)\in G\times G\mid (t_2,t_1) \in T\}\), this differential computes as
Proof
In this case we have \(  \pi _{2} \circ \beta ^{1} \circ \alpha =\tau _{1}\). \(\square \)
Corollary 3.9
If we fix an auxiliary biinvariant Riemannian metric on G and denote by \(\hat{\Delta }_{g}\) the set of weights of the restriction of the adjoint representation of G on \(\mathfrak {g}\) to the subspace \(d(l_{g^{1}})_{e}(\ker d\pi _{g})^{\perp }\) and the subtorus \({\mathrm {Im}}(\psi _{g})\), the set of weights of the isotropy representation in the fixed point Hg is \(\Delta _{g} := \{d(\psi _{g})^{*}\lambda  \lambda \in \hat{\Delta }_{g}\}\).
Proof
In Proposition 3.4 we proved the commutativity of the following diagram:
In order to get isomorphic representations we fix a biinvariant Riemannian metric on G, restrict to appropriate subspaces and finally achieve the following diagram:
The weights of the above twisted adjoint representation are then the twisted weights \(\{d(\psi _{g})^{*}\lambda  \lambda \in \hat{\Delta }_{Hg}\}\). \(\square \)
Remark 3.10
The most convenient situation occurs, when for each fixed point \(Hg \in (G//H)^{\tilde{T}}\) there exists a representative \(g \in N_{G}(T_{\max })\). Then \({\mathrm {Im}}(\psi _{g})\) lies in \(T_{\max }\) and the weights are pulled back roots associated to the maximal torus \(T_{\max }\).
Remark 3.11
As explained in the beginning of Sect. 2, the weights \(\Delta _g\) are only welldefined up to sign, as they are weights of the real \(\tilde{T}\)representation \(T_{Hg}(G//H)\). There we also explained how fixing signs of these weights determines an orientation.
If we fix an orientation on G//H, the vector space \(T_{Hg}(G//H)\) is oriented. By choosing exactly one of each pair \(\alpha , \alpha \), we can choose a set of linear forms \(\Delta _{g}^{+}\) such that \(\Delta _g = \{\pm \alpha \mid \alpha \in \Delta _{g}^{+}\}\), with the property that the orientation on \(T_{Hg}(G//H)\) induced by this choice coincides with the one given by the orientation on the manifold G//H.
Signature
Just as in the homogeneous case we can now invoke Hirzebruch–Slodowy’s signature formula to prove a result on the signature of biquotients.
Using the same notation as before, suppose that the fixed point set of \(\tilde{T} \curvearrowright G//H\) consists of isolated points and fix \((X,Y) \in \tilde{{t}}\) generating a subcircle with the same fixed points. The weights \(\Delta _g\) of the \(\tilde{T}\)isotropy representation in Hg were determined in Corollary 3.9. We furthermore fix an orientation on G//H, and choose sets of linear forms \(\Delta _g^+\) that induce the weights \(\Delta _g\) and are compatible with the chosen orientation, as described in Remark 3.11. Then Hirzebruch–Slodowy’s Theorem 2.6 for oriented \(S^{1}\)manifolds gives the following theorem:
Theorem 4.1
Remark 4.2
By [12, Corollary 3.4. and Property 1.7.] G//H is orientable whenever G and H are connected. In that case, we can orient G//H as follows. By introducing a biinvariant auxiliary Riemannian metric on G we can make the following identifications:
which gives us a splitting
Therefore fixing orientations of G and H we get an orientation of each orbit \(H \cdot g\) and an induced orientation of its normal space \(\nu (H \cdot g)\), which is by the previous considerations isomorphic to \(T_{Hg}G//H\). Note that the orientation of the orbit
is independent of the choice of the representative of the orbit because H is connected. Hence we can determine an orientation of the biquotient G//H, by choosing sets of positive roots of G and H and orientations on their maximal tori.
Remark 4.3
Let us describe two situations in which the signature of a biquotient vanishes automatically: For \({{\,\mathrm{rk}\,}}(H)<{{\,\mathrm{rk}\,}}(G)\) the signature behaves analogously to the homogeneous case and \(\sigma (G//H)=0\) because by [12, Proposition 6.7.] all Pontryjagin numbers of G//H vanish and therefore the signature vanishes by Hirzebruch’s signature theorem [7, Theorem 8.2.2].
Consider a biquotient of the form G//T, where G is a compact simple Lie group and \(T\subset G\times G\) is a torus with \({{\,\mathrm{rk}\,}}T = {{\,\mathrm{rk}\,}}G\). Such biquotients were classified by Eschenburg in [4, Chapters 6,7,8] (up to a certain notion of equivalence). Moreover, it follows from the results in Chapter 9 of the same reference that there always exists a nonabelian extension \(T\subset H \subset G\times G\) with \({{\,\mathrm{rk}\,}}H = {{\,\mathrm{rk}\,}}G\) (in fact, there the maximal such extensions are classified). In particular, we obtain a fibration
cf. [5, Section 2.1], from which we obtain \(\sigma (G//T) = \sigma (H/T)\sigma (G//H)\) by [11]. But the signature of the generalized flag manifold H/T vanishes by [9, Proposition 2.4], which implies that \(\sigma (G//T) = 0\).
An example
Let us apply Theorem 4.1 to an example. Take \(G={{\,\mathrm{\mathsf {SU}}\,}}(6)\) and let \(H=\Delta ^{3}({{\,\mathrm{\mathsf {SU}}\,}}(2)) \times {{\,\mathrm{\mathsf {SU}}\,}}(5)\subset G\times G\), where
is the blockwise embedding and \({{\,\mathrm{\mathsf {SU}}\,}}(5)\) is embedded in the upper left corner. Let \(T\subset H\) be the maximal torus given by diagonal matrices in both components. We will compute the signature of the biquotient G//H, in order to illustrate our formula. This will not be a new result; as \(G//H=\Delta ^{3}({{\,\mathrm{\mathsf {SU}}\,}}(2)) \backslash {{\,\mathrm{\mathsf {SU}}\,}}(6) /{{\,\mathrm{\mathsf {SU}}\,}}(5) \cong \Delta ^{3}({{\,\mathrm{\mathsf {SU}}\,}}(2)) \backslash S^{11} \cong \mathbb {H}P^{2}\), the signature is wellknown to be \(\pm 1\).
The first step is to find a subtorus of \(G\times G\) which commutes with H and acts with finite fixed point set on G//H, and determine the weights of the isotropy representation in each fixed point. Such a torus is for example given by \(\tilde{T}=\{{{\,\mathrm{diag}\,}}(\lambda ,\lambda ,\lambda ^{1},\lambda ^{1},1,1)  \lambda \in S^{1}\}\times \{1\}\). We note that \(\tilde{T}\) is contained in the flipped torus \(T'=\{(t_1,t_2)\mid (t_2,t_1)\in T\}\). It is easily seen that the action of \(\tilde{T}\) on \(G//H \cong \mathbb {H}P^{2}\) is given by \(\lambda \cdot [q_{1}:q_{2}:q_{3}]=[\lambda q_{1}: \lambda ^{1}q_{2}:q_{3}]\) because the diffeomorphism \({{\,\mathrm{\mathsf {SU}}\,}}(6)/{{\,\mathrm{\mathsf {SU}}\,}}(5) \cong S^{11}\) is just projection on the last column. Hence our fixed point set is \((G//H)^{\tilde{T}}=\{[1:0:0],[0:1:0],[0:0:1]\}=\)
\(\left\{ H \cdot \begin{pmatrix} 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 1\\ 1 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 1 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 \end{pmatrix}, H \cdot \begin{pmatrix} 1 \quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 1 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 1\\ 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 \end{pmatrix},\right. \) \(\left. H \cdot \begin{pmatrix} 1 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 1 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 1\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 1 &{}\quad 0 \end{pmatrix}\right\} \)
We define \(g_{1},g_{2},g_{3}\) as the above representatives of the fixed points. Note that we are in the situation of Remark 3.10.
denote by \(V_{jk}\subset {{\,\mathrm{\mathfrak {su}}\,}}(6)\), where \(j,k=1,\ldots ,6\), \(j\ne k\), the span of \(E_{ij}  E_{ji}\) and \(i(E_{ij} + E_{ji})\). This is the root space of the adjoint representation of the standard maximal torus on \({{\,\mathrm{\mathfrak {su}}\,}}(6)\) of the root \(\pm (e_ie_j)\). By choosing the set of positive roots \(\{e_{i}e_{j} \mid i<j\}\) we induce an orientiation on \(V_{ij}\), with respect to which the above fixed basis is positively oriented. We thus obtain an orientation on \({{\,\mathrm{\mathfrak {su}}\,}}(6) = {\mathfrak {t}}_{\max } \oplus \bigoplus _{i<j} V_{ij}\) by declaring the basis \(\{i(E_{11}  E_{66}),\ldots , i(E_{55}E_{66})\}\) of \({\mathfrak {t}}_{\max }\) to be positively oriented. Analogously we obtain an orientation on \({{\,\mathrm{\mathfrak {su}}\,}}(2)\), \({{\,\mathrm{\mathfrak {su}}\,}}(5)\), and then also on
via the positively oriented basis \((i(E_{11}E_{22}),0),(0,i(E_{11}E_{55}),\ldots ,(0,i(E_{44}E_{55}))\}\). These orientations on G and H induce an orientation on G//H, cf. Remark 4.2.
Using the Frobenius inner product or equivalently the Killing form on \({{\,\mathrm{\mathsf {SU}}\,}}(6)\) we can determine the complements \(\ker (d\pi )_{g_{i}}^{\perp } \cong T_{Hg_{i}}G//H\). We obtain
By Corollary 3.9, the weights of the \(\tilde{T}\)isotropy representation in the three fixed points are

\(\Delta _{g_{1}}=\{\pm d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{2}e_{6})),\pm d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{3}e_{6})),\pm d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{4}e_{6})),\pm d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{5}e_{6}))\}\)

\(\Delta _{g_{2}}=\{\pm d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{1}e_{6})),\pm d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{2}e_{6})),\pm d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{4}e_{6})),\pm d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{5}e_{6}))\}\)

\(\Delta _{g_{3}}=\{\pm d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{1}e_{6})),\pm d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{2}e_{6})),\pm d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{3}e_{6})),\pm d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{4}e_{6}))\}\).
where we now denote by \(\frac{1}{i}(e_ie_j)\) the restrictions of the realifications of the usual roots to the tori \({\mathrm {Im}}(\psi _{g_k})\). We now have to choose appropriate signs of these weights, i.e., define compatible sets of weights \(\Delta _{g_k}^+\) as in Remark 3.11.
For every k, the subspace \(\{{{\,\mathrm{Ad}\,}}_{g_{i}^{1}}XY \mid (X,Y) \in T_{e}H\}\subset {{\,\mathrm{\mathfrak {su}}\,}}(6)\) is the sum of the Lie algebra of the maximal torus of \({{\,\mathrm{\mathfrak {su}}\,}}(6)\) and certain root spaces, and hence oriented by our conventions above. Using the bases above, and taking into account the embeddings of \({{\,\mathrm{\mathfrak {su}}\,}}(2)\) and \({{\,\mathrm{\mathfrak {su}}\,}}(5)\) into \({{\,\mathrm{\mathfrak {su}}\,}}(6)\), in order to define \(\Delta _{g_k}^+\) we have to determine if the natural maps
are orientationpreserving. The images of the embedded basis of \({{\,\mathrm{\mathfrak {su}}\,}}(2)\) are
Moreover, everything from the \({{\,\mathrm{\mathfrak {su}}\,}}(5)\) factor is mapped to its negative. From this, one computes the map (4.1):

For \(g_1\), it is the direct sum of an orientationreversing map \(\mathfrak t\rightarrow {\mathfrak t}_{\max }\) and an orientationpreserving map \((V_{12}\times 0) \oplus \bigoplus _{1\le i<j\le 5} (0\times V_{ij})\rightarrow V_{16} \oplus \bigoplus _{1\le i<j\le 5} V_{ij}\).

For \(g_2\), it is the direct sum of an orientationreversing map \(\mathfrak t\rightarrow {\mathfrak t}_{\max }\) and an orientationreversing map \((V_{12}\times 0) \oplus \bigoplus _{1\le i<j\le 5} (0\times V_{ij})\rightarrow V_{36} \oplus \bigoplus _{1\le i<j\le 5} V_{ij}\).

For \(g_3\), it is the direct sum of an orientationreversing map \(\mathfrak t\rightarrow {\mathfrak t}_{\max }\) and an orientationreversing map \((V_{12}\times 0) \oplus \bigoplus _{1\le i<j\le 5} (0\times V_{ij})\rightarrow V_{56} \oplus \bigoplus _{1\le i<j\le 5} V_{ij}\).
Thus, for \(g_2\) and \(g_3\) the original orientation given by that of the \(V_{ij}\) is the correct one on \(T_{Hg_{k}}G//H\), while for \(g_1\) we have to take the opposite one. We can therefore fix the following sets of weights of \((l_{g_{i}^{1}})_{g_{i}}(T_{g_{i}}Hg_{i})^{\perp }\) for each fixed point \(g_{i}\) inducing the fixed orientation on G//H:

\(\Delta _{g_{1}}^{+}=\{d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{2}e_{6})),d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{3}e_{6})),d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{4}e_{6})),d\psi _{g_{1}}^{*}(\frac{1}{i}(e_{5}e_{6}))\}\)

\(\Delta _{g_{2}}^{+}=\{d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{1}e_{6})),d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{2}e_{6})),d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{4}e_{6})),d\psi _{g_{2}}^{*}(\frac{1}{i}(e_{5}e_{6}))\}\)

\(\Delta _{g_{3}}^{+}=\{d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{1}e_{6})),d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{2}e_{6})),d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{3}e_{6})),d\psi _{g_{3}}^{*}(\frac{1}{i}(e_{4}e_{6}))\}\).
Furthermore, because by our choices \(\tilde{T}\) lies inside the flipped torus \(T'\), Corollary 3.8 applies, and
If we now choose \((iX,0)\in i \cdot \mathbb {R} \times 0 \cong Lie(S^{1} \times 1)\), \(X>0\) generating \(\tilde{T}\), we compute invoking Corollary 3.8

$$\begin{aligned}&g_{1}^{1}(iX)g_{1}= \begin{pmatrix} iX &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad iX &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad iX &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad iX \end{pmatrix} \Rightarrow \begin{aligned} (\frac{1}{i}(e_{2}e_{6}))({{\,\mathrm{Ad}\,}}_{g_{1}^{1}}(iX))&=2X>0\\ \frac{1}{i}(e_{3}e_{6})({{\,\mathrm{Ad}\,}}_{g_{1}^{1}}(iX))&=2X<0\\ \frac{1}{i}(e_{4}e_{6})({{\,\mathrm{Ad}\,}}_{g_{1}^{1}}(iX))&=X<0\\ \frac{1}{i}(e_{5}e_{6})({{\,\mathrm{Ad}\,}}_{g_{1}^{1}}(iX))&=X<0 \end{aligned} \end{aligned}$$

$$\begin{aligned}&g_{2}^{1}Xg_{2}=\begin{pmatrix} iX &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad iX &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad iX &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad iX \end{pmatrix} \Rightarrow \begin{aligned} \frac{1}{i}(e_{1}e_{6})({{\,\mathrm{Ad}\,}}_{g_{2}^{1}}(iX))&=2X>0\\ \frac{1}{i}(e_{2}e_{6})({{\,\mathrm{Ad}\,}}_{g_{2}^{1}}(iX))&=2X>0\\ \frac{1}{i}(e_{4}e_{6})({{\,\mathrm{Ad}\,}}_{g_{2}^{1}}(iX))&=X>0\\ \frac{1}{i}(e_{5}e_{6})({{\,\mathrm{Ad}\,}}_{g_{2}^{1}}(iX))&=X>0 \end{aligned} \end{aligned}$$

$$\begin{aligned}&g_{3}^{1}Xg_{3}=\begin{pmatrix} iX &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad iX &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad iX &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad iX &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 \end{pmatrix} \Rightarrow \begin{aligned} \frac{1}{i}(e_{1}e_{6})({{\,\mathrm{Ad}\,}}_{g_{3}^{1}}(iX))&=X>0\\ \frac{1}{i}(e_{2}e_{6})({{\,\mathrm{Ad}\,}}_{g_{3}^{1}}(iX))&=X>0\\ \frac{1}{i}(e_{3}e_{6})({{\,\mathrm{Ad}\,}}_{g_{3}^{1}}(iX))&=X<0\\ \frac{1}{i}(e_{4}e_{6})({{\,\mathrm{Ad}\,}}_{g_{3}^{1}}(iX))&=X<0 \end{aligned} \end{aligned}$$
We can now apply Theorem 4.1 and obtain:
References
 1.
Bliss, J., Moody, R., Pianzola, A.: Appendix to: “Elliptic genera, involutions, and homogeneous spin manifolds” by F. Hirzebruch and P. Slodowy. Geom. Dedicata 35(1–3), 345–351 (1990)
 2.
Boyer, C., Galicki, K., Mann, B.: The geometry and topology of 3Sasakian manifolds. J. Reine Angew. Math. 455, 183–220 (1994)
 3.
Eschenburg, J.H.: Cohomology of biquotients. Manuscripta Math. 75(2), 151–166 (1992)
 4.
Eschenburg, J.H.: Freie isometrische Aktionen auf kompakten Liegruppen mit positiv gekrümmten Orbiträumen. Schriftenreihe des Mathematischen Instituts der Universität Münster, 2. Serie, 32. Universität Münster, Mathematisches Institut, Münster (1984)
 5.
Goertsches, O., Konstantis, P., Zoller, L.: Symplectic and Kähler structures on biquotients. J. Symplectic Geom. 18(3), 791–813 (2020)
 6.
Guillemin, V., Holm, T., Zara, C.: A GKM description of the equivariant cohomology ring of a homogeneous space. J. Algebraic Combin. 23(1), 21–41 (2006)
 7.
Hirzebruch, F.: Topological Methods in Algebraic Geometry (Translated from the German and Appendix One by R. L. E. Schwarzenberger. With a preface to the third English edition by the author and Schwarzenberger. Appendix Two by A. Borel. Reprint of the 1978 edition. Classics in Mathematics). Springer, Berlin (1995)
 8.
Hirzebruch, F., Berger, T., Jung, R.: Manifolds and Modular Forms, Aspects of Mathematics, E20. Friedr. Vieweg & Sohn, Braunschweig (1992)
 9.
Hirzebruch, F., Slodowy, P.: Elliptic genera, involutions and homogeneous spin manifolds. Geom. Dedicata 35(1–3), 309–343 (1990)
 10.
Kapovitch, V.: A note on rational homotopy of biquotients (preprint)
 11.
Schafer, J.A.: The signature of fiber bundles. Proc. Am. Math. Soc. 33, 548–550 (1972)
 12.
Singhof, W.: On the topology of double coset manifolds. Math. Ann. 297(1), 133–146 (1993)
 13.
Slodowy, P.: On the signature of homogeneous spaces. Geom. Dedicata 43(1), 109–120 (1992)
Acknowledgements
The results of this paper are contained in the master thesis of the second named author, written at the Philipps University of Marburg under the supervision of the first named author. We wish to express our thanks to the anonymous referee for suggestions that helped to improve the presentation.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Goertsches, O., Schmitt, M. On the signature of biquotients. manuscripta math. (2021). https://doi.org/10.1007/s00229021013440
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00229021013440
Mathematics Subject Classification
 57T99
 57S15