Representation Theory

AG-2026.04-946

math.RT

Orthosymplectic quantum groups revisited

Kyungtak Hong, Alexander Tsymbaliuk

We present the RLL-realization of extended orthosymplectic quantum supergroups for any parity sequence, with R-matrices evaluated in the earlier work arxiv:2408.16720. Our isomorphism is compatible with the internal structure of generalized doubles. We also relate different sign conventions through 2-cocycle twists. Furthermore, we establish a factorization of the reduced R-matrix within the RLL-realization.

AG-2026.04-933

math.RT

Universal $2$-parameter $\mathcal{N}=2$ supersymmetric $\mathcal{W}_{\infty}$-algebra

Thomas Creutzig, Volodymyr Kovalchuk, Andrew R. Linshaw, Arim Song, Uhi Rinn Suh

The universal $2$-parameter vertex algebra $\mathcal{W}_{\infty}$ of type $\mathcal{W}(2,3,\dots)$ is a classifying object for vertex algebras of type $\mathcal{W}(2,3,\dots,N)$ for some $N$; under mild hypotheses, all such vertex algebras arise as quotients of $\mathcal{W}_{\infty}$. In 2017, Gaiotto and Rapčák introduced a family of such vertex algebras called $Y$-algebras, and conjectured that they fall into groups of three that are mutually isomorphic. This is a common generalization of both Feigin-Frenkel duality and the coset realization of principal $\mathcal{W}$-algebras in type $A$, and was proven in 2021 for the simple $Y$-algebras (i.e., one label is zero) by the first and third authors. In this paper, we extend this entire story to the $\mathcal{N}=2$ superconformal setting. First, we prove the 2013 conjecture of Gaberdiel and Candu that there exists a universal $2$-parameter vertex algebra $\mathcal{W}^{\mathcal{N}=2}_{\infty}$ which is an extension of the $\mathcal{N}=2$ superconformal algebra, and has four additional generators in weights $i, i + \frac{1}{2}, i + \frac{1}{2}, i+1$, for each integer $i > 1$. This admits many $1$-parameter quotients which we call $\mathcal{N}=2$ supersymmetric $Y$-algebras, and we prove the dualities among these algebras which were conjectured in 2018 by Prochazka and Rapčák. A special case is the coset realization of the principal $\mathcal{W}$-algebra $\mathcal{W}^k(\mathfrak{sl}_{n+1|n})$ which was conjectured in 1992 by Ito. As a corollary, we obtain the strong rationality of $\mathcal{W}_k(\mathfrak{sl}_{n+1|n})$ for $k = -1 + \frac{1}{n+a+1}$ for all positive integers $n,a$, and we describe its module category. This generalizes Adamović's 1999 result on $\mathcal{N}=2$ minimal models, which is the case $n=1$.

AG-2026.03-1171

math.RT

A classification of irreducible unitary modules over $\mathfrak{u}(p,q|n)$

Mark D. Gould, Artem Pulemotov, Jorgen Rasmussen, Yang Zhang

We classify all irreducible highest-weight unitary modules over the non-compact real form $\mathfrak{u}(p,q|n)$ of the general linear Lie superalgebra $\mathfrak{gl}_{p+q|n}$. The classification is given by explicit necessary and sufficient conditions on the highest weights. Our approach combines the Howe duality for $\mathfrak{gl}_{p+q|n}$ with a quadratic invariant of the maximal compact subalgebra. As consequences, we classify all irreducible lowest-weight unitary modules over $\mathfrak{u}(p,q|n)$ via duality, and all irreducible unitary modules over $\mathfrak{u}(n|q,p)$ via an isomorphism of Lie superalgebras.

AG-2026.03-834

math.RT

Gordan-Rankin-Cohen operators on the spaces of weighted densities in superdimension $1\vert 1$

V. Bovdi, D. Leites

The modular forms and weighted densities over the 1-dimensional manifold $M$ are transformed ``alike" under the group of linear fractional changes of coordinates, so the classifications of differential operators between spaces of (A) modular forms and (B) weighted densities are sometimes identified, although they are different. Here, we solve problem B for superstrings in superdimension $(1\vert 1)$ -- superizations of the result of arXiv:2404.18222. Open problems are offered.

AG-2026.01-1008

math.RT

Graded Lie superalgebras from embedding tensors

Sylvain Lavau, Jakob Palmkvist

We show how various constructions of $\mathbb{Z}$-graded Lie superalgebras are related to each other. These Lie superalgebras have a Lie algebra $\mathfrak{g}$ as the subalgebra at degree 0, an odd $\mathfrak{g}$-module V as the subspace at degree 1, and an embedding tensor as an element at degree -1. This is a linear map from V to $\mathfrak{g}$ satisfying a quadratic constraint, which equips V with the structure of a Leibniz algebra.

AG-2026.01-946

math.RT

Tropical symmetries of cluster algebras

James Drummond, Ömer Gürdoğan, Jian-Rong Li

We study tropicalisations of quasi-automorphisms of cluster algebras and show that their induced action on the g-vectors can be realized by tropicalising their action on the homogeneous $\hat{y}$ (or $\mathcal{X}$) variables of a chosen initial cluster. This perspective allows us to interpret the action on g-vectors as a change of coordinates in the tropical setting. Focusing on Grassmannian cluster algebras, we analyse tropicalisations of quasi-automorphisms in detail. We derive tropical analogues of the braid group action and the twist map on both g-vectors and tableaux. We introduce the notions of unstable and stable fixed points for quasi-automorphisms, which prove useful for constructing cluster monomials and non-real modules, respectively. As an application, we demonstrate that the counts of prime non-real tableaux with a fixed number of columns in $\mathrm{SSYT}(3, [9])$ and $\mathrm{SSYT}(4, [8])$, arising from the braid group action on stable fixed points, are governed by Euler's totient function. Furthermore, we apply our findings to scattering amplitudes in physics, providing a novel interpretation of the square root associated with the four-mass box integral via stable fixed points of quasi-automorphisms of the Grassmannian cluster algebra $\CC[\Gr(4,8)]$.

AG-2026.01-664

math.RT

Shifted quantum groups via critical stable envelopes

Yalong Cao, Andrei Okounkov, Yehao Zhou, Zijun Zhou

Given a symmetric quiver with potential, we develop a geometric construction of shifted Yangians acting on the critical cohomologies of antidominantly framed quiver varieties with extended potentials, using the $R$-matrices constructed from critical stable envelopes. We relate such Reshetikhin type Yangians to Drinfeld type Yangians arising from critical cohomological Hall algebras. Several detailed examples, including the trivial, Jordan, and tripled Jordan quivers are explicitly computed. For symmetric quiver varieties with potentials, by using the smallness property of their affinization maps, we derive explicit formulas for quantum multiplication by divisors in terms of Casimir elements of the associated Lie (super)algebras, extending results from Nakajima quiver varieties to the critical setting. A similar formula in the antidominantly framed case is also obtained, which includes Hilbert schemes of points on $\mathbb C^3$ as examples.

AG-2025.12-1335

math.RT

Configuration Spaces of Finite Representation Type Algebras

Nima Arkani-Hamed, Hadleigh Frost, Pierre-Guy Plamondon, Giulio Salvatori, Hugh Thomas

To every finite-dimensional $\mathbb C$-algebra $Λ$ of finite representation type we associate an affine variety. These varieties are a large generalization of the varieties defined by "$u$ variables" satisfying "$u$-equations", first introduced in the context of open string theory and moduli space of ordered points on the real projective line by Koba and Nielsen, rediscovered by Brown as "dihedral co-ordinates", and recently generalized to any finite type hereditary algebras. We show that each such variety is irreducible and admits a rational parametrization. The assignment is functorial: algebra quotients correspond to monomial maps among the varieties. The non-negative real part of each variety has boundary strata that are controlled by Jasso reduction. These non-negative parts naturally define a generalization of open string integrals in physics, exhibiting factorization and splitting properties that do not come from a worldsheet picture. We further establish a family of Rogers dilogarithm identities extending results of Chapoton beyond the Dynkin case.

AG-2025.12-900

math.RT

A Difference Formula for Tensor-power Multiplicities

Hongfei Shu, Peng Zhao, Rui-Dong Zhu, Hao Zou

A novel combinatorial formula is developed for for tensor product multiplicities in representation theory. We introduce a difference formula linking these multiplicities to restricted occupancy coefficients via a shifted operator. This method is extended to derive branching rules for subalgebras and is conjecturally applied to A-type Lie superalgebras.

AG-2025.10-1100

math.RT

Positive traces on quantized abelian Coulomb branches

Daniil Klyuev

Let $A=A_{G,N}^{\hbar=1}$ be a quantized Coulomb branch with an antilinear automorphism $ρ$. A map $T\colon A\to\mathbb{C}$ is called a positive trace if $T(aρ(a))>0$ for all nonzero $a\in A$. Positive traces on Coulomb branches appear in the study of supersymmetric gauge theories. We classify positive traces on all abelian Coulomb branches, meaning $G=(\mathbb{C}^{\times})^d$ is a torus.

AG-2025.10-1049

math.RT

Elliptic Quantum Toroidal Algebra $U_{t_1,t_2,p}(\mathfrak{gl}_{N,tor})$ and Elliptic Stable Envelopes for the $A^{(1)}_{N-1}$ Quiver Varieties

Hitoshi Konno, Andrey Smirnov

We propose a new construction of vertex operators of the elliptic quantum toroidal algebra $U_{t_1,t_2,p}(\mathfrak{gl}_{N,tor})$ by combining representations of the algebra and formulas of the elliptic stable envelopes for the $A^{(1)}_{N-1}$ quiver variety ${\cal M}(v,w)$. Compositions of the vertex operators turn out consistent to the shuffle product formula of the elliptic stable envelopes. Their highest to highest expectation values provide K-theoretic vertex functions for ${\cal M}(v,w)$. We also derive exchange relation of the vertex operators and construct a $L$-operator satisfying the $RLL=LLR^*$ relation with $R$ and $R^*$ being elliptic dynamical $R$-matrices defined as transition matrices of the elliptic stable envelopes. Assuming a universal form of $L$ and defining a comultiplication $Δ$ in terms of it, we show that our vertex operators are intertwining operators of the $U_{t_1,t_2,p}(\mathfrak{gl}_{N,tor})$-modules w.r.t $Δ$.

