Search arXiv⌕ Search

arXiv · 0705.0764

Symmetries in Differential Geometry: A Computational Approach to Prolongations

Abstract

The aim of this work is to develop a systematic manner to close overdetermined systems arising from conformal Killing tensors (CKT). The research performs this action for 1-tensor and 2-tensors. This research makes it possible to develop a new general method for any rank of CKT. This method can also be applied to other types of Killing equations, as well as to overdetermined systems constrained by some other conditions. The major methodological apparatus of the research is a decomposition of the section bundles where the covariant derivatives of the CKT land via generalized gradients. This decomposition generates a tree in which each row represents a higher derivative. After using the conformal Killing equation, just a few components (branches) survive, which means that most of them can be expressed in terms of lower order terms. This results in a finite number of independent jets. Thus, any higher covariant derivative can be written in terms of these jets. The findings of this work are significant methodologically and, more specifically, in the potential for the discovery of symmetries. First, this work has uncovered a new method that could be used to close overdetermined systems arising from conformal Killing tensors (CKT). Second, through an application of this method, this research finds higher symmetry operators of first and second degree, which are known by other means, for the Laplace operator. The findings also reveal the first order symmetry operators for the Yamabe case. Moreover, the research leads to conjectures about the second order symmetries of the Yamabe operator.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Thomas Branson, Alfredo Villanueva. 2007-05-05. Symmetries in Differential Geometry: A Computational Approach to Prolongations. https://arxiv.org/abs/0705.0764

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Curvature equations coupling symmetric tensors with a metric

There are described hierarchies of equations coupling a metric with a trace-free tensor having prescribed symmetries and in the kernel of certain generalized gradients. These specialize, when the tensor vanishes identically, to the usual hierarchy of constant sectional curvature (projectively flat), Einstein, and constant scalar curvature. At the Ricci curvature level these equations are formal analogues of the Einstein-Maxwell and supergravity equations that couple differential forms with a metric. The particular cases coupling a metric with trace-free symmetric tensors satisfying the Codazzi or conformal Killing equations are studied in detail. Examples of solutions are obtained from mean curvature zero immersions, affine spheres, isoparametric hypersurfaces, and related algebraic constructions. The formalism yields a hierarchy of curvature equations for statistical structures. There are deduced constraints on the scalar curvature of the metric occurring in a solution that generalize classical results of Simons, for mean curvature zero hypersurfaces in spheres, and of Calabi, for hyperbolic affine spheres.

math.DG↗

The signature of geometrically decomposable aspherical 4-manifolds

We construct examples of geometrically decomposable aspherical 4-manifolds with non-zero signature. We show that all such 4-manifolds satisfy the inequality (of Bogomolov--Miyaoka--Yau type) $χ\geq 3|σ|$. We also construct examples attaining the equality that are non-geometric and have non-zero signature. Finally, we prove that for higher graph 4-manifolds, with complex-hyperbolic vertices, the strict inequality always holds. Moreover, we construct infinitely many examples of higher graph 4-manifolds with non-zero signature and prove that the inequality is strict and sharp in this class.

math.DG↗

Proper affine deformations of positive representations

We define for every positive Anosov representation of a nonabelian free group into $\mathrm{SO}(2n,2n-1)$ a family of $\mathbb{R}^{4n-1}$-valued cocycles which induce proper affine actions on $\mathbb{R}^{4n-1}$. We construct fundamental domains in $\mathbb{R}^{4n-1}$ bounded by generalized crooked planes for these affine actions, and deduce that the quotient manifolds are homeomorphic to handlebodies.

math.DG↗