Generalized Bianchi identities for horizontal distributions

1983 ◽  
Vol 94 (1) ◽  
pp. 125-132 ◽  
Author(s):  
M. Crampin
Keyword(s):  
Lie Algebra ◽  
Tangent Bundle ◽  
Linear Connection ◽  
Differentiable Manifold ◽  
Horizontal Distribution ◽  
Bianchi Identities ◽  
Graded Lie Algebra ◽  
Image Position ◽  
Tangent Bundles

A linear connection on a differentiable manifold M defines a horizontal distribution on the tangent bundle T(M). Horizontal distributions on tangent bundles are of some interest even when they are not generated by connections. Much of linear connection theory generalizes to arbitrary horizontal distributions. In particular, there are generalized versions of Bianchi's two identities for the torsion T and curvature Rwhere C denotes the cyclic sum with respect to X, Y and Z. These identities are derived below by associating with a horizontal distribution a graded derivation of degree 1 in a graded Lie algebra of vertical forms on M. This approach reveals the fundamentally algebraic origin of the Bianchi identities.

scholarly journals A Note on Tangent Bundles

1967 ◽  
Vol 29 ◽  
pp. 259-267 ◽  
Author(s):  
Kenichi Shiraiwa
Keyword(s):  
Homotopy Type ◽  
Tangent Bundle ◽  
Topological Structure ◽  
Differentiable Manifold ◽  
Differentiable Structure ◽  
Homotopy Types ◽  
Tangent Bundles

The tangent bundle of a differentiable manifold is an important invariant of a differentiable structure. It is determined neither by the topological structure nor by the homotopy type of a manifold. But in some cases tangent bundles depend only on the homotopy types of manifolds.

Invariant Sub-Bundles of the Tangent Bundle of a Homogeneous Space

1966 ◽  
Vol 18 ◽  
pp. 629-634
Author(s):  
Philippe Tondeur
Keyword(s):  
Homogeneous Space ◽  
Lie Algebra ◽  
Lie Group ◽  
Tangent Bundle ◽  
Tangent Space ◽  
Closed Subgroup ◽  
Canonical Projection ◽  
Image Position ◽  
Vector Subspaces

Let M = G/H be the homogeneous space of a Lie group G and a closed subgroup H. Denote by p : G → G/H the canonical projection, e ∈ G the identity and x0 = p(e). Let W be a subspace of the tangent space Tx0(M).Definition. A lift W* of W is a subspace of the Lie algebra of G satisfying ∩ W* = ﹛0﹜ and p*W* = W, where p* : → Tx0(M) denotes the tangent map of p at e.Consider a G-invariant sub-bundle of the tangent bundle of M (4), i.e., a field of vector subspaces x ⊂ Tx(M) for every x ∈ M satisfying1Here μg : M → M denotes the diffeomorphism defined by g ∈ G and (μg)*x : Tx → Tμg(x) the induced tangent map at x.

XXII.—Tensor Fields and Connections on Cross-Sections in the tangent bundle of a differentiable manifold

1967 ◽  
Vol 67 (4) ◽  
pp. 277-288
Author(s):  
Kentaro Yano
Keyword(s):  
Vector Field ◽  
Cross Section ◽  
Tangent Bundle ◽  
Complex Structure ◽  
Linear Connection ◽  
Differentiable Manifold ◽  
Tensor Fields ◽  
Linear Connections ◽  
Almost Complex ◽  
The Cross

SynopsisTensor fields and linear connections in an n-dimensional differentiable manifold M can be extended, in a natural way, to the tangent bundle T(M) of M to give tensor fields of the same type and linear connections in T(M) respectively. We call such extensions complete lifts to T(M) of tensor fields and linear connections in M.On the other hand, when a vector field V is given in M, V determines a cross-section which is an n-dimensional submanifold in the 2n-dimensional tangent bundle T(M).We study first the behaviour of complete lifts of tensor fields on such a cross-section. The complete lift of an almost complex structure being again an almost complex structure, we study especially properties of the cross-section as a submanifold in an almost complex manifold.We also study properties of cross-sections with respect to the linear connection which is the complete lift of a linear connection in M and with respect to the linear connection induced by the latter on the cross-section. To quote a typical result: A necessary and sufficient condition for a cross-section to be totally geodesic is that the vector field V in M defining the cross-section in T(M) be an affine Killing vector field in M.

scholarly journals Parabolic conformally symplectic structures I; definition and distinguished connections

2018 ◽  
Vol 30 (3) ◽  
pp. 733-751 ◽  
Author(s):  
Andreas Čap ◽  
Tomáš Salač
Keyword(s):  
Lie Algebra ◽  
Geometric Structure ◽  
Tangent Bundle ◽  
Smooth Manifold ◽  
Symplectic Structure ◽  
Linear Connection ◽  
Underlying Structure ◽  
Normalization Condition ◽  
Lie Algebra Cohomology ◽  
First Order