AG-2025.10-876

math.RT

Instantons on ALE spaces for classical groups, involutions on quiver varieties, and quantum symmetric pairs

Hiraku Nakajima

Moduli spaces of instantons on ALE spaces for classical groups are examples of fixed point sets of involutions on quiver varieties, i.e., $σ$-quiver varieties. In 2018 Yiqiang Li considered their equivariant cohomology, and by stable envelope of Maulik-Okounkov, constructed representations of coideal subalgebras of Maulik-Okounkov Yangian, called twisted Yangian. We calculate $K$-matrices as matrices in examples, identified the twisted Yangians with ones studied in other literature, and clarify conditions which we should impose to make them well-defined.

AG-2025.10-712

math.RT

Slant sums of quiver gauge theories

Hunter Dinkins, Vasily Krylov, Reese Lance

We define the slant sum of quiver gauge theories, a gluing on the underlying quivers that identifies a gauge vertex with a framing vertex. Under some mild assumptions, we relate torus fixed points on the corresponding Higgs branches, which are Nakajima quiver varieties. Then we prove a ``branching rule" relating the quasimap vertex functions before and after a slant sum and deduce a number of ``factorization" corollaries. Our construction is motivated by a factorization conjecture for the vertex functions of zero-dimensional quiver varieties, which can be approached inductively using the branching rule. In special cases, it also shows that vertex functions can be written as sums over reverse plane partitions, even outside ADE type. We make some conjectures for Coulomb branches reflecting what can be seen on the Higgs side and prove them in ADE type. In particular, we obtain refined character formulas for the so-called ``extremal'' irreducible modules over shifted Yangians. We also study slant sums of Coulomb branches and their quantizations. We observe that for one-dimensional framing, the slant sum of Coulomb branches is the same as the product.

AG-2025.10-701

math.RT

Quiver Yangian algebras associated to Dynkin diagrams of A-type and their rectangular representations

A. Gavshin

The connection between simple Lie algebras and their Yangian algebras has a long history. In this work, we construct finite-dimensional representations of Yangian algebras $\mathsf{Y}(\mathfrak{sl}_{n})$ using the quiver approach. Starting from quivers associated to Dynkin diagrams of type A, we construct a family of quiver Yangians. We show that the quiver description of these algebras enables an effective construction of representations with a single non-zero Dynkin label. For these representations, we provide an explicit construction using the equivariant integration over the corresponding quiver moduli spaces. The resulting states admit a crystal description and can be identified with the Gelfand-Tsetlin bases for $\mathfrak{sl}_{n}$ algebras. Finally, we show that the resulting Yangians possess notable algebraic properties, and the algebras are isomorphic to their alternative description known as the second Drinfeld realization.

AG-2025.09-1017

math.RT

Rational K3 Homotopy and the Largest Mathieu Group

Federico Carta, John F. R. Duncan, Yang-Hui He

We interpret the ranks of the rational homotopy groups of a K3 surface as dimensions of representations for the largest sporadic simple Mathieu group. We then construct a vertex algebra equipped with an action by the largest Mathieu group, and use it to associate Jacobi forms to this interpretation, in a compatible way. Our results suggest a topological role for the sporadic simple Mathieu groups in the theory of K3 surfaces.

AG-2025.08-1003

math.RT

On the boundary Carrollian conformal algebra

Lucas Buzaglo, Xiao He, Tuan Anh Pham, Haijun Tan, Girish S Vishwa, Kaiming Zhao

We initiate the mathematical study of the boundary Carrollian conformal algebra (BCCA), an infinite-dimensional Lie algebra recently discovered in the context of Carrollian physics. The BCCA is an intriguing object from both physical and mathematical perspectives, since it is a filtered but not graded Lie algebra. In this paper, we first construct some modules for the BCCA and one of its subalgebras, which we call $\mathcal{O}$, by restriction of well-known modules of the BMS$_3$ and Witt algebras respectively. Along the way, we prove the irreducibility criteria for the so-called ``induced modules'' of the BMS$_3$ algebra (which we prefer to call massive modules to avoid ambiguity) and show that this is the same criteria for the irreducibility of the Verma modules of the BMS$_3$ algebra. Interestingly, the modules generated by the action of the BCCA on the generating vector of the massive modules are also irreducible under the same criteria. When this criteria holds, every massive module decomposes into a direct sum of two BCCA-submodules, each of which we conjecture to be irreducible. Meanwhile, restricting Verma modules to the BCCA and $\mathcal{O}$ leads to free or ``almost free'' modules, which are not particularly interesting from a representation-theoretic viewpoint. This motivates the construction of BCCA modules intrinsically. To do this, we go through some structure theory on the BCCA to define a new basis and a decreasing filtration on the algebra, using which we construct Whittaker modules over the BCCA and the subalgebra $\mathcal{O}$ and prove criteria for their irreducibility.

AG-2025.08-919

math.RT

Inverse Hamiltonian reduction for affine W-algebras in type A

Dylan Butson, Sujay Nair

We give a geometric proof of inverse Hamiltonian reduction for all affine W-algebras in type A at generic level, a certain embedding of the affine W-algebra corresponding to an arbitrary nilpotent in $\mathfrak{gl}_N$ into that corresponding to a larger nilpotent with respect to the closure order on orbits, tensored with an auxiliary algebra of free fields. We proceed by constructing strict chiral quantizations of equivariant Slodowy slices, sheaves of $\hbar$-adic vertex algebras on the arc spaces of the slices, and then localizing them on quasi-Darboux open sets. We also provide a generalization for the Drinfeld-Sokolov reduction of arbitrary vertex algebra objects in the Kazhdan-Lusztig category.

AG-2025.08-792

math.RT

Bicharacter twists of quantum groups

Ian Martin, Alexander Tsymbaliuk

We apply the general construction of a twist of bigraded Hopf algebras by skew bicharacters to obtain two-parameter quantum groups in the Drinfeld-Jimbo, new Drinfeld (for affine types), and FRT (for both finite and affine) presentations from their standard one-parameter versions. This yields new elementary proofs of the fundamental results on two-parameter quantum groups that appeared in the literature over the last two decades, and also leads to natural generalizations in the super and multiparameter cases.

AG-2025.07-656

math.RT

Finite-dimensional $\mathbb{Z}$-graded Lie algebras

Mark D. Gould, Phillip S. Isaac, Ian Marquette, Jorgen Rasmussen

We investigate the structure and representation theory of finite-dimensional $\mathbb{Z}$-graded Lie algebras, including the corresponding root systems and Verma, irreducible, and Harish-Chandra modules. This extends the familiar theory for finite-dimensional semisimple Lie algebras to a much wider class of Lie algebras, and opens up for advances and applications in areas relying on ad-hoc approaches. Physically relevant examples are afforded by the Heisenberg and conformal Galilei algebras, including the Schrödinger algebras, whose $\mathbb{Z}$-graded structures are yet to be fully exploited.

AG-2025.05-1107

math.RT

Monoidal categorification of genus zero skein algebras

Dylan G. L. Allegretti, Hyun Kyu Kim, Peng Shan

We prove a conjecture of the first and third named authors relating the Kauffman bracket skein algebra of a genus zero surface with boundary to a quantized $K$-theoretic Coulomb branch. As a consequence, we see that our skein algebra arises as the Grothendieck ring of the bounded derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima variety of triples with monoidal structure defined by the convolution product. We thus give a monoidal categorification of the skein algebra, partially answering a question posed by D. Thurston.

AG-2025.05-883

math.RT

On homomorphisms from finite subgroups of $SU(2)$ to Langlands dual pairs of groups

Yuki Kojima, Yuji Tachikawa

Let $N(Γ,G)$ be the number of homomorphisms from $Γ$ to $G$ up to conjugation by $G$. Physics of four-dimensional $\mathcal{N}=4$ supersymmetric gauge theories predicts that $N(Γ,G)=N(Γ, \tilde G)$ when $Γ$ is a finite subgroup of $SU(2)$, $G$ is a connected compact simple Lie group and $\tilde G$ is its Langlands dual. This statement is known to be true when $Γ=\mathbb{Z}_n$, but the statement for non-Abelian $Γ$ is new, to the knowledge of the authors. To lend credence to this conjecture, we prove this equality in a couple of examples, namely $(G,\tilde G)=(SU(n),PU(n))$ and $(Sp(n),SO(2n+1))$ for arbitrary $Γ$, and $(PSp(n),Spin(2n+1))$ for exceptional $Γ$. A more refined version of the conjecture, together with proofs of some concrete cases, will also be presented. The authors would like to ask mathematicians to provide a more uniform proof applicable to all cases.

AG-2025.04-1234

math.RT

Supersymmetry for brane diagrams and bow varieties

Tiziano Gaibisso

We provide combinatorial and numerical criteria to characterize affine type A bow diagrams giving rise to a non-empty bow variety. The key idea is to prove that such diagrams correspond to supersymmetric brane systems in type IIB string theory, allowing us to reformulate the problem in purely combinatorial terms. To achieve this, we characterize supersymmetry for affine type A brane systems (and, by extension, for types B, C, and D) using Hanany--Witten transitions. This leads to a finite-step algorithm that decides whether a given affine type A bow or brane diagram is supersymmetric, which consists in checking a finite set of inequalities, so providing a numerical criterion for non-emptiness. Finally, we provide a different perspective by introducing a further criterion in terms of weights of affine Lie algebras. Along the way, we also prove that increasing dimension vectors between two consecutive x-points or arrows in a bow diagram (not necessarily of type A) preserves the properties of generating non-empty bow varieties.

AG-2025.04-1067

math.RT

An index for unitarizable $\mathfrak{sl}(m\vert n)$-supermodules

Steffen Schmidt, Johannes Walcher

