A complex in Morse theory computing intersection homology
type: Item
instance of: scholarly article
title: A complex in Morse theory computing intersection homology
zbMATH Open document ID: 1387.55009
author: Ursula Ludwig
publication date: 2018-01-04T00:00:00Z
review text: Given a compact smooth manifold \(M\) and a Morse function \(f: M\to \mathbb{R}\) there is a well known procedure, essentially due to Thom and Smale, to construct a chain complex from the critical points and trajectories between them, whose homology recovers the singular homology of \(M\). In this paper the author considers anti-radial Morse functions on spaces with isolated conical singularities. Roughly such a space is a compact stratified space \(X\) with a finite set of singularities \(\mathrm{Sing}(X)\), whose complement is a smooth manifold. An anti-radial Morse function on such an \(X\) is a map \(f: X \to \mathbb{R}\) such that on \(X-\mathrm{Sing}(X)\) it is a Morse function, and near a \(p\in \mathrm{Sing}(X)\) the function is given by \(f(r,y)=f(p)-r^2\). Note that a neighborhood of \(p\in \mathrm{Sing}(X)\) is given by a cone \(cL_p\) with \(L_p\) a compact manifold. So \(r\) refers to the interval factor of the cone while \(y\in L_p\). In particular, each \(p\in \mathrm{Sing}(X)\) is a local maximum of \(f\), and we consider the set of critical points of \(f\) as consisting of the singular points as well as the usual critical points of \(f\) on \(X-\mathrm{Sing}(X)\). The author now forms a chain complex over \(\mathbb{R}\) using the critical points. However, for singular points \(p\in \mathrm{Sing}(X)\) we also need a basis of the de Rham cohomology of the link manifold \(L_p\), which are used for extra generators in this chain complex. In fact only a basis for \(H^k(L_p)\) with \(k\leq n/2-1\) is used, where \(n\) is the dimension of \(X\). This bound is related to the perversity which one wants to use for the intersection homology and can be varied. If used as stated, the result works for the lower middle perversity. The main result now states that the homology of this chain complex is the intersection homology of \(X\) with real coefficients.
Mathematics Subject Classification ID: 55N33
Mathematics Subject Classification ID: 58A35
Mathematics Subject Classification ID: 58K05
Mathematics Subject Classification ID: 57R70
zbMATH DE Number: 6821943
zbMATH Keywords: intersection homology
zbMATH Keywords: Morse theory
zbMATH Keywords: radial vector fields
zbMATH Keywords: Thom-Smale complex
reviewed by: Dirk Schütz
MaRDI profile type: Publication
full work available at URL: aif.3079
OpenAlex ID: W2909527046
cites work: MORSE HOMOLOGY AND MANIFOLDS WITH BOUNDARY
cites work: The Yang-Mills equations over Riemann surfaces
cites work: Q4850923
cites work: Q4023901
cites work: Milnor and Ray-Singer metrics on the equivariant determinant of a flat vector bundle
cites work: Lectures on Morse theory, old and new
cites work: Morse theory indomitable
cites work: Infinite dimensional Morse theory and multiple solution problems
cites work: Analytic torsion and the heat equation
cites work: Q3911109
cites work: Q3969051
cites work: Intersection R-torsion and analytic torsion for pseudomanifolds
cites work: Witten's complex and infinite dimensional Morse theory
cites work: Triangulation of Stratified Objects
cites work: Whitney Stratified Chains and Cochains
cites work: Intersection homology theory
cites work: Intersection homology. II
cites work: Elementary construction of perverse sheaves
cites work: Q4039743
cites work: Gradient-like flows and self-indexing in stratified Morse theory
cites work: The analytic torsion of a cone over a sphere
cites work: The analytic torsion of a cone over an odd dimensional manifold
cites work: Puits multiples en mecanique semi-classique iv etude du complexe de witten
cites work: On the Traingulation of Stratified Sets and Singular Varieties
cites work: Q3373207
cites work: Q5433081
cites work: A Morse complex on manifolds with boundary
cites work: Transversality, currents and Morse theory. A course of differential topology. Exercises proposed by François Labourie
cites work: Comparison between two complexes on a singular space
cites work: Q3595853
cites work: Morse Theory. (AM-51)
cites work: Q5543303
cites work: Analytic torsion and R-torsion of Riemannian manifolds
cites work: Analytic Torsion and R-Torsion for Unimodular Representations
cites work: Concordance is equivalent to smoothability
cites work: An invitation to Morse theory
cites work: Analytic and geometric study of stratified spaces
cites work: R-torsion and the Laplacian on Riemannian manifolds
cites work: Q5514290
cites work: Q3998275
cites work: Morse homology
cites work: On gradient dynamical systems
cites work: Q5791774
cites work: Geometric versions of Whitney regularity for smooth stratifications
cites work: Stratified mappings - structure and triangulability
cites work: Analytic torsion of a bounded generalized cone
cites work: Equivariant differential topology
cites work: The Morse-Witten complex via dynamical systems
cites work: Q5338776
cites work: Supersymmetry and Morse theory
DOI: 10.5802/AIF.3079
published in: Annales de l’institut Fourier
description: scientific article; zbMATH DE number 6821943