scholarly journals The Classifying Space of a Topological 2-Group

2009 ◽  
pp. 1-31 ◽  
Author(s):  
John C. Baez ◽  
Danny Stevenson
Keyword(s):  
Classifying Space

Spaces of PL Manifolds and Categories of Simple Maps (AM-186)

2013 ◽  
Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes
Keyword(s):  
Main Tool ◽  
Homotopy Equivalence ◽  
Classifying Space ◽  
Deformation Retract ◽  
Simplicial Sets ◽  
Full Proof

Since its introduction by the author in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing the author's program from more than thirty years ago. The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory. The proof has two main parts. The essence of the first part is a “desingularization,” improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.

Stable decompositions of classifying spaces of finite abelianp-groups

1988 ◽  
Vol 103 (3) ◽  
pp. 427-449 ◽  
Author(s):  
John C. Harris ◽  
Nicholas J. Kuhn
Keyword(s):  
Finite Group ◽  
Cohomology Theory ◽  
Classifying Spaces ◽  
Classifying Space ◽  
Image Position ◽  
A Finite Group

LetBGbe the classifying space of a finite groupG. Consider the problem of finding astabledecompositionintoindecomposablewedge summands. Such a decomposition naturally splitsE*(BG), whereE* is any cohomology theory.

Stable cohomotopy and cobordism of abelian groups

1981 ◽  
Vol 90 (2) ◽  
pp. 273-278 ◽  
Author(s):  
C. T. Stretch
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Finite Abelian Group ◽  
Formal Group ◽  
Characteristic Class ◽  
Burnside Ring ◽  
Classifying Space ◽  
Formal Group Law ◽  
Stable Cohomotopy ◽  
Group Law

The object of this paper is to prove that for a finite abelian group G the natural map is injective, where Â(G) is the completion of the Burnside ring of G and σ0(BG) is the stable cohomotopy of the classifying space BG of G. The map â is detected by means of an M U* exponential characteristic class for permutation representations constructed in (11). The result is a generalization of a theorem of Laitinen (4) which treats elementary abelian groups using ordinary cohomology. One interesting feature of the present proof is that it makes explicit use of the universality of the formal group law of M U*. It also involves a computation of M U*(BG) in terms of the formal group law. This may be of independent interest. Since writing the paper the author has discovered that M U*(BG) has previously been calculated by Land-weber(5).

scholarly journals Two-Categorical Bundles and their Classifying Spaces

2012 ◽  
Vol 10 (2) ◽  
pp. 299-369 ◽  
Author(s):  
Nils A. Baas ◽  
Marcel Bökstedt ◽  
Tore August Kro
Keyword(s):  
Vector Bundle ◽  
Vector Bundles ◽  
Vector Spaces ◽  
Bundle Theory ◽  
Classifying Spaces ◽  
Classifying Space ◽  
Principal Bundles

AbstractFor a 2-category 2C we associate a notion of a principal 2C-bundle. For the 2-category of 2-vector spaces, in the sense of M.M. Kapranov and V.A. Voevodsky, this gives the 2-vector bundles of N.A. Baas, B.I. Dundas and J. Rognes. Our main result says that the geometric nerve of a good 2-category is a classifying space for the associated principal 2-bundles. In the process of proving this we develop powerful machinery which may be useful in further studies of 2-categorical topology. As a corollary we get a new proof of the classification of principal bundles. Another 2-category of 2-vector spaces has been proposed by J.C. Baez and A.S. Crans. A calculation using our main theorem shows that in this case the theory of principal 2-bundles splits, up to concordance, as two copies of ordinary vector bundle theory. When 2C is a cobordism type 2-category we get a new notion of cobordism-bundles which turns out to be classified by the Madsen–Weiss spaces.

scholarly journals Spherical posets from commuting elements

