Twisted Diff S 1-action on loop groups and representations of the virasoro algebra

A modified Hamiltonian action of Diff S ¹on the phase space LG ^C /G^C, where LG is a loop group, is defined by twisting the usual action by a left translation in LG. This twisted action is shown to be generated by a nonequivariant moment map, thereby defining a classical Poisson bracket realization of a central extension of the Lie algebra diff_C S ¹. The resulting formula expresses the Diff S ¹generators in terms of the left LG translation generators, giving a shifted modification of both the classical and quantum versions of the Sugawara formula.Research supported in part by the Natural Sciences and Engineering Research Council of Canada and the National Science Foundation.     

Canonical transformations of local functionals and sh-Lie structures

In many Lagrangian field theories, there is a Poisson bracket on the space of local functionals. One may identify the fields of such theories as sections of a vector bundle. It is known that the Poisson bracket induces an sh-Lie structure on the graded space of horizontal forms on the jet bundle of the relevant vector bundle. We consider those automorphisms of the vector bundle which induce mappings on the space of functionals preserving the Poisson bracket and refer to such automorphisms as canonical automorphisms.We determine how such automorphisms relate to the corresponding sh-Lie structure. If a Lie group acts on the bundle via canonical automorphisms, there are induced actions on the space of local functionals and consequently on the corresponding sh-Lie algebra. We determine conditions under which the sh-Lie structure induces an sh-Lie structure on a corresponding reduced space where the reduction is determined by the action of the group. These results are not directly a consequence of the corresponding theorems on Poisson manifolds as none of the algebraic structures are Poisson algebras.     

On the geometry of multi-Dirac structures and Gerstenhaber algebras

In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplication and a multi-Courant bracket on the space of sections of a multi-Dirac structure, so that the space of sections has the structure of a Gerstenhaber algebra. We then show that the graph of a k$k$-form on a manifold gives rise to a multi-Dirac structure and also that this multi-Dirac structure is integrable if and only if the corresponding form is closed. Finally, we show that the multi-Courant bracket endows a subset of the ring of differential forms with a graded Poisson bracket, and we relate this bracket to some of the multisymplectic brackets found in the literature.     

Deformations of 2k-Einstein structures

It is shown that the space of infinitesimal deformations of 2k-Einstein structures is finite dimensional on compact non-flat space forms. Moreover, spherical space forms are shown to be rigid in the sense that they are isolated in the corresponding moduli space.     

The sh Lie Structure of Poisson Brackets in Field Theory

A general construction of an sh Lie algebra (L _∞-algebra) from a homological resolution of a Lie algebra is given. It is applied to the space of local functionals equipped with a Poisson bracket, induced by a bracket for local functions along the lines suggested by Gel'fand, Dickey and Dorfman. In this way, higher order maps are constructed which combine to form an sh Lie algebra on the graded differential algebra of horizontal forms. The same construction applies for graded brackets in field theory such as the Batalin-Fradkin-Vilkovisky bracket of the Hamiltonian BRST theory or the Batalin-Vilkovisky antibracket. Received: 5 March 1997 / Accepted: 21 May 1997     

Differential calculus on compact matrix pseudogroups (quantum groups)

The paper deals with non-commutative differential geometry. The general theory of differential calculus on quantum groups is developed. Bicovariant bimodules as objects analogous to tensor bundles over Lie groups are studied. Tensor algebra and external algebra constructions are described. It is shown that any bicovariant first order differential calculus admits a natural lifting to the external algebra, so the external derivative of higher order differential forms is well defined and obeys the usual properties. The proper form of the Cartan Maurer formula is found. The vector space dual to the space of left-invariant differential forms is endowed with a bilinear operation playing the role of the Lie bracket (commutator). Generalized antisymmetry relation and Jacobi identity are proved.     

Geometrization of the classical field theory and its application in Yang-Mills field theory

