Group Orbits and Regular Partitions of Poisson Manifolds

We study a large class of Poisson manifolds, derived from Manin triples, for which we construct explicit partitions into regular Poisson submanifolds by intersecting certain group orbits. Examples include all varieties of Lagrangian subalgebras of reductive quadratic Lie algebras with Poisson structures defined by Lagrangian splittings of . In the special case of , where is a complex semi-simple Lie algebra, we explicitly compute the ranks of the Poisson structures on defined by arbitrary Lagrangian splittings of . Such Lagrangian splittings have been classified by P. Delorme, and they contain the Belavin–Drinfeld splittings as special cases.     

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 .     

On Some Lie Bialgebra Structures on Polynomial Algebras and their Quantization

We study classical twists of Lie bialgebra structures on the polynomial current algebra , where is a simple complex finite-dimensional Lie algebra. We focus on the structures induced by the so-called quasi-trigonometric solutions of the classical Yang-Baxter equation. It turns out that quasi-trigonometric r-matrices fall into classes labelled by the vertices of the extended Dynkin diagram of . We give the complete classification of quasi-trigonometric r-matrices belonging to multiplicity free simple roots (which have coefficient 1 in the decomposition of the maximal root). We quantize solutions corresponding to the first root of .     

Cohomology of $${\mathfrak{osp}}(1|2)$$ Acting on Linear Differential Operators on the Supercircle S1|1

We compute the first cohomology spaces of the Lie superalgebra with coefficients in the superspace of linear differential operators acting on weighted densities on the supercircle S ^1|1. The structure of these spaces was conjectured in (Gargoubi et al. in Lett Math Phys 79:5165, 2007). In fact, we prove here that the situation is a little bit more complicated.      

Regular Strongly Typical Blocks of $${\mathcal{O}^{\mathfrak {q}}}$$

We use the technique of Harish-Chandra bimodules to prove that regular strongly typical blocks of the category for the queer Lie superalgebra are equivalent to the corresponding blocks of the category for the Lie algebra .     

Feynman Graphs,Rooted Trees,and Ringel-Hall Algebras

We construct symmetric monoidal categories of rooted forests and Feynman graphs. These categories closely resemble finitary abelian categories, and in particular, the notion of Ringel-Hall algebra applies. The Ringel-Hall Hopf algebras of , are dual to the corresponding Connes-Kreimer Hopf algebras on rooted trees and Feynman diagrams. We thus obtain an interpretation of the Connes-Kreimer Lie algebras on rooted trees and Feynman graphs as Ringel-Hall Lie algebras.     

Measures on Banach Manifolds and Supersymmetric Quantum Field Theory

We show how to construct measures on Banach manifolds associated to supersymmetric quantum field theories. These measures are mathematically well-defined objects inspired by the formal path integrals appearing in the physics literature on quantum field theory. We give three concrete examples of our construction. The first example is a family of measures on a space of functions on the two-torus, parametrized by a polynomial P (the Wess-Zumino-Landau-Ginzburg model). The second is a family of measures on a space of maps from to a Lie group (the Wess-Zumino-Novikov-Witten model). Finally we study a family of measures on the product of a space of connections on the trivial principal bundle with structure group G on a three-dimensional manifold M with a space of -valued three-forms on M. We show that these measures are positive, and that the measures are Borel probability measures. As an application we show that formulas arising from expectations in the measures reproduce formulas discovered by Frenkel and Zhu in the theory of vertex operator algebras. We conjecture that a similar computation for the measures , where M is a homology three-sphere, will yield the Casson invariant of M. Dedicated to the memory of Raoul Bott Supported in part by NSF grant DMS 04/05670.     

Wave Decay on Convex Co-Compact Hyperbolic Manifolds

For convex co-compact hyperbolic quotients , we analyze the long-time asymptotic of the solution of the wave equation u(t) with smooth compactly supported initial data f = (f ₀, f ₁). We show that, if the Hausdorff dimension δ of the limit set is less than n/2, then where and . We explain, in terms of conformal theory of the conformal infinity of X, the special cases , where the leading asymptotic term vanishes. In a second part, we show for all the existence of an infinite number of resonances (and thus zeros of Selberg zeta function) in the strip . As a byproduct we obtain a lower bound on the remainder R(t) for generic initial data f.     

