Algebraic filling inequalities and cohomological width

DOI10.2140/AGT.2019.19.2855MaRDI QIDQ2279073zbMATH OpenOpenAlexWikidataFDO

Authors Meru Alagalingam

Publication date 12 December 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.02350

zbMATH Keywords

cohomological complexityessential manifoldsfilling inequalitiesrational homotopy theoryspace of cyclestoriwaist inequalities

Mathematics Subject Classification ID

?ech types (55N05) Rational homotopy theory (55P62) Obstruction theory in algebraic topology (55S35) Differentiable mappings in differential topology (57R35) Topological properties of mappings on manifolds (58K15)

Abstract: In his work on singularities, expanders and topology of maps, Gromov showed, using isoperimetric inequalities in graded algebras, that every real valued map on the $n$-torus admits a fibre whose homological size is bounded below by some universal constant depending on $n$. He obtained similar estimates for maps with values in finite dimensional complexes, by a Lusternik--Schnirelmann type argument. We describe a new homological filling technique which enables us to derive sharp lower bounds in these theorems in certain situations. This partly realizes a programme envisaged by Gromov. In contrast to previous approaches our methods imply similar lower bounds for maps defined on products of higher dimensional spheres.

Review text

For a continuous map \(f:X\to Y\) between topological spaces the cohomological width of \(f\), width\(_*(f;R)\), is the maximal rank of the restriction homomorphisms \(H^*(X;R)\to H^*(f^{-1}(y);R)\), over all \(y\in Y\), in Čech cohomology with coefficients in a ring \(R\). The minimum of width\(_*(f;R)\) over all continuous maps \(f:X\to Y\) is the cohomological width of \(X\) over \(Y\), denoted by width\(_*(X/Y;R)\). In [Geom. Funct. Anal. 19, No. 3, 743--841 (2009; Zbl 1195.58010); ibid. 20, No. 2, 416--526 (2010; Zbl 1251.05039)] \textit{M. Gromov} obtained lower bounds for the cohomological width in the case that \(X=T^n\) is a torus and \(Y\) a finite-dimensional simplicial complex. The present paper improves and generalizes the results of Gromov. In addition to \(X\) being a torus the author considers products \((S^p)^n\) of spheres. The first main theorem states that width\(_1(T^n/N;R)=n-\dim N\) where \(N\) is a manifold. This result is optimal as the projections \(T^n\to T^q\) show. The second main theorem states that width\(_p((S^p)^n/N);\mathbb{Q})\ge n-\dim N\), provided \(p\ge3\) is odd and \(n\le p-2\).

Recommendations

• Cohomological dimension of certain algebraic varieties
• Inequalities à la Frölicher and cohomological decompositions
• Cohomological dimension and rational points on curves
• scientific article; zbMATH DE number 2236598
• On approximation and embedding problems for cohomological dimension
• A coarse embedding theorem for homological filling functions
• scientific article; zbMATH DE number 4136993
• Algebraic hulls and the Følner property
• Bounded width problems and algebras
• Uniform bounds in algebraic geometry and commutative algebra

Cites work

• A Few Snapshots from the Work of Mikhail Gromov
• Algebraic models in geometry
• Differential Topology
• Filling Riemannian manifolds
• Large and small group homology
• Singularities, expanders and topology of maps. I: Homology versus volume in the spaces of cycles
• Singularities, expanders and topology of maps. II: From combinatorics to topology via algebraic isoperimetry
• The homotopy groups of the integral cycle groups
• Transversality and the inverse image of a submanifold with corners.

Cited in

(5)

• Singularities, expanders and topology of maps. I: Homology versus volume in the spaces of cycles
• scientific article; zbMATH DE number 3992430 (Why is no real title available?)
• Singularities, expanders and topology of maps. II: From combinatorics to topology via algebraic isoperimetry
• Algebraisation of combinatorial isoperimetry
• Uniform waist inequalities in codimension two for manifolds with Kazhdan fundamental group

This page was built for publication: Algebraic filling inequalities and cohomological width

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279073)