Quantum Conjugacy Classes of Simple Matrix Groups

Let G be a simple complex classical group and its Lie algebra. Let be the Drinfeld-Jimbo quantization of the universal enveloping algebra . We construct an explicit -equivariant quantization of conjugacy classes of G with Levi subgroups as the stabilizers. Dedicated to the memory of Joseph Donin This research is partially supported by the Emmy Noether Research Institute for Mathematics, the Minerva Foundation of Germany, the Excellency Center “Group Theoretic Methods in the study of Algebraic Varieties” of the Israel Science foundation, by the EPSRC grant C511166, and by the RFBR grant no. 06-01-00451.     

A Uniform Quantum Version of the Cherry Theorem

Consider in the operator family . P ₀ is the quantum harmonic oscillator with diophantine frequency vector ω, F ₀ a bounded pseudodifferential operator with symbol decreasing to zero at infinity in phase space, and . Then there exist independent of and an open set such that if and , the quantum normal form near P ₀ converges uniformly with respect to . This yields an exact quantization formula for the eigenvalues, and for the classical Cherry theorem on convergence of Birkhoff’s normal form for complex frequencies is recovered. Partially supported by PAPIIT-UNAM IN106106-2.     

Zero Modes’ Fusion Ring and Braid Group Representations for the Extended Chiral <Emphasis Type="Italic">su</Emphasis>(2) WZNW Model

A zero modes’ Fock space is constructed for the extended chiral WZNW model. It gives room to a realization of the fusion ring of representations of the restricted quantum universal enveloping algebra at an even root of unity, and of its infinite dimensional extension by the Lusztig operators We provide a streamlined derivation of the characteristic equation for the Casimir invariant from the defining relations of A central result is the characterization of the Grothendieck ring of both and in Theorem 3.1. The properties of the fusion ring in are related to the braiding properties of correlation functions of primary fields of the conformal current algebra model.      

Hidden Grassmann Structure in the XXZ Model

For the critical XXZ model, we consider the space of operators which are products of local operators with a disorder operator. We introduce two anti-commutative families of operators which act on . These operators are constructed as traces over representations of the q-oscillator algebra, in close analogy with Baxter’s Q-operators. We show that the vacuum expectation values of operators in can be expressed in terms of an exponential of a quadratic form of . On leave of absence from Skobeltsyn Institute of Nuclear Physics, MSU, 119992, Moscow, Russia Membre du CNRS     

On \mathbb{Z}-Gradations of Twisted Loop Lie Algebras of Complex Simple Lie Algebras

We define the twisted loop Lie algebra of a finite dimensional Lie algebra as the Fréchet space of all twisted periodic smooth mappings from to . Here the Lie algebra operation is continuous. We call such Lie algebras Fréchet Lie algebras. We introduce the notion of an integrable -gradation of a Fréchet Lie algebra, and find all inequivalent integrable -gradations with finite dimensional grading subspaces of twisted loop Lie algebras of complex simple Lie algebras.On leave of absence from the Institute for Nuclear Research of the Russian Academy of Sciences, 117312 Moscow, Russia.     

Moment Bounds for the Smoluchowski Equation and their Consequences

We prove bounds on moments of the Smoluchowski coagulation equations with diffusion, in any dimension d ≥ 1. If the collision propensities α(n, m) of mass n and mass m particles grow more slowly than , and the diffusion rate is non-increasing and satisfies for some b ₁ and b ₂ satisfying 0 ≤ b ₂ < b ₁ < ∞, then any weak solution satisfies for every and T ∈(0, ∞), (provided that certain moments of the initial data are finite). As a consequence, we infer that these conditions are sufficient to ensure uniqueness of a weak solution and its conservation of mass. This work was performed while A.H. held a postdoctoral fellowship in the Department of Mathematics at U.B.C. This work is supported in part by NSF grant DMS0307021.     

An Infinite Genus Mapping Class Group and Stable Cohomology

We exhibit a finitely generated group whose rational homology is isomorphic to the rational stable homology of the mapping class group. It is defined as a mapping class group associated to a surface of infinite genus, and contains all the pure mapping class groups of compact surfaces of genus g with n boundary components, for any g ≥ 0 and n > 0. We construct a representation of into the restricted symplectic group of the real Hilbert space generated by the homology classes of non-separating circles on , which generalizes the classical symplectic representation of the mapping class groups. Moreover, we show that the first universal Chern class in is the pull-back of the Pressley-Segal class on the restricted linear group via the inclusion . L. F. was partially supported by the ANR Repsurf:ANR-06-BLAN-0311.     

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.     

