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.     

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

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.     

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.     

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

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

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

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.     

How to Add a Boundary Condition

Given a conformal QFT local net of von Neumann algebras ${\mathcal {B}_2}$ on the two-dimensional Minkowski spacetime with irreducible subnet ${\mathcal {A} \otimes \mathcal {A}}$ , where ${\mathcal {A}}$ is a completely rational net on the left/right light-ray, we show how to consistently add a boundary to ${\mathcal {B}_2}$ : we provide a procedure to construct a Boundary CFT net ${\mathcal {B}}$ of von Neumann algebras on the half-plane x >  0, associated with ${\mathcal {A}}$ , and locally isomorphic to ${\mathcal {B}_2}$ . All such locally isomorphic Boundary CFT nets arise in this way. There are only finitely many locally isomorphic Boundary CFT nets and we get them all together. In essence, we show how to directly redefine the C* representation of the restriction of ${\mathcal {B}_2}$ to the half-plane by means of subfactors and local conformal nets of von Neumann algebras on S ¹.     

Smooth Crossed Products of Rieffel’s Deformations

Assume ${\mathcal{A}}$ is a Fréchet algebra equipped with a smooth isometric action of a vector group V, and consider Rieffel’s deformation ${\mathcal{A}_J}$ of ${\mathcal{A}}$ . We construct an explicit isomorphism between the smooth crossed products ${V\ltimes\mathcal{A}_J}$ and ${V\ltimes\mathcal{A}}$ . When combined with the Elliott–Natsume–Nest isomorphism, this immediately implies that the periodic cyclic cohomology is invariant under deformation. Specializing to the case of smooth subalgebras of C^*-algebras, we also get a simple proof of equivalence of Rieffel’s and Kasprzak’s approaches to deformation.     

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).     

Some Properties of Generalized Quantum Operations

Let $\mathcal{B}(\mathcal{H})$ be the set of all bounded linear operators on the separable Hilbert space  $\mathcal{H}$ . A (generalized) quantum operation is a bounded linear operator defined on  $\mathcal{B}(\mathcal{H})$ , which has the form $\varPhi_{\mathcal{A}}(X)=\sum_{i=1}^{\infty}A_{i}XA_{i}^{*}$ , where $A_{i}\in\mathcal{B}(\mathcal{H})$ (i=1,2,…) satisfy $\sum_{i=1}^{\infty}A_{i}A_{i}^{*}\leq \nobreak I$ in the strong operator topology. In this paper, we establish the relationship between the (generalized) quantum operation $\varPhi_{\mathcal{A}}$ and its dual $\varPhi_{\mathcal {A}}^{\dag}$ with respect to the set of fixed points and the noiseless subspace. In particular, we also partially characterize the extreme points of the set of all (generalized) quantum operations and give some equivalent conditions for the correctable quantum channel.     

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.     

Difference Operators of Sklyanin and van Diejen Type

The Sklyanin algebra ${\mathcal{S}_{\eta}}$ has a well-known family of infinite-dimensional representations ${\mathcal{D}(\mu), {\mu}\,{\in}\,\mathbb{C}^{\ast}}$ , in terms of difference operators with shift η acting on even meromorphic functions. We show that for generic η the coefficients of these operators have solely simple poles, with linear residue relations depending on their locations. More generally, we obtain explicit necessary and sufficient conditions on a difference operator for it to belong to ${\mathcal{D}(\mu)}$ . By definition, the even part of ${\mathcal{D}(\mu)}$ is generated by twofold products of the Sklyanin generators. We prove that any sum of the latter products yields a difference operator of van Diejen type. We also obtain kernel identities for the Sklyanin generators. They give rise to order-reversing involutive automorphisms of ${\mathcal{D}(\mu)}$ , and are shown to entail previously known kernel identities for the van Diejen operators. Moreover, for special μ they yield novel finite-dimensional representations of ${\mathcal{S}_{\eta}}$ .     

Stability of Black Holes and Black Branes

We establish a new criterion for the dynamical stability of black holes in D ≥ 4 spacetime dimensions in general relativity with respect to axisymmetric perturbations: Dynamical stability is equivalent to the positivity of the canonical energy, ${\mathcal{E}}$ , on a subspace, ${\mathcal{T}}$ , of linearized solutions that have vanishing linearized ADM mass, momentum, and angular momentum at infinity and satisfy certain gauge conditions at the horizon. This is shown by proving that—apart from pure gauge perturbations and perturbations towards other stationary black holes— ${\mathcal{E}}$ is nondegenerate on ${\mathcal{T}}$ and that, for axisymmetric perturbations, ${\mathcal{E}}$ has positive flux properties at both infinity and the horizon. We further show that ${\mathcal{E}}$ is related to the second order variations of mass, angular momentum, and horizon area by ${\mathcal{E} = \delta^2 M -\sum_A \Omega_A \delta^2 J_A - \frac{\kappa}{8\pi}\delta^2 A}$ , thereby establishing a close connection between dynamical stability and thermodynamic stability. Thermodynamic instability of a family of black holes need not imply dynamical instability because the perturbations towards other members of the family will not, in general, have vanishing linearized ADM mass and/or angular momentum. However, we prove that for any black brane corresponding to a thermodynamically unstable black hole, sufficiently long wavelength perturbations can be found with ${\mathcal{E} < 0}$ and vanishing linearized ADM quantities. Thus, all black branes corresponding to thermodynmically unstable black holes are dynamically unstable, as conjectured by Gubser and Mitra. We also prove that positivity of ${\mathcal{E}}$ on ${\mathcal{T}}$ is equivalent to the satisfaction of a “ local Penrose inequality,” thus showing that satisfaction of this local Penrose inequality is necessary and sufficient for dynamical stability. Although we restrict our considerations in this paper to vacuum general relativity, most of the results of this paper are derived using general Lagrangian and Hamiltonian methods and therefore can be straightforwardly generalized to allow for the presence of matter fields and/or to the case of an arbitrary diffeomorphism covariant gravitational action.     

