Dual moment maps into loop algebras

Moment maps are defined from the space of rank-r deformations of a fixedn xn matrixA to the duals of the positive half of the loop algebras . These maps are shown to give rise to the same invariant manifolds under Hamiltonian flow obtained through the Adler-Kostant-Symes theorem from the rings of invariant functions. This gives a dual characterization of integrable Hamiltonian systems as isospectral flow in the two loop algebras.This research partially funded by NSF grant DMS-8601995, U.S. Army grant DAAL03-87-K-0110, and the Natural Sciences and Engineering Research Council of Canada.     

Free boson representation ofU_q (\widehat{sl}_3 )

A representation of the quantum affine algebra of an arbitrary levelk is constructed in the Fock module of eight boson fields. This realization reduces the Wakimoto representation in theq 1 limit. The analogues of the screening currents are also obtained. They commute with the action of modulo total differences of some fields.On leave from Department of Physics, University of Tokyo, Tokyo 113, Japan.     

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.     

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.     

The construction of a representation of loop algebras

By considering the cohomology of the loop algebraL , a representation ofL is constructed. the construction is based on a derivation ofL and a two-dimensional closed cochain ofl with coefficients in real numbersR ¹. In the case of =0, the differential of the energy representation of the corresponding loop groupLG is derived.This work was supported in part by the National Natural Science Foundation of China.     

Entropy functionals of Kolmogorov-Sinai type and their limit theorems

Two functionals and are introduced forC ^*-dynamical systems with invariant states and stationary channels. It is shown that the Kolmogorov-Sinai-type theorems hold for these functionals and . Our functionals and are set within the framework of quantum information theory and generalize a quantum KS entropy by CNT and the mutual entropy by Ohya.     

A mathematical condition for a sublattice of a propositional system to represent a physical subsystem,with a physical interpretation

We display three equivalent conditions for a sublattice, isomorphic to aP , of the propositional systemP() of a quantum system to be the representation of a physical subsystem (see [1]). These conditions are valid for dim 3. We prove that one of them is still necessary and sufficient if dim <3. A physical interpretation of this condition is given.Wetenschappelijke medewerkers bij het Interuniversitair Instituut voor Kernwetenschappen (in het kader van navorsingsprogramma 21 EN).     

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.     

Isospectral Hamiltonian flows in finite and infinite dimensions

The approach to isospectral Hamiltonian flow introduced in part I is further developed to include integration of flows with singular spectral curves. The flow on finite dimensional Ad^*-invariant Poisson submanifolds of the dual of the positive part of the loop algebra is obtained through a generalization of the standard method of linearization on the Jacobi variety of the invariant spectral curveS. These curves are embedded in the total space of a line bundleTP ₁(C), allowing an explicit analysis of singularities arising from the structure of the image of a moment map from the space of rank-r deformations of a fixedN×N matrixA. It is shown how the linear flow of line bundles over a suitably desingularized curve may be used to determine both the flow of matricial polynomialsL() and the Hamiltonian flow in the spaceM _N,r×M_N,r in terms of -functions. The resulting flows are proved to be completely integrable. The reductions to subalgebras developed in part I are shown to correspond to invariance of the spectral curves and line bundles under certain linear or anti-linear involutions. The integration of two examples from part I is given to illustrate the method: the Rosochatius system, and the CNLS (coupled non-linear Schrödinger) equation.Research supported in part by the Natural Sciences and Engineering Research Council of Canada and by U.S. Army grant DAA L03-87-K-0110     

Bound States in a Locally Deformed Waveguide: The Critical Case

We consider the Dirichlet Laplacian for astrip in with one straight boundary and a width , where $f$ is a smooth function of acompact support with a length 2b. We show that in the criticalcase, , the operator has nobound statesfor small .On the otherhand, a weakly bound state existsprovided . In thatcase, there are positive c ₁,c ₂ suchthat the corresponding eigenvalue satisfies for all sufficiently small.     

Diffusion in a symmetric bistable potential: A variational approach

An approximation procedure for the solution of stochastic nonlinear equations, which was derived from a variational principle in a previous paper, is applied to the problem of a particle that diffuses in a symmetric bistable potential starting from the point of unstable equilibrium. The second moment and variance for the particle's position are calculated as functions of the timet. Good agreement is found with results recently obtained by Baibuzet al. from an approximate evaluation of a path integral expression for the probability density.     

