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

We propose a new explicit form of q-deformed Whittaker functions solving q-deformed ${\mathfrak{gl}_{\ell+1}}A representation of a specialization of a q-deformed class one lattice \mathfrakgl_l+1{\mathfrak{gl}_{\ell+1}}-Whittaker function in terms of cohomology groups of line bundles on the space QM_d(\mathbbP^l){\mathcal{QM}_d(\mathbb{P}^{\ell})} of quasi-maps \mathbbP¹ ? \mathbbP^l{\mathbb{P}^1 \to \mathbb{P}^{\ell}} of degree d is proposed. For ℓ = 1, this provides an interpretation of the non-specialized q-deformed \mathfrakgl₂{\mathfrak{gl}_{2}}-Whittaker function in terms of QM_d(\mathbbP¹){\mathcal{QM}_d(\mathbb{P}^1)}. In particular the (q-version of the) Mellin-Barnes representation of the \mathfrakgl₂{\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 \mathfrakgl₂{\mathfrak{gl}_2}-Toda chain is also discussed.     

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.     

On a Classical Limit of <Emphasis Type="Italic">q</Emphasis>-Deformed Whittaker Functions

Previously, we derive a representation of q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function as a sum over Gelfand–Zetlin patterns. This representation provides an analog of the Shintani–Casselman–Shalika formula for q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker functions. In this note, we provide a derivation of the Givental integral representation of the classical \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function as a limit q → 1 of the sum over the Gelfand–Zetlin patterns representation of the q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function. Thus, Givental representation provides an analog the Shintani–Casselman–Shalika formula for classical Whittaker functions.     

Real forms of extended Kac–Moody symmetries and higher spin gauge theories

We consider the relation between higher spin gauge fields and real Kac–Moody Lie algebras. These algebras are obtained by double and triple extensions of real forms \mathfrakg₀{\mathfrak{g}_0} of the finite-dimensional simple algebras \mathfrakg{\mathfrak{g}} arising in dimensional reductions of gravity and supergravity theories. Besides providing an exhaustive list of all such algebras, together with their associated involutions and restricted root diagrams, we are able to prove general properties of their spectrum of generators with respect to a decomposition of the triple extension of \mathfrakg₀{\mathfrak{g}_0} under its gravity subalgebra \mathfrakgl(D,\mathbb R){\mathfrak{gl}(D,\mathbb {R})} . These results are then combined with known consistent models of higher spin gauge theory to prove that all but finitely many generators correspond to non-propagating fields and there are no higher spin fields contained in the Kac–Moody algebra.     

A Heisenberg Double Addition to the Logarithmic Kazhdan–Lusztig Duality

For a Hopf algebra B, we endow the Heisenberg double \({\mathcal{H}(B^*)}\) with the structure of a module algebra over the Drinfeld double \({\mathcal{D}(B)}\). Based on this property, we propose that \({\mathcal{H}(B^*)}\) is to be the counterpart of the algebra of fields on the quantum-group side of the Kazhdan–Lusztig duality between logarithmic conformal field theories and quantum groups. As an example, we work out the case where B is the Taft Hopf algebra related to the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) quantum group that is Kazhdan–Lusztig-dual to (p,1) logarithmic conformal models. The corresponding pair \({(\mathcal{D}(B),\mathcal{H}(B^*))}\) is “truncated” to \({(\overline{\mathcal{U}}_{\mathfrak{q}} s\ell2,\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2))}\), where \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)}\) is a \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) module algebra that turns out to have the form \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)=\mathbb{C}_{\mathfrak{q}}[z,\partial]\otimes\mathbb{C}[\lambda]/(\lambda^{2p}-1)}\), where \({\mathbb{C}_{\mathfrak{q}}[z,\partial]}\) is the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\)-module algebra with the relations z ^p  = 0, ? ^p  = 0, and \({\partial z = \mathfrak{q}-\mathfrak{q}^{-1} + \mathfrak{q}^{-2} z\partial}\).     

The Hermitian Laplace Operator on Nearly Kähler Manifolds

The moduli space ${\mathcal {NK}}The moduli space NK{\mathcal {NK}} of infinitesimal deformations of a nearly K?hler structure on a compact 6-dimensional manifold is described by a certain eigenspace of the Laplace operator acting on co-closed primitive (1, 1) forms (cf. Moroianu et al. in Pacific J Math 235:57–72, 2008). Using the Hermitian Laplace operator and some representation theory, we compute the space NK{\mathcal {NK}} on all 6-dimensional homogeneous nearly K?hler manifolds. It turns out that the nearly K?hler structure is rigid except for the flag manifold F(1, 2) = SU₃/T ², which carries an 8-dimensional moduli space of infinitesimal nearly K?hler deformations, modeled on the Lie algebra \mathfraksu₃{\mathfrak{su}_3} of the isometry group.     

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}$ .     