Optimality of the Triangular Lattice for a Particle System with Wasserstein Interaction

We prove strong crystallization results in two dimensions for an energy that arises in the theory of block copolymers. The energy is defined on sets of points and their weights, or equivalently on the set of atomic measures. It consists of two terms; the first term is the sum of the square root of the weights, and the second is the quadratic optimal transport cost between the atomic measure and the Lebesgue measure. We prove that this system admits crystallization in several different ways: (1) the energy is bounded from below by the energy of a triangular lattice (called ${\mathcal{T}}$ ); (2) if the energy equals that of ${\mathcal{T}}$ , then the measure is a rotated and translated copy of ${\mathcal{T}}$ ; (3) if the energy is close to that of ${\mathcal{T}}$ , then locally the measure is close to a rotated and translated copy of ${\mathcal{T}}$ . These three results require the domain to be a polygon with at most six sides. A fourth result states that the energy of ${\mathcal{T}}$ can be achieved in the limit of large domains, for domains with arbitrary boundaries. The proofs make use of three ingredients. First, the optimal transport cost associates to each point a polygonal cell; the energy can be bounded from below by a sum over all cells of a function that depends only on the cell. Second, this function has a convex lower bound that is sharp at ${\mathcal{T}}$ . Third, Euler’s polytope formula limits the average number of sides of the polygonal cells to six, where six is the number corresponding to the triangular lattice.     

Complex Vector Formalism of Harmonic Oscillator in Geometric Algebra: Particle Mass,Spin and Dynamics in Complex Vector Space

Elementary particles are considered as local oscillators under the influence of zeropoint fields. Such oscillatory behavior of the particles leads to the deviations in their path of motion. The oscillations of the particle in general may be considered as complex rotations in complex vector space. The local particle harmonic oscillator is analyzed in the complex vector formalism considering the algebra of complex vectors. The particle spin is viewed as zeropoint angular momentum represented by a bivector. It has been shown that the particle spin plays an important role in the kinematical intrinsic or local motion of the particle. From the complex vector formalism of harmonic oscillator, for the first time, a relation between mass $m$ and bivector spin $S$ has been derived in the form $\varvec{\sigma }_3 mc^2{\mathcal {J}}_{\pm } =\lambda \Omega _{\mathbf{s}} \cdot \mathrm{{S}} {\mathcal {J}}_{\pm }$ . Where, $\Omega _{s}$ is the angular velocity bivector of complex rotations, $c$ is the velocity of light. The unit vector $\varvec{\sigma }_3$ acts as an operator on the idempotents ${\mathcal {J}}_{+}$ and ${\mathcal {J}}_{-}$ to give the eigen values $\lambda =\pm 1.$ The constant $\lambda $ represents two fold nature of the equation corresponding to particle and antiparticle states. Further the above relation shows that the mass of the particle may be interpreted as a local spatial complex rotation in the rest frame. This gives an insight into the nature of fundamental particles. When a particle is observed from an arbitrary frame of reference, it has been shown that the spatial complex rotation dictates the relativistic particle motion. The mathematical structure of complex vectors in space and spacetime is developed.     

Subfactors of Index Less Than 5, Part 3: Quadruple Points

One major obstacle in extending the classification of small index subfactors beyond ${3 +\sqrt{3}}$ is the appearance of infinite families of candidate principal graphs with 4-valent vertices (in particular, the ??weeds?? ${\mathcal{Q}}$ and ${\mathcal{Q}'}$ from Part 1 (Morrison and Snyder in Commun. Math. Phys., doi:10.1007/s00220-012-1426-y, 2012). Thus instead of using triple point obstructions to eliminate candidate graphs, we need to develop new quadruple point obstructions. In this paper we prove two quadruple point obstructions. The first uses quadratic tangles techniques and eliminates the weed ${\mathcal{Q}'}$ immediately. The second uses connections, and when combined with an additional number theoretic argument it eliminates both weeds ${\mathcal{Q}}$ and ${\mathcal{Q}'}$ . Finally, we prove the uniqueness (up to taking duals) of the 3311 Goodman-de la Harpe-Jones subfactor using a combination of planar algebra techniques and connections.     

Gauge Theories on ALE Space and Super Liouville Correlation Functions

We present a relation between ${\mathcal{N}=2}$ quiver gauge theories on the ALE space ${\mathcal{O}_{\mathbb{P}^1}(-2)}$ and correlators of ${\mathcal{N}=1}$ super Liouville conformal field theory, providing checks in the case of punctured spheres and tori. We derive a blow-up formula for the full Nekrasov partition function and show that, up to a U(1) factor, the ${\mathcal{N}=2^*}$ instanton partition function is given by the product of the character of ${\widehat{SU}(2)_2}$ times the super Virasoro conformal block on the torus with one puncture. Moreover, we match the perturbative gauge theory contribution with super Liouville three-point functions.     

Uniqueness Theorem of {\mathcal{W}} -Constraints for Simple Singularities

In a recent paper, Bakalov and Milanov (Compositio. Math. 149: 840–888, 2013) proved that the total descendant potential of a simple singularity satisfies the ${\mathcal{W}}$ -constraints, which come from the ${\mathcal{W}}$ -algebra of the lattice vertex algebra associated with the root lattice of this singularity and a twisted module of the vertex algebra. In the present paper, we prove that the solution of these ${\mathcal{W}}$ -constraints is unique up to a constant factor, as conjectured by Bakalov and Milanov in their paper.