Gauge natural constructions on higher order principal prolongations

Miroslav Doupovec; Włodzimierz M. Mikulski

Displaying similar documents to “Gauge natural constructions on higher order principal prolongations”

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.

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

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.

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.

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

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.

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.

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

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.

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

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.

On the stratification of the orbit space for the action of automorphisms on connections

Witold Kondracki, Jan Rogulski

Similarity:

CONTENTSIntroduction..................................................................................................................................................5§1. Basic notions and notation.....................................................................................................................7 1.1. Automorphisms of principal bundles....................................................................................................7 1.2. Connections and parallel...

Lifting right-invariant vector fields and prolongation of connections

W. M. Mikulski (2009)

Annales Polonici Mathematici

Similarity:

We describe all $_{m} (G)$ -gauge-natural operators lifting right-invariant vector fields X on principal G-bundles P → M with m-dimensional bases into vector fields (X) on the rth order principal prolongation $W^{r} P = P^{r} M \times_{M} J^{r} P$ of P → M. In other words, we classify all $_{m} (G)$ -natural transformations $J^{r} L P \times_{M} W^{r} P \to T W^{r} P = L W^{r} P \times_{M} W^{r} P$ covering the identity of $W^{r} P$ , where $J^{r} L P$ is the r-jet prolongation of the Lie algebroid LP=TP/G of P, i.e. we find all $_{m} (G)$ -natural transformations which are similar to the Kumpera-Spencer isomorphism $J^{r} L P = L W^{r} P$ . We formulate axioms which...

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

Two-spinor tetrad and Lie derivatives of Einstein-Cartan-Dirac fields

Daniel Canarutto (2018)

Archivum Mathematicum

Similarity:

An integrated approach to Lie derivatives of spinors, spinor connections and the gravitational field is presented, in the context of a previously proposed, partly original formulation of a theory of Einstein-Cartan-Maxwell-Dirac fields based on “minimal geometric data”: the needed underlying structure is determined, via geometric constructions, from the unique assumption of a complex vector bundle $S M$ with 2-dimensional fibers, called a $2$ -spinor bundle. Any further considered object is...

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.

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

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.

On canonical constructions on connections

Jan Kurek, Włodzimierz Mikulski (2016)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We study how a projectable general connection $Γ$ in a 2-fibred manifold $Y^{2} \to Y^{1} \to Y^{0}$ and a general vertical connection $Θ$ in $Y^{2} \to Y^{1} \to Y^{0}$ induce a general connection $A (Γ, Θ)$ in $Y^{2} \to Y^{1}$ .

Bounds on the denominators in the canonical bundle formula

Enrica Floris (2013)

Annales de l’institut Fourier

Similarity:

In this work we study the moduli part in the canonical bundle formula of an lc-trivial fibration whose general fibre is a rational curve. If $r$ is the Cartier index of the fibre, it was expected that $12 r$ would provide a bound on the denominators of the moduli part. Here we prove that such a bound cannot even be polynomial in $r$ , we provide a bound $N (r)$ and an example where the smallest integer that clears the denominators of the moduli part is $N (r) / r$ . Moreover we prove that even locally the denominators...

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

Horizontal lift of symmetric connections to the bundle of volume forms $𝒱$

Anna Gasior (2010)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

In this paper we present the horizontal lift of a symmetric affine connection with respect to another affine connection to the bundle of volume forms $𝒱$ and give formulas for its curvature tensor, Ricci tensor and the scalar curvature. Next, we give some properties of the horizontally lifted vector fields and certain infinitesimal transformations. At the end, we consider some substructures of a $F (3, 1)$ -structure on $𝒱$ .

On lifts of projectable-projectable classical linear connections to the cotangent bundle

Anna Bednarska (2013)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We describe all $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $D : Q_{p r o j - p r o j}^{τ} ⇝ Q T^{*}$ transforming projectable-projectable classical torsion-free linear connections $\nabla$ on fibred-fibred manifolds $Y$ into classical linear connections $D (\nabla)$ on cotangent bundles $T^{*} Y$ of $Y$ . We show that this problem can be reduced to finding $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $D : Q_{p r o j - p r o j}^{τ} ⇝ (T^{*}, \otimes^{p} T^{*} \otimes \otimes^{q} T)$ for $p = 2$ , $q = 1$ and $p = 3$ , $q = 0$ .

Elementary relative tractor calculus for Legendrean contact structures

Michał Andrzej Wasilewicz (2022)

Archivum Mathematicum

Similarity:

For a manifold $M$ endowed with a Legendrean (or Lagrangean) contact structure $E \oplus F \subset T M$ , we give an elementary construction of an invariant partial connection on the quotient bundle $T M / F$ . This permits us to develop a naïve version of relative tractor calculus and to construct a second order invariant differential operator, which turns out to be the first relative BGG operator induced by the partial connection.

The vertical prolongation of the projectable connections

Anna Bednarska (2012)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We prove that any first order $ℱ_{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operator transforming projectable general connections on an $(m_{1}, m_{2}, n_{1}, n_{2})$ -dimensional fibred-fibred manifold $p = (p, p) : (p_{Y} : Y \to Y) \to (p_{M} : M \to M)$ into general connections on the vertical prolongation $V Y \to M$ of $p : Y \to M$ is the restriction of the (rather well-known) vertical prolongation operator $𝒱$ lifting general connections $\bar{Γ}$ on a fibred manifold $Y \to M$ into $𝒱 \bar{Γ}$ (the vertical prolongation of $\bar{Γ}$ ) on $V Y \to M$ .

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

Horizontal sections of connections on curves and transcendence

C. Gasbarri (2013)

Acta Arithmetica

Similarity:

Let K be a number field, X be a smooth projective curve over it and D be a reduced divisor on X. Let (E,∇) be a vector bundle with connection having meromorphic singularities on D. Let $p_{1}, . . ., p_{s} \in X (K)$ and $X^{o} : = X ̅ ∖ D, p_{1}, . . ., p_{s}$ (the $p_{j}$ ’s may be in the support of D). Using tools from Nevanlinna theory and formal geometry, we give the definition of E-section of arithmetic type of the vector bundle E with respect to the points $p_{j}$ ; this is the natural generalization of the notion of E-function defined in Siegel-Shidlovskiĭ...

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.