On a Pre-Lie Algebra Defined by Insertion of Rooted Trees

Let K be a field of characteristic zero. For \({n \in \mathbb{N}^{*}}\) , let \({\mathcal{T}^{\,\prime}_{n}}\) be the vector space of non-planar rooted trees with n vertices (Foissy in Bull Sci Math 126, no. 3, 193–239; no. 4, 249–288, 2002). Let \({\vartriangleright}\) be the left pre-Lie product of insertion of a tree inside another defined on infinitesimal characters of the graded Hopf algebra \({\mathcal{H}}\) introduced by Calaque, Ebrahimi-Fard and Manchon. Let \({\mathcal{T}^{\,\prime}=\oplus_{n\geq 2}\mathcal{T}^{\,\prime}_{n}}\) . In this work, we first prove that \({(\mathcal{T}^{\,\prime}, \vartriangleright)}\) a pre-Lie algebra generated by the two ladders E ₁ and E ₂ where E ₁ is the ladder with one edge and E ₂ is the ladder with two edges. Second, we prove that \({(\mathcal{T}^{\,\prime}, \vartriangleright)}\) is not a free pre-Lie algebra, and we exhibit a family of relations.     

Collision Index and Stability of Elliptic Relative Equilibria in Planar {n}-body Problem

In this article, we construct three new holomorphic vertex operator algebras of central charge 24 using the \({\mathbb{Z}_{2}}\)-orbifold construction associated to inner automorphisms. Their weight one subspaces have the Lie algebra structures D_7,3A_3,1G_2,1, E_7,3A_5,1, and \({A_{8,3}A_{2,1}^2}\). In addition, we discuss the constructions of holomorphic vertex operator algebras with Lie algebras A_5,6C_2,3A_1,2 and \({D_{6,5}A_{1,1}^2}\) from holomorphic vertex operator algebras with Lie algebras C_5,3G_2,2A_1,1 and \({A_{4,5}^2}\), respectively.     

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

Entanglement Rates and the Stability of the Area Law for the Entanglement Entropy

We develop in this paper the principles of an associative algebraic approach to bulk logarithmic conformal field theories (LCFTs). We concentrate on the closed \({\mathfrak{gl}(1|1)}\) spin-chain and its continuum limit—the \({c=-2}\) symplectic fermions theory—and rely on two technical companion papers, Gainutdinov et al. (Nucl Phys B 871:245–288, 2013) and Gainutdinov et al. (Nucl Phys B 871:289–329, 2013). Our main result is that the algebra of local Hamiltonians, the Jones–Temperley–Lieb algebra JTL _N , goes over in the continuum limit to a bigger algebra than \({\boldsymbol{\mathcal{V}}}\), the product of the left and right Virasoro algebras. This algebra, \({\mathcal{S}}\)—which we call interchiral, mixes the left and right moving sectors, and is generated, in the symplectic fermions case, by the additional field \({S(z,\bar{z})\equiv S_{\alpha\beta} \psi^\alpha(z)\bar{\psi}^\beta(\bar{z})}\), with a symmetric form \({S_{\alpha\beta}}\) and conformal weights (1,1). We discuss in detail how the space of states of the LCFT (technically, a Krein space) decomposes onto representations of this algebra, and how this decomposition is related with properties of the finite spin-chain. We show that there is a complete correspondence between algebraic properties of finite periodic spin chains and the continuum limit. An important technical aspect of our analysis involves the fundamental new observation that the action of JTL _N in the \({\mathfrak{gl}(1|1)}\) spin chain is in fact isomorphic to an enveloping algebra of a certain Lie algebra, itself a non semi-simple version of \({\mathfrak{sp}_{N-2}}\). The semi-simple part of JTL _N is represented by \({U \mathfrak{sp}_{N-2}}\), providing a beautiful example of a classical Howe duality, for which we have a non semi-simple version in the full JTL _N image represented in the spin-chain. On the continuum side, simple modules over \({\mathcal{S}}\) are identified with “fundamental” representations of \({\mathfrak{sp}_\infty}\).     

On the Reducibility of the Weyl Algebra for a Semibounded Space