Dirac Operators on Quantum Projective Spaces

We construct a family of self-adjoint operators D _N , ${N\in{\mathbb Z}}We construct a family of self-adjoint operators D _N , N ? \mathbb Z{N\in{\mathbb Z}} , which have compact resolvent and bounded commutators with the coordinate algebra of the quantum projective space \mathbb CP^l_q{{\mathbb C}{\rm P}^{\ell}_q} , for any ℓ ≥ 2 and 0 < q < 1. They provide 0⁺-dimensional equivariant even spectral triples. If ℓ is odd and N=\frac12(l+1){N=\frac{1}{2}(\ell+1)} , the spectral triple is real with KO-dimension 2ℓ mod 8.     

Baxter Operator Formalism for Macdonald Polynomials

We develop basic constructions of the Baxter operator formalism for the Macdonald polynomials associated with root systems of type A. Precisely, we construct a bispectral pair of mutually commuting Baxter operators such that the Macdonald polynomials are their common eigenfunctions. The bispectral pair of Baxter operators is closely related to the bispectral pair of recursive operators for Macdonald polynomials leading to various families of their integral representations. We also construct the Baxter operator formalism for the q-deformed ${\mathfrak{gl}_{\ell+1}}$ -Whittaker functions and the Jack polynomials obtained by degenerations of the Macdonald polynomials associated with the type A _? root system. This note provides a generalization of our previous results on the Baxter operator formalism for the Whittaker functions. It was demonstrated previously that Baxter operator formalism for the Whittaker functions has deep connections with representation theory. In particular, the Baxter operators should be considered as elements of appropriate spherical Hecke algebras and their eigenvalues are identified with local Archimedean L-factors associated with admissible representations of reductive groups over ${\mathbb{R}}$ . We expect that the Baxter operator formalism for the Macdonald polynomials has an interpretation in representation theory over higher-dimensional local/global fields.     

Universal Construction of Algebras

We present a direct construction of the abstract generators for q-deformed W_N{\cal W}_N algebras. New quantum algebraic structures of W_q,p{\cal W}_{q,p} type are thus obtained. This procedure hinges upon a twisted trace formula for the elliptic algebra \elp\elp generalizing the previously known formulae for quantum groups. It represents the q-deformation of the construction of W_N{\cal W}_N algebras from Lie algebras.     

A Frequency Localized Maximum Principle Applied to the 2D Quasi-Geostrophic Equation

In this paper, we prove a maximum principle for a frequency localized transport-diffusion equation. As an application, we prove the local well-posedness of the supercritical quasi-geostrophic equation in the critical Besov spaces \mathringB^1-a_￥,q{\mathring{B}^{1-\alpha}_{\infty,q}}, and global well-posedness of the critical quasi-geostrophic equation in \mathringB⁰_￥,q{\mathring{B}^{0}_{\infty,q}} for all 1 ≤ q < ∞. Here \mathringB^s_￥,q {\mathring{B}^{s}_{\infty,q} } is the closure of the Schwartz functions in the norm of B^s_￥,q{B^{s}_{\infty,q}}.     

Baxter Operator and Archimedean Hecke Algebra

In this paper we introduce Baxter integral -operators for finite-dimensional Lie algebras and . Whittaker functions corresponding to these algebras are eigenfunctions of the -operators with the eigenvalues expressed in terms of Gamma-functions. The appearance of the Gamma-functions is one of the manifestations of an interesting connection between Mellin-Barnes and Givental integral representations of Whittaker functions, which are in a sense dual to each other. We define a dual Baxter operator and derive a family of mixed Mellin-Barnes-Givental integral representations. Givental and Mellin-Barnes integral representations are used to provide a short proof of the Friedberg-Bump and Bump conjectures for G = GL(ℓ + 1) proved earlier by Stade. We also identify eigenvalues of the Baxter -operator acting on Whittaker functions with local Archimedean L-factors. The Baxter -operator introduced in this paper is then described as a particular realization of the explicitly defined universal Baxter operator in the spherical Hecke algebra , K being a maximal compact subgroup of G. Finally we stress an analogy between -operators and certain elements of the non-Archimedean Hecke algebra .     

