Lifting distributions to the cotangent bundle

Włodzimierz M. Mikulski

Displaying similar documents to “Lifting distributions to the cotangent bundle”

The natural operators lifting horizontal 1-forms to some vector bundle functors on fibered manifolds

J. Kurek, W. M. Mikulski (2003)

Colloquium Mathematicae

Similarity:

Let F:ℱ ℳ → ℬ be a vector bundle functor. First we classify all natural operators $T_{p r o j | ℱ ℳ_{m, n}} ⇝ T^{(0, 0)} (F_{| ℱ ℳ_{m, n}}) *$ transforming projectable vector fields on Y to functions on the dual bundle (FY)* for any $ℱ ℳ_{m, n}$ -object Y. Next, under some assumption on F we study natural operators $T *_{h o r | ℱ ℳ_{m, n}} ⇝ T * (F_{| ℱ ℳ_{m, n}}) *$ lifting horizontal 1-forms on Y to 1-forms on (FY)* for any Y as above. As an application we classify natural operators $T *_{h o r | ℱ ℳ_{m, n}} ⇝ T * (F_{| ℱ ℳ_{m, n}}) *$ for some vector bundle functors F on fibered manifolds.

The natural operators lifting 1-forms to some vector bundle functors

J. Kurek, W. M. Mikulski (2002)

Colloquium Mathematicae

Similarity:

Let F:ℳ f→ ℬ be a vector bundle functor. First we classify all natural operators $T_{| ℳ f ₙ} ⇝ T^{(0, 0)} (F_{| ℳ f ₙ}) *$ transforming vector fields to functions on the dual bundle functor $(F_{| ℳ f ₙ}) *$ . Next, we study the natural operators $T *_{| ℳ f ₙ} ⇝ T * (F_{| ℳ f ₙ}) *$ lifting 1-forms to $(F_{| ℳ f ₙ}) *$ . As an application we classify the natural operators $T *_{| ℳ f ₙ} ⇝ T * (F_{| ℳ f ₙ}) *$ for some well known vector bundle functors F.

Liftings of 1-forms to $(J^{r} T ) $

Włodzimierz M. Mikulski (2002)

Colloquium Mathematicae

Similarity:

Let $J^{r} T * M$ be the r-jet prolongation of the cotangent bundle of an n-dimensional manifold M and let $(J^{r} T * M) *$ be the dual vector bundle. For natural numbers r and n, a complete classification of all linear natural operators lifting 1-forms from M to 1-forms on $(J^{r} T * M) *$ is given.

Non-existence of some natural operators on connections

W. M. Mikulski (2003)

Annales Polonici Mathematici

Similarity:

Let n,r,k be natural numbers such that n ≥ k+1. Non-existence of natural operators $C^{r} ₀ ⟿ Q (r e g T_{k}^{r} \to K_{k}^{r})$ and $C^{r} ₀ ⟿ Q (r e g T_{k}^{r *} \to K_{k}^{r *})$ over n-manifolds is proved. Some generalizations are obtained.

Constructions on second order connections

J. Kurek, W. M. Mikulski (2007)

Annales Polonici Mathematici

Similarity:

We classify all $ℱ ℳ_{m, n}$ -natural operators $: J ² ⟿ J ² V^{A}$ transforming second order connections Γ: Y → J²Y on a fibred manifold Y → M into second order connections $(Γ) : V^{A} Y \to J ² V^{A} Y$ on the vertical Weil bundle $V^{A} Y \to M$ corresponding to a Weil algebra A.

On natural vector bundle morphisms $T_{A} \circ ⨂_{s}^{q} \to ⨂_{s}^{q} \circ T_{A}$ over $i d_{T_{A}}$

A. Ntyam, A. Mba (2009)

Annales Polonici Mathematici

Similarity:

Some properties and applications of natural vector bundle morphisms $T_{A} \circ ⨂_{s}^{q} \to ⨂_{s}^{q} \circ T_{A}$ over $i d_{T_{A}}$ are presented.

Natural operators lifting linear vector fields from a vector bundle to its r-jet prolongations

Włodzimierz M. Mikulski (2003)

Annales Polonici Mathematici

Similarity:

All natural operators A transforming a linear vector field X on a vector bundle E into a vector field A(X) on the r-jet prolongation $J^{r} E$ of E are given. Similar results are deduced for the r-jet prolongations $J_{v}^{r} E$ and $J^{[r]} E$ in place of $J^{r} E$ .

On lifting of connections to Weil bundles

Jan Kurek, Włodzimierz M. Mikulski (2012)

Annales Polonici Mathematici

Similarity:

We prove that the problem of finding all $ℳ f_{m}$ -natural operators $B : Q ⟿ Q T^{A}$ lifting classical linear connections ∇ on m-manifolds M to classical linear connections $B_{M} (\nabla)$ on the Weil bundle $T^{A} M$ corresponding to a p-dimensional (over ℝ) Weil algebra A is equivalent to the one of finding all $ℳ f_{m}$ -natural operators $C : Q ⟿ (T ¹_{p - 1}, T * \otimes T * \otimes T)$ transforming classical linear connections ∇ on m-manifolds M into base-preserving fibred maps $C_{M} (\nabla) : T ¹_{p - 1} M = ⨁_{M}^{p - 1} T M \to T * M \otimes T * M \otimes T M$ .

