New Symbolic Tools for Differential Geometry, Gravitation, and Field Theory

Abstract

DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the variational calculus. These capabilities, combined with dramatic recent improvements in symbolic approaches to solving algebraic and differential equations, have allowed for development of powerful new tools for solving research problems in gravitation and field theory. The purpose of this paper is to describe some of these new tools and present some advanced applications involving: Killing vector fields and isometry groups, Killing tensors and other tensorial invariants, algebraic classification of curvature, and symmetry reduction of field equations.

42 pages

Cited by in corpus (14)

• Symbolic Computation of Equivalence Transformations and Parameter Reduction for Nonlinear Physical Models
• Power radiated by a binary system in a de Sitter Universe
• Tensor calculus with open-source software: the SageManifolds project
• Non-aligned Einstein-Maxwell Robinson-Trautman fields of Petrov type D
• The Spacetime Geometry of a Null Electromagnetic Field
• On the de Rham-Wu decomposition for Riemannian and Lorentzian manifolds
• Rainich Conditions in (2+1)-Dimensional Gravity
• How to find the holonomy algebra of a Lorentzian manifold
• Affine Symmetry, Geodesics, and Homogeneous Spacetimes
• Kundt Gravitational Waves Coupled with a Non-Noetherian Conformal Scalar Field
• A new class of non-aligned Einstein-Maxwell solutions with a geodesic, shearfree and non-expanding multiple Debever-Penrose vector
• Simplification of tensor expressions in computer algebra
• Hypersurface homogeneous Killing spinor space-times
• A New Non-Inheriting Homogeneous Solution of the Einstein-Maxwell Equations with Cosmological Term