The paper contains presentation of the finite-dimensional approach to the classical field theory based on the geometry of differential manifolds and forms. Geometrical construction of a symplectic structure and Poisson brackets on the space of initial conditions are realized. This space is not a manifold but it can be furnished with a structure of a differential space.The structural n+1 form for the Yang-Mills field theory is constructed. This gives automatically equations of motion and equations for initial conditions. The parasymplectic structure is computed. The directions of degeneration appear to be exactly the directions of infinitesimal gauge transformations. The Poisson bracket for Yang-Mills field theory is obtained.     

Explicit form and convergence of 1-differential formal deformations of the poisson Lie algebra

Introducing the notion of an admissible graded Lie subalgebra A of the Nijenhui-Richardson algebra A(V) of the vector space V, it is shown that each cohomology class of a subcomplex C _A of the Chevalley-Eilenberg complex (C ⁰ M), extends in a cononical way as a graded cohomology class of weight — 1 of A. Applying this when V is the space N of smooth functions of a smooth manifold M, shows that the de Rham cohomology of M is induced by the graded cohomology of weight — 1 of the Schouten graded Lie algebra of M. This allows us to construct explicitly all 1-differential, nc formal deformations of the Poisson bracket of a symplectic manifold. The construction also applies for an arbitrary Poisson manifold but leads to only part of these deformations when the structure degenerates, as shown by an example.     

Stochastic Cohomology of the Frame Bundle of the Loop Space

Abstract

We study the differential forms over the frame bundle of the based loop space. They are stochastics in the sense that we put over this frame bundle a probability measure. In order to understand the curvatures phenomena which appear when we look at the Lie bracket of two horizontal vector fields, we impose some regularity assumptions over the kernels of the differential forms. This allows us to define an exterior stochastic differential derivative over these forms.     

On surfaces whose twistor lifts are harmonic sections

We study surfaces whose twistor lifts are harmonic sections, and characterize these surfaces in terms of their second fundamental forms. As a corollary, under certain assumptions for the curvature tensor, we prove that the twistor lift is a harmonic section if and only if the mean curvature vector field is a holomorphic section of the normal bundle. For surfaces in four-dimensional Euclidean space, a lower bound for the vertical energy of the twistor lifts is given. Moreover, under a certain assumption involving the mean curvature vector field, we characterize a surface in four-dimensional Euclidean space in such a way that the twistor lift is a harmonic section, and its vertical energy density is constant.     

Poisson brackets and clebsch representations for magnetohydrodynamics,multifluid plasmas,and elasticity

Poisson brackets are constructed by the same mathematical procedure for three physical theories: ideal magnetohydrodynamics, multifluid plasmas, and elasticity. Each of these brackets is given a simple Lie-algebraic interpretation. Moreover, each bracket is induced to physical space by use of a canonical Poisson bracket in the space of Clebsch potentials, which are constructed for each physical theory by the standard procedure of constrained Lagrangians.     

The Hamiltonian description of incompressible fluid ellipsoids

We construct the noncanonical Poisson bracket associated with the phase space of first order moments of the velocity field and quadratic moments of the density of a fluid with a free-boundary, constrained by the condition of incompressibility. Two methods are used to obtain the bracket, both based on Dirac’s procedure for incorporating constraints. First, the Poisson bracket of moments of the unconstrained Euler equations is used to construct a Dirac bracket, with Casimir invariants corresponding to volume preservation and incompressibility. Second, the Dirac procedure is applied directly to the continuum, noncanonical Poisson bracket that describes the compressible Euler equations, and the moment reduction is applied to this bracket. When the Hamiltonian can be expressed exactly in terms of these moments, a closure is achieved and the resulting finite-dimensional Hamiltonian system provides exact solutions of Euler’s equations. This is shown to be the case for the classical, incompressible Riemann ellipsoids, which have velocities that vary linearly with position and have constant density within an ellipsoidal boundary. The incompressible, noncanonical Poisson bracket differs from its counterpart for the compressible case in that it is not of Lie-Poisson form.     

A supersymmetric integrable system for arbitrary N

On the dual space to the loop algebra of the Lie algebra of vector fields on a super N-circle, there lives an integrable dynamical system.     

Singular reduction of implicit Hamiltonian systems