When the configuration space of a quantum particle is semibounded, the von Neumann algebra of the observables \({\mathcal{W}_+}\) is generated by a unitary group \({\{V(\beta) = {\rm exp}(-i\beta q)\},\,\beta\in\mathbb{R}}\) , and a semigroup {U(α)}, α ≥ 0, of isometries. We show that when \({\mathcal W_+}\) is a factor it is completely reducible into equivalent components, and that in each component the lower end x ₀ of the spectrum of q is the same. We give an algebraic characterization of x ₀ and also obtain a straightforward new proof that the irreducible representations of \({\mathcal W_+}\) with the same value of x ₀ are equivalent. In the general case \({\mathcal W_+}\) decomposes into the direct integral of factors which correspond to the possible values of x ₀.     

Cyclotomic Gaudin Models: Construction and Bethe Ansatz

To any finite-dimensional simple Lie algebra \({\mathfrak{g}}\) and automorphism \({\sigma: \mathfrak{g}\to \mathfrak{g}}\) we associate a cyclotomic Gaudin algebra. This is a large commutative subalgebra of \({U(\mathfrak{g})^{\otimes N}}\) generated by a hierarchy of cyclotomic Gaudin Hamiltonians. It reduces to the Gaudin algebra in the special case \({\sigma ={\rm id}}\).     

A Topos for Algebraic Quantum Theory

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos \({\mathcal{T}(A)}\) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra \({\underline{A}}\) . According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum \({\underline{\Sigma}(\underline{A})}\) in \({\mathcal{T}(A)}\) , which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on \({\underline{\Sigma}}\) , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from \({\underline{\Sigma}}\) to Scott’s interval domain. Noting that open subsets of \({\underline{\Sigma}(\underline{A})}\) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos \({\mathcal{T}(A)}\).These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.     

Dorey’s Rule and the q-Characters of Simply-Laced Quantum Affine Algebras

Let \({U_q(\widehat{\mathfrak g})}\) be the quantum affine algebra associated to a simply-laced simple Lie algebra \({\mathfrak{g}}\) . We examine the relationship between Dorey’s rule, which is a geometrical statement about Coxeter orbits of \({\mathfrak{g}}\) -weights, and the structure of q-characters of fundamental representations V _i,a of \({U_q(\widehat{\mathfrak g})}\) . In particular, we prove, without recourse to the ADE classification, that the rule provides a necessary and sufficient condition for the monomial 1 to appear in the q-character of a three-fold tensor product \({V_{i,a}\otimes V_{j,b}\otimes V_{k,c}}\) .     

<Emphasis Type="Italic">A</Emphasis><Subscript>∞</Subscript>-Algebra of an Elliptic Curve and Eisenstein Series

We compute explicitly the A _∞-structure on the algebra \({{\rm Ext}^*(\mathcal{O}_C \oplus L, \mathcal{O}_C \oplus L)}\) , where L is a line bundle of degree 1 on an elliptic curve C. The answer involves higher derivatives of Eisenstein series.     

Parabolic Presentations of the Super Yangian {Y(\mathfrak{gl}_{M|N})} Associated with Arbitrary 01-Sequences

Let μ be an arbitrary composition of M + N and let \({\mathfrak{s}}\) be an arbitrary \({0^{M}1^{N}}\)- sequence. A new presentation, depending on \({\mu \rm and \mathfrak{s}}\), of the super Yangian Y_M|N associated to the general linear Lie superalgebra \({\mathfrak{gl}_{M|N}}\) is obtained.     

A New Set of Limiting Gibbs Measures for the Ising Model on a Cayley Tree

