[Paper Review] On the conjecture of Kevin Walker

Michael Färber, Jean-Claude Hausmann+1 more|ArXiv.org|Aug 22, 2007

Homotopy and Cohomology in Algebraic Topology8 references4 citations

TL;DR

This paper proves Kevin Walker's conjecture for polygon spaces in ℝ³, showing that the integral cohomology ring determines the relative lengths of bars up to permutation and scaling. Using the action of a natural involution on cohomology and results on monoidal rings, the authors establish that cohomology structure—especially the balanced subalgebra and cup product behavior—fully encodes the length vector, even for non-generic configurations.

ABSTRACT

In 1985 Kevin Walker in his study of topology of polygon spaces raised an interesting conjecture in the spirit of the well-known question "Can you hear the shape of a drum?" of Marc Kac. Roughly, Walker's conjecture asks if one can recover relative lengths of the bars of a linkage from intrinsic algebraic properties of the cohomology algebra of its configuration space. In this paper we prove that the conjecture is true for polygon spaces in R^3. We also prove that for planar polygon spaces the conjecture holds is several modified forms: (a) if one takes into account the action of a natural involution on cohomology, (b) if the cohomology algebra of the involution's orbit space is known, or (c) if the length vector is normal. Some of our results allow the length vector to be non-generic, the corresponding polygon spaces have singularities. Our main tool is the study of the natural involution and its action on cohomology. A crucial role in our proof plays the solution of the isomorphism problem for monoidal rings due to J. Gubeladze.

Motivation & Objective

• To resolve Kevin Walker's conjecture on whether the cohomology ring of a polygon space determines the relative lengths of its bars.
• To extend the conjecture beyond generic length vectors to include singular (non-generic) configurations.
• To investigate the role of the natural involution on cohomology in recovering geometric data from algebraic invariants.
• To characterize normal length vectors intrinsically via cohomological cup products and balanced subalgebras.
• To prove that for spatial polygon spaces in ℝ³, the cohomology ring determines the length vector up to equivalence.

Proposed method

• Analyzes the action of the natural involution τ on the cohomology of planar polygon spaces, particularly its effect on the first cohomology group.
• Uses the isomorphism problem for monoidal rings (solved by J. Gubeladze) to relate algebraic structure to geometric data.
• Applies Poincaré duality and deformation techniques to extend results from generic to non-generic length vectors.
• Characterizes normal length vectors via the vanishing of the (n−3)-fold cup product in H¹(Mₗ).
• Constructs a ring epimorphism F: H*(Mₗ) → H*(Mₗ′) between cohomology rings of nearby generic configurations to analyze kernel structure.
• Relies on the description of the balanced subalgebra B*ₗ as generated by H¹(Mₗ) when ℓ is normal, using Theorem 6.

Experimental results

Research questions

• RQ1 Can the relative lengths of bars in a planar polygon linkage be recovered from the integral cohomology ring of its configuration space?
• RQ2 Does Walker’s conjecture hold when the length vector is non-generic, i.e., when the polygon space has singularities?
• RQ3 How does the action of the involution τ on cohomology help in distinguishing length vectors algebraically?
• RQ4 What intrinsic cohomological conditions characterize normal length vectors?
• RQ5 To what extent does the cohomology ring of a spatial polygon space in ℝ³ determine the length vector?

Key findings

• For polygon spaces in ℝ³, the cohomology ring determines the length vector up to permutation and scaling, confirming Walker’s conjecture.
• For planar polygon spaces, the conjecture holds when the length vector is normal, as characterized by the vanishing of the (n−3)-fold cup product in H¹.
• The cohomology ring of a non-generic polygon space still determines the stratum of the length vector, provided the Betti numbers b₀ and b₁ are 1.
• The balanced subalgebra B*ₗ is isomorphic to the subalgebra generated by H¹(Mₗ) if and only if the length vector is normal.
• The involution τ acts on cohomology such that τ*-invariant classes correspond to balanced elements, and their non-triviality in top degree detects non-normality.
• The isomorphism type of the cohomology ring of Mₗ determines the stratum of ℓ in the stratification of the simplex, even for non-generic vectors.