The "superconformal index" is a character-valued invariant attached by theoretical physics to unitary representations of Lie superalgebras, such as $\mathfrak{su}(2,2\vert n)$, that govern certain quantum field theories. The index can be calculated as a supertrace over Hilbert space, and is constant in families induced by variation of physical parameters. This is because the index receives contributions only from "short" irreducible representations such that it is invariant under recombination at the boundary of the region of unitarity. The purpose of this paper is to develop these notions for unitarizable supermodules over the special linear Lie superalgebras $\mathfrak{sl}(m\vert n)$ with $m\ge 2$, $n\ge 1$. To keep it self-contained, we include a fair amount of background material on structure theory, unitarizable supermodules, the Duflo-Serganova functor, and elements of Harish-Chandra theory. Along the way, we provide a precise dictionary between various notions from theoretical physics and mathematical terminology. Our final result is a kind of "index theorem" that relates the counting of atypical constituents in a general unitarizable $\mathfrak{sl}(m\vert n)$-supermodule to the character-valued $Q$-Witten index, expressed as a supertrace over the full supermodule. The formal superdimension of holomorphic discrete series $\mathfrak{sl}(m\vert n)$-supermodules can also be formulated in this framework.

AG-2025.03-1193

math.RT

Inverse Hamiltonian reduction in type A and generalized slices in the affine Grassmannian

Dylan Butson, Sujay Nair

We give a geometric proof of inverse Hamiltonian reduction for all finite W-algebras in type $A$, a certain embedding of the finite W-algebra corresponding to an arbitrary nilpotent in $\mathfrak{gl}_N$ into that corresponding to a larger nilpotent with respect to the closure order on orbits, tensored with an auxiliary algebra of differential operators. We first prove a classical analogue for equivariant Slodowy slices using multiplication maps on generalized slices in the affine Grassmannian, then deduce the result for equivariant finite W-algebras by Fedosov quantization. This implies the statement for finite W-algebras, as well as Kostant-Whittaker reductions of arbitrary algebras in the category of Harish Chandra bimodules, including quantizations of Moore-Tachikawa varieties.

AG-2025.02-960

math.RT

Vertex functions of type $D$ Nakajima quiver varieties

Hunter Dinkins, Jiwu Jang

We study the quasimap vertex functions of type $D$ Nakajima quiver varieties. When the quiver varieties have isolated torus fixed points, we compute the coefficients of the vertex functions in the $K$-theoretic fixed point basis. We also give an explicit combinatorial description of zero-dimensional type $D$ quiver varieties and their vertex functions using the combinatorics of minuscule posets. Using Macdonald polynomials, we prove that these vertex functions can be expressed as products of $q$-binomial functions, which proves a degeneration of the conjectured 3d mirror symmetry of vertex functions. We provide an interpretation of type $D$ spin vertex functions as the partition functions of the half-space Macdonald processes of Barraquand, Borodin, and Corwin. This hints that the geometry of quiver varieties may provide new examples of integrable probabilistic models.

AG-2025.02-834

math.RT

The generic Markov CoHA is not spherically generated

Ben Davison

Let $Q$ be the Markov quiver, and let $W$ be an infinitely mutable potential for $Q$. We calculate some low degree refined BPS invariants for the resulting Jacobi algebra, and use them to show that the critical cohomological Hall algebra $\mathcal{H}_{Q,W}$ is not necessarily spherically generated, and is not independent of the choice of infinitely mutable potential $W$. This leads to a counterexample to a conjecture of Gaiotto, Grygoryev and Li \cite[§2.1]{GGL}, but also suggestions for how to modify it. In the case of generic cubic $W$, we discuss a way to modify the conjecture, by excluding the non-spherical part via the decomposition of $\mathcal{H}_{Q,W}$ according to the characters of a discrete symmetry group.

AG-2024.12-1158

math.RT

Relative Langlands duality for $\mathfrak{osp}(2n + 1|2n)$

Alexander Braverman, Michael Finkelberg, David Kazhdan, Roman Travkin

We establish an $S$-duality converse to the one studied by the 1st, 2nd and 4th authors; this is also a case of a twisted version of the relative Langlands duality of Ben Zvi, Sakellaridis and Venkatesh.. Namely, we prove that the $S$-dual of $\text{SO}(2n+1)\times \text{Sp}(2n)$ acting on the tensor product of their tautological representations is the symplectic mirabolic space $\text{Sp}(2n)\times\text{Sp}(2n)$ acting on the product $T^* \text{Sp}(2n)$ and the tautological representations of $\text{Sp}(2n)$. (Note that due to the anomaly, the dual of the second factor $\text{Sp}(2n)$ is the metaplectic dual, i.e. $\text{Sp}(2n)$). We also formulate the corresponding global conjecture, which describes explicitly the categorical theta-correspondence on the Langlands dual side.

AG-2024.12-1120

math.RT

Casimir Radial Parts via Matsuki Decomposition

Philip Schlösser, Mikhail Isachenkov

We use Matsuki's decomposition for symmetric pairs $(G, H)$ of (not necessarily compact) reductive Lie groups to construct the radial parts for invariant differential operators acting on matrix-spherical functions. As an application, we employ this machinery to formulate an alternative, mathematically rigorous approach to obtaining radial parts of Casimir operators that appear in the theory of conformal blocks, which avoids poorly defined analytical continuations from the compact quotient cases. To exemplify how this works, after reviewing the presentation of conformal 4-point correlation functions via matrix-spherical functions for the corresponding symmetric pair, we for the first time provide a complete analysis of the Casimir radial part decomposition in the case of Lorentzian signature. As another example, we revisit the Casimir reduction in the case of conformal blocks for two scalar defects of equal dimension. We argue that Matsuki's decomposition thus provides a proper mathematical framework for analysing the correspondence between Casimir equations and the Calogero-Sutherland-type models, first discovered by one of the authors and Schomerus.

AG-2024.12-783

math.RT

Orthogonal bases for two-parameter quantum groups

Ian Martin, Alexander Tsymbaliuk

In this note, we construct dual PBW bases of the positive and negative subalgebras of the two-parameter quantum groups $U_{r,s}(\mathfrak{g})$ in classical types, as used in our earlier work arXiv:2407.01450. Following the ideas of Leclerc and Clark-Hill-Wang, we introduce the two-parameter shuffle algebra and relate it to the subalgebras above. We then use the combinatorics of dominant Lyndon words to establish the main results.

AG-2024.11-957

math.RT

Dualities of $K$-theoretic Coulomb branches from a once-punctured torus

Dylan G. L. Allegretti, Peng Shan

We consider the quantized $\mathrm{SL}_2$-character variety of a once-punctured torus. We show that this quantized algebra has three $\mathbb{Z}_2$-invariant subalgebras that are isomorphic to quantized $K$-theoretic Coulomb branches in the sense of Braverman, Finkelberg, and Nakajima. These subalgebras are permuted by the $\mathrm{SL}_2(\mathbb{Z})$ mapping class group action. Our results confirm various predictions from the physics literature about 4d $\mathcal{N}=2^*$ theories and their dualities.

AG-2024.11-936

math.RT

Langlands Duality and Invariant Differential Operators

V. K. Dobrev

Langlands duality is one of the most influential topics in mathematical research. It has many different appearances and influential subtopics. Yet there is a topic that until now seems unrelated to the Langlands program. That is the topic of invariant differential operators. That is strange since both items are deeply rooted in Harish-Chandra's representation theory of semisimple Lie groups. In this paper we start building the bridge between the two programs.

AG-2024.09-582

math.RT

Building blocks for $W$-algebras of classical types

Thomas Creutzig, Vladimir Kovalchuk, Andrew R. Linshaw

The universal $2$-parameter vertex algebra $W_{\infty}$ of type $W(2,3,4,\dots)$ serves as a classifying object for vertex algebras of type $W(2,3,\dots,N)$ for some $N$ in the sense that under mild hypothesis, all such vertex algebras arise as quotients of $W_{\infty}$. There is an $\mathbb{N} \times \mathbb{N}$ family of such $1$-parameter vertex algebras which, after tensoring with a Heisenberg algebra, are known as $Y$-algebras. They were introduced by Gaiotto and Rapčák and are expected to be the building blocks for all $W$-algebras in type $A$, i.e., every $W$-(super) algebra in type $A$ is an extension of a tensor product of finitely many $Y$-algebras. Similarly, the orthosymplectic $Y$-algebras are $1$-parameter quotients of a universal $2$-parameter vertex algebra $W^{\text{ev}}_{\infty}$ of type $W(2,4,6,\dots)$, which is a classifying object for vertex algebras of type $W(2,4,\dots, 2N)$ for some $N$. Unlike type $A$, these algebras are not all the building blocks for $W$-algebras of types $B$, $C$, and $D$. In this paper, we construct a new universal $2$-parameter vertex algebra of type $W(1^3, 2, 3^3, 4, 5^3,6,\dots)$ which we denote by $W^{\mathfrak{sp}}_{\infty}$ since it contains a copy of the affine vertex algebra $V^k(\mathfrak{sp}_2)$. We identify $8$ infinite families of $1$-parameter quotients of $W^{\mathfrak{sp}}_{\infty}$ which are analogues of the $Y$-algebras. We regard $W^{\mathfrak{sp}}_{\infty}$ as a fundamental object on equal footing with $W_{\infty}$ and $W^{\text{ev}}_{\infty}$, and we give some heuristic reasons for why we expect the $1$-parameter quotients of these three objects to be the building blocks for all $W$-algebras of classical types. Finally, we prove that $W^{\mathfrak{sp}}_{\infty}$ has many quotients which are strongly rational. This yields new examples of strongly rational $W$-superalgebras.

AG-2024.08-870

math.RT

Orthosymplectic $R$-matrices

Kyungtak Hong, Alexander Tsymbaliuk

We present a formula for trigonometric orthosymplectic $R$-matrices associated with any parity sequence, and establish their factorization into the ordered product of $q$-exponents parametrized by positive roots in the corresponding reduced root systems. The latter is crucially based on the construction of orthogonal bases of the positive subalgebra through $q$-bracketings and combinatorics of dominant Lyndon words, as developed in [Clark, Hill, Wang, "Quantum shuffles and quantum supergroups of basic type", Quantum Topol. 7 (2016), no.3, 553-638]. We further evaluate the affine orthosymplectic $R$-matrices, establishing their intertwining property as well as matching them with those obtained through the Yang-Baxterization technique of [Ge, Wu, Xue, "Explicit trigonometric Yang-Baxterization", Internat. J. Modern Phys. A 6 (1991), no.21, 3735-3779]. This reproduces the celebrated formulas of [Jimbo, "Quantum $R$ matrix for the generalized Toda system", Comm. Math. Phys. 102 (1986), no.4, 537-547] for classical BCD types and the formula of [Mehta, Dancer, Gould, Links, "Generalized Perk-Schultz models: solutions of the Yang-Baxter equation associated with quantized orthosymplectic superalgebras", J. Phys. A 39 (2006), no.1, 17-26] for the standard parity sequence.