New <Emphasis Type="Italic">r</Emphasis>-Matrices for Lie Bialgebra Structures over Polynomials

For a finite dimensional simple complex Lie algebra \mathfrakg{\mathfrak{g}} , Lie bialgebra structures on \mathfrakg[[u ]]{\mathfrak{g}\left[\left[u \right]\right]} and \mathfrakg[u]{\mathfrak{g}\left[u\right]} were classified by Montaner, Stolin and Zelmanov. In our paper, we provide an explicit algorithm to produce r-matrices which correspond to Lie bialgebra structures over polynomials.     

{\hbar}-adic Quantum Vertex Algebras and Their Modules

This is a paper in a series to study vertex algebra-like structures arising from various algebras including quantum affine algebras and Yangians. In this paper, we study notions of (^h/_2p){\hbar}-adic nonlocal vertex algebra and (^h/_2p){\hbar}-adic (weak) quantum vertex algebra, slightly generalizing Etingof-Kazhdan’s notion of quantum vertex operator algebra. For any topologically free \mathbb C[[(^h/_2p)]]{{\mathbb C}\lbrack\lbrack{\hbar}\rbrack\rbrack}-module W, we study (^h/_2p){\hbar}-adically compatible subsets and (^h/_2p){\hbar}-adically S{\mathcal{S}}-local subsets of (End W)[[x, x ⁻¹]]. We prove that any (^h/_2p){\hbar}-adically compatible subset generates an (^h/_2p){\hbar}-adic nonlocal vertex algebra with W as a module and that any (^h/_2p){\hbar}-adically S{\mathcal{S}}-local subset generates an (^h/_2p){\hbar}-adic weak quantum vertex algebra with W as a module. A general construction theorem of (^h/_2p){\hbar}-adic nonlocal vertex algebras and (^h/_2p){\hbar}-adic quantum vertex algebras is obtained. As an application we associate the centrally extended double Yangian of \mathfrak s\mathfrak l₂{{\mathfrak s}{\mathfrak l}_{2}} to (^h/_2p){\hbar}-adic quantum vertex algebras.     

Multi-black holes from nilpotent Lie algebra orbits

For N 3 2{\mathcal{N}\ge 2} supergravities, BPS black hole solutions preserving four supersymmetries can be superposed linearly, leading to well defined solutions containing an arbitrary number of such BPS black holes at arbitrary positions. Being stationary, these solutions can be understood via associated non-linear sigma models over pseudo-Riemannian spaces coupled to Euclidean gravity in three spatial dimensions. As the main result of this paper, we show that whenever this pseudo-Riemannian space is an irreducible symmetric space \mathfrakG/\mathfrakH^*{\mathfrak{G}/\mathfrak{H}^*}, the most general solutions of this type can be entirely characterised and derived from the nilpotent orbits of the associated Lie algebra \mathfrakg{\mathfrak{g}}. This technique also permits the explicit computation of non-supersymmetric extremal solutions which cannot be obtained by truncation to N=2{\mathcal{N}=2} supergravity theories. For maximal supergravity, we not only recover the known BPS solutions depending on 32 independent harmonic functions, but in addition find a set of non-BPS solutions depending on 29 harmonic functions. While the BPS solutions can be understood within the appropriate N=2{\mathcal{N}=2} truncation of N=8{\mathcal{N}=8} supergravity, the general non-BPS solutions require the whole field content of the theory.     

Parabolic Presentations of the Super Yangian Y(\mathfrakglM|N){Y(\mathfrak{gl}_{M|N})}

Associated to a composition of M and a composition of N, a new presentation of the super Yangian of the general linear Lie superalgebra Y(\mathfrakgl_M|N){Y(\mathfrak{gl}_{M|N})} is obtained.     

Deformed Algebras from Elliptic sl(N) Algebras

We extend to the sl(N)sl(N) case the results that we previously obtained on the construction of W_q,p{\cal W}_{q,p} algebras from the elliptic algebra A_q,p([^(sl)](2)_c){\cal A}_{q,p}(\widehat{sl}(2)_{c}). The elliptic algebra \elp\elp at the critical level c= m N has an extended center containing trace-like operators t(z). Families of Poisson structures indexed by N(Nу)/2 integers, defining q-deformations of the W_N{\cal W}_{N} algebra, are constructed. The operators t(z) also close an exchange algebra when (-p^\sfrac12)^NM = q^-c-N(-p^\sfrac{1}{2})^{NM} = q^{-c-N} for M ? \ZZM\in\ZZ. It becomes Abelian when in addition p= q^Nh, where h is a non-zero integer. The Poisson structures obtained in these classical limits contain different q-deformed W_N{\cal W}_{N} algebras depending on the parity of h, characterizing the exchange structures at p p q^Nh as new W_q,p(sl(N)){\cal W}_{q,p}(sl(N)) algebras.     

