Fomenko–Mischenko Theory, Hessenberg Varieties, and Polarizations

The symmetric algebra ${S(\mathfrak{g})}$ over a Lie algebra ${\mathfrak{g}}$ has the structure of a Poisson algebra. Assume ${\mathfrak{g}}$ is complex semisimple. Then results of Fomenko–Mischenko (translation of invariants) and Tarasov construct a polynomial subalgebra ${{\mathcal {H}} = {\mathbb C}[q_1,\ldots,q_b]}$ of ${S(\mathfrak{g})}$ which is maximally Poisson commutative. Here b is the dimension of a Borel subalgebra of ${\mathfrak{g}}$ . Let G be the adjoint group of ${\mathfrak{g}}$ and let ? = rank ${\mathfrak{g}}$ . Using the Killing form, identify ${\mathfrak{g}}$ with its dual so that any G-orbit O in ${\mathfrak{g}}$ has the structure (KKS) of a symplectic manifold and ${S(\mathfrak{g})}$ can be identified with the affine algebra of ${\mathfrak{g}}$ . An element ${x\in \mathfrak{g}}$ will be called strongly regular if ${\{({\rm d}q_i)_x\},\,i=1,\ldots,b}$ , are linearly independent. Then the set ${\mathfrak{g}^{\rm{sreg}}}$ of all strongly regular elements is Zariski open and dense in ${\mathfrak{g}}$ and also ${\mathfrak{g}^{\rm{sreg}}\subset \mathfrak{g}^{\rm{ reg}}}$ where ${\mathfrak{g}^{\rm{reg}}}$ is the set of all regular elements in ${\mathfrak{g}}$ . A Hessenberg variety is the b-dimensional affine plane in ${\mathfrak{g}}$ , obtained by translating a Borel subalgebra by a suitable principal nilpotent element. Such a variety was introduced in Kostant (Am J Math 85:327–404, 1963). Defining Hess to be a particular Hessenberg variety, Tarasov has shown that ${{\rm{Hess}}\subset \mathfrak{g}^{\rm{sreg}}}$ . Let R be the set of all regular G-orbits in ${\mathfrak{g}}$ . Thus if ${O\in R}$ , then O is a symplectic manifold of dimension 2n where n = b ? ?. For any ${O\in R}$ let ${O^{\rm{sreg}} = \mathfrak{g}^{\rm{sreg}} \cap O}$ . One shows that O ^sreg is Zariski open and dense in O so that O ^sreg is again a symplectic manifold of dimension 2n. For any ${O\in R}$ let ${{\rm{Hess}}(O) = {\rm{Hess}}\cap O}$ . One proves that Hess(O) is a Lagrangian submanifold of O ^sreg and that $${\rm{Hess}} = \sqcup_{O\in R}{\rm{Hess}}(O).$$ The main result of this paper is to show that there exists simultaneously over all ${O\in R}$ , an explicit polarization (i.e., a “fibration” by Lagrangian submanifolds) of O ^sreg which makes O ^sreg simulate, in some sense, the cotangent bundle of Hess(O).     

Finite W-Superalgebras and Truncated Super Yangians

Let ${Y_{m|n}^{\ell}}$ be the super Yangian of general linear Lie superalgebra for ${\mathfrak{gl}_{m|n}}$ . Let ${e \in \mathfrak{gl}_{m\ell|n\ell}}$ be a “rectangular” nilpotent element and ${\mathcal{W}_e}$ be the finite W-superalgebra associated to e. We show that ${Y_{m|n}^{\ell}}$ is isomorphic to ${\mathcal{W}_e}$ .     

The Weil Algebra of a Hopf Algebra I: A Noncommutative Framework

