Showing 1–12 of 12 results for author: Mescher, S

Approaches to critical point theory via sequential and parametrized topological complexity

Authors: Stephan Mescher, Maximilian Stegemeyer

Abstract: The Lusternik-Schnirelmann category of a space was introduced to obtain a lower bound on the number of critical points of a $C^1$-function on a given manifold. Related to Lusternik-Schnirelmann category and motivated by topological robotics, the topological complexity (TC) of a space is a numerical homotopy invariant whose topological properties are an active field of research. The notions of sequ… ▽ More The Lusternik-Schnirelmann category of a space was introduced to obtain a lower bound on the number of critical points of a $C^1$-function on a given manifold. Related to Lusternik-Schnirelmann category and motivated by topological robotics, the topological complexity (TC) of a space is a numerical homotopy invariant whose topological properties are an active field of research. The notions of sequential and parametrized topological complexity extend the ideas of topological complexity. While the definition of TC is closely related to Lusternik-Schnirelmann category, the connections of sequential and parametrized TC to critical point theory have not been fully explored yet. In this article we apply methods from Lusternik-Schnirelmann theory to establish various lower bounds on numbers of critical points of functions in terms of sequential and parametrized TCs. We carry out several consequences and applications of these bounds, among them a computation of the parametrized TC of the unit tangent bundles of $(4m-1)$-spheres. △ Less

Submitted 11 December, 2024; v1 submitted 4 November, 2024; originally announced November 2024.

Comments: 40 pages

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55M30; 58E05;

Geometric and topological properties of manifolds in robot motion planning

Authors: Stephan Mescher

Abstract: Manifolds occur naturally as configuration spaces of robotic systems. They provide global descriptions of local coordinate systems that are common tools in expressing positions of robots. The purpose of this survey is threefold. Firstly, we present an overview over various results on topological complexities of manifolds and related topics. Several constructions for manifolds, e.g. symplectic stru… ▽ More Manifolds occur naturally as configuration spaces of robotic systems. They provide global descriptions of local coordinate systems that are common tools in expressing positions of robots. The purpose of this survey is threefold. Firstly, we present an overview over various results on topological complexities of manifolds and related topics. Several constructions for manifolds, e.g. symplectic structures and connected sums, can be used to compute or estimate topological complexities. Secondly, we take a look at geodesic motion planning in Riemannian manifolds. In this setting, results from Riemannian geometry are employed to estimate the complexity of motion planning along shortest paths in manifolds. Thirdly, we will discuss results on connections between critical point theory and the topology of manifolds that are related to motion planning problems. Here, we consider the role of navigation functions for topological complexity and outline their relations to newer numerical homotopy invariants, namely spherical complexities. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Comments: 30 pages, preprint version of an invited survey article for a book project edited by Michael Farber and Jesus Gonzalez

MSC Class: 55M30

Sequential topological complexity of aspherical spaces and sectional categories of subgroup inclusions

Authors: Arturo Espinosa Baro, Michael Farber, Stephan Mescher, John Oprea

Abstract: We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new lower bounds on sequential TCs of aspherical spaces as well as the parametrized TC of epimorphisms. Moreover, we generalize the Costa-Farber canonical class for TC… ▽ More We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new lower bounds on sequential TCs of aspherical spaces as well as the parametrized TC of epimorphisms. Moreover, we generalize the Costa-Farber canonical class for TC to classes for sequential TCs and explore their properties. We combine them with the results on sequential TCs of aspherical spaces to obtain results on spaces that are not necessarily aspherical. △ Less

Submitted 8 December, 2023; v1 submitted 2 December, 2023; originally announced December 2023.

Comments: 40 pages

MSC Class: 55M30 (68T40; 20J05)

Geodesic complexity via fibered decompositions of cut loci

Authors: Stephan Mescher, Maximilian Stegemeyer

Abstract: The geodesic complexity of a Riemannian manifold is a numerical isometry invariant that is determined by the structure of its cut loci. In this article we study decompositions of cut loci over whose components the tangent cut loci fiber in a convenient way. We establish a new upper bound for geodesic complexity in terms of such decompositions. As an application, we obtain estimates for the geodesi… ▽ More The geodesic complexity of a Riemannian manifold is a numerical isometry invariant that is determined by the structure of its cut loci. In this article we study decompositions of cut loci over whose components the tangent cut loci fiber in a convenient way. We establish a new upper bound for geodesic complexity in terms of such decompositions. As an application, we obtain estimates for the geodesic complexity of certain classes of homogeneous manifolds. In particular, we compute the geodesic complexity of complex and quaternionic projective spaces with their standard symmetric metrics. △ Less

