2.1 Set theory

To avoid confusion with quotients, we denote the difference of sets by $-$ . For a sequence of indices $1\leqslant i_1<i_2<\cdots <i_k\leqslant n$ and sets $X_1,\ldots ,X_n$ , we denote by $\mathop{\rm pr}\nolimits _{i_1,i_2,\ldots ,i_k}$ the projection $X_1\times \cdots \times X_n\to X_{i_1}\times \cdots \times X_{i_k}$ to the corresponding coordinates.

Let X, Y, and S be sets, and $f:X\to S$ and $g:Y\to S$ be maps. The fiber product of X and Y with respect to f and g is the set

$$ \begin{align*} X\times_{f=g} Y=\{(x,y)\in X\times Y\mathbin{\rm |} f(x)=g(y)\}. \end{align*} $$

We often use the singleton $\mathrm {pt}$ whose unique element is denoted by ${pt}$ .

2.2 Sequences

We denote sequences by $\underline {s}$ , $\underline {t}$ , $\underline {r}$ , and so forth. The length n of a finite sequence $\underline {s}$ is denoted by $|\underline {s}|$ and its ith element is denoted by $s_i$ . Thus, $\underline {s}=(s_1,\ldots ,s_n)$ . The case $|\underline {s}|=0$ corresponds to the empty sequence $\underline {\varnothing }$ . If however $|\underline {s}|>0$ , then we get the truncated sequence $\underline {s}'=(s_1,\ldots ,s_{n-1})$ . If $\underline {t}=(t_1,\ldots ,t_m)$ is another sequence, we consider their concatenation $\underline {st}=(s_1,\ldots ,s_n,t_1,\ldots ,t_m)$ . Obviously, $|\underline {st}|=|\underline {s}|+|\underline {t}|$ . In Section 5.3, we use a similar notation for collection of integers $\underline {c}$ thought of as upper triangular matrices.

2.3 Modules

Let M and $M'$ be right modules over rings R and $R'$ , respectively. Suppose that there is an isomorphism of rings $\iota :R\stackrel \sim \to R'$ . Then a map $\mu :M\to M'$ is called an isomorphism of modules if it is an isomorphism of the underlying abelian groups and

(2-1) $$ \begin{align} \mu(mr)=\mu(m)\iota(r) \end{align} $$

for any $m\in M$ and $r\in R$ . We assume similar definitions for left modules and bimodules.

The tensor product of a right R-module M by a left R-module N is denoted as usual by $M\otimes _R N$ . If R is commutative, we can also consider the nth tensor power $N\otimes _R\cdots \otimes _RN$ with n factors, which we denote by $N^{\otimes _Rn}$ .

As the rings and (bi)modules in this paper are represented by cohomologies, they are naturally graded. The component of degree i of M is denoted by $M^i$ . In Section 6, we also consider the shift of grading: if M is a graded (bi)module and n is an integer, then we denote by $M(n)$ the graded (bi)module such that $M(n)^i=M^{n+i}$ .

2.4 Group actions and quotients

Let a group G act on a set X on the left. We denote this fact by $G\circlearrowright X$ . Then we denote by $G\mathop {\backslash } X$ the set of left G-orbits and by ${}^{G\!}X$ the set of G-fixed points of X, that is, of points $x\in X$ such that $gx=x$ for any $g\in G$ . We have the quotient map $X\to G\mathop {\backslash } X$ that sends x to $Gx$ . We use the notation $X/G$ and $X^G$ for right group actions. For example, let $P^1(\mathbb C)=({\mathbb C}^2-\{(0,0)\})/{\mathbb C}^\times $ , where ${\mathbb C}^\times $ acts as follows: $(z,w)c=(zc,wc)$ . This space is called the complex projective line. We denote the orbit in $P^1(\mathbb C)$ containing the pair $(z,w)$ by $[z,w]$ .

If groups L and R act on a set X on the left and on the right, respectively, then we say that the actions of L and R commute if $l(xr)=(lx)r$ for any $l\in L$ , $r\in R$ , and $x\in X$ . In this case, L acts on $X/R$ on the left and R acts on $L\mathop {\backslash } X$ on the right by $l(xR)=(lx)R$ and $(Lx)r=L(xr)$ , respectively.

Suppose that G acts on the left on both X and E. Then G acts on the left on the product $X\times E$ diagonally: $g(x,e)=(gx,ge)$ . We set

$$ \begin{align*} X\,{}_G\!\times\,E=G\mathop{\backslash}(X\times E). \end{align*} $$

We call the map $X\,{}_G\!\times \,E\to G\mathop {\backslash } E$ that maps any orbit $G(x,e)$ to $Ge$ the canonical projection. We denote canonical projections by $\mathop {\mathbf {can}}\nolimits $ . If $X'$ and $E'$ are other sets endowed with left G-actions, and $\alpha :X\to X'$ and $\beta :E\to E'$ are G-equivariant maps, then we denote by $\alpha {}\,{}_G\!\times \beta $ the map from $X\,{}_G\!\times \,E$ to $X'\,{}_G\!\times \,E'$ given by $G(x,e)\mapsto G(\alpha (x),\beta (e))$ .

2.5 Quotient products

Let $X_1,\ldots ,X_n$ be topological spaces and $G_1,\ldots ,G_{n-1}$ be topological groups such that each $G_i$ acts on the right on $X_i$ and on the left on $X_{i+1}$ . Suppose additionally that the actions of $G_{i-1}$ and $G_i$ on $X_i$ commute for each ${i=2,\ldots ,n-1}$ . Then we consider the following equivalence relation $\sim $ on ${X_1\times \cdots \times X_n}$ :

$$ \begin{align*} (x_1,\ldots,x_n)\sim(x_1g_1,g_1^{-1}x_2g_2,\ldots,g_{n-1}^{-1}x_n) \end{align*} $$

for any $g_1\in G_1$ , …, $g_{n-1}\in G_{n-1}$ . The quotient product is the following quotient space:

$$ \begin{align*} X_1\mathop{\times}\limits_{\;\,G_1}X_2\mathop{\times}\limits_{\;\,G_2}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n=X_1\times X_2\times\cdots\times X_n/\sim. \end{align*} $$

If $n=0$ , this space is just the singleton and if $n=1$ , this space is $X_1$ . The equivalence class containing $(x_1,x_2,\ldots ,x_n)$ is denoted by $[x_1:x_2:\cdots :x_n]$ . This product is clearly associative, that is,

$$\begin{align*}[x_1:\cdots :x_n]=[x_1:\cdots :x_{m-1}:[x_m:\cdots :x_k]:x_{k+1}:\cdots :x_n].\end{align*}$$

Moreover,

(2-2) $$ \begin{align}X_1\mathop{\times}\limits_{\;\,G_1}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n\cong X_1\mathop{\times}\limits_{\;\,G_1}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{i-1}}X_i\mathop{\times}\limits_{\;\,G_i}G_i\mathop{\times}\limits_{\;\,G_i}X_{i+1}\!\!\!\!\mathop{\times}\limits_{\;\;\;\;G_{i+1}}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n, \end{align} $$

where we assume that $[x_1:\cdots :x_n]=[x_1:\cdots :x_i:1:x_{i+1}:\cdots :x_n]$ .

If a group $G_0$ acts on the left on $X_1$ so that this action commutes with the right action of $G_1$ for $n>1$ , then $G_0$ also acts on the left on the above quotient product by $g_0[x_1:x_2:\cdots :x_n]=[g_0x_1:x_2:\cdots :x_n]$ . A similar fact is true if $G_n$ acts on $X_n$ on the right commuting with $G_{n-1}$ . In that case, we also consider the following quotient space:

$$ \begin{align*} X_1\mathop{\times}\limits_{\;\,G_1}X_2\mathop{\times}\limits_{\;\,G_2}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n/G_n=X_1\times X_2\times\cdots\times X_n/\approx, \end{align*} $$

where the equivalence relation $\kern1pt{\approx}\kern1pt $ is given by $(x_1,\ldots ,x_n\kern-0.1pt)\kern1.3pt{\approx}\kern1.3pt (x_1g_1,g_1^{-1}x_2g_2,\ldots ,g_{n-1}^{-1}x_ng_n\kern-0.1pt)$ for any $g_1\in G_1, \ldots,$ $g_{n-1}\in G_{n-1}$ , $g_n\in G_n$ . The equivalence class containing $(x_1,x_2,\ldots ,x_n)$ is denoted by . In view of the isomorphism

$$ \begin{align*} X_1\mathop{\times}\limits_{\;\,G_1}X_2\mathop{\times}\limits_{\;\,G_2}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n/G_n\cong X_1\mathop{\times}\limits_{\;\,G_1}X_2\mathop{\times}\limits_{\;\,G_2}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n\mathop{\times}\limits_{\;\;\;G_n}\mathrm{pt}, \end{align*} $$

we assume . It follows from (2-2) that

$$ \begin{align*} X_1\mathop{\times}\limits_{\;\,G_1}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n/G_n\cong X_1\mathop{\times}\limits_{\;\,G_1}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{i-1}}X_i\mathop{\times}\limits_{\;\,G_i}G_i\mathop{\times}\limits_{\;\,G_i}X_{i+1}\!\!\!\!\mathop{\times}\limits_{\;\;\;\;G_{i+1}}\cdots\!\!\!\!\!\mathop{\times}\limits_{\;\;\;\;\;\;G_{n-1}}X_n/G_n, \end{align*} $$

where we assume that . We make this identification, when appropriate.

2.6 Topology

We are going to use the following topological result.

In this paper, we use the following terminology: a topological space X is called simply connected if it is path-connected, locally path-connected, and for any continuous function on the unit circle $f:S^1\to X$ , there exists a continuous function $g:D^1\to X$ on the closed unit disk such that $g|_{S^1}=f$ . Note that this definition deviates from the classical one in that we require local path-connectedness, which however is true for all cases we encounter (for example, topological manifolds).

Let E and B be G-spaces, and $p:E\to B$ be a continuous G-equivariant map. We say that p is a principal G-bundle if for each point $b\in B$ , there exist an open neighborhood $U\subset B$ and a G-equivariant homeomorphism $h:G\times U\stackrel \sim \to p^{-1}(U)$ for the left G-action or $h:U\times G\stackrel \sim \to p^{-1}(U)$ for the right G-action such that the respective diagram

is commutative. The G-equivariance of h means that for any $u\in U$ and $g_1,g_2\in G$ , there holds $h(g_1g_2,u)=g_1h(u,g_2)$ for the left G-action and $h(u,g_1g_2)=h(u,g_1)g_2$ for the right G-action.

Proof. We use the notation of Section 2.5. Thus, . We also denote the quotient maps $X\to X/G$ and $Y\to Y/H$ by p and q, respectively.

Let be an arbitrary point of $X\mathop {\times }\limits _G Y/H$ . By the hypothesis of the lemma, there exist an open neighborhood U of $x_0G$ and a G-equivariant homeomorphism $\sigma $ such that the diagram

is commutative. Let $\mathbf g=\mathop{\rm pr}\nolimits _2\sigma ^{-1}$ . This is a continuous map from $p^{-1}(U)$ to G such that $\mathbf g(xg)=\mathbf g(x)g$ for any $x\in p^{-1}(U)$ and $g\in G$ .

There exists an open neighborhood V of $\mathbf g(x_0)y_0H$ and an H-equivariant homeomorphism $\tau $ such that the diagram

is commutative. Let $\mathbf h=\mathop{\rm pr}\nolimits _2\tau ^{-1}$ . This is a continuous map from $q^{-1}(V)$ to H such that $\mathbf h(yh)=\mathbf h(y)h$ for any $y\in q^{-1}(V)$ and $h\in H$ .

Let $\lambda :X\times Y/H\to X/G$ be the map given by and ${\mu :\lambda ^{-1}(U)\to Y/H}$ be the map given by . Obviously, both these maps are well defined and continuous. We set $W=\mu ^{-1}(V)$ . By our choice of U and V, we get . We define the function $\xi :W\times H\to X\mathop {\times }\limits _G Y$ by One can easily check that this map is well defined, continuous, and H-equivariant. Composing it with f,

This calculation proves that $\xi $ is actually a map to $f^{-1}(W)$ and that the following diagram is commutative:

It remains to prove that $\xi $ is a homeomorphism. This is true, as the inverse map is given by

2.7 Equivariant cohomology

Let G be a topological group. A principal G-bundle $E\to B$ is called universal if the total space E is contractible. We define the G-equivariant cohomology of a left G-space X with coefficients in a commutative ring $\Bbbk $ by

$$ \begin{align*} H^{\bullet}_G(X,\Bbbk)=H^{\bullet}(X\,{}_G\!\times\,E,\Bbbk). \end{align*} $$

Considering the canonical projection $\mathop {\mathbf {can}}\nolimits :X\,{}_G\!\times \,E\to G\mathop {\backslash } E\cong \mathrm {pt}\,{}_G\!\times \,E$ , we obtain the map $\mathop {\mathbf {can}}\nolimits ^*:H^{\bullet }_G(\mathrm {pt},\Bbbk )\to H^{\bullet }_G(X,\Bbbk )$ . This map makes $H^{\bullet }_G(X,\Bbbk )$ into a left $H^{\bullet }_G(\mathrm {pt},\Bbbk )$ -module by

$$ \begin{align*} am=\mathop{\mathbf{can}}\nolimits^*(a)\cup m, \end{align*} $$

where $a\in H^{\bullet }_G(\mathrm {pt},\Bbbk )$ and $m\in H^{\bullet }_G(X,\Bbbk )$ . This module does not depend on the choice of the universal bundle $E\to B$ . This fact is discussed in Corollary 3.2. We call this left action of $H^{\bullet }_G(\mathrm {pt},\Bbbk )$ canonical.

The similar right action of $H^{\bullet }_G(\mathrm {pt},\Bbbk )$ on $H^{\bullet }_G(X,\Bbbk )$ given by $ma=m\cup \mathop {\mathbf {can}}\nolimits ^*(a)$ is also called canonical. We use it in Section 4.6.

If $X'$ is another left G-space and $f:X\to X'$ is a continuous G-equivariant map, then we have the continuous map $f\,{}_G\!\times \,\mathrm {id}:X\,{}_G\!\times \,E\to X'\,{}_G\!\times \,E$ . This map induces the pull-back

