Super loop groups,Hamiltonian actions and super Virasoro algebras

The quotient of a super loop group by the subgroup of constant loops is given a supersymplectic structure and identified through a moment map embedding with a coadjoint orbit of the centrally extended super loop algebra. The algebra of super-conformal vector fields on the circle is shown to have a natural representation as Hamiltonian vector fields on generated by an equivariant moment map. This map is obtained by composition of315-8 with a super Poisson map defining a supersymmetric extension of the classical Sugawara formula. Upon quantization, this yields the corresponding formula of Kac and Todorov on unitary highest weight representations. For any homomorphism :u(1)G, an associated twisted moment map is also derived, generating a super Poisson bracket realization of a super Virasoro subalgebra of the semi-direct sum. The corresponding super Poisson map is interpreted as a nonabelian generalization of the super Miura map and applied to two super KdV hierarchies to derive corresponding integrable generalized super MKdV hierarchies in.Research supported in part by the Natural Sciences and Engineering Research Council of Canada and the National Science Foundation (USA)     

Quantum-algebras and elliptic algebras

We define a quantum-algebra associated to as an associative algebra depending on two parameters. For special values of the parameters, this algebra becomes the ordinary-algebra of , or theq-deformed classical-algebra algebra of . We construct free field realizations of the quantum-algebra and the screening currents. We also point out some interesting elliptic structures arising in these algebras. In particular, we show that the screening currents satisfy elliptic analogues of the Drinfeld relations in.The research of the second author was partially supported by NSF grant DMS-9501414.     

On the thermodynamic formalism for the Gauss map

We study the generalized transfer operator of the Gauss mapTx=(1/x) mod 1 on the unit interval. This operator, which for =1 is the familiar Perron-Frobenius operator ofT, can be defined for Re >1/2 as a nuclear operator either on the Banach spaceA (D) of holomorphic functions over a certain discD or on the Hilbert space of functions belonging to some Hardy class of functions over the half planeH _–1/2. The spectra of on the two spaces are identical. On the space is isomorphic to an integral operator with kernel the Bessel function and hence to some generalized Hankel transform. This shows that has real spectrum for real >1/2. On the spaceA (D) the operator can be analytically continued to the entire -plane with simple poles at and residue the rank 1 operator . From this similar analyticity properties for the Fredholm determinant of and hence also for Ruelle's zeta function follow. Another application is to the function , where [n] denotes the irrational[n]=(n+(n ²+4)^1/2)/2. M() extends to a meromorphic function in the -plane with the only poles at =±1 both with residue 1.     

Quantum affine algebras and holonomic difference equations

We derive new holonomicq-difference equations for the matrix coefficients of the products of intertwining operators for quantum affine algebra representations of levelk. We study the connection opertors between the solutions with different asymptotics and show that they are given by products of elliptic theta functions. We prove that the connection operators automatically provide elliptic solutions of Yang-Baxter equations in the face formulation for any type of Lie algebra and arbitrary finite-dimensional representations of. We conjecture that these solutions of the Yang-Baxter equations cover all elliptic solutions known in the contexts of IRF models of statistical mechanics. We also conjecture that in a special limit whenq1 these solutions degenerate again into solutions with . We also study the simples examples of solutions of our holonomic difference equations associated to and find their expressions in terms of basic (orq–)-hypergeometric series. In the special case of spin –1/2 representations, we demonstrate that the connection matrix yields a famous Baxter solution of the Yang-Baxter equation corresponding to the solid-on-solid model of statistical mechanics.     

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.     

Universal Drinfeld-Sokolov reduction and matrices of complex size

We construct affinization of the algebra of complex size matrices, that contains the algebras for integral values of the parameter. The Drinfeld-Sokolov Hamiltonian reduction of the algebra results in the quadratic Gelfand-Dickey structure on the Poisson-Lie group of all pseudodifferential operators of complex order.This construction is extended to the simultaneous deformation of orthogonal and symplectic algebras which produces self-adjoint operators, and it has a counterpart for the Toda lattices with fractional number of particles.Partially supported by NSF grant DMS 9307086.Partially supported by NSF grant DMS 9401215.     

The fractal volume of the two-dimensional invasion percolation cluster

We consider both invasion percolation and standard Bernoulli bond percolation on theZ ² lattice. Denote byV andC the invasion cluster and the occupied cluster of the origin, respectively. Let , and     

Covariance algebras in field theory and statistical mechanics

Starting from aC*-algebra and a locally compact groupT of automorphisms of we construct a covariance algebra with the property that the corresponding *-representations are in one-to-one correspondence with covariant representations of i.e. *-representations of in which the automorphisms are continuously unitarily implemented. We further construct for relativistic field theory an algebra yielding the *-representations of in which the space time translations have their spectrum contained inV. The problem of denumerable occurence of superselection sectors is formulated as a condition on the spectrum of . Finally we consider the covariance algebra built with space translations alone and show its relevance for the discussion of equilibrium states in statistical mechanics, namely we restore in this framework the equivalence of uniqueness of the vacuum, irreducibility and a weak clustering property.On leave of absence from Istituto di Fisica G. Marconi — Roma.     

