Abstract:We develop representation theory of general linear groups in the category $\text{Ver}_4^+$, the simplest tensor category which is not Frobenius exact. Since $\text{Ver}_4^+$ is a reduction of the category of supervector spaces to characteristic $2$ (by a result of Venkatesh, <a class="link-https" data-arxiv-id="1507.05142" href="https://arxiv.org/abs/1507.05142">arXiv:1507.05142</a>), these groups may be viewed as general linear supergroups in characteristic $2$. More precisely, every object in $\text{Ver}_4^+$ has the form $m\mathbf{1}+nP$ where $P$ is the indecomposable projective, and $\text{GL}(m\mathbf{1}+nP)$ is the reduction to characteristic $2$ of $\text{GL}(m+n|n)$. We explicitly describe the irreducible representations of $\text{GL}(P)$ and then use this description to classify the irreducible representations of $\text{GL}(m\mathbf{1}+nP)$ for general $m,n$. We also define some subgroups of $\text{GL}(m\mathbf{1}+nP)$ and classify their irreducible representations. Finally, we conjecture a Steinberg tensor product theorem for $\text{Ver}_4^+$ involving the square of the Frobenius map.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to solve the representation theory problems of general linear supergroups in the tensor category Ver+4 of characteristic 2. Specifically, the goals of the paper include:
1. **Develop the representation theory**: Describe the irreducible representations of the general linear group GL(m1 + nP) in the Ver+4 category. Ver+4 is the simplest non - Frobenius exact tensor category obtained by reducing the supervector spaces category to characteristic 2.
2. **Classify irreducible representations**: Explicitly give the irreducible representations of GL(P) and use these results to classify the irreducible representations of the more general form GL(m1 + nP). Here, each object is of the form m1 + nP, where P is an indecomposable projective object.
3. **Define subgroups and classify their representations**: Define some subgroups of GL(m1 + nP) and classify the irreducible representations of these subgroups.
4. **Propose a conjecture**: Propose a conjecture for the Steinberg tensor product theorem in the Ver+4 category involving the square of the Frobenius map.
### Specific background and motivation
- **Complexity of characteristic 2**: In the case of characteristic 2, the representation theory becomes very complex, and it is even very difficult to calculate the dimension of irreducible representations. Therefore, understanding the representation theory in this special case is of great significance.
- **Applications of tensor categories**: As a special type of tensor category, Ver+4 has important applications in fields such as mathematical physics. Studying the representation theory on it helps to understand the structures and properties in these fields more deeply.
- **Generalize existing theories**: By studying the representation of general linear groups in Ver+4, new insights and methods can be provided for the representation theory in other similar tensor categories.
### Main contributions
- **First systematic study**: This is the first systematic study of the representation theory of general linear supergroups in the Ver+4 category, filling the gap in this field.
- **New tools and methods**: New tools and methods are introduced to deal with representation problems under characteristic 2, especially by using specific tensor products and subgroup structures.
- **Potential applications**: The research results are not only of great value in the pure mathematics field, but also may have potential applications in cross - disciplinary fields such as quantum field theory and algebraic geometry.
In summary, this paper attempts to solve problems such as representation classification, subgroup structure and its representation classification by in - depth study of the representation theory of general linear supergroups in the tensor category Ver+4 of characteristic 2, and provides a theoretical basis for further research.