AG-2024.08-556

math.RT

CoHA of Cyclic Quivers and an Integral Form of Affine Yangians

Shivang Jindal

We calculate the deformed and non-deformed cohomological Hall algebra (CoHA) of the preprojective algebra for the case of cyclic quivers by studying the Kontsevich-Soibelman CoHA and using tools from cohomological Donaldson-Thomas theory. We show that for the cyclic quiver of length $K$, this algebra is the universal enveloping algebra of the positive half of a certain extension of matrix differential operators on $\mathbb{C}^{*}$, while its deformation gives a positive half of an explicit integral form of Guay's Affine Yangian $\ddot{\mathcal{Y}}_{\hbar_1,\hbar_2}(\mathfrak{gl}(K))$. By the main theorem of Botta-Davison (2023) and Schiffmann-Vasserot (2023), we also determine the Maulik-Okounkov Yangian for the case of cyclic quivers. Furthermore, we explain the construction of factorization coproduct, provide evidence for the strong rationality conjecture, calculate the spherical subalgebra of the non-deformed CoHA for any quiver without loops, recover results about the CoHA of compactly supported semistable sheaves on the minimal resolution of the Kleinian singularity $\mathbb{C}^2/\mathbb{Z}_{K}$ and identify a commutative algebra inside the additive shuffle algebra associated to the cyclic quiver. We end by conjecturally relating the obtained integral form with the algebra defined by Gaiotto-Rapčák-Zhou, in the context of twisted M-theory.

AG-2024.07-990

math.RT

Quiver description of bow varieties in general type

Tiziano Gaibisso

We provide a quiver description for Cherkis bow varieties in arbitrary type. We explain how this generalizes the construction of Nakajima quiver varieties. We give criteria for stability, non-emptiness, smoothness and discuss deformations. In the appendix, we discuss the relation between the quiver description and the original Cherkis' construction of bow varieties.

AG-2024.07-864

math.RT

$\mathfrak{k}$-structure of basic representation of affine algebras

Benedikt König

This article presents a new relation between the basic representation of split real simply-laced affine Kac-Moody algebras and finite dimensional representations of its maximal compact subalgebra $\mathfrak{k}$. We provide infinitely many $\mathfrak{k}$-subrepresentations of the basic representation and we prove that these are all the finite dimensional $\mathfrak{k}$-subrepresentations of the basic representation such that the quotient of the basic representation by the subrepresentation is a finite dimensional representation of a certain parabolic algebra and of the maximal compact subalgebra. By this result we provide an infinite composition series with a cosocle filtration of the basic representation. Finally, we present examples of the results and applications to supergravity.

AG-2024.07-636

math.RT

Two-Parameter Quantum Groups and $R$-Matrices: Classical Types

Ian Martin, Alexander Tsymbaliuk

We construct finite $R$-matrices for the first fundamental representation $V$ of two-parameter quantum groups $U_{r,s}(\mathfrak{g})$ for classical $\mathfrak{g}$, both through the decomposition of $V\otimes V$ into irreducibles $U_{r,s}(\mathfrak{g})$-submodules as well as by evaluating the universal $R$-matrix. The latter is crucially based on the construction of dual PBW-type bases of $U^{\pm}_{r,s}(\mathfrak{g})$ consisting of the ordered products of quantum root vectors defined via $(r,s)$-bracketings and combinatorics of standard Lyndon words. We further derive explicit formulas for affine $R$-matrices, both through the Yang-Baxterization technique of [Internat. J. Modern Phys. A 6 (1991), 3735-3779] and as the unique intertwiner between the tensor product of $V(u)$ and $V(v)$, viewed as modules over two-parameter quantum affine algebras $U_{r,s}(\widehat{\mathfrak{g}})$ for classical $\mathfrak{g}$. The latter generalizes the formulas of [Comm. Math. Phys. 102 (1986), 537-547] for one-parametric quantum affine algebras.

AG-2024.06-825

math.RT

A different approach to positive traces on generalized q-Weyl algebras

Daniil Klyuev

Positive twisted traces are mathematical objects that could be useful in computing certain parameters of superconformal field theories. The case when $\mathcal{A}$ is a $q$-Weyl algebra and $ρ$ is a certain antilinear automorphism of $\mathcal{A}$ was considered in arXiv:2105.12652. Here we consider more general choices of $ρ$. In particular, we show that for $ρ$ corresponding to a standard Schur index of a four-dimensional gauge theory a positive trace is unique.

AG-2024.06-552

math.RT

Elliptic Quantum Toroidal Algebra U_{t_1,t_2,p}(gl_{1,tor}), Vertex Operators and L-operators

Hitoshi Konno, Andrey Smirnov

We propose new vertex operators, both the type I and the type II dual, of the elliptic quantum toroidal algebra U_{t_1,t_2,p}(gl_{1,tor}) by combining representations of U_{t_1,t_2,p}(gl_{1,tor}) and the notions of the elliptic stable envelopes for the instanton moduli space M(n,r). The vertex operators reproduce the shuffle product formula of the elliptic stable envelopes by their composition. We also show that the vacuum expectation value of a composition of the vertex operators gives a correct formula of the K-theoretic vertex function for M(n,r). We then derive exchange relations among the vertex operators and construct a L-operator satisfying the RLL=LLR^* relation with R and R^* being elliptic dynamical instanton R-matrices defined as transition matrices of the elliptic stable envelopes. Assuming a universal form of L, we define a comultiplication Δin terms of it. It turns out that the new vertex operators are intertwining operators of the U_{t_1,t_2,p}(gl_{1,tor})-modules w.r.t Δ.

AG-2024.05-871

math.RT

Elliptic Quantum Groups

Hitoshi Konno

We expose the elliptic quantum groups in the Drinfeld realization associated with both the affine Lie algebra \g and the toroidal algebra \g_tor. There the level-0 and level \not=0 representations appear in a unified way so that one can define the vertex operators as intertwining operators of them. The vertex operators are key for many applications such as a derivation of the elliptic weight functions, integral solutions of the (elliptic) q-KZ equation and a formulation of algebraic analysis of the elliptic solvable lattice models. Identifying the elliptic weight functions with the elliptic stable envelopes we make a correspondence between the level-0 representation of the elliptic quantum group and the equivariant elliptic cohomology. We also emphasize a characterization of the elliptic quantum groups as $q$-deformations of the W-algebras.

AG-2024.05-870

math.RT

Elliptic Quantum Toroidal Algebras, Z-algebra Structure and Representations

Hitoshi Konno, Kazuyuki Oshima

We introduce a new elliptic quantum toroidal algebra U_{q,κ,p}(g_tor) associated with an arbitrary toroidal algebra g_tor. We show that U_{q,κ,p}(g_tor) contains two elliptic quantum algebras associated with a corresponding affine Lie algebra bg as subalgebras. They are analogue of the horizontal and the vertical subalgebras in the quantum toroidal algebra U_{q,κ}(g_tor). A Hopf algebroid structure is introduced as a co-algebra structure of U_{q,κ,p}(g_tor) using the Drinfeld comultiplication. We also investigate the Z-algebra structure of U_{q,κ,p}(g_tor) and show that the Z-algebra governs the irreducibility of the level (k(\not=0),l)-infinite dimensional U_{q,κ,p}(g_tor)-modules in the same way as in the elliptic quantum group U_{q,p}(g). As an example, we construct the level (1,l) irreducible representation of U_{q,κ,p}(g_tor) for the simply laced gtor. We also construct the level (0,1) representation of U_{q,κ,p}(g_N,tor) and discuss a conjecture on its geometric interpretation as an action on the torus equivariant elliptic cohomology of the affine A_{N-1} quiver variety.

AG-2024.03-921

math.RT

Modularity for $\mathcal{W}$-algebras and affine Springer fibres

Peng Shan, Dan Xie, Wenbin Yan

We construct a bijection between admissible representations for an affine Lie algebra $\mathfrak{g}$ at boundary admissible levels and $\mathbb{C}^\times$ fixed points in homogeneous elliptic affine Springer fibres for the Langlands dual affine Lie algebra $\mathfrak{g}^\vee$. Using this bijection, we relate the modularity of the characters of admissible representations to Cherednik's Verlinde algebra construction coming from double affine Hecke algebras. Finally, we show that the expected behaviors of simple modules under quantized Drinfeld-Sokolov reductions are compatible with the reductions from affine Springer fibres to affine Spaltenstein varieties. This yields (modulo some conjectures) a similar bijection for irreducible representations of $\mathcal{W}$-algebras, as well as an interpretation for their modularity properties.

AG-2024.03-614

math.RT

On some simple orbifold affine VOAs at non-admissible level arising from rank one 4D SCFTs

Tomoyuki Arakawa, Xuanzhong Dai, Justine Fasquel, Bohan Li, Anne Moreau

We study the representations of some simple affine vertex algebras at non-admissible level arising from rank one 4D SCFTs. In particular, we classify the irreducible highest weight modules of $L_{-2}(G_2)$ and $L_{-2}(B_3)$. It is known by the works of Adamović and Perše that these vertex algebras can be conformally embedded into $L_{-2}(D_4)$. We also compute the associated variety of $L_{-2}(G_2)$, and show that it is the orbifold of the associated variety of $L_{-2}(D_4)$ by the symmetric group of degree 3 which is the Dynkin diagram automorphism group of $D_4$. This provides a new interesting example of associated variety satisfying a number of conjectures in the context of orbifold vertex algebras.

AG-2024.02-813

math.RT

Decompositions of hyperbolic Kac-Moody algebras with respect to imaginary root groups

Alex J. Feingold, Axel Kleinschmidt, Hermann Nicolai

We propose a novel way to define imaginary root subgroups associated with (timelike) imaginary roots of hyperbolic Kac-Moody algebras. Using in an essential way the theory of unitary irreducible representation of covers of the group SO(2,1), these imaginary root subgroups act on the complex Kac-Moody algebra viewed as a Hilbert space. We illustrate our new view on Kac-Moody groups by considering the example of a rank-two hyperbolic algebra that is related to the Fibonacci numbers. We also point out some open issues and new avenues for further research, and briefly discuss the potential relevance of the present results for physics and current attempts at unification.

