Skip to main content

On the signature of biquotients

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

$$\begin{aligned} \varrho :T \rightarrow {{\,\mathrm{\mathsf {GL}}\,}}(V) \end{aligned}$$

a finite dimensional complex T-representation. A linear form \(\alpha :\mathfrak {t} \rightarrow \mathbb {R}\) is called a weight of \(\varrho \) if

$$\begin{aligned} V_{\alpha }:=\left\{ v \in V \mid \forall H \in \mathfrak {t} :\varrho (\exp (H))(v)=e^{2\pi i \alpha (H)}v \right\} \end{aligned}$$

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 T-representation without fixed vectors, there always exists a T-invariant 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 well-defined 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 two-dimensional 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, well-defined 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 well-defined action of T on the homogeneous space G/H by \(t \cdot gH := (tg)H\). The fixed point set of this action is well-known 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

$$\begin{aligned} \pi :G \longrightarrow G/H \end{aligned}$$

the natural projection. Then:

Proposition 2.2

Let \(g \in N_{G}(T)\). Then the isotropy representation of the T-action 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

$$\begin{aligned} dt_{gH}(v)=d\pi _{g}d(l_{g})_{e}{{\,\mathrm{Ad}\,}}_{w^{-1}(t)}(X) \end{aligned}$$

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:

$$\begin{aligned} dt_{gH}(v)&=\frac{d}{ds}\Bigr |_{s=0}t g {{\,\mathrm{exp}\,}}(sX)H =\frac{d}{ds}\Bigr |_{s=0}g w^{-1}(t) {{\,\mathrm{exp}\,}}(sX)H\\&=\frac{d}{ds}\Bigr |_{s=0}g w^{-1}(t) {{\,\mathrm{exp}\,}}(sX) (w^{-1}(t))^{-1} H = d\pi _{g}d(l_{g})_{e}{{\,\mathrm{Ad}\,}}_{w^{-1}(t)}(X). \end{aligned}$$

