Poincaré duality and module topological complexity

Abstract

Topological complexity, introduced by Farber, measures the number of continuous local motion-planning rules on a configuration space. For every simply connected space $X$ of finite rational homotopy type whose rational cohomology is a finite-dimensional Poincaré duality algebra, we prove $\mathrm{MTC}(X)=\mathrm{TC}_0(X)=\mathrm{TC}_0^M(X)$, where $\mathrm{TC}_0(X)=\mathrm{TC}(X_{\mathbb Q})$ and $M$ denotes the monoidal invariant. No formality or ellipticity assumption is required. The result extends to higher topological complexity and gives product additivity under duality. For every map $f$ between simply connected spaces of finite rational homotopy type whose rationalization admits a homotopy retraction, we establish the sharp bound $\mathrm{Msecat}(f_{\mathbb Q})\leq\mathrm{secat}(f_{\mathbb Q})\leq\mathrm{relcat}(f_{\mathbb Q})\leq\mathrm{Msecat}(f_{\mathbb Q})+1$. In particular, $\mathrm{MTC}(X)\leq\mathrm{TC}_0(X)\leq\mathrm{MTC}(X)+1$ holds without a duality assumption. The proofs use controlled Sullivan resolutions and an ideal-valued criterion for relative category. For sections of fibrations with Poincaré duality fibre, we prove that a derived self-intersection formula, vanishing of Thom multiplication on the augmentation ideal, and ideal-valued evaluation are equivalent. This criterion yields equality of the three rational sectional invariants for smooth sections of smooth bundles over simply connected smooth bases of finite rational homotopy type, with closed simply connected manifold fibre, including rationally hyperbolic fibres. Equality also holds when the fibre has finite-dimensional total rational homotopy, without a cohomological dimension bound on the base, and for suitable finite relative Frobenius models. Geometric applications include sphere, Grassmann, and projective bundles.