arXiv subjects
Publications and source records attributed to Anssi Lahtinen.
We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred over the category of spaces and continuous maps, making it possible to access them through universal properties.
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 class in the homology of the finite group of Lie type, arising from the fundamental class of $G$, is nontrivial, then this module structure is free of rank one, providing a highly structured isomorphism between the two cohomologies. We verify the nontriviality of the 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 avoid 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 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.
The mod p homology of E-infinity spaces is a classical topic in algebraic topology traditionally approached in terms of Dyer--Lashof operations. In this paper, we offer a new perspective on the subject by providing a detailed investigation of an alternative family of homology operations equivalent to, but distinct from, the Dyer--Lashof operations. Among other things, we will relate these operations to the Dyer--Lashof operations, describe the algebra generated by them, and use them to describe the homology of free E-infinity spaces. We will also investigate the relationship between the operations arising from the additive and multiplicative E-infinity structures on an E-infinity ring space. The operations have especially good properties in this context, allowing for a simple and conceptual formulation of "mixed Adem relations" describing how the operations arising from the two different E-infinity structures interact.
The cohomology of the degree-$n$ general linear group over a finite field of characteristic $p$, with coefficients also in characteristic $p$, remains poorly understood. For example, the lowest degree previously known to contain nontrivial elements is exponential in $n$. In this paper, we introduce a new system of characteristic classes for representations over finite fields, and use it to construct a wealth of explicit nontrivial elements in these cohomology groups. In particular we obtain nontrivial elements in degrees linear in $n$. We also construct nontrivial elements in the mod $p$ homology and cohomology of the automorphism groups of free groups, and the general linear groups over the integers. These elements reside in the unstable range where the homology and cohomology remain poorly understood.
Examples of non-trivial higher string topology operations have been regrettably rare in the literature. In this paper, working in the context of string topology of classifying spaces, we provide explicit calculations of a wealth of non-trivial higher string topology operations associated to a number of different Lie groups. As an application of these calculations, we obtain an abundance of interesting homology classes in the twisted homology groups of automorphism groups of free groups, the ordinary homology groups of holomorphs of free groups, and the ordinary homology groups of affine groups over the integers and the field of two elements.
Let G be a compact Lie group. By work of Chataur and Menichi, the homology of the space of free loops in the classifying space of G is known to be the value on the circle in a homological conformal field theory. This means in particular that it admits operations parameterized by homology classes of classifying spaces of diffeomorphism groups of surfaces. Here we present a radical extension of this result, giving a new construction in which diffeomorphisms are replaced with homotopy equivalences, and surfaces with boundary are replaced with arbitrary spaces homotopy equivalent to finite graphs. The result is a novel kind of field theory which is related to both the diffeomorphism groups of surfaces and the automorphism groups of free groups with boundaries. Our work shows that the algebraic structures in string topology of classifying spaces can be brought into line with, and in fact far exceed, those available in string topology of manifolds. For simplicity, we restrict to the characteristic 2 case. The generalization to arbitrary characteristic will be addressed in a subsequent paper.
In this note we prove the analogue of the Atiyah-Segal completion theorem for equivariant twisted K-theory in the setting of an arbitrary compact Lie group G and an arbitrary twisting of the usually considered type. The theorem generalizes a result by C. Dwyer, who has proven the theorem for finite G and twistings of a more restricted type. While versions of the general result have been known to experts, to our knowledge no proof appears in the current literature. Our goal is to fill in this gap. The proof we give proceeds in two stages. We first prove the theorem in the case of a twisting arising from a graded central extension of G, following the Adams-Haeberly-Jackowski-May proof of the classical Atiyah-Segal completion theorem. After establishing that the theorem holds for this special class of twistings, we then deduce the general theorem by a Mayer-Vietoris argument.
This note explores the interaction between cohomology operations in a generalized cohomology theory and a string topology loop coproduct dual to the Chas--Sullivan loop product. More precisely, we ask for a description for the failure of a given operation to commute with the loop coproduct, and will obtain a satisfactory answer in the case where the operation preserves both sums and products. Examples of such operations include the total Steenrod square in ordinary mod 2 cohomology and the Adams operations in K-theory.