We give a new combinatorial interpretation of Howe dual pairs of the form $(\g,{\rm Sp}_{2\ell})$, where $\g$ is a Lie (super)algebra of classical type. This is done by establishing a symplectic analogue of the RSK algorithm associated to this pair, in a uniform way which does not depend on $\g$. We introduce an analogue of jeu de taquin sliding for spinor model of irreducible characters of a Lie superalgebra $\g$ to define $P$-tableau and show that the associated $Q$-tableau is given by a symplectic tableau due to King.
We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.
Symplectic resolutions are an exciting new frontier of research in representation theory. One of the most fascinating aspects of this study is symplectic duality: the observation that these resolutions come in pairs with matching properties. The Coulomb branch construction allows us to produce and study many of these dual pairs. These notes survey much recent work in this area including quantization, categorification, and enumerative geometry. We particularly focus on ADE quiver varieties and affine Grassmannian slices.
Vertex operator realizations of symplectic and orthogonal Schur functions are studied and expanded. New proofs of determinant identities of irreducible characters for the symplectic and orthogonal groups are given. We also give a new proof of the duality between the universal orthogonal and symplectic Schur functions using vertex operators.
We study various aspects of the metaplectic Howe duality realized by Fischer decomposition for the metaplectic representation space of polynomials on $\mathbb{R}^{2n}$ valued in the Segal-Shale-Weil representation. As a consequence, we determine symplectic monogenics, i.e., the space of polynomial solutions of the symplectic Dirac operator.
We formulate and establish a super duality which connects parabolic categories $O$ between the ortho-symplectic Lie superalgebras and classical Lie algebras of $BCD$ types. This provides a complete and conceptual solution of the irreducible character problem for the ortho-symplectic Lie superalgebras in a parabolic category $O$, which includes all finite-dimensional irreducible modules, in terms of classical Kazhdan-Lusztig polynomials.
In this paper, we explore a consequence of symplectic duality (also known as 3d mirror symmetry) in the setting of enumerative geometry. The theory of quasimaps allows one to associate hypergeometric functions called vertex functions to quiver varieties. In this paper, we prove a formula which relates the vertex functions of $T^*Gr(k,n)$ and its symplectic dual. In the course of the proof, we study a family of $q$-difference operators which act diagonally on Macdonald polynomials. Our results may be interpreted from a combinatorial perspective as providing an evaluation formula for a $q$-Selbe…
We study the symplectic Howe duality using two new and independent combinatorial methods: via determinantal formulae on the one hand, and via (bi)crystals on the other hand. The first approach allows us to establish a generalised version where weight multiplicities are replaced by branching coefficients. In turn, this generalised Howe duality is used to prove the injectivity of induction for Levi branchings as previously conjectured by the last two authors.
Let $\mathbb{S}$ denote the oscillatory module over the complex symplectic Lie algebra $\mathfrak{g}= \mathfrak{sp}(\mathbb{V}^{\mathbb{C}},ω).$ Consider the $\mathfrak{g}$-module $\mathbb{W}=\bigwedge^{\bullet}(\mathbb{V}^*)^{\mathbb{C}}\otimes \mathbb{S}$ of exterior forms with values in the oscillatory module. We prove that the associative algebra $\hbox{End}_{\mathfrak{g}}(\mathbb{W})$ is generated by the image of a certain representation of the ortho-symplectic Lie super algebra $\mathfrak{osp}(1|2)$ and two distinguished projection operators. The space $\bigwedge^{\bullet}(\mathbb{V}^*)^…
A basis for the space of generalized theta functions of level one for the spin groups, parameterized by the theta characteristics (the even theta characteristcs for the odd spin groups) on a curve, is shown to be projectively flat over the moduli space of curves (for Hitchin's connection). The symplectic strange duality conjecture, conjectured by Beauville is shown to hold for all curves of genus at least two, by using Abe's proof of the conjecture for generic curves, and the above monodromy result.
In this paper we prove Schur-Weyl duality between the symplectic group and Brauer algebra over an arbitrary infinite field $K$. We show that the natural homomorphism from the Brauer algebra $B_n(-2m)$ to the endomorphism algebra of tensor space $(K^{2m})^{\otimes n}$ as a module over the symplectic similitude group $GSp_{2m}(K)$ (or equivalently, as a module over the symplectic group $Sp_{2m}(K)$) is always surjective. Another surjectivity, that of the natural homomorphism from the group algebra for $GSp_{2m}(K)$ to the endomorphism algebra of $(K^{2m})^{\otimes n}$ as a module over $B_n(-2m)$…
We define and study category $\mathcal O$ for a symplectic resolution, generalizing the classical BGG category $\mathcal O$, which is associated with the Springer resolution. This includes the development of intrinsic properties parallelling the BGG case, such as a highest weight structure and analogues of twisting and shuffling functors, along with an extensive discussion of individual examples. We observe that category $\mathcal O$ is often Koszul, and its Koszul dual is often equivalent to category $\mathcal O$ for a different symplectic resolution. This leads us to define the notion of a s…
We prove an integral version of the Schur--Weyl duality between the specialized Birman--Murakami--Wenzl algebra $B_n(-q^{2m+1},q)$ and the quantum algebra associated to the symplectic Lie algebra sp_{2m}. In particular, we deduce that this Schur--Weyl duality holds over arbitrary (commutative) ground rings, which answers a question of Lehrer and Zhang [Strongly multiplicity free modules for Lie algebras and quantum groups, J. Algebra (1) 306 (2006), 138--174] in the symplectic case. As a byproduct, we show that, as $Z[q,q^{-1}]$-algebra, the quantized coordinate algebra defined by Kashiwara is…
We construct and study the holomorphic discrete series representation and the principal series representation of the symplectic group $\mathrm{Sp}(2n,F)$ over a $p$-adic field $F$ as well as a duality between some sub-representations of these two representations. The constructions of these two representations generalize those defined in Morita and Murase's works. Moreover, Morita built a duality for $\mathrm{SL}(2, F)$ defined by residues. We view the duality we defined as an algebraic interpretation of Morita's duality in some extent and its generalization to the symplectic groups.
We introduce a semisimple tensor category $\mc{O}^{int}_q(m|n)$ of modules over an quantum ortho-symplectic superalgebra. It is a natural counterpart of the category of finitely dominated integrable modules over the quantum classical (super) algebra of type $B_{m+n}$, $C_{m+n}$, $D_{m+n}$ or $B(0,m+n)$ from a viewpoint of super duality. We classify the irreducible modules in $\mc{O}^{int}_q(m|n)$ and show that an irreducible module in $\mc{O}^{int}_q(m|n)$ has a unique crystal base in case of type $B$ and $C$. An explicit description of the crystal graph is given in terms of a new combinatoria…
We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV boundary condition defines a pair of modules for quantized algebras of chiral Higgs- and Coulomb-branch operators, respectively, whose structure we derive. In the case of abelian theories, we use the formalism of hyperplane arrangements to make our constructions very explicit, and construct a half-BPS interface that implements the action of 3d mirror symmetry on ga…
We show that the centraliser of the maximal compact subgroup of the real orthogonal or symplectic groups acting on tensors of their standard representation are isomorphic to cyclotomic Brauer algebras. We also show that for the symplectic group this cyclotomic Brauer algebra splits into summands of walled Brauer algebras.
Let $λ: \tilde{G}\to G$ be the non-trivial double covering of the symplectic group $G=Sp(V,ω)$ of the symplectic vector space $(V,ω)$ by the metaplectic group $\tilde{G}=Mp(V,ω).$ In this case, $λ$ is also a representation of $\tilde{G}$ on the vector space $V$ and thus, it gives rise to the representation of $\tilde{G}$ on the space of exterior forms $\bigwedge^{\bullet}V^*$ by taking wedge products. Let $S$ be the minimal globalization of the Harish-Chandra module of the complex Segal-Shale-Weil representation of the metaplectic group $\tilde{G}.$ We prove that the associative commutant alge…
Let $G$ be a connected semisimple Lie group. There are two natural duality constructions that assign to it the Langlands dual group $G^\vee$ and the Poisson-Lie dual group $G^*$. The main result of this paper is the following relation between these two objects: the integral cone defined by the cluster structure and the Berenstein-Kazhdan potential on the double Bruhat cell $G^{\vee; w_0, e} \subset G^\vee$ is isomorphic to the integral Bohr-Sommerfeld cone defined by the Poisson structure on the partial tropicalization of $K^* \subset G^*$ (the Poisson-Lie dual of the compact form $K \subset G…
We study symplectic invariants of the open symplectic manifolds $X_Γ$ obtained by plumbing cotangent bundles of 2-spheres according to a plumbing tree $Γ$. For any tree $Γ$, we calculate (DG-)algebra models of the Fukaya category $\mathcal{F}(X_Γ)$ of closed exact Lagrangians in $X_Γ$ and the wrapped Fukaya category $\mathcal{W}(X_Γ)$. When $Γ$ is a Dynkin tree of type $A_n$ or $D_n$ (and conjecturally also for $E_6,E_7,E_8$), we prove that these models for the Fukaya category $\mathcal{F}(X_Γ)$ and $\mathcal{W}(X_Γ)$ are related by (derived) Koszul duality. As an application, we give explicit…
We give a proof of the Howe duality conjecture in local theta correspondence for symplectic-orthogonal or unitary dual pairs in arbitrary residual characteristic.
We introduce the symplectic twistor operator $T_s$ in symplectic spin geometry, as a symplectic analogue of the twistor operator in Riemannian spin geometry. We focus on the real dimension 2 and compute the space of its solutions on ${\mathbb R}^2$. Our analysis is based on the techniques of metaplectic Howe duality.
In this paper, we give an explicit computable algorithm for the Zelevinsky-Aubert dual of irreducible representations of $p$-adic symplectic and odd special orthogonal groups. To do this, we establish explicit formulas for certain derivatives and socles. We also give a combinatorial criterion for the irreducibility of certain parabolically induced representations.
Results on symplectic spinors and their higher spin versions, concerning representation theory and cohomology properties are presented. Exterior forms with values in the symplectic spinors are decomposed into irreducible modules including finding the hidden symmetry (Schur--Weyl--Howe type duality) given by a representation of the Lie superalgebra $\mathfrak{osp}(1|2)$ in this case. We also determine ranges of the induced exterior symplectic spinor derivatives when they are restricted to bundles induced by the irreducible submodules mentioned. This duality is used to decompose curvature tensor…
This note is a sequel to Shu-Xue-Yao's paper \cite{BYY} where the author studied the so-called enhanced groups and related dualities for type $A$. In this note, we continue to investigate the enhanced dualities for classical groups of type $B$, $C$, and $D$. To show this, we first introduce an enhanced Brauer algebra. Due to Proposition \ref{B dual}, we can easily obtain the restricted and Levi dualities, hence the parabolic duality is naturally described. Moreover, a special case is listed in §\ref{3} by some explicit calculations.
We give a functorial construction of the genus zero chiral algebras of class $\mathcal{S}$, that is, the vertex algebras corresponding to the theory of class $\mathcal{S}$ associated with genus zero pointed Riemann surfaces via the 4d/2d duality discovered by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees in physics. We show that there is a unique family of vertex algebras satisfying the required conditions and show that they are all simple and conformal. In fact, our construction works for any complex semisimple group G that is not necessarily simply laced. Furthermore, we show that the…
We study the orbit structure and the geometric quantization of a pair of mutually commuting hamiltonian actions on a symplectic manifold. If the pair of actions fulfils a symplectic Howe condition, we show that there is a canonical correspondence between the orbit spaces of the respective moment images. Furthermore, we show that reduced spaces with respect to the action of one group are symplectomorphic to coadjoint orbits of the other group. In the Kaehler case we show that the linear representation of a pair of compact Lie groups on the geometric quantization of the manifold is then equipped…
We consider Casimir elements for the orthogonal and symplectic Lie algebras constructed with the use of the Brauer algebra. We calculate the images of these elements under the Harish-Chandra isomorphism and thus show that they (together with the Pfaffian-type element in the even orthogonal case) are algebraically independent generators of the centers of the corresponding universal enveloping algebras.
