Abstract:Symmetries of quantum field theories are characterized by topological defects/operators organized into a higher category. In this paper we consider the Axion-Maxwell field theory in four dimensions and, building on the construction of its topological defects by Choi, Lam, Shao, Hidaka, Nitta and Yokokura, we discuss field theoretical methods to compute some aspects of the higher structure of such category. In particular, we determine explicitly the generalized $F$-symbols for the non-invertible electric 1-form symmetry of the theory. Along the way we clarify various aspects of the bottom-up worldvolume approach towards the calculus of defects.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the higher - order structures of symmetries in the four - dimensional axion - Maxwell theory. Specifically, the paper focuses on how to calculate the higher - order structures of these symmetries through field - theory methods, especially on determining the generalized F - symbols of non - invertible electric 1 - form symmetries.
### Background and Motivation
Symmetry plays a central role in the study of physical theories. In recent years, the concept of symmetry has been generalized by associating it with topological operators and defects, forming higher - order symmetry structures. These new symmetries may not only not follow the group composition law but also may be non - invertible. In the past decade, generalized symmetries have found wide applications in various quantum field theories.
### Research Objectives
The main objective of this paper is to calculate the higher - order structures of symmetries in the four - dimensional axion - Maxwell theory. The author bases on the pioneering work of Choi, Lam, Shao, Hidaka, Nitta and Yokokura et al., and extends the previous results on four - dimensional massless QED.
### Specific Problems
1. **Calculation of Higher - Order Structures of Symmetry**: How to calculate the higher - order structures of symmetries in a given field theory?
2. **Determination of Generalized F - Symbols**: In particular, how to determine the generalized F - symbols of non - invertible electric 1 - form symmetries?
### Methods and Results
- **Field - Theory Methods**: The author uses field - theory methods to construct and analyze topological defects and their junctions.
- **Higher - Order Linking Numbers**: Study higher - order linking numbers, that is, topological defects encoding the associative property of the fusion product.
- **F - Symbols**: Determine the generalized F - symbols of non - invertible electric 1 - form symmetries and verify that they satisfy the pentagon identity.
### Main Contributions
- **Higher - Order Structures of Non - Invertible Symmetries**: This paper calculates in detail for the first time the higher - order structures of non - invertible symmetries in the four - dimensional axion - Maxwell theory.
- **Determination of Generalized F - Symbols**: Provide a specific expression for the generalized F - symbols of non - invertible electric 1 - form symmetries and verify their consistency and relationship with other known theoretical structures.
### Conclusions
By calculating the higher - order structures of symmetries in the four - dimensional axion - Maxwell theory, this paper provides new insights into understanding generalized symmetries and their applications in quantum field theories. These results are of great significance for further studying problems such as symmetry - protected phase transitions, duality and gauge invariance.