Parity-violating neutron spin rotation in hydrogen and deuterium

We calculate the (parity-violating) spin-rotation angle of a polarized neutron beam through hydrogen and deuterium targets, using pionless effective field theory up to next-to-leading order. Our result is part of a program to obtain the five leading independent low-energy parameters that characterize hadronic parity violation from few-body observables in one systematic and consistent framework. The two spin-rotation angles provide independent constraints on these parameters. Our result for np spin rotation is $\frac{1} {\rho }\frac{{d\varphi _{PV}^{np} }} {{dl}} = \left[ {4.5 \pm 0.5} \right] rad MeV^{ - \frac{1} {2}} \left( {2g^{\left( {^3 S_1 - ^3 P_1 } \right)} + g^{\left( {^3 S_1 - ^3 P_1 } \right)} } \right) - \left[ {18.5 \pm 1.9} \right] rad MeV^{ - \frac{1} {2}} \left( {g_{\left( {\Delta {\rm I} = 0} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} - 2g_{\left( {\Delta {\rm I} = 2} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} } \right)$\frac{1} {\rho }\frac{{d\varphi _{PV}^{np} }} {{dl}} = \left[ {4.5 \pm 0.5} \right] rad MeV^{ - \frac{1} {2}} \left( {2g^{\left( {^3 S_1 - ^3 P_1 } \right)} + g^{\left( {^3 S_1 - ^3 P_1 } \right)} } \right) - \left[ {18.5 \pm 1.9} \right] rad MeV^{ - \frac{1} {2}} \left( {g_{\left( {\Delta {\rm I} = 0} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} - 2g_{\left( {\Delta {\rm I} = 2} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} } \right), while for nd spin rotation we obtain $\frac{1} {\rho }\frac{{d\varphi _{PV}^{nd} }} {{dl}} = \left[ {8.0 \pm 0.8} \right] rad MeV^{ - \frac{1} {2}} g^{\left( {^3 S_1 - ^1 P_1 } \right)} + \left[ {17.0 \pm 1.7} \right] rad MeV^{ - \frac{1} {2}} g^{\left( {^3 S_1 - ^3 P_1 } \right)} + \left[ {2.3 \pm 0.5} \right] rad MeV^{ - \frac{1} {2}} \left( {3g_{\left( {\Delta {\rm I} = 0} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} - 2g_{\left( {\Delta {\rm I} = 1} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} } \right)$\frac{1} {\rho }\frac{{d\varphi _{PV}^{nd} }} {{dl}} = \left[ {8.0 \pm 0.8} \right] rad MeV^{ - \frac{1} {2}} g^{\left( {^3 S_1 - ^1 P_1 } \right)} + \left[ {17.0 \pm 1.7} \right] rad MeV^{ - \frac{1} {2}} g^{\left( {^3 S_1 - ^3 P_1 } \right)} + \left[ {2.3 \pm 0.5} \right] rad MeV^{ - \frac{1} {2}} \left( {3g_{\left( {\Delta {\rm I} = 0} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} - 2g_{\left( {\Delta {\rm I} = 1} \right)}^{\left( {^1 S_0 - ^3 P_0 } \right)} } \right), where the g ^(X-Y), in units of $MeV^{ - \frac{3} {2}}$MeV^{ - \frac{3} {2}}, are the presently unknown parameters in the leading-order parity-violating Lagrangian. Using naıve dimensional analysis to estimate the typical size of the couplings, we expect the signal for standard target densities to be $\left| {\frac{{d\varphi _{PV} }} {{dl}}} \right| \approx \left[ {10^{ - 7} \ldots 10^{ - 6} } \right]\frac{{rad}} {m}$\left| {\frac{{d\varphi _{PV} }} {{dl}}} \right| \approx \left[ {10^{ - 7} \ldots 10^{ - 6} } \right]\frac{{rad}} {m} for both hydrogen and deuterium targets. We find no indication that the nd observable is enhanced compared to the np one. All results are properly renormalized. An estimate of the numerical and systematic uncertainties of our calculations indicates excellent convergence. An appendix contains the relevant partial-wave projectors of the three-nucleon system.