We generalize the notion, introduced by Henri Cartan, of an operation of a Lie algebra ${\mathfrak{g}}$ in a graded differential algebra Ω. We define the notion of an operation of a Hopf algebra ${\mathcal{H}}$ in a graded differential algebra Ω which is referred to as a ${\mathcal{H}}$ -operation. We then generalize for such an operation the notion of algebraic connection. Finally we discuss the corresponding noncommutative version of the Weil algebra: The Weil algebra ${W(\mathcal{H})}$ of the Hopf algebra ${\mathcal{H}}$ is the universal initial object of the category of ${\mathcal{H}}$ -operations with connections.     

Level-Rank Duality via Tensor Categories

We give a new way to derive branching rules for the conformal embedding $$(\hat{\mathfrak{sl}}_n)_m\oplus(\hat{\mathfrak{sl}}_m)_n\subset(\hat{\mathfrak{sl}}_{nm})_1. $$ In addition, we show that the category ${\mathcal{C}(\hat{\mathfrak{sl}}_n)_m^0}$ of degree zero integrable highest weight ${(\hat{\mathfrak{sl}}_n)_m}$ -representations is braided equivalent to ${\mathcal{C}(\hat{\mathfrak{sl}}_m)_n^0}$ with the reversed braiding.     

Deformation Quantization on the Closure of Minimal Coadjoint Orbits

We consider a complex simple Lie algebra ${\mathfrak{g}}$ , with the action of its adjoint group. Among the three canonical nilpotent orbits under this action, the minimal orbit is the non zero orbit of smallest dimension. We are interested in equivariant deformation quantization: we construct ${\mathfrak{g}}$ -invariant star-products on the minimal orbit and on its closure, a singular algebraic variety. We shall make use of Hochschild homology and cohomology, of some results about the invariants of the classical groups, and of some interesting representations of simple Lie algebras. To the minimal orbit is associated a unique, completely prime two-sided ideal of the universal enveloping algebra ${{\rm U}(\mathfrak{g})}$ . This ideal is primitive and is called the Joseph ideal. We give explicit expressions for the generators of the Joseph ideal and compute the infinitesimal characters.     

Semi-Classical Twists for {\mathfrak{sl}}_{3} and {\mathfrak{sl}}_{4} Boundary r-Matrices of Cremmer–Gervais Type

We obtain explicit formulas for the semi-classical twists deforming the coalgebraic structure of $U({\mathfrak{sl}}_{3})$ and $U({\mathfrak{sl}}_{4})$ . In rank 2 and 3 the corresponding universal R-matrices quantize the boundary r-matrices of Cremmer–Gervais type defining Lie Frobenius structures on the maximal parabolic subalgebras in ${\mathfrak{sl}}_{n}$ .     

On q-Deformed {\mathfrak{gl}_{\ell+1}}-Whittaker Function II

A representation of a specialization of a q-deformed class one lattice ${\mathfrak{gl}_{\ell+1}}$ -Whittaker function in terms of cohomology groups of line bundles on the space ${\mathcal{QM}_d(\mathbb{P}^{\ell})}$ of quasi-maps ${\mathbb{P}^1 \to \mathbb{P}^{\ell}}$ of degree d is proposed. For ? = 1, this provides an interpretation of the non-specialized q-deformed ${\mathfrak{gl}_{2}}$ -Whittaker function in terms of ${\mathcal{QM}_d(\mathbb{P}^1)}$ . In particular the (q-version of the) Mellin-Barnes representation of the ${\mathfrak{gl}_2}$ -Whittaker function is realized as a semi-infinite period map. The explicit form of the period map manifests an important role of q-version of Γ-function as a topological genus in semi-infinite geometry. A relation with the Givental-Lee universal solution (J-function) of q-deformed ${\mathfrak{gl}_2}$ -Toda chain is also discussed.     

Equivalence of Blocks for the General Linear Lie Superalgebra

We develop a reduction procedure which provides an equivalence (as highest weight categories) from an arbitrary block (defined in terms of the central character and the integral Weyl group) of the BGG category ${\mathcal{O}}$ for a general linear Lie superalgebra to an integral block of ${\mathcal{O}}$ for (possibly a direct sum of) general linear Lie superalgebras. We also establish indecomposability of blocks of ${\mathcal{O}}$ .     

