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...

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...

Fiber product preserving bundle functors as modified vertical Weil functors

Włodzimierz M. Mikulski (2015)

Czechoslovak Mathematical Journal

Similarity:

We introduce the concept of modified vertical Weil functors on the category $ℱ ℳ_{m}$ of fibred manifolds with $m$ -dimensional bases and their fibred maps with embeddings as base maps. Then we describe all fiber product preserving bundle functors on $ℱ ℳ_{m}$ in terms of modified vertical Weil functors. The construction of modified vertical Weil functors is an (almost direct) generalization of the usual vertical Weil functor. Namely, in the construction of the usual vertical Weil functors, we replace...

Lagrangians and Euler morphisms on fibered-fibered frame bundles from projectable-projectable classical linear connections

Anna Bednarska (2011)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We classify all $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $A$ transforming projectable-projectable torsion-free classical linear connections $\nabla$ on fibered-fibered manifolds $Y$ of dimension $(m_{1}, m_{2}, n_{1}, n_{2})$ into $r$ th order Lagrangians $A (r)$ on the fibered-fibered linear frame bundle $L^{f i b - f i b} (Y)$ on $Y$ . Moreover, we classify all $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $B$ transforming projectable-projectable torsion-free classical linear connections r on fiberedfibered manifolds $Y$ of dimension $(m_{1}, m_{2}, n_{1}, n_{2})$ into Euler morphism $B (\nabla)$ on $L^{f i b - f i b} (Y)$ . These classifications can be expanded on...