Submitted 24 October, 2022; v1 submitted 15 June, 2022; originally announced June 2022.

Comments: 22 pages, revised version, to appear in Journal of Applied and Computational Topology

MSC Class: 55M30; 53C22

Geodesic complexity of homogeneous Riemannian manifolds

Authors: Stephan Mescher, Maximilian Stegemeyer

Abstract: We study the geodesic motion planning problem for complete Riemannian manifolds and investigate their geodesic complexity, an integer-valued isometry invariant introduced by D. Recio-Mitter. Using methods from Riemannian geometry, we establish new lower and upper bounds on geodesic complexity and compute its value for certain classes of examples with a focus on homogeneous Riemannian manifolds. Me… ▽ More We study the geodesic motion planning problem for complete Riemannian manifolds and investigate their geodesic complexity, an integer-valued isometry invariant introduced by D. Recio-Mitter. Using methods from Riemannian geometry, we establish new lower and upper bounds on geodesic complexity and compute its value for certain classes of examples with a focus on homogeneous Riemannian manifolds. Methodically, we study properties of stratifications of cut loci and use results on their structures for certain homogeneous manifolds obtained by T. Sakai and others. △ Less

Submitted 21 January, 2022; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: Revised version, 35 pages, 1 figure. To appear in Algebraic & Geometric Topology

MSC Class: 55M30; 53C22

Journal ref: Algebr. Geom. Topol. 23 (2023) 2221-2270

Existence results for closed Finsler geodesics via spherical complexities

Authors: Stephan Mescher

Abstract: We apply topological methods and a Lusternik-Schnirelmann-type approach to prove existence results for closed geodesics of Finsler metrics on spheres and projective spaces. The main tool in the proofs are spherical complexities, which have been introduced in earlier work of the author. Using them, we show how pinching conditions and inequalities between a Finsler metric and a globally symmetric me… ▽ More We apply topological methods and a Lusternik-Schnirelmann-type approach to prove existence results for closed geodesics of Finsler metrics on spheres and projective spaces. The main tool in the proofs are spherical complexities, which have been introduced in earlier work of the author. Using them, we show how pinching conditions and inequalities between a Finsler metric and a globally symmetric metric yield the existence of multiple closed geodesics as well as upper bounds on their lengths. △ Less

Submitted 6 July, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: 13 pages, revised version, to appear in Calc. Var

Journal ref: Calc. Var. 59, 155 (2020)

Spherical complexities, with applications to closed geodesics

Authors: Stephan Mescher

Abstract: We construct and discuss new numerical homotopy invariants of topological spaces that are suitable for the study of functions on loop and sphere spaces. These invariants resemble the Lusternik-Schnirelmann category and provide lower bounds for the numbers of critical orbits of SO(n)-invariant functions on spaces of n-spheres in a manifold. Lower bounds on these invariants are derived using weights… ▽ More We construct and discuss new numerical homotopy invariants of topological spaces that are suitable for the study of functions on loop and sphere spaces. These invariants resemble the Lusternik-Schnirelmann category and provide lower bounds for the numbers of critical orbits of SO(n)-invariant functions on spaces of n-spheres in a manifold. Lower bounds on these invariants are derived using weights of cohomology classes. As an application, we prove new existence results for closed geodesics on Finsler manifolds of positive flag curvature satisfying a pinching condition. △ Less

Submitted 5 May, 2021; v1 submitted 10 November, 2019; originally announced November 2019.

Comments: 35 pages, revised version, fixed typos and a mistake in Theorem 6.5 pointed out by D. Kotschick. To appear in Algebraic & Geometric Topology

MSC Class: 58E05; 55S40; 58E10

Journal ref: Algebr. Geom. Topol. 21 (2021) 1021-1074

Oriented robot motion planning in Riemannian manifolds

Authors: Stephan Mescher

Abstract: We consider the problem of robot motion planning in an oriented Riemannian manifold as a topological motion planning problem in its oriented frame bundle. For this purpose, we study the topological complexity of oriented frame bundles, derive an upper bound for this invariant and certain lower bounds from cup length computations. In particular, we show that for large classes of oriented manifolds,… ▽ More We consider the problem of robot motion planning in an oriented Riemannian manifold as a topological motion planning problem in its oriented frame bundle. For this purpose, we study the topological complexity of oriented frame bundles, derive an upper bound for this invariant and certain lower bounds from cup length computations. In particular, we show that for large classes of oriented manifolds, e.g. for spin manifolds, the topological complexity of the oriented frame bundle is bounded from below by the dimension of the base manifold. △ Less

