9.1.5 Tensor Coordinate Free Boundary Scope

Tensor Coordinate Free Boundary Scope is the observation that a coordinate-free, abstract description of a tensor or a tensor field is valid over the entire domain on which the tensor field itself is defined, unrestricted by any single chart's limited scope, together with the identification of exactly where that unrestricted coordinate-free description must nonetheless be translated into a specific, chart-limited coordinate representation in order to carry out an explicit numerical or symbolic computation. It names the boundary at which the unlimited scope of coordinate-free reasoning meets the necessarily limited scope of any concrete coordinate assignment, and describes how results established on one side of that boundary transfer to the other.

The Unrestricted Scope of Coordinate-Free Description

No Chart Domain to Run Out Of

A tensor field described abstractly — as a section of a tensor bundle, or as a multilinear map varying smoothly from tangent space to tangent space — is defined wherever the field itself is defined, without reference to any particular coordinate assignment; since this description never invokes a chart, it has no coordinate-chart domain to be limited by, and its scope is simply the entire region of the manifold over which the tensor field exists.

Coordinate-Free Identities Hold Everywhere at Once

A coordinate-free identity, once established — such as the antisymmetry of a wedge product or the metric-compatibility of a particular connection — holds at every point of the tensor field's domain simultaneously, with no need to verify it separately chart by chart, precisely because its proof never depended on any chart's restricted scope to begin with; this is the primary practical advantage of working coordinate-free whenever the boundary with concrete computation can be deferred.

The Boundary Where Concrete Computation Requires Coordinates

Explicit Calculation Forces a Chart Choice

Despite the unrestricted scope of coordinate-free reasoning, any step that requires an explicit numerical value, a specific component, or a concrete differential equation to be solved forces a chart to be chosen, and from that point on the calculation inherits the chosen chart's own, generally more limited, coordinate assignment scope; this is the boundary at which the discussion crosses from the coordinate-free side, with its unrestricted scope, into the coordinate-based side, with scope equal only to the chosen chart's domain.

The Translation Is a One-Way Narrowing, Not a Loss of Content

Crossing this boundary narrows the region over which the resulting formula is directly usable, but it does not lose any of the coordinate-free content, since the abstract tensor field and its properties remain exactly as they were; the coordinate expression is simply one particular, locally valid window onto the same coordinate-free object, and choosing a different chart, with a different but equally valid scope, would yield a different-looking but equally correct window onto that same underlying field.

Diagram of the Boundary Between the Two Regimes

Practical Strategy Around the Boundary

Deferring the Crossing as Long as Possible

Because coordinate-free reasoning retains unrestricted scope while coordinate-based reasoning does not, a standard strategy in working with tensor fields is to carry out as much of a derivation as possible in coordinate-free terms, crossing into a specific coordinate representation — and thereby accepting the resulting chart-limited scope — only at the final step where an explicit answer is actually required, so that intermediate results remain valid over the full extent of the tensor field's domain for as long as possible.

Re-Crossing at a Different Chart to Extend Coverage

When a coordinate-based result is needed over a region larger than any single chart's scope, the standard remedy is to return briefly to the coordinate-free side of the boundary — reaffirming that the underlying identity or field is defined coordinate-independently over the larger region — and then cross back into coordinate-based terms separately in each of several charts whose combined scope covers the region needed, rather than attempting to force a single chart's coordinate expression to extend past its own legitimate scope.