Showing 1–31 of 31 results for author: Saralegi-Aranguren, M

Hard Lefschetz property for $\mathbb{S}^3$-actions

Authors: JosÉ Ignacio Royo Prieto, Martintxo Saralegi-Aranguren, Robert Wolak

Abstract: The Hard Lefschetz Property (HLP) has recently been formulated in the context of isometric flows without singularities on manifolds. In this category, two versions of the HLP (transverse and not) have been proven to be equivalent, thus generalizing what happens in the important cases of both K-contact and Sasakian manifolds. In this work we define both versions of the HLP for almost-free S3 -actio… ▽ More The Hard Lefschetz Property (HLP) has recently been formulated in the context of isometric flows without singularities on manifolds. In this category, two versions of the HLP (transverse and not) have been proven to be equivalent, thus generalizing what happens in the important cases of both K-contact and Sasakian manifolds. In this work we define both versions of the HLP for almost-free S3 -actions, and prove that they agree for actions satisfying a cohomological condition, which includes the important category of 3-Sasakian manifolds, where those two versions of the HLP are shown to be held. We also provide a family of examples of free actions of the 3-sphere which are not 3-Sasakian manifolds, but satisfy the HLP. △ Less

Submitted 30 September, 2023; originally announced October 2023.

Comments: 8 pages

MSC Class: 53C25 (Primary); 37C85; 58D19 (secondary)

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.

Comments: New title and example. More detailed wording of some passages. Published version

MSC Class: 57N80; 55P60; 58A35; 32S60

Journal ref: Proceedings Amer. Math. Soc. 152 (2024) n°3 pp. 1319-1332

The Gysin braid for $S^3$-actions on manifolds

Authors: José Ignacio Royo Prieto, Martintxo Saralegi-Aranguren

Abstract: Given a smooth action of the sphere $\mathbb S^3$ on a manifold $M$, we have previously constructed a Gysin sequence relating the cohomology of the manifold $M$ and that of the orbit space $M/\mathbb S^3$. This sequence involves an exotic term depending on the subset $M^{\mathbb S^1}$. Notice that the orbit space is a stratified pseudomanifold, a kind of singular spaces where intersection cohomo… ▽ More Given a smooth action of the sphere $\mathbb S^3$ on a manifold $M$, we have previously constructed a Gysin sequence relating the cohomology of the manifold $M$ and that of the orbit space $M/\mathbb S^3$. This sequence involves an exotic term depending on the subset $M^{\mathbb S^1}$. Notice that the orbit space is a stratified pseudomanifold, a kind of singular spaces where intersection cohomology applies. In the case where the the action is semi-free, the first author has already constructed a Gysin sequence relating the cohomology of $M$ and the intersection cohomology of $M/\mathbb S^3$. What happens if the action is not semi-free? This is the goal of this work. The situation is more complicated and we do not find a Gysin sequence but a Gysin braid relating the cohomology of $M$ and the intersection cohomology of $M/\mathbb S^3$. This braid also contains an exotic term depending this time on the intersection cohomology of $M^{\mathbb S^1}$. △ Less

Submitted 26 April, 2024; v1 submitted 21 January, 2023; originally announced January 2023.

MSC Class: 57R19; 57R30; 57S15

Perverse 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 11 November, 2022; originally announced November 2022.

MSC Class: 55N33; 55M10; 55Q70; 14F43

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.

Comments: Final version

MSC Class: 55N33; 55M10; 55Q70; 14F43

Simlpicial intersection homology revisited

Authors: David Chataur, Martin Saralegi-Aranguren, Daniel Tanré

Abstract: Intersection homology is defined for simplicial, singular and PL chains. In the case of a filtered simplicial complex, it is well known that the three versions are isomorphic. This isomorphism is established by using the PL case as an intermediate between the singular and the simplicial situations. Here, we give a proof similar to the classical proof for ordinary simplicial complexes. We also st… ▽ More Intersection homology is defined for simplicial, singular and PL chains. In the case of a filtered simplicial complex, it is well known that the three versions are isomorphic. This isomorphism is established by using the PL case as an intermediate between the singular and the simplicial situations. Here, we give a proof similar to the classical proof for ordinary simplicial complexes. We also study the intersection blown-up cohomology that we have previously introduced. In the case of a pseudomanifold, this cohomology owns a Poincaré isomorphism with the intersection homology, for any coefficient ring, thanks to a cap product with a fundamental class. We prove that the simplicial and the singular blown-up cohomologies of a filtered simplicial complex are isomorphic. From this result, we can now compute the blown-up intersection cohomology of a pseudomanifold from a triangulation. Finally, we introduce a blown-up intersection cohomology for PL-spaces and prove that it is isomorphic to the singular ones. We also show that the cup product in perversity $ \overline 0$ of a CS-set coincides with the cup product of the singular cohomology of the underlying topological space. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: 26 poages, 3 figures

