We calculate the homology of the free loop space of (n-1)-connected closed manifolds of dimension at most 3n-2 (n > 1), with the Chas-Sullivan loop product and loop bracket. Over a field of characteristic zero, we obtain an expression for the BV-operator. We also give explicit formulas for the Betti numbers, showing they grow exponentially. Our main tool is the connection between formality, coformality and Koszul algebras that was elucidated in earlier work by the first author.
We show that the interleaving distance between the persistent singular homology and the persistent Čech homology of a homologically locally connected filtration consisting of paracompact Hausdorff spaces is 0.
We study the homology of free loop spaces via techniques arising from the theory of topological coHochschild homology (coTHH). Topological coHochschild homology is a topological analogue of the classical theory of coHochschild homology for coalgebras. We produce new spectrum-level structure on coTHH of suspension spectra as well as new algebraic structure in the coBökstedt spectral sequence for computing coTHH. These new techniques allow us to compute the homology of free loop spaces in several new cases, extending known calculations.
The (co)homology self-closeness number of a simply-connected based CW-complexes $X$ is the minimal number $k$ such that any self-map $f$ of $X$ inducing an automorphism of the (co)homology groups for dimensions$\leq k$ is a self-homotopy equivalence. These two numbers are homotopy invariants and have a close relation with the group of self-homotopy equivalences. In this paper, we compare the (co)homology self-closeness numbers of spaces in certain cofibrations, define the mod $p$ (co)homology self-closeness number of simply-connected $p$-local spaces with finitely generated homologies and stud…
We determine the Batalin-Vilkovisky Lie algebra structure for the integral loop homology of special unitary groups and complex Stiefel manifolds. It is shown to coincide with the Poisson algebra structure associated to a certain odd symplectic form on a super vector space for which loop homology is the super algebra of functions. Over rationals, the loop homology of the above spaces splits into a tensor product of simple BV algebras, and it is shown to contain a super Lie algebra.
The singular chain complex of the iterated loop space is expressed in terms of the cobar construction. After that we consider the spectral sequence of the cobar construction and calculate its first term over Z/p-coefficients and over a field of characteristic zero. Finally we apply these results to calculate the homology of the iterated loop spaces of the stunted real and complex projective spaces. In the Appendix, written by F.Sergeraert there are considered computer methods for calculations of the homology of iterated loop spaces.
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 show that Lupercio-Uribe-Xicoténcatl's orbifold loop product and coproduct can be described by a group cohomology class in some cases. By computing this cohomology class, we show that in some cases the orbifold loop product is trivial.
We show that the homology of ordered configuration spaces of finite trees with loops is torsion free. We introduce configuration spaces with sinks, which allow for taking quotients of the base space. Furthermore, we give a concrete generating set for all homology groups of configuration spaces of trees with loops and the first homology group of configuration spaces of general finite graphs. An important technique in the paper is the identification of the $E^1$-page and differentials of Mayer-Vietoris spectral sequences for configuration spaces.
Let $R\subseteq \Bbb Q$ be a subring of the rationals and let $p$ be the least prime (if none, $p=\infty $) which is not invertible in $R.$ For an $R$-local $r$-connected $CW$-complex $X$ of dimension $\leq \min(r+2p-3,rp-1), r\geq 1, $ a complete homotopy invariant is constructed in terms of the loop space homology $H_*(ΩX).$ This allows us to classify all such $R$-local spaces up to homotopy with a fixed loop space homology.
In this paper, we study the stable homotopy types of $\mathbf{F}^4_{n(2)}$-polyhedra, i.e., $(n-1)$-connected, at most $(n+4)$-dimensional polyhedra with 2-torsion free homologies. We are able to classify the indecomposable $\mathbf{F}^4_{n(2)}$-polyhedra. The proof relies on the matrix problem technique which was developed in the classification of representaions of algebras and applied to homotopy theory by Baues and Drozd.
If X is a cosimplical $E_{n+1}$ space then Tot(X) is an $E_{n+1}$ space and its mod 2 homology $H_*(Tot(X))$ has Dyer-Lashof and Browder operations. It's natural to ask if the spectral sequence converging to $H_*(Tot(X))$ admits compatible operations. In this paper I give a positive answer to this question.
Carlsson's construction is a simplicial group whose geometric realization is the loop space of the 1-stunted reduced Borel construction. Our main results are: i) Given a pointed simplicial set acted upon by the discrete cyclic group C_2 of order 2, if the orbit projection has a section, then this loop space has a mod 2 homology decomposition; ii) If the reduced diagonal map of the C_2-invariant set is homologous to zero, then the pinched sets in the above homology decomposition themselves have homology decompositions in terms of the C_2-invariant set and the orbit space. Result i) generalizes …
We construct a finite 1-connected CW complex X such that $H_*(ΩX; Z)$ has p-torsion for the infinitely many primes satisfying p ~ 5,7,17,19 mod 24, but no p-torsion for the infinitely many primes satisfying p ~ 13 or 23 mod 24.
We describe the topological Hochschild homology of ring spectra that arise as Thom spectra for loop maps f: X->BF, where BF denotes the classifying space for stable spherical fibrations. To do this, we consider symmetric monoidal models of the category of spaces over BF and corresponding strong symmetric monoidal Thom spectrum functors. Our main result identifies the topological Hochschild homology as the Thom spectrum of a certain stable bundle over the free loop space L(BX). This leads to explicit calculations of the topological Hochschild homology for a large class of ring spectra, includin…
For $n\geq 2$ we consider $(n-1)$-connected closed manifolds of dimension at most $(3n-2)$. We prove that away from a finite set of primes, the $p$-local homotopy groups of $M$ are determined by the dimension of the space of indecomposable elements in the cohomology ring $H^\ast(M)$. Moreover, we show that these $p$-local homotopy groups can be expressed as direct sum of $p$-local homotopy groups of spheres. This generalizes some of the results of our earlier work.
Chas and Sullivan proved the existence of a Batalin-Vilkovisky algebra structure in the homology of free loop spaces on closed finite dimensional smooth manifolds using chains and chain homotopies. This algebraic structure involves an associative product called the loop product, a Lie bracket called the loop bracket, and a square 0 operator called the BV operator. Cohen and Jones gave a homotopy theoretic description of the loop product in terms of spectra. In this paper, we give an explicit homotopy theoretic description of the loop bracket and, using this description, we give a homological p…
Chas and Sullivan recently defined an intersection product on the homology $H_*(LM)$ of the space of smooth loops in a closed, oriented manifold $M$. In this paper we will use the homotopy theoretic realization of this product described by the first two authors to construct a second quadrant spectral sequence of algebras converging to the loop homology multiplicatively, when $M$ is simply connected. The $E_2$ term of this spectral sequence is $H^*(M;H_*(ΩM))$ where the product is given by the cup product on the cohomology of the manifold $H^* (M)$ with coefficients in the Pontryagin ring struc…
The loop homology of a closed orientable manifold $M$ of dimension $d$ is the ordinary homology of the free loop space $M^{S^1}$ with degrees shifted by $d$, i.e. $\mathbb H_*(M^{S^1}) = H_{*+d}(M^{S^1})$. Chas and Sullivan have defined a loop product on $\mathbb H_*(M^{S^1})$ and an intersection morphism $I : \mathbb H_*(M^{S^1}) \to H_*(ΩM)$. The algebra $\mathbb H_*(M^{S^1})$ is commutative and $I$ is a morphism of algebras. In this paper we produce a model that computes the algebra $\mathbb H_*(M^{S^1})$ and the morphism $I$. We show that the kernel of $I$ is nilpotent and that the image i…
In this paper, we introduce a kind of homology which we call Hawaiian homology to study and classify pointed topological spaces. The Hawaiian homology group has advantages of Hawaiian groups. Moreover, the first Hawaiian homology group is isomorphic to the abelianization of the first Hawaiian group for path-connected and locally path-connected topological spaces. Since Hawaiian homology has concrete elements and abelian structure, its calculations are more routine. Thus we use Hawaiian homology groups to compare Hawaiian groups, and then we obtain some information about Hawaiian groups of some…
We show that the homology over a field of the space of free maps from the n-sphere to the n-fold suspension of X depends only on the cohomology algebra of X and compute it explicitly. We compute also the homology of the closely related labelled configuration space on the n-sphere with labels in X and of its completion, that depends only on the homology of X. In many but not all cases the homology of the configuration space coincides with the homology of the mapping space. In particular we obtain the homology of the unordered configuration spaces on a sphere.
In this article, we classify 1-connected 8-dimensional Poincaré complexes, topological manifolds and smooth manifolds with the same homology as $S^3\times S^5$. Some questions of Escher-Ziller are also discussed.
The cell-attachment problem, perhaps first studied by J.H.C. Whitehead around 1940, asks one to describe the effect of attaching one or more cells, on the algebraic invariants of a topological space. This thesis studies the effect of cell attachments on loop space homology. It generalizes previous work by D. Anick on spherical 2-cones, and S. Halperin, J.-M. Lemaire and others on inert attaching maps. It is assumed that the loop space homology of the base space is torsion-free. Two classes of attaching maps are introduced: free and semi-inert attaching maps. For these cases, the loop space hom…
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.
Consider the mod 2 homology spectral sequence associated to a cosimplicial space X. We construct external operations whose target is the spectral sequence associated to EΣ_2 \times_{Σ_2} (X\times X). If X is a cosimplicial E_\infty-space, we couple these external operations with the structure map EΣ_2 \times_{Σ_2} (X\times X) \to X to produce internal operations in the spectral sequence. In the sequel we show that they agree with the usual Araki-Kudo operations on the abutment H_*(Tot X).
Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated comonad K, via topological Quillen homology (or TQ-homology), can be turned into an equivalence of homotopy theories by replacing O-algebras with the full subcategory of 0-connected O-algebras. This resolves in the affirmative the 0-connected case of a conjecture of Francis-Gaitsgory. This derived Koszul duality result can be thought of as the s…
In this paper we study the relationship between the homology and homotopy of a space at infinity and at its boundary. Firstly, we prove that if a locally connected, connected, $δ$-hyperbolic space that is acted upon geometrically by a group has trivial homotopy at infinity then the first Čech homotopy group is trivial. Secondly, we prove that if a hyperbolic group on a finite field has trivial $i^{th}$ homology at infinity then the boundary of the group has trivial $i^{th}$ Steenrod homology. This result turns out to be important in addressing an open problem related to Cannon's conjecture.
The based loop space homology of a special family of homogeneous spaces, flag manifolds of connected compact Lie groups is studied. First, the rational homology of the based loop space on a complete flag manifold is calculated together with its Pontrjagin structure. Second, it is shown that the integral homology of the based loop space on a flag manifold is torsion free. This results in a description of the integral homology. In addition, the integral Pontrjagin structure is determined.
In this paper we compute the singular homology of the space of immersions of the circle into the $n$-sphere. Equipped with Chas-Sullivan's loop product these homology groups are graded commutative algebras, we also compute these algebras. We enrich Morse spectral sequences for fibrations of free loop spaces together with loop products, this offers some new computational tools for string topology.
In this paper, we study the equivariant homotopy type of a connected sum of linear actions on complex projective planes defined by Hambleton and Tanase. These actions are constructed for cyclic groups of odd order. We construct cellular filtrations on the connected sum using spheres inside unitary representations. A judicious choice of filtration implies a splitting on equivariant homology for general cyclic groups under a divisibility hypothesis, and in all cases for those of prime power order.
Chas and Sullivan showed that the homology of the free loop space LM of an oriented closed smooth finite dimensional manifold M admits the structure of a Batalin-Vilkovisky (BV) algebra equipped with an associative product called the loop product and a Lie bracket called the loop bracket. We show that the cap product is compatible with the above two products in the loop homology. Namely, the cap product with cohomology classes coming from M via the circle action acts as derivations on loop products as well as on loop brackets. We show that Poisson identities and Jacobi identities hold for the …
Our goal in this paper is to compute the integral free loop space homology of $(n-1)$-connected $2n$-manifolds $M$, $n\geq 2$. We do this when $n\neq 2,4,8$, or when $n\neq 2$ and $\tilde H^*(M)$ has trivial cup product squares, though the techniques used here should extend to a much wider range of manifolds. We also give partial information concerning the action of the Batalin-Vilkovisky operator.
The aim of this paper is to explain the relationship between the (co)homology of the free loop space and the Hochschild homology of its singular cochain algebra. We introduce all the relevant technical tools, namely simplicial and cyclic objects, and we provide the various steps of the proofs, which are scattered around in the literature. This paper can be seen as a companion to the paper "Cyclic homology and equivariant homology" by J.D.S. Jones dealing with the cyclic case.
We prove an $O(2)$-equivariant version of the Jones isomorphism relating the Borel $O(2)$-equivariant cohomology of the free loop space to the dihedral homology of the cochain algebra. We discuss polynomial forms and a variation of the de Rham isomorphism and use these to do a computation for the 2-sphere.
In a 2009 paper, Dave Benson gave a description in purely algebraic terms of the mod $p$ homology of $Ω(BG^\wedge_p)$, when $G$ is a finite group, $BG^\wedge_p$ is the $p$-completion of its classifying space, and $Ω(BG^\wedge_p)$ is the loop space of $BG^\wedge_p$. The main purpose of this work is to shed new light on Benson's result by extending it to a more general setting. As a special case, we show that if $\mathcal{C}$ is a small category, $|\mathcal{C}|$ is the geometric realization of its nerve, $R$ is a commutative ring, and $|\mathcal{C}|^+_R$ is a "plus construction" for $|\mathcal{C…
In our earlier papers we constructed examples of 2-dimensional nonaspherical simply-connected cell-like Peano continua, called {\sl Snake space}. In the sequel we introduced the functor $SC(-,-)$ defined on the category of all spaces with base points and continuous mappings. For the circle $S^1$, the space $SC(S^1, \ast)$ is a Snake space. In the present paper we study the higher-dimensional homology and homotopy properties of the spaces $SC(Z, \ast)$ for any path-connected compact spaces $Z$.
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.
We introduce a notion of Koszul A-infinity algebra that generalizes Priddy's notion of a Koszul algebra and we use it to construct small A-infinity algebra models for Hochschild cochains. As an application, this yields new techniques for computing free loop space homology algebras of manifolds that are either formal or coformal (over a field or over the integers). We illustrate these techniques in two examples.
Using the $E_\infty-$structure on singular cochains, we construct a homotopy coherent map from the cyclic bar construction of the differential graded algebra of cochains on a space to a model for the cochains on its free loop space. This fills a gap in the paper "Cyclic homology and equivariant homology" by John D.S. Jones.
Cohen and Godin constructed positive boundary topological quantum field theory (TQFT) structure on the homology of free loop spaces of oriented closed smooth manifolds by associating a certain operations called string operations to orientable surfaces with parametrized boundaries. We show that all TQFT string operations associated to surfaces of genus at least one vanish identically. This is a simple consequence of properties of the loop coproduct which will be discussed in detail. One interesting property is that the loop coproduct is nontrivial only on the degree $d$ homology group of the co…
The derivatives of the identity functor on spaces in Goodwillie calculus forms an operad in spectra. Antolin-Camarena computed the mod 2 homology of free algebras over this operad for 1-connected spectra. In this present paper we carry out similar computations for mod p homology for odd primes p.
In the world of chain complexes E_n-algebras are the analogues of based n-fold loop spaces in the category of topological spaces. Fresse showed that operadic E_n-homology of an E_n-algebra computes the homology of an n-fold algebraic delooping. The aim of this paper is to construct two spectral sequences for calculating these homology groups and to treat some concrete classes of examples such as Hochschild cochains, graded polynomial algebras and chains on iterated loop spaces. In characteristic zero we gain an identification of the summands in Pirashvili's Hodge decomposition of higher order …
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…
We present a mathematical framework for describing the topology of configuration spaces for particles on one-connected graphs. In particular, we compute the homology groups over integers for different classes of one-connected graphs. Our approach is based on some fundamental combinatorial properties of the configuration spaces, Mayer-Vietoris sequences for different parts of configuration spaces and some limited use of discrete Morse theory. As one of the results, we derive a closed-form formulae for ranks of the homology groups for indistinguishable particles on tree graphs. We also give a de…
For a spectrum $X$ represented by a special $Γ$-space $Y$ via the Segal machine, we give an elementary formula computing the homology groups of $X$ in terms of $Y$. Both the result and the method of proof are essentially due to T. Pirashvili, but the end result does not appear explicitly in his papers.
The notion of Hochschild homology of a dg algebra admits a natural dualization, the coHochschild homology of a dg coalgebra, introduced in arXiv:0711.1023 by Hess, Parent, and Scott as a tool to study free loop spaces. In this article we prove "agreement" for coHochschild homology, i.e., that the coHochschild homology of a dg coalgebra $C$ is isomorphic to the Hochschild homology of the dg category of appropriately compact $C$-comodules, from which Morita invariance of coHochschild homology follows. Generalizing the dg case, we define the topological coHochschild homology (coTHH) of coalgebra …
Let $ΛX$ be the free loop space on a simply connected finite $CW$-complex $X$ and $β_{i}(ΛX;\Bbbk)$ be the cardinality of a minimal generating set of $H^{i}(ΛX;\Bbbk)$ for $\Bbbk$ to be a commutative ring with unit. The sequence $ β_{i}(ΛX;\Bbbk) $ grows unbounded if and only if $\tilde {H}^{\ast}(X;\Bbbk)$ requires at least two algebra generators. This in particular answers to a long standing problem whether a simply connected closed smooth manifold has infinitely many geometrically distinct closed geodesics in any Riemannian metric.
Let K be a connected compact Lie group, and G be its complexification. The homology of the based loop group ΩK with integer coefficients is naturally a \ZZ-Hopf algebra. After possibly inverting 2 or 3, we identify H_*(ΩK,\ZZ) with the Hopf algebra of algebraic functions on B^\vee_e, where B^\vee is a Borel subgroup of the Langlands dual group scheme G^\vee of G and B^\vee_e is the centralizer in B^\vee of a regular nilpotent element e\in\Lie B^\vee. We also give a similar interpretation for the equivariant homology of ΩK under the maximal torus action.
In this paper we establish a connection between the loop space homology of the generalization of wedge defined by a simplicial complex K (so called polyhedral product) and the homology of certain diagonal arrangements associated with K. We illustrate these results by finding the presentations of those loop homology algebras for certain K generalizing results of Panov-Ray, Papadima-Suciu, Lemaire. Finally, we show that in the case when the functor is applied to suspensions, this homology splitting comes from the stable homotopy splitting of the loop spaces.
We study a spectral sequence that computes the (mod 2) S^1-equivariant homology of the free loop space LM of a manifold M (the "string homology" of M). Using it and knowledge of the string topology operations on the homology of LM, we compute the string homology of M when M is a sphere or a projective space.