For the Ising model (with interaction constant J>0) on the Cayley tree of order k≥2 it is known that for the temperature T≥T _c,k =J/arctan?(1/k) the limiting Gibbs measure is unique, and for T<T _c,k there are uncountably many extreme Gibbs measures. In the Letter we show that if \(T\in(T_{c,\sqrt{k}}, T_{c,k_{0}})\), with \(\sqrt{k} then there is a new uncountable set \({\mathcal{G}}_{k,k_{0}}\) of Gibbs measures. Moreover \({\mathcal{G}}_{k,k_{0}}\ne {\mathcal{G}}_{k,k'_{0}}\), for k ₀≠k′₀. Therefore if \(T\in (T_{c,\sqrt{k}}, T_{c,\sqrt{k}+1})\), \(T_{c,\sqrt{k}+1} then the set of limiting Gibbs measures of the Ising model contains the set {known Gibbs measures}\(\cup(\bigcup_{k_{0}:\sqrt{k}.     

A Categorification of the Boson–Fermion Correspondence via Representation Theory of sl(∞)

In recent years different aspects of categorification of the boson–fermion correspondence have been studied. In this paper we propose a categorification of the boson–fermion correspondence based on the category of tensor modules of the Lie algebra sl(∞) of finitary infinite matrices. By \({\mathbb{T}^{+}}\) we denote the category of “polynomial” tensor sl(∞)-modules. There is a natural “creation” functor \({{\mathcal{T}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\), \({M \mapsto N \otimes M, \quad M,N \in \mathbb{T}^{+}}\). The key idea of the paper is to employ the entire category \({\mathbb{T}}\) of tensor sl(∞)-modules in order to define the “annihilation” functor \({{\mathcal{D}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\) corresponding to \({{\mathcal{T}_{N}}}\). We show that the relations allowing one to express fermions via bosons arise from relations in the cohomology of complexes of linear endofunctors on \({{\mathbb{T}^{+}}}\).     

A Rigidity Result for Extensions of Braided Tensor <Emphasis Type="Italic">C</Emphasis>*–Categories Derived from Compact Matrix Quantum Groups

Let G be a classical compact Lie group and G _μ the associated compact matrix quantum group deformed by a positive parameter μ (or \({\mu\in{\mathbb R}\setminus\{0\}}\) in the type A case). It is well known that the category of unitary representations of G _μ is a braided tensor C*–category. We show that any braided tensor *–functor \({\rho: \text{Rep}(G_\mu)\to\mathcal{M}}\) to another braided tensor C*–category with irreducible tensor unit is full if |μ| ≠ 1. In particular, the functor of restriction RepG _μ → Rep(K) to a proper compact quantum subgroup K cannot be made into a braided functor. Our result also shows that the Temperley–Lieb category \({\mathcal{T}_{\pm d}}\) for d > 2 can not be embedded properly into a larger category with the same objects as a braided tensor C*–subcategory.     

Hölder Regularity of the Solutions of the Cohomological Equation for Roth Type Interval Exchange Maps

There is a general method for constructing a soliton hierarchy from a splitting \({{L_{\pm}}}\) of a loop group as positive and negative sub-groups together with a commuting linearly independent sequence in the positive Lie algebra \({\mathcal{L}_{+}}\). Many known soliton hierarchies can be constructed this way. The formal inverse scattering associates to each f in the negative subgroup \({L_-}\) a solution \({u_{f}}\) of the hierarchy. When there is a 2 co-cycle of the Lie algebra that vanishes on both sub-algebras, Wilson constructed a tau function \({\tau_{f}}\) for each element \({f \in L_-}\). In this paper, we give integral formulas for variations of \({\ln\tau_{f}}\) and second partials of \({\ln\tau_{f}}\), discuss whether we can recover solutions \({u_{f}}\) from \({\tau_{f}}\), and give a general construction of actions of the positive half of the Virasoro algebra on tau functions. We write down formulas relating tau functions and formal inverse scattering solutions and the Virasoro vector fields for the \({GL(n,\mathbb{C})}\)-hierarchy.     

Limits of Gaudin Algebras,Quantization of Bending Flows,Jucys–Murphy Elements and Gelfand–Tsetlin Bases

Gaudin algebras form a family of maximal commutative subalgebras in the tensor product of n copies of the universal enveloping algebra \({U(\mathfrak {g})}\) of a semisimple Lie algebra \({\mathfrak {g}}\). This family is parameterized by collections of pairwise distinct complex numbers z ₁, . . . , z _n . We obtain some new commutative subalgebras in \({U(\mathfrak {g})^{\otimes n}}\) as limit cases of Gaudin subalgebras. These commutative subalgebras turn to be related to the Hamiltonians of bending flows and to the Gelfand–Tsetlin bases. We use this to prove the simplicity of spectrum in the Gaudin model for some new cases.     

Graph-Counting Polynomials for Oriented Graphs

If \(\mathcal{F}\) is a set of subgraphs F of a finite graph E we define a graph-counting polynomial \(p_\mathcal{F}(z)=\sum _{F\in \mathcal{F}}z^{|F|}\) In the present note we consider oriented graphs and discuss some cases where \(\mathcal{F}\) consists of unbranched subgraphs E. We find several situations where something can be said about the location of the zeros of \(p_\mathcal{F}\).     

The Exoticness and Realisability of Twisted Haagerup–Izumi Modular Data

The quantum double of the Haagerup subfactor, the first irreducible finite depth subfactor with index above 4, is the most obvious candidate for exotic modular data. We show that its modular data \({\mathcal{D}{\rm Hg}}\) fits into a family \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) , where n ≥  0 and \({\omega\in \mathbb{Z}_{2n+1}}\) . We show \({\mathcal{D}^0 {\rm Hg}_{2n+1}}\) is related to the subfactors Izumi hypothetically associates to the cyclic groups \({\mathbb{Z}_{2n+1}}\) . Their modular data comes equipped with canonical and dual canonical modular invariants; we compute the corresponding alpha-inductions, etc. In addition, we show there are (respectively) 1, 2, 0 subfactors of Izumi type \({\mathbb{Z}_7, \mathbb{Z}_9}\) and \({\mathbb{Z}_3^2}\) , and find numerical evidence for 2, 1, 1, 1, 2 subfactors of Izumi type \({\mathbb{Z}_{11},\mathbb{Z}_{13},\mathbb{Z}_{15},\mathbb{Z}_{17},\mathbb{Z}_{19}}\) (previously, Izumi had shown uniqueness for \({\mathbb{Z}_3}\) and \({\mathbb{Z}_5}\)), and we identify their modular data. We explain how \({\mathcal{D}{\rm Hg}}\) (more generally \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\)) is a graft of the quantum double \({\mathcal{D} Sym(3)}\) (resp. the twisted double \({\mathcal{D}^\omega D_{2n+1}}\)) by affine so(13) (resp. so\({(4n^2+4n+5)}\)) at level 2. We discuss the vertex operator algebra (or conformal field theory) realisation of the modular data \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) . For example we show there are exactly 2 possible character vectors (giving graded dimensions of all modules) for the Haagerup VOA at central charge c = 8. It seems unlikely that any of this twisted Haagerup-Izumi modular data can be regarded as exotic, in any reasonable sense.     

The Structure of the Kac–Wang–Yan Algebra

The Lie algebra \({\mathcal{D}}\) of regular differential operators on the circle has a universal central extension \({\hat{\mathcal{D}}}\). The invariant subalgebra \({\hat{\mathcal{D}}^+}\) under an involution preserving the principal gradation was introduced by Kac, Wang, and Yan. The vacuum \({\hat{\mathcal{D}}^+}\)-module with central charge \({c \in \mathbb{C}}\), and its irreducible quotient \({\mathcal{V}_c}\), possess vertex algebra structures, and \({\mathcal{V}_c}\) has a nontrivial structure if and only if \({c \in \frac{1}{2}\mathbb{Z}}\). We show that for each integer \({n > 0}\), \({\mathcal{V}_{n/2}}\) and \({\mathcal{V}_{-n}}\) are \({\mathcal{W}}\)-algebras of types \({\mathcal{W}(2, 4,\dots,2n)}\) and \({\mathcal{W}(2, 4,\dots, 2n^2 + 4n)}\), respectively. These results are formal consequences of Weyl’s first and second fundamental theorems of invariant theory for the orthogonal group \({{\rm O}(n)}\) and the symplectic group \({{\rm Sp}(2n)}\), respectively. Based on Sergeev’s theorems on the invariant theory of \({{\rm Osp}(1, 2n)}\) we conjecture that \({\mathcal{V}_{-n+1/2}}\) is of type \({\mathcal{W}(2, 4,\dots, 4n^2 + 8n + 2)}\), and we prove this for \({n = 1}\). As an application, we show that invariant subalgebras of \({\beta\gamma}\)-systems and free fermion algebras under arbitrary reductive group actions are strongly finitely generated.     

On <Emphasis Type="Italic">τ</Emphasis>-Compactness of Products of <Emphasis Type="Italic">τ</Emphasis>-Measurable Operators

Let \(\mathcal {M}\) be a von Neumann algebra of operators on a Hilbert space \(\mathcal {H}\), τ be a faithful normal semifinite trace on \(\mathcal {M}\). We obtain some new inequalities for rearrangements of τ-measurable operators products. We also establish some sufficient τ-compactness conditions for products of selfadjoint τ-measurable operators. Next we obtain a τ-compactness criterion for product of a nonnegative τ-measurable operator with an arbitrary τ-measurable operator. We construct an example that shows importance of nonnegativity for one of the factors. The similar results are obtained also for elementary operators from \(\mathcal {M}\). We apply our results to symmetric spaces on \((\mathcal {M}, \tau )\). The results are new even for the *-algebra \(\mathcal {B}(\mathcal {H})\) of all linear bounded operators on \(\mathcal {H}\) endowed with the canonical trace τ = tr.