We give in this paper which is the third in a series of four a theory of covariant derivatives of representatives of multivector and extensor fields on an arbitrary open set U of M, based on the geometric and extensor calculus on an arbitrary smooth manifold M. This is done by introducing the notion of a connection extensor field gamma defining a parallelism structure on U, which represents in a well defined way the action on U of the restriction there of some given connection del defined 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 operator fields are identified, and both appear in the intrinsic Cartan's structure equations satisfied by the Cartan's torsion and curvature extensor fields. We introduce moreover a metrical extensor g in U corresponding to the restriction there of given metric tensor \slg defined on M and also introduce the concept a geometric structure (U,gamma,g) for U and study metric compatibility of covariant derivatives induced by the connection extensor gamma. This permits the presentation of the concept of gauge (deformed) derivatives which satisfy noticeable properties useful in differential geometry and geometrical theories of the gravitational field. Several derivatives operators in metric and geometrical structures, like ordinary and covariant Hodge coderivatives and some duality identities are exhibit.
This paper, the third in a series of eight introduces some of the basic concepts of the theory of extensors needed for our formulation of the differential geometry of smooth manifolds . Key notions such as the extension and generalization operators of a given linear operator (a (1,1)-extensor) acting on a real vector space V are introduced and studied in details. Also, we introduce the notion of the determinant of a (1,1)-extensor and the concepts of standard and metric Hodge (star) operators, disclosing a non trivial and useful relation between them.
Here (the last paper in a series of four) we end our presentation of the basics of a systematical approach to the differential geometry of a smooth manifold M (supporting a metric field g and a general connection del) which uses the geometric algebras of multivector and extensors (fields) developed in previous papers. The theory of the Riemann and Ricci fields of the the triple (M,del,g)is investigated to for each particular open set U of M through the introduction of a geometric structure on U, i.e., a triple (U,gamma,g) where gamma is a general connection field on U and g is a metric extenso…
This is the first paper in a series (of four) designed to show how to use geometric algebras of multivectors and extensors to a novel presentation of some topics of differential geometry which are important for a deeper understanding of geometrical theories of the gravitational field. In this first paper we introduce the key algebraic tools for the development of our program, namely the euclidean geometrical algebra of multivectors Cl(V,G_{E}) and the theory of its deformations leading to metric geometric algebras Cl(V,G) and some special types of extensors. Those tools permit obtaining, the r…
In this paper, the second in a series of eight we continue our development of the basic tools of the multivector and extensor calculus which are used in our formulation of the differential geometry of smooth manifolds of arbitrary topology . We introduce metric and gauge extensors, pseudo-orthogonal metric extensors, gauge bases, tetrad bases and prove the remarkable golden formula, which permit us to view any Clifford algebra Cl(V,G) as a deformation of the euclidean Clifford algebra Cl(V,G_{E}) discussed in the first paper of the series and to easily perform calculations in Cl(V,G) using Cl(…
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…
The objective of the present paper (the second in a series of four) is to give a theory of multivector and extensor fields on a smooth manifold M of arbitrary topology based on the powerful geometric algebra of multivectors and extensors. Our approach does not suffer the problems of earlier attempts which are restricted to vector manifolds. It is based on the existence of canonical algebraic structures over the so-called canonical space associated to a local chart (U_{o},phi_{o}) of the maximal atlas of M. The key concepts of a-directional ordinary derivatives of multivector and extensor field…
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…
This paper (the seventh paper in a series of eight) continues the development of our theory of multivector and extensor calculus on smooth manifolds. Here we deal first with the concepts of ordinary Hodge coderivatives, duality identities, and Hodge coderivative identities. Then, we recall the concept of a Levi-Civita geometric structure and the concepts of Levi-Civita and gauge derivatives. New formulas that are important in the Lagrangian theory of multivector adn extensor fields are obtained. We introduce also he concept of covariant Hodge coderivative. We detail how all these concepts are …
This is the first paper in a series of eight where in the first three we develop a systematic approach to the geometric algebras of multivectors and extensors, followed by five papers where those algebraic concepts are used in a novel presentation of several topics of the differential geometry of (smooth) manifolds of arbitrary global topology. A key tool for the development of our program is the mastering of the euclidean geometrical algebra of multivectors that is detailed in the present paper.
Using the theory of extensors developed in a previous paper we present a theory of the parallelism structure on arbitrary smooth manifold. Two kinds of Cartan connection operators are introduced and both appear in intrinsic versions (i.e., frame independent) of the first and second Cartan structure equations. Also, the concept of deformed parallelism structures and relative parallelism structures which play important role in the understanding of geometrical theories of the gravitational field are investigated.
In this paper we study a geometric configuration of submanifolds of arbitrary codimension in an ambient Riemannian space. We obtain relations between the geometry of a q-codimension submanifold Mn along its boundary and the geometry of the boundary of Mn as an hypersuface of a q-codimensional submanifold Pn in an ambient space Mn+q. As a consequence of these geometric ralations we get that the ellipticity of the generalized Newton transformations implies the tranversality of Mn and Pn in Pn is totally geodesic in Mn+q.
We classify invariant Lagrangians of the form $L(g_{ij},g_{ij,k},g_{ij,kl},D_I,D_{I,j})$ depending at most quadratically on the variables $g_{ij,k},g_{ij,kl}$ and $D_I,D_{I,j}$, where $g$ is a Lorentz metric and $D$ is a tensor field of arbitrary rank on a smooth manifold. As a corollary, we prove a conjecture of Bray's regarding the classification of certain variational principles with variables a Lorentz metric and an affine connection.
In this paper, we completely classify homogeneous production functions with an arbitrary number of inputs whose production hypersurfaces are flat. As an immediate consequence, we obtain a complete classification of homogeneous production functions with two inputs whose production surfaces are developable.
We use geometric algebra techniques to give a synthetic and computationally efficient approach to Fierz identities in arbitrary dimensions and signatures, thus generalizing previous work. Our approach leads to a formulation which displays the underlying real, complex or quaternionic structure in an explicit and conceptually clear manner and is amenable to implementation in various symbolic computation systems. We illustrate our methods and results with a few examples which display the basic features of the three classes of pin representations governing the structure of such identities in vario…
We construct explicit geometric models for moduli spaces of semi-stable strongly parabolic Higgs bundles over the Riemann sphere, in the case of rank two, four marked points, arbitrary degree, and arbitrary weights. The mechanism of construction relies on elementary geometric and combinatorial techniques, based on a detailed study of orbit stability of (in general non-reductive) bundle automorphism groups on certain carefully crafted spaces. The aforementioned techniques are not exclusive to the case we examine, and this work elucidates a general approach to construct arbitrary moduli spaces o…
In this paper we show the validity, under certain geometric conditions, of Wheeler's thin sandwich conjecture for higher dimensional theories of gravity. We extend the results shown by R. Bartnik and G. Fodor for the 3-dimensional case in two ways. On the one hand, we show that the results obtained by the mentioned authors are valid in arbitrary dimensions, and on the other hand we show that the geometric hypotheses needed for the proofs can always be satisfied, which constitutes in itself a new result for the 3-dimensional case. In this way, we show that on any compact n-dimensional manifold,…
The purpose of this paper is to extend the explicit geometric evaluation of semisimple orbital integrals for smooth kernels for the Casimir operator obtained by the first author to the case of kernels for arbitrary elements in the center of the enveloping algebra.
Superintegrable systems are classical and quantum Hamiltonian systems which enjoy much symmetry and structure that permit their solubility via analytic and even, algebraic means. They include such well-known and important models as the Kepler potential, Calogero-Moser model, and harmonic oscillator, as well as its integrable perturbations, for example, the Smorodinsky-Winternitz (SW) potential. Normally, the problem of classification of superintegrable systems is approached by considering associated algebraic, or geometric structures. To this end we invoke the invariant theory of Killing tenso…
