Action of truncated quantum groups on quasi-quantum planes and a quasi-associative differential geometry and calculus

Ifq is ap ^th root of unity there exists a quasi-coassociative truncated quantum group algebra whose indecomposable representations are the physical representations ofU _q (sl ₂), whose coproduct yields the truncated tensor product of physical representations ofU _q (sl ₂), and whoseR-matrix satisfies quasi-Yang Baxter equations. These truncated quantum group algebras are examples of weak quasitriangular quasi-Hopf algebras (quasi-quantum group algebras). We describe a space of functions on the quasi quantum plane, i.e. of polynomials in noncommuting complex coordinate functionsz _a , on which multiplication operatorsZ _a and the elements of can act, so thatz _a will transform according to some representation ^f of can be made into a quasi-associative graded algebra on which elements of act as generalized derivations. In the special case of the truncatedU _q (sl ₂) algebra we show that the subspaces of monomials inz _a ofn ^th degree vanish fornp–1, and that carries the 2J+ 1 dimensional irreducible representation of ifn=2J, J=0,1/2, ..., 1/2(p–2). Assuming that the representation ^f of the quasi-quantum group algebra gives rise to anR-matrix with two eigenvalues, we develop a quasi-associative differential calculus on. This implies construction of an exterior differentiation, a graded algebra of forms and partial derivatives. A quasi-associative generalization of noncommutative differential geometry is introduced by defining a covariant exterior differentiation of forms. It is covariant under gauge transformations.     

On the relationship between Monstrous Moonshine and the uniqueness of the Moonshine Module

We consider the relationship between the conjectured uniqueness of the Moonshine Module,, and Monstrous Moonshine, the genus zero property of the modular invariance group for each Monster group Thompson series. We first discuss a family of possibleZ _n meromorphic orbifold constructions of based on automorphisms of the Leech lattice compactified bosonic string. We reproduce the Thompson series for all 51 non-Fricke classes of the Monster groupM together with a new relationship between the centralisers of these classes and 51 corresponding Conway group centralisers (generalising a well-known relationship for 5 such classes). Assuming that is unique, we consider meromorphic orbifoldings of and show that Monstrous Moonshine holds if and onlyZ _r if the only meromorphic orbifoldings of are itself or the Leech theory. This constraint on the meromorphic orbifoldings of therefore relates Monstrous Moonshine to the uniqueness of in a new way.     

Lie algebra cohomology and the fusion rules

We prove a vanishing theorem for Lie algebra cohomology which constitutes a loop group analogue of Kostant's Lie algebra version of the Borel-Weil-Bott theorem. Consider a complex semi-simple Lie algebra and an integrable, irreducible, negative energy representation of. Givenn distinct pointsz _k in , with a finite-dimensional irreducible representationV _k of assigned to each, the Lie algebra of-valued polynomials acts on eachV _k , via evaluation atz _k . Then, the relative Lie algebra cohomologyH ^* is concentrated in one degree. As an application, based on an idea of G. Segal's, we prove that a certain homolorphic induction map from representations ofG to representations ofLG at a given level takes the ordinary tensor product into the fusion product. This result had been conjectured by R. Bott.     

Free boson realization of

We construct a realization of the quantum affine algebra of an arbitrary level k in terms of free boson fields. In the q1 limit this realization becomes the Wakimoto realization of. The screening currents and the vertex operators (primary fields) are also constructed; the former commutes with modulo total difference, and the latter creates the highest weight state from the vacuum state of the boson Fock space.fellow of Soryushi ShogakukaiAddress after June 1: Department of Physics, Faculty of Liberal Arts, Shinshu University, Matsumoto 390, Japan     

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)     

Total extensions of effect algebras

It is shown that if the natural order on a total extension of an effect algebra coincides with the order on, then is unique. The structure of is called a QI-algebra. It is shown that a QI-algebra is less general than a QMV-algebra, but that a QI-algebra is equivalent to a quasi-linear QMV-algebra. Some examples are given and the properties of these structures are studied.     

Quantum symmetry and braid group statistics inG-spin models

