An equivalence of two constructions of permutation-twisted modules for lattice vertex operator algebras

The problem of constructing twisted modules for a vertex operator algebra and an automorphism has been solved in particular in two contexts. One of these two constructions is that initiated by the third author in the case of a lattice vertex operator algebra and an automorphism arising from an arbitrary lattice isometry. This construction, from a physical point of view, is related to the space–time geometry associated with the lattice in the sense of string theory. The other construction is due to the first author, jointly with C. Dong and G. Mason, in the case of a multifold tensor product of a given vertex operator algebra with itself and a permutation automorphism of the tensor factors. The latter construction is based on a certain change of variables in the worldsheet geometry in the sense of string theory. In the case of a lattice that is the orthogonal direct sum of copies of a given lattice, these two very different constructions can both be carried out, and must produce isomorphic twisted modules, by a theorem of the first author jointly with Dong and Mason. In this paper, we explicitly construct an isomorphism, thereby providing, from both mathematical and physical points of view, a direct link between space–time geometry and worldsheet geometry in this setting.     

Catégories prémodulaires, modularisations et invariants des variétés de dimension 3

An abelian k-linear semisimple category having a finite number of simple objects, and endowed with a ribbon structure, is called premodular. It is modular (in the sense of Turaev) if the so-called S-matrix is invertible. A modular category defines invariants of 3-manifolds and a TQFT ([T]). When is it possible to construct a modularisation of a given premodular category, i.e. a functor to a modular category preserving the structures and ‘dominant’ in a certain sense? It turns out (2.3) that this amounts essentially to making ‘transparent’ objects trivial. We give a full answer to this problem in the case when k is a field of char. 0 (as well as partial answers in char. p): under a few obvious hypotheses, a premodular category admits a modularisation, which is unique (th. 3.1, and cor. 3.5 in char. 0) The proof relies on two main ingredients: a new and very simple criterion for the S-matrix to be invertible (1.1) and Deligne's internal characterization of tannakian categories in char. 0 [D]. When simple transparent objects are invertible, the criterion is simpler (4.2) and the modularisation can be described more explicitly (prop. 4.4). We conclude with two examples: the premodular categories associated with quantum and at roots of unity; in the first case, we obtain modular categories which were built independently by C. Blanchet [B]; in the second case, we obtain modularizations in all the cases where Y. Yokota [Y] found Reshetikhin-Turaev invariants of 3-manifolds, thereby improving as well as explaining Yokota's results.

Re?u le: 14 juillet 1998 / version définitive: 28 mars 1999     

Double braidings, twists and tangle invariants

A tortile (or ribbon) category defines invariants of ribbon (framed) links and tangles. We observe that these invariants, when restricted to links, string links, and more general tangles which we call turbans, do not actually depend on the braiding of the tortile category. Besides duality, the only pertinent data for such tangles are the double braiding and twist. We introduce the general notions of twine, which is meant to play the rôle of the double braiding (in the absence of a braiding), and the corresponding notion of twist. We show that the category of (ribbon) pure braids is the free category with a twine (a twist). We show that a category with duals and a self-dual twist defines invariants of stringlinks. We introduce the notion of turban category, so that the category of turban tangles is the free turban category. Lastly we give a few examples and a tannaka dictionary for twines and twists.     

Generalized trace and modified dimension functions on ribbon categories

In this paper, we use topological techniques to construct generalized trace and modified dimension functions on ideals in certain ribbon categories. Examples of such ribbon categories naturally arise in representation theory where the usual trace and dimension functions are zero, but these generalized trace and modified dimension functions are nonzero. Such examples include categories of finite dimensional modules of certain Lie algebras and finite groups over a field of positive characteristic and categories of finite dimensional modules of basic Lie superalgebras over the complex numbers. These modified dimensions can be interpreted categorically and are closely related to some basic notions from representation theory.     

Representations of quantum groups defined over commutative rings II

In this article we study the structure of highest weight modules for quantum groups defined over a commutative ring with particular emphasis on the structure theory for invariant bilinear forms on these modules.     

Howe duality and combinatorial character formula for orthosymplectic Lie superalgebras

We study the Howe dualities involving the reductive dual pairs (O(d),spo(2m|2n)) and (Sp(d),osp(2m|2n)) on the (super)symmetric tensor of . We obtain complete decompositions of this space with respect to their respective joint actions. We also use these dualities to derive a character formula for these irreducible representations of spo(2m|2n) and osp(2m|2n) that appear in these decompositions.     

Skew representations of twisted Yangians

