Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userGroup cohomology and control of p-fusion
465
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We show that if an inclusion of finite groups H < G of index prime to p induces a homeomorphism of mod p cohomology varieties, or equivalently an F-isomorphism in mod p cohomology, then H controls p-fusion in G, if p is odd. This generalizes classical results of Quillen who proved this when H is a Sylow p-subgroup, and furthermore implies a hitherto difficult result of Mislin about cohomology isomorphisms. For p=2 we give analogous results, at the cost of replacing mod p cohomology with higher chromatic cohomology theories. The results are consequences of a general algebraic theorem we prove, that says that isomorphisms between p-fusion systems over the same finite p-group are detected on elementary abelian p-groups if p odd and abelian 2-groups of exponent at most 4 if p=2.
rate research
Read More
Johnsons characterization of amenable groups states that a discrete group $Gamma$ is amenable if and only if $H_b^{n geq 1}(Gamma; V) = 0$ for all dual normed $mathbb{R}[Gamma]$-modules $V$. In this paper, we extend the previous result to homomorphisms by proving the converse of the Mapping Theorem: a surjective homomorphism $phi colon Gamma to K$ has amenable kernel $H$ if and only if the induced inflation map $H^bullet_b(K; V^H) to H^bullet_b(Gamma; V)$ is an isometric isomorphism for every dual normed $mathbb{R}[Gamma]$-module $V$. In addition, we obtain an analogous characterization for the (smaller) class of surjective homomorphisms $phi colon Gamma to K$ with the property that the inflation maps in bounded cohomology are isometric isomorphisms for all normed $mathbb{R}[Gamma]$-modules. Finally, we also prove a characterization of the (larger) class of boundedly acyclic homomorphisms $phi colon Gamma to K$, for which the restriction maps in bounded cohomology $H^bullet_b(K; V) to H^bullet_b(Gamma; phi^{-1}V)$ are isomorphisms for suitable dual normed $mathbb{R}[K]$-module $V$. We then extend the first and third results to spaces and obtain characterizations of amenable maps and boundedly acyclic maps in terms of the vanishing of the bounded cohomology of their homotopy fibers with respect to appropriate choices of coefficients.
We give an algebraic proof for the result of Eilenberg and Mac Lane that the second cohomology group of a simplicial group G can be computed as a quotient of a fibre product involving the first two homotopy groups and the first Postnikov invariant of G. Our main tool is the theory of crossed module extensions of groups.
We determine the mod $2$ cohomology over the Steenrod algebra of the classifying spaces of the free loop groups $LG$ for compact groups $G=Spin(7)$, $Spin(8)$, $Spin(9)$, and $F_4$. Then, we show that they are isomorphic as algebras over the Steenrod algebra to the mod $2$ cohomology of the corresponding Chevalley groups of type $G(q)$, where $q$ is an odd prime power. In a similar manner, we compute the cohomology of the free loop space over $BDI(4)$ and show that it is isomorphic to that of $BSol(q)$ as algebras over the Steenrod algebra.
If $G$ has $4$-periodic cohomology, then D2 complexes over $G$ are determined up to polarised homotopy by their Euler characteristic if and only if $G$ has at most two one-dimensional quaternionic representations. We use this to solve Walls D2 problem for several infinite families of non-abelian groups and, in these cases, also show that any finite Poincar{e} $3$-complex $X$ with $pi_1(X)=G$ admits a cell structure with a single $3$-cell. The proof involves cancellation theorems for $mathbb{Z} G$ modules where $G$ has periodic cohomology.
We show that for every injective continuous map f: S^2 --> R^3 there are four distinct points in the image of f such that the convex hull is a tetrahedron with the property that two opposite edges have the same length and the other four edges are also of equal length. This result represents a partial result for the topological Borsuk problem for R^3. Our proof of the geometrical claim, via Fadell-Husseini index theory, provides an instance where arguments based on group cohomology with integer coefficients yield results that cannot be accessed using only field coefficients.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
