Is the Covariant Derivative of the Metric Tensor an Axiom or a Derivation?

Click For Summary

Discussion Overview

The discussion centers on whether the covariant derivative of the metric tensor being zero is an axiom or a derivation from other axioms. Participants explore the implications of this condition within the context of differential geometry and general relativity, examining definitions, properties, and assumptions related to the covariant derivative and the metric tensor.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that the covariant derivative of the metric tensor is zero and question whether this is an axiom or derived from other axioms.
  • Others clarify that this condition is known as "metric compatibility" and is related to the definition of the covariant derivative.
  • One participant argues that the covariant derivative is defined in such a way that it accounts for the "non-flatness" of the space, leading to the conclusion that the metric tensor has a covariant derivative of zero.
  • Another participant states that the relationship can be derived by requiring that the scalar product of two vectors remains unchanged under parallel transport, leading to a derivation that shows the covariant derivative of the metric tensor must vanish.
  • Some participants express confusion regarding whether the assumption of no torsion is necessary for this derivation, with differing views on whether this assumption is an axiom or a property of the manifold.
  • There are claims that the vanishing of the covariant derivative is neither a defining property of the metric nor the covariant derivative, leading to further debate on its status as an axiom or derivation.
  • Participants reference various texts and personal experiences with treatments of general relativity and tensor analysis to support their claims.

Areas of Agreement / Disagreement

Participants do not reach a consensus on whether the covariant derivative of the metric tensor being zero is an axiom or a derived property. Multiple competing views remain regarding the definitions and implications of this condition.

Contextual Notes

There are unresolved assumptions regarding the necessity of the no-torsion condition and its implications for the derivation of the covariant derivative of the metric tensor. The discussion reflects varying interpretations of foundational properties in differential geometry.

  • #31
And the last one is optional.
 

Similar threads

High School Prove that metric tensor is covariant constant
  • · Replies 11 ·
Replies
11
Views
1K
Undergrad How to calculate basis vectors from metric tensor (as a matrix)?
  • · Replies 6 ·
Replies
6
Views
1K
Graduate Ricci tensor for Fermi normal coordinates
  • · Replies 1 ·
Replies
1
Views
1K
Undergrad Intuition regarding Riemann curvature tensor
  • · Replies 3 ·
Replies
3
Views
1K
Undergrad Action of metric tensor on Levi-Civita symbol
  • · Replies 11 ·
Replies
11
Views
3K
Graduate Deriving Essential Quantities from Metric Tensor for GR Calculations
  • · Replies 20 ·
Replies
20
Views
3K
Graduate Landau-Lifshitz pseudotensor - expressing the EM tensor ##T^{ik}##
  • · Replies 6 ·
Replies
6
Views
1K
Undergrad Commutation between covariant derivative and metric
  • · Replies 16 ·
Replies
16
Views
4K
Undergrad Can We Explain the Cosmological Constant as a Tensorial Concept?
  • · Replies 12 ·
Replies
12
Views
2K
Undergrad Notion of parallel worldlines in curved geometry
  • · Replies 5 ·
Replies
5
Views
2K