78,106 research outputs found

    Feigin-Frenkel center in types B, C and D

    Full text link
    For each simple Lie algebra g consider the corresponding affine vertex algebra V_{crit}(g) at the critical level. The center of this vertex algebra is a commutative associative algebra whose structure was described by a remarkable theorem of Feigin and Frenkel about two decades ago. However, only recently simple formulas for the generators of the center were found for the Lie algebras of type A following Talalaev's discovery of explicit higher Gaudin Hamiltonians. We give explicit formulas for generators of the centers of the affine vertex algebras V_{crit}(g) associated with the simple Lie algebras g of types B, C and D. The construction relies on the Schur-Weyl duality involving the Brauer algebra, and the generators are expressed as weighted traces over tensor spaces and, equivalently, as traces over the spaces of singular vectors for the action of the Lie algebra sl_2 in the context of Howe duality. This leads to explicit constructions of commutative subalgebras of the universal enveloping algebras U(g[t]) and U(g), and to higher order Hamiltonians in the Gaudin model associated with each Lie algebra g. We also introduce analogues of the Bethe subalgebras of the Yangians Y(g) and show that their graded images coincide with the respective commutative subalgebras of U(g[t]).Comment: 29 pages, constructions of Pfaffian-type Sugawara operators and commutative subalgebras in universal enveloping algebras are adde

    The Milnor-Moore theorem for LL_\infty algebras in rational homotopy theory

    Get PDF
    We give a construction of the universal enveloping AA_\infty algebra of a given LL_\infty algebra, alternative to the already existing versions. As applications, we derive a higher homotopy algebras version of the classical Milnor-Moore theorem, proposing a new AA_\infty model for simply connected rational homotopy types, and uncovering a relationship between the higher order rational Whitehead products in homotopy groups and the Pontryagin-Massey products in the rational loop space homology algebra

    The Milnor-Moore theorem for L∞ algebras in rational homotopy theory

    Get PDF
    We give a construction of the universal enveloping A∞ algebra of a given L∞ algebra, alternative to the already existing versions. As applications, we derive a higher homotopy algebras version of the classical Milnor-Moore theorem. This proposes a new A∞ model for simply connected rational homotopy types, and uncovers a relationship between the higher order rational Whitehead products in homotopy groups and the Pontryagin-Massey products in the rational loop space homology algebraOpen Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. charged to the Universidad de Málaga/CBU

    Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes

    Get PDF
    We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I(0) = I, I(i+1) = I(i)+, we call the operations of I(n-1) the `n-dimensional opetopes'. Opetopes form a category, and presheaves on this category are called `opetopic sets'. A weak n-category is defined as an opetopic set with certain properties, in a manner reminiscent of Street's simplicial approach to weak omega-categories. Similarly, starting from an arbitrary operad O instead of I, we define `n-coherent O-algebras', which are n times categorified analogs of algebras of O. Examples include `monoidal n-categories', `stable n-categories', `virtual n-functors' and `representable n-prestacks'. We also describe how n-coherent O-algebra objects may be defined in any (n+1)-coherent O-algebra.Comment: 59 pages LaTex, uses diagram.sty and auxdefs.sty macros, one encapsulated Postscript figure, also available as a compressed Postscript file at http://math.ucr.edu/home/baez/op.ps.Z or ftp://math.ucr.edu/pub/baez/op.ps.

    Foundations for structured programming with GADTs

    Get PDF
    GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In this paper we solve this problem by showing that the standard theory of data types as carriers of initial algebras of functors can be extended from algebraic and nested data types to GADTs. We then use this observation to derive an initial algebra semantics for GADTs, thus ensuring that all of the accumulated knowledge about initial algebras can be brought to bear on them. Next, we use our initial algebra semantics for GADTs to derive expressive and principled tools — analogous to the well-known and widely-used ones for algebraic and nested data types — for reasoning about, programming with, and improving the performance of programs involving, GADTs; we christen such a collection of tools for a GADT an initial algebra package. Along the way, we give a constructive demonstration that every GADT can be reduced to one which uses only the equality GADT and existential quantification. Although other such reductions exist in the literature, ours is entirely local, is independent of any particular syntactic presentation of GADTs, and can be implemented in the host language, rather than existing solely as a metatheoretical artifact. The main technical ideas underlying our approach are (i) to modify the notion of a higher-order functor so that GADTs can be seen as carriers of initial algebras of higher-order functors, and (ii) to use left Kan extensions to trade arbitrary GADTs for simpler-but-equivalent ones for which initial algebra semantics can be derive
    corecore