Abstract:In this work, we generalize the notion of character for 2-representations of finite 2-groups. The properties of 2-characters bear strong similarities to those classical characters of finite groups, including conjugation invariance, additivity, multiplicativity and orthogonality. With a careful analysis using homotopy fixed points and quotients for categories with 2-group actions, we prove that the category of class functors on a 2-group $\mathcal G$ is equivalent to the Drinfeld center of the 2-group algebra $\mathrm{Vec}_{\mathcal G}$, which categorifies the Fourier transform on finite abelian groups. After transferring the canonical nondegenerate braided monoidal structure from $\mathfrak Z_1(\mathrm{Vec}_{\mathcal G})$, we discover that irreducible 2-characters of $\mathcal G$ coincide with full centers of the corresponding 2-representations, which are in a one-to-one correspondence with Lagrangian algebras in the category of class functors on $\mathcal G$. In particular, the fusion rule of $2\mathrm{Rep}(\mathcal G)$ can be calculated from the pointwise product of Lagrangian algebras as class functors. From a topological quantum field theory (TQFT) point of view, the commutative Frobenius algebra structure on a 2-character is induced from a 2D topological sigma-model with target space $\lvert \mathrm{B} \mathcal G \rvert$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to generalize the concept of characters in the 2 - representation theory of finite 2 - groups and to deeply explore the properties of 2 - characters and their relationship with topological quantum field theory (TQFT). Specifically, the goals of the article include:
1. **Define and study 2 - characters**: The authors define 2 - characters for 2 - representations of finite 2 - groups and prove that these 2 - characters have properties similar to those of classical characters, such as conjugate invariance, additivity, multiplicativity and orthogonality.
2. **Establish the connection between 2 - characters and Lagrangian algebras**: The article proves that irreducible 2 - characters are in one - to - one correspondence with Lagrangian algebras in a specific category, which provides a new perspective for further understanding 2 - representations.
3. **Introduce the concepts of homotopy fixed points and quotient categories**: By analyzing the homotopy fixed points and quotient categories of categories with 2 - group actions, the authors prove that the class functor category on the 2 - group \(G\) is equivalent to the Drinfeld center of the 2 - group algebra \(VecG\), thus categorifying the Fourier transform on finite abelian groups.
4. **Establish the orthogonality of 2 - characters**: The article also establishes the orthogonality of 2 - characters, which is a categorification of the classical results in the representation theory of finite groups.
### Specific problem description
In the 2 - representation theory of a finite 2 - group \(G\), the traditional character theory is no longer applicable, so a new framework is needed to describe and calculate the characteristics of these representations. To this end, the authors introduce the concept of 2 - characters and solve this problem in the following ways:
- **Define 2 - characters**: For a finite semisimple 2 - representation \(V\), its 2 - character \(\chi_V\) is defined by the trace of a linear functor. The authors propose two methods for defining the trace and prove that they are equivalent in this case.
- **Property analysis**: The authors analyze in detail the properties of 2 - characters, including conjugate invariance, additivity, multiplicativity and orthogonality, which are similar to the properties in the classical character theory.
- **Categorical structure**: By introducing the concepts of homotopy fixed points and quotient categories, the authors prove that the class functor category on the 2 - group \(G\) is equivalent to the Drinfeld center of the 2 - group algebra \(\text{Vec}_G\), thus categorifying the Fourier transform on finite abelian groups.
- **Correspondence of Lagrangian algebras**: The authors find that irreducible 2 - characters are in one - to - one correspondence with Lagrangian algebras in a specific category, which provides a new angle for understanding 2 - representations.
- **Orthogonality theorem**: Finally, the authors establish the orthogonality of 2 - characters, which is a categorification of the classical orthogonality theorem in the representation theory of finite groups.
### Summary
By introducing the concept of 2 - characters, this paper successfully generalizes the classical character theory to the 2 - representations of finite 2 - groups, and through in - depth mathematical tools and methods, reveals the profound connection between 2 - characters and topological quantum field theory. This not only enriches the content of 2 - representation theory, but also provides new directions and tools for further research.