Minimal affinizations of representations of quantum groups: the irregular case

Let be a finite-dimensional complex simple Lie algebra and U_q( ) the associated quantum group (q is a nonzero complex number which we assume is transcendental). IfV is a finitedimensional irreducible representation of U_q( ), an affinization ofV is an irreducible representationVV of the quantum affine algebra U_q( ) which containsV with multiplicity one and is such that all other irreducible U_q( )-components ofV have highest weight strictly smaller than the highest weight ofV. There is a natural partial order on the set of U_q( ) classes of affinizations, and we look for the minimal one(s). In earlier papers, we showed that (i) if is of typeA, B, C, F orG, the minimal affinization is unique up to U_q( )-isomorphism; (ii) if is of typeD orE and is not orthogonal to the triple node of the Dynkin diagram of , there are either one or three minimal affinizations (depending on ). In this paper, we show, in contrast to the regular case, that if U_q( ) is of typeD ₄ and is orthogonal to the triple node, the number of minimal affinizations has no upper bound independent of .As a by-product of our methods, we disprove a conjecture according to which, if is of typeA _n,every affinization is isomorphic to a tensor product of representations of U_q( ) which are irreducible under U_q( ) (in an earlier paper, we proved this conjecture whenn=1).Both authors were partially supported by the NSF, DMS-9207701.     

Asymptotically abelian systems

We study pairs { , } for which is aC*-algebra and is a homomorphism of a locally compact, non-compact groupG into the group of *-automorphisms of . We examine, especially, those systems { , } which are (weakly) asymptotically abelian with respect to their invariant states (i.e. |A _g (B) — _g (B)A 0 asg for those states such that ( _g (A)) = (A) for allg inG andA in ). For concrete systems (those with -acting on a Hilbert space andg _g implemented by a unitary representationg U _g on this space) we prove, among other results, that the operators commuting with and {U _g } form a commuting family when there is a vector cyclic under and invariant under {U _g }. We characterize the extremal invariant states, in this case, in terms of weak clustering properties and also in terms of factor and irreducibility properties of { ,U _g }. Specializing to amenable groups, we describe operator means arising from invariant group means; and we study systems which are asymptotically abelian in mean. Our interest in these structures resides in their appearance in the infinite system approach to quantum statistical mechanics.     

Ergodic states in a non commutative ergodic theory

Using the Godement mean of positive-type functions over a groupG, we study -abelian systems { , } of aC*-algebra and a homomorphic mapping of a groupG into the homomorphism group of . Consideration of the Godement mean off(g)U _g withf a positive-type function overG andU a unitary representation ofG first yields a generalized mean-ergodic theorem. We then define the Godement mean off(g) ( _g (A)) withA and a covariant representation of the system { , } for which theG-invariant Hilbert space vectors are cyclic and study its properties, notably in relation with ergodic and weakly mixing states over . Finally we investigate the discrete spectrum of covariant representations of { , } (i.e. the direct sum of the finite-dimensional subrepresentations of the associated representations ofG).On leave of absence from Istituto di Fisica G. Marconi Piazzale delle Scienze 5 — Roma.     

Limits of states

Estimates for vector representations of states are used to prove that {C _n C ₀} is strong-operator convergent toC ₀, whereC _n is the universal central support of _n and { _n } is a sequence of states of aC*-algebra converging in norm to ₀. States of of a given type are shown to form a norm-closed convex subset of the (norm) dual of . The pure states of form a norm-closed subset of the dual.With partial support of the National Science Foundation (USA)     

Algebras of observables with continuous representations of symmetry groups

