A reasonable notion of dimension for ...
Type de document :
Pré-publication ou Document de travail
Titre :
A reasonable notion of dimension for singular intersection homology
Auteur(s) :
Chataur, David [Auteur]
Laboratoire Amiénois de Mathématique Fondamentale et Appliquée - UMR CNRS 7352 UPJV [LAMFA]
Saralegi-Aranguren, Martintxo [Auteur]
Laboratoire de Mathématiques de Lens [LML]
Tanré, Daniel [Auteur]
Laboratoire Paul Painlevé - UMR 8524 [LPP]
Laboratoire Amiénois de Mathématique Fondamentale et Appliquée - UMR CNRS 7352 UPJV [LAMFA]
Saralegi-Aranguren, Martintxo [Auteur]
Laboratoire de Mathématiques de Lens [LML]
Tanré, Daniel [Auteur]
Laboratoire Paul Painlevé - UMR 8524 [LPP]
Date de publication :
2022-11-11
Discipline(s) HAL :
Mathématiques [math]
Résumé en anglais : [en]
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 ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Collections :
Source :
Fichiers
- 2211.06090
- Accès libre
- Accéder au document