In two-dimensional lattice spin systems in which the spins take values in a finite groupG we find a non-Abelian parafermion field of the formorder x disorder that carries an action of the Hopf algebra, the double ofG. This field leads to a quantization of the Cuntz algebra and allows one to define amplifying homomorphisms on the subalgebra that create the and generalize the endomorphisms in the Doplicher-Haag-Roberts program. The so-obtained category of representations of the observable algebra is shown to be equivalent to the representation category of. The representation of the braid group generated by the statistics operator and the corresponding statistics parameter are calculated in each sector.     

On two integrable cellular automata

A representation-free approach to theq-analog of the quantum central limit theorem for is presented. It is shown that for certain functionals one can derive a version of a quantum central limit theorem (qclt) with as a scaling parameter, which may be viewed as aq-analog of qclt.     

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.     

Extensions of automorphisms and gauge symmetries

We characterize the automorphisms of aC ^*-algebra which extend to automorphisms of the crossed product by a compact group dual. The case where the inclusion is equipped with a group of automorphisms commuting with the dual action is also treated. These results are applied to the analysis of broken gauge symmetries in Quantum Field Theory to draw conclusions on the structure of the degenerate vacua on the field algebra.Dedicated to Huzihiro ArakiResearch supported by MURST and CNR, GNAFA     

with central chargeN

We study representations of the central extension of the Lie algebra of differential operators on the circle, the algebra. We obtain complete and specialized character formulas for a large class of representations, which we call primitive; these include all quasi-finite irreducible unitary representations. We show that any primitive representation with central chargeN has a canonical structure of an irreducible representation of the with the same central charge and that all irreducible representations of with central chargeN arise in this way. We also establish a duality between integral modules of and finite-dimensional irreducible modules ofgl _N , and conjecture their fusion rules.Supported by a Junior Fellowship from Harvard Society of Fellows and in part by NSF grant DMS-9205303.Supported in part by NSF grant DMS-9103792.     

On geometrical interpretation of thep-adic Maslov index

A set of selfdual lattices in a two-dimensionalp-adic symplectic space is provided by an integer valued metricd. A realization of the metric space (,d) as a graph is suggested and this graph has been linked to the Bruhat-Tits tree. An action of symplectic group on a set of cycles of length three of the graph is considered and a geometrical interpretation of thep-adic Maslov index is given in terms of this action.     

Geometric prequantization on the spin bundle based onN-symplectic geometry: The dirac equation

We present preliminary results for a prequantization procedure that leads in a natural way to the Dirac equation. The starting point is the recently introducedn-symplectic geometry on the bundle of linear framesLM of ann-dimensional manifoldM in which the ⁿ-valued soldering 1-form onLM plays the role of then-symplectic potential. On a 4-dimensional spacetime manifold we consider the tensorial ⁴⁴valued function onLM determined by the spacetime metric tensor g as the Hamiltonian for free observers and determine the associated ⁴-valued Hamiltonian vector field , Integration of theX ⁱ yields the dynamics of free observers on spacetime, namely parallel transport of linear frames along spacetime geodesies. In order to obtain a vector field on the spin bundleSM which is a lift of and which is induced by a vector field for an appropriate mapping , it is useful to define a prolongation of some bundleL ^o M of oriented frames ofM. IfGL ⁺(4, ) denotes the identity component ofGL(4, ), thenGL ⁺(4, ) is the structure group ofL ^o M and its double cover is the structure group of. We show that the lift of onL ^o M to induces a natural 4-symplectic potential on. If is the lift of g to, then we find the ⁴-valued Hamiltonian vector field on determined by and show that the vector fieldsX _g ⁱ on are tangent to the subbundleSM. Integration of the restriction of theX ⁱ toSM now yields parallel transport of spin frames and thus tetrads along spacetime geodesies of g. We consider a naive prequantization operator assignment acting on ⁴-spinors in the standard representation ofSL(2, ). The eigenvalue equation for the system of new Hilbert space operators yields the Dirac equation.     

The relation between quantumW algebras and Lie algebras

