1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
/*
* SPDX-License-Identifier: MIT
* Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
*/
//! General Relativity — SO(3,1) Lorentz Gauge Theory Module
//!
//! # Mathematical Foundation
//!
//! General Relativity is formulated as a gauge theory of the Lorentz group SO(3,1).
//! The gauge field structure maps directly to GR concepts:
//!
//! ## Gauge Field Correspondence
//! ```text
//! GaugeField<Lorentz, f64, f64>
//! ├── Connection = Christoffel symbols Γ^ρ_μν
//! └── Field Strength = Riemann tensor R^ρ_σμν
//! ```
//!
//! ## Christoffel Symbols (Connection)
//! ```text
//! Γ^ρ_μν = ½ g^ρσ (∂_μ g_νσ + ∂_ν g_μσ - ∂_σ g_μν)
//! ```
//! These describe parallel transport and geodesic motion.
//!
//! ## Riemann Curvature Tensor (Field Strength)
//! ```text
//! R^ρ_σμν = ∂_μ Γ^ρ_νσ - ∂_ν Γ^ρ_μσ + Γ^ρ_μλ Γ^λ_νσ - Γ^ρ_νλ Γ^λ_μσ
//! ```
//! The non-abelian term Γ·Γ arises from Lorentz structure constants.
//!
//! ## Derived Tensors
//! ```text
//! Ricci Tensor: R_μν = R^ρ_μρν (contraction)
//! Ricci Scalar: R = g^μν R_μν (trace)
//! Einstein Tensor: G_μν = R_μν - ½ R g_μν
//! ```
//!
//! ## Einstein Field Equations
//! ```text
//! G_μν + Λ g_μν = (8πG/c⁴) T_μν
//! ```
//!
//! # Metric Convention
//!
//! GR uses East Coast convention: η_μν = diag(-1, +1, +1, +1)
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;