Homological stability for the mapping class groups of non-orientable surfaces

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable mapping class group of non-orientable surfaces, up to homology isomorphism, is the infinite loop space of a Thom spectrum built from the canonical bundle over the Grassmannians of 2-planes in ℝ ⁿ⁺². In particular, we show that the stable rational cohomology is a polynomial algebra on generators in degrees 4i – this is the non-oriented analogue of the Mumford conjecture.     

On the tensor algebra of a non-abelian group and applications

We introduce the tensor algebra J() of a crossed complex and give its relations with the James construction for a filtered space. For a group G, we define via multi-derivations the derived algebra I _* G which is isomorphic to the algebra C(JG) of chains on JG We derive from a certain exact sequence for the homology H*JG applications to the homotopy of the suspended classifying space BG.     

Higher commutators in the loop space homology of K-products

We consider a problem of calculating the loop space homology for so-called polyhedral products defined by an arbitrary simplicial complex K. A presentation of this homology algebra is obtained from the homology of the complements of diagonal subspace arrangements, which, in turn, is calculated using an infinite resolution of the exterior Stanley-Reisner algebra. We get an explicit presentation of the loop homology algebra for polyhedral products for classes of simplicial complexes such as flag complexes and the duals of sequentially Cohen-Macaulay complexes in terms of higher commutator products. We give a construction for the iteration of higher products and discuss the relationship between this problem and problems in commutative algebra.     

Discrete approximations for complex Kac–Moody groups

We construct a map from the classifying space of a discrete Kac–Moody group over the algebraic closure of the field with p elements to the classifying space of a complex topological Kac–Moody group and prove that it is a homology equivalence at primes q different from p. This generalizes a classical result of Quillen, Friedlander and Mislin for Lie groups. As an application, we construct unstable Adams operations for general Kac–Moody groups compatible with the Frobenius homomorphism. Our results rely on new integral homology decompositions for certain infinite dimensional unipotent subgroups of discrete Kac–Moody groups.     

Eilenberg-Moore spectral sequence calculation of function space cohomology

The purpose of this article is to introduce an Eilenberg-Moore spectral sequence converging to the cohomology algebra of a function space with an adjunction space as its source. Computability of the spectral sequence is shown by determining explicitly the mod p cohomology algebra of the function space of maps from a non-orientable surface S to the classifying space of a simply-connected Lie group G whose homology is p-torsion free. Let M be a closed orientable 3-dimensional manifold. Applying the spectral sequence obtained from a Heegaard splitting of the manifold M, we also prove that is a direct summand of .Mathematics Subject Classification (2000):55T20, 57T35This research was partially supported by a Grant-in-Aid for Scientific Research (C)14540095 from Japan Society for the Promotion of Science.     

Generalization of Braids and Homologies

In this paper, we give a survey of recent results devoted to the homology of generalizations of braids: the homological properties of virtual braids and the generalized homology of Artin groups studied by C. Broto and the author. Virtual braid groups VB _n correspond to virtual knots in the same way that classical braids correspond to usual knots. Virtual knots arise in the study of Gauss diagrams and Vassiliev invariants of usual knots. The Burau representation to GL _n ℤ[t, t ⁻¹] is extended from classical braids to virtual ones. Its homological properties are also studied. The following splitting of infinite loop spaces for the plus-construction of the classifying space of the virtual braid group on an infinite number of strings exists:

Multivalued groups, their representations and Hopf algebras

This paper introduces the concept ofn-valued groups and studies their algebraic and topological properties. We explore a number of examples. An important class consists of those that we calln-coset groups; they arise as orbit spaces of groupsG modulo a group of automorphisms withn elements. However, there are many examples that do not arise from this construction. We see that the theory ofn-valued groups is distinct from that of groups with a given automorphism group. There are natural concepts of the action of ann-valued group on a space and of a representation in an algebra of operators. We introduce the (purely algebraic) notion of ann-Hopf algebra and show that the ring of functions on ann-valued group and, in the topological case, the cohomology has ann-Hopf algebra structure. The cohomology algebra of the classifying space of a compact Lie group admits the structure of ann-Hopf algebra, wheren is the order of the Weyl group; the homology with dual structure is also ann-Hopf algebra. In general the group ring of ann-valued group is not ann-Hopf algebra but it is for ann-coset group constructed from an abelian group. Using the properties ofn-Hopf algebras we show that certain spaces do not admit the structure of ann-valued group and that certain commutativen-valued groups do not arise by applying then-coset construction to any commutative group.     

Classifying spaces of Kač-Moody groups

We study the structure of classifying spaces of Kač-Moody groups from a homotopy theoretic point of view. They behave in many respects as in the compact Lie group case. The mod p cohomology algebra is noetherian and Lannes'T functor computes the mod p cohomology of classifying spaces of centralizers of elementary abelian p-subgroups. Also, spaces of maps from classifying spaces of finite p-groups to classifying spaces of Kač-Moody groups are described in terms of classifying spaces of centralizers while the classifying space of a Kač-Moody group itself can be described as a homotopy colimit of classifying spaces of centralizers of elementary abelian p-subgroups, up to p-completion. We show that these properties are common to a larger class of groups, also including parabolic subgroups of Kač-Moody groups, and centralizers of finite p-subgroups. Received: 15 June 2000 / in final form: 20 September 2001 / Published online: 29 April 2002     

L2‐signatures,homology localization,and amenable groups

