Searcharxiv⌕ Search

arXiv · 2609.12134

A Coefficient Calculus for Unitary (g,K)-Modules of SU(2,2)

Abstract

We develop an explicit operator and coefficient calculus for admissible (g,K)-modules of SU(2,2), where g = sl(4,C) and K = S(U(2) x U(2)). The K-types are indexed by triples (n,k,m). We introduce operators A_delta and B_delta associated with the noncompact roots, together with auxiliary operators Q and R. We establish their commutator relations, the central coefficient relations, and, in the unitary setting, the corresponding adjoint and norm-factor identities. This reduces part of the analysis of (g,K)-modules to the study of scalar coefficients arising from compositions of these operators. The coefficient formula applies to weights of multiplicity one, including all boundary weights. We derive necessary sign restrictions and explicit relations constraining the coefficient space. These coefficients also determine irreducibility. Several families of unitary (g,K)-modules are analyzed according to the minimal value of n+m. For N=0, the construction yields two-parameter families of unitary modules and describes reducibility when certain coefficients vanish. For N>0, the method produces both larger families of K-types and multiplicity-free ladder-type families. The resulting patterns are compatible with the known description of the unitary dual of SU(2,2) due to Knapp and Speh. The paper provides an explicit framework for recovering unitary (g,K)-modules from their K-type structure and suggests a possible approach to other real reductive groups.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Domagoj Kovačević. 2026-09-10. A Coefficient Calculus for Unitary (g,K)-Modules of SU(2,2). https://arxiv.org/abs/2609.12134

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

KEEP EXPLORING

Related papers

Computing the center of a fusion category

We present an algorithm for explicitly computing the categorical (Drinfeld) center of a pivotal fusion category. Our approach is based on decomposing the images of simple objects under the induction functor from the category to its center. We have implemented this algorithm in a general-purpose software framework TensorCategories for tensor categories that we develop within the open-source computer algebra system OSCAR. We compute explicit models for the centers in form of the tuples $(X,γ)$ where $X$ is an object and $γ$ is a half-braiding. From these models we can compute the $F$-symbols and $R$-symbols. Using the data from the AnyonWiki, we were able to compute the center together with its $F$-symbols and $R$-symbols for all the 279 multiplicity-free fusion categories up to rank 5, and furthermore some chosen examples of rank 6, including the Haagerup subfactor (presented in a separate paper). Some of these centers yield new high-rank and not multiplicity-free examples of modular categories, e.g. rank 21 and multiplicity 2.

math.RT↗

Higher Verlinde categories of reductive groups

We define tensor categories ${\sf Ver}_{p^n}(G)$ in characteristic $p$ for connected reductive groups $G$ and positive integers $n$, generalising the semisimple Verlinde categories ${\sf Ver}_p(G)$ originating from Gelfand-Kazhdan and the higher Verlinde categories ${\sf Ver}_{p^n}$ for ${\rm SL}_2$ defined by Benson-Etingof-Ostrik. The construction is based on the definition of ${\sf Ver}_{p^n}$ as an abelian envelope of a quotient of a category of tilting modules, but we also introduce an expanded construction which refines the ${\rm SL}_2$ case and gives new results. In particular, the union ${\sf Ver}_{p^\infty}(G)$ can be derived from the perfection of $G$; certain exact sequences in ${\sf Rep}G$ map to exact sequences in ${\sf Ver}_{p^n}(G)$; and the underlying abelian category of ${\sf Ver}_{p^n}$ can be expressed as a subcategory of ${\sf Rep}{\rm SL}_2$, or as a Serre quotient of a subcategory of ${\sf Rep}{\rm SL}_2$.

math.RT↗

Quantized integral models of reductive monoids

We construct quantized integral models of reductive monoids and establish their finite-generation properties. We also describe the quantized coordinate rings of the basic affine spaces explicitly in terms of Lusztig's dual canonical bases. The results will be used in the companion paper \cite{CJ2} to establish a classification theorem for split reductive monoids over arbitrary connected base schemes.

math.RT↗