By quantizing the generalized Drinfeld-Sokolov reduction scheme for arbitrarysl ₂ embeddings we show that a large set of quantumW algebras can be viewed as (BRST) cohomologies of affine Lie algebras. The set contains many knownW algebras such asW _N andW ₃ ⁽²⁾ . Our formalism yields a completely algorithmic method for calculating theW algebra generators and their operator product expansions, replacing the cumbersome construction ofW algebras as commutants of screening operators. By generalizing and quantizing the Miura transformation we show that anyW algebra in can be embedded into the universal enveloping algebra of a semisimple affine Lie algebra which is, up to shifts in level, isomorphic to a subalgebra of the original affine algebra. Thereforeany realization of this semisimple affine Lie algebra leads to a realization of theW algebra. In particular, one obtains in this way a general and explicit method for constructing the free field realizations and Fock resolusions for all algebras in. Some examples are explicitly worked out.     

Classification of the indecomposable bounded admissible modules over the Virasoro Lie algebra with weightspaces of dimension not exceeding two

In view of [1,2] any bounded admissible moduleA over the Virasoro Lie algebra is a finite length extension of irreducible modules with one-dimensional weightspaces. To each extension of finite lengthn are associatedn+1 invariants (a₁, ₁, ..., _n ). We prove that we have _i – _j {0, 1, ... 6(n – 1b)} for all (i, j) with 1ijn. In the casen=2 this result allows us to construct all the indecomposable bounded admissible modules, where the dimensions of the weightspaces are less than or equal to two. In particular we obtain all the extensions of two irreducible bounded-modules.     

Global existence and boundedness of large solutions to nonlinear equations of viscoelasticity with hardening

For the solutions of an initial-boundary value problem for the equations of viscoelasticity with isotropic hardening we derive a uniform bound under a growth condition for the nonlinearities in the case of one-space dimension. Global-in-time existence of solutions to large initial data is a consequence of the existence of this bound. In the most simple form, the equations we consider are with suitable functionsg ₁,g ₂,h satisfyingg ₂0 andXDedicated to Erhard Meister on the occasion of his sixtyfifth birthdayThis research was partially supported by the DFG-Forschergruppe Mathematische und Ingenieurwissenschaftliche Analyse bruchmechanischer und inelastischer Probleme     

Universality in orbit spaces of compact linear groups

If {p ¹(x),...,p ^q (x)} is a minimal integrity basis of the ideal of polynomial invariants of a compact coregular linear groupG, the orbit map, yields a diffeomorphic image of the orbit spaceR ⁿ /G. Starting from this fact, we point out some properties which are common to the orbit space of all the compact coregular linear groups of transformations ofR ⁿ . In particular we show that a contravariant metric matrix can be defined in the interior of, as a polynomial function of (p ¹,...,p ^q ). We prove that the matrix , which characterizes the set, as it is positive semi-definite only forp, can be determined as a solution of a canonical differential equation, which, for every compact coregular linear group, depends only on the numberq and on the degrees of the elements of the minimal integrity bases. This allows to determine all the isomorphism classes of the orbit spaces of the compact coregular linear groups through a determination of the equivalence classes of the corresponding matrices . Forq3 (orbit spaces with dimensions 3), the solutions of the canonical equation are explicitly determined and the number of their equivalence classes is shown to be finite. It is also shown that, with a convenient choice of the minimal integrity basis, the polynomial matrix elements of have only integer coefficients. Arguments are given in favour of the conjecture that our conclusions hold true for all values ofq. Our results are relevant and lead to universality properties in the physics of spontaneous symmetry breaking.Partially supported by INFN and Ministero della Pubblica Istruzione     

The semiclassical limit forSU(2) andSO(3) gauge theory on the torus

We prove that forSU(2) andSO(3) quantum gauge theory on a torus, holonomy expectation values with respect to the Yang-Mills measure converge, asT0, to integrals with respect to a symplectic volume measure µ₀ on the moduli space of flat connections on the bundle. These moduli spaces and the symplectic structures are described explicitly.Research supported in part by LEQSF Grant RD-A-08, and NSF Grant DMS 9400961.     

Space-dependent dirac operators and effective quantum field theory for fermions

For the operator, wherem(x) can change sign, we develop a cluster expansion for computing the determinant and Green's functions. We use a local chiral transformation to relate the space-dependent case to the ordinary Dirac operator.Supported in part by National Science Foundation grant PHY/DMS 88-16214Supported in part by National Science Foundation grants DMS 90-08827 and DMS 88-580873Supported in part by National Science Foundation Mathematical Sciences Postdoctoral Research Fellowship DMS 88-07291