A theorem of Maurer-Cartan type for Lie algebroids is presented. Suppose that any vector subbundle of a Lie algebroid is called interior differential system (IDS) for that Lie algebroid. A theorem of Frobenius type is...A theorem of Maurer-Cartan type for Lie algebroids is presented. Suppose that any vector subbundle of a Lie algebroid is called interior differential system (IDS) for that Lie algebroid. A theorem of Frobenius type is obtained. Extending the classical notion of exterior diffential system (EDS) to Lie algebroids, a theorem of Cartan type is obtained.展开更多
For any regular Lie algebroid A, the kernel K and the image F of its anchor map ρA, together with A itself fit into a short exact sequence, called the Atiyah sequence, of Lie algebroids. We prove that the Atiyah and ...For any regular Lie algebroid A, the kernel K and the image F of its anchor map ρA, together with A itself fit into a short exact sequence, called the Atiyah sequence, of Lie algebroids. We prove that the Atiyah and Todd classes of dg manifolds arising from a regular Lie algebroid respect the Atiyah sequence, i.e.,the Atiyah and Todd classes of A restrict to the Atiyah and Todd classes of the bundle K of Lie algebras on the one hand, and project onto the Atiyah and Todd classes of the integrable distribution F■T_M on the other hand.展开更多
For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the ...For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.展开更多
In this paper, we study the relation of the algebraic properties of the higher-order Courant bracket and Dorfman bracket on the direct sum bundle TM⊕∧<sup>p</sup>T*M for an m-dimensional smooth mani...In this paper, we study the relation of the algebraic properties of the higher-order Courant bracket and Dorfman bracket on the direct sum bundle TM⊕∧<sup>p</sup>T*M for an m-dimensional smooth manifold M, and a Lie 2-algebra which is a “categorified” version of a Lie algebra. We prove that the higher-order Courant algebroids give rise to a semistrict Lie 2-algebra, and we prove that the higher-order Dorfman algebroids give rise to a hemistrict Lie 2-algebra. Consequently, there is an isomorphism from the higher-order Courant algebroids to the higher-order Dorfman algebroids as Lie 2-algebras homomorphism.展开更多
In 1909 the brothers E. and F. Cosserat discovered a new nonlinear group theoretical approach to elasticity (EL), with the only experimental need to measure the EL constants. In a modern framework, they used the nonli...In 1909 the brothers E. and F. Cosserat discovered a new nonlinear group theoretical approach to elasticity (EL), with the only experimental need to measure the EL constants. In a modern framework, they used the nonlinear Spencer sequence instead of the nonlinear Janet sequence for the Lie groupoid defining the group of rigid motions of space. Following H. Weyl, our purpose is to compute for the first time the linear and nonlinear Spencer sequences for the Lie groupoid defining the conformal group of space-time in order to provide the mathematical foundations of both electromagnetism (EM) and gravitation (GR), with the only experimental need to measure the EM and GR constants. With a manifold of dimension n ≥ 3, the difficulty is to deal with the n nonlinear transformations that have been called “elations” by E. Cartan in 1922. Using the fact that dimension n = 4 has very specific properties for the computation of the Spencer cohomology, we also prove that there is no conceptual difference between the (nonlinear) Cosserat EL field or induction equations and the (linear) Maxwell EM field or induction equations. As for gravitation, the dimension n = 4 also allows to have a conformal factor defined everywhere but at the central attractive mass because the inversion law of the isotropy subgroupoid made by second order jets transforms attraction into repulsion. The mathematical foundations of both electromagnetism and gravitation are thus only depending on the structure of the conformal pseudogroup of space-time.展开更多
After introducing some of the basic definitions and results from the theory of groupoid and Lie algebroid,we investigate the discrete Lagrangian mechanics from the viewpoint of groupoid theory and give the connection ...After introducing some of the basic definitions and results from the theory of groupoid and Lie algebroid,we investigate the discrete Lagrangian mechanics from the viewpoint of groupoid theory and give the connection betweengroupoids variation and the methods of the first and second discrete variational principles.展开更多
In 1909 the brothers E. and F. Cosserat discovered a new nonlinear group theoretical approach to elasticity (EL), with the only experimental need to measure the EL constants. In a modern language, their idea has been ...In 1909 the brothers E. and F. Cosserat discovered a new nonlinear group theoretical approach to elasticity (EL), with the only experimental need to measure the EL constants. In a modern language, their idea has been to use the nonlinear Spencer sequence instead of the nonlinear Janet sequence for the Lie groupoid defining the group of rigid motions of space. Following H. Weyl, our purpose is to compute for the first time the nonlinear Spencer sequence for the Lie groupoid defining the conformal group of space-time in order to provide the mathematical foundations of electromagnetism (EM), with the only experimental need to measure the EM constant in vacuum. With a manifold of dimension n, the difficulty is to deal with the n nonlinear transformations that have been called “elations” by E. Cartan in 1922. Using the fact that dimension n=4 has very specific properties for the computation of the Spencer cohomology, we prove that there is thus no conceptual difference between the Cosserat EL field or induction equations and the Maxwell EM field or induction equations. As a byproduct, the well known field/matter couplings (piezzoelectricity, photoelasticity, streaming birefringence, …) can be described abstractly, with the only experimental need to measure the corresponding coupling constants. The main consequence of this paper is the need to revisit the mathematical foundations of gauge theory (GT) because we have proved that EM was depending on the conformal group and not on U(1), with a shift by one step to the left in the physical interpretation of the differential sequence involved.展开更多
In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity (GR) have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar...In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity (GR) have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar to the ones they already used for studying the Schwarzschild geometry. Of course, such a differential sequence is well known for the Minkowski metric and successively contains the Killing (order 1), the Riemann (order 2) and the Bianchi (order 1 again) operators in the linearized framework, as a particular case of the Vessiot structure equations. In all these cases, they discovered that the compatibility conditions (CC) for the corresponding Killing operator were involving a mixture of both second order and third order CC and their idea has been to exhibit only a minimal number of generating ones. Unhappily, these physicists are neither familiar with the formal theory of systems of partial differential equations and differential modules, nor with the formal theory of Lie pseudogroups. Hence, even if they discovered a link between these differential sequences and the number of parameters of the Lie group preserving the background metric, they have been unable to provide an intrinsic explanation of this fact, being limited by the technical use of Weyl spinors, complex Teukolsky scalars or Killing-Yano tensors. The purpose of this difficult computational paper is to provide differential and homological methods in order to revisit and solve these questions, not only in the previous cases but also in the specific case of any Lie group or Lie pseudogroup of transformations. These new tools, which are now available as computer algebra packages, question the mathematical foundations of GR and the origin of gravitational waves.展开更多
Considering the prolongation of a Lie algebroid,the authors introduce Finsler algebroids and present important geometric objects on these spaces.Important endomorphisms like conservative and Barthel,Cartan tensor and ...Considering the prolongation of a Lie algebroid,the authors introduce Finsler algebroids and present important geometric objects on these spaces.Important endomorphisms like conservative and Barthel,Cartan tensor and some distinguished connections like Berwald,Cartan,Chern-Rund and Hashiguchi are introduced and studied.展开更多
Protobialgebroids include several kinds of algebroid structures such as Lie algebroid,Lie bialgebroid, Lie quasi-bialgebroid, etc. In this paper, the Dirac theories are generalized from Lie bialgebroid to protobialgeb...Protobialgebroids include several kinds of algebroid structures such as Lie algebroid,Lie bialgebroid, Lie quasi-bialgebroid, etc. In this paper, the Dirac theories are generalized from Lie bialgebroid to protobialgebroid. We give the integrable conditions for a maximally isotropic subbundle being a Dirac structure for a protobialgebroid by the notion of a characteristic pair. From the integrable conditions, we found out that the Dirac structure has closed relations with the twisting of a protobialgebroid. At last, some special cases of the Dirac structures for protobialgebroids are discussed.展开更多
Abstract We study affine Jacobi structures （brackets） on an affine bundle π ： A → M, i.e. Jacobi brackets that close on affine functions. We prove that if the rank of A is non-zero, there is a one-toone correspon...Abstract We study affine Jacobi structures （brackets） on an affine bundle π ： A → M, i.e. Jacobi brackets that close on affine functions. We prove that if the rank of A is non-zero, there is a one-toone correspondence between affine Jacobi structures on A and Lie algebroid structures on the vector bundle A^＋ = ∪p∈M Aff（Ap, R） of affine functionals. In the case rank A = 0, it is shown that there is a one-to-one correspondence between affine Jacobi structures on A and local Lie algebras on A^＋. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited （strongly-affine or affine-homogeneous Jacobi structures） over a real vector space of finite dimension, we describe the leaves of its characteristic foliation as the orbits of an affine representation. These affine Jacobi structures can be viewed as an analog of the Kostant-Arnold-Liouville linear Poisson structure on the dual space of a real finite-dimensional Lie algebra.展开更多
文摘A theorem of Maurer-Cartan type for Lie algebroids is presented. Suppose that any vector subbundle of a Lie algebroid is called interior differential system (IDS) for that Lie algebroid. A theorem of Frobenius type is obtained. Extending the classical notion of exterior diffential system (EDS) to Lie algebroids, a theorem of Cartan type is obtained.
基金supported by National Natural Science Foundation of China (Grant No. 11901221)。
文摘For any regular Lie algebroid A, the kernel K and the image F of its anchor map ρA, together with A itself fit into a short exact sequence, called the Atiyah sequence, of Lie algebroids. We prove that the Atiyah and Todd classes of dg manifolds arising from a regular Lie algebroid respect the Atiyah sequence, i.e.,the Atiyah and Todd classes of A restrict to the Atiyah and Todd classes of the bundle K of Lie algebras on the one hand, and project onto the Atiyah and Todd classes of the integrable distribution F■T_M on the other hand.
基金supported by the National Natural Science Foundation of China(Grant No.19925105)the Research Project of"Nonlinear Science".
文摘For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.
文摘In this paper, we study the relation of the algebraic properties of the higher-order Courant bracket and Dorfman bracket on the direct sum bundle TM⊕∧<sup>p</sup>T*M for an m-dimensional smooth manifold M, and a Lie 2-algebra which is a “categorified” version of a Lie algebra. We prove that the higher-order Courant algebroids give rise to a semistrict Lie 2-algebra, and we prove that the higher-order Dorfman algebroids give rise to a hemistrict Lie 2-algebra. Consequently, there is an isomorphism from the higher-order Courant algebroids to the higher-order Dorfman algebroids as Lie 2-algebras homomorphism.
文摘In 1909 the brothers E. and F. Cosserat discovered a new nonlinear group theoretical approach to elasticity (EL), with the only experimental need to measure the EL constants. In a modern framework, they used the nonlinear Spencer sequence instead of the nonlinear Janet sequence for the Lie groupoid defining the group of rigid motions of space. Following H. Weyl, our purpose is to compute for the first time the linear and nonlinear Spencer sequences for the Lie groupoid defining the conformal group of space-time in order to provide the mathematical foundations of both electromagnetism (EM) and gravitation (GR), with the only experimental need to measure the EM and GR constants. With a manifold of dimension n ≥ 3, the difficulty is to deal with the n nonlinear transformations that have been called “elations” by E. Cartan in 1922. Using the fact that dimension n = 4 has very specific properties for the computation of the Spencer cohomology, we also prove that there is no conceptual difference between the (nonlinear) Cosserat EL field or induction equations and the (linear) Maxwell EM field or induction equations. As for gravitation, the dimension n = 4 also allows to have a conformal factor defined everywhere but at the central attractive mass because the inversion law of the isotropy subgroupoid made by second order jets transforms attraction into repulsion. The mathematical foundations of both electromagnetism and gravitation are thus only depending on the structure of the conformal pseudogroup of space-time.
基金National Key Basic Research Project of China under Grant No.2004CB318000National Natural Science Foundation of China under Grant Nos.10375038 and 90403018
文摘After introducing some of the basic definitions and results from the theory of groupoid and Lie algebroid,we investigate the discrete Lagrangian mechanics from the viewpoint of groupoid theory and give the connection betweengroupoids variation and the methods of the first and second discrete variational principles.
文摘In 1909 the brothers E. and F. Cosserat discovered a new nonlinear group theoretical approach to elasticity (EL), with the only experimental need to measure the EL constants. In a modern language, their idea has been to use the nonlinear Spencer sequence instead of the nonlinear Janet sequence for the Lie groupoid defining the group of rigid motions of space. Following H. Weyl, our purpose is to compute for the first time the nonlinear Spencer sequence for the Lie groupoid defining the conformal group of space-time in order to provide the mathematical foundations of electromagnetism (EM), with the only experimental need to measure the EM constant in vacuum. With a manifold of dimension n, the difficulty is to deal with the n nonlinear transformations that have been called “elations” by E. Cartan in 1922. Using the fact that dimension n=4 has very specific properties for the computation of the Spencer cohomology, we prove that there is thus no conceptual difference between the Cosserat EL field or induction equations and the Maxwell EM field or induction equations. As a byproduct, the well known field/matter couplings (piezzoelectricity, photoelasticity, streaming birefringence, …) can be described abstractly, with the only experimental need to measure the corresponding coupling constants. The main consequence of this paper is the need to revisit the mathematical foundations of gauge theory (GT) because we have proved that EM was depending on the conformal group and not on U(1), with a shift by one step to the left in the physical interpretation of the differential sequence involved.
文摘In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity (GR) have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar to the ones they already used for studying the Schwarzschild geometry. Of course, such a differential sequence is well known for the Minkowski metric and successively contains the Killing (order 1), the Riemann (order 2) and the Bianchi (order 1 again) operators in the linearized framework, as a particular case of the Vessiot structure equations. In all these cases, they discovered that the compatibility conditions (CC) for the corresponding Killing operator were involving a mixture of both second order and third order CC and their idea has been to exhibit only a minimal number of generating ones. Unhappily, these physicists are neither familiar with the formal theory of systems of partial differential equations and differential modules, nor with the formal theory of Lie pseudogroups. Hence, even if they discovered a link between these differential sequences and the number of parameters of the Lie group preserving the background metric, they have been unable to provide an intrinsic explanation of this fact, being limited by the technical use of Weyl spinors, complex Teukolsky scalars or Killing-Yano tensors. The purpose of this difficult computational paper is to provide differential and homological methods in order to revisit and solve these questions, not only in the previous cases but also in the specific case of any Lie group or Lie pseudogroup of transformations. These new tools, which are now available as computer algebra packages, question the mathematical foundations of GR and the origin of gravitational waves.
文摘Considering the prolongation of a Lie algebroid,the authors introduce Finsler algebroids and present important geometric objects on these spaces.Important endomorphisms like conservative and Barthel,Cartan tensor and some distinguished connections like Berwald,Cartan,Chern-Rund and Hashiguchi are introduced and studied.
文摘Protobialgebroids include several kinds of algebroid structures such as Lie algebroid,Lie bialgebroid, Lie quasi-bialgebroid, etc. In this paper, the Dirac theories are generalized from Lie bialgebroid to protobialgebroid. We give the integrable conditions for a maximally isotropic subbundle being a Dirac structure for a protobialgebroid by the notion of a characteristic pair. From the integrable conditions, we found out that the Dirac structure has closed relations with the twisting of a protobialgebroid. At last, some special cases of the Dirac structures for protobialgebroids are discussed.
基金the Polish Ministry of Scientific Research and Information Technology under the grant No.2 P03A 036 25DGICYT grants BFM2000-0808 and BFM2003-01319D.Iglesias wishes to thank the Spanish Ministry of Education and Cuture for an FPU grant
文摘Abstract We study affine Jacobi structures （brackets） on an affine bundle π ： A → M, i.e. Jacobi brackets that close on affine functions. We prove that if the rank of A is non-zero, there is a one-toone correspondence between affine Jacobi structures on A and Lie algebroid structures on the vector bundle A^＋ = ∪p∈M Aff（Ap, R） of affine functionals. In the case rank A = 0, it is shown that there is a one-to-one correspondence between affine Jacobi structures on A and local Lie algebras on A^＋. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited （strongly-affine or affine-homogeneous Jacobi structures） over a real vector space of finite dimension, we describe the leaves of its characteristic foliation as the orbits of an affine representation. These affine Jacobi structures can be viewed as an analog of the Kostant-Arnold-Liouville linear Poisson structure on the dual space of a real finite-dimensional Lie algebra.