AG-2024.01-783

math.RT

B-twisted Gaiotto-Witten theory and topological quantum field theory

Niklas Garner, Nathan Geer, Matthew B. Young

We develop representation theoretic techniques to construct three dimensional non-semisimple topological quantum field theories which model homologically truncated topological B-twists of abelian Gaiotto-Witten theory with linear matter. Our constructions are based on relative modular structures on the category of weight modules over an unrolled quantization of a Lie superalgebra. The Lie superalgebra, originally defined by Gaiotto and Witten, is associated to a complex symplectic representation of a metric abelian Lie algebra. The physical theories we model admit alternative realizations as Chern-Simons-Rozansky-Witten theories and supergroup Chern-Simons theories and include as particular examples global forms of $\mathfrak{gl}(1 \vert 1)$-Chern-Simons theory and toral Chern-Simons theory. Fundamental to our approach is the systematic incorporation of non-genuine line operators which source flat connections for the topological flavour symmetry of the theory.

AG-2024.01-642

math.RT

Skein algebras and quantized Coulomb branches

Dylan G. L. Allegretti, Peng Shan

To a compact oriented surface of genus at most one with boundary, we associate a quantized $K$-theoretic Coulomb branch in the sense of Braverman, Finkelberg, and Nakajima. In the case where the surface is a three- or four-holed sphere or a one-holed torus, we describe a relationship between this quantized Coulomb branch and the Kauffman bracket skein algebra of the surface. We formulate a general conjecture relating these algebras.

AG-2024.01-568

math.RT

Bratteli networks and the Spectral Action on quivers

Carlos I. Perez-Sanchez

In the context of noncommutative geometry, we consider quiver representations -- not on vector spaces, as traditional, but on finite-dimensional prespectral triples (`discrete topological noncommutative spaces'). A similar idea appeared in the original work of Marcolli-van Suijlekom on quiver representations in spectral triples (`discrete noncommutative geometries'), which paved the way for some of our results in independent directions. We introduce Bratteli networks, a structure that yields a neat combinatorial characterisation of the space $\mathrm{Rep}~Q$ of prespectral-triple-representations of a quiver $\mathrm{Rep}~Q$, as well as of the gauge group and of their quotient. Not only these claims that make it possible to `integrate over $\mathrm{Rep}~Q$' are, as we now argue, in line with the spirit of random noncommutative geometry -- formulating path integrals over Dirac operators -- but they also contain a physically relevant case. Namely, the equivalence between quiver representations and path algebra modules, established here for the new category, inspired the following construction: Only from representation theory data, we build a spectral triple for the quiver and evaluate the spectral action functional from a general formula over closed paths. When we apply this construction to lattice-quivers, we obtain not only Wilsonian Yang-Mills lattice gauge theory, but also the Weisz-Wohlert-cells in the context of Symanzik's improved gauge theory. We show that a hermitian (`Higgs') matrix field emerges from the self-loops of the quiver and derive the Yang-Mills--Higgs theory on flat space as a smooth limit.

AG-2015.05-1841

math.RT

Maximal green sequences for preprojective algebras

Magnus Engenhorst

Maximal green sequences were introduced as combinatorical counterpart for Donaldson-Thomas invariants for 2-acyclic quivers with potential by B. Keller. We take the categorical notion and introduce maximal green sequences for hearts of bounded t-structures of triangulated categories that can be tilted indefinitely. We study the case where the heart is the category of modules over the preprojective algebra of a quiver without loops. The combinatorical counterpart of maximal green sequences for Dynkin quivers are maximal chains in the Hasse quiver of basic support τ-tilting modules. We show that a quiver has a maximal green sequence if and only if it is of Dynkin type. More generally, we study module categories for finite- dimensional algebras with finitely many bricks.

AG-2015.04-1837

math.RT

Double Vogan superdiagrams of Lie superalgebras and symmetric superspaces

Biswajit Ransingh

A Vogan superdiagram is a set of involution and painting on a Dynkin diagram. It selects a real form, or equivalently an involution, from a complex simple Lie superalgebra. We introduce the double Vogan superdiagram, which is two sets of Vogan superdiagrams superimposed on an affine Dynkin diagram. They correspond to pairs of commuting involutions on complex simple Lie superalgebras, and therefore provide an independent classification of the simple locally symmetric or symmetric superpairs.

AG-2015.03-1752

math.RT

Symmetric Lie superalgebras and deformed quantum Calogero-Moser problems

A. N. Sergeev, A. P. Veselov

The representation theory of symmetric Lie superalgebras and corresponding spherical functions are studied in relation with the theory of the deformed quantum Calogero-Moser systems. In the special case of symmetric pair g=gl(n,2m), k=osp(n,2m) we establish a natural bijection between projective covers of spherically typical irreducible g-modules and the finite dimensional generalised eigenspaces of the algebra of Calogero-Moser integrals D_{n,m} acting on the corresponding Laurent quasi-invariants A_{n,m}.

AG-2015.03-295

math.RT

A superdimension formula for gl(m|n) modules

Michael Chmutov, Rachel Karpman, Shifra Reif

We give a formula for the superdimension of a finite-dimensional simple gl(m|n)-module using the Su-Zhang character formula. As a corollary, we obtain a simple algebraic proof of a conjecture of Kac-Wakimoto for gl(m|n), namely, a simple module has nonzero superdimension if and only if it has maximal degree of atypicality. This conjecture was proven originally by Serganova using the Duflo-Serganova associated variety.

AG-2015.02-1623

math.RT

Algebraic analysis on scalar generalized Verma modules of Heisenberg parabolic type I.: $A_n$-series

Libor Křižka, Petr Somberg

In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the composition series and branching problems for objects in the Bernstein-Gelfand-Gelfand parabolic category $\mathcal{O}^\mathfrak{p}$ geometrically realized on certain orbits in the generalized flag manifolds. The general framework is then applied to the scalar generalized Verma modules supported on the closed Schubert cell of the generalized flag manifold $G/P$ for $G={\rm SL}(n+2,\mathbb{C})$ and $P$ the Heisenberg parabolic subgroup, and the algebraic analysis gives a complete classification of $\mathfrak{g}'_r$-singular vectors for all $\mathfrak{g}'_r=\mathfrak{sl}(n-r+2,\mathbb{C})\,\subset\, \mathfrak{g}=\mathfrak{sl}(n+2,\mathbb{C})$, $n-r > 2$. A consequence of our results is that we classify ${\rm SL}(n-r+2,\mathbb{C})$-covariant differential operators acting on homogeneous line bundles over the complexification of the odd dimensional CR-sphere $S^{2n+1}$ and valued in homogeneous vector bundles over the complexification of the CR-subspheres $S^{2(n-r)+1}$.

AG-2015.02-601

math.RT

Categorification of Virasoro-Magri Poisson vertex algebra

Seok-Jin Kang, Uhi Rinn Suh

Let S be the direct sum of algebra of symmetric groups C S_n for a non-negative integer n. We show that the Grothendieck group K_0(S) of the category of finite dimensional modules of S is isomorphic to the differential algebra of polynomials Z[D^n x]. Moreover, for a non-negative integer m, we define m-th products on K_0(S) which make the algebra K_0(S) isomorphic to an integral form of the Virasoro-Magri Poisson vertex algebra. Also, we investigate relations between K_0(S) and K_0(N) where K_0(N) is the direct sum of Grothendieck groups K_0(N_n) of finitely generated projective N_n-modules. Here N_n is the nil-Coxeter algebra generated by n-1 elements.

AG-2014.12-1605

math.RT

Kazhdan-Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$

Keiichi Shigechi

We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Schützenberger to our case.

AG-2014.11-2400

math.RT

Phases of stable representations of quivers

Magnus Engenhorst

We consider stable representations of non-Dynkin quivers with respect to a central charge. On one condition the existence of a stable representation with self-extensions implies the existence of infinitely many stables without self-extensions. In this case the phases of the stable representations approach one or two limit points. In particular, the phases are not dense in two arcs.

AG-2014.11-3024

math.RT

Explicit constructions of unitary transformations between equivalent irreducible representations

Marek Mozrzymas, Michał Studziński, Michał Horodecki

Irreducible representations (irreps) of a finite group $G$ are equivalent if there exists a similarity transformation between them. In this paper, we describe an explicit algorithm for constructing this transformation between a pair of equivalent irreps, assuming we are given an algorithm to compute the matrix elements of these irreps. Along the way, we derive a generalization of the classical orthogonality relations for matrix elements of irreps of finite groups. We give an explicit form of such unitary matrices for the important case of conjugated Young-Yamanouchi representations, when our group $G$ is symmetric group $S(N)$.

AG-2014.11-2296

math.RT

Asymptotics of spherical superfunctions on rank one Riemannian symmetric superspaces

Alexander Alldridge, Wolfgang Palzer

We compute the Harish-Chandra $c$-function for a generic class of rank-one purely non-compact Riemannian symmetric superspaces $X=G/K$ in terms of Euler $Γ$ functions, proving that it is meromorphic. Compared to the even case, the poles of the $c$-function are shifted into the right half-space. We derive the full asymptotic Harish-Chandra series expansion of the spherical superfunctions on $X$. In the case where the multiplicity of the simple root is an even negative number, they have a closed expression as Jacobi polynomials for an unusual choice of parameters.

AG-2014.10-4321

math.RT

Some remarks on representations of Yang-Mills algebras

Estanislao Herscovich

In this article we present some probably unexpected (in our opinion) properties of representations of Yang-Mills algebras. We first show that any free Lie algebra with m generators is a quotient of the Yang-Mills algebra ym(n) on n generators, for n greater than or equal to 2m. We derive from this that any semisimple Lie algebra, and even any affine Kac-Moody algebra is a quotient of ym(n), for n greater than or equal to 4. Combining this with previous results on representations of Yang-Mills algebras given in an article by the author together with A. Solotar, one may obtain solutions to the Yang-Mills equations by differential operators acting on sections of twisted vector bundles on the affine space associated to representations of any semisimple Lie algebra. We also show that this quotient property does not hold for n = 3, since any morphism of Lie algebras from ym(3) to sl(2,k) has in fact solvable image.

AG-2014.10-3686

math.RT

Virasoro representations with central charges $\frac{1}{2}$ and 1 on the real neutral fermion Fock space $\mathit{F^{\otimes \frac{1}{2}}}$

