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

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

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.

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

On a new normalization for tractor covariant derivatives

Matthias Hammerl, Petr Somberg, Vladimír Souček, Josef Šilhan (2012)

Journal of the European Mathematical Society

Similarity:

A regular normal parabolic geometry of type $G / P$ on a manifold $M$ gives rise to sequences $D_{i}$ of invariant differential operators, known as the curved version of the BGG resolution. These sequences are constructed from the normal covariant derivative $\nabla^{ω}$ on the corresponding tractor bundle $V$ , where $ω$ is the normal Cartan connection. The first operator $D_{0}$ in the sequence is overdetermined and it is well known that $\nabla^{ω}$ yields the prolongation of this operator in the homogeneous case $M = G / P$ . Our first...

Semistability of Frobenius direct images over curves

Vikram B. Mehta, Christian Pauly (2007)

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

Similarity:

Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p > 0$ . Given a semistable vector bundle $E$ over $X$ , we show that its direct image $F_{*} E$ under the Frobenius map $F$ of $X$ is again semistable. We deduce a numerical characterization of the stable rank- $p$ vector bundles $F_{*} L$ , where $L$ is a line bundle over $X$ .

Grauert's line bundle convexity, reduction and Riemann domains

Viorel Vâjâitu (2016)

Czechoslovak Mathematical Journal

Similarity:

We consider a convexity notion for complex spaces $X$ with respect to a holomorphic line bundle $L$ over $X$ . This definition has been introduced by Grauert and, when $L$ is analytically trivial, we recover the standard holomorphic convexity. In this circle of ideas, we prove the counterpart of the classical Remmert’s reduction result for holomorphically convex spaces. In the same vein, we show that if $H^{0} (X, L)$ separates each point of $X$ , then $X$ can be realized as a Riemann domain over the complex projective...