The Lie–Rinehart Universal Poisson Algebra of Classical and Quantum Mechanics

The Lie–Rinehart algebra of a (connected) manifold ${\mathcal {M}}$ , defined by the Lie structure of the vector fields, their action and their module structure over ${C^\infty({\mathcal {M}})}$ , is a common, diffeomorphism invariant, algebra for both classical and quantum mechanics. Its (noncommutative) Poisson universal enveloping algebra ${\Lambda_{R}({\mathcal {M}})}$ , with the Lie–Rinehart product identified with the symmetric product, contains a central variable (a central sequence for non-compact ${{\mathcal {M}}}$ ) ${Z}$ which relates the commutators to the Lie products. Classical and quantum mechanics are its only factorial realizations, corresponding to Z  =  i z, z  =  0 and ${z = \hbar}$ , respectively; canonical quantization uniquely follows from such a general geometrical structure. For ${z =\hbar \neq 0}$ , the regular factorial Hilbert space representations of ${\Lambda_{R}({\mathcal{M}})}$ describe quantum mechanics on ${{\mathcal {M}}}$ . For z  =  0, if Diff( ${{\mathcal {M}}}$ ) is unitarily implemented, they are unitarily equivalent, up to multiplicity, to the representation defined by classical mechanics on ${{\mathcal {M}}}$ .     

The Atiyah Algebroid of the Path Fibration over a Lie Group

Let G be a connected Lie group, LG its loop group, and π : PG → G the principal LG-bundle defined by quasi-periodic paths in G. This paper is devoted to differential geometry of the Atiyah algebroid A = T (PG)/LG of this bundle. Given a symmetric bilinear form on ${\mathfrak{g}}$ and the corresponding central extension of ${L\mathfrak{g}}$ , we consider the lifting problem for A, and show how the cohomology class of the Cartan 3-form ${\eta \in \Omega^3(G)}$ arises as an obstruction. This involves the construction of a 2-form ${\varpi \in \Omega^{2}({\rm PG})^{\rm LG}= \Gamma(\wedge^2 A^*)}$ with ${{\rm d}\varpi=\pi^*\eta}$ . In the second part of this paper we obtain similar LG-invariant primitives for the higher degree analogues of the form η, and for their G-equivariant extensions.     

On Representations of Quantum Conjugacy Classes of GL(n)

Let O be a closed Poisson conjugacy class of the complex algebraic Poisson group GL(n) relative to the Drinfeld-Jimbo factorizable classical r-matrix. Denote by T the maximal torus of diagonal matrices in GL(n). With every ${a \in O \cap T}$ we associate a highest weight module M _a over the quantum group ${U_q \bigl(\mathfrak{g} \mathfrak{l}(n)\bigr)}$ and an equivariant quantization ${\mathbb{C}_{\hbar,a}[O]}$ of the polynomial ring ${\mathbb{C}[O]}$ realized by operators on M _a . All quantizations ${\mathbb{C}_{\hbar,a}[O]}$ are isomorphic and can be regarded as different exact representations of the same algebra, ${\mathbb{C}_{\hbar}[O]}$ . Similar results are obtained for semisimple adjoint orbits in ${\mathfrak{g} \mathfrak{l}(n)}$ equipped with the canonical GL(n)-invariant Poisson structure.     

Homotopy transfer and self-dual Schur modules

We consider the free 2-nilpotent graded Lie algebra $\mathfrak{g}$ generated in degree one by a finite dimensional vector space V. We recall the beautiful result that the cohomology $H^ \cdot \left( {\mathfrak{g},\mathbb{K}} \right)$ of $\mathfrak{g}$ with trivial coefficients carries a GL(V)-representation having only the Schur modules V with self-dual Young diagrams {λ: λ = λ′} in its decomposition into GL(V)-irreducibles (each with multiplicity one). The homotopy transfer theorem due to Tornike Kadeishvili allows to equip the cohomology of the Lie algebra g with a structure of homotopy commutative algebra.     