Separable coordinates for four-dimensional Riemannian spaces

We present a complete list of all separable coordinate systems for the equations and with special emphasis on nonorthogonal coordinates. Applications to general relativity theory are indicated.     

N=2 structures on solvable Lie algebras: Thec=9 classification

Let be a finite-dimensional Lie algebra (not necessarily semisimple). It is known that if is self-dual (that is, if it possesses an invariant metric) then it admits anN=1 (affine) Sugawara construction. Under certain additional hypotheses, thisN=1 structure admits anN=2 extension. If this is the case, is said to possess anN=2 structure. It is also known that anN=2 structure on a self-dual Lie algebra is equivalent to a vector space decomposition , where are isotropic Lie subalgebras. In other words,N=2 structures on in one-to-one correspondence with Manin triples . In this paper we exploit this correspondence to obtain a classification of thec=9N=2 structures on solvable Lie algebras. In the process we also give some simple proofs for a variety of Lie algebras. In the process we also give some simple proofs for a variety of Lie algebraic results concerning self-dual Lie algebras admitting symplectic or Kähler structures.     

On the purification of factor states

Let be aC*-algebra and be an opposite algebra. Notions of exact andj-positive states of are introduced. It is shown, that any factor state of can be extended to a pure exactj-positive state of . The correspondence generalizes the notion of the purifications map introduced by Powers and Størmer. The factor states ₁ and ₂ are quasi-equivalent if and only if their purifications and are equivalent.     

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.     

Symmetry breaking in Landau gauge a comment to a paper by T. Kennedy and C. King

For the non-compact abelian lattice Higgs model in Landau gauge Kennedy and King (Princeton preprint, 1985) showed that the two point function does not decay in the Higgs phase. We generalize their methods to show that for the same range of parameters there are states parametrized by an angle [0, 2) such that and 0$$ " align="middle" border="0"> .     

On the support of the Ashtekar-Lewandowski measure

We show that the Ashtekar-Isham extension of the configuration space of Yang-Mills theories is (topologically and measure-theoretically) the projective limit of a family of finite dimensional spaces associated with arbitrary finite lattices.These results are then used to prove that is contained in a zero measure subset of with respect to the diffeomorphism invariant Ashtekar-Lewandowski measure on . Much as in scalar field theory, this implies that states in the quantum theory associated with this measure can be realized as functions on the extended configuration space .     

Fields,observables and gauge transformations II

We wish to study the construction of charge-carrying fields given the representation of the observable algebra in the sector of states of zero charge. It is shown that the set of those covariant sectors which can be obtained from the vacuum sector by acting with localized automorphisms has the structure of a discrete Abelian group. An algebra of fields can be defined on the Hilbert space of a representation of the observable algebra which contains each of the above sectors exactly once. The dual group of acts as a gauge group on in such a way that is the gauge invariant part of is made up of Bose and Fermi fields and is determined uniquely by the commutation relations between spacelike separated fields.     

Logarithmic Sobolev inequality for lattice gases with mixing conditions

Let denote the grand canonical Gibbs measure of a lattice gas in a cube of sizeL with the chemical potential and a fixed boundary condition. Let be the corresponding canonical measure defined by conditioning on . Consider the lattice gas dynamics for which each particle performs random walk with rates depending on near-by particles. The rates are chosen such that, for everyn andL fixed, is a reversible measure. Suppose that the Dobrushin-Shlosman mixing conditions holds for forall chemical potentials . We prove that for any probability densityf with respect to ; here the constant is independent ofn orL andD denotes the Dirichlet form of the dynamics. The dependence onL is optimal.Research partially supported by U.S. National Science Foundations grant 9403462, Sloan Foundation Fellowship and David and Lucile Packard Foundation Fellowship.     

Quantum principal commutative subalgebra in the nilpotent part ofU_q \widehat{sl}_2 and lattice KdV variables

We propose a quantum lattice version of B. Feigin and E. Frenkel's constructions, identifying the KdV differential polynomials with functions on a homogeneous space under the nilpotent part of . We construct an action of the nilpotent part of on their lattice counterparts, and embed the lattice variables in a , coinduced from a quantum version of the principal commutative subalgebra, which is defined using the identification of with its dual algebra.     

Regularized,continuum Yang-Mills process and Feynman-Kac functional integral

Giving an ultraviolet regularization and volume cut off we construct a nuclear Riemannian structure on the Hilbert manifold of gauge orbits. This permits us to define a regularized Laplace-Beltrami operator on and an associated global diffusion in governed by . This enables us to define, via a Feynman-Kac integral, a Euclidean, continuum regularized Yang-Mills process corresponding to a suitable regularization (of the kinetic term) of the classical Yang-Mills Lagrangian onT .On leave of absence from Zaragoza University (Spain)Laboratoire associé au CNRS     

Modules over\mathfrak{U}_q (\mathfrak{s}\mathfrak{l}_2 )

The restricted quantum universal enveloping algebra decomposes in a canonical way into a direct sum of indecomposable left (or right) ideals. They are useful for determining the direct summands which occur in the tensor product of two simple . The indecomposable finite-dimensional are classified and located in the Auslander-Reiten quiver.