arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.11785

Facets of nondegeneracy: central type factor groups, Heisenberg representations and Hadamard matrices

Pierre Bieliavsky·Victor Gayral·Sergey Neshveyev·lars Tuset
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a pair of complementary subgroups $P$ and $N$ of a finite group $G$, we first discuss how the same type of functions $\mathbb E\colon P\times N\to \mathbb T$, which we call bi-$1$-cocycles, appear naturally in the study of projective representations of $G$ of Heisenberg type and second cohomology of $G$ and of its dual quantum group $\widehat G$. We show then that such representations are irreducible and the corresponding ordinary and dual $2$-cocycles are nondegenerate if and only if the matrix $(\mathbb E(p,n))_{p,n}$ is invertible, if and only if it is Hadamard. We illustrate the result with examples arising from symplectic nilpotent Lie algebras over finite fields with two complementary Lagrangian subalgebras.

Explore related subjects

math.QAmath.COmath.OAmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pierre Bieliavsky, Victor Gayral, Sergey Neshveyev, lars Tuset. 2026-10-08. Facets of nondegeneracy: central type factor groups, Heisenberg representations and Hadamard matrices. https://arxiv.org/abs/2610.11785

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Generalised Joyal disks, $Θ_d$-colored $(d+1)$-operads, and higher Deligne conjecture

The classical Deligne conjecture (which by now has found several different proofs) says that the Hochschild cohomological complex of a small dg category over a field $k$ has a structure of a $C(E_2,k)$-algebra. A similar statement for any small dg weak $d$-category is called the generalised Deligne conjecture, it says the cohomological Hochschild complex of a dg weak $d$-category (appropriately defined) admits an action of the operad $C(E_{d+1},k)$. This paper is the first in a series of papers, in which our goal is to construct a $(d+1)$-algebra providing a solution to the generalised Deligne conjecture, on the level of complexes. This paper contains the combinatorial core of this $(d+1)$-algebra structure, for any $d\ge 1$. Namely, we construct a colored $(d+1)$-operad in sets (in the sense of M.Batanin), denoted by $\mathbf{seq}_d$. Its category of colors (= the category of unary operations) is the category $Θ_d$ of A.Joyal [J], dual to the category of Joyal $d$-disks [J], [Be2,3]. For $d=1$, our $Δ$-colored operad $\mathbf{seq}_1$ coincides with the operad $\mathbf{seq}$ of D.Tamarkin [T3]. We prove that the construction indeed gives rise to a $(d+1)$-operad, and that this $Θ_d$-colored $(d+1)$-operad $\mathbf{seq}_d$ is contractible in the dg and in the topological condensations, for any $d\ge 1$. The contractibility of a $(d+1)$-operad $\mathcal{O}$ is a key property, which, due to the Batanin symmetrisation theorem [Ba1,2], endows any its ($d$-terminal) algebra with an $E_{d+1}$-algebra structure.

math.QA↗
arXiv2026

Graded Satake diagrams and super-symmetric pairs

We list classical spherical subalgebras in basic matrix Lie superalgebras which are quantizable to coideal subalgebras in the standard quantum supergroups, for any choice of Borel subalgebra. We classify the corresponding Satake-type diagrams and prove that each of them defines a family of proper spherical subalgebras.

math.QA↗
arXiv2026

Exponents of factorized groups and Kashina's conjecture for group-theoretical Hopf algebras

Let $G=FΓ$ be a factorization of a finite group, with neither factor assumed normal and with $F\capΓ$ allowed to be nontrivial. We prove that $\exp(G)$ divides $\operatorname{lcm}(|F|,|Γ|)$, or equivalently that $\gcd([G:F],[G:Γ])\exp(G)$ divides $|G|$. This answers a cohomological divisibility question posed by Natale. Combining the group-theoretic divisibility with Natale's exponent bound and a lifting argument, we prove Kashina's exponent conjecture, in the arbitrary-field formulation of Etingof and Gelaki, for every finite-dimensional semisimple and cosemisimple Hopf algebra $H$ over a field $k$ for which $\operatorname{Rep}(H\otimes_k\overline{k})$ is group-theoretical. The same argument proves the corresponding degree-three cohomological divisibility for coefficients in an arbitrary $G$-module. For complex group-theoretical categories, we also establish Frobenius-Schur exponent divisibility under a cohomological factorization hypothesis, without assuming a fiber functor. We derive applications to low-dimensional Hopf algebras and abelian extensions.

math.QA↗