A class of strongly homotopy Lie algebras with simplified sh-Lie structures

Given a complex that is a differential graded vector space, it is known that a single mapping defined on a space of it where the homology is non-trivial extends to a strongly homotopy Lie algebra (on the graded space) when that mapping satisfies two conditions. This strongly homotopy Lie algebra is non-trivial (it is not a Lie algebra); however we show that one can obtain an sh-Lie algebra where the only non-zero mappings defining it are the lower order mappings. This structure applies to a significant class of examples. Moreover in this case the graded space can be replaced by another graded space, with only three non-zero terms, on which the same sh-Lie structure exists.     

Continuous and Discrete Clebsch Variational Principles

The Clebsch method provides a unifying approach for deriving variational principles for continuous and discrete dynamical systems where elements of a vector space are used to control dynamics on the cotangent bundle of a Lie group via a velocity map. This paper proves a reduction theorem which states that the canonical variables on the Lie group can be eliminated, if and only if the velocity map is a Lie algebra action, thereby producing the Euler–Poincaré (EP) equation for the vector space variables. In this case, the map from the canonical variables on the Lie group to the vector space is the standard momentum map defined using the diamond operator. We apply the Clebsch method in examples of the rotating rigid body and the incompressible Euler equations. Along the way, we explain how singular solutions of the EP equation for the diffeomorphism group (EPDiff) arise as momentum maps in the Clebsch approach. In the case of finite-dimensional Lie groups, the Clebsch variational principle is discretized to produce a variational integrator for the dynamical system. We obtain a discrete map from which the variables on the cotangent bundle of a Lie group may be eliminated to produce a discrete EP equation for elements of the vector space. We give an integrator for the rotating rigid body as an example. We also briefly discuss how to discretize infinite-dimensional Clebsch systems, so as to produce conservative numerical methods for fluid dynamics.      

Hierarchies of holonomy groupoids for foliated bundles

We give a new construction of the holonomy groupoid of a regular foliation in terms of a partial connection on a diffeological principal bundle of germs of transverse parametrisations, which may be viewed as a systematisation of Winkelnkemper’s original construction using ideas from gauge theory. We extend these ideas to construct a novel holonomy groupoid for any foliated bundle, which we prove sits at the top of a hierarchy of diffeological jet holonomy groupoids associated with the foliated bundle. This shows that while the Winkelnkemper holonomy groupoid is the smallest Lie groupoid that integrates a foliation, it is far from the smallest diffeological groupoid that does so.

     

Lie group structures on symmetry groups of principal bundles

In this paper we describe how one can obtain Lie group structures on the group of (vertical) bundle automorphisms for a locally convex principal bundle P over the compact manifold M. This is done by first considering Lie group structures on the group of vertical bundle automorphisms Gau(P). Then the full automorphism group Aut(P) is considered as an extension of the open subgroup DiffP(M) of diffeomorphisms of M preserving the equivalence class of P under pull-backs, by the gauge group Gau(P). We derive explicit conditions for the extensions of these Lie group structures, show the smoothness of some natural actions and relate our results to affine Kac-Moody algebras and groups.     

Bundle automorphisms for fiberG-structures of finite type

In this paper we study geometric settings where a Lie group preserving a measurable field of measurable Riemannian metrics on the fibers of a smooth fiber bundle must actually preserve a measurable field of smooth Riemannian metrics. For ergodic actions on bundles with compact fiber this will imply that the standard fiber is a homogeneous space for a compact Lie group. In particular we show this conclusion holds for a semisimple Lie group of higher real rank (or a lattice subgroup) preserving a finite measure and either a field of connections or pseudo-Riemannian metrics when the fiber is compact and of low dimension.Research completed while a member of the University of Chicago Mathematics Department.     

The reduced spaces of a symplectic Lie group action