Submitted 26 February, 2019; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: 18 pages, revised version, to appear in Topology and its Applications

Journal ref: Topology Appl. 258 (2019), 1-20

Topological complexity of symplectic manifolds

Authors: Mark Grant, Stephan Mescher

Abstract: We prove that the topological complexity of every symplectically atoroidal manifold is equal to twice its dimension. This is the analogue for topological complexity of a result of Rudyak and Oprea, who showed that the Lusternik--Schnirelmann category of a symplectically aspherical manifold equals its dimension. Symplectically hyperbolic manifolds are symplectically atoroidal, as are symplectically… ▽ More We prove that the topological complexity of every symplectically atoroidal manifold is equal to twice its dimension. This is the analogue for topological complexity of a result of Rudyak and Oprea, who showed that the Lusternik--Schnirelmann category of a symplectically aspherical manifold equals its dimension. Symplectically hyperbolic manifolds are symplectically atoroidal, as are symplectically aspherical manifolds whose fundamental group does not contain free abelian subgroups of rank two. Thus we obtain many new calculations of topological complexity, including iterated surface bundles and symplectically aspherical manifolds with hyperbolic fundamental groups. Our result also applies in the greater generality of cohomologically symplectic manifolds. △ Less

Submitted 5 August, 2019; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: 12 pages, final version, to appear in Math. Z

MSC Class: 55S40; 53D05

Journal ref: Math. Z. 295 (2020), no. 1-2, 667-679

On the topological complexity of aspherical spaces

Authors: Michael Farber, Stephan Mescher

Abstract: The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining algebraically the topological complexity of the Eilenberg-MacLane spaces. One of our main results states that in the case when the fundamental group is hyperbolic in the… ▽ More The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining algebraically the topological complexity of the Eilenberg-MacLane spaces. One of our main results states that in the case when the fundamental group is hyperbolic in the sense of Gromov the topological complexity of an aspherical space $K(π, 1)$ either equals or is by one larger than the cohomological dimension of $π\times π$. We approach the problem by studying essential cohomology classes, i.e. classes which can be obtained from the powers of the canonical class via coefficient homomorphisms. We describe a spectral sequence which allows to specify a full set of obstructions for a cohomology class to be essential. In the case of a hyperbolic group we establish a vanishing property of this spectral sequence which leads to the main result. △ Less

Submitted 28 August, 2017; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: 25 pages, 2 figures. This version contains an additional section 10 with Theorem 8

MSC Class: 55-xx

Perturbed gradient flow trees and $A_\infty$-algebra structures on Morse cochain complexes

Authors: Stephan Mescher

Abstract: We elaborate on an idea of M. Abouzaid of equipping the Morse cochain complex of a smooth Morse function on a closed oriented manifold with the structure of an $A_\infty$-algebra. This is a variation on K. Fukaya's definition of Morse-$A_\infty$-categories for closed oriented manifolds involving families of Morse functions. The purpose of this article is to provide a coherent and detailed treatmen… ▽ More We elaborate on an idea of M. Abouzaid of equipping the Morse cochain complex of a smooth Morse function on a closed oriented manifold with the structure of an $A_\infty$-algebra. This is a variation on K. Fukaya's definition of Morse-$A_\infty$-categories for closed oriented manifolds involving families of Morse functions. The purpose of this article is to provide a coherent and detailed treatment of Abouzaid's approach including a discussion of all relevant analytic notions and results. △ Less

Submitted 23 November, 2016; originally announced November 2016.

Comments: 100 pages, 18 figures. The contents of this article are parts of the author's Ph.D. thesis, submitted to the University of Leipzig in September 2016

MSC Class: 37D15; 57R19

A primer on A-infinity-algebras and their Hochschild homology

Authors: Stephan Mescher

Abstract: We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral sequence of the length filtration of a Hochschild chain complex. $A_\infty$-structures arise naturally in the study of based loop spaces and the geometry of mani… ▽ More We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral sequence of the length filtration of a Hochschild chain complex. $A_\infty$-structures arise naturally in the study of based loop spaces and the geometry of manifolds, in particular in Lagrangian Floer theory and Morse homology. In several geometric situations, Hochschild homology may be used to describe homology groups of free loop spaces. The objective of this article is not to introduce new material, but to give a unified and coherent discussion of algebraic results from several sources. It further includes detailed proofs of all presented results. △ Less

Submitted 15 January, 2016; originally announced January 2016.

Comments: 60 pages. Comments welcome

MSC Class: 16E40