MSC Class: 55N33; 55N35

Hard Lefschetz Property for Isometric Flows

Authors: José Ignacio Royo Prieto, Martintxo Saralegi-Aranguren, Robert Wolak

Abstract: The Hard Lefschetz Property (HLP) is an important property which has been studied in several categories of the symplectic world. For Sasakian manifolds, this duality is satisfied by the basic cohomology (so, it is a transverse property), but a new version of the HLP has been recently given in terms of duality of the cohomology of the manifold itself in arXiv:1306.2896. Both properties were proved… ▽ More The Hard Lefschetz Property (HLP) is an important property which has been studied in several categories of the symplectic world. For Sasakian manifolds, this duality is satisfied by the basic cohomology (so, it is a transverse property), but a new version of the HLP has been recently given in terms of duality of the cohomology of the manifold itself in arXiv:1306.2896. Both properties were proved to be equivalent (see arXiv:1311.1431) in the case of K-contact flows. In this paper we extend both versions of the HLP (transverse and not) to the more general category of isometric flows, and show that they are equivalent. We also give some explicit examples which illustrate the categories where the HLP could be considered. △ Less

Submitted 21 May, 2022; v1 submitted 12 March, 2021; originally announced March 2021.

Comments: Accepted for publication in Transformation Groups. Minor changes in the exposition of the proof of Lemma 2.6

MSC Class: 53C12; 53D10; 53C25

Refinement invariance of intersection (co)homologies

Authors: Martin Saralegi-Aranguren

Abstract: We study the refinement invariance of several intersection (co)homologies existing in the literature. These (co)homologies have been introduced in order to establish the Poincaré Duality in variousl contexts. We found the classical topological invariance of the intersection homology and also various refinement invariance results already proved. We study the refinement invariance of several intersection (co)homologies existing in the literature. These (co)homologies have been introduced in order to establish the Poincaré Duality in variousl contexts. We found the classical topological invariance of the intersection homology and also various refinement invariance results already proved. △ Less

Submitted 7 July, 2022; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: Huypothesis about emebedded strata has been deleted. In othe words, condition (S6) has been weakened

MSC Class: 55N33 (primary); 57N80 (secondary)

Journal ref: Homology, Homotopy and Applications 23 (2021), 311-340

Variations on Poincaré duality for intersection homology

Authors: Martintxo Saralegi-Aranguren, Daniel Tanré

Abstract: Intersection homology with coefficients in a field restores Poincaré duality for some spaces with singularities, as pseudomanifolds. But, with coefficients in a ring, the behaviours of manifolds and pseudomanifolds are different. This work is an overview, with proofs and explicit examples, of various possible situations with their properties. We first set up a duality, defined from a cap product… ▽ More Intersection homology with coefficients in a field restores Poincaré duality for some spaces with singularities, as pseudomanifolds. But, with coefficients in a ring, the behaviours of manifolds and pseudomanifolds are different. This work is an overview, with proofs and explicit examples, of various possible situations with their properties. We first set up a duality, defined from a cap product, between two intersection cohomologies: the first one arises from a linear dual and the second one from a simplicial blow up. Moreover, from this property, Poincaré duality in intersection homology looks like the Poincaré-Lefschetz duality of a manifold with boundary. Besides that, an investigation of the coincidence of the two previous cohomologies reveals that the only obstruction to the existence of a Poincaré duality is the homology of a well defined complex. This recovers the case of the peripheral sheaf introduced by Goresky and Siegel for compact PL-pseudomanifolds. We also list a series of explicit computations of peripheral intersection cohomology. In particular, we observe that Poincaré duality can exist in the presence of torsion in the "critical degree" of the intersection homology of the links of a pseudomanifold. △ Less

Submitted 24 September, 2019; v1 submitted 7 December, 2018; originally announced December 2018.

MSC Class: 55N33; 57P10; 57N80; 55U30

Journal ref: Enseignement Mathématique 65 (2020) 117 154

Poincaré duality, cap product and Borel-Moore intersection Homology

Authors: Martintxo Saralegi-Aranguren, Daniel Tanré