Iana I. Anguelova

We study a family of fermionic oscillator representations of the Virasoro algebra via 2-point-local Virasoro fields on the Fock space $\mathit{F^{\otimes \frac{1}{2}}}$ of a neutral (real) fermion. We obtain the decomposition of $\mathit{F^{\otimes \frac{1}{2}}}$ as a direct sum of irreducible highest weight Virasoro modules with central charge $c=1$. As a corollary we obtain the decomposition of the irreducible highest weight Virasoro modules with central charge $c=\frac{1}{2}$ into irreducible highest weight Virasoro modules with central charge $c=1$. As an application we show how positive sum (fermionic) character formulas for the Virasoro modules of charge $c=\frac{1}{2}$ follow from these decompositions.

AG-2014.09-1727

math.RT

The Moonshine Module for Conway's Group

John F. R. Duncan, Sander Mack-Crane

We exhibit an action of Conway's group---the automorphism group of the Leech lattice---on a distinguished super vertex operator algebra, and we prove that the associated graded trace functions are normalized principal moduli, all having vanishing constant terms in their Fourier expansion. Thus we construct the natural analogue of the Frenkel--Lepowsky--Meurman moonshine module for Conway's group. The super vertex operator algebra we consider admits a natural characterization, in direct analogy with that conjectured to hold for the moonshine module vertex operator algebra. It also admits a unique canonically-twisted module, and the action of the Conway group naturally extends. We prove a special case of generalized moonshine for the Conway group, by showing that the graded trace functions arising from its action on the canonically-twisted module are constant in the case of Leech lattice automorphisms with fixed points, and are principal moduli for genus zero groups otherwise.

AG-2014.09-2722

math.RT

Representations of centrally extended Lie superalgebra $\mathfrak{psl}(2|2)$

Takuya Matsumoto, Alexander Molev

The symmetries provided by representations of the centrally extended Lie superalgebra $\mathfrak{psl}(2|2)$ are known to play an important role in the spin chain models originated in the planar anti-de Sitter/conformal field theory correspondence and one-dimensional Hubbard model. We give a complete description of finite-dimensional irreducible representations of this superalgebra thus extending the work of Beisert which deals with a generic family of representations. Our description includes a new class of modules with degenerate eigenvalues of the central elements. Moreover, we construct explicit bases in all irreducible representations by applying the techniques of Mickelsson--Zhelobenko algebras.

AG-2014.08-1014

math.RT

Symplectic structures on $3$-Lie algebras

Ruipu Bai, Shuangshuang Chen, Rong Cheng

The symplectic structures on $3$-Lie algebras and metric symplectic $3$-Lie algebras are studied. For arbitrary $3$-Lie algebra $L$, infinite many metric symplectic $3$-Lie algebras are constructed. It is proved that a metric $3$-Lie algebra $(A, B)$ is a metric symplectic $3$-Lie algebra if and only if there exists an invertible derivation $D$ such that $D\in Der_B(A)$, and is also proved that every metric symplectic $3$-Lie algebra $(\tilde{A}, \tilde{B}, \tildeω)$ is a $T^*_θ$-extension of a metric symplectic $3$-Lie algebra $(A, B, ω)$. Finally, we construct a metric symplectic double extension of a metric symplectic $3$-Lie algebra by means of a special derivation.

AG-2014.07-1866

math.RT

A path model for Whittaker vectors

P. Di Francesco, R. Kedem, B. Turmunkh

In this paper we construct weighted path models to compute Whittaker vectors in the completion of Verma modules, as well as Whittaker functions of fundamental type, for all finite-dimensional simple Lie algebras, affine Lie algebras, and the quantum algebra $U_q(\mathfrak{sl}_{r+1})$. This leads to series expressions for the Whittaker functions. We show how this construction leads directly to the quantum Toda equations satisfied by these functions, and to the $q$-difference equations in the quantum case. We investigate the critical limit of affine Whittaker functions computed in this way.

AG-2014.07-1377

math.RT

Remarks on Cohomological Hall algebras and their representations

Yan Soibelman

The paper is devoted to several questions related to the notion of Cohomological Hall algebra (COHA for short) introduced few years ago by Maxim Kontsevich and the author. In particular we discuss a class of representations of COHA in the cohomology groups of the moduli spaces of stable framed objects. We speculate about possible sources of interesting representations as well as about some applications to geometry and physics.

AG-2014.07-1189

math.RT

Umbral Moonshine and the Niemeier Lattices

Miranda C. N. Cheng, John F. R. Duncan, Jeffrey A. Harvey

In this paper we relate umbral moonshine to the Niemeier lattices: the 23 even unimodular positive-definite lattices of rank 24 with non-trivial root systems. To each Niemeier lattice we attach a finite group by considering a naturally defined quotient of the lattice automorphism group, and for each conjugacy class of each of these groups we identify a vector-valued mock modular form whose components coincide with mock theta functions of Ramanujan in many cases. This leads to the umbral moonshine conjecture, stating that an infinite-dimensional module is assigned to each of the Niemeier lattices in such a way that the associated graded trace functions are mock modular forms of a distinguished nature. These constructions and conjectures extend those of our earlier paper, and in particular include the Mathieu moonshine observed by Eguchi-Ooguri-Tachikawa as a special case. Our analysis also highlights a correspondence between genus zero groups and Niemeier lattices. As a part of this relation we recognise the Coxeter numbers of Niemeier root systems with a type A component as exactly those levels for which the corresponding classical modular curve has genus zero.

AG-2014.06-1009

math.RT

The MacMahon Master Theorem for right quantum superalgebras and higher Sugawara operators for $\widehat{\mathfrak{gl}}(m|n)$

A. I. Molev, E. Ragoucy

We prove an analogue of the MacMahon Master Theorem for the right quantum superalgebras. In particular, we obtain a new and simple proof of this theorem for the right quantum algebras. In the super case the theorem is then used to construct higher order Sugawara operators for the affine Lie superalgebra $\widehat{\mathfrak{gl}}(m|n)$ in an explicit form. The operators are elements of a completed universal enveloping algebra of $\widehat{\mathfrak{gl}}(m|n)$ at the critical level. They occur as the coefficients in the expansion of a noncommutative Berezinian and as the traces of powers of generator matrices. The same construction yields higher Hamiltonians for the Gaudin model associated with the Lie superalgebra $\mathfrak{gl}(m|n)$. We also use the Sugawara operators to produce algebraically independent generators of the algebra of singular vectors of any generic Verma module at the critical level over the affine Lie superalgebra.

AG-2014.06-865

math.RT

Faithful representations of Lie algebras and Homogeneous Spaces

Petros A. Terzis

The faithful representations of real Lie algebras g with dimensions $n\leq 4$ acting on the dual space of the universal covering algebra of an ideal s of g, are calculated. With the help of left and right translations of the Lie group, we define the homogeneous manifolds of dimension n and we calculate the Killing fields (generators of left translations), the invariant fields (generators of right translations) and the left invariant 1-forms.

AG-2014.06-815

math.RT

Tensor Decomposition, Parafermions, Level-Rank Duality, and Reciprocity Law for Vertex Operator Algebras

Cuipo, Jiang, Zongzhu Lin

For the semisimple Lie algebra $ \frak{sl}_n$, the basic representation $L_{\widehat{\frak{sl}_{n}}}(1,0)$ of the affine Lie algebra $\widehat{\frak{sl}_{n}}$ is a lattice vertex operator algebra. The first main result of the paper is to prove that the commutant vertex operator algebra of $ L_{\widehat{\frak{sl}_{n}}}(l,0)$ in the $l$-fold tensor product $ L_{\widehat{\frak{sl}_{n}}}(1,0)^{\otimes l}$ is isomorphic to the parafermion vertex operator algebra $K(\frak{sl}_{l},n)$, which is the commutant of the Heisenberg vertex operator algebra $L_{\widehat{\frak{h}}}(n,0) $ in $L_{\widehat{\frak{sl}_l}}(n,0)$. The result provides a version of level-rank duality. The second main result of the paper is to prove more general version of the first result that the commutant of $ L_{\widehat{\frak{sl}_{n}}}(l_1+\cdots +l_s, 0)$ in $L_{\widehat{\frak{sl}_{n}}}(l_1,0)\otimes \cdots \otimes L_{\widehat{\frak{sl}_{n}}}(l_s, 0)$ is isomorphic to the commutant of the vertex operator algebra generated by a Levi Lie subalgebra of $\frak{sl}_{l_1+\cdots+l_s}$ corresponding to the composition $(l_1, \cdots, l_s)$ in the rational vertex operator algebra $ L_{\widehat{\frak{sl}}_{l_1+\cdots +l_s}}(n,0)$. This general version also resembles a version of reciprocity law discussed by Howe in the context of reductive Lie groups. In the course of the proof of the main results, certain Howe duality pairs also appear in the context of vertex operator algebras.

AG-2014.05-478

math.RT

Equivariant quantum cohomology and Yang-Baxter algebras

Vassily Gorbounov, Christian Korff

There are two intriguing statements regarding the quantum cohomology of partial flag varieties. The first one relates quantum cohomology to the affinisation of Lie algebras and the homology of the affine Grassmannian, the second one connects it with the geometry of quiver varieties. The connection with the affine Grassmannian was first discussed in unpublished work of Peterson and subsequently proved by Lam and Shimozono. The second development is based on recent works of Nekrasov, Shatashvili and of Maulik, Okounkov relating the quantum cohomology of Nakajima varieties with integrable systems and quantum groups. In this article we explore for the simplest case, the Grassmannian, the relation between the two approaches. We extend the definition of the integrable systems called vicious and osculating walkers to the equivariant setting and show that these models have simple expressions in a particular representation of the affine nil-Hecke ring. We compare this representation with the one introduced by Kostant and Kumar and later used by Peterson in his approach to Schubert calculus. We reveal an underlying quantum group structure in terms of Yang-Baxter algebras and relate them to Schur-Weyl duality. We also derive new combinatorial results for equivariant Gromov-Witten invariants such as an explicit determinant formula.

AG-2014.04-1529

math.RT

Anti De Sitter Deformation of Quaternionic Analysis and the Second Order Pole

Igor Frenkel, Matvei Libine