The Paraboson Fock Space and Unitary Irreducible Representations of the Lie Superalgebra {\mathfrak{osp}(1|2n)}

It is known that the defining relations of the orthosymplectic Lie superalgebra are equivalent to the defining (triple) relations of n pairs of paraboson operators . In particular, with the usual star conditions, this implies that the “parabosons of order p” correspond to a unitary irreducible (infinite-dimensional) lowest weight representation V(p) of . Apart from the simple cases p = 1 or n = 1, these representations had never been constructed due to computational difficulties, despite their importance. In the present paper we give an explicit and elegant construction of these representations V(p), and we present explicit actions or matrix elements of the generators. The orthogonal basis vectors of V(p) are written in terms of Gelfand-Zetlin patterns, where the subalgebra of plays a crucial role. Our results also lead to character formulas for these infinite-dimensional representations. Furthermore, by considering the branching , we find explicit infinite-dimensional unitary irreducible lowest weight representations of and their characters. NIS was supported by a project from the Fund for Scientific Research – Flanders (Belgium) and by project P6/02 of the Interuniversity Attraction Poles Programme (Belgian State – Belgian Science Policy). An erratum to this article can be found at     

Quantisation of Twistor Theory by Cocycle Twist

We present the main ingredients of twistor theory leading up to and including the Penrose-Ward transform in a coordinate algebra form which we can then ‘quantise’ by means of a functorial cocycle twist. The quantum algebras for the conformal group, twistor space , compactified Minkowski space and the twistor correspondence space are obtained along with their canonical quantum differential calculi, both in a local form and in a global *-algebra formulation which even in the classical commutative case provides a useful alternative to the formulation in terms of projective varieties. We outline how the Penrose-Ward transform then quantises. As an example, we show that the pull-back of the tautological bundle on pulls back to the basic instanton on and that this observation quantises to obtain the Connes-Landi instanton on θ-deformed S ⁴ as the pull-back of the tautological bundle on our θ-deformed . We likewise quantise the fibration and use it to construct the bundle on θ-deformed that maps over under the transform to the θ-deformed instanton. The work was mainly completed while S.M. was visiting July-December 2006 at the Isaac Newton Institute, Cambridge, which both authors thank for support.     

(Co)cyclic (Co)homology of Bialgebroids: An Approach via (Co)monads

For a (co)monad T _l on a category , an object X in , and a functor , there is a (co)simplex in . The aim of this paper is to find criteria for para-(co)cyclicity of Z ^*. Our construction is built on a distributive law of T _l with a second (co)monad T _r on , a natural transformation , and a morphism in . The (symmetrical) relations i and w need to satisfy are categorical versions of Kaygun’s axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads and on the category of R-bimodules. The functor Π can be chosen such that is the cyclic R-module tensor product. A natural transformation is given by the flip map and a morphism is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. The notion of a stable anti-Yetter-Drinfel’d module over certain bialgebroids, the so-called  ×  _R -Hopf algebras, is introduced. In the particular example when T is a module coring of a  ×  _R -Hopf algebra and X is a stable anti-Yetter-Drinfel’d -module, the para-cyclic object Z _* is shown to project to a cyclic structure on . For a -Galois extension , a stable anti-Yetter-Drinfel’d -module T _S is constructed, such that the cyclic objects and are isomorphic. This extends a theorem by Jara and Ştefan for Hopf Galois extensions. As an application, we compute Hochschild and cyclic homologies of a groupoid with coefficients in a stable anti-Yetter-Drinfel’d module, by tracing it back to the group case. In particular, we obtain explicit expressions for (coinciding relative and ordinary) Hochschild and cyclic homologies of a groupoid. The latter extends results of Burghelea on cyclic homology of groups.     

