SearcharxivSearch

arXiv · 2605.29094

Reduction of Symmetry in Quaternionic Analysis and Invariant Trilinear Forms

Abstract

In our previous papers we repeatedly emphasized the special role in Quaternionic Analysis of the conformal group SU(2,2) and other real forms of its complexification SL(4,C). In particular, the natural product map of the left and right regular functions into a larger representation that contains the doubly regular functions as a subquotient is an intertwining operator. In this paper we show, however, that the spaces of regular and doubly regular functions do not "interact" - there is no invariant trilinear form on the tensor product of these representations. To construct a natural invariant trilinear form, we reduce the conformal group symmetry to the symplectic subgroup Sp(4,R). This suggests a new approach to the Quaternionic Analysis in general, and we make the first steps in this paper. It turns out that the spaces of regular and doubly regular functions are still irreducible after the restriction to the symplectic subgroup and have a composed structure arising from the metaplectic representation of the double cover of Sp(4,R) - the metaplectic group. This also leads us to consider the double covers of the quaternionic spaces and non-trivial pairings between them. Our study of Quaternionic Analysis based on the symplectic symmetry group culminates in the construction of the invariant trilinear forms on the products of spaces of doubly regular functions and certain counterparts of regular and quasi regular functions. Additional motivation for constructing invariant trilinear forms comes from their application to spinor representations of certain quaternionic algebras based on the doubly regular functions. The latter can be viewed as the space of solutions of the Maxwell equation, and their spinor representations are of a great importance to quantum field theory. These spinor representations will be the subject of a forthcoming paper.

Explore related subjects

Keep this discovery

BibTeXRIS

Igor Frenkel, Matvei Libine. 2026-05-27. Reduction of Symmetry in Quaternionic Analysis and Invariant Trilinear Forms. https://arxiv.org/abs/2605.29094

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

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT