Integral non-group-theoretical modular categories of dimension $p^2q^2$

César Galindo,Julia Plavnik,Eric C. Rowell

2024-04-05

Abstract:We construct all integral non-group-theoretical modular categories of dimension $p^2q^2$, where $p$ and $q$ are distinct prime numbers, establishing that a necessary and sufficient condition for their existence is that $p \mid q+1$, and their rank is $p^2 + \frac{q^2 - 1}{p}$.

Quantum Algebra

What problem does this paper attempt to address?

On the Modular Isomorphism Problem for 2-generated groups with cyclic derived subgroup

Diego García-Lucas,Ángel del Río

2024-06-12

Abstract:We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. García-Lucas, Á. del Río, and M. Stanojkovski. On group invariants determined by modular group algebras: even versus odd characteristic. Algebr. Represent. Theory. <a class="link-external link-https" href="https://doi.org/10.1007/s10468-022-10182-x" rel="external noopener nofollow">this https URL</a>, 2022]. We show that if $G$ belongs to this class of groups, then the isomorphism type of the quotients $G/(G')^{p^3}$ and $G/\gamma_3(G)^p$ are determined by its modular group algebra. In fact, we obtain a more general but technical result, expressed in terms of the classification \cite{OsnelDiegoAngel}. We also show that for groups in this class of order at most $p^{11}$, the Modular Isomorphism Problem has positive answer. Finally, we describe some families of groups of order $p^{12}$ whose group algebras over the field with $p$ elements cannot be distinguished with the techniques available to us.

Group Theory
Interpolated Family of Non-Group-like Simple Integral Fusion Rings of Lie Type

Zhengwei Liu,Sebastien Palcoux,Yunxiang Ren

DOI: https://doi.org/10.1142/s0129167x23500301

2023-01-01

International Journal of Mathematics

Abstract:This paper is motivated by the quest of a non-group irreducible finite index depth 2 maximal subfactor. We compute the generic fusion rules of the Grothendieck ring of Rep(PSL(2,q)), q prime-power, by applying a Verlinde-like formula on the generic character table. We then prove that this family of fusion rings R_q interpolates to all integers q>=2, providing (when q is not prime-power) the first example of infinite family of non group-like simple integral fusion rings. Furthermore, they pass all the known criteria of (unitary) categorification. This provides infinitely many serious candidates for solving the famous open problem of whether there exists an integral fusion category which is not weakly group-theoretical. We prove that a complex categorification (if any) of an interpolated fusion ring R_q (with q non prime-power) cannot be braided, and so its Drinfeld center must be simple. In general, this paper proves that a non-pointed simple fusion category is non-braided if and only if its Drinfeld center is simple; and also that every simple integral fusion category is weakly group-theoretical if and only if every simple integral modular fusion category is pointed.
Fixed locus dimension of diagonalizable $p$-groups

Olivier Haution

2024-12-03

Abstract:We obtain lower bounds for the dimension of fixed loci of abelian $p$-groups acting on smooth projective varieties. Those arise from modulo p Chern numbers, and are shown to be optimal. The bounds are expressed in a natural way by introducing an appropriate filtration on the modulo $p$ cobordism ring. They are obtained using equivariant localization methods, via the concentration theorem, and by a technique of "partition dividing".

Algebraic Geometry,K-Theory and Homology
Drinfeld singular moduli, hyperbolas, units

Bruno Anglès,Cécile Armana,Vincent Bosser,Fabien Pazuki

2024-04-11

Abstract:Let $q\geq2$ be a prime power and consider Drinfeld modules of rank 2 over $\mathbb{F}_q[T]$. We prove that there are no points with coordinates being Drinfeld singular moduli, on a family of hyperbolas $XY=\gamma$, where $\gamma$ is a polynomial of small degree. This is an effective André-Oort theorem for these curves. We also prove that there are at most finitely many Drinfeld singular moduli that are algebraic units, for every fixed $q\geq2$, and we give an effective bound on the discriminant of such singular moduli. We give in an appendix an inseparability criterion for values of some classical modular forms, generalising an argument used in the proof of our first result.

Number Theory
Quantum Groups at Roots of Unity and Modularity

Stephen F. Sawin

DOI: https://doi.org/10.48550/arXiv.math/0308281

2010-02-24

Abstract:For each compact, simple, simply-connected Lie group and each integer level we construct a modular tensor category from a quotient of a certain subcategory of the category of representations of the corresponding quantum group. We determine when at fractional levels the corresponding category is modular. We also give a quantum version of the Racah formula for the decomposition of the tensor product. This work relies on developing the basic representation theory of quantum groups at roots of unity, including Harish-Chandra's Theorem. It generalizes previous work which applied only to fractional levels or only to the projective form of the group.

Quantum Algebra
On the modular isomorphism problem for groups with center of index at most $p^3$

Sofia Brenner,Diego García-Lucas

2023-11-12

Abstract:Let $p$ be an odd prime number. We show that the modular isomorphism problem has a positive answer for finite $p$-groups whose center has index $p^3$, which is a strong contrast to the analogous situation for $p = 2$.

Representation Theory,Group Theory
Gelfand-Kirillov dimension for mod $p$ representations of $p$-adic unitary groups of rank 2

Karol Koziol,Stefano Morra

2023-08-04

Abstract:Let $p$ be a prime number and $F/F^+$ a CM extension of a totally real field such that every place of $F^+$ above $p$ is unramified and inert in $F$. We fix a finite place $v$ of $F^+$ above $p$, and let $\overline{r}: \textrm{Gal}(\overline{F^+}/F^+) \longrightarrow {}^C\textrm{U}_{1,1}(\overline{\mathbb{F}}_p)$ be a modular $L$-parameter valued in the $C$-group of a rank 2 unitary group associated to $F/F^+$. We assume $\overline{r}$ is semisimple and sufficiently generic at $v$. Using recent results of Breuil--Herzig--Hu--Morra--Schraen along with our previous work, we prove that certain admissible smooth $\overline{\mathbb{F}}_p$-representations of the $p$-adic unitary group $\textrm{U}_{1,1}(F^+_v)$ associated to $\overline{r}$ in spaces of mod $p$ automorphic forms have Gelfand--Kirillov dimension $[F^+_v:\mathbb{Q}_p]$.

Number Theory,Representation Theory
Infinite families of potential modular data related to quadratic categories

Pinhas Grossman,Masaki Izumi

DOI: https://doi.org/10.1007/s00220-020-03710-7

2019-09-11

Abstract:We present several infinite families of potential modular data motivated by examples of Drinfeld centers of quadratic categories. In each case, the input is a pair of involutive metric groups with Gauss sums differing by a sign, along with some conditions on the fixed points of the involutions and the relative sizes of the groups. From this input we construct $S$ and $T$ matrices which satisfy the modular relations and whose Verlinde coefficients are non-negative integers. We also check certain restrictions coming from Frobenius-Schur indicators. These families generalize Evans and Gannon's conjectures for the modular data associated to generalized Haagerup and near-group categories for odd groups, and include the modular data of the Drinfeld centers of almost all known quadratic categories. In addition to the subfamilies which are conjecturally realized by centers of quadratic categories, these families include many examples of potential modular data which do not correspond to known types of modular tensor categories.

Operator Algebras,Quantum Algebra
Families of two dimensional modular $(φ,Γ)$-modules

Elmar Große-Klönne

2024-09-30

Abstract:Let $F/{\mathbb Q}_p$ be a finite unramified extension, let $k$ be a finite extension of the residue field of $F$. We provide explicit constructions of integral structures for all rank two étale Lubin-Tate $(\varphi,{\mathcal O}_F^{\times})$-modules over $k$. We construct algebraic families of such integral structures and show that these comprehensively reflect the degeneration behaviour of $(\varphi,{\mathcal O}_F^{\times})$-modules. These results reveal new combinatorial structures of the moduli stack of $(\varphi,{\mathcal O}_F^{\times})$-modules, and allow us, in particular, to rederive the fact that the Serre weights assigned to a two dimensional ${\rm Gal}(\overline{F}/F)$-representation over $k$ can be read off from the geometry of the stack.

Number Theory
The $q$-Schur category and polynomial tilting modules for quantum $GL_n$

Jonathan Brundan

2024-10-20

Abstract:The $q$-Schur category is a $\mathbb{Z}[q,q^{-1}]$-linear monoidal category closely related to the $q$-Schur algebra. We explain how to construct it from coordinate algebras of quantum $GL_n$ for all $n \geq 0$. Then we use Donkin's work on Ringel duality for $q$-Schur algebras to make precise the relationship between the $q$-Schur category and an integral form for the $U_q\mathfrak{gl}_n$-web category of Cautis, Kamnitzer and Morrison. We construct explicit integral bases for morphism spaces in the latter category, and extend the Cautis-Kamnitzer-Morrison theorem to polynomial representations of quantum $GL_n$ at a root of unity over a field of any characteristic.

Quantum Algebra,Representation Theory
Modular invariance, modular identities and supersingular j-invariants

Antun Milas

DOI: https://doi.org/10.48550/arXiv.math/0512606

2006-09-07

Abstract:To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields modular identities (e.g., Ramanujan-Watson's modular identities). Furthermore, we focus on a family of modular invariant spaces coming from suitable two-dimensional spaces via the symmetric power construction. In particular, we consider a two-dimensional space spanned by graded dimensions of certain level one modules for the affine Kac-Moody Lie algebra of type $D_4^{(1)}$. In this case, the reduction modulo prime $p=2k+3 \geq 5$ of the modular form associated to the $k$-th symmetric power classifies supersingular elliptic curves in characteristic $p$. This construction also gives a new interpretation of certain modular forms studied by Kaneko and Zagier.

Quantum Algebra,Number Theory
On Frobenius-Schur exponent bounds

Agustina Czenky,Julia Plavnik,Andrew Schopieray

2024-04-10

Abstract:Here we study bounds on the Frobenius-Schur exponent of spherical fusion categories based on their global dimension generalizing bounds from the representation theory of finite-dimensional quasi-Hopf algebras. Our main result is that if the Frobenius-Schur exponent of a modular fusion category is a prime power for some prime integer $p$, then it is bounded by the norm of its global dimension when $p$ is odd, and four times the norm of its global dimension when $p=2$; these bounds are optimal. If one assumes in addition pseudounitarity, the categories achieving the optimal bound are completely described and we attain similar bounds and classifications for arbitrary spherical fusion categories. This proof includes an explicit classification of modular fusion categories of Frobenius-Perron dimension $p^5$; all examples which are not pointed are constructed explicitly from the Ising categories and the representation theory of extraspecial $p$-groups.

Quantum Algebra
Coprime-Universal Quadratic Forms

Matteo Bordignon,Giacomo Cherubini

2024-06-04

Abstract:Given a prime $p>3$, we characterize positive-definite integral quadratic forms that are coprime-universal for $p$, i.e. representing all positive integers coprime to $p$. This generalizes the $290$-Theorem by Bhargava and Hanke and extends later works by Rouse ($p=2$) and De Benedetto and Rouse ($p=3$). When $p=5,23,29,31$, our results are conditional on the coprime-universality of specific ternary forms. We prove this assumption under GRH (for Dirichlet and modular $L$-functions), following a strategy introduced by Ono and Soundararajan, together with some more elementary techniques borrowed from Kaplansky and Bhargava. Finally, we discuss briefly the problem of representing all integers in an arithmetic progression.

Number Theory
Distinguished categories and the Zilber-Pink conjecture

Fabrizio Barroero,Gabriel Andreas Dill

2024-11-25

Abstract:We propose an axiomatic approach towards studying unlikely intersections by introducing the framework of distinguished categories. This includes commutative algebraic groups and mixed Shimura varieties. It allows us to define all basic concepts of the field and prove some fundamental facts about them, e.g. the defect condition. In some categories that we call very distinguished, we are able to show some implications between Zilber-Pink statements with respect to base change. This yields unconditional results, i.e. the Zilber-Pink conjecture for a complex curve in $\mathcal{A}_2$ that cannot be defined over $\bar{\mathbb{Q}}$, a complex curve in the $g$-th fibered power of the Legendre family, and a complex curve in the base change of a semiabelian variety over $\bar{\mathbb{Q}}$.

Number Theory,Algebraic Geometry
Nil-Brauer categorifies the split $\imath$-quantum group of rank one

Jonathan Brundan,Weiqiang Wang,Ben Webster

2023-05-10

Abstract:We prove that the Grothendieck ring of the monoidal category of finitely generated graded projective modules for the nil-Brauer category is isomorphic to an integral form of the split $\imath$-quantum group of rank one. Under this isomorphism, the indecomposable graded projective modules correspond to the $\imath$-canonical basis. We also introduce a new PBW basis for the $\imath$-quantum group and show that it is categorified by standard modules for the nil-Brauer category. Finally, we derive character formulae for irreducible graded modules and deduce various branching rules.

Quantum Algebra,Representation Theory
Modulo $\ell$ distinction problems

Peiyi Cui,Thomas Lanard,Hengfei Lu

2024-04-04

Abstract:Let $F$ be a non-archimedean local field of characteristic different from 2 and residual characteristic $p$. This paper concerns the $\ell$-modular representations of a connected reductive group $G$ distinguished by a Galois involution, with $\ell$ an odd prime different from $p$. We start by proving a general theorem allowing to lift supercuspidal $\overline{\mathbb{F}}_{\ell}$-representations of $\mathrm{GL}_n(F)$ distinguished by an arbitrary closed subgroup $H$ to a distinguished supercuspidal $\overline{\mathbb{Q}}_{\ell}$-representation. Given a quadratic field extension $E/F$ and an irreducible $\overline{\mathbb{F}}_{\ell}$-representation $\pi$ of $\mathrm{GL}_n(E)$, we verify the Jacquet conjecture in the modular setting that if the Langlands parameter $\phi_\pi$ is irreducible and conjugate-self-dual, then $\pi$ is either $\mathrm{GL}_n(F)$-distinguished or $(\mathrm{GL}_n(F),\omega_{E/F})$-distinguished (where $\omega_{E/F}$ is the quadratic character of $F^\times$ associated to the quadratic field extension $E/F$ by the local class field theory), but not both, which extends one result of Sécherre to the case $p=2$. We give another application of our lifting theorem for supercuspidal representations distinguished by a unitary involution, extending one result of Zou to $p=2$.

Mathematics
On the modular isomorphism problem for groups with center of index at most

Sofia Brenner,Diego García-Lucas

DOI: https://doi.org/10.1007/s00013-024-01977-z

2024-04-01

Archiv der Mathematik

Abstract:Let p be an odd prime number. We show that the modular isomorphism problem has a positive answer for finite p -groups whose center has index , which is a strong contrast to the analogous situation for .

mathematics
Indices of nilpotency in certain spaces of modular forms

Matthew Boylan,Swati

2024-11-01

Abstract:We study the index of nilpotency relative to certain Hecke operators in spaces of modular forms with integer weight and level $N$ with integer coefficients modulo primes $p$ for $(p, N) \in \{(3, 1), (5, 1), (7, 1), (4, 3)\}$. In these settings, we prove upper bounds on certain indices of nilpotency. Our numerical computations suggest precise formulas analogous to the formula of Nicolas and Serre when $p = 2$ and $N = 1$. As applications, we prove infinite families of congruences for $p^t$-core partition functions modulo $p$ for $p\in \{3, 5, 7\}$ and $t\geq 1$, and we prove an infinite family of congruences modulo $3$ for the $r$th power partition function, $p_r(n)$, when $r = 12k$ with $\gcd(k,6) = 1$.

Number Theory
Linkage and Essential $p$-Dimension

Adam Chapman

2024-03-17

Abstract:We prove that two cyclically linked $p$-algebras of prime degree become inseparably linked under a prime to $p$ extension if and only if the essential $p$-dimension of the pair is 2. We conclude that the essential $p$-dimension of pairs of cyclically linked $p$-algebras is 3 by constructing an example of a pair that does not become inseparably linked under any prime to $p$ extension.

Rings and Algebras
Discriminant groups of wild cyclic quotient singularities

Dino Lorenzini,Stefan Schröer

DOI: https://doi.org/10.2140/ant.2023.17.1017

2021-01-20

Abstract:Let p be prime. We describe explicitly the resolution of singularities of several families of wild Z/pZ-quotient singularities in dimension two, including families that generalize the quotient singularities of type E_6, E_7, and E_8 from p=2 to arbitrary characteristics. We prove that for odd primes, any power of p can appear as the determinant of the intersection matrix of a wild Z/pZ-quotient singularity. We also provide evidence towards the conjecture that in this situation one may choose the wild action to be ramified precisely at the origin.

Algebraic Geometry

Integral non-group-theoretical modular categories of dimension $p^2q^2$

On the Modular Isomorphism Problem for 2-generated groups with cyclic derived subgroup

Interpolated Family of Non-Group-like Simple Integral Fusion Rings of Lie Type

Fixed locus dimension of diagonalizable $p$-groups

Drinfeld singular moduli, hyperbolas, units

Quantum Groups at Roots of Unity and Modularity

On the modular isomorphism problem for groups with center of index at most $p^3$

Gelfand-Kirillov dimension for mod $p$ representations of $p$-adic unitary groups of rank 2

Infinite families of potential modular data related to quadratic categories

Families of two dimensional modular $(φ,Γ)$-modules

The $q$-Schur category and polynomial tilting modules for quantum $GL_n$

Modular invariance, modular identities and supersingular j-invariants

On Frobenius-Schur exponent bounds

Coprime-Universal Quadratic Forms

Distinguished categories and the Zilber-Pink conjecture

Nil-Brauer categorifies the split $\imath$-quantum group of rank one

Modulo $\ell$ distinction problems

On the modular isomorphism problem for groups with center of index at most

Indices of nilpotency in certain spaces of modular forms

Linkage and Essential $p$-Dimension

Discriminant groups of wild cyclic quotient singularities