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.     

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.     

Quantization of Semi-Classical Twists and Noncommutative Geometry

A problem of defining the quantum analogues for semi-classical twists in U()[[t]] is considered. First, we study specialization at q = 1 of singular coboundary twists defined in Uq ())[[t]] for g being a nonexceptional Lie algebra, then we consider specialization of noncoboundary twists when = and obtain q-deformation of the semiclassical twist introduced by Connes and Moscovici in noncommutative geometry. Mathematics Subject Classification: 16W30, 17B37, 81R50     

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     

Verma Modules for Yangians

We study the Verma modules M((μu)) over the Yangian Y associated with a simple Lie algebra . We give necessary and sufficient conditions for irreducibility of M(μ(u)). Moreover, regarding the simple quotient L((μu)) of M((μu)) as an -module, we give necessary and sufficient conditions for finite-dimensionality of the weight subspaces of L((μu)).     

A Counterexample to Dispersive Estimates for Schrödinger Operators in Higher Dimensions

In dimension n > 3 we show the existence of a compactly supported potential in the differentiability class , for which the solutions to the linear Schrödinger equation in,

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.     

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.     

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 .     

Quantum Spin Systems at Positive Temperature

We develop a novel approach to phase transitions in quantum spin models based on a relation to their classical counterparts. Explicitly, we show that whenever chessboard estimates can be used to prove a phase transition in the classical model, the corresponding quantum model will have a similar phase transition, provided the inverse temperature β and the magnitude of the quantum spins satisfy . From the quantum system we require that it is reflection positive and that it has a meaningful classical limit; the core technical estimate may be described as an extension of the Berezin-Lieb inequalities down to the level of matrix elements. The general theory is applied to prove phase transitions in various quantum spin systems with . The most notable examples are the quantum orbital-compass model on and the quantum 120-degree model on which are shown to exhibit symmetry breaking at low-temperatures despite the infinite degeneracy of their (classical) ground state.     

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.     

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 .     

Trajectory attractors for dissipative 2D Euler and Navier-Stokes equations

A trajectory attractor is constructed for the 2D Euler system containing an additional dissipation term −ru, r > 0, with periodic boundary conditions. The corresponding dissipative 2D Navier-Stokes system with the same term −ru and with viscosity v > 0 also has a trajectory attractor, . Such systems model large-scale geophysical processes in atmosphere and ocean (see [1]). We prove that → as v → 0+ in the corresponding metric space. Moreover, we establish the existence of the minimal limit of the trajectory attractors as v → 0+. We prove that is a connected invariant subset of . The connectedness problem for the trajectory attractor by itself remains open. Dedicated to the memory of Leonid Volevich Partially supported by the Russian Foundation for Basic Research (projects no 08-01-00784 and 07-01-00500). The first author has been partially supported by a research grant from the Caprio Foundation, Landau Network-Cento Volta.     

The Dynamics of Relativistic Strings Moving in the Minkowski Space $$\mathbb{R}^{1+n}$$

In this paper we investigate the dynamics of relativistic (in particular, closed) strings moving in the Minkowski space . We first derive a system with n nonlinear wave equations of Born-Infeld type which governs the motion of the string. This system can also be used to describe the extremal surfaces in . We then show that this system enjoys some interesting geometric properties. Based on this, we give a sufficient and necessary condition for the global existence of extremal surfaces without space-like point in with given initial data. This result corresponds to the global propagation of nonlinear waves for the system describing the motion of the string in . We also present an explicit exact representation of the general solution for such a system. Moreover, a great deal of numerical analyses are investigated, and the numerical results show that, in phase space, various topological singularities develop in finite time in the motion of the string. Finally, some important discussions related to the theory of extremal surfaces of mixed type in are given.     

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 .     

Elliptic Equation with Singular Terms on Riemannian Manifold

In this paper we deal with the following equation: on a three-dimensional Riemannian manifold . We assume that the volume of Σ, the norm , and are small enough. Using a rather simple argument we show the existence of solution to the problem. Dedicated to Gosia and Basia.     

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

Bethe subalgebras in twisted Yangians

We study analogues of the Yangian of the Lie algebra for the other classical Lie algebras and . We call them twisted Yangians. They are coideal subalgebras in the Yangian of and admit homomorphisms onto the universal enveloping algebras U( ) and U( ) respectively. In every twisted Yangian we construct a family of maximal commutative subalgebras parametrized by the regular semisimple elements of the corresponding classical Lie algebra. The images in U( ) and U( ) of these subalgebras are also maximal commutative.