Concrete C*-algebras, interpreted physically as algebras of observables, are defined for quantum mechanics and local quantum field theory.Aquantum mechanical system is characterized formally by a continuous unitary representation up to a factorU _g of a symmetry group in Hilbert space and a von Neumann algebra on invariant with respect toU _g . The set of all operatorsX such thatU _g X U _g ^–1 , as a function ofg , is continuous with respect to the uniform operator topology, is aC*-algebra called thealgebra of observables. The algebra is shown to be the weak (or strong) closure of .Infield theory, a unitary representation up to a factorU(a, ) of the proper inhomogeneous Lorentz group and local von Neumann algebras _C for finite open space-time regionsC are assumed, with the usual transformation properties of underU(a, ). The collection of allX_C giving uniformly continuous functionsU (a, )X U ^–1 (a, ) on is then a localC*-algebra , called thealgebra of local observables. The algebra is again weakly (or strongly) dense in _c . The norm-closed union of the for allC is calledalgebra of quasilocal observables (or quasilocal algebra).In either case, the group is represented by automorphisms V _g resp. V(a, ) — with V _g X=U _g X U _g ^–1 — of theC*-algebra , and this is astrongly continuous representation of on the Banach space . Conditions for V (a, ) can then be formulated which correspond to the usualspectrum condition forU (a, ) in field theory.Work supported in part by the Deutsche Forschungsgemeinschaft.     

Symmetry and equilibrium states

Within the general framework ofC*-algebra approach to mathematical foundation of statistical mechanics, we prove a theorem which gives a natural explanation for the appearance of the chemical potential (as a thermodynamical parameter labelling equilibrium states) in the presence of a symmetry (under gauge transformations of the first kind). As a symmetry, we consider a compact abelian groupG acting as *-automorphisms of aC*-algebra (quasi-local field algebra) and commuting (elementwise) with the time translation automorphisms _t of . Under a technical assumption which is satisfied by examples of physical interest, we prove that the set of all extremal _t -KMS states (pure phases) ofG-fixed-point subalgebra (quasi-local observable algebra) of satisfying a certain faithfulness condition is in one-to-one correspondence with the set of all extremalG-invariant _t · _t -KMS states ^– of with varying over one-parameter subgroups ofG (the specification of being the specification of the chemical potential), where the correspondence is that the restriction of ^– to is .     

Classification of three-dimensional covariant differential calculi on Podles' quantum spheres and on related spaces

Covariant differential calculi on the quantum space for the quantum group SL _q (2) are classified. Our main assumptions are thatq is not a root of unity and that the differentials de _j of the generators of form a free right module basis for the first-order forms. Our result says, in particular, that apart from the two casesc =c(3), there exists a unique differential calculus with the above properties on the space which corresponds to Podles' quantum sphereS _qc ^/2 .     

Ergodic properties of a semi-infinite one-dimensional system of statistical mechanics

We consider the dynamical system ( ,,T _t ) where ( ,) is the Gibbs ensemble at some fixed temperature and density for a semi-infinite one-dimensional ideal gas of point particles. The first particle has massM, all the other particles massm<M. T _t is the time evolution which describes free motion of the particles except for elastic collisions with each other and with the wall at the origin. We prove that ( ,,T _t ) is aK-flow.on leave of absence from Università di Camerino, ItalyPartially supported by NSF Grant DMR-81-14726     

Hypergeometric solutions of the qKZ equation at level zero

We discuss relations between different integral formulae for solutions of the quantized Knizhnik-Zamolodchikov (qKZ) equation at level zero in the U_q ( ₂) case for q < 1. Smirnov type formulae of M. Jimbo et al. are derived from the general approach of A. Varchenko and the author. The consideration is parallel to the qKZ equation in the rational ₂ case done by A. Nakayashiki, S. Pakuliak and the author.     

Thes-f model with Coulomb repulsion: Thermodynamics of two atomic cluster. Spin 1/2

A cluster of two atoms described by thes-f model with Coulomb repulsion has been considered. The interaction between localized 4f electrons (S=1/2) is taken in the molecular field approximation. The thermodynamic quantities like magnetization, specific heat and correlation functions n , n , S ^z n , S ^z n , S ^z (n –n ), n n and S ⁺ a ⁺ a as functions of temperature are presented for different band fillingN=0, 0.5, 1, 1.5, 2. The dependence of Curie temperature onN is calculated. The phase diagram forN=1 (T=0K) shows the possibility of existence of two phases: paramagnetic and ferromagnetic.The Curie temperature and the specific heat as functions ofN exhibit similar trends as found in experiments on doped magnetic semiconductors.     

