The n-th order covariant derivative on a smooth manifold with an affine connection is a differential operator which turns a function into a tensor field of type (0,n). In this paper the properties of this operatior related to the permutation of indices are investigated by means of non-associative algebra. The general formula for commutation relations of this kind is obtained.
Commutation formulae with respect to a non-symmetric affine connection are obtained in this paper. The components of commutation formulae in this paper are covariant derivatives of tensors with respect to symmetric and non-symmetric affine connection.
Extended spinor connections associated with composite spin-tensorial bundles are considered. Commutation relationships for covariant and multivariate differentiations and corresponding curvature spin-tensors are derived.
We define covariant Lie derivatives acting on vector-valued forms on Lie algebroids and study their properties. This allows us to obtain a concise formula for the Frölicher-Nijenhuis bracket on Lie algebroids.
The covariant derivative of the Kähler form of an almost pseudo-Hermitian or of an almost para-Hermitian manifold satisfies certain algebraic relations. We show, conversely, that any 3-tensor which satisfies these algebraic relations can be realized geometrically.
A simple theory of the covariant derivatives, deformed derivatives and relative covariant derivatives of multivector and multiform fields is presented using algebraic and analytical tools developed in previous papers.
We show that if $\nabla R$ is a Jordan Szabo algebraic covariant derivative curvature tensor on a vector space of signature (p,q), where q is odd and p is less than q or if q is congruent to 2 mod 4 and if p is less than q-1, then $\nabla R=0$. This algebraic result yields an elementary proof of the geometrical fact that any pointwise totally isotropic pseudo-Riemannian manifold with such a signature (p,q) is locally symmetric.
This paper, sixth in a series of eight, uses the geometric calculus on manifolds developed in previous papers of the series to introduce through the concept of a metric extensor field g a metric structure for a smooth manifold M. The associated Christoffel operators, a notable decomposition of that object and the associated Levi-Civita connection field are given. The paper introduces also the concept of a geometrical structure for a manifold M as a triple (M,g,gamma), where gamma is a connection extensor field defining a parallelism structure for M . Next, the theory of metric compatible covar…
We deal with the construction of covariant derivatives for some quite general Ehresmann connections on fibre bundles. We show how the introduction of a vertical endomorphism allows construction of covariant derivatives separately on both the vertical and horizontal distributions of the connection which can then be glued together on the total space. We give applications across an important class of tangent bundle cases, frame bundles and the Hopf bundle.
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 $\na^\om$ on the corresponding tractor bundle $V,$ where $\om$ is the normal Cartan connection. The first operator $D_0$ in the sequence is overdetermined and it is well known that $\na^\om$ yields the prolongation of this operator in the homogeneous case $M = G/P$. Our first main result is the curved version of such a prolongation. This requi…
We give in this paper which is the fifth in a series of eight a theory of covariant derivatives of multivector and extensor fields based on the geometric calculus of an arbitrary smooth manifold M, and the notion of a connection extensor field defining a parallelism structure on M. Also we give a novel and intrinsic presentation (i.e., one that does not depend on a chosen orthonormal moving frame) of the torsion and curvature fields of Cartan's theory. Two kinds of Cartan's connection fields are identified, and both appear in the intrinsic Cartan's structure equations satisfied by the Cartan's…
We study the covariant derivatives of an eigenfunction for the Laplace-Beltrami operator on a complete, connected Riemannian manifold with nonzero constant sectional curvature. We show that along every parallel tensor, the covariant derivative is a scalar multiple of the eigenfunction. We also show that the scalar is a polynomial depending on the eigenvalue and prove some properties. A conjecture motivated by the study of vertex algebraic structure on space forms is also announced, suggesting the existence of interesting structures in these polynomials that awaits further exploration.
With $\vecΔ_j\geq 0$ is the uniquely determined self-adjoint realization of the Laplace operator acting on $j$-forms on a geodesically complete Riemannian manifold $M$ and $\nabla$ the Levi-Civita covariant derivative, we prove amongst other things a Li-Yau type heat kernel bound for $\nabla \mathrm{e}^{ -t\vecΔ_j }$, if the curvature tensor of $M$ and its covariant derivative are bounded, an exponentially weighted $L^p$ bound for the heat kernel of $\nabla \mathrm{e}^{ -t\vecΔ_j }$, if the curvature tensor of $M$ and its covariant derivative are bounded, that $\nabla \mathrm{e}^{ -t\vecΔ_j }$…
It is well known that the curvature tensor of a pseudo-Riemannian manifold can be decomposed with respect to the pseudo-orthogonal group into the sum of the Weyl conformal curvature tensor, the traceless part of the Ricci tensor and of the scalar curvature. A similar decomposition with respect to the pseudo-unitary group exists on a pseudo-Kählerian manifold; instead of the Weyl tensor one obtains the Bochner tensor. In the present paper, the known decomposition with respect to the pseudo-orthogonal group of the covariant derivative of the curvature tensor of a pseudo-Riemannian manifold is re…
It is developed the considerations from (S. M. Minčić, [14, 15]) about curvature tensors and pseudotensors for a non-symmetric affine connection space in this paper. How many kinds of covariant derivatives are enough to be defined for complete researching in the field of non-symmetric affine connection spaces is examined here. This result is interpreted. After that, we searched how many curvature tensors and pseudotensors of a non-symmetric affine connection space are linearly independent. In the next, it is examined is it possible to express all curvature tensors as the linear combinations of…
We present a unified derivation of covariant time derivatives, which transform as tensors under a time-dependent coordinate change. Such derivatives are essential for formulating physical laws in a frame-independent manner. Three specific derivatives are described: convective, corotational, and directional. The covariance is made explicit by working in arbitrary time-dependent coordinates, instead of restricting to Eulerian (fixed) or Lagrangian (material) coordinates. The commutator of covariant time and space derivatives is interpreted in terms of a time-curvature that shares many properties…
In arXiv:2103.15482 an estimate for suitable skew-symmetric 2-tensors was claimed. Soon after, this estimate has been exploited to claim powerful classification results: most notably, it has been employed to propose a proof of a Black Hole Uniqueness Theorem for vacuum static spacetimes with positive scalar curvature and in connection with the Besse Conjecture. In the present note we point out an issue in the argument proposed in arXiv:2103.15482 and we provide a counterexample to the estimate.
We consider generators of algebraic covariant derivative curvature tensors R' which can be constructed by a Young symmetrization of product tensors W*U or U*W, where W and U are covariant tensors of order 2 and 3. W is a symmetric or alternating tensor whereas U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 16 or 20 summands if…
We show that the symmetry classes of torsion-free covariant derivatives $\nabla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $σ[1]$ where $σ$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $σ= [λ]$ is irreducible then $σ[1]$ has a multiplicity free reduction $[λ][1] = \sum [μ]$ and all primitive idempotents belonging to that sum can be calculated from a generating idempotent e of the symmetry class of T by means of the irreducible characters or of a discrete Fourier transform of $S_{r+1}$. W…
We show that the space of algebraic covariant derivative curvature tensors R' is generated by Young symmetrized tensor products W*U or U*W, where W and U are covariant tensors of order 2 and 3 whose symmetry classes are irreducible and characterized by the following pairs of partitions: {(2),(3)}, {(2),(2 1)} or {(1 1),(2 1)}. Each of the partitions (2), (3) and (1 1) describes exactly one symmetry class, whereas the partition (2 1) characterizes an infinite set S of irreducible symmetry classes. This set S contains exactly one symmetry class S_0 whose elements U can not play the role of gener…