Abstract:In this paper, we introduce Topological Quantum Field Theories (TQFTs) generalizing the arithmetic computations done by Hausel and Rodríguez-Villegas and the geometric construction done by Logares, Muñoz, and Newstead to study cohomological invariants of $G$-representation varieties and $G$-character stacks. We show that these TQFTs are related via a natural transformation that we call the 'arithmetic-geometric correspondence' generalizing the classical formula of Frobenius on the irreducible characters of a finite group. We use this correspondence to extract some information on the character table of finite groups using the geometric TQFT, and vice versa, we greatly simplify the geometric calculations in the case of upper triangular matrices by lifting its irreducible characters to the geometric setting.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to establish a correspondence between arithmetic and geometry through topological quantum field theory (TQFT) in order to study the cohomology invariants of group representation varieties and character stacks. Specifically, the authors introduce a new TQFT framework, combining the arithmetic calculation methods of Hausel and Rodríguez - Ville gas with the geometric construction methods of Logares, Muñoz and Newstead, thereby solving the following types of problems:
1. **Arithmetic problems**:
- Calculate the number of points of the representation variety \( R_G(M) \) of a finite group \( G \) on a compact manifold \( M \).
- Use the Frobenius formula to generalize to broader situations, such as the E - polynomial calculation of high - genus surfaces and complex representation varieties.
2. **Geometric problems**:
- Study the geometric structures of representation varieties and character stacks, especially their cohomology invariants.
- Construct a new definition of character stacks so that it has better continuity under gluing operations and can be applied to non - oriented spaces.
3. **Arithmetic - geometry correspondence**:
- Establish a natural transformation between arithmetic TQFT and geometric TQFT, revealing the deep - seated connection between the two.
- Simplify certain complex geometric calculations through this correspondence, such as the calculation of irreducible characters of upper triangular matrix groups.
4. **Applications of the Landau - Ginzburg model**:
- Introduce the Landau - Ginzburg model to uniformly handle arithmetic and geometric methods and further expand the application range of TQFT.
- Use these models to derive the character table information of finite groups of Lie type over finite fields.
### Main results
- **Theorem A**: For any finite group \( G \) and \( n\geq1 \), there exists a TQFT \( Z^\#_G:Bord_n\rightarrow Vect_{\mathbb{C}} \) such that for any closed connected n - dimensional manifold \( W \), we have \( Z^\#_G(W)(1)=\vert R_G(W)\vert /\vert G\vert \).
- **Theorem B**: For any algebraic group \( G \) and \( n\geq1 \), there exists a lax TQFT \( Z_G:Bord_n\rightarrow K_0(Stck_k)\text{-Mod} \) for calculating the virtual classes of character stacks.
- **Theorem C**: For a connected algebraic group \( G \) over a finite field \( \mathbb{F}_q \), there exists a natural transformation \( Z_G\Rightarrow Z^\#_G(\mathbb{F}_q) \) as a functor \( Bord_n\rightarrow Ab \).
- **Theorem D**: For any algebraic group \( G \) and \( n\geq1 \), there exists a lax monoidal TQFT \( Z^{LG}_G:Bord_n\rightarrow K_0(LG_k)\text{-Mod} \) for calculating the virtual classes of character stacks.
- **Theorem E**: Using the arithmetic - geometry correspondence, the TQFT calculation of the unitriangular matrix group is simplified, and the information of the finite group character table is extracted from it.
Through these results, the paper shows how to use TQFT to uniformly handle arithmetic and geometric methods and reveals the profound connection between the two.