Holonomic Basis¶
A holonomic basis is a smooth local frame whose vector fields are the partial-derivative directions of one coordinate chart, equivalently a commuting frame.
Core Idea¶
A holonomic basis consists of smooth, locally independent vector fields that are exactly the partial derivatives of one coordinate chart. Their Lie brackets vanish; conversely, a commuting local frame has such a chart under the theorem's regularity assumptions. This is a property of the chosen frame, not of the manifold having coordinates at all.[^ref-5c06292774a3]
Scope of Application¶
In Euclidean polar coordinates, ∂r,∂θ commute, but the orthonormal pair ∂r,(1/r)∂θ does not. In a Minkowski Rindler wedge, ∂ρ,∂α commute while the unit observer frame ∂ρ,(1/ρ)∂α does not. Relativity's tetrads may likewise be noncoordinate frames.[ref-b5e6522394cb][ref-cd68413ae41e]
Clarity¶
Being parallel to a coordinate direction is not the same as being an exact coordinate derivative. The result is local: polar r=0, an angular wrap or a Rindler horizon cannot be silently included.
Manages Complexity¶
The bracket tests coordinate realizability without searching for a chart. It also prevents confusing frame anholonomy with curvature: both examples arise in flat geometries.
Abstract Reasoning¶
[∂r,(1/r)∂θ]=-(1/r²)∂θ by differentiating the coefficient, while [∂r,∂θ]=0. In Rindler geometry the same calculation gives [∂ρ,(1/ρ)∂α]=-(1/ρ²)∂α. Metric normalization changes the frame property.[ref-212185353c8c][ref-cd68413ae41e]
Knowledge Transfer¶
The bracket criterion transfers from differential geometry to relativity, but an orthonormal frame's physical interpretation and scale factors are context-specific. The live Basis prime is the independently challenged strict pointwise genus; the commuting local-chart condition is the differentia, not a global-chart claim.
[^ref-5c06292774a3]: Sergiu Klainerman, Princeton University, Lecture Notes in General Relativity, Proposition 2.1 (commuting independent fields give local coordinates). [^ref-212185353c8c]: Oregon State University, Methods, polar-coordinate scale factors; the bracket displayed here is a direct product-rule derivation. [^ref-b5e6522394cb]: Carroll, GR lecture notes. [^ref-cd68413ae41e]: Oregon State, Rindler coordinates.
Relationships to Other Abstractions¶
Current abstraction Holonomic Basis Domain-specific
Parents (1) — more general patterns this builds on
-
Holonomic Basis is a kind of Basis Prime
A local coordinate vector frame is pointwise an independent generating basis of each tangent space.
Hierarchy path (1) — routes to 1 parentless root
- Holonomic Basis → Basis → Set and Membership
Neighborhood in Abstraction Space¶
Holonomic Basis sits in a sparse region of the domain-specific corpus (81st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Bundle metric — 0.83
- First Fundamental Form — 0.83
- Stiefel Manifold — 0.82
- Distribution (Differential Geometry) — 0.82
- Intersection Curve — 0.82
Computed from structural-signature embeddings · 2026-10-08