Equivariant formality of isotropic torus actions

Equivariant homology and cohomology in algebraic topology (55N91) Serre spectral sequences (55T10) Equivariant algebraic topology of manifolds (57R91) Compact Lie groups of differentiable transformations (57S15)

Abstract: Considering the potential equivariant formality of the left action of a connected Lie group

K

on the homogeneous space

G / K

, we arrive through a sequence of reductions at the case

G

is compact and simply-connected and

K

is a torus. We then classify all pairs

(G, S)

such that

G

is compact connected Lie and the embedded circular subgroup

S

acts equivariantly formally on

G / S

. In the process we provide what seems to be the first published proof of the structure (known to Leray and Koszul) of the cohomology rings

H^{*} (G / S; m a t h b b Q)

.

Review text

A continuous action \(G \times X \to X\) is said to be {\em equivariantly formal} if the fibre inclusion \(X \hookrightarrow X_G = X_G = EG \times_G \to BG\) in the Borel fibration induces a surjection \(H^*_G(X,\mathbb Q) = H^*(X_G,\mathbb Q) \to H^*(X,\mathbb Q)\) in singular cohomology. Such an asumption makes the computation of \(H_G^*(X,\mathbb Q)\) comparatively tractable, because it is equivalent to the collapsing of the spectral sequence of the fibration at the \(E_2\) level. It is natural to ask whether the action \(H \times (G/K) \to (G/K)\) is equivariantly formal for \(H \subseteq G\), or more specifically whether \(K \times (G/K) \to (G/K)\) is equivariantly formal. In this case one says that \((G,K)\) is \text{isotropy-formal}. The author studies equivariant formality of pairs \((G,K)\). Theorem. If \(G\) is a compact Lie group, \(K\) a closed connected subgroup, and \(S\) any maximal torus within \(K\), then \((G,K)\) is isotropy-formal if and only if \((G,S)\) is. The question of isotropy-formality reduces to the case where the commutator subgroup of \(G\) is simply-connected, and this depends largely on the case where \(G\) itself is simply-connected. The author classifies all pairs \((G,S)\) such that \(G\) is a compact connected Lie group and the embedded circular group \(S\) acts equivariantly formally on \(G/S\).

Recommendations

Cites work

Cited in

(15)

Describes a project that uses

Uses Software

MathOverflow

This page was built for publication: Equivariant formality of isotropic torus actions

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