Coordinates of the quantum plane as q-tensor operators in (\mathfrak{s}\mathfrak{u}(2)*\mathfrak{s}\mathfrak{u}(2))

The relation between the set of transformations of the quantum plane and the quantum universal enveloping algebra U _q (u(2)) is investigated by constructing representations of the factor algebra U _q (u(2))* . The noncommuting coordinates of , on which U _q (2) * U _q (2) acts, are realized as q-spinors with respect to each U _q (u(2)) algebra. The representation matrices of U _q (2) are constructed as polynomials in these spinor components. This construction allows a derivation of the commutation relations of the noncommuting coordinates of directly from properties of U _q (u(2)). The generalization of these results to U _q (u(n)) and is also discussed.     

BV Structure of the Cohomology of Nilpotent Subalgebras and the Geometry of(W) Strings

Given a simple, simply laced, complex Lie algebra corresponding to the Lie group G, let be thesubalgebra generated by the positive roots. In this Letter we construct aBV algebra whose underlying graded commutative algebra is given by the cohomology, with respect to , of the algebra of regular functions on G with values in . We conjecture that describes the algebra of allphysical (i.e., BRST invariant) operators of the noncritical string. The conjecture is verified in the two explicitly known cases, ₂ (the Virasoro string) and ₃ (the string).     

Surviving extrema for the action on the twisted SU(∞) one point lattice

We give a simplified construction of twist eating configurations, based on a theorem due to Frobenius. These configurations are defined through the equation:U U U ⁺ U ⁺ =exp(2in /N) withU SU(N), =1 tod andn an antisymmetric matrix with integer entries. In the (Twisted)-Eguchi-Kawai model they yield extrema some of which survive forN. Comparison is made with the Monte Carlo data of the internal energy in the small coupling region.     

Computer simulation of shock waves in the completely asymmetric simple exclusion process

We study the evolution of the completely asymmetric simple exclusion process in one dimension, with particles moving only to the right, for initial configurations corresponding to average density _– ( ₊) left (right) of the origin, _{– +}. The microscopic shock position is identified by introducing a second-class particle. Results indicate that the shock profile is stable, and that the distribution as seen from the shock positionN(t) tends, as time increases, to a limiting distribution, which is locally close to an equilibrium distribution far from the shock. Moreover , withV=1– _–– ₊, as predicted, and the dispersion ofN(t), ²(t), behaves linearly, for not too small values of ₊– _–, i.e., , whereS is equal, up to a scaling factor, to the valueS _WA predicted in the weakly asymmetric case. For ₊= _– we find agreement with the conjecture .Dedicated to the memory of Paola Calderoni.     

Analyticity properties of eigenfunctions and scattering matrix

For potentialsV=V(x)=O(|x|^–2–) for |x|,x³ we prove that if theS-matrix of (–, –+V) has an analytic extension to a regionO in the lower half-plane, then the family of generalized eigenfunctions of –+V has an analytic extension toO such that for |Imk|<b. Consequently, the resolvent (–+V–z ²)^–1 has an analytic continuation from ⁺ to {kOImk|<b} as an operator from _b ={f=e ^–b|x| g|gL ₂(³)} to _–b . Based on this, we define for potentialsW=o(e ^–2b|x|) resonances of (–+V, –+V+W) as poles of and identify these resonances with poles of the analytically continuedS-matrix of (–+V, –+V+W).The author would like to thank the Institute for Advanced Study for its hospitality and the National Science Foundation for financial support under Grant No. DMS-8610730(1)     

Deformation Quantization of Hermitian Vector Bundles