This is a continuation of a series of papers [FL1, FL2, FL3], where we develop quaternionic analysis from the point of view of representation theory of the conformal Lie group and its Lie algebra. In this paper we continue to study the quaternionic analogues of Cauchy's formula for the second order pole. These quaternionic analogues are closely related to regularization of infinities of vacuum polarization diagrams in four-dimensional quantum field theory. In order to add some flexibility, especially when dealing with Cauchy's formula for the second order pole, we introduce a one-parameter deformation of quaternionic analysis. This deformation of quaternions preserves conformal invariance and has a geometric realization as anti de Sitter space sitting inside the five-dimensional Euclidean space. We show that many results of quaternionic analysis - including the Cauchy-Fueter formula - admit a simple and canonical deformation. We conclude this paper with a deformation of the quaternionic analogues of Cauchy's formula for the second order pole.

AG-2014.04-101

math.RT

Fusion rings for quantum groups

Henning Haahr Andersen, Catharina Stroppel

We study the fusion rings of tilting modules for a quantum group at a root of unity modulo the tensor ideal of negligible tilting modules. We identify them in type A with the combinatorial rings from [KS] and give a similar description of the sp(2n)-fusion ring in terms of noncommutative symmetric functions. Moreover we give a presentation of all fusion rings in classical types as quotients of polynomial rings extending known results in special cases. Finally we also compute the fusion rings for type G2.

AG-2014.03-1641

math.RT

Reproducing kernel Hilbert spaces of CR functions for the Euclidean Motion group

Davide Barbieri, Giovanna Citti

We study the geometric structure of the reproducing kernel Hilbert space associated to the continuous wavelet transform generated by the irreducible representations of the Euclidean Motion $SE(2)$. A natural Hilbert norm for functions on the group is constructed that makes the wavelet transform an isometry, but since the considered representations are not square integrable the resulting Hilbert space will not coincide with $L^2(SE(2))$. The reproducing kernel Hilbert subspace generated by the wavelet transform, for the case of a minimal uncertainty mother wavelet, can be characterized in terms of the complex regularity defined by the natural $CR$ structure of the group. Relations with the Bargmann transform are presented.

AG-2014.03-1572

math.RT

Calculus of Operators: Covariant Transform and Relative Convolutions

Vladimir V. Kisil

This paper outlines a covariant theory of operators defined on groups and homogeneous spaces. A systematic use of groups and their representations allows to obtain results of algebraic and analytical nature. The consideration is systematically illustrated by a representative collection of examples. Keywords: Lie groups and algebras, convolution operator, relative convolution, representation theory, pseudo-differential operators, PDO, singular integral operator, SIO, the Heisenberg group, SL(2,R), induced representation, Fock-Segal-Bargmann (FSB) representation, Shrodinger representation, covariant transform, contravariant transform, wavelet transform, square integrable representations, reproducing kernel, Fourier-Wigner transform, deformation quantization, Bergman space, Berezin's symbol, Wick symbol, Schwartz kernel, Toeplitz operator, operators of local type, Simonenko's localisation, reproducing kernel thesis, Dynin group, twisted convolution, star product, Groenewold-Moyal, composition operator.

AG-2014.03-2313

math.RT

Superbosonisation via Riesz superdistributions

Alexander Alldridge, Zain Shaikh

The superbosonisation identity of Littelmann-Sommers-Zirnbauer is a new tool to study universality of random matrix ensembles via supersymmetry, which is applicable to non-Gaussian invariant distributions. In this note, we identify the right-hand side with a super-generalisation of the Riesz distribution. Using the Laplace transformation and tools from harmonic superanalysis, we give a short and conceptual new proof of the formula.

AG-2014.03-1348

math.RT

Kazhdan-Lusztig coefficients for the lowest two-sided cell of type $\tilde{G_{2}}$

Peng-Fei Guo, Hai-Tao Ma, Zhu-Jun Zheng

This paper studies the Kazhdan-Lusztig coefficients $μ(u,w)$ of the Kazhdan-Lusztig polynomials $P_{u,w}$ for the lowest cell ${c_{0}}$ of an affine Weyl group of type $\widetilde{G_{2}}$ and gives an estimation $μ(u,w)\leqslant 3$ for $u,w\in c_{0}$.

AG-2014.03-365

math.RT

On the continuous series for affine sl(2,R)

Igor B. Frenkel, Anton M. Zeitlin

We construct the representations of affine sl(2,R) starting from the unitary representations of the loop ax+b-group. Our approach involves a combinatorial analysis of the correlation functions of the generators and renormalization of the appearing divergencies. We view our construction as a step towards a realization of the principal series representations of affine sl(2,R).

AG-2014.03-363

math.RT

Quantum Group $GL_q(2)$ and Quantum Laplace Operator via Semi-infinite Cohomology

Igor B. Frenkel, Anton M. Zeitlin

We construct the quantum group $GL_q(2)$ as the semi-infinite cohomology of the tensor product of two braided vertex operator algebras based on the algebra $W_2$ with complementary central charges $c+\bar{c}=28$. The conformal field theory version of the Laplace operator on the quantum group is also obtained.

AG-2014.03-311

math.RT

$E_7 \subset Sp(56,R)$ irrep decompositions of interest for physical models

Lorenzo Fortunato, Willem A. de Graaf

In this note we show how to obtain the projection matrix for the $E_7 \subset C_{28}$ chain and we tabulate some decompositions of the symplectic algebra $C_{28}$ representations into irreps of the $E_7$ subalgebra that are important for various physical models.

AG-2014.03-2838

math.RT

Classical W-algebras in types A, B, C, D and G

A. I. Molev, E. Ragoucy

We produce explicit generators of the classical W-algebras associated with the principal nilpotents in the simple Lie algebras of all classical types and in the exceptional Lie algebra of type $G_2$. The generators are given by determinant formulas in the context of the Poisson vertex algebras. We also show that the images of the W-algebra generators under the Chevalley-type isomorphism coincide with the elements defined via the corresponding Miura transformations.

AG-2014.03-234

math.RT

Tilting and Refined Donaldson-Thomas Invariants

Magnus Engenhorst

We study tilting for the heart A of the canonical t-structure of the finite-dimensional derived category of the Ginzburg algebra for a quiver with potential (Q,W). We give conditions on that the stable objects for a central charge on A define a sequence of simple tilts from A to A[-1]. On that conditions the refined Donaldson-Thomas invariant associated to (Q,W) is independent of the chosen central charge.

AG-2014.02-1543

math.RT

An introduction to the half-infinite wedge

Rodolfo Rios-Zertuche

After a quick review of the representation theory of the symmetric group, we give an exposition of the tools brought about by the so-called half-infinite wedge representation of the infinite symmetric group. We show how these can be applied to find the limit shapes of several distributions on partitions. We also briefly review the variational methods available to compute these limit shapes.

AG-2014.02-1511

math.RT

Classification of positive energy representations of the Virasoro group

Hadi Salmasian, Karl-Hermann Neeb

We give a complete classification of all positive energy unitary representations of the Virasoro group. More precisely, we prove that every such representation can be expressed in an essentially unique way as a direct integral of irreducible highest weight representations.

AG-2014.02-1341

math.RT

Integral representation and sharp asymptotic results for some Heckman-Opdam hypergeometric functions of type BC

Margit Rösler, Michael Voit

The Heckman-Opdam hypergeometric functions of type BC extend classical Jacobi functions in one variable and include the spherical functions of non-compact Grassmann manifolds over the real, complex or quaternionic numbers. There are various limit transitions known for such hypergeometric functions. In the present paper, we use an explicit form of the Harish-Chandra integral representation as well as an interpolated variant, in order to obtain limit results for three continuous classes of hypergeometric functions of type BC which are distinguished by explicit, sharp and uniform error bounds. The first limit realizes the approximation of the spherical functions of infinite dimensional Grassmannians of fixed rank; here hypergeometric functions of type A appear as limits. The second limit is a contraction limit towards Bessel functions of Dunkl type.

AG-2014.02-320

math.RT

Representations of the ultrahyperbolic BMS group HB. III. Determination of the representations induced from finite little groups

Evangelos Melas

The ordinary Bondi-Metzner-Sachs (BMS) group B is the common asymptotic symmetry group of all asymptotically flat Lorentzian space-times. As such, B is the best candidate for the universal symmetry group of General Relativity. However, in studying quantum gravity, space-times with signatures other than the usual Lorentzian one, and complex space-times, are frequently considered. Generalisations of B appropriate to these other signatures have been defined earlier. In particular, HB, a variant of BMS group appropriate to the ultrahyperbolic signature (+,+,-,-), has been defined in a previous paper where it was shown that all the strongly continuous unitary irreducible representations (IRs) of HB can be obtained with the Wigner-Mackey's inducing method and that all the little groups of HB are compact.Here we describe in detail all the finite little groups of HB and we find all the IRs of HB induced by them.

AG-2014.01-646

math.RT

Contractions of Lie algebras with 2-dimensional generic coadjoint orbits

Daniel Beltita, Benjamin Cahen

We determine all the contractions within the class of finite-dimensional real Lie algebras whose coadjoint orbits have dimensions $\le2$.

AG-2014.01-2330

math.RT

Hom Gel'fand-Dorfman bialgebras and Hom-Lie conformal algebras

Lamei Yuan

The aim of this paper is to introduce the notions of Hom Gel'fand-Dorfman bialgebra and Hom-Lie conformal algebra. In this paper, we give four constructions of Hom Gel'fand-Dorfman bialgebras. Also, we provide a general construction of Hom-Lie conformal algebras from Hom-Lie algebras. Finally, we prove that a Hom Gel'fand-Dorfman bialgebra is equivalent to a Hom-Lie conformal algebra of degree 2.

AG-2013.12-193

math.RT

Representations of the ultrahyperbolic BMS group HB.II. Determination of the representations induced from infinite little groups

Evangelos Melas

The ordinary Bondi-Metzner-Sachs (BMS) group B is the common asymptotic symmetry group of all asymptotically flat Lorentzian space-times. As such, B is the best candidate for the universal symmetry group of General Relativity. However, in studying quantum gravity, space-times with signatures other than the usual Lorentzian one, and complex space-times, are frequently considered. Generalisations of B appropriate to these other signatures have been defined earlier. In particular, the generalisation HB, a BMS group appropriate to the ultrahyperbolic signature (+,+,-,-), has been defined in a previous paper where it was shown that all the strongly continuous unitary irreducible representations (IRs) of HB can be obtained with the Wigner-Mackey's inducing method and that all the little groups of HB are compact. Here we describe in detail all the infinite little groups of HB and we find the IRs of HB induced by them.