Optimal Paths for Symmetric Actions in the Unitary Group

Given a positive and unitarily invariant Lagrangian ${\mathcal{L}}$ defined in the algebra of matrices, and a fixed time interval ${[0,t_0]\subset\mathbb R}$ , we study the action defined in the Lie group of ${n\times n}$ unitary matrices ${\mathcal{U}(n)}$ by $$\mathcal{S}(\alpha)=\int_0^{t_0} \mathcal{L}(\dot\alpha(t))\,dt, $$ where ${\alpha:[0,t_0]\to\mathcal{U}(n)}$ is a rectifiable curve. We prove that the one-parameter subgroups of ${\mathcal{U}(n)}$ are the optimal paths, provided the spectrum of the exponent is bounded by π. Moreover, if ${\mathcal{L}}$ is strictly convex, we prove that one-parameter subgroups are the unique optimal curves joining given endpoints. Finally, we also study the connection of these results with unitarily invariant metrics in ${\mathcal{U}(n)}$ as well as angular metrics in the Grassmann manifold.     

Infinite-Dimensional Schur–Weyl Duality and the Coxeter–Laplace Operator

We extend the classical Schur–Weyl duality between representations of the groups ${SL(n, \mathbb{C})}$ and ${\mathfrak{S}_N}$ to the case of ${SL(n, \mathbb{C})}$ and the infinite symmetric group ${\mathfrak{S}_\mathbb{N}}$ . Our construction is based on a “dynamic,” or inductive, scheme of Schur–Weyl dualities. It leads to a new class of representations of the infinite symmetric group, which has not appeared earlier. We describe these representations and, in particular, find their spectral types with respect to the Gelfand–Tsetlin algebra. The main example of such a representation acts in an incomplete infinite tensor product. As an important application, we consider the weak limit of the so-called Coxeter–Laplace operator, which is essentially the Hamiltonian of the XXX Heisenberg model, in these representations.     

Dirac multimode ket-bra operators’ \mathfrak{Q}-ordered and \mathfrak{P}-ordered integration theory and general squeezing operator

We develop quantum mechanical Dirac ket-bra operator’s integration theory in $\mathfrak{Q}$ -ordering or $\mathfrak{P}$ -ordering to multimode case, where $\mathfrak{Q}$ -ordering means all Qs are to the left of all Ps and $\mathfrak{P}$ -ordering means all Ps are to the left of all Qs. As their applications, we derive $\mathfrak{Q}$ -ordered and $\mathfrak{P}$ -ordered expansion formulas of multimode exponential operator $e^{ - iP_l \Lambda _{lk} Q_k } $ . Application of the new formula in finding new general squeezing operators is demonstrated. The general exponential operator for coordinate representation transformation $\left| {\left. {\left( {_{q_2 }^{q_1 } } \right)} \right\rangle \to } \right|\left. {\left( {_{CD}^{AB} } \right)\left( {_{q_2 }^{q_1 } } \right)} \right\rangle $ is also derived. In this way, much more correpondence relations between classical coordinate transformations and their quantum mechanical images can be revealed.     

Equivariant GW Theory of Stacky Curves

We extend Okounkov and Pandharipande’s work on the equivariant Gromov–Witten theory of ${\mathbb{P}^1}$ to a class of stacky curves ${\mathcal{X}}$ . Our main result uses virtual localization and the orbifold ELSV formula to express the tau function ${\tau_\mathcal{X}}$ as a vacuum expectation on a Fock space. As corollaries, we prove the decomposition conjecture for these ${\mathcal{X}}$ , and prove that ${\tau_\mathcal{X}}$ satisfies a version of the 2-Toda hierarchy. Coupled with degeneration techniques, the result should lead to treatment of general orbifold curves.     

