[Paper Review] Finite type invariants of integral homology 3-spheres: A survey

Xiao-Song Lin|ArXiv.org|Oct 3, 1995

Geometric and Algebraic Topology24 references3 citations

TL;DR

This survey paper by Xiao-Song Lin establishes that the space of finite type invariants for integral homology 3-spheres is a graded polynomial algebra generated by invariants that are additive under connected sum. The work synthesizes current knowledge in the field, introduces a new structural result, and outlines key open problems in the study of finite type invariants in 3-manifold topology.

ABSTRACT

This is a survey on the current status of the study of finite type invariants of integral homology 3-spheres based on lectures given in the workshop on knot theory at Banach International Center of Mathematics, Warsaw, July 1995. As a new result, we show that the space of finite type invariants of integral homology 3-spheres is a graded polynomial algebra generated by invariants additive under the connected sum. We also discuss some open questions on this subject.

Motivation & Objective

• To provide a comprehensive survey of the state of research on finite type invariants of integral homology 3-spheres as of 1995.
• To clarify the algebraic structure of the space of finite type invariants in this topological setting.
• To present a new structural result: the space of finite type invariants is a graded polynomial algebra.
• To identify and discuss open questions and recent developments in the field.
• To establish that the generators of this algebra are additive under the connected sum operation.

Proposed method

• Leveraging foundational results from quantum topology and finite type invariants in knot theory.
• Adapting the framework of finite type invariants from knots to integral homology 3-spheres.
• Using the connected sum operation as a key structural tool to analyze the algebraic properties of invariants.
• Applying algebraic topology techniques to classify invariants by their degree of finiteness.
• Surveying recent developments in the field through a newly added section in the revised version.
• Employing amslatex for formal presentation and structural clarity in the survey format.

Experimental results

Research questions

• RQ1 What is the algebraic structure of the space of finite type invariants for integral homology 3-spheres?
• RQ2 Which invariants are additive under the connected sum operation in this context?
• RQ3 How do finite type invariants of integral homology 3-spheres relate to those of knots and links?
• RQ4 What are the current open problems and unresolved questions in the theory of finite type invariants for 3-manifolds?
• RQ5 Can the space of finite type invariants be fully characterized as a polynomial algebra, and if so, what are its generators?

Key findings

• The space of finite type invariants of integral homology 3-spheres is isomorphic to a graded polynomial algebra.
• The generators of this algebra are invariants that are additive under the connected sum operation.
• The paper establishes a new structural result not previously known in the literature.
• A new section in the revised version surveys recent developments in the field up to 1996.
• The results provide a foundational framework for understanding the algebraic and topological properties of finite type invariants in 3-manifold theory.
• The work contributes to the broader program of classifying 3-manifolds via finite type invariants using quantum topology methods.