اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدGroup cohomology and control of p-fusion
464
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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.
قيم البحث
اقرأ أيضاً
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 homomorphis
ms 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 proble
m 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 als
o 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
