World Library  
Flag as Inappropriate
Email this Article

Cartan–Karlhede algorithm

Article Id: WHEBN0002680495
Reproduction Date:

Title: Cartan–Karlhede algorithm  
Author: World Heritage Encyclopedia
Language: English
Subject: Riemannian geometry, Curvature invariant, Index of physics articles (C), Contributors to general relativity, WikiProject Mathematics/List of mathematics articles (C)
Publisher: World Heritage Encyclopedia

Cartan–Karlhede algorithm

The Cartan–Karlhede algorithm is a procedure for completely classifying and comparing Riemannian manifolds. Given two Riemannian manifolds of the same dimension, it is not always obvious whether they are locally isometric.[1] Élie Cartan, using his exterior calculus with his method of moving frames, showed that it is always possible to compare the manifolds. Carl Brans developed the method further,[2] and the first practical implementation was presented by Anders Karlhede in 1980.[3]

The main strategy of the algorithm is to take covariant derivatives of the Riemann tensor. Cartan showed that in n dimensions at most n(n+1)/2 differentiations suffice. If the Riemann tensor and its derivatives of the one manifold are algebraically compatible with the other, then the two manifolds are isometric. The Cartan–Karlhede algorithm therefore acts as a kind of generalization of the Petrov classification.

The potentially large number of derivatives can be computationally prohibitive. The algorithm was implemented in an early symbolic computation engine, SHEEP, but the size of the computations proved too challenging for early computer systems to handle.[4][5] Fortunately for most problems considered, far fewer derivatives than the maximum are actually required, and the algorithm is more manageable on modern computers. On the other hand, no publicly available version exists in more modern software.[6]


  • Physical applications 1
  • See also 2
  • External links 3
  • References 4

Physical applications

The Cartan–Karlhede algorithm has important applications in general relativity. One reason for this is that the simpler notion of curvature invariants fails to distinguish spacetimes as well as they distinguish Riemannian manifolds. This difference in behavior is due ultimately to the fact that spacetimes have isotropy subgroups which are subgroups of the Lorentz group SO+(1,3), which is a noncompact Lie group, while four-dimensional Riemannian manifolds (i.e., with positive definite metric tensor), have isotropy groups which are subgroups of the compact Lie group SO(4).

In 4 dimensions, Karlhede's improvement to Cartan's program reduces the maximal number of covariant derivatives of the Riemann tensor needed to compare metrics to 7. In the worst case, this requires 3156 independent tensor components.[7] There are known models of spacetime requiring all 7 covariant derivatives.[8] For certain special families of spacetime models, however, often far fewer often suffice. It is now known, for example, that

  • at most two differentiations are required to compare any two Petrov D vacuum solutions,
  • at most three differentiations are required to compare any two perfect fluid solutions,
  • at most one differentiation is required to compare any two null dust solutions.[9]

See also

External links

  • Interactive Geometric Database includes some data derived from an implementation of the Cartan–Karlhede algorithm.


  1. ^ Olver, Peter J. (1995). Equivalents, Invariants, and Symmetry. Cambridge: Cambridge University Press.  
  2. ^ Brans, Carl H. (1965), "Invariant Approach to the Geometry of Spaces in General Relativity", J. Math. Phys. 6: 94,  
  3. ^ Karlhede, A. (1980), "A review of the geometrical equivalence of metrics in general relativity", General Relativity and Gravitation 12: 693,  
  4. ^ Åman, J. E.; Karlhede, A. (1980), "A computer-aided complete classification of geometries in general relativity. First results", Phys. Lett. A 80: 229,  
  5. ^ Åman, J. E., Manual for CLASSI: classification programs in general relativity, University of Stockholm Institute of Theoretical Physics 
  6. ^ Pollney, D.; Skea, J. F.; and d'Inverno, Ray (2000). "Classifying geometries in general relativity (three parts)". Class. Quant. Grav. 17: 643–663, 2267–2280, 2885–2902.  
  7. ^ MacCallum, M. A. H.; Åman, J. E. (1986), "Algebraically independent nth derivatives of the Riemannian curvature spinor in a general spacetime", Classical and Quantum Gravity 3: 1133,  
  8. ^ Milson, Robert; Pelavas, Nicos (2008), "The type N Karlhede bound is sharp", Class. Quantum Grav. 25,  
  9. ^ Stephani, Hans; Kramer, Dietrich; MacCallum, Malcolm; Hoenselaers, Cornelius; Hertl, Eduard (2003). Exact Solutions to Einstein's Field Equations (2nd ed.). Cambridge: Cambridge University Press.  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.