2018 ◽  
Vol 21 (4) ◽  
pp. 593-628 ◽  
Author(s):  
Cihan Okay
Keyword(s):  
Homotopy Type ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Universal Cover ◽  
Homotopy Equivalent ◽  
Classifying Space ◽  
Partially Ordered ◽  
Abelian Subgroups

AbstractIn this paper, we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial p-group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of r-spheres where {2r\geq 4} is the rank of its Frattini quotient. This determines the homotopy type of the universal cover of the classifying space of transitionally commutative bundles as introduced in [2].

scholarly journals On the K-theory of the loop space of a Lie group

1974 ◽  
Vol 76 (1) ◽  
pp. 1-20 ◽  
Author(s):  
Francis Clarke
Keyword(s):  
Lie Group ◽  
Loop Space ◽  
Simple Structure ◽  
Homology Theory ◽  
Compact Lie Group ◽  
Classifying Space ◽  
K Theory ◽  
Simply Connected ◽  
Torsion Free ◽  
Multiplicative Structures

Let G be a simply connected, semi-simple, compact Lie group, let K* denote Z/2-graded, representable K-theory, and K* the corresponding homology theory. The K-theory of G and of its classifying space BG are well known, (8),(1). In contrast with ordinary cohomology, K*(G) and K*(BG) are torsion-free and have simple multiplicative structures. If ΩG denotes the space of loops on G, it seems natural to conjecture that K*(ΩG) should have, in some sense, a more simple structure than H*(ΩG).

On the Morava K-theory of some finite 2-groups

1997 ◽  
Vol 121 (1) ◽  
pp. 7-13 ◽  
Author(s):  
BJÖRN SCHUSTER
Keyword(s):  
Finite Group ◽  
Sylow Subgroup ◽  
Cyclic Subgroup ◽  
Abelian Groups ◽  
Wreath Products ◽  
Classifying Space ◽  
Generalized Cohomology ◽  
K Theory ◽  
A Finite Group ◽  
Generalized Quaternion

For any fixed prime p and any non-negative integer n there is a 2(pn − 1)-periodic generalized cohomology theory K(n)*, the nth Morava K-theory. Let G be a finite group and BG its classifying space. For some time now it has been conjectured that K(n)*(BG) is concentrated in even dimensions. Standard transfer arguments show that a finite group enjoys this property whenever its p-Sylow subgroup does, so one is reduced to verifying the conjecture for p-groups. It is easy to see that it holds for abelian groups, and it has been proved for some non-abelian groups as well, namely groups of order p3 ([7]) and certain wreath products ([3], [2]). In this note we consider finite (non-abelian) 2-groups with maximal normal cyclic subgroup, i.e. dihedral, semidihedral, quasidihedral and generalized quaternion groups of order a power of two.

scholarly journals Complete Bredon cohomology and its applications to hierarchically defined groups

2016 ◽  
Vol 161 (1) ◽  
pp. 143-156
Author(s):  
BRITA E. A. NUCINKIS ◽  
NANSEN PETROSYAN
Keyword(s):  
Integral Characteristic ◽  
Linear Groups ◽  
Dimensional Model ◽  
Classifying Space ◽  
Soluble Groups ◽  
3 Dimensional ◽  
Cyclic Groups ◽  
Bredon Cohomology ◽  
Finite Dimensional ◽  
The Family

AbstractBy considering the Bredon analogue of complete cohomology of a group, we show that every group in the class$\cll\clh^{\mathfrak F}{\mathfrak F}$of type Bredon-FP∞admits a finite dimensional model for$E_{\frak F}G$.We also show that abelian-by-infinite cyclic groups admit a 3-dimensional model for the classifying space for the family of virtually nilpotent subgroups. This allows us to prove that for$\mathfrak {F}$, the class of virtually cyclic groups, the class of$\cll\clh^{\mathfrak F}{\mathfrak F}$-groups contains all locally virtually soluble groups and all linear groups over${\mathbb{C}}$of integral characteristic.

Sign in / Sign up

Export Citation Format

Share Document