AbstractWe introduce a class of first order G-structures, each of which has an underlying almost conformally symplectic structure. There is one such structure for each real simple Lie algebra which is not of type {C_{n}} and admits a contact grading. We show that a structure of each of these types on a smooth manifold M determines a canonical compatible linear connection on the tangent bundle {\mathrm{TM}}. This connection is characterized by a normalization condition on its torsion. The algebraic background for this result is proved using Kostant’s theorem on Lie algebra cohomology. For each type, we give an explicit description of both the geometric structure and the normalization condition. In particular, the torsion of the canonical connection naturally splits into two components, one of which is exactly the obstruction to the underlying structure being conformally symplectic. This article is the first in a series aiming at a construction of differential complexes naturally associated to these geometric structures.

Trace Forms on Lie Algebras

1962 ◽  
Vol 14 ◽  
pp. 553-564 ◽  
Author(s):  
Richard Block
Keyword(s):  
Lie Algebra ◽  
Lie Algebras ◽  
Bilinear Form ◽  
Symmetric Bilinear Form ◽  
Trace Form ◽  
Finite Degree ◽  
Trace Forms ◽  
Matrix Products ◽  
The Matrix ◽  
Image Position

If L is a Lie algebra with a representation Δ a→aΔ (a in L) (of finite degree), then by the trace form f = fΔ of Δ is meant the symmetric bilinear form on L obtained by taking the trace of the matrix products:Then f is invariant, that is, f is symmetric and f(ab, c) — f(a, bc) for all a, b, c in L. By the Δ-radical L⊥ = L⊥ of L is meant the set of a in L such that f(a, b) = 0 for all b in L. Then L⊥ is an ideal and f induces a bilinear form , called a quotient trace form, on L/L⊥. Thus an algebra has a quotient trace form if and only if there exists a Lie algebra L with a representation Δ such that

scholarly journals Natural Paracontact Magnetic Trajectories on Unit Tangent Bundles

Axioms ◽  
2020 ◽  
Vol 9 (3) ◽  
pp. 72
Author(s):  
Mohamed Tahar Kadaoui Abbassi ◽  
Noura Amri
Keyword(s):  
Gaussian Curvature ◽  
Tangent Bundle ◽  
Two Dimensional ◽  
Constant Gaussian Curvature ◽  
Metric Structures ◽  
Unit Tangent Bundle ◽  
Tangent Bundles ◽  
Full Classification ◽  
Kaluza Klein

In this paper, we study natural paracontact magnetic trajectories in the unit tangent bundle, i.e., those that are associated to g-natural paracontact metric structures. We characterize slant natural paracontact magnetic trajectories as those satisfying a certain conservation law. Restricting to two-dimensional base manifolds of constant Gaussian curvature and to Kaluza–Klein type metrics on their unit tangent bundles, we give a full classification of natural paracontact slant magnetic trajectories (and geodesics).

scholarly journals UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS

2018 ◽  
Vol 83 (3) ◽  
pp. 1204-1216 ◽  
Author(s):  
OLGA KHARLAMPOVICH ◽  
ALEXEI MYASNIKOV
Keyword(s):  
Lie Algebra ◽  
Lie Algebras ◽  
Model Theory ◽  
Characteristic Zero ◽  
Elementary Theory ◽  
Independence Property ◽  
First Order ◽  
Free Lie Algebras ◽  
Image Position ◽  
Do So

AbstractLet R be a commutative integral unital domain and L a free noncommutative Lie algebra over R. In this article we show that the ring R and its action on L are 0-interpretable in L, viewed as a ring with the standard ring language $+ , \cdot ,0$. Furthermore, if R has characteristic zero then we prove that the elementary theory $Th\left( L \right)$ of L in the standard ring language is undecidable. To do so we show that the arithmetic ${\Bbb N} = \langle {\Bbb N}, + , \cdot ,0\rangle $ is 0-interpretable in L. This implies that the theory of $Th\left( L \right)$ has the independence property. These results answer some old questions on model theory of free Lie algebras.

scholarly journals The extension of G-foliations to Tangent bundles of higher order

1975 ◽  
Vol 56 ◽  
pp. 29-44 ◽  
Author(s):  
Luis A. Cordero
Keyword(s):  
Infinite Sequence ◽  
Differentiable Manifold ◽  
Higher Order ◽  
Characteristic Classes ◽  
Tangent Bundles

In this paper we describe a canonical procedure for constructing the extension of a G-foliation on a differentiable manifold X to its tangent bundles of higher order and by applying the Bott-Haefliger’s construction of characteristic classes of G-foliations ([2], [3]) we obtain an infinite sequence of characteristic classes for those foliations (Theorem 4.8).

Sign in / Sign up

Export Citation Format

Share Document