An Algebra of Deformation Quantization for Star-Exponentials on Complex Symplectic Manifolds

The cotangent bundle T ^* X to a complex manifold X is classically endowed with the sheaf of k-algebras of deformation quantization, where k := is a subfield of . Here, we construct a new sheaf of k-algebras which contains as a subalgebra and an extra central parameter t. We give the symbol calculus for this algebra and prove that quantized symplectic transformations operate on it. If P is any section of order zero of , we show that is well defined in .     

Quadratic Deformations of Lie–Poisson Structures

In this letter, first we give a decomposition for any Lie–Poisson structure associated to the modular vector. In particular, splits into two compatible Lie–Poisson structures if . As an application, we classified quadratic deformations of Lie– Poisson structures on up to linear diffeomorphisms. Research partially supported by NSF of China and the Research Project of “Nonlinear Science”.     

Uniqueness Theorem for BMS-Invariant States of Scalar QFT on the Null Boundary of Asymptotically Flat Spacetimes and Bulk-Boundary Observable Algebra Correspondence

This work concerns some features of scalar QFT defined on the causal boundary of an asymptotically flat at null infinity spacetime and based on the BMS-invariant Weyl algebra .(a) (i) It is noticed that the natural BMS invariant pure quasifree state λ on , recently introduced by Dappiaggi, Moretti and Pinamonti, enjoys positivity of the self-adjoint generator of u-translations with respect to every Bondi coordinate frame on , ( being the affine parameter of the complete null geodesics forming and complex coordinates on the transverse 2-sphere). This fact may be interpreted as a remnant of the spectral condition inherited from QFT in Minkowski spacetime (and it is the spectral condition for free fields when the bulk is the very Minkowski space). (ii) It is also proved that the cluster property under u-displacements is valid for every (not necessarily quasifree) pure state on which is invariant under u displacements. (iii) It is established that there is exactly one algebraic pure quasifree state which is invariant under u-displacements (of a fixed Bondi frame) and has positive self-adjoint generator of u-displacements. It coincides with the GNS-invariant state λ. (iv) Finally it is shown that in the folium of a pure u-displacement invariant state ω (like λ but not necessarily quasifree) on is the only state invariant under u-displacement.(b) It is proved that the theory can be formulated for spacetimes asymptotically flat at null infinity which also admit future time completion i ⁺ (and fulfill other requirements related with global hyperbolicity). In this case a -isomorphism ı exists - with a natural geometric meaning - which identifies the (Weyl) algebra of observables of a linear field propagating in the bulk spacetime with a sub algebra of . Using ı a preferred state on the field algebra in the bulk spacetime is induced by the BMS-invariant state λ on .     

Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics

This paper deals with topos-theoretic truth-value valuations of quantum propositions. Concretely, a mathematical framework of a specific type of modal approach is extended to the topos theory, and further, structures of the obtained truth-value valuations are investigated. What is taken up is the modal approach based on a determinate lattice , which is a sublattice of the lattice of all quantum propositions and is determined by a quantum state e and a preferred determinate observable R. Topos-theoretic extension is made in the functor category of which base category is determined by R. Each true atom, which determines truth values, true or false, of all propositions in , generates also a multi-valued valuation function of which domain and range are and a Heyting algebra given by the subobject classifier in , respectively. All true propositions in are assigned the top element of the Heyting algebra by the valuation function. False propositions including the null proposition are, however, assigned values larger than the bottom element. This defect can be removed by use of a subobject semi-classifier. Furthermore, in order to treat all possible determinate observables in a unified framework, another valuations are constructed in the functor category . Here, the base category includes all ’s as subcategories. Although has a structure apparently different from , a subobject semi-classifier of gives valuations completely equivalent to those in ’s.     

The Automorphism Group of a Simple Tracially AI Algebra

The structure of the automorphism group of a simple TAI algebra is studied. In particular, we show that is isomorphic (as a topological group) to an inverse limit of discrete abelian groups for a unital, simple, AH algebra with bounded dimension growth. Consequently, is totally disconnected. Another consequence of our results is the following: Suppose A is the transformation group C*-algebra of a minimal Furstenberg transformation with a unique invariant probability measure. Then the automorphism group of A is an extension of a simple topological group by the discrete group .     