Analogs of the classical Sylvester theorem have been known for matrices with entries in noncommutative algebras including the quantized algebra of functions on GL_N and the Yangian for $$ \mathfrak{g}\mathfrak{l}_{{N}} $$ . We prove a version of this theorem for the twisted Yangians $$ {\text{Y(}}\mathfrak{g}_{N} {\text{)}} $$associated with the orthogonal and symplectic Lie algebras $$ \mathfrak{g}_{N} = \mathfrak{o}_{N} {\text{ or }}\mathfrak{s}\mathfrak{p}_{N} $$. This gives rise to representations of the twisted Yangian $$ {\text{Y}}{\left( {\mathfrak{g}_{{N - M}} } \right)} $$ on the space of homomorphisms $$ {\text{Hom}}_{{\mathfrak{g}_{M} }} {\left( {W,V} \right)} $$, where W and V are finite-dimensional irreducible modules over $$ \mathfrak{g}_{{M}} {\text{ and }}\mathfrak{g}_{{N}} $$, respectively. In the symplectic case these representations turn out to be irreducible and we identify them by calculating the corresponding Drinfeld polynomials.We also apply the quantum Sylvester theorem to realize the twisted Yangian as a projective limit of certain centralizers in universal enveloping algebras.     

GAUGE TRANSFORMATIONS OF TYPE (0,2) TENSOR FIELDS AND ASSOCIATED VARIATIONAL PRINCIPLES

ABSTRACT

This article is concerned with variational problems whose field variables are functions on a product manifold M x G of two manifolds M and G. These field variables are denoted by ψ_hα_j in local coordinates (h, j = 1,…,n = dim M, α = 1,…,r = dim G), and it is supposed that they behave as type (0,2) tensor fields under coordinate transformations on M. The dependance of ψ_hα_j on the coordinates of G is specified by a generalized gauge transformation that depends on a map h: M → G. The requirement that the action integral be independent of the choice of this map imposes conditions on the matrices that define the gauge transformation in a manner that gives rise to a Lie algebra, which in turn imposes a Lie group structure on the manifold G. As in the case of standard gauge theories (whose gauge potentials consist of r type (0,1) vector fields on M) certain combinations of the first derivatives of the field variations ψ_hα_j give rise to a set of r tensors on M, the so-called field strengths, that can be regarded as special representations of G. These may be used to construct appropriate connection and curvature forms of M. The Euler-Lagrange equations of the variational problem, when expressed in terms of such connections, admit a particularly simple representation and give rise a set of n conservation laws in terms of type (1,1) tensor fields.     

Conformal nets associated with lattices and their orbifolds

In this paper, we study representations of conformal nets associated with positive definite even lattices and their orbifolds with respect to isometries of the lattices. Using previous general results on orbifolds, we give a list of all irreducible representations of the orbifolds, which generate a unitary modular tensor category.     

N-point locality for vertex operators: Normal ordered products,operator product expansions,twisted vertex algebras

In this paper we study fields satisfying N-point locality and their properties. We obtain residue formulae for N-point local fields in terms of derivatives of delta functions and Bell polynomials. We introduce the notion of the space of descendants of N-point local fields which includes normal ordered products and coefficients of operator product expansions. We show that examples of N  -point local fields include the vertex operators generating the boson–fermion correspondences of types B, C and D-A. We apply the normal ordered products of these vertex operators to the setting of the representation theory of the double-infinite rank Lie algebras _b∞$b_{\infty }$, _c∞$c_{\infty }$, _d∞$d_{\infty }$. Finally, we show that the field theory generated by N-point local fields and their descendants has a structure of a twisted vertex algebra.     

On the stability of some groups of formal diffeomorphisms by the Birkhoff decomposition

Let G_∞ be the group of one parameter identity-tangent diffeomorphisms on the line whose coefficients are formal Laurent series in the parameter ε with a pole of finite order at 0. It is well known that the Birkhoff decomposition can be defined in such a group. We investigate the stability of the Birkhoff decomposition in subgroups of G_∞ and give a formula for this decomposition.These results are strongly related to renormalization in quantum field theory, since it was proved by A. Connes and D. Kreimer that, after dimensional regularization, the unrenormalized effective coupling constants are the image by a formal identity-tangent diffeomorphism of the coupling constants of the theory. In the massless theory, this diffeomorphism is in G_∞ and its Birkhoff decomposition gives directly the bare coupling constants and the renormalized coupling constants.     

On the concepts of intertwining operator and tensor product module in vertex operator algebra theory