Lifting to the r-frame bundle by means of connections

J. Kurek, W. M. Mikulski (2010)

Annales Polonici Mathematici

Similarity:

Let m and r be natural numbers and let $P^{r} : ℳ f_{m} \to ℱ ℳ$ be the rth order frame bundle functor. Let $F : ℳ f_{m} \to ℱ ℳ$ and $G : ℳ f_{k} \to ℱ ℳ$ be natural bundles, where $k = d i m (P^{r} ℝ^{m})$ . We describe all $ℳ f_{m}$ -natural operators A transforming sections σ of $F M \to M$ and classical linear connections ∇ on M into sections A(σ,∇) of $G (P^{r} M) \to P^{r} M$ . We apply this general classification result to many important natural bundles F and G and obtain many particular classifications.

Geometric stability of the cotangent bundle and the universal cover of a projective manifold

Frédéric Campana, Thomas Peternell (2011)

Bulletin de la Société Mathématique de France

Similarity:

We first prove a strengthening of Miyaoka’s generic semi-positivity theorem: the quotients of the tensor powers of the cotangent bundle of a non-uniruled complex projective manifold $X$ have a pseudo-effective (instead of generically nef) determinant. A first consequence is that $X$ is of general type if its cotangent bundle contains a subsheaf with ‘big’ determinant. Among other applications, we deduce that if the universal cover of $X$ is not covered by compact positive-dimensional analytic...

On the $γ$ -equivalence of semiholonomic jets

Miroslav Doupovec, Ivan Kolář (2019)

Archivum Mathematicum

Similarity:

It is well known that the concept of holonomic $r$ -jet can be geometrically characterized in terms of the contact of individual curves. However, this is not true for the semiholonomic $r$ -jets, [5], [8]. In the present paper, we discuss systematically the semiholonomic case.

Linear liftings of affinors to Weil bundles

Jacek Dębecki (2003)

Colloquium Mathematicae

Similarity:

We give a classification of all linear natural operators transforming affinors on each n-dimensional manifold M into affinors on $T^{A} M$ , where $T^{A}$ is the product preserving bundle functor given by a Weil algebra A, under the condition that n ≥ 2.

The natural operators lifting projectable vector fields to some fiber product preserving bundles

W. M. Mikulski (2003)

Annales Polonici Mathematici

Similarity:

Admissible fiber product preserving bundle functors F on $ℱ ℳ_{m}$ are defined. For every admissible fiber product preserving bundle functor F on $ℱ ℳ_{m}$ all natural operators $B : T_{p r o j | ℱ ℳ_{m, n}} \to T F$ lifting projectable vector fields to F are classified.

On prolongations of projectable connections

Jan Kurek, Włodzimierz M. Mikulski (2011)

Annales Polonici Mathematici

Similarity:

We extend the concept of r-order connections on fibred manifolds to the one of (r,s,q)-order projectable connections on fibred-fibred manifolds, where r,s,q are arbitrary non-negative integers with s ≥ r ≤ q. Similarly to the fibred manifold case, given a bundle functor F of order r on (m₁,m₂,n₁,n₂)-dimensional fibred-fibred manifolds Y → M, we construct a general connection ℱ(Γ,Λ):FY → J¹FY on FY → M from a projectable general (i.e. (1,1,1)-order) connection $Γ : Y \to J^{1, 1, 1} Y$ on Y → M by means of an...

Gauge natural constructions on higher order principal prolongations

Miroslav Doupovec, Włodzimierz M. Mikulski (2007)

Annales Polonici Mathematici

Similarity:

Let $W_{m}^{r} P$ be a principal prolongation of a principal bundle P → M. We classify all gauge natural operators transforming principal connections on P → M and rth order linear connections on M into general connections on $W_{m}^{r} P \to M$ . We also describe all geometric constructions of classical linear connections on $W_{m}^{r} P$ from principal connections on P → M and rth order linear connections on M.

The natural operators $T^{(0, 0)} ⇝ T^{(1, 1)} T^{(r)}$

Włodzimierz M. Mikulski (2003)

Colloquium Mathematicae

Similarity:

We study the problem of how a map f:M → ℝ on an n-manifold M induces canonically an affinor $A (f) : T T^{(r)} M \to T T^{(r)} M$ on the vector r-tangent bundle $T^{(r)} M = (J^{r} (M, ℝ) ₀) *$ over M. This problem is reflected in the concept of natural operators $A : T_{| ℳ f ₙ}^{(0, 0)} ⇝ T^{(1, 1)} T^{(r)}$ . For integers r ≥ 1 and n ≥ 2 we prove that the space of all such operators is a free (r+1)²-dimensional module over $^{\infty} (T^{(r)} ℝ)$ and we construct explicitly a basis of this module.

