Patrick M. Gilmer,Gregor Masbaum
Abstract: We find explicit bases for naturally defined lattices over a ring of algebraic integers in the SO(3) TQFT-modules of surfaces at roots of unity of odd prime order. Some applications relating quantum invariants to classical 3-manifold topology are given.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is, within the framework of TQFT (Topological Quantum Field Theory), for closed surfaces (which may be disconnected) of arbitrary genus, to find the explicit bases of the integral lattices of SO(3)-TQFT modules naturally defined on these surfaces. Specifically, the paper focuses on the explicit construction of integral lattices defined over the ring of algebraic integers at the roots of unity of odd prime order.
### Core of the problem
1. **Explicit bases of integral lattices**: The main objective of the paper is to find explicit bases for the integral lattices \( S_p(\Sigma) \) and their dual lattices \( S^\sharp_p(\Sigma) \) for surfaces of arbitrary genus. These bases are called "diagrammatic bases" because they are associated with certain special one - trivalent graphs (called lollipop trees).
2. **Revision of the tensor product axiom**: For disconnected surfaces, the usual TQFT tensor product axiom needs to be revised because, in some cases, the integral lattice of a disconnected surface may be larger than the tensor product of the integral lattices of each connected component.
3. **Relationship between quantum invariants and classical three - dimensional manifold topology**: The paper also explores the relationship between quantum invariants and classical three - dimensional manifold topology, especially by studying the cut number of three - dimensional manifolds through the divisibility properties of quantum invariants.
### Specific content
- **Definition of integral lattices**: The integral lattice \( S_p(\Sigma) \) is an \( O \)-submodule generated by vectors of all three - dimensional manifolds \( M \) with boundary \( \Sigma \), where \( M \) has no closed connected components and these vectors satisfy certain conditions.
- **Diagrammatic bases**: The paper shows how to construct diagrammatic bases of integral lattices from traditional graph bases through certain linear combinations and overall scalings. These bases have a good "diagrammatic" structure and can be generalized to other TQFTs.
- **Dual lattices**: The dual lattice \( S^\sharp_p(\Sigma) \) also has similar diagrammatic bases, and these bases can be obtained by appropriately scaling the bases of the integral lattice.
- **Applications**: The paper provides two topological applications:
- Proves a conjecture about the cut number of three - dimensional manifolds, which links the cut number to the divisibility of quantum invariants.
- Gives a finite set of generators for the Frohman - Kania - Bartoszynska ideal, which is used to prove that one three - dimensional manifold cannot be embedded in another three - dimensional manifold.
By solving these problems, the paper provides a new perspective for understanding the structural properties of quantum invariants and TQFTs, and lays the foundation for further research on the representation of mapping class groups on twisted modules.