The Hochschild homology of fatpoints

This paper calculates the Hochschild homology of fatpoints—rings of the formk[x ₁,x ₂,…,x _d ]/m ^a wherek is a field of characteristic zero and m=(x ₁ x ₂,…,x _d ). The calculation includes the multiplicative structure induced by the shuffle product. The answer is given in terms of the homology of tori relative to theira-diagonal. Since the rings in question are monoidal, this calculation also determines their topological Hochschild homology. By a theorem of Goodwillie, the dimensions of the cyclic homology groups of these rings are determined as well.     

Some algebraic properties of cyclic homology groups

In [10], see also [8], a cyclic homology theory HC _* ^– was introduced. The purpose of this paper is to study algebraically the properties of this version of cyclic homology. First we study its relation to Connes cyclic cohomology theory HC ^* and to the usual cyclic homology theory HC _* studied by Loday and Quillen in [15]. We explain the precise sense in which HC _* ^– is dual to HC ^*. Next we study products and describe a general method for constructing product operations in cyclic homology and cohomology theories. Finally we examine the relation between the theory HC _* ^– and algebraic K-theory.     

Classifying spectra for generalized homology theories

The well-known fact that each generalized homology theory h_* on the category of CW spaces has a classifying spectrumE which is unique up to an isomorphism in the Boardman (homotopy) category is proved by using the fact that each such h_* comes from a chain functor (cf. [1] or § 9). The proof does not use S-duality nor E. H. Brown's representation theorem.     

Euler homology

We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring of a topological space X. This homology theory Eh _* has coefficients in every nonnegative dimension. There exists a natural transformation that for X = pt assigns to each smooth manifold its Euler characteristic mod 2. The homology theory is constructed using cobordism of stratifolds, which are singular objects defined below. An isomorphism of graded -modules is shown for any CW-complex X. For discrete groups G, we also define an equivariant version of the homology theory Eh _*, generalizing the equivariant Euler characteristic.     

Invariance properties of coHochschild homology

The notion of Hochschild homology of a dg algebra admits a natural dualization, the coHochschild homology of a dg coalgebra, introduced in [23] 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 spectra, of which suspension spectra are the canonical examples, and show that coTHH of the suspension spectrum of a space X is equivalent to the suspension spectrum of the free loop space on X, as long as X is a nice enough space (for example, simply connected.) Based on this result and on a Quillen equivalence established in [24], we prove that “agreement” holds for coTHH as well.     

Enriched homology and cohomology modules of simiplicial complexes

For a simplicial complex Δ on {1, 2,…, n} we define enriched homology and cohomology modules. They are graded modules over k[x ₁,…, x _n ] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein^* complexes Δ, and also orientable homology manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex. We also put strong vanishing conditions on the enriched homology modules and describe the simplicial complexes we then get. They are block designs and include Steiner systems S(c, d, n) and cyclic polytopes of even dimension. This paper is to a large extent a complete rewriting of a previous preprint, “Hierarchies of simplicial complexes via the BGG-correspondence”. Also Propositions 1.7 and 3.1 have been generalized to cell complexes in [11].     

Generalized homology theories and chain complexes

Summary To each generalized homology theory h_* defined on a category of topological spacesK (definition 1.2)a chain functorC _*:K ch (=category of chain complexes) (cf. definition 2.1) is established, which is related to h _* (definition 2.4,theorem 8.1).In subsequent papers this result is used for the construction of a strong homology theory (i.e. an analogue of the Steenrod-Sitnikov homology theory for general topological spaces) cf. [4].To G.S. ogovili on the occasion of his 75th birthday     

Leibniz and Hochschild homology

We construct and study the map from Leibniz homology HL_?(𝔥) of an abelian extension 𝔥 of a simple real Lie algebra 𝔤 to the Hochschild homology HH_??1(U(𝔥)) of the universal envelopping algebra U(𝔥). To calculate some homology groups, we use the Hochschild-Serre spectral sequences and Pirashvili spectral sequences. The result shows what part of the non-commutative Leibniz theory is detected by classical Hochschild homology, which is of interest today in string theory.     

Equivariant homology and duality

This note is concerned with stable G-equivariant homology and cohomology theories (G a compact Lie group). In important cases, when H-equivariant theories are defined naturally for all closed subgroups H of G, we show that the G-(co)homology groups of G x_H X are isomorphic with H-(co)homology groups of X. We introduce the concept of orientability of G-vector bundles and manifolds with respect to an equivariant cohomology theory and prove a duality theorem which implies an equivariant analogue of Poincaré-Lefschetz duality.

     

The t-singular homology of orbifolds

For an orbifold M we define a new homology group, called t-singular homology group t-Hq(M) by using singular simplicies intersecting ‘transversely’ with ΣM. The rightness of this homology group is ensured by the facts that the 1-dimensional homology group t-H₁(M) is isomorphic to the abelianization of the orbifold fundamental group π₁(M,x₀). If M is a manifold, t-Hq(M) coincides with the usual singular homology group. We prove that it is a ‘b-homotopy’ invariant of orbifolds and develop many algebraic tools for the calculations. Consequently we calculate the t-singular homology groups of several orbifolds.     

Cohen-Macaulay properties of the Koszul homology