\(\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 T-action on G/H.

The root space decomposition

$$\begin{aligned} \mathfrak {g}^{\mathbb {C}} = {\mathfrak {t}}^{\mathbb {C}} \oplus \bigoplus _{\alpha \in \Delta _G} \mathfrak {g}_\alpha \end{aligned}$$

of the complexification \(\mathfrak {g}^{\mathbb {C}}\) induces a decomposition

$$\begin{aligned} \mathfrak {g} = \mathfrak {t} \oplus \bigoplus \limits _{\alpha \in \Delta ^{+}_{G}}(\mathfrak {g}_{\alpha } \oplus \mathfrak {g}_{-\alpha })\cap \mathfrak {g} \end{aligned}$$

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

$$\begin{aligned}T_{eH}G/H \cong \bigoplus \limits _{\alpha \in \Delta _{G}^{+} \setminus \Delta _{H}}(\mathfrak {g}_{\alpha } \oplus \mathfrak {g}_{-\alpha })\cap \mathfrak {g},\end{aligned}$$

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 one-dimensional and \(\mathfrak {g}_{-\alpha }=\overline{\mathfrak {g}_{\alpha }}\). Hence, when choosing \(X \in \mathfrak {g}_{\alpha }\) we obtain the real basis \((X+\overline{X}, iX-i\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

$$\begin{aligned} \left[ H,X+\overline{X} \right]&= \alpha (H)X-{\alpha (H)}\cdot \overline{X}\\&=\frac{1}{i}\alpha (H)\left( iX-i\overline{X}\right) \end{aligned}$$

Thus, \((\mathfrak {g}_{\alpha } \oplus \mathfrak {g}_{-\alpha })\cap \mathfrak {g}\) is a weight space of the real T-representation \(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, non-degenerate product

$$\begin{aligned} \wedge :H^{2n}(M,\mathbb {R}) \times H^{2n}(M,\mathbb {R}) \longrightarrow H^{4n}(M,\mathbb {R}) \cong \mathbb {R}. \end{aligned}$$

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 (oriented-homotopy) invariant using the famous Atiyah–Singer-Index 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, 2n-dimensional 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 well-defined up to an even number of sign changes and

$$\begin{aligned} \sigma (M)=\sum \limits _{p \in M^{S^{1}}}(-1)^{\#\{i \mid m_{i}<0\}}. \end{aligned}$$

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 H-orbit 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 well-defined 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 T-action 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

$$\begin{aligned} (G//T)^{T'} = N_G(T_{\max }) //T. \end{aligned}$$

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 (gg) \(\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

$$\begin{aligned} d(t_{1},t_{2})_{Hg}(v) = d \pi _{g} d(l_{g})_{e}{{\,\mathrm{Ad}\,}}_{s_{2}^{-1}t_{2}}(X) \end{aligned}$$

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:

$$\begin{aligned} d(t_{1},t_{2})_{Hg}(v)&= \frac{d}{dt}\Bigr |_{t=0} t_{1}\pi (g \cdot {{\,\mathrm{exp}\,}}(tX))t_{2}^{-1} \\&= \frac{d}{dt}\Bigr |_{t=0} \pi (t_{1}(g \cdot {{\,\mathrm{exp}\,}}(tX))t_{2}^{-1}) \\&= \frac{d}{dt}\Bigr |_{t=0} \pi (s_{1}^{-1}t_{1}g \cdot {{\,\mathrm{exp}\,}}(tX)t_{2}^{-1}s_{2}) \\&= \frac{d}{dt}\Bigr |_{t=0} \pi (g \cdot (s_{2}^{-1}t_{2}){{\,\mathrm{exp}\,}}(tX)(s_{2}^{-1}t_{2})^{-1}) \\&= d \pi _{g} d(l_{g})_{e}{{\,\mathrm{Ad}\,}}_{s_{2}^{-1}t_{2}}(X) \end{aligned}$$

\(\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 well-defined 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 H-action implies that \(\psi \) and \(\psi _{g}\) are well-defined. 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

$$\begin{aligned} (t_{1}\hat{t}_{1},t_{2}\hat{t}_{2})g = t_{1}\hat{t}_{1}g\hat{t}_{2}^{-1}t_{2}^{-1} = t_{1}\hat{s}_{1}g\hat{s}_{2}^{-1}t_{2}^{-1} = \hat{s}_{1}t_{1}gt_{2}^{-1}\hat{s}_{2}^{-1} =\hat{s}_{1}s_{1}gs_{2}^{-1}\hat{s}_{2}^{-1}, \end{aligned}$$

which implies that \(\psi \) is a homomorphism. Further,

$$\begin{aligned} \psi _{g}((t_{1}\hat{t}_{1},t_{2}\hat{t}_{2}))=s_{2}^{-1}\hat{s}_{2}^{-1}t_{2}\hat{t}_{2} =s_{2}^{-1}t_{2}\hat{s}_{2}^{-1}\hat{t}_{2} =\psi _{g}(t_{1},t_{2})\psi _{g}(\hat{t}_{1},\hat{t}_{2}), \end{aligned}$$

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 i-th factor. Furthermore we consider the maps \(\alpha :{\tilde{t}} \longrightarrow \mathfrak {g}\) given by \(\alpha (X,X^{\prime })=X-X^{\prime }\) and \(\beta :\mathfrak {h} \longrightarrow \mathfrak {g}\) given by \(\beta (Y,Y^{\prime })=Y-Y^{\prime }\), where \(\beta \) is injective. Then

$$\begin{aligned} d\psi _{g} = - \pi _{2} \circ \beta ^{-1} \circ \alpha \circ ({{\,\mathrm{Ad}\,}}_{g^{-1}} \times 1) + \tau _{2} \end{aligned}$$

for \(g \in Hg \in (G//H)^{\tilde{T}}\).

Proof

Writing \((s_1,s_2) = \psi (t_1,t_2)\), we have

$$\begin{aligned} t_{1}gt_{2}^{-1}=s_{1}gs_{2}^{-1}. \end{aligned}$$

Multiplying this equation with \(g^{-1}\) from the left yields

$$\begin{aligned} c_{g^{-1}}(t_{1})t_{2}^{-1}=c_{g^{-1}}(s_{1})s_{2}^{-1}, \end{aligned}$$

and differentiating this we obtain for \((X_1,X_2)\in {\tilde{t}}\)

$$\begin{aligned} {{\,\mathrm{Ad}\,}}_{g^{-1}}(X_{1})-X_{2}={{\,\mathrm{Ad}\,}}_{g^{-1}}(\pi _{1}(d\psi (X_{1},X_{2})))-\pi _{2}(d\psi (X_{1},X_{2})) \end{aligned}$$

which we can express as

$$\begin{aligned} \beta (({{\,\mathrm{Ad}\,}}_{g^{-1}} \times 1)(d\psi (X_{1},X_{2}))=\alpha (({{\,\mathrm{Ad}\,}}_{g^{-1}} \times 1)(X_{1},X_{2})). \end{aligned}$$

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

$$\begin{aligned} d\psi =({{\,\mathrm{Ad}\,}}_{g^{-1}} \times 1)^{-1} \circ \beta ^{-1} \circ \alpha \circ ({{\,\mathrm{Ad}\,}}_{g^{-1}} \times 1) \end{aligned}$$

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

$$\begin{aligned} d\psi _{g} = - \pi _{2} \circ \beta ^{-1} \circ \alpha \circ ({{\,\mathrm{Ad}\,}}_{g^{-1}} \times 1) + \tau _{2} \\ \end{aligned}$$

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

$$\begin{aligned} d\psi _{g} = \tau _{1} \circ ({{\,\mathrm{Ad}\,}}_{g^{-1}} \times 1) + \tau _{2}. \end{aligned}$$

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:

figurea

In order to get isomorphic representations we fix a biinvariant Riemannian metric on G, restrict to appropriate subspaces and finally achieve the following diagram:

figureb

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 well-defined 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

$$\begin{aligned} \sigma (G//H)= \sum \limits _{Hg \in (G//H)^{\tilde{T}}}(-1)^{\#\{\alpha \in \Delta _{g}^{+} \mid \alpha (X,Y)<0\}} \end{aligned}$$

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 bi-invariant auxiliary Riemannian metric on G we can make the following identifications:

$$\begin{aligned} T_{Hg}G//H&\cong (\ker d\pi _{g})^{\perp } \\&\cong (d(l_{g^{-1}})_{g}(\ker d\pi _{g}))^{\perp } \\&\cong (d(l_{g^{-1}})_{g}(T_{g}H \cdot g))^{\perp } \\&\cong \{{{\,\mathrm{Ad}\,}}_{g^{-1}}X-Y \mid (X,Y) \in T_{e}H\}^{\perp }, \end{aligned}$$

which gives us a splitting

$$\begin{aligned} \mathfrak {g} \cong T_{Hg}G//H \oplus \{{{\,\mathrm{Ad}\,}}_{g^{-1}}X-Y \mid (X,Y) \in T_{e}H\}. \end{aligned}$$

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

$$\begin{aligned} (d(l_{g^{-1}})_{g}(T_{g}H\cdot g) \cong \{{{\,\mathrm{Ad}\,}}_{g^{-1}}X-Y \mid (X,Y) \in T_{e}H\} \end{aligned}$$

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

$$\begin{aligned} H/T \longrightarrow G//T \longrightarrow G//H, \end{aligned}$$

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

$$\begin{aligned} \Delta ^{3}({{\,\mathrm{\mathsf {SU}}\,}}(2))=\left\{ \left. \begin{pmatrix} A &{}\quad 0 &{}\quad 0 \\ 0 &{}\quad A &{}\quad 0 \\ 0 &{}\quad 0 &{}\quad A \end{pmatrix} \right| A \in {{\,\mathrm{\mathsf {SU}}\,}}(2)\right\} \end{aligned}$$

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 well-known 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_i-e_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

$$\begin{aligned} {{\,\mathrm{\mathfrak {su}}\,}}(2)\times {{\,\mathrm{\mathfrak {su}}\,}}(5) = {\mathfrak {t}} \oplus (V_{12}\times 0) \oplus \bigoplus _{1\le i<j\le 5} (0\times V_{ij}), \end{aligned}$$

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

$$\begin{aligned} d(l_{g_{1}})_{e}^{-1}\ker (d\pi )_{g_{1}}^{\perp } =\left\{ \begin{pmatrix} 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad *&{}\quad *&{}\quad *&{}\quad *&{}\quad 0 \end{pmatrix} \right\} = V_{26} \oplus V_{36} \oplus V_{46} \oplus V_{56}\subset {{\,\mathrm{\mathfrak {su}}\,}}(6), \\ d(l_{g_{2}})_{e}^{-1}\ker (d\pi )_{g_{2}}^{\perp } =\left\{ \begin{pmatrix} 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ *&{}\quad *&{}\quad 0 &{}\quad *&{}\quad *&{}\quad 0 \end{pmatrix} \right\} = V_{16} \oplus V_{26} \oplus V_{46} \oplus V_{56}\subset {{\,\mathrm{\mathfrak {su}}\,}}(6), \\ d(l_{g_{3}})_{e}^{-1}\ker (d\pi )_{g_{3}}^{\perp } =\left\{ \begin{pmatrix} 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad *\\ 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0 &{}\quad 0\\ *&{}\quad *&{}\quad *&{}\quad *&{}\quad 0 &{}\quad 0 \end{pmatrix} \right\} = V_{16} \oplus V_{26} \oplus V_{36} \oplus V_{46}\subset {{\,\mathrm{\mathfrak {su}}\,}}(6). \end{aligned}$$

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_i-e_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}}X-Y \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

$$\begin{aligned} {{\,\mathrm{\mathfrak {su}}\,}}(2)\times {{\,\mathrm{\mathfrak {su}}\,}}(5)\longrightarrow \{{{\,\mathrm{Ad}\,}}_{g_{k}^{-1}}X-Y \mid (X,Y) \in T_{e}H\} \subset {{\,\mathrm{\mathfrak {su}}\,}}(6). \end{aligned}$$
(4.1)

are orientation-preserving. The images of the embedded basis of \({{\,\mathrm{\mathfrak {su}}\,}}(2)\) are

$$\begin{aligned}&{{\,\mathrm{Ad}\,}}_{g_{1}^{-1}}({{\,\mathrm{diag}\,}}(i,-i))= {{\,\mathrm{diag}\,}}(-i,i,-i,i,-i,i)\\&{{\,\mathrm{Ad}\,}}_{g_{1}^{-1}}(E_{12}-E_{21})= (E_{23}-E_{32}) + (E_{45}-E_{54}) + (E_{16}-E_{61})\\&{{\,\mathrm{Ad}\,}}_{g_{1}^{-1}}(i(E_{12}+E_{21}))= i(E_{23}+E_{32}) + i(E_{45}+E_{54}) - i(E_{16}+E_{61})\\&{{\,\mathrm{Ad}\,}}_{g_{2}^{-1}}({{\,\mathrm{diag}\,}}(i,-i))={{\,\mathrm{diag}\,}}(i,-i,-i,i,-i,i) \\&{{\,\mathrm{Ad}\,}}_{g_{2}^{-1}}(E_{12}-E_{21})=-(E_{12}-E_{21}) + (E_{45}-E_{54}) - (E_{36}-E_{63}) \\&{{\,\mathrm{Ad}\,}}_{g_{2}^{-1}}(i(E_{12}+E_{21}))= -i(E_{12}+E_{21}) + i(E_{45}+E_{54}) + i(E_{36}+E_{63}) \\&{{\,\mathrm{Ad}\,}}_{g_{3}^{-1}}({{\,\mathrm{diag}\,}}(i,-i))= {{\,\mathrm{diag}\,}}(i,-i,i,-i,-i,i)\\&{{\,\mathrm{Ad}\,}}_{g_{3}^{-1}}(E_{12}-E_{21})= -(E_{12}-E_{21}) + (E_{34}-E_{43}) - (E_{56}-E_{65}) \\&{{\,\mathrm{Ad}\,}}_{g_{3}^{-1}}(i(E_{12}+E_{21}))=-i(E_{12}+E_{21}) + i(E_{34}+E_{43}) + i(E_{56}+E_{65}) . \end{aligned}$$

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 orientation-reversing map \(\mathfrak t\rightarrow {\mathfrak t}_{\max }\) and an orientation-preserving 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 orientation-reversing map \(\mathfrak t\rightarrow {\mathfrak t}_{\max }\) and an orientation-reversing 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 orientation-reversing map \(\mathfrak t\rightarrow {\mathfrak t}_{\max }\) and an orientation-reversing 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

$$\begin{aligned} d\psi _{g_{k}}(X,Y)={{\,\mathrm{Ad}\,}}_{g_{k}^{-1}}(X)+Y. \end{aligned}$$

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:

$$\begin{aligned} \sigma (G//H)=\pm ((-1)^{3}+(-1)^{0}+(-1)^{2})=\pm 1. \end{aligned}$$

References

  1. 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. 2.

    Boyer, C., Galicki, K., Mann, B.: The geometry and topology of 3-Sasakian manifolds. J. Reine Angew. Math. 455, 183–220 (1994)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Eschenburg, J.-H.: Cohomology of biquotients. Manuscripta Math. 75(2), 151–166 (1992)

    MathSciNet  Article  Google Scholar 

  4. 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. 5.

    Goertsches, O., Konstantis, P., Zoller, L.: Symplectic and Kähler structures on biquotients. J. Symplectic Geom. 18(3), 791–813 (2020)

    MathSciNet  Article  Google Scholar 

  6. 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)

    MathSciNet  Article  Google Scholar 

  7. 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. 8.

    Hirzebruch, F., Berger, T., Jung, R.: Manifolds and Modular Forms, Aspects of Mathematics, E20. Friedr. Vieweg & Sohn, Braunschweig (1992)

    Book  Google Scholar 

  9. 9.

    Hirzebruch, F., Slodowy, P.: Elliptic genera, involutions and homogeneous spin manifolds. Geom. Dedicata 35(1–3), 309–343 (1990)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Kapovitch, V.: A note on rational homotopy of biquotients (preprint)

  11. 11.

    Schafer, J.A.: The signature of fiber bundles. Proc. Am. Math. Soc. 33, 548–550 (1972)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Singhof, W.: On the topology of double coset manifolds. Math. Ann. 297(1), 133–146 (1993)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Slodowy, P.: On the signature of homogeneous spaces. Geom. Dedicata 43(1), 109–120 (1992)

    MathSciNet  Article  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Maximilian Schmitt.

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Goertsches, O., Schmitt, M. On the signature of biquotients. manuscripta math. (2021). https://doi.org/10.1007/s00229-021-01344-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00229-021-01344-0

Mathematics Subject Classification

  • 57T99
  • 57S15