Abstract: Using a cap product, we construct an explicit Poincaré duality isomorphism between the blown-up intersection cohomology and the Borel-Moore intersection homology, for any commutative ring of coefficients and second-countable, oriented pseudomanifolds. Using a cap product, we construct an explicit Poincaré duality isomorphism between the blown-up intersection cohomology and the Borel-Moore intersection homology, for any commutative ring of coefficients and second-countable, oriented pseudomanifolds. △ Less

Submitted 6 December, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Journal ref: The Quarterly Journal of Mathematics 71(2020) 943 958

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.

MSC Class: 55N33; 14F05; 14F43

Journal ref: Geometria Dedicata (2020) 204:315-337

Cohomological Tautness of Singular Riemannian Foliations

Authors: José Ignacio Royo Prieto, Martintxo Saralegi-Aranguren, Robert Wolak

Abstract: For a Riemannian foliation F on a compact manifold M , J. A. Álvarez López proved that the geometrical tautness of F , that is, the existence of a Riemannian metric making all the leaves minimal submanifolds of M, can be characterized by the vanishing of a basic cohomology class (the Álvarez class). In this work we generalize this result to the case of a singular Riemannian foliation K on a compac… ▽ More For a Riemannian foliation F on a compact manifold M , J. A. Álvarez López proved that the geometrical tautness of F , that is, the existence of a Riemannian metric making all the leaves minimal submanifolds of M, can be characterized by the vanishing of a basic cohomology class (the Álvarez class). In this work we generalize this result to the case of a singular Riemannian foliation K on a compact manifold X. In the singular case, no bundle-like metric on X can make all the leaves of K minimal. In this work, we prove that the Álvarez classes of the strata can be glued in a unique global Álvarez class. As a corollary, if X is simply connected, then the restriction of K to each stratum is geometrically taut, thus generalizing a celebrated result of E. Ghys for the regular case. △ Less

Submitted 31 October, 2018; v1 submitted 21 February, 2017; originally announced February 2017.

Comments: 24 pages, 2 figures. Accepted for publication in RACSAM

MSC Class: 53C12; 37C85

Journal ref: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, (2019) 113(4), 4263-4286

Lefschetz duality for intersection (co)homology

Authors: Martintxo Saralegi-Aranguren

Abstract: We prove the Lefschetz duality for intersection (co)homology in the framework of $\partial$-pesudomanifolds. We work with general perversities and without restriction on the coefficient ring. We prove the Lefschetz duality for intersection (co)homology in the framework of $\partial$-pesudomanifolds. We work with general perversities and without restriction on the coefficient ring. △ Less

Submitted 8 July, 2018; v1 submitted 16 February, 2017; originally announced February 2017.

MSC Class: 55N33; 55M05; 57N80

Journal ref: Mathematische Zeitschrift 291(2019),1-16

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.

Comments: Version 1 of Arxiv 1603.08773 had been split in two parts. This is the first part (corresponding to Parts I and II of 1603.08773v1) substantially revised. The study of stratified maps in cohomology and the proof of the topological invariance have been added

MSC Class: 55N33; 57N80; 55S05

Journal ref: Contemporary Mathematics 708(2018), 45-102

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.

MSC Class: 55N33; 57P10

Journal ref: Proceedings AMS 145 (2017), 3645-3656

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.

Comments: A new subsection has been added

MSC Class: 55N33; 57P10; 57N80; 55U30

Journal ref: Adv. Math. 326 (2018) 314-351

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.

MSC Class: 55N33; 58A35; 57N80

Journal ref: Illinois J. Math. 63, no. 1 (2019), 127-163

Poincaré Duality of the basic intersection cohomology of a Killing foliation

Authors: M. Saralegi-Aranguren, R Wolak

Abstract: We prove that the basic intersection cohomology $IH^*_{\overline{p}}(M / \mathcal{F})$, where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, verifies the Poincaré Duality Property. We prove that the basic intersection cohomology $IH^*_{\overline{p}}(M / \mathcal{F})$, where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, verifies the Poincaré Duality Property. △ Less

Submitted 22 January, 2014; originally announced January 2014.

MSC Class: 57S15 and 55N33

Journal ref: Monatsh Math (2016) 180: 145

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.

Comments: Correction of some misprints

MSC Class: 55N33; 55S10; 57N80

Journal ref: Algebraic & Geometric Topology 16-4 (2016), 1851--1904

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.

Comments: This new version contains a chapter of examples. In particular, we prove the intersection-formality of the Calabi-Yau quintic