Motivated by deformation quantization, we consider in this paper *-algebras over rings = (i), where is an ordered ring and I²=–1, and study the deformation theory of projective modules over these algebras carrying the additional structure of a (positive) -valued inner product. For A=C (M), M a manifold, these modules can be identified with Hermitian vector bundles E over M. We show that for a fixed Hermitian star product on M, these modules can always be deformed in a unique way, up to (isometric) equivalence. We observe that there is a natural bijection between the sets of equivalence classes of local Hermitian deformations of C (M) and ( (E)) and that the corresponding deformed algebras are formally Morita equivalent, an algebraic generalization of strong Morita equivalence of C ^*-algebras. We also discuss the semi-classical geometry arising from these deformations.     

On a new derivation of the Navier-Stokes equation

Given a net of finite-dimensional real Lie algebras contracting into a Lie algebra, a representation of is constructed explicitly as limit of a net ( _l ) of representations, each _l being a representation of on a complex Hilbert space _l . Conditions are imposed on the net ( _l ) implying that the carrier space of contain a-stable set of vectors which are analytic for all, where is a basis of. As a corollary, the corresponding result for contractions of representations of simply connected finite-dimensional real Lie groups is derived.Supported by the Swiss National Science Foundation     

Fields,observables and gauge transformations I

Starting from an algebra of fields and a compact gauge group of the first kind , the observable algebra is defined as the gauge invariant part of . A gauge group of the first kind is shown to be automatically compact if the scattering states are complete and the mass and spin multiplets have finite multiplicity. Under reasonable assumptions about the structure of it is shown that the inequivalent irreducible representations of (sectors) which occur are in one-to-one correspondence with the inequivalent irreducible representations of and that all of them are strongly locally equivalent. An irreducible representation of satisfies the duality property only if the sector corresponds to a 1-dimensional representation of . If is Abelian the sectors are connected to each other by localized automorphisms.On leave of absence from Instituto di Fisica G. Marconi, Università di Roma.     

Analytic study of power spectra of the tent maps near band-splitting transitions

Successive band-splitting transitions occur in the one-dimensional map x_i+1=g(x_i),i=0, 1, 2,... withg(x)=x, (0 x 1/2) –x +, (1/2 <x 1) as the parameter is changed from 2 to 1. The transition point fromN (=2ⁿ) bands to 2Nbands is given by=(2)^1/N (n=0, 1,2,...). The time-correlation function _i=x_ix₀/(x₀)²,x_i x_i–x_i is studied in terms of the eigenvalues and eigenfunctions of the Frobenius-Perron operator of the map. It is shown that, near the transition point=2, _i–[(10–42)/17] _i,0-[(102-8)/51]_i,1 + [(7 + 42)/17](–1)ⁱe^–yi, where2(–2) is the damping constant and vanishes at=2, representing the critical slowing-down. This critical phenomenon is in strong contrast to the topologically invariant quantities, such as the Lyapunov exponent, which do not exhibit any anomaly at=2. The asymptotic expression for _i has been obtained by deriving an analytic form of _i for a sequence of which accumulates to 2 from the above. Near the transition point=(2)^1/N, the damping constant of _i fori N is given by _N=2(^N-2)/N. Numerical calculation is also carried out for arbitrary a and is shown to be consistent with the analytic results.     

Four-parametric regular black hole solution

We present a regular class of exact black hole solutions of the Einstein equations coupled with a nonlinear electrodynamics source. For weak fields the nonlinear electrodynamics becomes the Maxwell theory, and asymptotically the solutions behave as the Reissner–Nordström one. The class is endowed with four parameters, which can be thought of as the mass m, charge q, and a sort of dipole and quadrupole moments and , respectively. For 3, 4, and |q|2s _c m the corresponding solutions are regular charged black holes. For = 3, they also satisfy the weak energy condition. For = = 0 we recover the Reissner–Nordström singular solution and for = 3, = 4 the family includes a previous regular black hole reported by the authors.