Linking and Causality in Globally Hyperbolic Space-times

The classical linking number lk is defined when link components are zero homologous. In [15] we constructed the affine linking invariant alk generalizing lk to the case of linked submanifolds with arbitrary homology classes. Here we apply alk to the study of causality in Lorentzian manifolds. Let M ^m be a spacelike Cauchy surface in a globally hyperbolic space-time (X ^m+1, g). The spherical cotangent bundle ST ^* M is identified with the space of all null geodesics in (X,g). Hence the set of null geodesics passing through a point gives an embedded (m−1)-sphere in called the sky of x. Low observed that if the link is nontrivial, then are causally related. This observation yielded a problem (communicated by R. Penrose) on the V. I. Arnold problem list [3,4] which is basically to study the relation between causality and linking. Our paper is motivated by this question. The spheres are isotopic to the fibers of They are nonzero homologous and the classical linking number lk is undefined when M is closed, while alk is well defined. Moreover, alk if M is not an odd-dimensional rational homology sphere. We give a formula for the increment of alk under passages through Arnold dangerous tangencies. If (X,g) is such that alk takes values in and g is conformal to that has all the timelike sectional curvatures nonnegative, then are causally related if and only if alk . We prove that if alk takes values in and y is in the causal future of x, then alk is the intersection number of any future directed past inextendible timelike curve to y and of the future null cone of x. We show that x,y in a nonrefocussing (X, g) are causally unrelated if and only if can be deformed to a pair of S ^m-1-fibers of by an isotopy through skies. Low showed that if (X, g) is refocussing, then M is compact. We show that the universal cover of M is also compact.     

On the Uniqueness of Weak Weyl Representations of the Canonical Commutation Relation

Let (T, H) be a weak Weyl representation of the canonical commutation relation (CCR) with one degree of freedom. Namely T is a symmetric operator and H is a self-adjoint operator on a complex Hilbert space satisfying the weak Weyl relation: for all (the set of real numbers), e^−itH D(T) ⊂ D(T) (i is the imaginary unit and D(T) denotes the domain of T) and . In the context of quantum theory where H is a Hamiltonian, T is called a strong time operator of H. In this paper we prove the following theorem on uniqueness of weak Weyl representations: Let be separable. Assume that H is bounded below with and , where is the set of complex numbers and, for a linear operator A on a Hilbert space, σ(A) denotes the spectrum of A. Then ( is the closure of T) is unitarily equivalent to a direct sum of the weak Weyl representation on the Hilbert space , where is the multiplication operator by the variable and with . Using this theorem, we construct a Weyl representation of the CCR from the weak Weyl representation . This work is supported by the Grant-in-Aid No.17340032 for Scientific Research from Japan Society for the Promotion of Science (JSPS).     

Stability of Two Soliton Collision for Nonintegrable gKdV Equations

We continue our study of the collision of two solitons for the subcritical generalized KdV equations

Compound Basis Arising from the Basic {A^{(1)}_{1}}-Module

Given a conditionally completely positive map on a unital *-algebra , we find an interesting connection between the second Hochschild cohomology of with coefficients in the bimodule of adjointable maps, where M is the GNS bimodule of , and the possibility of constructing a quantum random walk [in the sense of (Attal et al. in Ann Henri Poincar 7(1):59–104, 2006; Lindsay and Parthasarathy in Sankhya Ser A 50(2):151–170, 1988; Sahu in Quantum stochastic Dilation of a class of Quantum dynamical Semigroups and Quantum random walks. Indian Statistical Institute, 2005; Sinha in Banach Center Publ 73:377–390, 2006)] corresponding to . D. Goswami was supported by a project funded by the Indian National Academy of Sciences. L. Sahu had research support from the National Board of Higher Mathematics, DAE (India) is gratefully acknowledged.