-
Homotopy truncations of homotopically stratified spaces
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
Intersection homology of Goresky and MacPherson can be defined from the Deligne sheaf, obtained from truncations of complexes of sheaves. As intersection homology is not the homology of a particular space, the search for a family of spaces whose homologies have properties analogous to intersection homology has developed. For some stratified spaces, M. Banagl has introduced such a family by using a…
▽ More
Intersection homology of Goresky and MacPherson can be defined from the Deligne sheaf, obtained from truncations of complexes of sheaves. As intersection homology is not the homology of a particular space, the search for a family of spaces whose homologies have properties analogous to intersection homology has developed. For some stratified spaces, M. Banagl has introduced such a family by using a topological truncation: the original link is replaced by a truncation of its homological Moore resolution.
In this work, we study the dual approach in the Eckmann-Hilton sense : we consider the stratified space obtained by replacing the original link by a Postnikov approximation. The main result is that our construction restores the space constructed by Gajer to establish an intersection Dold-Thom theorem.
We are conducting this study within the general framework of Quinn's homotopically stratified spaces.
△ Less
Submitted 10 January, 2024; v1 submitted 28 April, 2023;
originally announced April 2023.
-
Relation between intersection homology and homotopy groups
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
As Goresky and MacPherson intersection homology is not the homology of a space, there is no preferred candidate for intersection homotopy groups. Here, they are defined as the homotopy groups of a simplicial set which P. Gajer associates to a couple $(X,\overline{p})$ of a filtered space and a perversity. We first establish some basic properties for the intersection fundamental groups, as a Van Ka…
▽ More
As Goresky and MacPherson intersection homology is not the homology of a space, there is no preferred candidate for intersection homotopy groups. Here, they are defined as the homotopy groups of a simplicial set which P. Gajer associates to a couple $(X,\overline{p})$ of a filtered space and a perversity. We first establish some basic properties for the intersection fundamental groups, as a Van Kampen theorem.
For general intersection homotopy groups on Siebenmann CS sets, we prove a Hurewicz theorem between them and the Goresky and MacPherson intersection homology. If the CS set and its intrinsic stratification have the same regular part, we establish the topological invariance of the $\overline{p}$-intersection homotopy groups. Several examples justify the hypotheses made in the statements. Finally, intersection homotopy groups also coincide with the homotopy groups of the topological space itself, for the top perversity on a connected, normal Thom-Mather space.
△ Less
Submitted 20 February, 2025; v1 submitted 11 November, 2022;
originally announced November 2022.
-
A reasonable notion of dimension for singular intersection homology
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
M. Goresky and R. MacPherson intersection homology is also defined from the singular chain complex of a filtered space by H. King, with a key formula to make selections among singular simplexes. This formula needs a notion of dimension for subspaces $S$ of a Euclidean simplex, which is usually taken as the smallest dimension of the skeleta containing~$S$. Later, P. Gajer employed another dimension…
▽ More
M. Goresky and R. MacPherson intersection homology is also defined from the singular chain complex of a filtered space by H. King, with a key formula to make selections among singular simplexes. This formula needs a notion of dimension for subspaces $S$ of a Euclidean simplex, which is usually taken as the smallest dimension of the skeleta containing~$S$. Later, P. Gajer employed another dimension based on the dimension of polyhedra containing $S$. This last one allows traces of pullbacks of singular strata in the interior of the domain of a singular simplex.
In this work, we prove that the two corresponding intersection homologies are isomorphic for Siebenmann's CS sets. In terms of King's paper, this means that polyhedral dimension is a ``reasonable'' dimension. The proof uses a Mayer-Vietoris argument which needs an adaptated subdivision. With the polyhedral dimension, that is a subtle issue. General position arguments are not sufficient and we introduce strong general position. With it, a stability is added to the generic character and we can do an inductive cutting of each singular simplex. This decomposition is realised with pseudo-barycentric subdivisions where the new vertices are not barycentres but close points of them.
△ Less
Submitted 13 February, 2024; v1 submitted 11 November, 2022;
originally announced November 2022.
-
Simplicial intersection homology revisited
Authors:
David Chataur,
Martin Saralegi-Aranguren,
Daniel Tanré
Abstract:
Intersection homology is defined for simplicial, singular and PL chains and it is well known that the three versions are isomorphic for a full filtered simplicial complex. In the literature, the isomorphism, between the singular and the simplicial situations of intersection homology, uses the PL case as an intermediate. Here we show directly that the canonical map between the simplicial and the si…
▽ More
Intersection homology is defined for simplicial, singular and PL chains and it is well known that the three versions are isomorphic for a full filtered simplicial complex. In the literature, the isomorphism, between the singular and the simplicial situations of intersection homology, uses the PL case as an intermediate. Here we show directly that the canonical map between the simplicial and the singular intersection chains complexes is a quasi-isomorphism. This is similar to the classical proof for simplicial complexes, with an argument based on the concept of residual complex and not on skeletons. This parallel between simplicial and singular approaches is also extended to the intersection blown-up cohomology that we introduced in a previous work. In the case of an orientable pseudomanifold, this cohomology owns a Poincaré isomorphism with the intersection homology, for any coefficient ring, thanks to a cap product with a fundamental class. So, the blown-up intersection cohomology of a pseudomanifold can be computed from a triangulation. Finally, we introduce a blown-up intersection cohomology for PL spaces and prove that it is isomorphic to the singular one.
△ Less
Submitted 11 December, 2024; v1 submitted 1 September, 2021;
originally announced September 2021.
-
Natural operations in Intersection Cohomology
Authors:
David Chataur,
Daniel Tanré
Abstract:
Eilenberg-MacLane spaces, that classify the singular cohomology groups of topological spaces, admit natural constructions in the framework of simplicial sets. The existence of similar spaces for the intersection cohomology groups of a stratified space is a long-standing open problem asked by M. Goresky and R. MacPherson. One feature of this work is a construction of such simplicial sets. From work…
▽ More
Eilenberg-MacLane spaces, that classify the singular cohomology groups of topological spaces, admit natural constructions in the framework of simplicial sets. The existence of similar spaces for the intersection cohomology groups of a stratified space is a long-standing open problem asked by M. Goresky and R. MacPherson. One feature of this work is a construction of such simplicial sets. From works of R. MacPherson, J. Lurie and others, it is now commonly accepted that the simplicial set of singular simplices associated to a topological space has to be replaced by the simplicial set of singular simplices that respect the stratification. This is encoded in the category of simplicial sets over the nerve of the poset of strata. For each perversity, we define a functor from it, with values in the category of cochain complexes over a commutative ring. This construction is based upon a simplicial blow up and the associated cohomology is the intersection cohomology as it was defined by M. Goresky and R. MacPherson in terms of hypercohomology of Delignes's sheaves. This functor admits an adjoint and we use it to get classifying spaces for intersection cohomology. Natural intersection cohomology operations are understood in terms of intersection cohomology of these classifying spaces. As in the classical case, they form infinite loop spaces. In the last section, we examine the depth one case of stratified spaces with only one singular stratum. We observe that the classifying spaces are Joyal's projective cones over classical Eilenberg-MacLane spaces. We establish some of their properties and conjecture that, for Goresky and MacPherson perversities, all intersection cohomology operations are induced by classical ones.
△ Less
Submitted 14 September, 2021; v1 submitted 11 May, 2020;
originally announced May 2020.
-
Sheaves of E-infinity algebras and applications to algebraic varieties and singular spaces
Authors:
David Chataur,
Joana Cirici
Abstract:
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its E-infinity structure. This naturally extends the theory of mixed Hodge structures in rational homotopy to p-adic homotopy theory. The spectral sequence associated…
▽ More
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its E-infinity structure. This naturally extends the theory of mixed Hodge structures in rational homotopy to p-adic homotopy theory. The spectral sequence associated to the weight filtration gives a new family of multiplicative algebraic invariants of the varieties for any coefficient ring, carrying Steenrod operations. As a second application, we promote Deligne's intersection complex computing intersection cohomology, to a sheaf carrying E-infinity structures. This allows for a natural interpretation of the Steenrod operations defined on the intersection cohomology of any topological pseudomanifold.
△ Less
Submitted 10 February, 2022; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Blown-up intersection cochains and Deligne's sheaves
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
In a series of papers the authors introduced the so-called blown-up intersection cochains. These cochains are suitable to study products and cohomology operations of intersection cohomology of stratified spaces. The aim of this paper is to prove that the sheaf versions of the functors of blown-up intersection cochains are realizations of Deligne's sheaves. This proves that Deligne's sheaves can be…
▽ More
In a series of papers the authors introduced the so-called blown-up intersection cochains. These cochains are suitable to study products and cohomology operations of intersection cohomology of stratified spaces. The aim of this paper is to prove that the sheaf versions of the functors of blown-up intersection cochains are realizations of Deligne's sheaves. This proves that Deligne's sheaves can be incarnated at the level of complexes of sheaves by soft sheaves of perverse differential graded algebras. We also study Poincaré and Verdier dualities of blown-up intersections sheaves with the use of Borel-Moore chains of intersection.
△ Less
Submitted 7 May, 2019; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Blown-up intersection cohomology
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
In previous works, we have introduced the blown-up intersection cohomology and used it to extend Sullivan's minimal models theory to the framework of pseudomanifolds, and to give a positive answer to a conjecture of M. Goresky and W. Pardon on Steenrod squares in intersection homology.
In this paper, we establish the main properties of this cohomology. One of its major feature is the existence o…
▽ More
In previous works, we have introduced the blown-up intersection cohomology and used it to extend Sullivan's minimal models theory to the framework of pseudomanifolds, and to give a positive answer to a conjecture of M. Goresky and W. Pardon on Steenrod squares in intersection homology.
In this paper, we establish the main properties of this cohomology. One of its major feature is the existence of cap and cup products for any filtered space and any commutative ring of coefficients, at the cochain level. Moreover, we show that each stratified map induces an homomorphism between the blown-up intersection cohomologies, compatible with the cup and cap products. We prove also its topological invariance in the case of a pseudomanifold with no codimension one strata. Finally, we compare it with the intersection cohomology studied by G. Friedman and J.E. McClure.
A great part of our results involves general perversities, defined independently on each stratum, and a tame intersection homology adapted to large perversities.
△ Less
Submitted 24 October, 2017; v1 submitted 3 January, 2017;
originally announced January 2017.
-
Singular decompositions of a cap product
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
In the case of a compact orientable pseudomanifold, a well-known theorem of M. Goresky and R. MacPherson says that the cap product with a fundamental class factorizes through the intersection homology groups. In this work, we show that this classical cap product is compatible with a cap product in intersection (co)-homology, that we have previously introduced. If the pseudomanifold is also normal,…
▽ More
In the case of a compact orientable pseudomanifold, a well-known theorem of M. Goresky and R. MacPherson says that the cap product with a fundamental class factorizes through the intersection homology groups. In this work, we show that this classical cap product is compatible with a cap product in intersection (co)-homology, that we have previously introduced. If the pseudomanifold is also normal, for any commutative ring of coefficients, the existence of a classical Poincaré duality isomorphism is equivalent to the existence of an isomorphism between the intersection homology groups corresponding to the zero and the top perversities.
△ Less
Submitted 21 September, 2016; v1 submitted 14 June, 2016;
originally announced June 2016.
-
Mixed Hodge structures on the intersection homotopy type of complex varieties with isolated singularities
Authors:
David Chataur,
Joana Cirici
Abstract:
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the p…
▽ More
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove some intersection-formality results for large families of complex projective varieties, such as isolated surface singularities and varieties of arbitrary dimension with ordinary isolated singularities.
△ Less
Submitted 30 March, 2016;
originally announced March 2016.
-
Poincaré duality with cap products in intersection homology
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
For having a Poincaré duality via a cap product between the intersection homology of a paracompact oriented pseudomanifold and the cohomology given by the dual complex, G. Friedman and J. E. McClure need a coefficient field or an additional hypothesis on the torsion. In this work, by using the classical geometric process of blowing-up, adapted to a simplicial setting, we build a cochain complex wh…
▽ More
For having a Poincaré duality via a cap product between the intersection homology of a paracompact oriented pseudomanifold and the cohomology given by the dual complex, G. Friedman and J. E. McClure need a coefficient field or an additional hypothesis on the torsion. In this work, by using the classical geometric process of blowing-up, adapted to a simplicial setting, we build a cochain complex which gives a Poincaré duality via a cap product with intersection homology, for any commutative ring of coefficients. We prove also the topological invariance of the blown-up intersection cohomology with compact supports in the case of a paracompact pseudomanifold with no codimension one strata.
This work is written with general perversities, defined on each stratum and not only in function of the codimension of strata. It contains also a tame intersection homology, suitable for large perversities.
△ Less
Submitted 6 November, 2017; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Intersection Homology. General perversities and topological invariance
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
Topological invariance of the intersection homology of a pseudomanifold without codimension one strata, proven by Goresky and MacPherson, is one of the main features of this homology. This property is true for codimension-dependent perversities with some growth conditions, verifying $\overline p(1)=\overline p(2)=0$. King reproves this invariance by associating an intrinsic pseudomanifold $X^*$ to…
▽ More
Topological invariance of the intersection homology of a pseudomanifold without codimension one strata, proven by Goresky and MacPherson, is one of the main features of this homology. This property is true for codimension-dependent perversities with some growth conditions, verifying $\overline p(1)=\overline p(2)=0$. King reproves this invariance by associating an intrinsic pseudomanifold $X^*$ to any pseudomanifold $X$. His proof consists of an isomorphism between the associated intersection homologies $H^{\overline{p}}_{*}(X) \cong H^{\overline{p}}_{*}( X^*)$ for any perversity $\overline{p}$ with the same growth conditions verifying $\overline p(1)\geq 0$.
In this work, we prove a certain topological invariance within the framework of strata-dependent perversities, $\overline{p}$, which corresponds to the classical topological invariance if $\overline{p}$ is a GM-perversity. We also extend it to the tame intersection homology, a variation of the intersection homology, particularly suited for ``large'' perversities, if there is no singular strata on $X$ becoming regular in $X^*$. In particular, under the above conditions, the intersection homology and the tame intersection homology are invariant under a refinement of the stratification.
△ Less
Submitted 4 March, 2019; v1 submitted 9 February, 2016;
originally announced February 2016.
-
Rational homotopy of complex projective varieties with normal isolated singularities
Authors:
David Chataur,
Joana Cirici
Abstract:
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isola…
▽ More
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isolated singularities and more generally, complete intersections with isolated singularities. We obtain analogous results for contractions of subvarieties.
△ Less
Submitted 30 March, 2016; v1 submitted 18 March, 2015;
originally announced March 2015.
-
Steenrod squares on Intersection cohomology and a conjecture of M. Goresky and W. Pardon
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns out of importance for the definition of characteristic classes in the framework of intersection cohomology.
For this purpose, we present a construction of ${\rm cup}_{i}$-products on the cochain complex, built on the b…
▽ More
We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns out of importance for the definition of characteristic classes in the framework of intersection cohomology.
For this purpose, we present a construction of ${\rm cup}_{i}$-products on the cochain complex, built on the blow-up of some singular simplices and introduced in a previous work. We extend to this setting the classical properties of the associated Steenrod squares, including Adem and Cartan relations, for any generalized perversities. In the case of a pseudomanifold, we prove that our definition coincides with M. Goresky's definition.
Several examples of concrete computation of perverse Steenrod squares are given, including the case of isolated singularities and, more especially, we describe the Steenrod squares on the Thom space of a vector bundle, in function of the Steenrod squares of the basis and the Stiefel-Whitney classes. We detail also an example of a non trivial square, $\sq^2\colon H_{\ bar{p}}\to H_{\ bar{p}+2}$, whose information is lost if we consider it as values in $H_{2\ bar{p}}$, showing the interest of the Goresky and Pardon's conjecture.
△ Less
Submitted 20 December, 2014; v1 submitted 12 February, 2013;
originally announced February 2013.
-
Intersection Cohomology. Simplicial Blow-up and Rational Homotopy
Authors:
David Chataur,
Martintxo Saralegi-Aranguren,
Daniel Tanré
Abstract:
Let X be a pseudomanifold. In this text, we use a simplicial blow-up to define a cochain complex whose cohomology with coefficients in a field, is isomorphic to the intersection cohomology of X, introduced by M. Goresky and R. MacPherson.
We do it simplicially in the setting of a filtered version of face sets, also called simplicial sets without degeneracies, in the sense of C.P. Rourke and B.J.…
▽ More
Let X be a pseudomanifold. In this text, we use a simplicial blow-up to define a cochain complex whose cohomology with coefficients in a field, is isomorphic to the intersection cohomology of X, introduced by M. Goresky and R. MacPherson.
We do it simplicially in the setting of a filtered version of face sets, also called simplicial sets without degeneracies, in the sense of C.P. Rourke and B.J. Sanderson. We define perverse local systems over filtered face sets and intersection cohomology with coefficients in a perverse local system. In particular, as announced above when X is a pseudomanifold, we get a perverse local system of cochains quasi-isomorphic to the intersection cochains of Goresky and MacPherson, over a field. We show also that these two complexes of cochains are quasi-isomorphic to a filtered version of Sullivan's differential forms over the field Q. In a second step, we use these forms to extend Sullivan's presentation of rational homotopy type to intersection cohomology.
For that, we construct a functor from the category of filtered face sets to a category of perverse commutative differential graded Q-algebras (cdga's) due to Hovey. We establish also the existence and unicity of a positively graded, minimal model of some perverse cdga's, including the perverse forms over a filtered face set and their intersection cohomology. Finally, we prove the topological invariance of the minimal model of a PL-pseudomanifold whose regular part is connected, and this theory creates new topological invariants. This point of view brings a definition of formality in the intersection setting and examples are given. In particular, we show that any nodal hypersurface in CP(4), is intersection-formal.
△ Less
Submitted 15 July, 2014; v1 submitted 31 May, 2012;
originally announced May 2012.
-
On the homology of the space of singular knots
Authors:
Hossein Abbaspour,
David Chataur
Abstract:
In this paper we introduce various associative products on the homology of the space of knots and singular knots in $S^n$. We prove that these products are related through a desingularization map. We also compute some of these products and prove the nontriviality of the desingularization morphism.
In this paper we introduce various associative products on the homology of the space of knots and singular knots in $S^n$. We prove that these products are related through a desingularization map. We also compute some of these products and prove the nontriviality of the desingularization morphism.
△ Less
Submitted 11 March, 2009; v1 submitted 2 January, 2009;
originally announced January 2009.
-
Homology of spaces of regular loops in the sphere
Authors:
David Chataur,
Jean-Francois Le Borgne
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 March, 2009; v1 submitted 20 November, 2008;
originally announced November 2008.
-
String topology of classifying spaces
Authors:
David Chataur,
Luc Menichi
Abstract:
Let $G$ be a finite group or a compact connected Lie group and let $BG$ be its classifying space. Let $\mathcal{L}BG:=map(S^1,BG)$ be the free loop space of $BG$ i.e. the space of continuous maps from the circle $S^1$ to $BG$. The purpose of this paper is to study the singular homology $H_*(\mathcal LBG)$ of this loop space. We prove that when taken with coefficients in a field the homology of…
▽ More
Let $G$ be a finite group or a compact connected Lie group and let $BG$ be its classifying space. Let $\mathcal{L}BG:=map(S^1,BG)$ be the free loop space of $BG$ i.e. the space of continuous maps from the circle $S^1$ to $BG$. The purpose of this paper is to study the singular homology $H_*(\mathcal LBG)$ of this loop space. We prove that when taken with coefficients in a field the homology of $\mathcal LBG$ is a homological conformal field theory. As a byproduct of our main theorem, we get a Batalin-Vilkovisky algebra structure on the cohomology $H^*(\mathcal LBG)$. We also prove an algebraic version of this result by showing that the Hochschild cohomology $HH^*(S_* (G),S_*(G))$ of the singular chains of $G$ is a Batalin-Vilkovisky algebra.
△ Less
Submitted 1 June, 2009; v1 submitted 30 December, 2007;
originally announced January 2008.
-
Frobenius Rational Loop Algebra
Authors:
David Chataur,
Jean-Claude Thomas
Abstract:
Recently R. Cohen and V. Godin have proved that the homology of the free loop space of a closed oriented manifold with coefficients in a field has the structure of a Frobenius algebra without counit. In this short note we prove that when the characteristic of the field is zero and when the manifold is 1-connected the algebraic structure depends only on the rational homotopy type of the manifold.…
▽ More
Recently R. Cohen and V. Godin have proved that the homology of the free loop space of a closed oriented manifold with coefficients in a field has the structure of a Frobenius algebra without counit. In this short note we prove that when the characteristic of the field is zero and when the manifold is 1-connected the algebraic structure depends only on the rational homotopy type of the manifold. We build an algebraic model and use it to do some computations.
△ Less
Submitted 7 March, 2005; v1 submitted 1 July, 2004;
originally announced July 2004.
-
E-infinity Cell Models for Free and Based Loop Space Cohomology
Authors:
David Chataur,
Jonathan A. Scott
Abstract:
We construct E-infinity cell algebra models for the cochain algebras of the free and based loop spaces on a simply-connected topological space. Techniques from rational homotopy theory are exploited throughout.
We construct E-infinity cell algebra models for the cochain algebras of the free and based loop spaces on a simply-connected topological space. Techniques from rational homotopy theory are exploited throughout.
△ Less
Submitted 30 June, 2003;
originally announced June 2003.
-
A bordism approach to string topology
Authors:
David Chataur
Abstract:
Using intersection theory in the context of Hilbert manifolds and geometric homology we show how to recover the main operations of string topology built by M. Chas and D. Sullivan. We also study and build an action of the homology of reduced Sullivan's chord diagrams on the singular homology of free loop spaces, extending previous results of R. Cohen and V. Godin and unifying part of the rich al…
▽ More
Using intersection theory in the context of Hilbert manifolds and geometric homology we show how to recover the main operations of string topology built by M. Chas and D. Sullivan. We also study and build an action of the homology of reduced Sullivan's chord diagrams on the singular homology of free loop spaces, extending previous results of R. Cohen and V. Godin and unifying part of the rich algebraic structure of string topology as an algebra over the prop of these reduced diagrams. Some of these operations are extended to spaces of maps from a sphere to a compact manifold.
△ Less
Submitted 30 July, 2003; v1 submitted 4 June, 2003;
originally announced June 2003.
-
Fibrewise nullification and the cube theorem
Authors:
David Chataur,
Jerome Scherer
Abstract:
Our aim is to construct fibrewise localizations in model categories. For pointed spaces, the general idea is to decompose the total space of a fibration as a diagram over the category of simplices of the base and replace it by the localized diagram. This of course is not possible in an arbitrary category. We have thus to adapt another construction which heavily depends on Mather's cube theorem.…
▽ More
Our aim is to construct fibrewise localizations in model categories. For pointed spaces, the general idea is to decompose the total space of a fibration as a diagram over the category of simplices of the base and replace it by the localized diagram. This of course is not possible in an arbitrary category. We have thus to adapt another construction which heavily depends on Mather's cube theorem. Working with model categories in which the cube theorem holds, we characterize completely those who admit a fibrewise nullification. As an application we get fibrewise plus-construction and fibrewise Postnikov sections for algebras over an operad.
△ Less
Submitted 5 March, 2003;
originally announced March 2003.
-
Plus-construction for algebras over an operad, cyclic and Hochschild homologies up to homotopy
Authors:
David Chataur,
Jose Luis Rodriguez,
Jerome Scherer
Abstract:
In this paper we apply homotopical localization to the framework of differential graded algebras over an operad. We get plus construction by performing nullification with respect to an universal acyclic algebra. This plus construction for Lie and Leibniz algebras up to homotopy yields two new homology theories for associative algebras. They are closely related to cyclic and Hochschild homologies…
▽ More
In this paper we apply homotopical localization to the framework of differential graded algebras over an operad. We get plus construction by performing nullification with respect to an universal acyclic algebra. This plus construction for Lie and Leibniz algebras up to homotopy yields two new homology theories for associative algebras. They are closely related to cyclic and Hochschild homologies. We also compute their first homology groups.
△ Less
Submitted 24 February, 2003; v1 submitted 13 January, 2003;
originally announced January 2003.
-
Operadic Hochschild chain complex and free loop spaces
Authors:
David Chataur,
Jean-Claude Thomas
Abstract:
We construct for any algebra over an operad an Hochschild chain complex. In the case of the singular cochain complex of a topological space, considered as a commutative algebra up to homotopy, we show that this complex computes the singular cohomology of the free loop space over this topological space.
We construct for any algebra over an operad an Hochschild chain complex. In the case of the singular cochain complex of a topological space, considered as a commutative algebra up to homotopy, we show that this complex computes the singular cohomology of the free loop space over this topological space.
△ Less
Submitted 16 December, 2002; v1 submitted 26 November, 2002;
originally announced November 2002.
-
Adem-Cartan operads
Authors:
D. Chataur,
M. Livernet
Abstract:
In this paper, we introduce Adem-Cartan operads and prove that the cohomology of any algebra over such an operad is an unstable level algebra over the extended Steenrod algebra. Moreover we prove that this cohomology is endowed with secondary cohomological operations.
In this paper, we introduce Adem-Cartan operads and prove that the cohomology of any algebra over such an operad is an unstable level algebra over the extended Steenrod algebra. Moreover we prove that this cohomology is endowed with secondary cohomological operations.
△ Less
Submitted 12 December, 2003; v1 submitted 26 September, 2002;
originally announced September 2002.
-
Formes differentielles generalisees sur une operade et modeles algebriques des fibrations
Authors:
David Chataur
Abstract:
On construit des foncteurs de formes differentielles generalisees. Ceux-ci, dans le cas d'espaces nilpotents de type fini, determinent le type d'homotopie faible des espaces. Ils sont munis, d'une maniere elementaire et naturelle, de l'action de cup-i produits. Pour les algebres commutatives a homotopit pres (algebres sur une resolution cofibrante de l'operade des algebres commutatives), on demo…
▽ More
On construit des foncteurs de formes differentielles generalisees. Ceux-ci, dans le cas d'espaces nilpotents de type fini, determinent le type d'homotopie faible des espaces. Ils sont munis, d'une maniere elementaire et naturelle, de l'action de cup-i produits. Pour les algebres commutatives a homotopit pres (algebres sur une resolution cofibrante de l'operade des algebres commutatives), on demontre en utilisant les formes differentielles generalisees que le modele de la fibre d'une application simpliciale est la cofibre du modele de ce morphisme.
We construct functors of generalized differential forms. In the case of nilpotent spaces of finite type, they determine the weak homotopy type of the spaces. Moreover they are equipped, in an elementary and natural way, with the action of cup-i products. Working with commutative algebras up to homotopy (viewed as algebras over a cofibrant resolution of the operad of commutative algebras), we show using these functors that the model of the fiber of a simplicial map is the cofiber of the algebraic model of this map.
△ Less
Submitted 25 February, 2002;
originally announced February 2002.