There exist three main approaches to reduction associated to canonical Lie group actions on a symplectic manifold, namely, foliation reduction, introduced by Cartan, Marsden-Weinstein reduction, and optimal reduction, introduced by the authors. When the action is free, proper, and admits a momentum map these three approaches coincide. The goal of this paper is to study the general case of a symplectic action that does not admit a momentum map and one needs to use its natural generalization, a cylinder valued momentum map introduced by Condevaux et al. In this case it will be shown that the three reduced spaces mentioned above do not coincide, in general. More specifically, the Marsden-Weinstein reduced spaces are not symplectic but Poisson and their symplectic leaves are given by the optimal reduced spaces. Foliation reduction produces a symplectic reduced space whose Poisson quotient by a certain Lie group associated to the group of symmetries of the problem equals the Marsden-Weinstein reduced space. We illustrate these constructions with concrete examples, special emphasis being given to the reduction of a magnetic cotangent bundle of a Lie group in the situation when the magnetic term ensures the non-existence of the momentum map for the lifted action. The precise relation of the cylinder valued momentum map with group valued momentum maps for Abelian Lie groups is also given.     

李群的余切丛上的两种辛群胚结构

本文研究了李群的余切丛上的辛群胚结构.利用李代数胚的对偶丛上有自然诱导的泊松结构,.构造出了同一余切丛上的不同的辛群胚结构,推广了辛群胚的性质.     

How the Curvature Generates the Holonomy of a Connection in an Arbitrary Fibre Bundle

For an arbitrary fibre bundle with a connection, the holonomy group of which is a Lie transformation group, it is shown how the parallel displacement along a null-homotopic loop can be obtained from the curvature by integration. The result also sheds some new light on the situation for vector bundles and principal fibre bundles. The Theorem of Ambrose–Singer is derived as a corollary in our general setting. The curvature of the connection is interpreted as a differential 2-form with values in the holonomy algebra bundle, the elements of which are special vector fields on the fibres of the given bundle. Received: May 16, 2006; Revised: July 30, 2006; Accepted: August 2, 2006     

真空Einstein方程所容许的群及方程的局部不变解

该文提出李变换群延拓群的概念,并运用纤维丛方法解决了延拓群算子中的系数问题.在此基础上,作者着重求出了真空Einstein方程所容许的群,同时还提出求方程局部不变解的一种可能方案.     

The local invariable solution of vacuum Einstein equation

In this paper, using the method of fibre bundle, we solve the coefficient problem in the operator of prolongation group with the aid of the conception of prolongation group for Lie transformation group. We obtain the permitted group of the vacuum Einstein equation, and introduce a doable program of getting local invariable solution of the equation.     

Special symplectic Lie groups and hypersymplectic Lie groups

A special symplectic Lie group is a triple ${(G,\omega,\nabla)}$ such that G is a finite-dimensional real Lie group and ω is a left invariant symplectic form on G which is parallel with respect to a left invariant affine structure ${\nabla}$ . In this paper starting from a special symplectic Lie group we show how to “deform” the standard Lie group structure on the (co)tangent bundle through the left invariant affine structure ${\nabla}$ such that the resulting Lie group admits families of left invariant hypersymplectic structures and thus becomes a hypersymplectic Lie group. We consider the affine cotangent extension problem and then introduce notions of post-affine structure and post-left-symmetric algebra which is the underlying algebraic structure of a special symplectic Lie algebra. Furthermore, we give a kind of double extensions of special symplectic Lie groups in terms of post-left-symmetric algebras.     

A decomposition theorem for lie algebra bundles

We prove thata locally trivial Lie algebra bundle is a semidirect product of its radical bundle and a semisimple bundle by using thecohomological methods.A simple bundle which is not semisimple is given and it is also an example of a non locally trivial bundle for which such a decomposition fails.     

相配群胚上的诱导联络

