Kosmann lift

The canonical metric-dependent lift of a vector field on a Riemannian manifold to the orthonormal frame bundle, enabling a Lie derivative of spinors.

Version

v2 · 2026-09-19 · History

Domain-specific #

5218

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Differential Geometry → Mathematics

Core Idea

Unlike the natural lift to the full frame bundle it depends on the metric or reductive structure, it is not generally a Lie-algebra homomorphism for arbitrary vector fields and extensions to G-structures require a reductive splitting. The natural frame lift is decomposed along the orthonormal-frame subbundle; projecting its vertical component to the skew-symmetric Lie algebra removes metric-deforming directions and yields a tangent lifted field. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

Turn-But-Don't-Squish

Picture a little plus-sign made of two sticks floating in moving water. The water wants to turn it, and also to stretch or squish it. The Kosmann lift is a rule that keeps only the turning, so the plus-sign stays the same size with square corners.

Turning Without Stretching

On a curved surface you can put a tiny set of measuring arrows at each point, all equal length and at right angles to each other. A flow along the surface naturally drags these arrows along, but plain dragging can stretch or tilt them so they stop being square. The Kosmann lift splits that motion into a 'turning' part and a 'stretching' part and throws the stretching away. What remains moves the arrow sets while keeping them perfectly square, which only makes sense once you have a rule for measuring lengths and angles.

Rotation-Only Frame Lift

On a curved space with a metric (a rule for lengths and angles), you can attach to each point an orthonormal frame: a set of perpendicular unit arrows. Any vector field X on the space can be lifted to move all frames, not just the orthonormal ones, but that natural lift can deform an orthonormal frame into a non-orthonormal one. The Kosmann lift fixes this by splitting the infinitesimal change of a frame into a rotation part and a symmetric stretching part, and keeping only the rotation. The result is a vector field that moves orthonormal frames to orthonormal frames. Unlike the natural lift, it depends on the metric, and lifting a bracket of fields doesn't always give the bracket of the lifts.

 

Let (M,g) be a Riemannian manifold with linear frame bundle GL(M) and orthonormal frame bundle O(M) inside it. Any vector field X on M has a natural lift to GL(M), but this lift is generally not tangent to O(M). The Lie algebra gl(n) splits reductively as so(n) plus the symmetric matrices, and the vertical part of the natural lift decomposes accordingly. Projecting that vertical component onto the skew-symmetric part so(n) removes the directions that deform the metric, and what remains is a vector field tangent to O(M): the Kosmann lift. It has an explicit coordinate formula in terms of the covariant derivative of X. It induces the Kosmann (spinor) Lie derivative along arbitrary vector fields. It generalizes to G-structures, provided a reductive splitting is available. Unlike the natural lift, it is metric-dependent, and for arbitrary vector fields it is not a Lie-algebra homomorphism.

Scope of Application

Kosmann lift belongs to differential geometry and is useful where the analyst can specify the typed differential geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the Riemannian manifold and metric, linear and orthonormal frame bundles, base vector field X, natural lift to the full frame bundle, reductive splitting of gl(n) into so(n) and symmetric complement, projected vertical component, tangent vector field on the orthonormal bundle, coordinate covariant-derivative formula, induced spinor Lie derivative and generalization to reductive G-structures are explicit.

Clarity

The abstraction clarifies a crowded vocabulary by making the Riemannian manifold and metric, linear and orthonormal frame bundles, base vector field X, natural lift to the full frame bundle, reductive splitting of gl(n) into so(n) and symmetric complement, projected vertical component, tangent vector field on the orthonormal bundle, coordinate covariant-derivative formula, induced spinor Lie derivative and generalization to reductive G-structures are explicit the center of the account.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Kosmann lift. Kosmann lift compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed differential geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the Riemannian manifold and metric, linear and orthonormal frame bundles, base vector field X, natural lift to the full frame bundle, reductive splitting of gl(n) into so(n) and symmetric complement, projected vertical component, tangent vector field on the orthonormal bundle, coordinate covariant-derivative formula, induced spinor Lie derivative and generalization to reductive G-structures are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of differential geometry because they reuse the typed differential geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, The natural frame lift is decomposed along the orthonormal-frame subbundle; projecting its vertical component to the skew-symmetric Lie algebra removes metric-deforming directions and yields a tangent lifted field., and type the carrier, state every parameter and convention in the definition, test that the Riemannian manifold and metric, linear and orthonormal frame bundles, base vector field X, natural lift to the full frame bundle, reductive splitting of gl(n) into so(n) and symmetric complement, projected vertical component, tangent vector field on the orthonormal bundle, coordinate covariant-derivative formula, induced spinor Lie derivative and generalization to reductive G-structures are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Kosmann lift Domain-specific

Parents (1) — outgoing typed relations

• Kosmann lift is a kind of Transformation Prime

  It remains its own entry because its identity is fixed by the Riemannian manifold and metric, linear and orthonormal frame bundles, base vector field X, natural lift to the full frame bundle, reductive splitting of gl(n) into so(n) and symmetric complement, projected vertical component, tangent vector field on the orthonormal bundle, coordinate covariant-derivative formula, induced spinor Lie derivative and generalization to reductive G-structures.

Hierarchy path (1) — routes to 1 parentless root

• Kosmann lift → is a kind of Transformation → is a kind of, typical Function (Mapping)

Neighborhood in Abstraction Space

Kosmann lift sits in a crowded region of the domain-specific corpus (33^rd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Riemannian & Symplectic Geometry (18 abstractions)

Nearest neighbors

• Equivariant differential form — 0.89
• Chern–Weil homomorphism — 0.88
• Weakly symmetric space — 0.88
• One-form — 0.88
• Metric tensor — 0.88

Computed from structural-signature embeddings · 2026-10-25