Locally Constant Factorization Algebras and Invertible TFTs
This article provides a clear overview of how locally constant factorization algebras are used to classify invertible topological field theories. It explains the basic concepts of topological field theories and factorization algebras before detailing the mathematical connection between them. Readers will learn how these algebraic structures help physicists and mathematicians organize and understand specific quantum systems that depend only on the shape of space.
Topological field theories, often called TFTs, are a special type of quantum field theory used in both physics and mathematics. Unlike standard theories that depend on distances and time, a topological field theory depends only on the global shape, or topology, of the space it occupies. This means that if you stretch or bend the space without tearing it, the theory remains unchanged. Among these theories, invertible topological field theories are the simplest kind. They represent systems that can be reversed or undone, often corresponding to distinct phases of matter in condensed matter physics.
Factorization algebras provide a modern mathematical framework for describing the observables in a quantum field theory. An observable is a physical quantity that can be measured, such as energy or charge. In this framework, observables are assigned to regions of space. The factorization property describes how observables in smaller regions combine to form observables in larger regions. This creates a structured way to track how physical data merges across different parts of a manifold, which is a mathematical space that looks like Euclidean space on a small scale.
The term locally constant is the key link to topology. When a factorization algebra is locally constant, it means the algebraic data does not change when moving slightly within the space. This lack of local variation mirrors the defining feature of a topological field theory, which is insensitive to local geometric changes. Therefore, a locally constant factorization algebra serves as a precise algebraic model for the observables of a topological field theory. It translates the physical idea of topological invariance into a rigorous mathematical language.
Classification becomes possible because these algebraic structures are easier to analyze than the full physical theories. For invertible topological field theories, the associated locally constant factorization algebras have a very specific and simple structure. They correspond to invertible objects within a certain category of algebraic systems. By studying these invertible algebraic objects, mathematicians can categorize the possible invertible TFTs. This process often leads to classifications involving cohomology theories or spectra, which are tools from algebraic topology.
In summary, the theory of locally constant factorization algebras offers a powerful method to classify invertible topological field theories. By converting physical problems into algebraic ones, researchers can use established mathematical tools to identify and distinguish different topological phases. This bridge between algebra and physics continues to be a vital area of research, helping to uncover the fundamental structures underlying quantum systems.