本文引入了相配群胚和相配主丛的概念,它们是一对具有相同传递函数的局部平凡李群胚（Г→_→P,α,β）和主丛（B,P,π,G）.我们首先考察了相配群胚Г的内子群胚GГ的局部平凡化,利用这个局部平凡化证明了在B和GГ之间自然存在着一个丛同构.通过这个丛同构以及B的联络日逐步得到了H在GГ和Г上的诱导联络,进而定义了Г上分别以α,β为投影的左联络和右联络,这两个联络都是在Г上整体有定义的,与以往李群胚上的联络只是定义在李代数胚上不同.     

Cotangent bundles of 4-dimensional hypercomplex Lie groups

 We study geometrical structures on the cotangent bundle T ^* G of a Lie group G which are left-invariant with respect to the Lie group structure on T ^* G determined by a left-invariant affine structure ∇ on G. In particular, we investigate the existence of conformally hyper-K?hler metrics and hyper-K?hler with torsion (HKT) structures on the cotangent bundle of hypercomplex 4-dimensional Lie groups. By applying In?nü-Wigner contractions to compact semisimple Lie algebras we obtain non semisimple Lie algebras endowed with invariant HKT structures. Received: 4 February 2002 / Revised version: 20 August 2002 Research partially supported by MURST and GNSAGA (Indam) of Italy Mathematics Subject Classification (2000): 53C26, 22E25     

Left invariant special Kähler structures

We construct left invariant special Kähler structures on the cotangent bundle of a flat pseudo-Riemannian Lie group. We introduce the twisted cartesian product of two special Kähler Lie algebras according to two linear representations by infinitesimal Kähler transformations. We also exhibit a double extension process of a special Kähler Lie algebra which allows us to get all simply connected special Kähler Lie groups with bi-invariant symplectic connections. All Lie groups constructed by performing this double extension process can be identified with a subgroup of symplectic (or Kähler) affine transformations of its Lie algebra containing a nontrivial 1-parameter subgroup formed by central translations. We show a characterization of left invariant flat special Kähler structures using étale Kähler affine representations, exhibit some immediate consequences of the constructions mentioned above, and give several non-trivial examples.     

Singular cotangent bundle reduction & spin Calogero–Moser systems

We develop a bundle picture for singular symplectic quotients of cotangent bundles acted upon by cotangent lifted actions for the case that the configuration manifold is of single orbit type. Furthermore, we give a formula for the reduced symplectic form in this setting. As an application of this bundle picture we consider Calogero–Moser systems with spin associated to polar representations of compact Lie groups.     

Partitioned Runge–Kutta Methods in Lie-Group Setting

We introduce partitioned Runge–Kutta (PRK) methods as geometric integrators in the Runge–Kutta–Munthe-Kaas (RKMK) method hierarchy. This is done by first noticing that tangent and cotangent bundles are the natural domains for the differential equations to be solved. Next, we equip the (co)tangent bundle of a Lie group with a group structure and treat it as a Lie group. The structure of the differential equations on the (co)tangent-bundle Lie group is such that partitioned versions of the RKMK methods are naturally introduced. Numerical examples are included to illustrate the new methods.     

关于李群胚的几点讨论

文章讨论了李群胚作为丛的一些性质,得出李群胚的内子群胚是主丛的结论;研究了李群胚在其内子群胚上的作用,并证明了李群胚上的Maurer-cartan形式在其任意左不变向量场上作用的结果为常数.文末推广了关于李代数胚态射的一个结论.     

On automorphism groups of natural contact structures on a bundle of 1-jet functions

In this paper, the projected contact-affine transformations on the bundle of 1-jet functions over a smooth manifold is studied. We have found the maximum dimension of the Lie group of projected contact-affine transformations of the natural contact-affine structure.     

The Atiyah class of generalized holomorphic vector bundles

We introduce the notion of Atiyah class of a generalized holomorphic vector bundle, which captures the obstruction to the existence of generalized holomorphic connections on the bundle. As in the classical holomorphic case, this Atiyah class can be defined in three different ways: using Čech cohomology, using the first-jet short exact sequence, or adopting the Lie pair point of view.