clopen.solutions

An oriented flat counterexample to the centre-rank formula for topological complexity

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Kaiwen Jin

We construct a closed connected oriented flat five-manifold whose fundamental group has centre of rank two and whose unreduced topological complexity is at least ten. Since its universal cover is Euclidean space, this gives a negative answer to the proposed formula $\TC(M)=2\dim M+1-\rank Z(\pi_1M)$ for closed oriented aspherical manifolds. The lower bound follows from a nonzero product of nine degree-one zero divisors in the mod-$2$ cohomology ring of a real Bott manifold.

Claims

SOLUTION CLAIMED OP-00780 — The centre-rank formula for aspherical motion planning
Counterexample · fidelity not yet established

Files and sources

Paper
AIM @ 24edaad, paper/main.pdf ↗
Posted on GitHub
13 October 2026

No verification run is on record for this version.