We reference [EGNO] for the concept of a braided fusion category. Following the conventions in [JFR], let $\mathcal{C}$ denote a braided fusion category equipped with a braiding $\beta$, and let $\mathcal{B} \subset \mathcal{C}$ represent a fully faithful inclusion of braided fusion categories. The *centralizer* of this inclusion is defined as:

$$\mathcal{Z}_2 (\mathcal{B} \subset \mathcal{C}) := \{ y \in \mathcal{C} \ | \ \beta_{y,x} \circ \beta_{x,y} = {\rm id}_{x \otimes y} \ \forall x \in \mathcal{B} \}.$$

The *Müger center* $\mathcal{Z}_2 (\mathcal{B})$ of $\mathcal{B}$ is the centralizer of the identity inclusion. This center forms a symmetric fusion category. A braided fusion category $\mathcal{B}$ is termed *nondegenerate* if $\mathcal{Z}_2 (\mathcal{B})$ is equivalent to the trivial fusion category ${\rm Vec}$. A braided fusion category $\mathcal{B}$ is defined as *slightly-degenerate* if $\mathcal{Z}_2 (\mathcal{B})$ is equivalent to the fusion category ${\rm sVec}$ of $C_2$-graded finite-dimensional vector spaces. A slightly-degenerate braided fusion category $\mathcal{C}$ is referred to as *split* if it is equivalent to $\mathcal{D} \boxtimes {\rm sVec}$, where $\mathcal{D}$ is nondegenerate.

A fusion category $\mathcal{C}$ is called *integral* if the Frobenius-Perron dimension (${\rm FPdim}$) of each of its simple objects is an integer. An integral fusion category is inherently pseudo-unitary (i.e. ${\rm FPdim}(\mathcal{C}) = {\rm dim}(\mathcal{C})$), and consequently, spherical, as discussed in [EGNO]. A braided fusion category that possesses a spherical structure is (termed) *premodular*. If such a category is either nondegenerate or slightly-degenerate, it is denoted as *modular* or *super-modular*, respectively.

The classification of super-modular fusion categories began with the works cited in [BGHNPRW17, BGNPRW20, BPRZ21]. To date, very few *non-split* examples have been identified. The only known integral examples split as $\mathcal{D} \boxtimes \mathrm{sVec}^-$, which are non-positive (here *positive* means that ${\rm dim}(X) > 0$ for every simple object $X$). Perhaps the assumptions of integrality and positivity in a super-modular fusion category imply that it must necessarily split.

**Question**: Is there a non-split super-modular positive integral fusion category?

*References*

[BGHNPRW17] Bruillard, Paul; Galindo, César; Hagge, Tobias; Ng, Siu-Hung; Plavnik, Julia Yael; Rowell, Eric C.; Wang, Zhenghan. Fermionic modular categories and the 16-fold way. J. Math. Phys. 58 (2017), no. 4, 041704, 31 pp.

[BGNPRW20] Bruillard, Paul; Galindo, César; Ng, Siu-Hung; Plavnik, Julia Y.; Rowell, Eric C.; Wang, Zhenghan. Classification of super-modular categories by rank. Algebr. Represent. Theory 23 (2020), no. 3, 795--809.

[BPRZ21] Bruillard, Paul; Plavnik, Julia; Rowell, Eric C.; Zhang, Qing. On classification of super-modular categories of rank 8. J. Algebra Appl. 20 (2021), no. 1, Paper No. 2140017, 36 pp.

[EGNO] Etingof, Pavel; Gelaki, Shlomo; Nikshych, Dmitri; Ostrik, Victor. Tensor categories. Mathematical Surveys and Monographs, 205. American Mathematical Society, Providence, RI, 2015. xvi+343 pp.

[JFR] Johnson-Freyd, Theo; Reutter, David. Minimal nondegenerate extensions. J. Amer. Math. Soc. 37 (2024), no. 1, 81--150.

[Mu] Müger, Michael. On the structure of modular categories. Proc. London Math. Soc. (3) 87 (2003), no. 2, 291--308.