AG-2013.11-1239

math.RT

Quasi-Whittaker modules for the Schrödinger algebra

Yan-an Cai, Yongsheng Cheng, Ran Shen

In this paper, we construct a new class of modules for the Schrödinger algebra $\mS$, called quasi-Whittaker module. Different from \cite{[ZC]}, the quasi-Whittaker module is not induced by the Borel subalgebra of the Schrödinger algebra related with the triangular decomposition, but its Heisenberg subalgebra $\mH$. We prove that, for a simple $\mS$-module $V$, $V$ is a quasi-Whittaker module if and only if $V$ is a locally finite $\mH$-module; Furthermore, we classify the simple quasi-Whittaker modules by the elements with the action similar to the center elements in $U(\mS)$ and their quasi-Whittaker vectors. Finally, we characterize arbitrary quasi-Whittaker modules.

AG-2013.11-1234

math.RT

A new proof of the $\mathfrak{sl}_{2}$ action on the triplet vertex algebra

Xianzu Lin

Let $\mathcal {W}(p)$ be the triplet vertex algebra of central charge $c_{p}=1-\frac{6(p-1)^{2}}{p}$, $p\geq2$. As a Virasoro module, we have $$\mathcal {W}(p)=\bigoplus_{n=0} ^{\infty}(2n+1) L(c_{p}, n^{2}p+np-n).$$ It was pointed out in \cite{am1} that $\mathcal {W}(p)$ admits an action of $\mathfrak{sl}_{2}$. In this paper we give a combinatorics description of $\mathcal {W}(p)$, from which the action of $\mathfrak{sl}_{2}$ follows quite directly. In the end of this paper we give similar descriptions of the invariant subalgebra $\mathcal {W}(p)^Γ$, these will be useful for the characterizations of the exceptional vertex operator algebras of central charge $1$ in forthcoming papers. We also hope to extend the method of this paper to subalgebra of lattice vertex operator algebras of higher rank.

AG-2013.11-903

math.RT

Characterizations of the exceptional vertex operator algebras of central charge $1$: II

Xianzu Lin

It is the second paper in a series devoted to the investigation of characterizations of the exceptional vertex operator algebras of central charge 1. In this paper, we give a characterization of the rational vertex operator algebra VOL, where L is the root lattice of type A1 and O is the octahedral group.

AG-2013.11-3896

math.RT

Polytope Expansion of Lie Characters and Applications

Mark A. Walton

The weight systems of finite-dimensional representations of complex, simple Lie algebras exhibit patterns beyond Weyl-group symmetry. These patterns occur because weight systems can be decomposed into lattice polytopes in a natural way. Since lattice polytopes are relatively simple, this decomposition is useful, in addition to being more economical than the decomposition into single weights. An expansion of characters into polytope sums follows from the polytope decomposition of weight systems. We study this polytope expansion here. A new, general formula is given for the polytope sums involved. The combinatorics of the polytope expansion are analyzed; we point out that they are reduced from those of the Weyl character formula (described by the Kostant partition function) in an optimal way. We also show that the weight multiplicities can be found easily from the polytope multiplicities, indicating explicitly the equivalence of the two descriptions. Finally, we demonstrate the utility of the polytope expansion by showing how polytope multiplicities can be used in the calculation of tensor product decompositions, and subalgebra branching rules.

AG-2013.10-2039

math.RT

The Segal-Bargmann transform for unitary groups in the large-N limit

Brian C. Hall

This paper describes results of the author with B. K. Driver and T. Kemp concerning the large-N limit of the Segal--Bargmann transform for the unitary group U(N). We consider the transform on matrix-valued functions that are polynomials in a single variable in U(N). We show that in the large-N limit, the transform maps functions of this type to single-variable polynomial functions on the complex group GL(N;C). This result was conjectured by Ph. Biane and was also proved independently by G. Cébron. The first main ingredient in our proof of this result is an "asymptotic product rule" for the Laplacian on U(N), which allows us to compute explicitly the leading-order large-N behavior of the heat operator on U(N). The second main ingredient in the proof is the phenomenon of "concentration of traces," in which the relevant heat kernel measures are concentrating onto sets where the trace of any power of the variable is constant.

AG-2013.10-1617

math.RT

On a class of tensor product representations for the orthosymplectic superalgebra

Kevin Coulembier

We introduce the spinor representations for osp(m|2n). These generalize the spinors for so(m) and the symplectic spinors for sp(2n) and correspond to representations of the supergroup with supergroup pair (Spin(m) x Mp(2n),osp(m|2n)). We prove that these spinor spaces are uniquely characterized as the completely pointed osp(m|2n)-modules. Then the tensor product of this representation with irreducible finite dimensional osp(m|2n)-modules is studied. Therefore we derive a criterion for complete reducibility of tensor product representations. We calculate the decomposition into irreducible osp(m|2n)-representations of the tensor product of the super spinor space with an extensive class of such representations and also obtain cases where the tensor product is not completely reducible.

AG-2013.10-2320

math.RT

F-method for symmetry breaking operators

Toshiyuki Kobayashi

We provide some insights in the study of branching problems of reductive groups, and a method of investigations into symmetry breaking operators. First, we give geometric criteria for finiteness property of linearly independent continuous (respectively, differential) operators that intertwine two induced representations of reductive Lie groups and their reductive subgroups. Second, we extend the F-method known for local operators to non-local operators. We then illustrate the idea by concrete examples in conformal geometry, and explain how the F-method works for detailed analysis of symmetry breaking operators, e.g., finding functional equations and explicit residue formulae of regular symmetry breaking operators with meromorphic parameters.

AG-2013.10-184

math.RT

Radial part calculations for affine sl2 and the Heun KZB-heat equation

Stefan Kolb

In the present paper we determine the radial part of the Casimir element for the Lie algebra affine sl2 with respect to the Chevalley involution. The resulting operator is identified with a blend of the Inozemtsev Hamiltonian and the KZB-heat equation in dimension one. Moreover, it is shown how the corresponding zonal spherical functions give rise to symmetric theta functions and convergence is discussed. The paper takes guidance from previous work by Etingof and Kirillov on the diagonal case.

AG-2013.09-2601

math.RT

Bernstein-Gelfand-Gelfand resolutions for basic classical Lie superalgebras

Kevin Coulembier

We study Kostant cohomology and Bernstein-Gelfand-Gelfand resolutions for finite dimensional representations of basic classical Lie superalgebras and reductive Lie superalgebras based on them. For each choice of parabolic subalgebra and irreducible representation of such a Lie superalgebra, there is a natural definition of the derivative and coderivative, which define the (co)homology groups. We prove that a necessary condition to have a resolution of an irreducible module in terms of Verma modules is complete reducibility of the cohomology groups. Essentially, if it exists, every such a resolution is then given by modules induced by these cohomology groups. We also prove that if these cohomology groups are completely reducible, a sufficient condition for the existence of such a resolution is that these groups are isomorphic to the kernel of the Kostant quabla operator, which is equivalent with disjointness of the derivative and coderivative. Then we use these results to derive very explicit criteria under which BGG resolutions exist, which are particularly useful for the superalgebras of type I. For the unitarisable representations of gl(m|n) and osp(2|2n) we derive conditions on the parabolic subalgebra under which the BGG resolutions exist. This extends the BGG resolutions for gl(m|n) previously obtained through superduality and leads to entirely new results for osp(2|2n). We also apply the obtained theory to construct specific examples of BGG resolutions for osp(m|2n).

AG-2013.08-3685

math.RT

The full Kostant-Toda hierarchy on the positive flag variety

Yuji Kodama, Lauren Williams

We study some geometric and combinatorial aspects of the solution to the full Kostant-Toda (f-KT) hierarchy, when the initial data is given by an arbitrary point on the totally non-negative (tnn) flag variety of SL_n(R). The f-KT flows on the tnn flag variety are complete, and their asymptotics are completely determined by the cell decomposition of the tnn flag variety given by Rietsch. We define the f-KT flow on the weight space via the moment map, and show that the closure of each f-KT flow forms an interesting convex polytope generalizing the permutohedron which we call a Bruhat interval polytope. We also prove analogous results for the full symmetric Toda hierarchy, by mapping our f-KT solutions to those of the full symmetric Toda hierarchy. In the Appendix we show that Bruhat interval polytopes are generalized permutohedra, in the sense of Postnikov, and that their edges correspond to cover relations in the Bruhat order.

AG-2013.08-991

math.RT

Graded contractions of the Gell-Mann graded sl(3,C)

Jiří Hrivnák, Petr Novotný

The Gell-Mann grading, one of the four gradings of sl(3,C) that cannot be further refined, is considered as the initial grading for the graded contraction procedure. Using the symmetries of the Gell-Mann grading, the system of contraction equations is reduced and solved. Each non-trivial solution of this system determines a Lie algebra which is not isomorphic to the original algebra sl(3,C). The resulting 53 contracted algebras are divided into two classes - the first is represented by the algebras which are also continuous Inonu-Wigner contractions, the second is formed by the discrete graded contractions.

AG-2013.08-2401

math.RT

Orthogonality of Macdonald polynomials with unitary parameters

J. F. van Diejen, E. Emsiz

For any admissible pair of irreducible reduced crystallographic root systems, we present discrete orthogonality relations for a finite-dimensional system of Macdonald polynomials with parameters on the unit circle subject to a truncation relation.

AG-2013.08-592

math.RT

Five dimensional gauge theories and vertex operators

Erik Carlsson, Nikita Nekrasov, Andrei Okounkov

We study supersymmetric gauge theories in five dimensions, using their relation to the K-theory of the moduli spaces of torsion free sheaves. In the spirit of the BPS/CFT correspondence the partition function and the expectation values of the chiral, BPS protected observables are given by the matrix elements and more generally by the correlation functions in some q-deformed conformal field theory in two dimensions. We show that the coupling of the gauge theory to the bi-fundamental matter hypermultiplet inserts a particular vertex operator in this theory. In this way we get a generalization of the main result of \cite{CO} to $K$-theory. The theory of interpolating Macdonald polynomials is an important tool in our construction.