Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCohomology of Lie 2-groups
208
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
In this paper we study the cohomology of (strict) Lie 2-groups. We obtain an explicit Bott-Shulman type map in the case of a Lie 2-group corresponding to the crossed module $Ato 1$. The cohomology of the Lie 2-groups corresponding to the universal crossed modules $Gto Aut(G)$ and $Gto Aut^+(G)$ is the abutment of a spectral sequence involving the cohomology of $GL(n,Z)$ and $SL(n,Z)$. When the dimension of the center of $G$ is less than 3, we compute explicitly these cohomology groups. We also compute the cohomology of the Lie 2-group corresponding to a crossed module $Gto H$ whose kernel is compact and cokernel is connected, simply connected and compact and apply the result to the string 2-group.
rate research
Read More
The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that orbifolds have come to play in mathematics and mathematical physics, especially in string theory, the formulation of a general theory of orbifolds reflecting this unification has remained an open problem. Here we present a natural theory argued to achieve this. We give both a general abstract axiomatization in higher topos theory, as well as concrete models for ordinary as well as for super-geometric and for higher-geometric orbifolds. Our first main result is a fully faithful embedding of the 2-category of orbifolds into a singular-cohesive infinity-topos whose intrinsic cohomology theory is proper globally equivariant differential generalized cohomology, subsuming traditional orbifold cohomology, Chen-Ruan cohomology, and orbifold K-theory. Our second main result is a general construction of orbifold etale cohomology which we show to naturally unify (i) tangentially twisted cohomology of smooth but curved spaces with (ii) RO-graded proper equivariant cohomology of flat but singular spaces. As a fundamental example we present J-twisted orbifold Cohomotopy theories with coefficients in shapes of generalized Tate spheres. According to Hypothesis H this includes the proper orbifold cohomology theory that controls non-perturbative string theory.
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.
Given a Lie group $G$ with finitely many components and a compact Lie group A which acts on $G$ by automorphisms, we prove that there always exists an A-invariant maximal compact subgroup K of G, and that for every such K, the natural map $H^1(A,K)to H^1(A,G)$ is bijective. This generalizes a classical result of Serre [6] and a recent result in [1].
For n>2, we prove the mod 2 cohomology of the finite Chevalley group Spin_n(F_q) is isomorphic to that of the classifying space of the loop group of the spin group Spin(n).
We show that the mod $ell$ cohomology of any finite group of Lie type in characteristic $p$ different from $ell$ admits the structure of a module over the mod $ell$ cohomology of the free loop space of the classifying space $BG$ of the corresponding compact Lie group $G$, via ring and module structures constructed from string topology, a la Chas-Sullivan. If a certain fundamental class in the homology of the finite group of Lie type is non-trivial, then this module structure becomes free of rank one, and provides a structured isomorphism between the two cohomology rings equipped with the cup product, up to a filtration. We verify the nontriviality of the fundamental class in a range of cases, including all simply connected untwisted classical groups over the field of $q$ elements, with $q$ congruent to 1 mod $ell$. We also show how to deal with twistings and get rid of the congruence condition by replacing $BG$ by a certain $ell$-compact fixed point group depending on the order of $q$ mod $ell$, without changing the finite group. With this modification, we know of no examples where the fundamental class is trivial, raising the possibility of a general structural answer to an open question of Tezuka, who speculated about the existence of an isomorphism between the two cohomology rings.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