We produce counterexamples to show that in the definition of the notion of intertwining operator for modules for a vertex operator algebra, the commutator formula cannot in general be used as a replacement axiom for the Jacobi identity. We further give a sufficient condition for the commutator formula to imply the Jacobi identity in this definition. Using these results we illuminate the crucial role of the condition called the “compatibility condition” in the construction of the tensor product module in vertex operator algebra theory, as carried out in work of Huang and Lepowsky. In particular, we prove by means of suitable counterexamples that the compatibility condition was indeed needed in this theory.     

Hopf group-coalgebras

We study algebraic properties of Hopf group-coalgebras, recently introduced by Turaev. We show the existence of integrals and traces for such coalgebras, and we generalize the main properties of quasitriangular and ribbon Hopf algebras to the setting of Hopf group-coalgebras.     

Braided bosonization and inhomogeneous quantum groups

We consider quasitriangular Hopf algebras in braided tensor categories introduced by Majid. It is known that a quasitriangular Hopf algebra H in a braided monoidal category C induces a braiding in a full monoidal subcategory of the category of H-modules in C. Within this subcategory, a braided version of the bosonization theorem with respect to the category C will be proved. An example of braided monoidal categories with quasitriangular structure deviating from the ordinary case of symmetric tensor categories of vector spaces is provided by certain braided supersymmetric tensor categories. Braided inhomogeneous quantum groups like the dilaton free q-Poincaré group are explicit applications.Supported in part by the Deutsche Forschungsgemeinschaft (DFG) through a research fellowship.     

Spectral theory of time-periodic many-body systems

We study the spectrum of the monodromy operator for an N-body quantum system in a time-periodic external field with time-mean equal to zero. This includes AC-Stark and circularly polarized fields, and pair potentials with a local singularity up to (and including) the Coulomb singularity. In the framework of Floquet theory we prove a local commutator estimate and use it to prove a Limiting Absorption Principle for the Floquet Hamiltonian as well as exponential decay estimates on non-threshold eigenfunctions. These two results are then used to obtain a second-order perturbation theory for embedded eigenvalues. The principal tool is a new extended Mourre theory.     

On fixpoint objects and gluing constructions

This article has two parts: in the first part, we present some general results about fixpoint objects. The minimal categorical structure required to model soundly the equational type theory which combines higher order recursion and computation types (introduced by Crole and Pitts (1992)) is shown to be precisely a let-category possessing a fixpoint object. Functional completeness for such categories is developed. We also prove that categories with fixpoint operators do not necessarily have a fixpoint object.In the second part, we extend Freyd's gluing construction for cartesian closed categories to cartesian closed let-categories, and observe that this extension does not obviously apply to categories possessing fixpoint objects. We solve this problem by giving a new gluing construction for a limited class of categories with fixpoint objects; this is the main result of the paper. We use this category-theoretic construction to prove a type-theoretic conservative extension result.     

Hopf monads

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. In particular, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc.) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).     

Abelian categories of modules over a (lax) monoidal functor

Crane and Yetter (Deformations of (bi)tensor categories, Cahier de Topologie et Géometrie Differentielle Catégorique, 1998) introduced a deformation theory for monoidal categories. The related deformation theory for monoidal functors introduced by Yetter (in: E. Getzler, M. Kapranov (Eds.), Higher Category Theory, American Mathematical Society Contemporary Mathematics, Vol. 230, American Mathematical Society, Providence, RI, 1998, pp. 117-134.) is a proper generalization of Gerstenhaber's deformation theory for associative algebras (Ann. Math. 78(2) (1963) 267; 79(1) (1964) 59; in: M. Hazewinkel, M. Gerstenhaber (Eds.), Deformation Theory of Algebras and Structure and Applications, Kluwer, Dordrecht, 1988, pp. 11-264). In the present paper we solidify the analogy between lax monoidal functors and associative algebras by showing that under suitable conditions, categories of functors with an action of a lax monoidal functor are abelian categories. The deformation complex of a monoidal functor is generalized to an analogue of the Hochschild complex with coefficients in a bimodule, and the deformation complex of a monoidal natural transformation is shown to be a special case. It is shown further that the cohomology of a monoidal functor F with coefficients in an F,F-bimodule is given by right derived functors.     

Expansions for the Bollob��s-Riordan Polynomial of Separable Ribbon Graphs

We define 2-decompositions of ribbon graphs, which generalize 2-sums and tensor products of graphs. We give formulae for the Bollobás-Riordan polynomial of such a 2-decomposition, and derive the classical Brylawski formula for the Tutte polynomial of a tensor product as a (very) special case. This study was initially motivated from knot theory, and we include an application of our formulae to mutation in knot diagrams.