$$ \begin{align*} (f\,{}_G\!\times\,\mathrm{id})^*:H^{\bullet}_G(X',\Bbbk)\to H^{\bullet}_G(X,\Bbbk) \end{align*} $$

between cohomologies. We use the notation $f^{\star }=(f\,{}_G\!\times \,\mathrm {id})^*$ to distinguish between the ordinary and the equivariant pull-backs. For example, $a_X^{\star }=\mathop {\mathbf {can}}\nolimits ^*$ , where ${a_X:X\to \mathrm {pt}}$ is the constant map.

2.8 Stiefel manifolds

Let G be a compact Lie group. As G can be considered a closed subgroup of the unitary group $U({\mathfrak n}_{G})$ for ${\mathfrak n}_{G}$ big enough which will be thought of as a function of $G$ throughout the paper, we explain how to find a universal principal $U({\mathfrak n}_{G})$ -bundle. For any natural number $N>{\mathfrak n}_{G}$ , we consider the Stiefel manifold (this space is usually denoted by $W_{N,{\mathfrak n}_{G}}$ or $V_{{\mathfrak n}_{G}}({\mathbb C}^N)$ or ${\mathbb C} V_{N,{{\mathfrak n}_{G}}}$ . We also transpose matrices, as we want to have a left action of $U({\mathfrak n}_{G})$ )

$$ \begin{align*} E^N=\{A\in \mathop{\rm Mat}\nolimits_{{{\mathfrak n}_{G}},N}(\mathbb C)\mathbin{\rm |} A\bar A^T=I_{{\mathfrak n}_{G}}\}, \end{align*} $$

where $\mathop{\rm Mat}\nolimits _{{{\mathfrak n}_{G}},N}({\mathbb C})$ is the space of ${\mathfrak n}_{G}\times N$ complex matrices with respect to the metric topology and $I_{{\mathfrak n}_{G}}$ is the identity ${\mathfrak n}_{G}\times {\mathfrak n}_{G}$ matrix. The group $U({\mathfrak n}_{G})$ acts on $E^N$ on the left by multiplication. Similarly, $U(N)$ acts on $E^N$ on the right by multiplication. The last action is transitive and commutes with the left action of $U({\mathfrak n}_{G})$ . The quotient space $\mathop{\rm Gr}\nolimits ^N=U({\mathfrak n}_{G})\mathop {\backslash } E^N$ is called the Grassmanian and the corresponding quotient map ${E^N\to \mathop{\rm Gr}\nolimits ^N}$ is a principal $U({\mathfrak n}_{G})$ -bundle. Note that the group $U(N)$ also acts on $\mathop{\rm Gr}\nolimits ^N$ by the right multiplication. For $N<N'$ , we have the smooth embedding $E^N\hookrightarrow E^{N'}$ by adding $N'-N$ zero columns to the right.

Taking the direct limits

$$ \begin{align*} E=\mathop{\rm lim}\limits_{\longrightarrow} E^N,\quad \mathop{\rm Gr}\nolimits=\mathop{\rm lim}\limits_{\longrightarrow}\mathop{\rm Gr}\nolimits^N, \end{align*} $$

we get a universal principal $U({\mathfrak n}_{G})$ -bundle $E\to \mathop{\rm Gr}\nolimits $ . These spaces satisfy the following properties [Reference BorelBo, Proposition 9.1].

Proof. As $E^N\to L\mathop {\backslash } E^N$ is a fiber bundle with fiber L, the result follows from Propositions 2.4, (1), and the long exact sequence of homotopy groups

$$ \begin{align*} \{1\}=\pi_1(E^N)\to \pi_1(L\mathop{\backslash} E^N)\to \pi_0(L)=\{1\}. \\[-35pt]\end{align*} $$

Proposition 2.6. Let L be a closed subgroup of G and X be a left L-space. Then the restriction map

$$ \begin{align*} H_L^n(X,\Bbbk)\to H^n(X\,{}_L\!\times E^N,\Bbbk) \end{align*} $$

is an isomorphism for $n\leqslant 2(N-{\mathfrak n}_{G})$ .

Proof. Let us consider the triple product $X\times E^N\times E$ with respect to the diagonal action of L, the natural embedding $\iota :X\,{}_L\!\times E^N\hookrightarrow X\,{}_L\!\times E$ , and the map $\Delta :X\times E^N\to X\times E^N\times E$ given by $(x,e)\mapsto (x,e,e)$ . Then we have the following commutative diagram:

Here, the isomorphisms follow from Propositions 2.4, (2), and the Vietoris–Begle theorem in the form [Reference ShchigolevS2, Corollary 14], as the quotient maps

$$ \begin{align*} L\mathop {\backslash }\mathop{\rm pr}\nolimits _{1,2}:L\mathop {\backslash }(X\times E^N\times E)\to X\,{}_L\!\times E^N,\quad L\mathop {\backslash }\mathop{\rm pr}\nolimits _{1,3}:L\mathop {\backslash }(X\times E^N\times E)\to X\,{}_L\!\times E \end{align*} $$

are fiber bundles with fibers E and $E^N$ , respectively. From the left triangle, it follows that $(L\mathop {\backslash } \Delta )^*$ is an isomorphism. Therefore, it follows from the right triangle that $\iota ^*$ is also an isomorphism.