MSC Class: 55N33; 55P62; 57N80

Journal ref: Mem. Amer. Math. Soc. 254 (2018), no. 1214, x+108

Equivariant intersection cohomology of the circle actions

Authors: Jose Ignacio Royo Prieto, Martintxo Saralegi-Aranguren

Abstract: In this paper, we prove that the orbit space B and the Euler class of an action of the circle S^1 on X determine both the equivariant intersection cohomology of the pseudomanifold X and its localization. We also construct a spectral sequence converging to the equivariant intersection cohomology of X whose third term is described in terms of the intersection cohomology of B. In this paper, we prove that the orbit space B and the Euler class of an action of the circle S^1 on X determine both the equivariant intersection cohomology of the pseudomanifold X and its localization. We also construct a spectral sequence converging to the equivariant intersection cohomology of X whose third term is described in terms of the intersection cohomology of B. △ Less

Submitted 7 November, 2012; v1 submitted 25 March, 2011; originally announced March 2011.

Comments: Final version as accepted in RACSAM. The final publication is available at springerlink.com; Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, 2012

Journal ref: RACSAM 108(2014), 49-62

The Gysin sequence for ${\mathbb S}^3$-actions on manifolds

Authors: J. I. Royo Prieto, Martintxo Saralegi-Aranguren

Abstract: We construct a Gysin sequence associated to any smooth ${\mathbb S}^3$-action on a smooth manifold. We construct a Gysin sequence associated to any smooth ${\mathbb S}^3$-action on a smooth manifold. △ Less

Submitted 2 October, 2013; v1 submitted 3 January, 2010; originally announced January 2010.

Comments: Accepted for publication in Publicationes Mathematicae Debrecen, scheduled for 2014 Publicationes Mathematicae Debrecen (2014)

Journal ref: Publicationes Mathematicae Debrecen 83, 3 (2013) 275-289

Finitness of the basic intersection cohomology of a Killing foliation

Authors: M. Saralegi-Aranguren, R. Wolak

Abstract: We prove that the basic intersection cohomology $ {I H}^{^{*}}_{_{\bar{p}}}{(M/\mathcal{F})}, $ where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, is finite dimensional. We prove that the basic intersection cohomology $ {I H}^{^{*}}_{_{\bar{p}}}{(M/\mathcal{F})}, $ where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, is finite dimensional. △ Less

Submitted 3 January, 2010; originally announced January 2010.

MSC Class: 55N33; 57S20

Journal ref: Mathematische Zeitschrift 272 (2012) 443-457

Cohomological tautness for Riemannian foliations

Authors: J. I. Royo Prieto, M. Saralegi-Aranguren, R. Wolak

Abstract: In this paper we present some new results on the tautness of Riemannian foliations in their historical context. The first part of the paper gives a short history of the problem. For a closed manifold, the tautness of a Riemannian foliation can be characterized cohomologically. We extend this cohomological characterization to a class of foliations which includes the foliated strata of any singula… ▽ More In this paper we present some new results on the tautness of Riemannian foliations in their historical context. The first part of the paper gives a short history of the problem. For a closed manifold, the tautness of a Riemannian foliation can be characterized cohomologically. We extend this cohomological characterization to a class of foliations which includes the foliated strata of any singular Riemannian foliation of a closed manifold. △ Less

Submitted 30 May, 2008; originally announced May 2008.

MSC Class: 53C12 ; 14C30

Journal ref: Russian Journal of Mathematical Physics 16, 3 (2009) 450-466

Top dimensional group of the basic intersection cohomology for singular riemannian foliations

Authors: J. I. Royo Prieto, M. Saralegi-Aranguren, R. Wolak

Abstract: It is known that, for a regular riemannian foliation on a compact manifold, the properties of its basic cohomology (non-vanishing of the top-dimensional group and Poincaré Duality) and the tautness of the foliation are closely related. If we consider singular riemannian foliations, there is little or no relation between these properties. We present an example of a singular isometric flow for whi… ▽ More It is known that, for a regular riemannian foliation on a compact manifold, the properties of its basic cohomology (non-vanishing of the top-dimensional group and Poincaré Duality) and the tautness of the foliation are closely related. If we consider singular riemannian foliations, there is little or no relation between these properties. We present an example of a singular isometric flow for which the top dimensional basic cohomology group is non-trivial, but its basic cohomology does not satisfy the Poincaré Duality property. We recover this property in the basic intersection cohomology. It is not by chance that the top dimensional basic intersection cohomology groups of the example are isomorphic to either 0 or $\mathbb{R}$. We prove in this Note that this holds for any singular riemannian foliation of a compact connected manifold. As a Corollary, we get that the tautness of the regular stratum of the singular riemannian foliation can be detected by the basic intersection cohomology. △ Less