Joint System Quantum Descriptions Arising from Local Quantumness

We study the entropy flux in the stationary state of a finite one-dimensional sample ${\mathcal{S}}$ connected at its left and right ends to two infinitely extended reservoirs ${\mathcal{R}_{l/r}}$ at distinct (inverse) temperatures ${\beta_{l/r}}$ and chemical potentials ${\mu_{l/r}}$ . The sample is a free lattice Fermi gas confined to a box [0, L] with energy operator ${h_{\mathcal{S}, L}= - \Delta + v}$ . The Landauer-Büttiker formula expresses the steady state entropy flux in the coupled system ${\mathcal{R}_l + \mathcal{S} + \mathcal{R}_r}$ in terms of scattering data. We study the behaviour of this steady state entropy flux in the limit ${L \to \infty}$ and relate persistence of transport to norm bounds on the transfer matrices of the limiting half-line Schrödinger operator ${h_\mathcal{S}}$ .     

Haag Duality and the Distal Split Property for Cones in the Toric Code

We prove that Haag duality holds for cones in the toric code model. That is, for a cone ??, the algebra ${\mathcal{R}_{\Lambda}}$ of observables localized in ?? and the algebra ${\mathcal{R}_{\Lambda^c}}$ of observables localized in the complement ?? ^c generate each other??s commutant as von Neumann algebras. Moreover, we show that the distal split property holds: if ${\Lambda_1 \subset \Lambda_2}$ are two cones whose boundaries are well separated, there is a Type I factor ${\mathcal{N}}$ such that ${\mathcal{R}_{\Lambda_1} \subset \mathcal{N} \subset \mathcal{R}_{\Lambda_2}}$ . We demonstrate this by explicitly constructing ${\mathcal{N}}$ .     

Canonical Basis for Quantum {\mathfrak{osp}(1|2)}

We introduce a modified quantum enveloping algebra as well as a (modified) covering quantum algebra for the ortho-symplectic Lie superalgebra ${\mathfrak{osp}(1|2)}$ . Then we formulate and compute the corresponding canonical bases, and relate them to the counterpart for ${\mathfrak{sl}(2)}$ . This provides a first example of canonical basis for quantum superalgebras.     

Courant–Dorfman Algebras and their Cohomology

We introduce a new type of algebra, the Courant–Dorfman algebra. These are to Courant algebroids what Lie–Rinehart algebras are to Lie algebroids, or Poisson algebras to Poisson manifolds. We work with arbitrary rings and modules, without any regularity, finiteness or non-degeneracy assumptions. To each Courant–Dorfman algebra ${(\mathcal{R}, \mathcal{E})}$ we associate a differential graded algebra ${\mathcal{C}(\mathcal{E}, \mathcal{R})}$ in a functorial way by means of explicit formulas. We describe two canonical filtrations on ${\mathcal{C}(\mathcal{E}, \mathcal{R})}$ , and derive an analogue of the Cartan relations for derivations of ${\mathcal{C}(\mathcal{E}, \mathcal{R})}$ ; we classify central extensions of ${\mathcal{E}}$ in terms of ${H^2(\mathcal{E}, \mathcal{R})}$ and study the canonical cocycle ${\Theta \in \mathcal{C}^3(\mathcal{E}, \mathcal{R})}$ whose class ${[\Theta]}$ obstructs re-scalings of the Courant–Dorfman structure. In the nondegenerate case, we also explicitly describe the Poisson bracket on ${\mathcal{C}(\mathcal{E}, \mathcal{R})}$ ; for Courant–Dorfman algebras associated to Courant algebroids over finite-dimensional smooth manifolds, we prove that the Poisson dg algebra ${\mathcal{C}(\mathcal{E}, \mathcal{R})}$ is isomorphic to the one constructed in Roytenberg (On the structure of graded symplectic supermanifolds and Courant algebroids. American Mathematical Society, Providence, 2002) using graded manifolds.