Corollary 2.7. Let L be a closed subgroup of G, X be a left L-space, and ${{\mathfrak n}_{G}<N' <N}$ . Then the restriction map

$$ \begin{align*} H^n(X\,{}_L\!\times E^N,\Bbbk)\to H^n(X\,{}_L\!\times E^{N'},\Bbbk) \end{align*} $$

is an isomorphism for $n\leqslant 2(N-{\mathfrak n}_{G})$ .

2.9 Ordinary push-forward

For any topological space X, we consider the dualizing complex $\omega _X=a_X^!\Bbbk $ [Reference Kashiwara and SchapiraKS, Definition 3.1.16]. This complex allows us to define the Borel–Moore homology $H^{\mathrm {BM}}_i(X,\Bbbk )={\mathbb H}^{-i}(X,\omega _X)$ , where ${\mathbb H}^{\bullet }(X,\_\!\_\,)$ is the hypercohomology functor [Reference DimcaDi, Definition 2.1.4].

Any proper map $f:X\to Y$ induces the push-forward map $f_*:H^{\mathrm {BM}}_i(X,\Bbbk )\to H^{\mathrm {BM}}_i(Y,\Bbbk )$ . Suppose additionally that X and Y are orientable topological manifolds of dimensions n and m, respectively. This means that there exist isomorphisms $\omega _X\cong \Bbbk [n]$ and $\omega _Y\cong \Bbbk [m]$ , which we fix. Then we get the following map between the cohomologies:

which we also denote by $f_*$ . This map is also called the Gysin map. It has the following property [Reference IversenI, IX.7.3].

Proposition 2.9 (Projection formula).

For any proper continuous map $f:X\to Y$ between oriented topological manifolds, $\xi \in H^{\bullet }(X,\Bbbk )$ and $\eta \in H^{\bullet }(Y,\Bbbk )$ , there holds

$$ \begin{align*} f_*(\xi\cup f^*\eta)=f_*(\xi)\cup\eta. \end{align*} $$

2.10 Orientation of quotient spaces

Let U be an oriented subspace of an oriented real vector space V. We fix the following orientation of the quotient space $V/U$ . Let $v_1,\ldots ,v_n$ be an oriented basis of V such that $v_1,\ldots ,v_m$ is an oriented basis of U for some $m\leqslant n$ . Then the orientation of $V/U$ is defined by declaring the basis ${v_{m+1}+U,\ldots ,v_n+U}$ to be oriented. We define the orientation of the quotient of oriented vector bundles by defining the orientation of each fiber using the rule just described.

2.11 Compatibly oriented squares

We follow here the presentation of this topic by Fulton [Reference FultonF, Appendix A: Algebraic topology, Section 5]. For an embedding $X\hookrightarrow Y$ of smooth manifolds, we denote by $\nu _{X,Y}$ the normal bundle of X in Y. If X and Y are oriented, then $\nu _{X,Y}$ is orientated as described in Section 2.10.

Consider a Cartesian square

where $X,X',Y,Y'$ are compact smooth oriented manifolds and $f,f',g,g'$ are smooth maps. By the Whitney embedding theorem (for example, [Reference LeeLee, Theorem 6.15]), there exists a closed embedding $\iota :X\hookrightarrow {\mathbb R}^M$ , where $M=2\dim X+1$ . Then we get the closed embedding $f\times \iota :X\hookrightarrow Y\times {\mathbb R}^M$ and also the closed embedding $f'\times \iota g':X'\hookrightarrow Y'\times {\mathbb R}^M$ .

We say that the above square is compatibly oriented if

(2-3) $$ \begin{align} \nu_{X',Y'\times{\mathbb R}^M}\cong (g')^*\nu_{X,Y\times{\mathbb R}^M} \end{align} $$

as oriented vector bundles. If this isomorphism holds and $\dim X-\dim Y=\dim X'-\dim Y'$ , then

(2-4) $$ \begin{align} f^{\prime}_*(g')^*=g^*f_*. \end{align} $$

We refer to this property as the naturality of the push-forward.

2.12 Smooth structures on Borel constructions

Let L be a closed connected subgroup of a compact Lie group G. By the quotient manifold theorem [Reference LeeLee, Theorem 21.10], the space $L\mathop {\backslash } E^N$ is a smooth manifold. It is orientable being simply connected by Corollary 2.5. Therefore, we consider only local coordinates on $L\mathop {\backslash } E^N$ from a chosen oriented atlas.

Let X be any smooth manifold acted upon smoothly by L on the left. Applying the quotient manifold theorem once again, we get that the space $X\;{}_L\! \times E^N$ is a smooth manifold. Its smooth structure can be described as follows. Let $L(x_0,e_0)$ be an arbitrary point of $X\;{}_L\! \times E^N$ . There exists a coordinate chart U of $L\mathop {\backslash } E^N$ containing $Le_0$ . Let $(u^1,\ldots ,u^k)$ be the coordinates on U.

Shrinking U if necessary, we may suppose that the restriction of the fiber bundle $p:E^N\to L\mathop {\backslash } E^N$ to U is a trivial bundle, that is, there exists an L-equivariant diffeomorphism h such that the diagram

is commutative. We set ${\mathbf l}=\mathop{\rm pr}\nolimits _1h^{-1}$ . This map is smooth and has the usual (refer to the proof of Proposition 2.3) property ${\mathbf l}(le)=l{\mathbf l}(e)$ for any $l\in L$ and $e\in p^{-1}(U)$ .

The restriction of the fiber bundle $\mathop {\mathbf {can}}\nolimits :X\;{}_L\! \times E^N\to L\mathop {\backslash } E^N$ to U is also trivial. This trivialization is given by $L(x,e)\mapsto ({\mathbf l}(e)^{-1}x,Le)$ . Then the coordinates in the vicinity of $L(x_0,e_0)$ are given by the local coordinates $(x^1,\ldots ,x^n,u^1,\ldots ,u^k)$ , where $(x^1,\ldots ,x^n)$ are the local coordinates on X in the vicinity of ${\mathbf l}(e_0)^{-1}x_0$ . If $(\tilde x^1,\ldots ,\tilde x^n,\tilde u^1,\ldots ,\tilde u^k)$ are different local coordinates in a vicinity of $L(x_0,e_0)$ with a possibly different trivialization function $\tilde {\mathbf l}$ , then the Jacobian matrix of the base change is equal to

$$ \begin{align*} \frac{\partial(\tilde x^1,\ldots,\tilde x^n,\tilde u^1,\ldots,\tilde u^k)}{\partial(x^1,\ldots,x^n,u^1,\ldots,u^k)}(L(x,e)) = \left( \begin{array}{@{}cc@{}} \dfrac{\partial(\tilde f^1,\ldots,\tilde f^n)}{\partial(x^1,\ldots,x^n)}({\mathbf l}(e)^{-1}x)&0\\[8pt] *& \dfrac{\partial(\tilde u^1,\ldots,\tilde u^k)}{\partial(u^1,\ldots,u^k)}(Le) \end{array} \right), \end{align*} $$

where f is the map $f(x)=\tilde {\mathbf l}(e)^{-1}{\mathbf l}(e)x$ and $\tilde f^i=\tilde x^if$ . Note that the multiplication constant $\tilde {\mathbf l}(e)^{-1}{\mathbf l}(e)$ smoothly depends only on $Le$ . The multiplication by this constant is responsible to the $*$ -part in the above matrix. This part is the zero matrix if we do not change the local trivialization of $E^N\to L\mathop {\backslash } E^N$ .

If X is oriented, then L acts on X by orientation-preserving diffeomorphisms. Hence,

$$ \begin{align*} \det\frac{\partial(\tilde f^1,\ldots,\tilde f^n)}{\partial(x^1,\ldots,x^n)}({\mathbf l}(e)^{-1}x)>0 \end{align*} $$

and the atlas described above on $X\;{}_L\! \times E^N$ is oriented.

2.13 Equivariant push-forward

Let X and Y be compact smooth oriented manifolds acted upon smoothly on the left by a closed connected subgroup L of a compact Lie group G. Let $f:Y\to X$ be a smooth L-equivariant map. For any $N>{\mathfrak n}_{G}$ , we get the smooth proper map $f\;{}_L\! \times \mathrm {id}:Y\;{}_L\! \times E^N\to X\;{}_L\! \times E^N$ , which we denote by $f^N$ . As both the domain and codomain of this map are smooth oriented manifolds, we can consider the ordinary push-forward

$$ \begin{align*} f^N_*:H^n(Y\;{}_L\! \times E^N,\Bbbk)\to H^{n+d}(X\;{}_L\! \times E^N,\Bbbk), \end{align*} $$

where $d=\dim X-\dim Y$ . So by Proposition 2.6, we actually get the map

$$ \begin{align*} f_\star:H^n_L(Y,\Bbbk)\to H_L^{n+d}(X,\Bbbk), \end{align*} $$

as soon as $n\leqslant \min \{2(N-{\mathfrak n}_{G}),2(N-{\mathfrak n}_{G})-d\}$ , defined by

(2-5) $$ \begin{align} f_\star(m)=(i_X^*)^{-1}f_*^Ni_Y^*(m) \end{align} $$

for $m\in H^n_L(Y,\Bbbk )$ , where $i_X:X\;{}_L\! \times E^N\hookrightarrow X\;{}_L\! \times E$ and $i_Y:Y\;{}_L\! \times E^N\hookrightarrow Y\;{}_L\! \times E$ are the natural embeddings.

We claim that the definition of $f_\star $ does not depend of N. Indeed, let $N'>N$ . In this case, we have the map $f^{\prime }_\star $ defined by a formula similar to (2-5). To prove that $f^{\prime }_\star =f_\star $ , we consider the diagram

As both triangles and trapezoids are commutative, it suffices to prove that the perimeter is also so. This fact follows from (2-4) as soon as we prove that the square

is compatibly oriented.

First note that the embedding $E^N\hookrightarrow E^{N'}$ produces an embedding $L\mathop {\backslash } E^N\hookrightarrow L\mathop {\backslash } E^{N'}$ . Therefore, we always choose the coordinates $(u^1,\ldots ,u^{k'})$ on an open subspace ${U'\subset L\mathop {\backslash } E^{N'}}$ so that the intersection $U'\cap E^N$ is defined by the equalities ${u^{k+1}=0,\ldots ,u^{k'}=0}$ . Shrinking $U'$ if necessary, we assume that the fiber bundle $p':E^{N'}\to L\mathop {\backslash } E^{N'}$ is trivial and consider the trivialization function ${\mathbf l}':(p')^{-1}(U')\to L$ as in Section 2.12.

Let $\iota :Y\;{}_L\! \times E^{N'}\hookrightarrow {\mathbb R}^M$ be an embedding. We denote by $x^1,\ldots ,x^n$ , $y^1,\ldots ,y^m$ , and $z^1,\ldots ,z^M$ local coordinates on X, Y, and ${\mathbb R}^M$ , respectively.

We abbreviate

$$ \begin{align*} \mathbb B'=(X\;{}_L\! \times E^{N'})\times{\mathbb R}^M,\quad \mathbb B=(X\;{}_L\! \times E^N)\times{\mathbb R}^M. \end{align*} $$

According to the general plan described in Section 2.11, we need to consider the embedding $ \beta '=f^{N'}\times \iota :Y\;{}_L\! \times E^{N'}\hookrightarrow \mathbb B' $ , and its pullback $ \beta :Y\;{}_L\! \times E^N\hookrightarrow \mathbb B $ being in our case simply the restriction of $\beta '$ , that is, $\beta =f^N\times \iota |_{Y{}_L\! \times E^N}$ .

Let $a\in Y{}_L\! \times E^N$ be an arbitrary point. We set $b=\beta (a)=\beta '(a)$ . Choosing the representation $a=L(y,e)$ with $\mathbf l'(e)=1$ , we compute the differential

$$ \begin{align*}T_a\beta ':T_a(Y{}_L\! \times E^{N'})\hookrightarrow T_b\mathbb B'\end{align*} $$

in coordinates as follows:

(2-6) $$ \begin{align} T_a\beta'\bigg(\frac{\partial}{\partial y^i}\bigg)=\sum_{j=1}^n\frac{\partial f^j}{\partial y^i}(y)\frac{\partial}{\partial x^j}+\sum_{q=1}^M\frac{\partial\iota^q}{\partial y^i}(a)\frac{\partial}{\partial z^q},\quad T_a\beta'\bigg(\frac{\partial}{\partial u^i}\bigg)=\frac{\partial}{\partial u^i}+\sum_{q=1}^M\frac{\partial\iota^q}{\partial u^i}(a)\frac{\partial}{\partial z^q}. \end{align} $$

Therefore, we can choose $v_1,\ldots ,v_r\in T_b\mathbb B'$ in the span of ${\partial }/{\partial x^j}$ and ${\partial }/{\partial z^q}$ so that the sequence

(2-7) $$ \begin{align} \bigg(T_a\beta'\bigg(\frac{\partial}{\partial y^1}\bigg),\ldots,T_a\beta'\bigg(\frac{\partial}{\partial y^m}\bigg),T_a\beta'\bigg(\frac{\partial}{\partial u^1}\bigg),\ldots,T_a\beta'\bigg(\frac{\partial}{\partial u^{k'}}\bigg),v_1,\ldots,v_r\bigg) \end{align} $$

is an oriented basis of $T_b\mathbb B'$ . Note that our choice guarantees that $v_1,\ldots ,v_r\in T_a\mathbb B$ . By the convention of Section 2.10, the sequence $(v_1+\mathop{\rm im} T_a\beta ',\ldots ,v_r+\mathop{\rm im} T_a\beta ')$ is an oriented basis of the fiber $(\nu _{Y{}_L\! \times E^{N'},\mathbb B'})_b=T_b\mathbb B'/\mathop{\rm im} T_a\beta '$ . By (2-6), the transition matrix from (2-7) to the oriented basis

$$ \begin{align*} \bigg(\frac{\partial}{\partial x^1},\ldots,\frac{\partial}{\partial x^n},\frac{\partial}{\partial u^1},\ldots,\frac{\partial}{\partial u^{k'}},\frac{\partial}{\partial z^1},\ldots,\frac{\partial}{\partial z^M}\bigg) \end{align*} $$

of $T_b\mathbb B'$ has the form

$$ \begin{align*} \left( \begin{array}{ccc} F&0&V\\ 0&I_{k'}&0\\ Z_1&Z_2&Z_3 \end{array} \right) \end{align*} $$

for the matrices F, V, $Z_1$ , $Z_2$ , $Z_3$ of sizes $n\times m$ , $n\times r$ , $M\times n$ , $M\times k'$ , $M\times r$ , respectively. By construction, the determinant of the above matrix is positive. Note that $k'-k=2(N'-N){\mathfrak n}_{G}$ is even. Therefore, if we cross out the rows and columns corresponding to coordinates $u^{k+1},\ldots ,u^{k'}$ , we get a matrix with positive determinant. Repeating the above arguments for the space $\mathbb B$ (in reverse order), we get that $(v_1+\mathop{\rm im} T_a\beta ,\ldots ,v_r+\mathop{\rm im} T_a\beta )$ is an oriented basis of the fiber $(\nu _{Y{}_L\! \times E^N,\mathbb B})_b$ . This fact proves (2-3).

2.14 Semisimple groups

Let G be a semisimple compact Lie group. Then G can be described externally as the set of points fixed by some analytic automorphism of the corresponding complex Chevalley group $G^c$ [Reference SteinbergSt, Remark following Theorem 16].

We consider a maximal torus $K<G$ and the Weyl group $W=N_G(K)/K$ . For any $w\in W$ , we arbitrarily choose its lifting $\dot w\in N_G(K)$ . We use the abbreviation $wK=\dot {w}K$ .

The group G has the Bruhat decomposition $G=\bigsqcup _{w\in W}K_w$ , where $K_w=G\cap (BwB)$ and B is the Borel subgroup of $G^c$ corresponding to a chosen Bruhat order $\leqslant $ on W [Reference SteinbergSt, Corollary 5 of Lemma 45]. Taking the quotient, we get the decomposition ${G/K=\bigsqcup _{w\in W}K_w/K}$ into Schubert cells. We can compute their closures, called Schubert varieties, as $\overline {K_w/K}=\bigsqcup _{w'\leqslant w}K_{w'}$ .

We have $K\cong (S^1)^d$ for some d, where $S^1$ is the unit circle. We get the map ${\rho _w:E\to E}$ given by $\rho _w(e)=\dot we$ . This map factors through the action of K as ${\rho _w(ke)=k'\rho _w(e)}$ , where $k'=\dot wk\dot w^{-1}\in K$ , and we get the map $K\mathop {\backslash }\rho _w:K\mathop {\backslash } E\to K\mathop {\backslash } E$ and hence its pull-back $(K\mathop {\backslash }\rho _w)^*:H^{\bullet }_K(\mathrm {pt},\Bbbk )\to H^{\bullet }_K(\mathrm {pt},\Bbbk )$ . We think of this map as a left action of W on $H^{\bullet }_K(\mathrm {pt},\Bbbk )$ :

(2-8) $$ \begin{align} w(\mu)=(K\mathop{\backslash}\rho_{w^{-1}})^*(\mu). \end{align} $$

This formula agrees with the following standard representation of $H^{\bullet }_K(\mathrm {pt},\Bbbk )$ as a polynomial ring, refer to [Reference Brion, Broer, Daigneault and SabidussiBr, Section 1, Example 2] and [Reference JantzenJ, 1.7, 1.8]. Let us consider for each character $\lambda :K\to S^1$ the representation ${\mathbb C}_\lambda $ being the field of complex numbers ${\mathbb C}$ as the vector space and having the following left K-action: $kc=\lambda (k)c$ . We denote the line bundle $\mathop {\mathbf {can}}\nolimits :({\mathbb C}_\lambda ){}_K\! \times E\to K\mathop {\backslash } E$ by $\mathcal L(\lambda )$ . Its Euler class (that is, the first Chern class) $\mathop{\rm Eu}\nolimits (\mathcal L(\lambda ))$ is identified with $\lambda $ itself. Thus, choosing $\varepsilon _1,\ldots ,\varepsilon _d$ freely generating the character group of K, we get that the cohomology ring $H_K^{\bullet }(\mathrm {pt},\Bbbk )$ is a polynomial ring over $\Bbbk $ in variables $\varepsilon _i$ .

For any root $\alpha $ , we denote by $G_\alpha $ the subgroup of G generated by the image of the root homomorphism $\varphi _\alpha :\mathop {\rm SU}\nolimits _2\to G$ and the torus K [Reference Bott and SamelsonBS, Ch. III (3.1)]. An alternative (external) description of this subgroup is given in [Reference SteinbergSt, Lemma 45]. As $G_\alpha =G_{-\alpha }$ , we can denote $G_{\omega _\alpha }=G_\alpha $ , where $\omega _\alpha \in W$ is the reflection through the plane perpendicular to $\alpha $ . We call elements $\omega _\alpha $ reflections. In what follows, for any reflection t, we denote by $\alpha _t$ the positive root such that $t=\omega _{\alpha _t}$ . We also reserve the letter s (with indices or accents, primed or underlined) to denote simple reflections or sequences of simple reflections. This notation is used only in Sections 6.4–6.9.

3.1 Twisted action

Let G be a topological group, and L and R be subgroups. We assume that L and R act on G on the left and on the right, respectively, by multiplication. As both actions commute, the group L acts continuously on the quotient space $G/R$ on the left.

Let X be another left L-space and $A:X\to G/R$ be an L-equivariant continuous map. We call A a twisting map. For any left G-space E, the map A allows us to define the map

$$ \begin{align*} v_A:X\,{}_L\!\times\,E\to R\mathop{\backslash} E \end{align*} $$

by

(3-1) $$ \begin{align} L(x,e)\mapsto A(x)^{-1}e. \end{align} $$

Note that $A(x)^{-1}\in R\mathop {\backslash } G$ . The reader can easily check that $v_A$ is well defined and continuous. We call this map the projection twisted by A.

Let us suppose that the quotient maps $E\to L\mathop {\backslash } E$ and $E\to R\mathop {\backslash } E$ are universal principal L- and R-bundles, respectively. Then we get the map between cohomologies $v_A^*:H^{\bullet }_R(\mathrm {pt},\Bbbk )\to H^{\bullet }_L(X,\Bbbk )$ , which induces the following right $H^{\bullet }_R(\mathrm {pt},\Bbbk )$ -action on $H^{\bullet }_L(X,\Bbbk )$ :

(3-2) $$ \begin{align} mb=m\cup v_A^*(b). \end{align} $$

We call this action the action twisted by A.

A priori, this construction of a right module depends on the choice of E. However, we get the following result.

Proof. Let $\widetilde E$ be another left G-space such that $\widetilde E\to L\mathop {\backslash }\widetilde E$ and $\tilde E\to R\mathop {\backslash }\tilde E$ are universal principal L- and R-bundles, respectively. We use the following notation only in this proof:

$$ \begin{align*} \widetilde H_L^{\bullet}(X,\Bbbk)=H^{\bullet}(X{}_L\!\times\widetilde E,\Bbbk), \quad \widetilde H_R^{\bullet}(\mathrm{pt},\Bbbk)=H^{\bullet}(R\mathop{\backslash}\widetilde E,\Bbbk). \end{align*} $$

We also have the map $\tilde v_A:X{}_L\!\times \widetilde E\to R\mathop {\backslash }\widetilde E$ similar to $v_A$ also given by (3-1). This map defines the structure of a right $\widetilde H^{\bullet }_R(\mathrm {pt},\Bbbk )$ -module on $\widetilde H^{\bullet }_L(X,\Bbbk )$ by

(3-3) $$ \begin{align} \tilde m\tilde b=\tilde m\cup \tilde v_A^*(\tilde b). \end{align} $$

Let us make L and R act on the products $X\times E\times \widetilde E$ and $E\times \widetilde E$ , respectively, diagonally: $l(x,e,\tilde e)=(lx,le,l\tilde e)$ and $r(e,\tilde e)=(re,r\tilde e)$ . Let $q_A$ be the map given by $L(x,e,\tilde e)\mapsto A(x)^{-1}(e,\tilde e)$ . Then we get the following diagram:

(3-4)

If we forget about the dashed arrows, then we get a commutative diagram (as the underlying diagram for sets is commutative). Therefore, the central rectangle (with the dashed arrows) is also commutative, because all slant arrows are isomorphisms. As all maps preserve the additive structure on cohomologies, it remains to check Condition (2-1): for $m\in H_L^{\bullet }(X,\Bbbk )$ and $b\in H_R^{\bullet }(\mathrm {pt},\Bbbk )$ ,

$$ \begin{align*} \mu(mb)=\mu(m\cup v_A^*(b))=\mu(m)\cup \mu v_A^*(b)=\mu(m)\cup \tilde v_A^*\iota(b)=\mu(m)\iota(b), \end{align*} $$

where we use the multiplication rules (3-2) and (3-3), and the fact that $\mu $ preserves the cup product.

3.2 Pull-back as a bimodule homomorphism

Keeping the notation of the previous section, let additionally Y be another L-space and $f:Y\to X$ be an L-equivariant continuous map. Then the composition $Af:Y\to G/R$ is also L-equivariant.

Proof. First, we prove the claim about the left actions. We get the following commutative diagram:

(3-5)

Let $a\in H_L^{\bullet }(\mathrm {pt},\Bbbk )$ and $m\in H^{\bullet }_L(X,\Bbbk )$ . It follows from the above diagram that

$$ \begin{align*} f^{\star}(am)=f^{\star}(\mathop{\mathbf{can}}\nolimits^*(a)\cup m)=f^{\star}\mathop{\mathbf{can}}\nolimits^*(a)\cup f^{\star}(m)=\mathop{\mathbf{can}}\nolimits^*(a)\cup f^{\star}(m)=af^{\star}(m). \end{align*} $$

Now let us deal with the right actions. It follows directly from definition that

(3-6) $$ \begin{align} v_{Af}=v_A(f\,{}_L\!\times\,\mathrm{id}). \end{align} $$

Hence, for any $m\in H^{\bullet }_L(X,\Bbbk )$ and $b\in H_R^{\bullet }(\mathrm {pt},\Bbbk )$ ,

$$ \begin{align*} f^{\star}(mb)=f^{\star}(m\cup v_A^*(b))=f^{\star}(m)\cup f^{\star} v_A^*(b)=f^{\star}(m)\cup v_{Af}^*(b)=f^{\star}(m)b.\\[-40pt] \end{align*} $$

3.3 Push-forward as a bimodule homomorphism

Suppose we are in the situation of Section 2.13, so $f\;{}_L\! \times \mathrm {id}:Y\;{}_L\! \times E^N\to X\;{}_L\! \times E^N$ is denoted by $f^N$ .

Let R be a closed subgroup of G and $A:X\to G/R$ be an L-equivariant continuous map (as in Section 3.1). We get the commutative diagrams (refer to Remark 2.8 about the notation)

(3-7)

Let $m\in H_L^n(Y,\Bbbk )$ and $b\in H_R^l(\mathrm {pt},\Bbbk )$ . For N big enough, we get by (2-5), the commutativity of diagrams (3-7), the projection formula (Proposition 2.9), and a compact version of (3-6) that

$$ \begin{align*} f_\star(mb)&=f_\star(m\cup v_{Af}^*(b))=(i_X^*)^{-1}f_*^Ni_Y^*(m\cup v_{Af}^*(b))\\ &=(i_X^*)^{-1}f_*^N(i_Y^*(m)\cup(v_{Af}i_Y)^*(b)) =(i_X^*)^{-1}f_*^N(i_Y^*(m)\cup(v^N_{Af})^*i_R^*(b))\\ &=(i_X^*)^{-1}f_*^N(i_Y^*(m)\cup (f^N)^*(v^N_A)^*i_R^*(b)) =(i_X^*)^{-1}(f_*^Ni_Y^*(m)\cup(i_Rv^N_A)^*(b))\\ &=(i_X^*)^{-1}(f_*^Ni_Y^*(m)\cup i_X^*v_A^*(b)) =(i_X^*)^{-1}f_*^Ni_Y^*(m)\cup v_A^*(b)=f_\star(m)b. \end{align*} $$

We also get the commutative diagrams

(3-8)

Suppose that the cohomology $H_L^{\bullet }(\mathrm {pt},\Bbbk )$ vanishes in odd degrees. Let $a\in H_R^{2l}(\mathrm {pt},\Bbbk )$ and $m\in H_L^n(Y,\Bbbk )$ . For N big enough, we get by (2-5), the commutativity of diagrams (3-8), the projection formula (Proposition 2.9), the graded-commutativity of the cup product, and a compact version of (3-5) that

$$ \begin{align*} f_\star(am)&=f_\star(\mathop{\mathbf{can}}\nolimits^*(a)\cup m)=(i_X^*)^{-1}f_*^Ni_Y^*(\mathop{\mathbf{can}}\nolimits^*(a)\cup m)\\ &=(i_X^*)^{-1}f_*^N((\mathop{\mathbf{can}}\nolimits i_Y)^*(a)\cup i_Y^*(m))\\ &=(i_X^*)^{-1}f_*^N(\mathop{\mathbf{can}}\nolimits^* i_L^*(a)\cup i_Y^*(m))=(i_X^*)^{-1}f_*^N((f^N)^*\mathop{\mathbf{can}}\nolimits^*i_L^*(a)\cup i_Y^*(m))\\ &=(i_X^*)^{-1}f_*^N(i_Y^*(m)\cup(f^N)^*(i_L\mathop{\mathbf{can}}\nolimits)^*(a))=(i_X^*)^{-1}(f_*^Ni_Y^*(m)\cup(\mathop{\mathbf{can}}\nolimits i_X)^*(a))\\ &=(i_X^*)^{-1}f_*^Ni_Y^*(m)\cup\mathop{\mathbf{can}}\nolimits^*(a)=\mathop{\mathbf{can}}\nolimits^*(a)\cup f_\star(m)=af_\star(m). \end{align*} $$

So we have proved the following counterpart of Lemma 3.5.

3.4 The embedding of Borel constructions

We fix the setup that we preserve until the end of Section 3. Let $L,R,P,Q$ be subgroups of a topological group G such that $R\subset P$ and $Q\subset P$ . Let X and Y be topological spaces such that:

1. (i) L acts on the left on X;

2. (ii) R acts on the right on X;

3. (iii) Q acts on the left on Y.

Assuming that R and Q act on P on the left and on the right, respectively, via multiplication, we can write these data as follows:

$$ \begin{align*} L\circlearrowright X\circlearrowleft R\circlearrowright P\circlearrowleft Q\circlearrowright Y. \end{align*} $$

We also assume that:

1. (iv) the actions of L and R on X commute.

Let additionally:

1. (v) $\alpha :X\to G$ be a continuous R- and L-equivariant map.

In that case, we get the morphism of left L-spaces $A:X/R\to G/R$ given by

(3-9) $$ \begin{align} A(xR)=\alpha(x)R. \end{align} $$

Let E be a left G-space. Then we are in the situation of Section 3.1 (with X replaced by $X/R$ ) and we have the map $v_A:(X/R)\,{}_L\!\times \,E\to R\mathop {\backslash } E$ given by (3-1).

In view of item (iv), the group L acts on the left on $X\mathop {\times }\limits _R P\mathop {\times }\limits _QY$ by $ l[x:p:y]=[lx:p:y] $ . We consider the map

$$ \begin{align*} \varphi:\big(X\mathop{\times}\limits_R P\mathop{\times}\limits_QY\big)\,{}_L\times E\to((X/R)\,{}_L\times E)\times(Y\,{}_Q\times E) \end{align*} $$

defined by

(3-10) $$ \begin{align} L([x:p:y],e)\mapsto(L(xR,e),Q(y,p^{-1}\alpha(x)^{-1}e)). \end{align} $$

The reader can easily check that this map is well defined and continuous.

We get the following diagram:

(3-11)

where $\pi _R$ and $\pi _Q$ are the natural quotient maps. In general, the rectangle on the right is not commutative. However, we get the following result.

Proof. Let $L([x:p:y],e)$ and $L([x':p':y'],e')$ be two orbits mapped to the same pair by $\varphi $ . As $L(xR,e)=L(x'R,e')$ , there exists $l\in L$ such that $lxR=x'R$ and $le=e'$ . From the first equality, it follows that there exists $r\in R$ such that $lxr=x'$ . We get

(3-12) $$ \begin{align}L([x:p:y],e)&=L([lx:p:y],le)=L([lxr:r^{-1}p:y],e') \nonumber\\ &=L([x':r^{-1}p:y],e')\mathop{\longmapsto}\limits^{\ \ {\rm pr}_2\varphi\ \ }Q(y,p^{-1}r\alpha(x')^{-1}e'). \end{align} $$

As $L([x':p':y'],e')$ is mapped by $\mathop{\rm pr}\nolimits _2\varphi $ to the same orbit,

$$ \begin{align*} Q(y,p^{-1}r\alpha(x')^{-1}e')=Q(y',(p')^{-1}\alpha(x')^{-1}e'). \end{align*} $$

Therefore, there exists $q\in Q$ such that $qy=y'$ and $qp^{-1}r\alpha (x')^{-1}e'=(p')^{-1}\alpha (x')^{-1}e'$ . From the last equality and the freeness of the action of P on E, we get $qp^{-1}r=(p')^{-1}$ . Hence, $r^{-1}p=p'q$ and, applying (3-12),

$$ \begin{align*} L([x:p:y],e)&=L([x':r^{-1}p:y],e')=L([x':p'q:y],e')\\ &=L([x':p':qy],e')=L([x':p':y'],e'), \end{align*} $$

as required.

Proof. We denote this quotient map by $\pi $ and by D the fiber product from the formulation of Lemma 3.7. Let a be any point of D. The assumption of this lemma implies that there exists an open neighborhood $U\subset P\mathop {\backslash } E$ of the point $\pi _Rv_A\mathop{\rm pr}\nolimits _1(a)=\pi _Q\mathop {\mathbf {can}}\nolimits \mathop{\rm pr}\nolimits _2(a)$ and a P-equivariant homeomorphism $h:P \times U\stackrel \sim \to \pi ^{-1}(U)$ such that the diagram

is commutative. We set $\mathbf p=\mathop{\rm pr}\nolimits _1 h^{-1}$ . Clearly, $\mathbf p(pe)=p\mathbf p(e)$ for any $p\in P$ and ${e\in \pi ^{-1}(U)}$ .

We define the continuous function

$$ \begin{align*} \xi:(\pi_Rv_A)^{-1}(U)\times(\pi_Q\mathop{\mathbf{can}}\nolimits)^{-1}(U)\to (X\mathop{\times}\limits_R P\mathop{\times}\limits_QY)\,{}_L\!\times\,E \end{align*} $$

as follows. Let $d=(L(xR,e),Q(y,e'))$ be a point of the domain of $\xi $ . We set

$$ \begin{align*} \xi(d)=L([x:\mathbf p(\alpha(x)^{-1}e)\mathbf p(e')^{-1}:y],e). \end{align*} $$

One can easily check that this definition does not depend on the choice of $x,y,e,e'$ in the representation of d.

Now suppose that $d\in D$ . Then we get $P\alpha (x)^{-1}e=Pe'$ . Let us write $\alpha (x)^{-1}e=pe'$ for the corresponding $p\in P$ . We get

$$ \begin{align*} \varphi\xi(d)&=(L(xR,e),Q(y ,\mathbf p(e')\mathbf p(\alpha(x)^{-1}e)^{-1}\alpha(x)^{-1}e))\\ &=(L(xR,e),Q(y ,\mathbf p(e')\mathbf p(pe')^{-1}pe'))\\ &=(L(xR,e),Q(y ,\mathbf p(e')\mathbf p(e')^{-1}p^{-1}pe')) =(L(xR,e),Q(y ,e'))=d. \end{align*} $$

This calculation proves that the restriction of $\xi $ to $(\pi _Rv_A)^{-1}(U)\times (\pi _Q\mathop {\mathbf {can}}\nolimits )^{-1}(U)\cap D$ inverts $\varphi $ . As a belongs to the last subset, all such subsets cover D. Thus, the required claim follows from Lemma 3.8 and Proposition 2.1.

3.5 Canonical and twisted projections for the triple product

By (3-10), we get the following commutative diagram:

(3-13)

Now let M be a subgroup of G and $B:Y\to G/M$ be a Q-equivariant continuous map. We consider the map $\alpha B:X\mathop {\times }\limits _R P\mathop {\times }\limits _Q Y\to G/M$ given by

(3-14) $$ \begin{align} [x:p:y]\mapsto \alpha(x)p B(y). \end{align} $$

It is easy to check that this map is well defined, continuous, and L-equivariant. By (3-10), we get the following commutative diagram:

(3-15)

3.6 The difference

In this section, we want to study the difference

$$ \begin{align*} ((X/R)\,{}_L\!\times\,E)\times(Y\,{}_Q\!\times\,E)-\mathop{\rm im}\varphi. \end{align*} $$

To this end, we claim some additional properties of E.

Lemma 3.10. Suppose that P acts freely on E. Let U be a compact Lie group acting continuously on E on the right so that this action and the left action of G commute. Suppose that the space $R\mathop {\backslash } E$ is Hausdorff and is acted upon by U transitively. Then the projection to the first component

$$ \begin{align*} \omega:((X/R)\,{}_L\!\times\,E)\times(Y\,{}_Q\!\times\,E)-\mathop{\rm im}\varphi\to(X/R)\,{}_L\!\times\,E \end{align*} $$

is a fiber bundle with fiber homeomorphic to

$$ \begin{align*} F_{\bar e}=\{Q(y,e)\in Y\,{}_Q\!\times\,E\mathbin{\rm |} \bar e\ne Pe\}=Y\,{}_Q\!\times\,E-(\pi_Q\mathop{\mathbf{can}}\nolimits)^{-1}(\bar e), \end{align*} $$

where $\bar e$ is an arbitrary point of $P\mathop {\backslash } E$ .

Proof. We denote the action of U by $\cdot $ . We make U act on $Y\,{}_Q\!\times \,E$ on the right by the rule $Q(y,e)\cdot u=Q(y,e\cdot u)$ . Then we obviously get $F_{\bar e}\cdot u=F_{\bar e\cdot u}$ . As U acts transitively on $R\mathop {\backslash } E$ , it also acts transitively on $P\mathop {\backslash } E$ . Therefore, the spaces $F_{\bar e}$ are homeomorphic for different points $\bar e$ . We rely on the notation of Diagram (3-11).

Let $a\in (X/R)\,{}_L\!\times \,E$ be an arbitrary point. By Lemma 3.8,

$$ \begin{align*} \omega^{-1}(a)=\{a\}\times F_{\pi_Rv_A(a)}\cong F_{\pi_Rv_A(a)}\cong F_{\bar e}. \end{align*} $$

We consider the map $t:U\to R\mathop {\backslash } E$ defined by $t(u)=v_A(a)u$ . Let V be the stabilizer of $v_A(a)$ in U. Note that V is a Lie group as it is closed in U. Let us consider the commutative diagram

The bottom map, which is given by $Vu\mapsto v_A(a)\cdot u$ , is continuous and bijective. It is a homeomorphism, being a map from a compact space to a Hausdorff space. As the natural projection $U\to V\mathop {\backslash } U$ is a principal V-bundle, it has a continuous section in an open neighborhood of any point of $V\mathop {\backslash } U$ . From the diagram above, we get the same property for the map t. In particular, there exist an open neighborhood W of $v_A(a)$ in $R\mathop {\backslash } E$ and a continuous section $s:W\to U$ of t. In other words,

(3-16) $$ \begin{align} w=t(s(w))=v_A(a)\cdot s(w) \end{align} $$

for any $w\in W$ .

Let $H=v_A^{-1}(W)$ . It is an open subset of $(X/R)\,{}_L\!\times \,E$ containing a. We construct the map $\sigma :H\times \omega ^{-1}(a)\to ((X/R)\,{}_L\!\times \,E)\times (Y\,{}_Q\!\times \,E)$ by

$$ \begin{align*} (h,(a,Q(y,e)))\mapsto(h,Q(y,e\cdot sv_A(h))). \end{align*} $$

This map is obviously well defined and continuous. Let us prove that $\mathop{\rm im}\sigma \cap \mathop{\rm im}\varphi =\varnothing $ . By Lemma 3.8, we have to prove the inequality

(3-17) $$ \begin{align} \pi_Rv_A(h)\ne\pi_Q( Qe\cdot sv_A(h) )=Pe\cdot sv_A(h). \end{align} $$

As the G- and U-actions on E commute, the map $\pi _R$ is U-equivariant. Therefore, (3-17) is equivalent to

$$ \begin{align*} \pi_R(v_A(h)\cdot sv_A(h)^{-1})\ne Pe. \end{align*} $$

Applying (3-16) for $w=v_A(h)$ , to compute the left-hand side, we get the equivalent inequality

$$ \begin{align*} \pi_Rv_A(a)\ne Pe, \end{align*} $$

which holds by Lemma 3.8, as $(a,Q(y,e))\notin \mathop{\rm im}\varphi $ . Thus, we can consider $\sigma $ as a continuous map from $H\times \omega ^{-1}(a)$ to $\omega ^{-1}(H)$ . The diagram

is obviously commutative.

To prove that $\sigma $ is a homeomorphism, we notice that its inverse map ${\omega ^{-1}(H)\to H\times \omega ^{-1}(a)}$ is given by

$$ \begin{align*} (h, Q(y,e) )\mapsto(h,(a,Q(y,e\cdot sv_A(h)^{-1}))).\\[-35pt] \end{align*} $$

To establish the required cohomological properties of the compact version of $F_{\bar e}$ (Lemma 4.8), we need the following result whose proof we leave to the reader.

Lemma 3.11. Suppose that the quotient map $E\to P\mathop {\backslash } E$ is a principal P-bundle. Then the composition

is a fiber bundle with fiber $Y\,{}_Q\times P$ .

3.7 The tensor product

The above results can be applied to equivariant cohomologies. Let us suppose that all quotient maps $E\to L\mathop {\backslash } E$ , $E\to P\mathop {\backslash } E$ , $E\to R\mathop {\backslash } E$ , $E\to Q\mathop {\backslash } E$ , $E\to M\mathop {\backslash } E$ are universal principal bundles for the respective groups. We denote by $\Theta $ the following composition:

(3-18)

The map $\times $ is the cross product and is given by $a\otimes b\mapsto \mathop{\rm pr}\nolimits _1^*(a)\cup \mathop{\rm pr}\nolimits _2^*(b)$ . The classical rule

(3-19) $$ \begin{align} (m\otimes n)(m'\otimes n')=(-1)^{ij}(m\cup m')\otimes(n\cup n')\end{align} $$

makes $H^{\bullet }_L(X/R,\Bbbk )\,{\otimes }_{\Bbbk }\, H^{\bullet }_Q(Y,\Bbbk )$ into an associative ring.

Using the notation of Section 3.5, we can get the following result.

Proof. The fact that $\Theta $ is a homomorphism of rings can be proved following the calculation before [Reference HatcherHa, Theorem 3.16].

Let $a\in H^{\bullet }_L(\mathrm {pt},\Bbbk )$ , $m\in H^{\bullet }_L(X/R,\Bbbk )$ , and $n\in H^{\bullet }_Q(Y,\Bbbk )$ . As diagram (3-13) is commutative,

$$ \begin{align*} \Theta( a m\otimes n)&=\Theta((\mathop{\mathbf{can}}\nolimits^*( a)\cup m)\otimes n)=\varphi^*(\mathop{\rm pr}\nolimits_1^*(\mathop{\mathbf{can}}\nolimits^*( a)\cup m)\cup\mathop{\rm pr}\nolimits_2^*( n))\\ &=(\mathop{\mathbf{can}}\nolimits\mathop{\rm pr}\nolimits_1\varphi)^*( a)\cup\varphi^*(\mathop{\rm pr}\nolimits_1^*( m)\cup\mathop{\rm pr}\nolimits_2^*( n))\\&=\mathop{\mathbf{can}}\nolimits^*( a)\cup\Theta( m\otimes n) = a\Theta( m\otimes n). \end{align*} $$

Now let $ m\in H^{\bullet }_L(X/R,\Bbbk )$ , $ n\in H^{\bullet }_Q(Y,\Bbbk )$ , and $b\in H^{\bullet }_M(\mathrm {pt},\Bbbk )$ . As diagram (3-15) is commutative,

$$ \begin{align*} \Theta( m\otimes nb)&=\Theta( m\otimes (n\cup v_B^*(b)))=\varphi^*(\mathop{\rm pr}\nolimits_1^*( m)\cup\mathop{\rm pr}\nolimits_2^*( n\cup v_B^*(b)))\\ &=\varphi^*(\mathop{\rm pr}\nolimits_1^*( m)\cup \mathop{\rm pr}\nolimits_2^*( n))\cup (v_B\mathop{\rm pr}\nolimits_2\varphi)^*(b)\\ &=\Theta( m\otimes n)\cup v_{\alpha B}^*(b) =\Theta( m\otimes n)b.\\[-42pt] \end{align*} $$

Now let us look more closely at the tensor product $H^{\bullet }_L(X/R,\Bbbk )\,{\otimes }_{\Bbbk }\, H^{\bullet }_Q(Y,\Bbbk )$ . According to Section 3.1, the left factor $H^{\bullet }_L(X/R,\Bbbk )$ is a right $H_R^{\bullet }(\mathrm {pt},\Bbbk )$ -module with the action twisted by A. However, the right factor $H^{\bullet }_Q(Y,\Bbbk )$ is a left $H_Q^{\bullet }(\mathrm {pt},\Bbbk )$ -module with respect to the canonical action (Section 2.7). Moreover, the quotient maps $\pi _R$ and $\pi _Q$ , refer to Diagram (3-11), yield the following maps:

$$ \begin{align*} \pi_R^*:H_P^{\bullet}(\mathrm{pt},\Bbbk)\to H_R^{\bullet}(\mathrm{pt},\Bbbk),\quad \pi_Q^*:H_P^{\bullet}(\mathrm{pt},\Bbbk)\to H_Q^{\bullet}(\mathrm{pt},\Bbbk). \end{align*} $$

They allow us to define the structure of a right $H_P^{\bullet }(\mathrm {pt},\Bbbk )$ -module on $H^{\bullet }_L(X/R,\Bbbk )$ and of a left $H_P^{\bullet }(\mathrm {pt},\Bbbk )$ -module on $H^{\bullet }_Q(Y,\Bbbk )$ .

Proof. Let $m\in H^{\bullet }_L(X/R,\Bbbk )$ , $n\in H^{\bullet }_Q(Y,\Bbbk )$ , and $a\in H_P^{\bullet }(\mathrm {pt},\Bbbk )$ . By Lemma 3.7 and Diagram (3-18) defining $\Theta $ ,

$$ \begin{align*} \Theta(m a\otimes n)&=\Theta(m\pi_R^*( a)\otimes n)=\Theta(m\cup v_A^*\pi_R^*( a)\otimes n) =\varphi^*(\mathop{\rm pr}\nolimits_1^*(m\cup v_A^*\pi_R^*( a))\cup\mathop{\rm pr}\nolimits_2^*( n))\\ &=\varphi^*\mathop{\rm pr}\nolimits_1^*(m)\cup (\pi_R v_A \mathop{\rm pr}\nolimits_1 \varphi)^*( a)\cup\varphi^*\mathop{\rm pr}\nolimits_2^*( n)\\ &=\varphi^*\mathop{\rm pr}\nolimits_1^*(m)\cup (\pi_Q \mathop{\mathbf{can}}\nolimits \mathop{\rm pr}\nolimits_2\varphi)^*( a)\cup\varphi^*\mathop{\rm pr}\nolimits_2^*( n)\\ &=\varphi^*(\mathop{\rm pr}\nolimits_1^*(m)\cup \mathop{\rm pr}\nolimits_2^* \mathop{\mathbf{can}}\nolimits^* \pi_Q^*( a)\cup\mathop{\rm pr}\nolimits_2^*( n)) =\varphi^*(\mathop{\rm pr}\nolimits_1^*(m)\cup \mathop{\rm pr}\nolimits_2^*(\mathop{\mathbf{can}}\nolimits^* \pi_Q^*( a)\cup n))\\ &=\Theta(m\otimes \mathop{\mathbf{can}}\nolimits^*\pi_Q^*( a)\cup n)=\Theta(m\otimes \pi_Q^*( a) n)=\Theta(m\otimes a n).\\[-42pt] \end{align*} $$

We denote the map induced by $\Theta $ as follows:

$$ \begin{align*} \theta:H^{\bullet}_L(X/R,\Bbbk)\otimes_{H_P^{\bullet}(\mathrm{pt},\Bbbk)}H^{\bullet}_Q(Y,\Bbbk)\to H_L^{\bullet}(X\mathop{\times}\limits_R P\mathop{\times}\limits_Q Y,\Bbbk). \end{align*} $$

We make the left-hand side into a ring using product (3-19).

4.1 Künneth formula

Let $X_1,\ldots ,X_m$ be topological spaces such that $H^n(X_j,\Bbbk )$ are free of finite rank for all $n\leqslant N$ and $j=2,\ldots ,m$ . Then for any $n\leqslant N-\mathop {\mathrm {gld}}(\Bbbk )$ , we have the isomorphism

$$ \begin{align*} \bigoplus_{i_1+\cdots+i_m=n}H^{i_1}(X_1,\Bbbk)\otimes\cdots\otimes H^{i_m}(X_m,\Bbbk)\stackrel\sim\to H^n(X_1\times\cdots\times X_m,\Bbbk) \end{align*} $$

that is given by the cross product $a_1\otimes \cdots \otimes a_m\mapsto p_1^*(a_1)\cup \cdots \cup p_m^*(a_m)$ .

This isomorphism and Proposition 2.4 prove that $H^n((E^N)^m,\Bbbk )=0$ for any ${0<n\leqslant 2(N-{\mathfrak n}_{G})}$ and natural number m. Moreover, the space $E^m$ is contractible. Hence, we get the following result similar to Proposition 2.6.

Proposition 4.1. Suppose that for each $i=1,\ldots ,m$ , there is a left $L^{(i)}$ -space $X^{(i)}$ for a closed subgroup $L^{(i)}$ of G. Then the restriction map

$$ \begin{align*} H^n((X^{(1)}&\,{}_{L^{(1)}}\!\times E)\times\cdots\times(X^{(m)}\,{}_{L^{(m)}}\!\times E),\Bbbk)\\&\to H^n((X^{(1)}\,{}_{L^{(1)}}\!\times E^N)\times\cdots\times(X^{(m)}\,{}_{L^{(m)}}\!\times E^N),\Bbbk) \end{align*} $$

is an isomorphism for $n\leqslant 2(N-{\mathfrak n}_{G})$ .

4.2 An auxiliary lemma

We are going to use the following result proved in [Reference ShchigolevS2, Lemma 18].

4.3 Leray spectral sequence with compact support

For any topological space S and a commutative ring $\Bbbk $ , we denote by the constant sheaf on S. In the formulation of the next result (refer, for example, to [Reference DimcaDi, Corollary 2.3.24]), we use the direct image functor $f_!$ with compact (proper) support for a continuous map f between locally compact spaces and its qth right derived functor $R^q\!f_!$ [Reference Kashiwara and SchapiraKS, II.2.5, II.2.6].

Let us consider the case where $f:S\to T$ is a fiber bundle with fiber F. In this case, the sheaf is locally constant. Indeed, applying the proper base change [Reference Kashiwara and SchapiraKS, Proposition 2.6.7], we reduce the problem to the case where $S=F\times T$ and $f=\mathop{\rm pr}\nolimits _2$ . Applying the proper base change to the Cartesian square

we get

Taking the qth cohomology,

(4-1)

Proof. We assume that $G=L$ and the spaces $E^N$ are chosen as in Section 2.8. Let n be a nonnegative integer. We choose any N such that $n<2(N-{\mathfrak n}_{G})$ . Applying Corollary 4.4 together with Corollary 2.5 to the canonical projection ${X\,{}_L\!\times \,E^N\to L\mathop {\backslash } E^N}$ , we get the spectral sequence with the following second page: $ E_2^{p,q}=H^p(L\mathop {\backslash } E^N,\Bbbk )\,{\otimes }_{\Bbbk }\, H^q(X,\Bbbk ) $ . By Proposition 2.6, we get that $ {E_2^{p,q}=H_L^p(\mathrm {pt},\Bbbk )\,{\otimes }_{\Bbbk }\, H^q(X,\Bbbk ) }$ for $p\leqslant 2(N-{\mathfrak n}_{G})$ . The differentials coming to and from each $E_r^{p,q}$ for $p+q<2(N-{\mathfrak n}_{G})$ are zero. Therefore, $E_\infty ^{p,q}=E_2^{p,q}$ . As no extension problem emerges in this case,

$$ \begin{align*} H^n(X\,{}_L\!\times\,E^N)=\bigoplus_{p+q=n}H_L^p(\mathrm{pt},\Bbbk)\,{\otimes}_{\Bbbk}\, H^q(X,\Bbbk) \end{align*} $$

for $n<2(N-{\mathfrak n}_{G})$ . Proposition 2.6 applied to the left-hand side finishes the proof.

4.4 Restrictions on groups and spaces

We consider the following additional conditions:

1. (III) P, Q, and L are connected;

2. (IV) $H^n_P(\mathrm {pt},\Bbbk )$ , $H^n_Q(\mathrm {pt},\Bbbk )$ , and $H^n_L(\mathrm {pt},\Bbbk )$ are free of finite rank and vanish for odd n;

3. (V) X and Y are compact and Hausdorff;

4. (VI) the cohomologies of $X/R$ , $P/Q$ , and Y with coefficients in $\Bbbk $ are free of finite rank in each degree and vanish in odd degrees;

5. (VII) $X/R$ and $P/Q$ are simply connected;

6. (VIII) the quotient map $X\to X/R$ is a principal R-bundle.

By Proposition 2.2 and Condition (VIII), these conditions imply that the natural projections

$$ \begin{align*} P\mathop{\times}\limits_Q Y\to P/Q,\quad X\mathop{\times}\limits_R P\mathop{\times}\limits_Q Y\to X/R \end{align*} $$

are fiber bundles with fibers Y and $P\mathop {\times }\limits _Q Y$ , respectively. These projections are given by $[p:y]\mapsto pQ$ and $[x:p:y]\mapsto xR$ . To apply Proposition 2.2, we can consider the isomorphisms $P\mathop {\times }\limits _Q Y\cong Y\,{}_Q\!\times P$ and $X\mathop {\times }\limits _R P\mathop {\times }\limits _Q Y\cong (P\mathop {\times }\limits _Q Y)\,{}_R\!\times X$ given by $[p:y]\mapsto Q(y,p^{-1})$ and $[x:p:y]\mapsto R([p:y],x)$ , respectively. Here we consider X as a left R-space under the following action: $rx=xr^{-1}$ . We also have the isomorphisms $R\mathop {\backslash } X\cong X/R$ and $Q\mathop {\backslash } P\cong P/Q$ given by $Rx\mapsto xR$ and ${Qp\mapsto p^{-1}Q}$ , respectively. Our projections become canonical in the sense of Section 2.4 if we apply the identifications described just above. By Conditions (II) and (V), we get that all four spaces in the left- and right-hand sides of the above formulas are compact and Hausdorff. Applying Corollary 4.4 to the first sequence and using Conditions (VI) and (VII),

$$ \begin{align*} H^{\bullet}(P\mathop{\times}\limits_Q Y,\Bbbk)\cong H^{\bullet}(P/Q,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(Y,\Bbbk). \end{align*} $$

Hence, we also get that the cohomology in the left-hand side vanishes in odd degrees and is free of finite rank in each degree. Now applying Corollary 4.4 to the second sequence and using Conditions (VI) and (VII) again,

(4-2) $$ \begin{align}H^{\bullet}(X\mathop{\times}\limits_R P\mathop{\times}\limits_Q Y,\Bbbk)&\cong H^{\bullet}(X/R,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(P\mathop{\times}\limits_Q Y,\Bbbk)\nonumber\\&\cong H^{\bullet}(X/R,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(P/Q,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(Y,\Bbbk). \end{align} $$

This cohomology also vanishes in odd degrees and is free of finite rank in each degree.

Proof. By Proposition 2.2, $(X/R)\,{}_L\!\times \,E^N\to L\mathop {\backslash } E^N$ is a fiber bundle with fiber $X/R$ . Therefore, the result follows from Condition (VII) and the long exact sequence of homotopy groups

$$ \begin{align*} \{1\}=\pi_1(X/R)\to \pi_1((X/R)\,{}_L\!\times\,E^N)\to \pi_1(L\mathop{\backslash} E^N)=\{1\}. \end{align*} $$

The last equality follows from Corollary 2.5.

4.5 Surjectivity

We use here the abbreviations (refer to Remark 2.8)

$$ \begin{align*} Z=X\mathop{\times}\limits_R P\mathop{\times}\limits_Q Y,\quad C^N=((X/R)\,{}_L\!\times\,E^N)\times(Y\,{}_Q\!\times\,E^N)-\mathop{\rm im}\varphi^N. \end{align*} $$

We are going to study the cohomologies with compact support of the spaces $C^N$ . First, we study the cohomology of the fiber $F^N_{\bar e}$ ; refer to Lemma 3.10 and Remark 2.8.

Proof. In view of Lemmas 4.6 and 4.8, we can apply Corollary 4.4 to the projection $\omega ^N$ as in Lemma 3.10 (refer to Remark 2.8 about the notation). The second page of this spectral sequence is equal to

$$ \begin{align*} E_2^{p,q}=H^p((X/R)\,{}_L\!\times\,E^N,\Bbbk)\,{\otimes}_{\Bbbk}\, H_c^q(F^N_{\bar e},\Bbbk) \end{align*} $$

if $q<2(N-{\mathfrak n}_{G})$ . It follows from Lemmas 4.7 and 4.8 that $E_r^{p,q}=0$ for any finite $r\geqslant 2$ if $p+q<2(N-{\mathfrak n}_{G})$ and either of p or q is odd. Thus, this fact is also true for $r=\infty $ .

Corollary 4.10. For any $n<2(N-{\mathfrak n}_{G})-1$ , the map

is surjective.

Proof. By Theorem 3.9, we get the exact sequence

Now the result follows from Lemmas 4.7 and 4.9.

Proof. As is noted in [Reference JantzenJ, 1.5(3)], we have $H_P^{\bullet }(P/Q,\Bbbk )\cong H_Q(\mathrm {pt},\Bbbk )$ . Then the result follows from the following computation based on (4-2) and Corollary 4.5:

$$ \begin{align*} &H^{\bullet}_L(X/R,\Bbbk)\otimes_{H_P^{\bullet}(\mathrm{pt},\Bbbk)}H^{\bullet}_Q(Y,\Bbbk)\\&\quad\cong H_L^{\bullet}(X/R,\Bbbk)\otimes_{H_P^{\bullet}(\mathrm{pt},\Bbbk)}H_Q^{\bullet}(\mathrm{pt},\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(Y,\Bbbk)\\ &\quad\cong H_L^{\bullet}(X/R,\Bbbk)\otimes_{H_P^{\bullet}(\mathrm{pt},\Bbbk)}H^{\bullet}_P(\mathrm{pt},\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(P/Q,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(Y,\Bbbk)\\ &\quad\cong H_L^{\bullet}(X/R,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(P/Q,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(Y,\Bbbk)\\ &\quad\cong H_L^{\bullet}(\mathrm{pt},\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(X/R,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(P/Q,\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(Y,\Bbbk)\\ &\quad\cong H_L^{\bullet}(\mathrm{pt},\Bbbk)\,{\otimes}_{\Bbbk}\, H^{\bullet}(X\mathop{\times}\limits_R P\mathop{\times}\limits_Q Y,\Bbbk)\cong H_L^{\bullet}(X\mathop{\times}\limits_R P\mathop{\times}\limits_Q Y,\Bbbk).\\[-43pt] \end{align*} $$

To prove the main result of this section, let us remember the following proposition.

We consider below two basic examples of how this theorem can be applied.

4.6 Equivariant cohomology of the flag variety

Let G be a semisimple compact Lie group and K be a maximal torus in G (as in Section 2.14).

Suppose that the order $|W|$ of the Weyl group is invertible in $\Bbbk $ . The map ${\pi _K:K\mathop {\backslash } E\to G\mathop {\backslash } E}$ given by $\pi _K(Ke)=Ge$ induces the isomorphism

(4-3) $$ \begin{align} \pi_K^*:H^{\bullet}_G(\mathrm{pt},\Bbbk)\stackrel\sim\to H_K^{\bullet}(\mathrm{pt},\Bbbk)^W, \end{align} $$

where the right-hand side is the subring of W-invariants (refer to the proof of [Reference Brion, Broer, Daigneault and SabidussiBr, Proposition 1]).

We are going to apply the results of the previous sections to the following data $X=G$ , $Y=G/K$ , $P=R=Q=G$ , $L=M=K$ , letting $\alpha :X\to G$ and $B:Y\to G/M$ be the identity maps on G and $G/K$ , respectively. The induced map $A:X/R\to G/R$ is then the identity map on $G/G$ . By Theorem 4.14, Condition (IV) being guaranteed by (4-3), and the calculation of $H_K^{\bullet }(\mathrm {pt},\Bbbk )$ , the homomorphism $\theta $ is an isomorphism and

$$ \begin{align*} H^{\bullet}_K(G\mathop{\times}\limits_GG\mathop{\times}\limits_G G/K,\Bbbk)\cong H_K^{\bullet}(G/G,\Bbbk)\otimes_{H^{\bullet}_G(\mathrm{pt},\Bbbk)}H_G^{\bullet}(G/K,\Bbbk). \end{align*} $$

As $G/G\cong \mathrm {pt}$ and the map $v_B:(G/K)\,{}_G\!\times \,E\to K\mathop {\backslash } E$ is a homeomorphism [Reference JantzenJ, 1.5], we get by (4-3) the well-known isomorphism of rings and bimodules

$$ \begin{align*} H^{\bullet}_K(G/K,\Bbbk)\cong H_K^{\bullet}(\mathrm{pt},\Bbbk)\otimes_{H^{\bullet}_K(\mathrm{pt},\Bbbk)^W}H_K^{\bullet}(\mathrm{pt},\Bbbk) \end{align*} $$

with the canonical action of $H_K^{\bullet }(\mathrm {pt},\Bbbk )$ on the left and on the right.

4.7 Standard bimodules

We continue to work here with the same groups G and K as in the previous section. Let us denote

(4-4) $$ \begin{align} {\mathcal R}=H^{\bullet}_K(\mathrm{pt},\Bbbk). \end{align} $$

This is the ${\mathcal R}$ - ${\mathcal R}$ -bimodule with respect to the cup product. For any $w\in W$ , we denote by ${\mathcal R}_w$ the ${\mathcal R}$ - ${\mathcal R}$ -bimodule equal to ${\mathcal R}$ as an abelian group whose left action $\cdot $ is untwisted and right action $\cdot _w$ is twisted by w:

$$ \begin{align*} r'\cdot r=r'r,\quad r\cdot_w r"=rw(r"). \end{align*} $$

The construction of this bimodule naturally arises as a special case of the twisted action described in Section 3.1. Indeed, let $A_w:\mathrm {pt}\to G/K$ be the map with the value $wK$ . Then we get the map $v_{A_w}:K\mathop {\backslash } E\cong \mathrm {pt}\,{}_K\!\times \,E\to K\mathop {\backslash } E$ , which coincides with the map $K\mathop {\backslash } \rho _{w^{-1}}$ described in Section 2.14. By (2-8), we get that the right action on $H_K^{\bullet }(\mathrm {pt},\Bbbk )$ on itself twisted by $A_w$ coincides with $\cdot _w$ .

Now let us compute the tensor product of these bimodules with the help of the isomorphism $\theta $ . Let $X=K$ , $Y=\mathrm {pt}$ , $L=R=P=Q=N=M=K$ , and $\alpha :X\to G$ be the map defined by $\alpha (k)=\dot {w}k$ . The last map becomes K-K-equivariant if we consider the right action of K on X by multiplication and define the left action by $k'\ast k=\dot {w}^{-1}k'\dot {w}k$ . Using this map $\alpha $ , we define the map $A:\mathrm {pt}\cong K/K\to G/K$ by (3-9). Obviously, $A=A_w$ .

Let us choose any $w'\in W$ and set $B=A_{w'}$ . By (3-14),

$$ \begin{align*}\alpha B([k:1:{pt}])=\dot wk\dot w'K=\dot w\dot w'(\dot w'^{-1}k\dot w')K=\dot w\dot w'K=ww'K. \end{align*} $$

Hence, $\alpha B=A_{ww'}$ under the identification $K\mathop {\times }\limits _KK\mathop {\times }\limits _K\mathrm {pt}\cong \mathrm {pt}$ .

As P, Q, L are connected, $X/R$ , $P/Q$ , Y are singletons, and $H_K^{\bullet }(\mathrm {pt},\Bbbk )$ is the polynomial ring in finitely many variables of the second degree, Conditions (I)–(VIII) are satisfied. By Theorem 4.14, the homeomorphism $\theta $ is an isomorphism and it reads as the classical ${\mathcal R}$ - ${\mathcal R}$ -bimodule isomorphism

$$ \begin{align*} {\mathcal R}_w\otimes_{{\mathcal R}}{\mathcal R}_{w'}\cong{\mathcal R}_{ww'}. \end{align*} $$

5.1 Computation of the equivariant cohomology

Let G be a semisimple compact Lie group. We use Abbreviation (4-4). Additionally, we assume that $2$ is invertible in $\Bbbk $ . For any reflection t, we have two rings

$$ \begin{align*} {\mathcal R}(t)=H^{\bullet}_{G_t}(\mathrm{pt},\Bbbk),\quad {\mathcal R}^t=\{r\in{\mathcal R}\mathbin{\rm |} t(r)=r\}, \end{align*} $$

where $G_t$ is the group defined in the last paragraph of Section 2.14.

For a sequence of reflections $\underline {t}=(t_1,\ldots ,t_n)$ , we define the following space:

$$ \begin{align*} \mathrm{BS}(\underline{t})=G_{t_1}\mathop{\times}\limits_K{G_{t_2}}\mathop{\times}\limits_K\cdots\mathop{\times}\limits_KG_{t_n}/K \end{align*} $$

called the Bott–Samelson variety for sequence $\underline {t}$ . The sequence $\underline {t}$ can be empty, in which case $\mathrm {BS}(\underline {t})$ is just the singleton. In what follows, we use the natural identification $\mathrm {pt}\,{}_K\!\times E\cong K\mathop {\backslash } E$ given by $K(pt,e)=Ke$ .

The torus K acts on the left on $\mathrm {BS}(\underline {t})$ (via the first factor for nonempty $\underline {t}$ ). Therefore, we can consider the equivariant cohomology denoted as follows:

$$ \begin{align*} H(\underline{t})=H_K^{\bullet}(\mathrm{BS}(\underline{t}),\Bbbk). \end{align*} $$

It is a left ${\mathcal R}$ -module with respect to the canonical action. However, there is the K-equivariant map

(5-1) $$ \begin{align} A_{\underline{t}}:\mathrm{BS}(\underline{t})\to G/K \end{align} $$

given by . Therefore, $H(\underline {t})$ is also a right ${\mathcal R}$ -module with the action twisted by $A_{\underline {t}}$ according to Section 3.1.

We represent $H(\underline {t})$ graphically by

If we need to indicate the elements of $\underline {t}$ directly, then we use the following notation:

$$ \begin{align*} \mathrm{BS}(t_1,\ldots,t_n)=\mathrm{BS}(\underline{t}),\quad H(t_1,\ldots,t_n)=H(\underline{t}). \end{align*} $$

We consider the following map $\varphi _{\underline {t}}:\mathrm {BS}(\underline {t})\,{}_K\!\times E\to (K\mathop {\backslash } E)^{n+1}$ :

This map can be constructed inductively with the help of the embedding $\varphi $ constructed in Section 3.4 as follows. If $\underline {t}=\underline {\varnothing }$ , then $\varphi _{\underline {t}}$ is the identity map.

Now suppose that $\underline {t}$ is not empty. Then we consider the following commutative diagram:

(5-2)

Here $\underline {t}'=(t_1,\ldots ,t_{n-1})$ is the truncated sequence (Section 2.2) and the map $\varphi $ is the map defined in Section 3.4 for the following set of data:

$$ \begin{align*} X=G_{t_1}\mathop{\times}\limits_K{G_{t_2}}\mathop{\times}\limits_K\cdots\mathop{\times}\limits_KG_{t_{n-1}},\quad Y=\mathrm{pt},\quad P=G_{t_n},\quad L=R=Q=K \end{align*} $$

and $\alpha :X\to G$ given by $[g_1:\cdots :g_{n-1}]\mapsto g_1\cdots g_{n-1}$ .

Using this embedding, we can define the map $\Theta _{\underline {t}}$ as the following composition:

where the first map is the cross product (Section 3.7). We consider the following commutative diagram:

(5-3)

where $\Theta $ is Map (3-18) corresponding to $\varphi $ . If we additionally set $M=K$ and define $B:Y\to G/M$ by $B(pt)=1M$ , then we get by Corollary 3.14 that $\Theta $ is a homomorphism of rings and ${\mathcal R}$ - ${\mathcal R}$ -modules. Note that (5-3) is commutative as (5-2) is so. Indeed,

$$ \begin{align*} \varphi^*(\mathop{\rm pr}\nolimits_1^*\varphi_{\underline{t}'}^*(\mathop{\rm pr}\nolimits_1^*(a_1)\cup\cdots\cup\mathop{\rm pr}\nolimits_{n+1}^*(a_1))\cup\mathop{\rm pr}\nolimits_2^*(a_{n+1})), \end{align*} $$

Hence, we need to prove that

$$ \begin{align*} \mathop{\rm pr}\nolimits_i\varphi_{\underline{t}'}\mathop{\rm pr}\nolimits_1\varphi=\mathop{\rm pr}\nolimits_i\varphi_{\underline{t}}\text{ for }1\leqslant i\leqslant n,\quad \mathop{\rm pr}\nolimits_2\varphi=\mathop{\rm pr}\nolimits_{n+1}\varphi_{\underline{t}}. \end{align*} $$

Both equalities follow if we append $\mathop{\rm pr}\nolimits _i$ to the left at both sides of the commutativity condition $(\varphi _{\underline {t}'}\times \mathrm {id})\varphi =\varphi _{\underline {t}}$ of (5-2). As $\Theta _{\underline {\varnothing }}=\mathrm {id}$ , we can use Diagram (5-3) to compute $\Theta _{\underline {t}}$ inductively. This computation and Corollary 3.14 prove that $\Theta _{\underline {t}}$ is a homomorphism of rings and ${\mathcal R}$ - ${\mathcal R}$ -bimodules.

Let us consider now the tensor product:

$$ \begin{align*} {\mathcal R}^{\otimes \underline{t}}={\mathcal R}\otimes_{{\mathcal R}(t_1)}\cdots\otimes_{{\mathcal R}(t_n)}{\mathcal R}, \end{align*} $$

where each ${\mathcal R}(t_i)$ acts on the left and on the right on ${\mathcal R}$ through $\pi _{t_i}$ , that is, $bm\hspace{-1pt}=\hspace{-1pt}\pi _{t_i}^*(b)\hspace{-1pt}\cup\hspace{-1pt} m$ and $mb=m\cup \pi _{t_i}^*(b)$ for any $m\in {\mathcal R}$ and $b\in {\mathcal R}(t_i)$ . In view of Lemma 5.1,

$$ \begin{align*} {\mathcal R}^{\otimes \underline{t}}={\mathcal R}\otimes_{{\mathcal R}^{t_1}}\cdots\otimes_{{\mathcal R}^{t_n}}{\mathcal R}. \end{align*} $$

We use the first equality when we apply the (iso)morphisms $\theta $ introduced in Section 3.7 and the second equality to perform algebraic computations.

Proof. Let us apply induction on the length of $\underline {t}$ . There is nothing to prove if $\underline {t}=\underline {\varnothing }$ , as $\Theta _{\underline {\varnothing }}=\mathrm {id}$ . Now suppose that $\underline {t}$ is not empty. We consider the following diagram:

where $\theta $ is the map corresponding to $\Theta $ from (5-3), as described in Section 3.7, and the dashed arrow is defined so that the trapezoid containing it is commutative. We need to prove that the triangle containing this arrow is also commutative. This is however so, as all other triangles, both trapezoids as well as the outer perimeter are commutative. The last claim follows from the commutativity of (5-3) and the inductive definition of $\theta _{\underline {t}'}$ . Note that $\theta $ is an isomorphism by Theorem 4.14, the validity of Condition (VIII) being guaranteed inductively by Lemma 2.3. Thus, $\theta _{\underline {t}}$ is a composition of isomorphisms and therefore is an isomorphism itself.

5.2 Concatenation

Our next aim is to prove that the isomorphisms $\theta _{\underline {t}}$ of Theorem 5.3 behave well under the concatenation of sequences. Let $\underline {t}=(t_1,\ldots ,t_n)$ and $\underline {r}=(r_1,\ldots ,r_m)$ be sequences of reflections. As in Section 3.4, we consider the embedding

$$ \begin{align*} \varphi_{\underline{t},\underline{r}}:\mathrm{BS}(\underline{tr})\,{}_K\!\times E\to(\mathrm{BS}(\underline{t})\,{}_K\!\times E)\times(\mathrm{BS}(\underline{r})\,{}_K\!\times E) \end{align*} $$

for the following set of data:

$$ \begin{align*} X=G_{t_1}\mathop{\times}\limits_K{G_{t_2}}\mathop{\times}\limits_K\cdots\mathop{\times}\limits_KG_{t_n},\quad Y=\mathrm{BS}(\underline{r}),\quad L=R=P=Q=K, \end{align*} $$

and $\alpha :X\to G$ defined by $[g_1:\cdots :g_n]\mapsto g_1\cdots g_n$ . Here we use the representation

$$ \begin{align*} \mathrm{BS}(\underline{tr})=X\mathop{\times}\limits_KK\mathop{\times}\limits_KY, \end{align*} $$

thus assuming

(5-4)

Setting additionally $M=K$ and defining $B:Y\to G/M$ by , we get by Theorem 4.14 the following isomorphisms of rings and ${\mathcal R}$ - ${\mathcal R}$ -bimodules:

where $\theta _{\underline {t},\underline {r}}$ is induced by $\varphi _{\underline {t},\underline {r}}$ as in Section 3.7.

Theorem 5.4. There is the following commutative diagram:

where the isomorphism of the bottom arrow is given by

$$ \begin{align*} (a_1\otimes\cdots\otimes a_{n+1})\otimes(b_1\otimes\cdots\otimes b_{m+1})\mapsto a_1\otimes\cdots\otimes a_n \otimes (a_{n+1}\cup b_1)\otimes b_2\otimes\cdots\otimes b_{m+1}. \end{align*} $$

Proof. Following the upper path,

$$ \begin{align*}\hspace{33pt} \varphi_{\underline{t},\underline{r}}^*(\mathop{\rm pr}\nolimits_1^*\varphi_{\underline{t}}^*(\mathop{\rm pr}\nolimits_1^*(a_1)\cup\cdots\cup\mathop{\rm pr}\nolimits_{n+1}^*(a_{n+1}))\cup\mathop{\rm pr}\nolimits_2^*\varphi_{\underline{r}}^*(\mathop{\rm pr}\nolimits_1^*(b_1)\cup\cdots\cup\mathop{\rm pr}\nolimits_{m+1}^*(b_{m+1}))). \end{align*} $$

Following the lower path,

Comparing the right-hand sides, we see that we need to prove the formulas

$$ \begin{align*} \mathop{\rm pr}\nolimits_i\varphi_{\underline{t}}\mathop{\rm pr}\nolimits_1\varphi_{\underline{t},\underline{r}}=\mathop{\rm pr}\nolimits_i\varphi_{\underline{tr}}\text{ for }1\leqslant i\leqslant n+1,\quad \mathop{\rm pr}\nolimits_j\varphi_{\underline{r}}\mathop{\rm pr}\nolimits_2\varphi_{\underline{t},\underline{r}}=\mathop{\rm pr}\nolimits_{j+n}\varphi_{\underline{tr}}\text{ for }1\leqslant j\leqslant m+1, \end{align*} $$

which follow from elementary calculations.

The maps $\varphi _{\underline {t},\underline {r}}$ were introduced for the universal principal bundle E. In what follows, we also use their compact versions $\varphi _{\underline {t},\underline {r}}^N$ (Remark 2.8).

5.3 Bott towers

We remember the main constructions of [Reference Grossberg and KarshonGK]. Let n be a nonnegative integer and $\underline {c}=\{c_{i,j}\}_{1\leqslant i<j\leqslant n}$ be a collection of integers. The Bott tower [Reference Grossberg and KarshonGK, Section 2.2] corresponding to $\underline {c}$ is the quotient

$$ \begin{align*} \mathrm{BT}(\underline{c})=({\mathbb C}^2-\{(0,0)\})^n/({\mathbb C}^\times)^n \end{align*} $$

with respect to the following action of $({\mathbb C}^\times )^n$ :

(5-5) $$ \begin{align} &(z_1,w_1,\ldots,z_n,w_n)(1,\ldots,1,a_i,1,\ldots,1)\nonumber\\ &\quad=(z_1,w_1,\ldots,z_{i-1},w_{i-1}, z_i a_i, w_i a_i,\ldots,z_j,w_j a_i^{c_{i,j}},\ldots), \end{align} $$

where $a_i$ is at the ith place. Note that $\mathrm {BT}(\underline {c})$ is a smooth complex manifold and thus is canonically oriented. We denote the orbit containing the sequence $(z_1,w_1,\ldots ,z_n,w_n)$ by $[z_1,w_1,\ldots ,z_n,w_n]$ . This notation agrees with the notation of points of Bott towers in [Reference Grossberg and KarshonGK] and with our notation of points of $P^1(\mathbb C)$ introduced in Section 2.4. In the following lemma, we denote by $\langle \alpha _t,\alpha _r\rangle $ the integer such that $t(\alpha _r)=\alpha _r-\langle \alpha _r,\alpha _t\rangle \alpha _t$ .

Proof. Let us consider the three-dimensional sphere $S^3\hspace{-1pt}=\hspace{-1pt}\{(z,w)\hspace{-1pt}\in\hspace{-1pt} {\mathbb C}^2\mathbin{\rm |} |z|^2\hspace{-1pt}+\hspace{-1pt}|w|^2\hspace{-1pt}=\hspace{-1pt}1\}$ . We can construct the quotient $(S^3)^n/(S^1)^n$ with respect to the group action given by (5-5). Using the same notation for the orbits of this space as for the orbits of $\mathrm {BT}(\underline {c})$ , we define the homeomorphism $(S^3)^n/(S^1)^n\stackrel \sim \to \mathrm {BS}(\underline {t})$ as follows:

$$ \begin{align*} [z_1,w_1,\ldots,z_n,w_n]\mapsto\left.\left[\varphi_{\alpha_{t_1}}\!\!\left(\!\!\begin{array}{cc}z_1& -\bar w_1\\w_1&\bar z_1\end{array}\!\!\right):\cdots:\varphi_{\alpha_{t_n}}\!\!\left(\!\!\begin{array}{cc}z_n& -\bar w_n\\w_n&\bar z_n\end{array}\!\!\right)\right]\!\!\right]. \end{align*} $$

Here $\varphi _{\alpha _{t_i}}$ are the root homomorphisms as in Section 2.14. As the natural embedding $(S^3)^n\hookrightarrow ({\mathbb C}^2-\{(0,0)\})^n$ induces the homeomorphism $(S^3)^n/(S^1)^n\stackrel \sim \to \mathrm {BT}(\underline {c})$ , refer to [Reference Grossberg and KarshonGK, Section 2.2], the required result follows.

The homomorphism described above defines two things: an orientation on $\mathrm {BS}(\underline {t})$ and a left K-action on $\mathrm {BT}(\underline {c})$ . This action is given by

$$ \begin{align*} k[z_1,w_1,\ldots,z_n,w_n]=[z_1,\alpha_{t_1}(k)^{-1}w_1,\ldots,z_n,\alpha_{t_n}(k)^{-1}w_n]. \end{align*} $$

Note that the coefficients $c_{i,j}$ are given by the same formula in [Reference Grossberg and KarshonGK, Section 3.7] in the case where all reflections are simple.

In the special case of a sequence of length 1, we have $\mathrm {BS}(t)\cong \mathrm {BT}(\underline {\varnothing })=P^1(\mathbb C)$ . This isomorphism proves that

(5-6) $$ \begin{align} {}^{K\!}\mathrm{BS}(t)=\{1K,\dot tK\}, \end{align} $$

where $\dot t$ is a lifting of t (Section 2.14). We assume here and in the following that $\dot t$ is chosen within $G_t$ for any reflection t. Moreover, we assume that the neutral element of W is lifted to the neutral element of G. By Lemma 5.5,

Thus, in accordance with the identification of Section 2.14, we compute the equivariant Euler class (that is, the first Chern class), following the guidelines of [Reference Anderson and FultonAF, Ch. 2, Section 3], as follows:

(5-7)

for N big enough.

5.4 Fixed points

Let $\underline {t}=(t_1,\ldots ,t_n)$ be a sequence of reflections. We denote by $\Gamma _{\underline {t}}$ the set of generalized combinatorial galleries whose elements are sequences $\underline {\gamma }=(\gamma _1,\ldots ,\gamma _n)$ , where $\gamma _i=t_i$ or $\gamma _i=1$ for each i.

Proof. As K is normalized by W, the points are fixed by K. To prove the converse claim, let us apply induction on n. The case $n=0$ is obvious. Suppose that $n>0$ . Then $t_n$ is the last element of $\underline {t}$ . We consider the truncated sequence $\underline {t}'$ and two K-equivariant maps $\mathop{\rm tr}\nolimits :\mathrm {BS}(\underline {t})\to \mathrm {BS}(\underline {t}')$ and $\zeta :\mathrm {BS}(\underline {t})\to G/K$ given by

respectively. Let $a\in \!{}^{K\!}\mathrm {BS}(\underline {t})$ . Then $\mathop{\rm tr}\nolimits (a)\in \!{}^{K\!}\mathrm {BS}(\underline {t}')$ . By induction, we have a representation for some $(\gamma _1,\ldots \gamma _{n-1})\in \Gamma _{\underline {t}'}$ and $x_n\in G_{t_n}$ . However, $\zeta (a)\in \!{}^{K\!}(G/K)$ . Thus,

$$ \begin{align*} k\dot\gamma_1\cdots\dot\gamma_{n-1}x_nK=\dot\gamma_1\cdots\dot\gamma_{n-1}x_nK \end{align*} $$

for any $k\in K$ . Hence, $k'x_nK=x_nK$ , where $k'=(\dot \gamma _1\cdots \dot \gamma _{n-1})^{-1}k\dot \gamma _1\cdots \dot \gamma _{n-1}$ . As $k'$ is an arbitrary element of K, we get by (5-6) that $x_nK\in \!{}^{K\!}\mathrm {BS}(t_n)=\{1K,\dot t_nK\}$ . The result follows.

We identify $\underline {\gamma }$ with the point of $\mathrm {BS}(\underline {t})$ . For each $x\in W$ , we denote by $\Gamma _{\underline {t},x}$ the subset of $\Gamma _{\underline {t}}$ consisting of sequences $\underline {\gamma }$ such that $\gamma _1\cdots \gamma _n=x$ . According to Lemma 3.5, the embedding $i_{\underline {\gamma }}:\mathrm {pt}\hookrightarrow \mathrm {BS}(\underline {t})$ taking value $\underline {\gamma }\in \Gamma _{\underline {t},x}$ induces the homomorphism of ${\mathcal R}$ - ${\mathcal R}$ -bimodules

$$ \begin{align*} i_{\underline{\gamma}}^{\star}:H(\underline{t})\to{\mathcal R}_x. \end{align*} $$

Note that in this formula, the left actions are canonical, and the right actions on the domain and codomain are twisted by $A_{\underline {t}}$ and $A_{\underline {t}}i_{\underline {\gamma }}$ , respectively (Lemma 3.5). The last map takes only the value $xK$ . We can compute $i_{\underline {\gamma }}^{\star }$ in coordinates.

Theorem 5.7. For each $\underline {\gamma }\in \Gamma _{\underline {t},x}$ , the composition

is given by $ a_1\otimes \cdots \otimes a_{n+1}\mapsto a_1\cup \gamma _1(a_2)\cup \cdots \cup \gamma _1\cdots \gamma _n(a_{n+1}) $ .

Proof. Replacing $\theta _{\underline {t}}$ by $\Theta _{\underline {t}}$ , it remains to compute the following composition:

Following these maps,

(5-8)

It is easy to note that $\mathop{\rm pr}\nolimits _j\varphi _{\underline {t}}(i_{\underline {\gamma }}\times \mathrm {id})=K\mathop {\backslash }\rho _{(\gamma _1\cdots \gamma _{j-1})^{-1}}$ , where the last map is defined in Section 2.14. Therefore, by (2-8),

$$ \begin{align*} (\mathop{\rm pr}\nolimits_i\varphi_{\underline{t}}(i_{\underline{\gamma}}\times\mathrm{id}))^*(a_i)=(K\mathop{\backslash}\rho_{(\gamma_1\cdots\gamma_{i-1})^{-1}})^*(a_i) =\gamma_1\cdots\gamma_{i-1}(a_i). \end{align*} $$

The result follows from this formula and (5-8).

Using the Mayer–Vietoris isomorphism, we obtain that the restriction to ${}^{K\!}\mathrm {BS}(\underline {t})$ is the following homomorphism of ${\mathcal R}$ - ${\mathcal R}$ -bimodules:

$$ \begin{align*} H^{\bullet}_K(\mathrm{BS}(\underline{t}),\Bbbk)\to H^{\bullet}_K({}^K\mathrm{BS}(\underline{t}),\Bbbk)\stackrel\sim\to\bigoplus_{x\in W}\bigoplus_{\gamma\in\Gamma_{\underline{t},x}}{\mathcal R}_x. \end{align*} $$

We do not claim that this homomorphism is a monomorphism. However, this is true under some restrictions on $\Bbbk $ (for example, if $\Bbbk $ has no zero divisors, refer to [Reference ShchigolevS1, Corollary 2.5]), in which case we say that the localization theorem holds.

6.1 The setup

In the notation of the rest of the paper, we replace any sequence $\underline {t}$ of length 1 by its unique element t. For example, $\varphi _{\underline {r},t}=\varphi _{\underline {r},\underline {t}}$ , $\theta _t=\theta _{\underline {t}}$ , $\theta _{\underline {r},t}=\theta _{\underline {r},\underline {t}}$ , ${\mathcal R}^{\otimes t}={\mathcal R}^{\otimes \underline {t}}$ , and so forth. We also no longer write the symbol of the cup product between elements of ${\mathcal R}$ .

We draw morphisms between bimodules $H(\underline {t})$ as usual from bottom to top. The easiest case is represented by trivial morphisms, which are drawn as vertical lines in the colors corresponding to the colors of the reflections:

Recall that for any reflection, we denote by $\alpha _t$ the positive root such that $t=\omega _{\alpha _t}$ (Section 2.14) and set

$$ \begin{align*} P_t(f)=\frac{f+t(f)}2,\quad \partial_t(f)=\frac{f-t(f)}{\alpha_t}. \end{align*} $$

The operator $\partial _t$ in the last formula is called the Demazure operator. We get $P_t(f)\in {\mathcal R}^t$ , $\partial _t(f)\in {\mathcal R}^t$ , and

(6-1) $$ \begin{align} f=P_t(f)+\partial_t(f)\,\frac{\alpha_t}2. \end{align} $$

An element m of an ${\mathcal R}$ - ${\mathcal R}$ -bimodule M is called central if $rm=mr$ for every $r\in {\mathcal R}$ . For example, if we consider ${\mathcal R}$ itself as ${\mathcal R}$ - ${\mathcal R}$ -bimodule, then all elements of ${\mathcal R}$ are central. However, for any reflection t, only the zero element of the standard bimodule ${\mathcal R}_t$ (Section 4.7) is central. Indeed, $m\in {\mathcal R}_t$ is central if and only if $rm=t(r)m$ for every $r\in {\mathcal R}$ . Substituting $r=\alpha _t$ , we get $2\alpha _tm=0$ . As $2$ is invertible, we get $m=0$ . Obviously, central elements are mapped to central ones by bimodule homomorphisms.

We use the shift of grading (Section 2.3) so that all homomorphisms of bimodules we consider are grading preserving. For example, we get the following exact sequence [Reference Elias and WilliamsonEW, (3.4)]:

(6-2)

where $\lambda _t(r)=r({\alpha _t}/2)\otimes 1+r\otimes ({\alpha _t}/2)$ and $\sigma _t(f\otimes g)=ft(g)$ . Therefore, any central element of ${\mathcal R}\otimes _{{\mathcal R}^t}{\mathcal R}$ is in the kernel of $\sigma _t$ and thus in the image of $\lambda _t$ . Note that in [Reference Elias and WilliamsonEW], t is supposed to be simple, but the above sequence is actually exact for any reflection t.

6.2 One-color morphisms

Let us fix a reflection t. Consider the natural embedding $\iota _t:\mathrm {pt}\to \mathrm {BS}(t)$ , which maps pt to . We get $\iota _t=i_{(1)}$ in the notation of Section 5.4. We get the equivariant pull-back

$$ \begin{align*} \iota_t^{\star}:H(t)\to {\mathcal R}, \end{align*} $$

which we represent as the diagram

(ι _t ^⋆)

This map is a homomorphism of ${\mathcal R}$ - ${\mathcal R}$ -bimodules by Lemma 3.5. By Theorem 5.7, we get that the composition map

is given by

(6-3) $$ \begin{align} \iota_t^{\star}\theta_t(a\otimes b)=ab. \end{align} $$

Now we consider the negated equivariant push-forward

$$ \begin{align*} -\iota_{t\star}:{\mathcal R}\to H(t)(2). \end{align*} $$

Recall that a number in round brackets means the degree shift (Section 2.3). We represent the above morphism as follows:

(−ι _t⋆)

By Lemma 3.6, this map is a homomorphism of ${\mathcal R}$ - ${\mathcal R}$ -bimodules. We want to compute the composition

(6-4)

It suffices to compute the image of $1$ . As the element $-\theta _t^{-1}i_{t\star }(1)$ is central and of degree $2$ , the short exact sequence (6-2) and the argument following it show that

$$ \begin{align*} -\theta_t^{-1}i_{s\star}(1)=c\alpha_t\otimes 1+c\otimes\alpha_t \end{align*} $$

for some $c\in \Bbbk $ . To compute this constant, first apply $-\theta _t$ and then $\iota _t^{\star }$ to the formula above. By (5-7), Theorem 5.7, and (6-3),

Hence, $c=1/2$ . As all maps in (6-4) are homomorphisms of bimodules,

$$ \begin{align*} \theta_t^{-1}(-i_{t\star})(d)=d\frac{\alpha_t}2\otimes 1+d\otimes\frac{\alpha_t}2. \end{align*} $$

Let $\mu _t:\mathrm {BS}(t,t)\to \mathrm {BS}(t)$ be the map given by . Taking the pull-back, we get the map

$$ \begin{align*} \mu_t^{\star}:H(t)\to H(t,t). \end{align*} $$

We draw this diagram as follows:

(μ _t⋆)

This map is a homomorphism of ${\mathcal R}$ - ${\mathcal R}$ -bimodules by Lemma 3.5. We are going to compute the composition

(6-5)

Computing in degree zero,

$$ \begin{align*} \mu_t^{\star}\theta_t(1\otimes 1)=1=\theta_{(t,t)}(1\otimes 1\otimes 1), \end{align*} $$

where the central unit is the constant unit function on $\mathrm {BS}(t,t){}_K\times E$ and all other units are the constant unit function on $K\mathop {\backslash } E$ . These functions are considered as cohomology classes and pull-back to constant unit functions, which explains the computation above.

As all maps in (6-5) are homomorphisms of bimodules,

$$ \begin{align*} \theta_{(t,t)}^{-1}\mu_t^{\star}\theta_t(a\otimes b)=a\otimes1\otimes b. \end{align*} $$

As expected, the merge diagram

(−μ _t⋆)

is defined to be the negated push-forward map $-\mu _{t\star }:H(t,t)\to H(t)(-2)$ . We postpone the computation of its coordinate form until we manage to extend diagram (−ι _t⋆ ) horizontally.

6.3 Horizontal extensions

We apply the concatenation properties proved in Section 5.2. First, let us consider the planar diagram

(ι _{ṟ, t} ^⋆)

for a reflection t and a sequence of reflections $\underline {r}=(r_1,\ldots ,r_n)$ (the black solid strings can be of any color). Let $\underline {r}t=(r_1,\ldots ,r_n,t)$ be the concatenated sequence and $\iota _{\underline {r},t}:\mathrm {BS}(\underline {r})\hookrightarrow \mathrm {BS}(\underline {r}t)$ be the embedding given by . We claim that the diagram

(6-6)

is commutative. Indeed, for any $a\in H(\underline {r})$ and $b\in H(t)$ ,

$$ \begin{align*} \theta_{\underline{r},\underline{\varnothing}}(\mathrm{id}\otimes\iota_t^{\star})(a\otimes b)=\theta_{\underline{r},\underline{\varnothing}}(a\otimes\iota_t^{\star}(b)) =\varphi_{\underline{r},\underline{\varnothing}}^*(\mathop{\rm pr}\nolimits_1^*(a)\cup\mathop{\rm pr}\nolimits_2^*\iota_t^{\star}(b)), \end{align*} $$

$$ \begin{align*} \iota_{\underline{r},t}^{\star}\theta_{\underline{r},t}(a\otimes b)=\iota_{\underline{r},t}^{\star}\varphi_{\underline{r},t}^*(\mathop{\rm pr}\nolimits_1^*(a)\cup\mathop{\rm pr}\nolimits_2^*(b)). \end{align*} $$

Comparing the results, we see that it suffices to prove the equalities

(6-7) $$ \begin{align} \mathop{\rm pr}\nolimits_1\varphi_{\underline{r},\underline{\varnothing}}=\mathop{\rm pr}\nolimits_1\varphi_{\underline{r},t}(\iota_{\underline{r},t}\, {\mathop{{}_{K}\times}}\, \mathrm{id}),\quad(\iota_t\, {\mathop{{}_{K}\times}}\, \mathrm{id})\mathop{\rm pr}\nolimits_2\varphi_{\underline{r},\underline{\varnothing}}=\mathop{\rm pr}\nolimits_2\varphi_{\underline{r},t}(\iota_{\underline{r},t}\, {\mathop{{}_{K}\times}}\, \mathrm{id}). \end{align} $$

They follow directly from the identification rule in (5-4) for concatenation operators and the definition in (3-10).

Now let us extend ( ι ^⋆ _ṟ,t ) to the right

(ι _{ṟ, t, v} ^⋆)

for another sequence of reflections $\underline {v}=(v_1,\ldots ,v_m)$ . Let $\underline {r}t\underline {v}=(r_1,\ldots ,r_n,t,v_1,\ldots ,v_m)$ be the concatenated sequence and $\iota _{\underline {r},t,\underline {v}}:\mathrm {BS}(\underline {rv})\hookrightarrow \mathrm {BS}(\underline {r}t\underline {v})$ be the map defined by . We get the commutative diagram

(6-8)

Inserting (6-3) to (6-6) and (6-8), we get the formula in coordinates

$$ \begin{align*} &\theta_{\underline{rv}}^{-1}\iota_{\underline{r},t,\underline{v}}^{\star}\theta_{\underline{r}t\underline{v}}(a_1\otimes\cdots\otimes a_{n+1}\otimes b_1\otimes\cdots\otimes b_{m+1})\\&\quad=a_1\otimes\cdots\otimes a_n\otimes a_{n+1}b_1\otimes b_2\otimes\cdots\otimes b_{m+1}. \end{align*} $$

Let us extend (−ι _t⋆ ) horizontally. To this end, we first prove that the diagram

(6-9)

is commutative. It is more difficult, as it involves push-forward operators. For any $a\in H(\underline {r})$ and $b\in {\mathcal R}$ , we get by the first equality of (6-7) and the projection formula (Proposition 2.9),

(6-10) $$ \begin{align} \iota_{\underline{r},t\star}\theta_{\underline{r},\underline{\varnothing}}(a\otimes b)&=\iota_{\underline{r},t\star}\varphi_{\underline{r},\underline{\varnothing}}^*(\mathop{\rm pr}\nolimits_1^*(a)\cup\mathop{\rm pr}\nolimits_2^*(b)) =\iota_{\underline{r},t\star}((\mathop{\rm pr}\nolimits_1\varphi_{\underline{r},\underline{\varnothing}})^*(a)\cup (\mathop{\rm pr}\nolimits_2\varphi_{\underline{r},\underline{\varnothing}})^*(b))\nonumber\\ &=\iota_{\underline{r},t\star}(\iota_{\underline{r},t}^{\star}(\mathop{\rm pr}\nolimits_1\varphi_{\underline{r},t})^*(a)\cup (\mathop{\rm pr}\nolimits_2\varphi_{\underline{r},\underline{\varnothing}})^*(b))\nonumber\\ &=(\mathop{\rm pr}\nolimits_1\varphi_{\underline{r},t})^*(a)\cup\iota_{\underline{r},t\star}(\mathop{\rm pr}\nolimits_2\varphi_{\underline{r},\underline{\varnothing}})^*(b). \end{align} $$

Let us consider the compatibly oriented Cartesian square

By (2-4), we get $(\iota _{\underline {r},t}\,{\mathop{{}_{K}\times}}\, \mathrm {id})_*(\mathop{\rm pr}\nolimits _2\varphi _{\underline {r},\underline {\varnothing }}^N)^*=(\mathop{\rm pr}\nolimits _2\varphi _{\underline {r},t}^N)^*(\iota _t\,{\mathop{{}_{K}\times}}\, \mathrm {id})_*$ . Taking the limit $N\to \infty $ , we get $\iota _{\underline {r},t\star }(\mathop{\rm pr}\nolimits _2\varphi _{\underline {r},\underline {\varnothing }})^*=(\mathop{\rm pr}\nolimits _2\varphi _{\underline {r},t})^*\iota _{t\star }$ . Applying this substitution to the right-hand side of (6-10),

$$ \begin{align*} \iota_{\underline{r},t\star}\theta_{\underline{r},\underline{\varnothing}}(a\otimes b)&=(\mathop{\rm pr}\nolimits_1\varphi_{\underline{r},t})^*(a)\cup(\mathop{\rm pr}\nolimits_2\varphi_{\underline{r},t})^*\iota_{t\star}(b)\\ &=\varphi_{\underline{r},t}^*(\mathop{\rm pr}\nolimits_1^*(a)\cup\mathop{\rm pr}\nolimits_2^*\iota_{t\star}(b))=\theta_{\underline{r},t}(a\otimes \iota_{t\star}(b))=\theta_{\underline{r},t}(\mathrm{id}\otimes\iota_{t\star})(a\otimes b). \end{align*} $$

This equality proves the commutativity of (6-9). We prove similarly that the diagram

is commutative. Computing in coordinates,