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.     

Symmetries in quantum logics

A symmetry in the quantum logic (L, M) is defined as a pair of bijections :L L andv :M M such that the probabilities are preserved. Some properties of the symmetries are investigated.     

A\overline {Poincar\acute{e}} gauge theory of gravity

We develop a gauge theory of gravity on the basis of the principal fiber bundle over the four-dimensional space-timeM with the covering groupP¯ ₀ of the proper orthochronous Poincaré group. The field components are constructed with the connection coefficients , and with a Higgs-type field. A Lorentz metricg is introduced with , which are then identified with the components of duals of the Vierbein fields. Associated with there is a spinor structure onM. For Lagrangian densityL, which is a function of , ,, matter field , and oftheir first derivatives, we give the conditions imposed by the requirement of the gauge invariance. The Lagrangian densityL is restricted to be of the formL =L ^tot (, T ^klm ,R ^klmn , _k , ), in whichT ^klm ,R ^klmn are the field strengths of , , respectively. Identities and conservation laws following from the gauge invariance are given. Particularly noteworthy is the fact that the energy momentum conservation law follows from theinternal translational invariance. The field equation of is automatically satisfied, if those of and of are both satisfied. The possible existence of matter fields with intrinsic energy momentum is pointed out. When is a field with vanishing intrinsic energy momentum, the present theory practically agrees with the conventional Poincaré gauge theory of gravity, except for the seemingly trivial terms in the expression of the spin-angular momentum density. A condition leading to a Riemann-Cartan space-time is given. The field holds a key position in the formulation.     

Quantum-Logics-Valued Measure Convergence Theorem

In this paper, the following quantum-logic valued measure convergence theorem is proved: Let (L ₁, 0, 1) be a Boolean algebra, (L ₂, , , 0, 1) be a quantum logic and { _n : n N} be a sequence of s-bounded (L ₂, , , 0, 1)-valued measures which are defined on (L ₁, 0, 1). If for each a (L ₁, 0, 1), { _n (a)} _{n N} is an order topology Cauchy sequence, when {v(a)} convergent to 0, { _n (a)} is order topology convergent to 0 for each n N, where v is a nonnegative finite additive measure which is defined on (L ₁, 0, 1), then when {v(a)} convergent to 0, { _n (a)} are order topology convergent to 0 uniformly with respect to n N.     

Verma Modules for Yangians

We study the Verma modules M((μu)) over the Yangian Y associated with a simple Lie algebra . We give necessary and sufficient conditions for irreducibility of M(μ(u)). Moreover, regarding the simple quotient L((μu)) of M((μu)) as an -module, we give necessary and sufficient conditions for finite-dimensionality of the weight subspaces of L((μu)).     

Quantum system in contact with a thermal environment: Rigorous treatment of a simple model

We study the quantum dynamics of a particle of massM in an external potentialV(Q), interacting with a simple model environment—a harmonic chain of 2N particles with massm and spring constantk. The classical version of this model was studied by Rubin and is equivalent to standard models of a particle interacting with a phonon bath. Settingm=m*/L andk=k*L, we prove that for a suitable class of potentialsV and initial states ₀, the time evolution of the massM particle converges, whenN andL , to the time evolution governed by the Quantum Langevin Equation (QLE) which has been found by Ford, Kac and Mazur. Furthermore we show that, for this class of potentials, the QLE has a unique solution for all positive times, such solution can be expressed as a convergent expansion in the deviation ofV(Q) from a harmonic potential. The equilibrium properties of the particle with massM can be expressed in terms of an integral, over path space, with a Gaussian measure which has mean zero and covariance proportional to ; where is the friction constant, andh is the Plancks' constant (divided by 2).Supported in part by AFOSR Grant No. 86-0010     

Non-compact quantum groups associated with Abelian subgroups

LetG be a Lie group. For any Abelian subalgebra of the Lie algebra g ofG, and any , the difference of the left and right translates ofr gives a compatible Poisson bracket onG. We show how to construct the corresponding quantum group, in theC ^*-algebra setting. The main tool used is the general deformation quantization construction developed earlier by the author for actions of vector groups onC ^*-algebras.The research reported on here was supported in part by National Science Foundation grant DMS-9303386.     

On the existence of asymptotically flat initial data sets for space-times containing manifolds with ends

A 3-manifoldM is said to have ends if the complement of a compact set inM is the finite disjoint union of sets diffeomorphic to the exterior of a sphere in ³. This paper gives a necessary and sufficient condition for when an asymptotically flat initial data set ( ) onM is determined by a set of freely specifiable York data.This research was partially supported by the National Science Foundation grant No. 7901801.     

Classical foundations of quantum logic