This paper develops the theory of singular reduction for implicit Hamiltonian systems admitting a symmetry Lie group. The reduction is performed at a singular value of the momentum map. This leads to a singular reduced topological space which is not a smooth manifold. A topological Dirac structure on this space is defined in terms of a generalized Poisson bracket and a vector space of derivations, both being defined on a set of smooth functions. A corresponding Hamiltonian formalism is described. It is shown that solutions of the original system descend to solutions of the reduced system. Finally, if the generalized Poisson bracket is nondegenerate, then the singular reduced space can be decomposed into a set of smooth manifolds called pieces. The singular reduced system restricts to a regular reduced implicit Hamiltonian system on each of these pieces. The results in this paper naturally extend the singular reduction theory as previously developed for symplectic or Poisson Hamiltonian systems.     

Multi-component KdV hierarchy,V-algebra and non-Abelian toda theory

We prove the recently conjectured relation between the 2 × 2-matrix differential operatorL = ² –U and a certain nonlinear and nonlocal Poisson bracket algebra (V-algebra), containing a Virasoro subalgebra, which appeared in the study of a non-Abelian Toda field theory. In particular, we show that thisV-algebra is precisely given by the second Gelfand-Dikii bracket associated withL. The Miura transformation that relates the second to the first Gelfand-Dikii bracket is given. The two Gelfand-Dikii brackets are also obtained from the associated (integro-) differential equation satisfied by fermion bilinears. The asymptotic expansion of the resolvent of (L -) = 0 is studied and its coefficientsR _l yield an infinite sequence of Hamiltonians with mutually vanishing Poisson brackets. We recall how this leads to a matrix KdV hierarchy, which here are flow equations for the three component fieldsT,V ⁺,V ^– ofU. ForV ^± = 0, they reduce to the ordinary KdV hierarchy. The corresponding matrix mKdV equations are also given, as well as the relation to the pseudo-differential operator approach. Most of the results continue to hold ifU is a Hermitiann ×n matrix. Conjectures are made aboutn ×n-matrix,mth-order differential operatorsL and associatedV _(n,m)-algebras.     

The quasi-Poisson Goldman formula

We prove a quasi-Poisson bracket formula for the space of representations of the fundamental groupoid of a surface with boundary, which generalizes Goldman’s Poisson bracket formula. We also deduce a similar formula for quasi-Poisson cross-sections.     

Strongly Homotopy Lie Bialgebras and Lie Quasi-bialgebras

Structures of Lie algebras, Lie coalgebras, Lie bialgebras and Lie quasibialgebras are presented as solutions of Maurer–Cartan equations on corresponding governing differential graded Lie algebras using the big bracket construction of Kosmann–Schwarzbach. This approach provides a definition of an L _∞-(quasi)bialgebra (strongly homotopy Lie (quasi)bialgebra). We recover an L _∞-algebra structure as a particular case of our construction. The formal geometry interpretation leads to a definition of an L _∞ (quasi)bialgebra structure on V as a differential operator Q on V, self-commuting with respect to the big bracket. Finally, we establish an L _∞-version of a Manin (quasi) triple and get a correspondence theorem with L _∞-(quasi)bialgebras. This paper is dedicated to Jean-Louis Loday on the occasion of his 60th birthday with admiration and gratitude.     

Loop algebras and their relation to the conformal structure of integrable systems

We use the theorem of Kostant, Adler and Symes to construct an infinite set of local polynomials in involution with respect to the Poisson bracket realisation of the Neveu-Schwartz sector of the N=1 superconformal algebra.     

空间高分辨率CCD相机次镜支架最佳结构设计

根据某空间高分辨率CCD相机的结构设计方案,利用结构设计软件Solidedge建立了次镜支架的结构分析模型,并利用有限元分析软件Vnastran对不同结构和尺寸的次镜支架进行了动力学分析计算,提出了次镜支架的鼓型偏置式四翼梁结构.该结构具有较高一阶谐振频率和良好的机械加工性能,特别适合用于大口径的空间相机中.