Dyson’s Constants in the Asymptotics of the Determinants of Wiener-Hopf-Hankel Operators with the Sine Kernel

Let stand for the integral operators with the sine kernels acting on L ²[0,α]. Dyson conjectured that the asymptotics of the Fredholm determinants of are given by

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.     

$${\mathsf{N}}$$ -Complexes as Functors,Amplitude Cohomology and Fusion Rules

We consider -complexes as functors over an appropriate linear category in order to show first that the Krull-Schmidt Theorem holds, then to prove that amplitude cohomology (called generalized cohomology by M. Dubois-Violette) only vanishes on injective functors providing a well defined functor on the stable category. For left truncated -complexes, we show that amplitude cohomology discriminates the isomorphism class up to a projective functor summand. Moreover amplitude cohomology of positive -complexes is proved to be isomorphic to an Ext functor of an indecomposable -complex inside the abelian functor category. Finally we show that for the monoidal structure of -complexes a Clebsch-Gordan formula holds, in other words the fusion rules for -complexes can be determined. This work has been supported by the projects PICT 08280 (ANPCyT), UBACYTX169, PIP-CONICET 5099 and the German Academic Exchange Service (DAAD). The second author is a research member of CONICET (Argentina) and a Regular Associate of ICTP Associate Scheme.     

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

A Strong Szegő Theorem for Jacobi Matrices

We use a classical result of Golinskii and Ibragimov to prove an analog of the strong Szegő theorem for Jacobi matrices on . In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences and find necessary and sufficient conditions on the spectral measure such that and lie in , the linearly-weighted l ² space. An erratum to this article can be found at     

The Distribution of the Free Path Lengths in the Periodic Two-Dimensional Lorentz Gas in the Small-Scatterer Limit

We study the free path length and the geometric free path length in the model of the periodic two-dimensional Lorentz gas (Sinai billiard). We give a complete and rigorous proof for the existence of their distributions in the small-scatterer limit and explicitly compute them. As a corollary one gets a complete proof for the existence of the constant term in the asymptotic formula of the KS entropy of the billiard map in this model, as conjectured by P. Dahlqvist.In memory of Walter Philipp     

On the Global Wellposedness to the 3-D Incompressible Anisotropic Navier-Stokes Equations

Corresponding to the wellposedness result [2] for the classical 3-D Navier-Stokes equations (NS _ν) with initial data in the scaling invariant Besov space, here we consider a similar problem for the 3-D anisotropic Navier-Stokes equations (ANS _ν), where the vertical viscosity is zero. In order to do so, we first introduce the Besov-Sobolev type spaces, and Then with initial data in the scaling invariant space we prove the global wellposedness for (ANS _ν) provided the norm of initial data is small enough compared to the horizontal viscosity. In particular, this result implies the global wellposedness of (ANS _ν) with high oscillatory initial data (1.2).     

Spectral Analysis and Zeta Determinant on the Deformed Spheres

We consider a class of singular Riemannian manifolds, the deformed spheres , defined as the classical spheres with a one parameter family g[k] of singular Riemannian structures, that reduces for k = 1 to the classical metric. After giving explicit formulas for the eigenvalues and eigenfunctions of the metric Laplacian , we study the associated zeta functions . We introduce a general method to deal with some classes of simple and double abstract zeta functions, generalizing the ones appearing in . An application of this method allows to obtain the main zeta invariants for these zeta functions in all dimensions, and in particular and . We give explicit formulas for the zeta regularized determinant in the low dimensional cases, N = 2,3, thus generalizing a result of Dowker [25], and we compute the first coefficients in the expansion of these determinants in powers of the deformation parameter k. Partially supported by FAPESP: 2005/04363-4     

Nonexistence of Self-Similar Singularities for the 3D Incompressible Euler Equations

We prove that there exists no self-similar finite time blowing up solution to the 3D incompressible Euler equations if the vorticity decays sufficiently fast near infinity in . By a similar method we also show nonexistence of self-similar blowing up solutions to the divergence-free transport equation in . This result has direct applications to the density dependent Euler equations, the Boussinesq system, and the quasi-geostrophic equations, for which we also show nonexistence of self-similar blowing up solutions. The work was supported partially by the KOSEF Grant no. R01-2005-000-10077-0, and KRF Grant (MOEHRD, Basic Research Promotion Fund).     

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