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 covariant derivatives is given and a relationship between the connection extensor fields and covariant derivatives of two deformed (metric compatible) geometrical structures (M,g,gamma) and (M,eta,gamma') is determined.
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.
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.
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…
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…
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.
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.
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.
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 }$…
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…
Motivated by the possible characterization of Sasakian manifolds in terms of twistor forms, we give the complete classification of compact Riemannian manifolds carrying a Killing vector field whose covariant derivative (viewed as a 2-form) is a twistor form.
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…
For a smooth manifold $M$, it was shown in \cite{BPH} that every affine connection on the tangent bundle $TM$ naturally gives rise to covariant differentiation of multivector fields (MVFs) and differential forms along MVFs. In this paper, we generalize the covariant derivative of \cite{BPH} and construct covariant derivatives along MVFs which are not induced by affine connections on $TM$. We call this more general class of covariant derivatives \textit{higher affine connections}. In addition, we also propose a framework which gives rise to non-induced higher connections; this framework is obta…
This work further develops the properties of fractional differential forms. In particular, finite dimensional subspaces of fractional form spaces are considered. An inner product, Hodge dual, and covariant derivative are defined. Coordinate transformation rules for integral order forms are also computed. Matrix order fractional calculus is used to define matrix order forms. This is achieved by combining matrix order derivatives with exterior derivatives. Coordinate transformation rules and covariant derivative for matrix order forms are also produced. The Poincare' lemma is shown to be true fo…
Recently Berman and Perry constructed a four-dimensional M-theory effective action which manifests SL(5) U-duality. Here we propose an underlying differential geometry of it, under the name `SL(5) U-geometry' which generalizes the ordinary Riemannian geometry in an SL(5) compatible manner. We introduce a `semi-covariant' derivative that can be converted into fully covariant derivatives after anti-symmetrizing or contracting the SL(5) vector indices appropriately. We also derive fully covariant scalar and Ricci-like curvatures which constitute the effective action as well as the equation of mot…
We prove that a local Hamiltonian operator of hydrodynamic type K_1 is compatible with a nondegenerate local Hamiltonian operator of hydrodynamic type K_2 if and only if the operator K_1 is locally the Lie derivative of the operator K_2 along a vector field in the corresponding domain of local coordinates. This result gives a natural invariant definition of the class of special flat manifolds corresponding to all the class of compatible Dubrovin--Novikov Hamiltonian operators (the Frobenius--Dubrovin manifolds naturally belong to this class). There is an integrable bi-Hamiltonian hierarchy cor…
The global formality of Dolgushev depends on the choice of a torsion-free covariant derivative. We prove that the globalized formalities with respect to two different covariant derivatives are homotopic. More explicitly, we derive the statement by proving a more general homotopy equivalence between $L_\infty$-morphisms that are twisted with gauge equivalent Maurer-Cartan elements.
