How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Ordinary acyclicity over Z does not detect group-ring torsion
Statement refuted
False claim: a bounded based free complex over a group ring whose underlying complex of abelian groups is acyclic must have vanishing torsion class in the Whitehead group of the group.
Facts & Assumptions
Given: The cyclic group , its group ring , and the element .
The element is a unit of and its class is a nonzero element of (Cellular basis ambiguities vanish in the Whitehead group, K₁ of a ring and the Whitehead group of a discrete group).
Contraction torsion of a two-term based free complex: for a unit in a unital ring and the complex with the displayed single basis vector in each of the two degrees, the contraction is and , and the contraction torsion is (Finite based free complexes and contraction torsion).
The augmentation is the ring homomorphism sending each basis element to , and the group ring is the free module on the classes with the uniquely determined product (The augmentation map and the augmentation ideal , The group ring is a unital -algebra with basis , and each is a unit of ).
The handle chain complex is carried over the group ring with its chosen lifts and basis data, so that its torsion lives in and not merely in a theory of abelian chain complexes (The based handle chain complex over the fundamental group ring).
Counterexample
Let be the based free right -complex with differential , generated in degree one and zero by one basis vector each. By [F1] is a unit, and the map , satisfies and , so is contractible with this contraction; by [F2] with its contraction torsion is , which is nonzero in by [F1].
Forgetting the -module structure, the contraction of step 1.1 is a homomorphism of abelian groups, so it contracts the underlying complex of abelian groups of ; hence that underlying complex is contractible, and in particular acyclic, with differential the isomorphism and inverse . Separately, by [F3] the augmentation is a ring homomorphism with and for every , so , which is a unit of ; the base change along gives the complex , contracted by , whose homology also vanishes.
The complex is bounded and based free over , its contraction torsion class is nonzero in by step 1.1, and its underlying complex of abelian groups is contractible, in particular acyclic, by step 2.1; therefore the false claim fails. This is exactly why the handle chain complex of a cobordism is carried over with its chosen lifts and basis and not over , as recorded in [F4]: an abelian acyclicity check cannot see the class .
Depends on
- The based handle chain complex over the fundamental group ring
- Finite based free complexes and contraction torsion
- Cellular basis ambiguities vanish in the Whitehead group
- The augmentation map $\varepsilon:R[G]\to R$ and the augmentation ideal $I_G=\ker\varepsilon$
- The group ring $R[G]$ is a unital $R$-algebra with basis $G$, and each $g\in G$ is a unit of $R[G]$
- K₁ of a ring and the Whitehead group of a discrete group
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
42 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Wolfgang Lück, A Basic Introduction to Surgery Theory (ICTP lecture notes, 27 October 2004; complete author text) (standard reference, not scraped)
- Andrew Ranicki, Algebraic and Geometric Surgery (Oxford Mathematical Monographs, electronic edition) (standard reference, not scraped)