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

Spectral Gap of Segments of Periodic Waveguides

The lowest spectral gap of segments of a periodic waveguide in is proportional to the square of the inverse length. Dedicated to Pavel Exner on the occasion of his 60th birthday.     

Dynamical Noncommutativity and Noether Theorem in Twisted $${\phi^{\star 4}}$$ Theory

A -product is defined via a set of commuting vector fields , and used in a theory coupled to the fields. The -product is dynamical, and the vacuum solution , reproduces the usual Moyal product. The action is invariant under rigid translations and Lorentz rotations, and the conserved energy–momentum and angular momentum tensors are explicitly derived.      

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 .     

Integrable Discrete Nets in Grassmannians

We consider discrete nets in Grassmannians , which generalize Q-nets (maps with planar elementary quadrilaterals) and Darboux nets (-valued maps defined on the edges of such that quadruples of points corresponding to elementary squares are all collinear). We give a geometric proof of integrability (multidimensional consistency) of these novel nets, and show that they are analytically described by the noncommutative discrete Darboux system.      

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

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.      

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.     

Semiclassical Almost Isometry

Let (M , ω , J) be a compact and connected polarized Hodge manifold, an isodrastic leaf of half-weighted Bohr–Sommerfeld Lagrangian submanifolds. We study the relation between the Weinstein symplectic structure of and the asymptotics of the the pull-back of the Fubini–Study form under the projectivization of the so-called BPU maps on .     

On The Structure and Representations of the Insertion–Elimination Lie Algebra

We examine the structure of the insertion–elimination Lie algebra on rooted trees introduced in Connes and Kreimer (Ann. Henri Poincar 3(3):411–433, 2002). It possesses a triangular structure , like the Heisenberg, Virasoro, and affine algebras. We show in particular that it is simple, which in turn implies that it has no finite-dimensional representations. We consider a category of lowest-weight representations, and show that irreducible representations are uniquely determined by a “lowest weight” . We show that each irreducible representation is a quotient of a Verma-type object, which is generically irreducible.      

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.     

Cardy Condition for Open-Closed Field Algebras

Let V be a vertex operator algebra satisfying certain reductivity and finiteness conditions such that , the category of V-modules, is a modular tensor category. We study open-closed field algebras over V equipped with nondegenerate invariant bilinear forms for both open and closed sectors. We show that they give algebras over a certain -extension of the so-called Swiss-cheese partial dioperad, and we can obtain Ishibashi states easily in such algebras. The Cardy condition can be formulated as an additional condition on such open-closed field algebras in terms of the action of the modular transformation on the space of intertwining operators of V. We then derive a graphical representation of S in the modular tensor category . This result enables us to give a categorical formulation of the Cardy condition and the modular invariance condition for 1-point correlation functions on the torus. Then we incorporate these two conditions and the axioms of the open-closed field algebra over V equipped with nondegenerate invariant bilinear forms into a tensor-categorical notion called the Cardy -algebra. In the end, we give a categorical construction of the Cardy -algebra in the Cardy case.     

WZW Orientifolds and Finite Group Cohomology

The simplest orientifolds of the WZW models are obtained by gauging a symmetry group generated by a combined involution of the target Lie group G and of the worldsheet. The action of the involution on the target is by a twisted inversion , where ζ is an element of the center of G. It reverses the sign of the Kalb-Ramond torsion field H given by a bi-invariant closed 3-form on G. The action on the worldsheet reverses its orientation. An unambiguous definition of Feynman amplitudes of the orientifold theory requires a choice of a gerbe with curvature H on the target group G, together with a so-called Jandl structure introduced in [31]. More generally, one may gauge orientifold symmetry groups that combine the -action described above with the target symmetry induced by a subgroup Z of the center of G. To define the orientifold theory in such a situation, one needs a gerbe on G with a Z-equivariant Jandl structure. We reduce the study of the existence of such structures and of their inequivalent choices to a problem in group-Γ cohomology that we solve for all simple simply connected compact Lie groups G and all orientifold groups . Membre du C.N.R.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 .     

Polyakov Soldering and Second-Order Frames: The Role of the Cartan Connection

The so-called ‘soldering’ procedure performed by Polyakov (Int J Math Phys A5, 833–842, 1990) for a -gauge theory is geometrically explained in terms of a Cartan connection on second-order frames of the projective space P¹. The relationship between a Cartan connection and the usual (Ehresmann) connection on a principal bundle allows to gain an appropriate insight into the derivation of the genuine ‘diffeomorphisms out of gauge transformations’ given by Polyakov himself. Unité Mixte de Recherche (UMR 6207) du CNRS et des Universités Aix-Marseille I, Aix-Marseille II et de l’Université du Sud Toulon-Var. Unité affiliée à la FRUMAM Fédération de Recherche 2291.     

Bicross-Product Structure of Affine Quantum Groups

We show that the affine quantum group is isomorphic to a bicross-product central extension of the quantum loop group by a quantum cocycle in R-matrix form.     

Renormalized Traces and Cocycles on the Algebra of S 1-Pseudo-differential Operators

Using renormalized (or weighted) traces of classical pseudo-differential operators and calculus on formal symbols. We exhibit three cocycles on the Lie algebra of classical pseudo-differential operators $Cl(S^1,\mathbb{C}^n)Using renormalized (or weighted) traces of classical pseudo-differential operators and calculus on formal symbols. We exhibit three cocycles on the Lie algebra of classical pseudo-differential operators acting on . We first show that the Schwinger functional associated to the Dirac operator is a cocycle on , and not only on a restricted algebra Then, we investigate two bilinear functionals and , which satisfies We show that and are two cocycles in , and and have the same nonvanishing cohomology class. We finaly calculate on classical pseudo-differential operators of order 1 and on differential operators of order 1, in terms of partial symbols. By this last computation, we recover the Virasoro cocyle and the K?hler form of the loop group. Mathematics Subject Classification (1991). 47G30, 47N50     

Optimal Concentration for SU(1, 1) Coherent State Transforms and An Analogue of the Lieb-Wehrl Conjecture for SU(1, 1)

We derive a lower bound for the Wehrl entropy in the setting of SU(1, 1). For asymptotically high values of the quantum number k, this bound coincides with the analogue of the Lieb-Wehrl conjecture for SU(1, 1) coherent states. The bound on the entropy is proved via a sharp norm bound. The norm bound is deduced by using an interesting identity for Fisher information of SU(1, 1) coherent state transforms on the hyperbolic plane and a new family of sharp Sobolev inequalities on . To prove the sharpness of our Sobolev inequality, we need to first prove a uniqueness theorem for solutions of a semi-linear Poisson equation (which is actually the Euler-Lagrange equation for the variational problem associated with our sharp Sobolev inequality) on . Uniqueness theorems proved for similar semi-linear equations in the past do not apply here and the new features of our proof are of independent interest, as are some of the consequences we derive from the new family of Sobolev inequalities. Work partially supported by U.S. National Science Foundation grant DMS 06-00037.