Staggered polarization of vertex models withU_q (\widehat{sl(}n))-Symmetry

In this paper we give an explicit formula for level 1 vertex operators related to as operators on the Fock spaces. We derive also their commutation relations. As an application we calculate with the vector representation of , thereby extending the recent work on the staggered polarization of the XXZ-model.     

Spectral decomposition of path space in solvable lattice model

We give thespectral decomposition of the path space of the vertex model with respect to the local energy functions. The result suggests the hidden Yangian module structure on the levell integrable modules, which is consistent with the earlier work [1] in the level one case. Also we prove the fermionic character formula of the levell integrable representations in consequence.     

Isospectral hamiltonian flows in finite and infinite dimensions

A moment map is constructed from the Poisson manifold _A of rank-r perturbations of a fixedN×N matrixA to the dual of the positive part of the formal loop algebra =gl(r)[[, ^–1]]. The Adler-Kostant-Symes theorem is used to give hamiltonians which generate commutative isospectral flows on . The pull-back of these hamiltonians by the moment map gives rise to commutative isospectral hamiltonian flows in _A. The latter may be identified with flows on finite dimensional coadjoint orbits in and linearized on the Jacobi variety of an invariant spectral curveX _r which, generically, is anr-sheeted Riemann surface. Reductions of _A are derived, corresponding to subalgebras ofgl(r, ) andsl(r, ), determined as the fixed point set of automorphism groupes generated by involutions (i.e., all the classical algebras), as well as reductions to twisted subalgebras of . The theory is illustrated by a number of examples of finite dimensional isospectral flows defining integrable hamiltonian systems and their embeddings as finite gap solutions to integrable systems of PDE's.This research was partially supported by NSF grants MCS-8108814 (A03), DMS-8604189, and DMS-8601995     

A quantum dual pair \mathfraks\mathfrakl2 ,\mathfrakon \mathfrak{s}\mathfrak{l}_2 ,\mathfrak{o}_n and the associated Capelli identity

A quantum analogue of the dual pair is introduced in terms of the oscillator representation of U _q . Its commutant and the associated identity of Capelli type are discussed.     

Projectively Equivariant Symbol Calculus

The spaces of linear differential operators acting on -densities on and the space of functions on which are polynomial on the fibers are not isomorphic as modules over the Lie algebra Vect (ⁿ) of vector fields of ⁿ. However, these modules are isomorphic as sl(n + 1,)-modules where is the Lie algebra of infinitesimal projective transformations. In addition, such an -equivariant bijection is unique (up to normalization). This leads to a notion of projectively equivariant quantization and symbol calculus for a manifold endowed with a (flat) projective structure. We apply the -equivariant symbol map to study the of kth-order linear differential operators acting on -densities, for an arbitrary manifold M and classify the quotient-modules .     

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

Isomorphism of two realizations of quantum affine algebraU_q (\widehat{\mathfrak{g}\mathfrak{l}{\text{(}}n{\text{)}}})

We establish an explicit isomorphism between two realizations of the quantum affine algebra given previously by Drinfeld and Reshetikhin-Semenov-Tian-Shansky. Our result can be considered as an affine version of the isomorphism between the Drinfield/Jimbo and the Faddeev-Reshetikhin-Takhtajan constructions of the quantum algebra .     

From quantum to elliptic algebras

It is shown that the elliptic algebra at the critical level c = –2 has a multidimensional center containing some trace-like operators t(z). A family of Poisson structures indexed by a non-negative integer and containing the q-deformed Virasoro algebra is constructed on this center. We show also that t(z) close an exchange algebra when p ^m = q ^c+2 for , they commute when in addition p = q ^2k for k integer non-zero, and they belong to the center of when k is odd. The Poisson structures obtained for t(z) in these classical limits contain the q-deformed Virasoro algebra, characterizing the structures at p q ^2k as new algebras.     

Quantized affine Lie algebras and diagonalization of braid generators

Let U _q be a quantized affine Lie algebra. It is proven that the universal R-matrix R of U _q satisfies the celebrated conjugation relationR ⁺ =TR withT the usual twist map. As applications, the braid generator is shown to be diagonalizable on arbitrary tensor product modules of integrable irreducible highest weight U _q -module and a spectral decomposition formula for the braid generator is obtained which is the generalization of Reshetikhin and Gould forms to the present affine case. Casimir invariants are constructed and their eigenvalues computed by means of the spectral decomposition formula. As a by-product, an interesting identity is found.