group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
(Hopf degree theorem)
Let $n \in \mathbb{N}$ be a natural number and $X \in Mfd$ be a connected orientable closed manifold of dimension $n$. Then the $n$th cohomotopy classes $\left[X \overset{c}{\to} S^n\right] \in \pi^n(X)$ of $X$ are in bijection with the degree $deg(c) \in \mathbb{Z}$ of the representing functions, hence the canonical function
from $n$th cohomotopy to $n$th integral cohomology is a bijection.
(e.g. Kosinski 93, IX (5.8), Kobin 16, 7.5)
The equivariant Hopf degree theorem – Theorem below – is a generalization of the Hopf degree theorem to equivariant homotopy theory, due to tomDieck 79, 8.4. It implies a fairly explicit characterization of equivariant cohomotopy of representation spheres $S^V$ in RO(G)-degree $V$ (Prop. below).
We need the following list of ingredients and assumptions:
Let $G$ be a finite group. For $H \subset G$ a subgroup, write
for its Weyl group.
For $X$ a G-space, we write
for the subset of the subgroup lattice on the isotropy groups of $X$, hence those subgroups which appear as stabilizer subgroups $Stab_G(x)$ of some point $x \in X$. This means that if $H_1, H_2 \in Iso_X(G)$ and $H_1 \lt H_2$ is a strict inclusion, then the fixed loci differ $X^{H_1} \gt X^{H_2}$.
(matching pair of $G$-spaces)
For $G$ a finite group, we say that a pair $X,Y \in G Spaces$ of topological G-spaces, where $X$ is a G-CW-complex, is a matching pair if the following conditions are satisfied for all isotropy groups $H \in Isotr_X(G)$ (2) of the $G$-action on $X$.
The fixed point space $X^H$ is a $W_G H = (N_G H) / H$-complex of finite dimension $dim\big( X^H\big) \in \mathbb{N}$;
$H^{dim(X^H)}\Big( X^H , \mathbb{Z}\Big) \simeq \mathbb{Z}$ (integral cohomology of the fixed point space),
this implies that the action of $W_G(H)$ on cohomology induces a group homomorphism
to be called the orientation behaviour of the action of $W_G(H)$ on $X^H$;
and
$Y^H$ is $(dim(X^H)-1)$-connected
(hence connected if $dim\left(X^H\right) = 1$, simply connected if $dim\left(X^H\right) = 2$, etc.);
$\pi_{dim(X^H)}\big( Y^H\big) \simeq \mathbb{Z}$ (homotopy groups of fixed point space),
with the previous point this implies (by the Hurewicz theorem) that $H^{dim(X^H)}\Big( Y^H , \mathbb{Z}\Big) \simeq \mathbb{Z}$ and hence orientation behaviour (3) $e_{H,Y} \;\colon\; W_G(H) \to \mathbb{Z}^\times$
$e_{H,X} = e_{H,Y}$, the orientation behaviour (3) of $X$ and $Y$ agrees at all isotropy groups.
For simplicity we also demand that
Given a matching pair of $G$-spaces, we say that a choice of generators in the cohomology groups of all the fixed strata
is a choice of singularity-wise orientations. Given such a choice and an equivariant continuous function $f \colon X \to Y$, we have for each isotropy group $H \in Isotr_X(G)$ that the continuous function $f^H \;\colon\; X^H \to Y^H$ has a well-defined integer degree
(tom Dieck 79, p. 212 and p. 213)
Let $G$ be a finite group and $V \in RO(G)$ a finite-dimensional orthogonal linear representation of $G$. Then the pair
consisting of two copies of the representation sphere of $V$ is a matching pair of $G$-spaces, according to Def. .
First notice that an $H$-fixed locus of any $G$-representation sphere is itself a $W_G(H)$-representation sphere, since $\left(S^V\right)^H \simeq S^{\left( V^H\right)}$. That these are all WH-CW-complexes follows because generally G-representation spheres are G-CW-complexes. Moreover, since the topological spaces underlying all these fixed loci are n-spheres, and since we have the same spheres for $X$ and $Y$, the connectivity and orientability conditions in Def. are evidently satisfied.
Let $G$ be a finite group which arises as the point group $G \simeq S/N$ of a crystallographic group $S \subset Iso(E)$ of some Euclidean space $E$. Then the pair
consisting of
the torus $E/N$ which is the quotient space of $E$ by the given crystallographic sub-lattice $N \subset E$ and equipped with the $G$-action descending from that on $E$ (this Prop.);
the representation sphere of the linear action of the point group $G$ on $E$
The torus $E/N$ carries the structure of a smooth manifold for which the $G$-action is smooth. Since $G$ is finite, also all its fixed loci $(E/N)^H$ are smooth manifolds (this Prop.). By the equivariant triangulation theorem, all these are WH-CW-complexes.
Moreover, the orientability and connectivity assumptions in Def. are evidently satisfied, using the fact that both $E/N$ as well as $S^E$ are modeled on the same linear $G$-representation space $E$.
(equivariant Hopf degree theorem)
Given a matching pair of $G$-spaces $X, Y$ (Def. ) the function (from $G$-equivariant homotopy classes to tuples of degrees labeled by isotropy groups) which sends any equivariant homotopy class $[f]$ of an equivariant continuou sfunction $f \colon X \to Y$ to its $H$-degrees (5)
is an injection.
Moreover, for each $[f] \in \pi_0 \mathrm{Maps}\big( X,Y \big)^G$ and for each $H \in Isotropy_X(G)$
the $H$-degree (5) modulo the order of the Weyl group
is fixed by the degrees $deg\big( f^K\big)$ for all $K \gt H$;
there exists $f'$ with specified degrees $deg\big( (f')^K\big) = deg\big( f^K\big)$ for $K \gt H$ and realizing any of the degrees $deg\big( (f')^H\big) \in \mathbb{Z}$ allowed by the constraint (6).
As a special case of the equivariant Hopf degree theorem (Theorem ), we obtain the following:
(equivariant cohomotopy of representation sphere $S^V$ in RO(G)-degree $V$)
Let $G \in \mathrm{Grp}_{\mathrm{fin}}$ and $V \in \mathrm{RO}(G)$. Then the pointed equivariant cohomotopy of the representation sphere $S^V$ in RO(G)-degree $V$ is the Cartesian product of one copy of the integers for each proper isotropy subgroup (2) $H \underset{\neq}{\subset} G$ in $S^V$, and a copy of $\mathbb{Z}_2$ or $\mathbb{Z}$ depending on whether $V^G = 0$ or not:
where on the right
is the winding number of the underlying continuous function of $c$ (co)restricted to $H$-fixed points, and part of the claim is that in the cases with $dim\left( V^H\right) \gt 0$ this is an integer multiple of the order of the Weyl group $W_G(H)$ (1) up to an offset
which depends in a definite way on the degrees of $c^K$ for all isotropy groups $K \gt H$.
This follows as a special case of the equivariant Hopf degree theorem (Theorem ).
Here $(S^V, S^V)$ is a matching pair of $G$-spaces according to Example .
This equivariant Hopf degree theorem is stated above under the simplifying assumption that the dimension of all fixed loci is positive. But the proof from tomDieck 79, 8.4 immediately applies to our situation where the dimension of the fixed locus at the full subgroup $H = G$ may be 0, with $\left( S^V\right)^G = S^0$. This gives a choice in $\mathbb{Z}_2$ in the first step of the inductive argument in tomDieck 79, 8.4, and from there on the proof applies verbatim.
Alternatively, if $V^G = 0$ we may consider maps $S^{1+V} \to S^{1+V}$ which restrict on $S^1 \to S^1$ to degree zero or one.
(equivariant cohomotopy of $S^{\mathbb{R}_{sgn}}$ in RO(G)-degree the sign representation $\mathbb{R}_{sgn}$)
Let $G = \mathbb{Z}_2$ the cyclic group of order 2 and $\mathbb{R}_{sgn} \in RO(\mathbb{Z}_2)$ its 1-dimensional sign representation.
Under equivariant stereographic projection (here) the corresponding representation sphere $S^{\mathbb{R}_{sgn}}$ is equivalently the unit circle
equipped with the $\mathbb{Z}_2$-action whose involution element $\sigma$ reflects one of the two coordinates of the ambient Cartesian space
Equivalently, if we identify
then the involution action is
This means that the fixed point space is the 0-sphere
being two antipodal points on the circle, which in the presentation (7) are labeled $\{0,1/2\} \simeq S^0$.
Notice that the map
of constant parameter speed and winding number $n \in \mathbb{N}$ is equivariant for this $\mathbb{Z}_2$-action on both sides:
Now the restriction of the map $n \cdot(-)\in \mathbb{Z}$ from (8) to the fixed points
sends (0 to 0 and) $1/2$ to either $1/2$ or to $0$, depending on whether the winding number is odd or even:
Hence if the restriction to the fixed locus is taken to be the identity (bipointed equivariant cohomotopy) then, in accord with Prop. there remains the integers worth of equivariant homotopy classes, where each integer $k \in \mathbb{Z}$ corresponds to the odd winding integer $1 + 2k$
This result
becomes, after stabilization to equivariant stable homotopy theory, the stable homotopy groups of the equivariant sphere spectrum in RO(G)-grading given by
see there.
(equivariant cohomotopy of $S^{\mathbb{H}}$ in RO(G)-degree the quaternions $\mathbb{H}$)
Let $G \subset SU(2) \simeq S(\mathbb{H})$ be a non-trivial finite subgroup of SU(2) and let $\mathbb{H} \in RO(G)$ be the real vector space of quaternions regarded as a linear representation of $G$ by left multiplication with unit quaternions.
Then the bi-pointed equivariant cohomotopy of the representation sphere $S^{\mathbb{H}}$ in RO(G)-degree $\mathbb{H}$ is
The only isotropy subgroups of the left action of $G$ on $\mathbb{H}$ are the two extreme cases $Isotr_{\mathbb{H}}(G) = \{1, G\} \in Sub(G)$. Hence the only multiplicity that appears in Prop. is
and all degrees must differ from that of the class of the identity function by a multiple of this multiplicity. Finally, the offset of the identity function is clearly $offs\left(id_{S^{\mathbb{H}}},1\right) = deg\left( id_{S^{\mathbb{H}}}\right) = 1$.
Due to Heinz Hopf.
Textbook accounts:
Raoul Bott, Loring Tu, Chapter 11 of Differential Forms in Algebraic Topology, Graduate Texts in Mathematics 82, Springer 1982 (doi:10.1007/BFb0063500)
B. A. Dubrovin, S. P. Novikov, A. T. Fomenko, section 13.3 of: Modern Geometry — Methods and Applications: Part II: The Geometry and Topology of Manifolds, Graduate Texts in Mathematics 104, Springer-Verlag New York, 1985
Antoni Kosinski, chapter IX of Differential manifolds, Academic Press 1993 (pdf)
Review:
Generalization to equivariant cohomotopy and equivariant cohomology
Last revised on May 30, 2019 at 17:25:08. See the history of this page for a list of all contributions to it.