Cocurvature

The vector-valued two-form that detects nonintegrability of the image distribution of a tangent-bundle projection.

Version

v1 · 2026-09-28 · History

Domain-specific #

8514

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Differential Geometry → Mathematics

Core Idea

Cocurvature is a precise obstruction attached to a tangent-bundle projection P. If P is idempotent, its image can be regarded as a vertical distribution and its kernel as a complementary horizontal distribution. Bracketing two projected vertical vector fields can generate a direction outside that image; (Id−P) extracts exactly that outside component. The resulting vector-valued two-form is R̄_P(X,Y)=(Id−P)[PX,PY].

Under the regular constant-rank conditions in Michor's treatment, vanishing cocurvature means the vertical distribution closes under Lie brackets and is integrable. It is distinct from the companion curvature, which projects brackets of horizontal components into the vertical side. A genuine fiber bundle has fibers whose tangent distribution is integrable, so its vertical cocurvature vanishes; this useful special case does not trivialize the invariant for a general chosen projection.

How would you explain it like I'm…

The Sneaky Sideways Scoot

Imagine a toy car that can only roll forward and backward and turn its wheels. If you wiggle it, rolling a bit and turning a bit, back and forth, it slowly scoots sideways, a way it could never roll directly. Cocurvature is a way mathematicians measure how much a set of allowed moves, mixed together like this, sneaks you out of the allowed directions.

Do Allowed Moves Stay Allowed?

Picture a toy car that can only roll forward or backward and turn its wheels; it cannot slide sideways. But by wiggling forward, turning, and backing up, it can end up shifted sideways, like parallel parking. Mathematicians choose a rule that sorts every direction into 'vertical' and 'horizontal'. Cocurvature measures whether combining vertical moves in this wiggling way can push you outside the vertical directions. If it is zero, the vertical directions stay closed up by themselves and fit together into neat layers.

Vertical Bracket Leakage

Cocurvature is a quantity in differential geometry attached to a projection P that, at each point, splits directions into a 'vertical' part (the image of P) and a complementary 'horizontal' part (its kernel). Take two vector fields that lie in the vertical part and compute their Lie bracket, which measures what happens when you alternate small moves along each. That bracket can point partly outside the vertical directions, and the cocurvature is exactly that outside part. When cocurvature is zero, the vertical directions are closed under brackets and, under regularity conditions, fit together into a family of surfaces (they are integrable). It is a companion to curvature, which asks the same question about the horizontal directions instead.

 

Cocurvature is an obstruction attached to an idempotent projection P on the tangent bundle of a manifold. The image of P is regarded as a vertical distribution and its kernel as a complementary horizontal distribution. For vector fields X and Y, project them to PX and PY, take their Lie bracket, and extract the component outside the vertical distribution with (Id - P); this gives a vector-valued two-form, the cocurvature R-bar_P(X, Y) = (Id - P)[PX, PY]. Under the regular constant-rank conditions of Michor's treatment, vanishing cocurvature means the vertical distribution is closed under Lie brackets and hence integrable. It is distinct from the companion curvature, which projects brackets of horizontal components into the vertical side. For a genuine fiber bundle with P projecting onto the tangent spaces of the fibers, the vertical distribution is integrable, so cocurvature vanishes. That special case does not make the invariant trivial, since for a general chosen projection the image need not be integrable.

Scope of Application

Cocurvature is used for smooth tangent splittings and distribution-integrability questions.

• Connection geometry. Compare the complementary obstructions associated with a tangent splitting.
• Distribution integrability. Test whether the image plane field can be tangent to local leaves.
• Fiber-bundle analysis. Recognize why vertical cocurvature vanishes for tangent-to-fiber distributions.
• Bracket identities. Track which projected bracket component enters Bianchi-type relations.

Clarity

Given a smooth constant-rank tangent projection P, bracket two fields in im P and project the result with Id−P. A nonzero remainder is cocurvature and obstructs vertical integrability; the R3 plane field supplies a calculated case. Projecting a bracket of horizontal fields into im P instead gives the companion curvature, the closest algebraic near miss. The fiber-tangent image is an included zero case, while singular-rank distributions need separate hypotheses.

Manages Complexity

One vector-valued form condenses infinitely many local bracket-closure checks into a geometric invariant of the splitting. Its compact notation can hide the choice of projection and the rank assumption, so calculations should name the image, kernel, and convention before comparing two sources' curvature signs.

Abstract Reasoning

1. Specify a smooth idempotent tangent projection and verify constant rank where a foliation claim is needed.
2. Identify im P as the candidate vertical distribution and ker P as its complement.
3. Choose vertical vector fields PX and PY and evaluate their Lie bracket.
4. Apply Id−P to isolate the component that leaves the vertical distribution.
5. Use vanishing or nonvanishing to test integrability, while distinguishing the companion horizontal curvature.

Knowledge Transfer

The projection/bracket test transfers among smooth manifold splittings with the same constant-rank convention. A zero cocurvature result for a true fiber bundle does not transfer to an arbitrary plane field, and a nonzero worked R³ example does not contradict integrability of actual fibers. A metaphorical 'organizational obstruction' preserves no vector-valued form or Frobenius theorem.

Neighborhood in Abstraction Space

Cocurvature sits in a sparse region of the domain-specific corpus (81^st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Surface Geometry & Projective Transforms (6 abstractions)

Nearest neighbors

• Piola transformation — 0.83
• Macbeath Region — 0.82
• Rational normal curve — 0.82
• Strähle construction — 0.82
• Alternating-Direction Implicit Method — 0.82

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