Higher order valued reduction theorems for classical connections (Q2496107): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q587472
Property / reviewed by
 
Property / reviewed by: Costache Apreutesei / rank
Normal rank
 

Revision as of 08:16, 16 February 2024

scientific article
Language Label Description Also known as
English
Higher order valued reduction theorems for classical connections
scientific article

    Statements

    Higher order valued reduction theorems for classical connections (English)
    0 references
    0 references
    12 July 2006
    0 references
    Let \(M\) be an \(m\)-dimensional manifold, \(TM\) the tangent vector bundle of \(M\) and \(T^*M\) the dual of \(TM\). In this text the author studies a special type of connections: A classical connection is a connection \(\Lambda: TM\to T^*M\otimes TTM\) of the vector bundle \(p: TM\to M\) which is linear and torsion-free. Let \(VM\) be a first-order natural vector bundle over \(M\) and \(R(\Lambda)\) the curvature tensor of the classical connection \(\Lambda\). Any natural bundle functor of order \(r\) is given by its standard fibre which is a left \(G^r_m\)-manifold, where \(G^r_m=\text{inv\,}J^r_0(\mathbb{R}^m, \mathbb{R}^m)_0\). The standard fibre of the functor Cla is \(Q=\mathbb{R}^M\otimes\odot^2\mathbb{R}^{m*}\). The author generalizes some reduction theorems for classical connections to operators with values in \(k\)-th order natural bundles. Theorem 1: Let \(F\) be a natural bundle functor of order \(k\geq 1\) and let \(r+ 2\geq k\). All natural differential operators \(f: C^\infty(\text{Cla\,}M)\to C^\infty(FM)\) which are of order \(r\) are of the form \(f(j^r\Lambda)= g(j^{k-2}\Lambda,\nabla^{(k-2,r-1)}R[\Lambda])\) where \(g\) is a unique natural operator \(g: J^{k-2}\text{Cla\,}M\times C^{(k-2,r-1)}M\to FM\). Here the \(k\)-th order covariant differential of section of \(VM\) with respect to classical conditions is a natural operator \(\nabla^r: J^{r-1}\text{Cla\,}M\times_M J^r VM\to V_r M\), and \(\nabla^{(k,r)}:= (\nabla^k,\dots,\nabla^r): J^{r-1}\text{Cla\,}M\times_M J^r VM\to V^{(k,r)}M\). The second \(k\)-th order valued reduction theorem is the following: Theorem 2: Let \(F\) be a natural bundle of order \(k\geq 1\) and let \(r+1\geq k\). All natural differential operators \(f: C^\infty(\text{Cla\,}M\times_M VM)\to C^\infty(FM)\) of order \(r\) with respective sections of \(VM\) are of the form \[ f(j^{n-1}\Lambda, j^n\Phi)= g(j^{k-2}\Lambda, j^{k-1}\Phi, \nabla^{(k-2,r-2)} R[\Lambda], \nabla^{(k,r)}\Phi), \] where \(g\) is a unit natural operator \(g: J^{k-2}\text{Cla\,}M\times_M J^{k-1} VM\times_M Z^{(k,r)}M\to FM\). In this paper natural operators are identified with the corresponding natural transformations. Using the second-order valued reduction theorems the author classifies all \((0,2)\)-tensor fields on the cotangent bundle of a manifold with linear (nonsymmetric) connections.
    0 references
    classical connections
    0 references
    operators with values in \(k\)-th order natural bundles
    0 references
    reduction theorems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references