The natural operators lifting vector fields to generalized higher order tangent bundles

Włodzimierz M. Mikulski (2000)

Archivum Mathematicum

Similarity:

For natural numbers $r$ and $n$ and a real number $a$ we construct a natural vector bundle $T^{(r), a}$ over $n$ -manifolds such that $T^{(r), 0}$ is the (classical) vector tangent bundle $T^{(r)}$ of order $r$ . For integers $r \geq 1$ and $n \geq 3$ and a real number $a < 0$ we classify all natural operators $T_{| M_{n}} ⇝ T T^{(r), a}$ lifting vector fields from $n$ -manifolds to $T^{(r), a}$ .

The Group of Invertible Elements of the Algebra of Quaternions

Irina A. Kuzmina, Marie Chodorová (2016)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

We have, that all two-dimensional subspaces of the algebra of quaternions, containing a unit, are 2-dimensional subalgebras isomorphic to the algebra $ℂ$ of complex numbers. It was proved in the papers of N. E. Belova. In the present article we consider a 2-dimensional subalgebra $(i)$ of complex numbers with basis $1, i$ and we construct the principal locally trivial bundle which is isomorphic to the Hopf fibration.

The natural linear operators $T * ⇝ T T^{(r)}$

J. Kurek, W. M. Mikulski (2003)

Colloquium Mathematicae

Similarity:

For natural numbers n ≥ 3 and r a complete description of all natural bilinear operators $T * \times_{ℳ f ₙ} T^{(0, 0)} ⇝ T^{(0, 0)} T^{(r)}$ is presented. Next for natural numbers r and n ≥ 3 a full classification of all natural linear operators $T *_{| ℳ f ₙ} ⇝ T T^{(r)}$ is obtained.

Lifting vector fields to the rth order frame bundle

J. Kurek, W. M. Mikulski (2008)

Colloquium Mathematicae

Similarity:

We describe all natural operators lifting nowhere vanishing vector fields X on m-dimensional manifolds M to vector fields (X) on the rth order frame bundle $L^{r} M = i n v J ₀^{r} (ℝ^{m}, M)$ over M. Next, we describe all natural operators lifting vector fields X on m-manifolds M to vector fields on $L^{r} M$ . In both cases we deduce that the spaces of all operators in question form free $(m (C_{r}^{m + r} - 1) + 1)$ -dimensional modules over algebras of all smooth maps $J ₀^{r - 1} T ̃ ℝ^{m} \to ℝ$ and $J ₀^{r - 1} T ℝ^{m} \to ℝ$ respectively, where $C ⁿ_{k} = n! / (n - k)! k!$ . We explicitly construct bases of these modules. In particular,...

A criterion for pure unrectifiability of sets (via universal vector bundle)

Silvano Delladio (2011)

Annales Polonici Mathematici

Similarity:

Let m,n be positive integers such that m < n and let G(n,m) be the Grassmann manifold of all m-dimensional subspaces of ℝⁿ. For V ∈ G(n,m) let $π_{V}$ denote the orthogonal projection from ℝⁿ onto V. The following characterization of purely unrectifiable sets holds. Let A be an $^{m}$ -measurable subset of ℝⁿ with $^{m} (A) < \infty$ . Then A is purely m-unrectifiable if and only if there exists a null subset Z of the universal bundle $(V, v) | V \in G (n, m), v \in V$ such that, for all P ∈ A, one has $^{m (n - m)} (V \in G (n, m) | (V, π_{V} (P)) \in Z) > 0$ . One can replace “for all P ∈ A” by “for...

The generic dimension of the first derived system

Robert P. Buemi (1978)

Annales de l'institut Fourier

Similarity:

Any $r$ -dimensional subbundle of the cotangent bundle on an $n$ -dimensional manifold $M$ partitions $M$ into subsets $M_{0}, ..., M_{m}$ ( $m$ being the minimum of $r$ and $C (n - r, 2)$ , the combinations of $n - r$ things taken 2 at a time). $M_{i}$ is the set on which the first derived systems of the subbundle has codimension $i$ . In this paper we prove the following: Theorem. Let $s \geq 2$ and let $Q$ be a generic $C^{s}$ $r$ -dimensional subbundle of the cotangent bundle of an $n$ -dimensional manifold $M$ . The codimension...

On prolongation of connections

Włodzimierz M. Mikulski (2010)

Annales Polonici Mathematici

Similarity:

Let Y → M be a fibred manifold with m-dimensional base and n-dimensional fibres. Let r, m,n be positive integers. We present a construction $B^{r}$ of rth order holonomic connections $B^{r} (Γ, \nabla) : Y \to J^{r} Y$ on Y → M from general connections Γ:Y → J¹Y on Y → M by means of torsion free classical linear connections ∇ on M. Then we prove that any construction B of rth order holonomic connections $B (Γ, \nabla) : Y \to J^{r} Y$ on Y → M from general connections Γ:Y → J¹Y on Y → M by means of torsion free classical linear connections ∇ on M is equal...