The Koszul homology H.(y,N) which is constructed with respect to a sequencey and a maximal Cohen-Macaulay (CM) module N over a local CM ring A admitting a canonical module _A will be compared with the Koszul homology H. (y, Hom_A(N, _A)).If R:=A/I with I=(y) is a CM ring, then the canonical module _R of R exists and we will mainly show the existence of a natural isomorphism H. (y, Hom_A(N, _A)Hom_R(H. (y, N), _R, if H. (y, N) is a maximal CM module over R. This generalizes a result of Herzog in [2]. Using this isomorphism we are able to compute the graded canonical module of the graded ring gr_I (A) in a certain case.In the last part of this paper we define a polynominal U^N (y,x) associated with the Koszul homology H. (y, N) similar to Huneke in [7]. Huneke proved that H_j (y, N) is CM, if jN (y,x). We will proceed to show that H_j (y, N) is CM if j>deg U^N (y,x).The material presented in this paper constitutes part of the author's thesis submitted to Universität Essen.     

A converse to the P. A. Smith theorem for nonunitary homology spheres

If p is an odd prime and F is the fixed point set of a smooth Z_p action on Sⁿ or Dⁿ, then F is a smooth manifold with a unitary structure. Conversely; most Z_p homology disks or spheres with unitary structures are fixed point sets of smooth Z_p actions on Dⁿ or Sⁿ for suitable n. The results of this paper show that an arbitrary oriented mod p homology disk or sphere is the fixed point set of a smooth Z_p action on some Z[l/2]-homology disk or sphere. This result is in general the best possible.Partially supported by NSF Grants MCS 81-04852 and MCS 83-00669     

G‐invariant persistent homology

Classical persistent homology is a powerful mathematical tool for shape comparison. Unfortunately, it is not tailored to study the action of transformation groups that are different from the group Homeo(X) of all self‐homeomorphisms of a topological space X. This fact restricts its use in applications. In order to obtain better lower bounds for the natural pseudo‐distance d_G associated with a group G ? Homeo(X), we need to adapt persistent homology and consider G‐invariant persistent homology. Roughly speaking, the main idea consists in defining persistent homology by means of a set of chains that is invariant under the action of G. In this paper, we formalize this idea and prove the stability of the persistent Betti number functions in G‐invariant persistent homology with respect to the natural pseudo‐distance d_G. We also show how G‐invariant persistent homology could be used in applications concerning shape comparison, when the invariance group is a proper subgroup of the group of all self‐homeomorphisms of a topological space. In this paper, we will assume that the space X is triangulable, in order to guarantee that the persistent Betti number functions are finite without using any tameness assumption. Copyright © 2014 John Wiley & Sons, Ltd.     

An interpretation of E n -homology as functor homology

We prove that E _n -homology of non-unital commutative algebras can be described as functor homology when one considers functors from a certain category of planar trees with n levels. For different n these homology theories are connected by natural maps, ranging from Hochschild homology and its higher order versions to Gamma homology.     

Covering homology

We introduce the notion of covering homology of a commutative S-algebra with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bökstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic homology. Our basic tool for the analysis of covering homology is a cofibration sequence involving homotopy orbits and a restriction map similar to the restriction map used in Bökstedt, Hsiang and Madsen's construction of topological cyclic homology.Covering homology with respect to families of isogenies of a torus is constructed from iterated topological Hochschild homology. It receives a trace map from iterated algebraic K-theory and there is a hope that the rich structure, and the calculability of covering homology will make it useful in the exploration of J. Rognes' “red shift conjecture”.     

Strong homology of inverse systems. III

In previous parts I and II of this paper [4] strong homology groups of inverse systems were introduced and studied. In this part III of the paper we define strong homology groups of inverse systems of pairs and show that they have suitable exactness and excision properties. As a consequence of these results the Steenrod-Sitnikov homology [1] for pairs (X,A), where X is a paracompact space and A is a closed subset of X, is exact and satisfies the excision axiom.     

Measure homology and singular homology are isometrically isomorphic

Measure homology is a variation of singular homology designed by Thurston in his discussion of simplicial volume. Zastrow and Hansen showed independently that singular homology (with real coefficients) and measure homology coincide algebraically on the category of CW-complexes. It is the aim of this paper to prove that this isomorphism is isometric with respect to the ℓ¹-seminorm on singular homology and the seminorm on measure homology induced by the total variation. This, in particular, implies that one can calculate the simplicial volume via measure homology – as already claimed by Thurston. For example, measure homology can be used to prove Gromov's proportionality principle of simplicial volume.     

Strong homology of inverse systems of spaces. II

Recently the authors have defined a coherent prohomotopy category of topological spaces CPHTop [5]. In the present paper, which is a sequel to Part I [6], the authors define a strong homology functor H^s:CPHTop→Ab. The results of this paper are essential for the construction of a Steenrod-Sitnikov homology theory for arbitrary spaces.     

On galois descent for Hochschild and cyclic homology

LetG be a finite group acting by automorphisms on an algebraS over some commutative ringk. We show that if the action ofG restricted to the center ofS is Galois in the sense of [C-H-R], thenHH _*(S ^G)≊HH _* (S) ^G. An analogous result holds for cyclic homology, provided the order ofG is invertible ink. The author was supported in part by a grant from the NSF.     

Khovanov homology of torus links

In this paper we show that there is a cut-off in the Khovanov homology of (2k,2kn)-torus links, namely that the maximal homological degree of non-zero homology groups of (2k,2kn)-torus links is 2k²n. Furthermore, we calculate explicitly the homology group in homological degree 2k²n and prove that it coincides with the center of the ring Hk of crossingless matchings, introduced by M. Khovanov in [M. Khovanov, A functor-valued invariant for tangles, Algebr. Geom. Topol. 2 (2002) 665-741, arXiv:math.QA/0103190]. This gives the proof of part of a conjecture by M. Khovanov and L. Rozansky in [M. Khovanov, L. Rozansky, A homology theory for links in S²×S¹, in preparation]. Also we give an explicit formula for the ranks of the homology groups of (3,n)-torus knots for every n∈N.