Submitted 25 April, 2006; v1 submitted 31 May, 2005; originally announced May 2005.

Comments: 11 pages. Accepted for publication in the Bulletin of the Polish Academy of Sciences

MSC Class: 57R30

Journal ref: Bulletin of the Polish Academy of Sciences 53(2005), 429-440.

Tautness for riemannian foliations on non-compact manifolds

Authors: J. I. Royo Prieto, M. Saralegi-Aranguren, R. Wolak

Abstract: For a riemannian foliation $\mathcal{F}$ on a closed manifold $M$, it is known that $\mathcal{F}$ is taut (i.e. the leaves are minimal submanifolds) if and only if the (tautness) class defined by the mean curvature form $κ_μ$ (relatively to a suitable riemannian metric $μ$) is zero. In the transversally orientable case, tautness is equivalent to the non-vanishing of the top basic cohomology grou… ▽ More For a riemannian foliation $\mathcal{F}$ on a closed manifold $M$, it is known that $\mathcal{F}$ is taut (i.e. the leaves are minimal submanifolds) if and only if the (tautness) class defined by the mean curvature form $κ_μ$ (relatively to a suitable riemannian metric $μ$) is zero. In the transversally orientable case, tautness is equivalent to the non-vanishing of the top basic cohomology group $H^{^{n}}(M/\mathcal{F})$, where $n = \codim \mathcal{F}$. By the Poincaré Duality, this last condition is equivalent to the non-vanishing of the basic twisted cohomology group $H^{^{0}}_{_{κ_μ}}(M/\mathcal{F})$, when $M$ is oriented. When $M$ is not compact, the tautness class is not even defined in general. In this work, we recover the previous study and results for a particular case of riemannian foliations on non compact manifolds: the regular part of a singular riemannian foliation on a compact manifold (CERF). △ Less

Submitted 19 November, 2005; v1 submitted 31 May, 2005; originally announced May 2005.

Comments: 18 pages

MSC Class: 57R30

Journal ref: Manuscripta math. 126(2008), 177 - 200

De Rham intersection cohomology for general perversities

Authors: Martintxo E. Saralegi-Aranguren

Abstract: For a stratified pseudomanifold $X$, we have the de Rham Theorem $ \lau{\IH}{*}{\per{p}}{X} = \lau{\IH}{\per{t} - \per{p}}{*}{X}, $ for a perversity $\per{p}$ verifying $\per{0} \leq \per{p} \leq \per{t}$, where $\per{t}$ denotes the top perversity. We extend this result to any perversity $\per{p}$. In the direction cohomology $\mapsto$ homology, we obtain the isomorphism… ▽ More For a stratified pseudomanifold $X$, we have the de Rham Theorem $ \lau{\IH}{*}{\per{p}}{X} = \lau{\IH}{\per{t} - \per{p}}{*}{X}, $ for a perversity $\per{p}$ verifying $\per{0} \leq \per{p} \leq \per{t}$, where $\per{t}$ denotes the top perversity. We extend this result to any perversity $\per{p}$. In the direction cohomology $\mapsto$ homology, we obtain the isomorphism $$ \lau{\IH}{*}{\per{p}}{X} = \lau{\IH}{\per{t} -\per{p}}{*}{X,\ib{X}{\per{p}}}, $$ where $ {\displaystyle \ib{X}{\per{p}} = \bigcup\_{S \preceq S\_{1} \atop \per{p} (S\_{1})< 0}S = \bigcup\_{\per{p} (S)< 0}\bar{S}.} $ In the direction homology $\mapsto$ cohomology, we obtain the isomorphism $$ \lau{\IH}{\per{p}}{*}{X}=\lau{\IH}{*}{\max (\per{0},\per{t} -\per{p})}{X}. $$ In our paper stratified pseudomanifolds with one-codimensional strata are allowed. △ Less

Submitted 21 July, 2005; v1 submitted 6 April, 2004; originally announced April 2004.

MSC Class: 55N33 ; 57N80

Journal ref: Illinois Journal of Mathematics 49 (2005) 737-758

Intersection cohomology of circle actions

Authors: Gabriel Padilla, Martintxo Saralegi-Aranguren