We construct a languageL for a classical first-order predicate calculus with monadic predicates only, extended by means of a family of statistical quantifiers. Then, a formal semantic model is put forward forL which is compatible with a physical interpretation and embodies a truth theory which provides the statistical quantifiers with properties that fit their interpretation; in this framework, the truth mode of physical laws is suitably characterized and a probability-frequency correlation principle is established. By making use ofL and , a set of basic physical laws is stated that hold both in classical physics (CP) and in quantum physics (QP), which allow the selection of suitable subsets of primitive predicates ofL (the set _P of pure states; the sets _o and _E of operational and exact effects, respectively) and the introduction on these subsets of binary relations (a preclusion relation # on _P , an order relation < on _E . By assuming further physical laws, ( _E , <) turns out to be a complete orthocomplemented lattice [mixtures and atomicity of ( _E , <) also can be introduced by means of suitable physical assumptions]. Two languagesL _E ^x andL _E ^S are constructed that can be mapped intoL; the mapping induces on them mathematical structures, some kind of truth function, an interpretation. The formulas ofL _E ^x can be interpreted as statements about properties of a physical object, and the truth function onL _E ^x is two valued. The formulas ofL _E ^S can be endowed with two different interpretations as statements about the frequency of some physical property in some class (state) of physical objects; consequently, a two-valued truth function and a multivalued fuzzy-truth function are defined onL _E ^S . In all cases the algebras of propositions of these logics are complete orthocomplemented lattices isomorphic to ( _E , <). These results hold both in CP and in QP; further physical assumptions endow the lattice ( _E , <), henceL _E ^x andL _E/S , with further properties, such as distributivity in CP and weak modularity and covering law in QP. In the latter case,L _E ^S andL _E ^S , together with their interpretations, can be considered different models of the same basic mathematical structure, and can be identified with standard (elementary) quantum logics. These are therefore founded on the classical extended languageL with semantic model .     

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.     

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.     

Minimal Terminal ℚ-Factorial Models of Drinfeld Coarse Moduli Schemes

In this article we formally prove that the coarse moduli scheme M^r(1) of rational Drinfeld modules of rank r is an affine -factorial equivariant compactification of M^r(1) and we prove the uniqueness of such a compactification. Finally, the coarse moduli surface M³(1) is described in detail.     

On the Ricci Curvature of Compact Spacelike Hypersurfaces in Einstein Conformally Stationary-Closed Spacetimes

In this paper we develop an integral formula involving the Ricci and scalar curvatures of a compact spacelike hypersurface M in a spacetime equipped with a timelike closed conformal vector field K (in short, conformally stationary-closed spacetime), and we apply it, when is Einstein, in order to establish sufficient conditions for M to be a leaf of the foliation determined by K and to obtain some non-existence results. We also get some interesting consequences for the particular case when is a generalized Robertson-Walker spacetime.     

On the Dequantization of Fedosov's Deformation Quantization

To each natural deformation quantization on a Poisson manifold M we associate a Poisson morphism from the formal neighborhood of the zero section of T ^* M to the formal neighborhood of the diagonal of the product M× , where is a copy of M with the opposite Poisson structure. We call it dequantization of the natural deformation quantization. Then we 'dequantize' Fedosov's quantization.     

Existence of Resonances for Metric Scattering in Even Dimensions

Suppose _g is the (negative) Laplace–Beltrami operator of a Riemannian metric g on ⁿ which is Euclidean outside some compact set. It is known that the resolvent R()=(– _g –²)^–1, as the operator from L ² _comp( ⁿ ) to H ² _loc( ⁿ ), has a meromorphic extension from the lower half plane to the complex plane or the logarithmic plane when n is odd or even, respectively. Resonances are defined to be the poles of this meromorphic extension. We prove that when n is 4 or 6, there always exist infinitely many resonances provided that g is not flat. When n is greater than 6 and even, we prove the same result under the condition that the metric is conformally Euclidean or is close to the Euclidean metric.     

Instabilities of certain empty Robertson-Walker space-times

Results are established concerning perturbations of each empty Robertson-Walker space-time (M, g) with a nonvanishing cosmological constant. The perturbed space-times have the general form ( ) with an extension ofM, and lying in an open neighborhood of g in a type ofW ^m topology. These results indicate that large classes of such perturbations give rise to space-times which suffer from one of two types of incompleteness.     

Two-Time-Scale Relaxation Towards Thermal Equilibrium of the Enigmatic Piston

We investigate the evolution of a system composed of N non-interacting point particles of mass m in a container divided into two chambers by a movable adiabatic piston of mass Mm. Using a two-time-scale perturbation approach in terms of the small parameter =2m/(M+m), we show that the evolution towards thermal equilibrium proceeds in two stages. The first stage is a fast, deterministic, adiabatic relaxation towards mechanical equilibrium. The second stage, which takes place at times (M), is a slow fluctuation-driven, diathermic relaxation towards thermal equilibrium. A very simple equation is derived which shows that in the second stage, the position of the piston is given by X _M (t)= L[1/2–(t)] where the function is independent of M. Numerical simulations support the assumptions underlying our analytical derivations and illustrate the large mass range in which the picture holds.     

On Percolation with Fibers or Layers

We consider site percolation on Z ^d, directed edges going from any sZ ^d to s+A ₁,..., s+A _n, where A ₁,..., A _n are the same for all sites and at least two of them are noncollinear. A site is closed if it belongs to p+Block, where p is a point in a Poisson distribution in R ^dZ ^d with a density and Block={sL: |s|M}+{sR ^d: |s|}, where L is a linear subspace of R ^d, |·| is the Euclidean norm, =max(|A ₁|,..., |A _n|) and M is a parameter. We study the behavior of *, the critical value, and P _closed*, corresponding critical percentage of closed sites, when M. Denote R ^d/L the factor space. Call two nonzero vectors U, V codirected if U=kV, where k>0. Theorem. If there are A _i and A _j whose projections to R ^d/L are not codirected, then *1/M ^dim(L) and P _closed* remains separated both from 0 and 1 when M. If projections of all A ₁,..., A _n to R ^d/L are codirected, then *1/M ^dim(L)+1 and P _closed*1/M when M.     

Causality,localizability, and holomorphically convex hulls

A generalization of local commutativity to the fields with an exponential momentum-space growth e ^lp is considered. To study the local properties of such fields we associate to each space-time region a topology ( ) on the test function space. It is shown that under any choice of the topology the fields of exponential growth are localizable only in space-time regions large in comparison withl. This happens because not any domain in the space of several complex variables is a domain of holomorphy. However, by specifying the topology through the use of holomorphically convex domains in ⁴, one can attach certain meaning to local commutativity for arbitrarily close spacelike separated regions of ⁴.