We compute the mod two homology Hopf rings of the spectra KO and KU. The spaces in these spectra are the infinite classical groups and their coset spaces, and their homology was first calculated in the Cartan seminars, but the Hopf ring structure was first determined in the second author's unpublished PhD thesis. The presentation given here serves as an introduction to the first author's much more intricate work on the connective spectrum bo. The Hopf ring viewpoint turns out to be very convenient for understanding the homological effect of various maps between classical groups and fibrations of their connective covers.
The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category A. It is known that the category of bicommutative (i.e. commutative and cocommutative) Hopf algebras over a field k is an abelian category. Denote the category by H. In this paper, we give some ways to construct H-valued homology theories. As a main result, we give H-valued homology theories whose coefficients are neither group Hopf algebras nor function Hopf…
Given a commutative ring spectrum $R$ let $Λ_XR$ be the Loday functor constructed by Brun, Carlson and Dundas. Given a prime $p\geq 5$ we calculate $π_*(Λ_{S^n}H\mathbb{F}_p)$ and $π_*(Λ_{T^n}H\mathbb{F}_p)$ for $n\leq p$, and use these results to deduce that $v_{n-1}$ in the $n-1$-th connective Morava $K$-theory of $(Λ_{T^{n}}H\mathbb{F}_p)^{hT^{n}}$ is non-zero and detected in the homotopy fixed point spectral sequence by an explicit element, which class we name the Rognes class. To facilitate these calculations we introduce Multifold Hopf algebras. Each axis circle in $T^n$ gives rise to a …
The aim of this short paper is to prove a TQ-Whitehead theorem for nilpotent structured ring spectra. We work in the framework of symmetric spectra and algebras over operads in modules over a commutative ring spectrum. Our main result can be thought of as a TQ-homology analog for structured ring spectra of Dror's generalized Whitehead theorem for topological spaces; here TQ-homology is short for topological Quillen homology. We also prove retract theorems for the TQ-completion and homotopy completion of nilpotent structured ring spectra.
In this paper, we study the generalized (co)homology Hopf algebras of the loop spaces on the infinite classical groups, generalizing the work due to Kono-Kozima and Clarke. We shall give a description of these Hopf algebras in terms of symmetric functions. Based on topological considerations in the first half of this paper, we then introduce a universal analogue of the factorial Schur $P$- and $Q$-functions due to Ivanov and Ikeda-Naruse. We investigate various properties of these functions such as the cancellation property, which we call the $\mathbb{L}$-supersymmetric property, the factoriza…
In this paper we determine the rational homotopy type of the classifying space of a generic Kac-Moody group by computing its rational cohomology ring. As an application we determine the rational homology Hopf algebra of the generic Kac-Moody group.
We determine the ring structure of the loop homology of some global quotient orbifolds. We can compute by our theorem the loop homology ring with suitable coefficients of the global quotient orbifolds of the form $[M/G]$ for $M$ being some kinds of homogeneous manifolds, and $G$ being a finte subgroup of a path connected topological group $\mathcal{G}$ acting on $M$. It is shown that these homology rings split into the tensor product of the loop homology ring $\mathbb{H}_{*}(LM)$ of the manifold $M$ and that of the classifying space of the finite group, which coincides with the center of the g…
We determine higher topological Hochschild homology of rings of integers in number fields with coefficients in suitable residue fields. We use the iterative description of higher THH for this and Postnikov arguments that allow us to reduce the necessary computations to calculations in homological algebra, starting from the results of Bökstedt and Lindenstrauss-Madsen on (ordinary) topological Hochschild homology.
Given a CW-complex A we define an `A-shaped' homology theory which behaves nicely towards A-homotopy groups allowing the generalization of many classical results. We also develop a relative version of the Federer spectral sequence for computing A-homotopy groups. As an application we derive a generalization of the Hopf-Whitney theorem.
We use modular invariant theory to establish a complete set of relations of the mod $p$ homology of $\{QS^k\}_{k\geq0}$, for $p$ odd, as a ring object in the category of coalgebras (also known as a coalgebraic ring or a Hopf ring). We also describe the action of the mod $p$ Dyer-Lashof algebra as well as the mod $p$ Steenrod algebra on the coalgebraic ring.
We provide the rational-homotopic proof that the ranks of the homotopy groups of a simply connected four-manifold depend only on its second Betti number. We also consider the based loop spaces of the gauge groups and the spaces of connections of a simply connected four-manifold and, appealing to~\cite{TI} and using the models from the rational homotopy theory, we obtain the explicit formulas for their rational Pontrjagin homology rings.
Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove a strong convergence theorem that for 0-connected algebras and modules over a (-1)-connected operad, the homotopy completion tower interpolates (in a strong sense) between topological Quillen homology and the identity functor. By systematically exploiting strong convergence, we prove several theorems concerning the topological Quillen homology of algebras an…
In this paper, we compute the second mod $2$ homology of an arbitrary Artin group, without assuming the $K(π,1)$ conjecture. The key ingredients are (A) Hopf's formula for the second integral homology of a group and (B) Howlett's result on the second integral homology of Coxeter groups.
Following ideas of Graeme Segal, we construct an equivariant con- figuration space that is a model of equivariant connective K-homology spec- trum for finite groups, as a consequence we obtain an induction structure for equivariant connective K-homology. We describe explicitly the homology with complex coefficients for the fixed points of this configuration space as a Hopf algebra.
In the present paper the cyclic homology functor from the category of $A_\infty$-algebras over any commutative unital ring $K$ to the category of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy equivalences of $A_\infty$-algebras into isomorphisms of graded modules. As a corollary, it is obtained that the cyclic homology of an $A_\infty$-algebra over any field is isomorphic to the cyclic homology of the $A_\infty$-algebra of homologies for the source $A_\infty$-algebra.
In this paper we calculate the integral Pontrjagin homology ring of the based loop space on some generalised symmetric spaces with a toral stationary subgroup. In the Appendix we show that the method can be applied to other type generalised symmetric spaces as well.
The dihedral homology functor $HD:A_\infty^{\rm inv}(K)\to GrM(K)$ from the category $A_\infty^{\rm inv}(K)$ of involutive $A_\infty$-algebras over any commutative unital ring $K$ to the category $GrM(K)$ of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy equivalences of involutive $A_\infty$-algebras into isomorphisms of graded modules.
Let L be a strongly Z-graded ring, and let C be a bounded chain complex of finitely generated L-modules. We give a homological characterisation of when C is homotopy equivalent, over L_0, to a bounded complex of finitely generated projective L_0-modules, generalising known results for twisted Laurent polynomial rings.
The concepts of a dihedral and a reflexive module with $\infty$-simplicial faces are introduced. For each involutive $A_\infty$-algebra, the dihedral and the reflexive tensor modules with $\infty$-simplicial faces are constructed. On the basis of dihedral and reflexive modules with $\infty$-simplicial faces that defined by an involutive $A_\infty$-algebra the constructions of the dihedral and the reflexive homology of involutive $A_\infty$-algebras over any unital commutative rings are given. The conception of an involutive homotopy unital $A_\infty$-algebra is introduced. A long exact sequenc…
We compute the $G$-equivariant homotopy type of the real topological cyclic homology of spherical group rings with anti-involution induced by taking inverses in the group, where $G$ denotes the group $Gal(\mathbb{C}/\mathbb{R})$. The real topological Hochschild homology of a spherical group ring $\mathbb{S}[Γ]$, with anti-involution as described, is an $O(2)$-cyclotomic spectrum and we construct a map commuting with the cyclotomic structures from the $O(2)$-equivariant suspension spectrum of the dihedral bar construction on $Γ$ to the real topological Hochschild homology of $\mathbb{S}[Γ]$, wh…
Let $Q$ denote MacLane's $Q$-construction, and $\otimes$ denote the smash product of spectra. In this paper we construct an equivalence $Q(R)\simeq \mathbb Z\otimes R$ in the category of $A_\infty$ ring spectra for any ring $R$, thus proving a conjecture made by Fiedorowicz, Schwänzl, Vogt and Waldhausen in "MacLane homology and topological Hochschild homology". More precisely, we construct is a symmetric monoidal structure on $Q$ (in the $\infty$-categorical sense) extending the usual monoidal structure, for which we prove an equivalence $Q(-)\simeq \mathbb Z\otimes -$ as symmetric monoidal f…
In this paper we compute the Bredon homology of wallpaper groups with respect to the family of finite groups and with coefficients in the complex representation ring. We provide explicit bases of the homology groups in terms of irreducible characters of the representation rings of the stabilizers.
We present a monomial ideal $\mathfrak{a} \subset S$ such that $S/\mathfrak{a}$ is not Golod, even though the product on its Koszul homology is trivial. This constitutes a counterexample to a well-known result by Berglund and Jöllenbeck (the error can be traced to a mistake in an earlier article by Jöllenbeck). On the positive side, we show that if $R$ is a monomial ring such that the $r$-ary Massey product vanish for all $r \leq \max(2, \mathrm{reg} R-2)$, then $R$ is Golod. In particular, if $R$ is the Stanley-Reisner ring of a simplicial complex of dimension at most $3$, then $R$ is Golod i…
We give lower bounds for the growth of the number of Reeb chords and for the volume growth of Reeb flows on spherizations over closed manifolds M that are not of finite type, have virtually polycyclic fundamental group, and satisfy a mild assumption on the homology of the based loop space. For the special case of geodesic flows, these lower bounds are: (i) For any Riemannian metric on M, any pair of non-conjugate points p,q in M, and every component C of the space of paths from p to q, the number of geodesics in C of length at most T grows at least like e^{\sqrt T}. (ii) The exponent of the vo…
