[Paper Review] A simple topological quantum field theory for manifolds with triangulated boundary

Сергей Игоревич Бельков, I. G. Korepanov+1 more|ArXiv.org|Jul 22, 2009

Geometric and Algebraic Topology7 references3 citations

TL;DR

This paper constructs a finite-dimensional topological quantum field theory (TQFT) for compact 3-manifolds with triangulated boundaries using Grassmann variables and algebraic complexes. It introduces a state-sum invariant via a solution to the pentagon equation with anticommuting variables, renormalizes it through acyclic chain complexes, and establishes a generating function that transforms consistently under boundary triangulation changes and manifold gluing, enabling distinction between topologically distinct manifolds like unlinked vs. linked unknots in S³.

ABSTRACT

We construct a simple finite-dimensional topological quantum field theory for compact 3-manifolds with triangulated boundary.

Motivation & Objective

• To develop a finite-dimensional TQFT for 3-manifolds with triangulated boundaries that avoids functional integrals and relies on algebraic structures.
• To solve the pentagon equation using Grassmann variables and anticommuting algebras to define a state-sum invariant.
• To address the issue of vanishing invariants by introducing a renormalization procedure via acyclic algebraic complexes.
• To define a generating function of Grassmann variables that encodes invariants and transforms predictably under changes in boundary triangulation.
• To establish a consistent gluing law for generating functions, validating the TQFT structure under manifold composition.

Proposed method

• The theory assigns Grassmann variables to edges of a triangulated 3-manifold and constructs a state-sum invariant based on a solution to the pentagon equation involving these variables.
• A key technique is the use of Berezin integration over Grassmann algebras to compute invariants, with the state sum defined as a product over tetrahedra of Grassmann-exponential factors.
• The method introduces an algebraic complex (acyclic in many cases) to perform renormalization, transforming the naive state sum into a non-vanishing, topologically invariant quantity.
• The generating function of invariants is defined via a multilinear form over Grassmann variables, encoding all components of the invariant in a compact, computable expression.
• The theory proves a lemma showing that topological invariants remain unchanged under relative Pachner moves (those not affecting the boundary triangulation).
• A central result is the derivation of a gluing formula for generating functions when two manifolds are glued along a common boundary component, confirming the TQFT composition law.

Experimental results

Research questions

• RQ1 Can a finite-dimensional TQFT be constructed for 3-manifolds with triangulated boundaries using only Grassmann variables and algebraic complexes?
• RQ2 How can the state-sum invariant be renormalized to avoid vanishing in cases where the naive sum evaluates to zero?
• RQ3 What is the behavior of the generating function under changes in the boundary triangulation, and how is it related to the underlying algebraic complex?
• RQ4 How does the theory ensure consistency under gluing of manifolds along boundary components, and what is the explicit formula for the composition of generating functions?
• RQ5 Can the theory distinguish between topologically distinct manifolds, such as S³ with unlinked vs. linked unknots removed?

Key findings

• The state sum invariant defined via Grassmann variables and Berezin integration is non-vanishing after renormalization using an acyclic algebraic complex, resolving the issue of trivial invariants in the naive formulation.
• The generating function for invariants transforms consistently under changes in boundary triangulation, and its structure reflects topological distinctions such as the presence of contractible circles in the boundary.
• For the solid torus, the invariant can distinguish between meridians and parallels, demonstrating sensitivity to non-trivial boundary topology.
• The generating function for S³ minus two unlinked unknots is the product of two torus invariants with no variable identification, while for linked unknots (homeomorphic to T²×I), the generating function is structurally different and non-separable.
• The theory successfully computes components of the generating function for lens spaces with toric boundary, yielding nontrivial results that suggest deeper topological distinctions.
• The gluing formula for generating functions is explicitly derived and shown to satisfy the TQFT composition law, confirming the theory's consistency under manifold composition.