Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0706.2497

Robot motion planning, weights of cohomology classes, and cohomology operations

Michael Farber·Mark Grant
View original source ↗Read source document ↗Export metadata ↓

Abstract

The complexity of algorithms solving the motion planning problem is measured by a homotopy invariant TC(X) of the configuration space X of the system. Previously known lower bounds for TC(X) use the structure of the cohomology algebra of X. In this paper we show how cohomology operations can be used to sharpen these lower bounds for TC(X). As an application of this technique we calculate explicitly the topological complexity of various lens spaces. The results of the paper were inspired by the work of E. Fadell and S. Husseini on weights of cohomology classes appearing in the classical lower bounds for the Lusternik - Schnirelmann category. In the appendix to this paper we give a very short proof of a generalized version of their result.

Explore related subjects

math.ATmath.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Farber, Mark Grant. 2007-07-07. Robot motion planning, weights of cohomology classes, and cohomology operations. https://arxiv.org/abs/0706.2497

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Homotopy Non-Invariance of the String Cobracket

We prove that the integral string cobracket is not invariant under homotopy equivalences. Using Naef's computation arXiv:2106.11307 of the Goresky--Hingston coproduct and the Leray--Serre spectral sequence for the Borel construction, we compute the degree-two string cobracket for the three-dimensional lens spaces $L(9;1)$ and $L(9;4)$. The rank profiles of the cobracket on their nontrivial free-loop components differ, although the two lens spaces are homotopy equivalent. We also discuss the defect of naturality in relation to the Dennis trace of Whitehead torsion.

math.AT↗
arXiv2026

Semi-topological Galois cohomology and Weierstrass realizability

Semi-topological Galois theory associates a canonical finite splitting covering to a monic Weierstrass polynomial. The inverse limit of the corresponding deck groups defines the absolute semi-topological Galois group, $\PiST(X,x)$. This paper develops a cohomology theory for $\PiST(X,x)$ with discrete torsion coefficients, establishing its fundamental properties and canonical comparison maps to singular cohomology. A Lyndon-Hochschild-Serre spectral sequence is used to yield an obstruction theory for semi-topological embedding problems. We prove several structural and vanishing results, including ST-fullness for free fundamental groups and triviality for finite fundamental groups. As applications, we provide a criterion for lifting finite projective monodromy to linear monodromy, formulate the $π_1$-detectable Weierstrass realizability conjecture for divisor classes and show that this conjecture is true for abelian varieties, smooth complex projective curves and ruled surfaces over positive-genus curves.

math.AT↗
arXiv2026

The real and complex Betti realizations of motivic multiplicative Thom spectra

Real Betti realization is a symmetric monoidal functor from the category of motivic spectra over $\mathbb{R}$ to that of topological spectra, extending the functor that associates to a scheme over $\mathbb{R}$ the space of its real points. In this article, we show that the motivic Thom spectrum functor and the topological one correspond to each other, as symmetric monoidal functors of infinity-categories, under real (and complex) realization. More precisely, we compare the constructions of Bachmann-Hoyois (in the motivic setting) and Ando-Blumberg-Gepner (in the topological setting). In particular, we obtain equivalences of $\mathcal{E}_\infty$-rings between the real realizations of the variants $\mathsf{MGL}$, $\mathsf{MSL}$, and $\mathsf{MSp}$ of algebraic cobordism, and the variants $\mathsf{MO}$, $\mathsf{MSO}$, and $\mathsf{MU}$ of topological cobordism, respectively, and an analogous result for complex realization.

math.AT↗