Aimed at geometric applications, we prove the homology cobordism invariance of the L²‐Betti numbers and L²‐signature defects associated to the class of amenable groups lying in Strebel's class D(R), which includes some interesting infinite/finite non‐torsion‐free groups. This result includes the only prior known condition, that Γ is a poly‐torsion‐free abelian group (or a finite p‐group). We define a new commutator series that refines Harvey's torsion‐free derived series of groups, using the localizations of groups and rings of Bousfield, Vogel, and Cohn. The series, called the local derived series, has versions for homology with arbitrary coefficients and satisfies functoriality and an injectivity theorem. We combine these two new tools to give some applications to distinct homology cobordism types within the same simple homotopy type in higher dimensions, to concordance of knots in three manifolds, and to spherical space forms in dimension 3. © 2012 Wiley Periodicals, Inc.     

The Cohomology of Exotic 2-local Finite Groups

There exist spaces BSol(q) which are the classifying spaces of a family of 2-local finite groups based on certain fusion system over the Sylow 2-subgroups of Spin₇(q). In this paper we calculate the cohomology of BSol(q) as an algebra over the Steenrod algebra . We also provide the calculation of the cohomology algebra over of the finite group of Lie type G₂(q).     

Approximating L 2-Invariants and Homology Growth

In this paper we consider the asymptotic behavior of invariants such as Betti numbers, minimal numbers of generators of singular homology, the order of the torsion subgroup of singular homology, and torsion invariants. We will show that all these vanish in the limit if the CW-complex under consideration fibers in a specific way. In particular we will show that all these vanish in the limit if one considers an aspherical closed manifold which admits a non-trivial S ¹-action or whose fundamental group contains an infinite normal elementary amenable subgroup. By considering classifying spaces we also get results for groups.     

Homology of Centralizers

Given a group Π, we study the group homology of centralizers Π _g , g ? Π, and of their central quotients Π _g /〈 g〉. This study is motivated by the structure of the Hochschild and the cyclic homology of group algebras, and is based on Quillen's approach to the cyclic homology of algebras via algebra extensions. A method of computing the de Rham complex of a group algebra by means of a Gruenberg resolution is also developed.     

On the Homotopy Type of the Unitary Group and the Grassmann Space of Purely Infinite Simple C*-Algebras

We completely determine the homotopy groups _n (.) of the unitary group and the space of projections of purely infinite simple C ^*-algebras in terms of K-theory. We also prove that the unitary group of a purely infinite simple C ^*-algebra A is a contractible topological space if and only if K0(A) = K1(A) = {0}, and again if and only if the unitary group of the associated generalized Calkin algebra L(HA) / K(HA) is contractible. The well-known Kuiper's theorem is extended to a new class of C ^*-algebras.     

Homology of the classifying space ofSp(n) Gauge groups

We study the modp homology of the classifying space of the gauge group associated with the principalSp(n) bundle over the four-sphere using the Serre spectral sequence for the evaluation fibration. This work was supported by Korea Research Foundation Grant KRF-2002-041-C00032.     

Conservative algebras of 2-dimensional algebras,II

In 1990 Kantor defined the conservative algebra W(n) of all algebras (i.e. bilinear maps) on the n-dimensional vector space. If n>1, then the algebra W(n) does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). We describe automorphisms, one-sided ideals, and idempotents of W(2). Also similar problems are solved for the algebra W₂ of all commutative algebras on the 2-dimensional vector space and for the algebra S₂ of all commutative algebras with trace zero multiplication on the 2-dimensional vector space.     

Holomorphic Functions and the Heat Kernel Measure on an Infinite Dimensional Complex Orthogonal Group

The heat kernel measure _t is constructed on an infinite dimensional complex group using a diffusion in a Hilbert space. Then it is proved that holomorphic polynomials on the group are square integrable with respect to the heat kernel measure. The closure of these polynomials, H L ²(S O _{H S} , _t ), is one of two spaces of holomorphic functions we consider. The second space, H L ²(S O()), consists of functions which are holomorphic on an analog of the Cameron–Martin subspace for the group. It is proved that there is an isometry from the first space to the second one.The main theorem is that an infinite dimensional nonlinear analog of the Taylor expansion defines an isometry from H L ²(S O()) into the Hilbert space associated with a Lie algebra of the infinite dimensional group. This is an extension to infinite dimensions of an isometry of B. Driver and L. Gross for complex Lie groups.All the results of this paper are formulated for one concrete group, the Hilbert–Schmidt complex orthogonal group, though our methods can be applied in more general situations.     

On the homotopy of the stable mapping class group

By considering all surfaces and their mapping class groups at once, it is shown that the classifying space of the stable mapping class group after plus construction, BΓ_∞ ⁺, has the homotopy type of an infinite loop space. The main new tool is a generalized group completion theorem for simplicial categories. The first deloop of BΓ_∞ ⁺ coincides with that of Miller [M] induced by the pairs of pants multiplication. The classical representation of the mapping class group onto Siegel's modular group is shown to induce a map of infinite loop spaces from BΓ_∞ ⁺ to K-theory. It is then a direct consequence of a theorem by Charney and Cohen [CC] that there is a space Y such that BΓ_∞ ⁺≃Im J _(1/2)×Y, where Im J _(1/2) is the image of J localized away from the prime 2. Oblatum 23-X-1995 &19-XI-1996     

A complex semigroup approach to group algebras of infinite dimensional Lie groups

A host algebra of a topological group G is a C ^*-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations of G. In this paper we present an approach to host algebras for infinite dimensional Lie groups which is based on complex involutive semigroups. Any locally bounded absolute value α on such a semigroup S leads in a natural way to a C ^*-algebra C ^*(S,α), and we describe a setting which permits us to conclude that this C ^*-algebra is a host algebra for a Lie group G. We further explain how to attach to any such host algebra an invariant weak-*-closed convex set in the dual of the Lie algebra of G enjoying certain nice convex geometric properties. If G is the additive group of a locally convex space, we describe all host algebras arising this way. The general non-commutative case is left for the future. To K.H. Hofmann on the occasion of his 75th birthday