Abstract: A classical result says that a free action of the circle $\Bbb{S}^1$ on a topological space $X$ is geometrically classified by the orbit space $B$ and by a cohomological class ${H}^{^{2}}{(B,\Bbb{Z})}$, the Euler class. When the action is not free we have a difficult open question: $Π$ : "Is the space $X$ determined by the orbit space $B$ and the Euler class?" The main result of this work is… ▽ More A classical result says that a free action of the circle $\Bbb{S}^1$ on a topological space $X$ is geometrically classified by the orbit space $B$ and by a cohomological class ${H}^{^{2}}{(B,\Bbb{Z})}$, the Euler class. When the action is not free we have a difficult open question: $Π$ : "Is the space $X$ determined by the orbit space $B$ and the Euler class?" The main result of this work is a step towards the understanding of the above question in the category of unfolded pseudomanifolds. We prove that the orbit space $B$ and the Euler class determine: * the intersection cohomology of $X$, * the real homotopy type of $X$. △ Less

Submitted 24 March, 2009; v1 submitted 4 March, 2004; originally announced March 2004.

MSC Class: 55N33; 57S15

Journal ref: Topology and its Applications 254(2007), 2764-2770

The BIC of a singular foliation defined by an abelian group of isometries

Authors: M. Saralegi-Aranguren, R. Wolak

Abstract: We study the cohomology properties of the singular foliation $\F$ determined by an action $Φ\colon G \times M\to M$ where the abelian Lie group $G$ preserves a riemannian metric on the compact manifold $M$. More precisely, we prove that the basic intersection cohomology $\lau{\IH}{*}{\per{p}}{\mf}$ is finite dimensional and verifies the Poincaré Duality. This duality includes two well-known situ… ▽ More We study the cohomology properties of the singular foliation $\F$ determined by an action $Φ\colon G \times M\to M$ where the abelian Lie group $G$ preserves a riemannian metric on the compact manifold $M$. More precisely, we prove that the basic intersection cohomology $\lau{\IH}{*}{\per{p}}{\mf}$ is finite dimensional and verifies the Poincaré Duality. This duality includes two well-known situations: -- Poincaré Duality for basic cohomology (the action $Φ$ is almost free). -- Poincaré Duality for intersection cohomology (the group $G$ is compact and connected). △ Less

Submitted 24 May, 2005; v1 submitted 28 January, 2004; originally announced January 2004.

MSC Class: 55N33; 53C12

Journal ref: Ann. Polon. Math. 89(2006), 203-246

The BIC of a conial fibration

Authors: M. Saralegi-Aranguren, R. Wolak

Abstract: In the paper we introduce the notions of a singular fibration and a singular Seifert fibration. These notions are natural generalizations of the notion of a locally trivial fibration to the category of stratified pseudomanifolds. For singular foliations defined by such fibrations we prove a de Rham type theorem for the basic intersection cohomology introduced the authors in a recent paper. One o… ▽ More In the paper we introduce the notions of a singular fibration and a singular Seifert fibration. These notions are natural generalizations of the notion of a locally trivial fibration to the category of stratified pseudomanifolds. For singular foliations defined by such fibrations we prove a de Rham type theorem for the basic intersection cohomology introduced the authors in a recent paper. One of important examples of such a structure is the natural projection onto the leaf space for the singular Riemannian foliation defined by an action of a compact Lie group on a compact smooth manifold. △ Less

Submitted 1 February, 2002; originally announced February 2002.

Comments: 22 pages

MSC Class: 14F40; 5312

Journal ref: Mat. Zametki 77(2005), 235-257 & Translation in Math. Notes(2005), 213-231.

Minimal Models for Non-Free Circle Actions

Authors: Agusti Roig, Martintxo Saralegi-Aranguren

Abstract: Let $Φ\colon \sbat \times M \to M$ be a smooth action of the unit circle $ \sbat$ on a manifold $M$. In this work, we compute the minimal model of $M$ in terms of the orbit space $B$ and the fixed point set $F\subset B$, as a dg-module over the Sullivan's minimal model of $B$. Let $Φ\colon \sbat \times M \to M$ be a smooth action of the unit circle $ \sbat$ on a manifold $M$. In this work, we compute the minimal model of $M$ in terms of the orbit space $B$ and the fixed point set $F\subset B$, as a dg-module over the Sullivan's minimal model of $B$. △ Less

Submitted 23 April, 2000; originally announced April 2000.

MSC Class: 57S15; 55P62

Journal ref: Illinois Journal of Mathematics 44(2000), 784-820