Skip to content

Euler sequence

A canonical exact sequence of sheaves on projective space relating relative differentials to twists of the structure sheaf.

Version
v3 · 2026-09-19 · History
Domain-specific #
1797
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Projective Algebraic Geometry → Mathematics
Aliases
Euler exact sequence

Core Idea

Euler sequence is a canonical exact sequence of sheaves on projective space relating relative differentials to twists of the structure sheaf.

On projective n-space over a ring, the cotangent form is the short exact sequence 0 → Ω¹ → O(-1)^(n+1) → O → 0. Its dual expresses the tangent sheaf as the quotient of O(1) tensor the defining vector space by the radial Euler field. Relative versions extend to projective bundles, and exterior powers support characteristic-class and canonical-bundle calculations.

How would you explain it like I'm…

 

No faithful explanation at this level. A picture simple enough for this age turns the concept into 'a famous list of numbers by Euler'. It is actually a specific exact sequence of sheaves on projective space, so that picture teaches the wrong thing.

Directions Minus the Line

Mathematicians study a kind of space where every 'point' is really a whole straight line through a center spot. At such a point, they want to describe all the directions you could move. The Euler sequence is an exact recipe for this. Take all the directions of the big surrounding space, then throw away the one direction that only slides along the line itself, because sliding that way doesn't change the line. It is one specific, carefully checked recipe, not just any list named after Euler.

Projective Space Tangent Sequence

Projective space is the space of lines through the origin in a vector space. The Euler sequence is a short exact sequence, a chain of maps where each step's output is exactly what the next step kills. It pins down the tangent and cotangent structure of projective space using simpler building blocks called twists of the structure sheaf. In its tangent form, the tangent directions are what remains after taking copies of a twist built from the original vector space and quotienting by the 'radial' Euler direction, which points along the line. Its cotangent form is 0 → Ω¹ → O(-1)^(n+1) → O → 0. It only counts as the Euler sequence in this projective setting, or in projective bundles, and only if the maps really are exact.

 

On projective n-space P(V), built from an (n+1)-dimensional vector space V, the Euler sequence is a short exact sequence of sheaves linking the geometry of the space to twists of the structure sheaf O. In tangent form, it presents the tangent sheaf as a quotient of O(1) tensored with V by the copy of O generated by the radial Euler vector field, the field that only scales along each line. Dually, in cotangent form it reads 0 → Ω¹ → O(-1)^(n+1) → O → 0, embedding the sheaf of differentials into a sum of n+1 copies of O(-1). Exactness is essential: the image of each map equals the kernel of the next. Because Ω¹ is now sandwiched between line bundles, you can compute its invariants. Taking exterior powers yields the canonical bundle, and Chern classes follow from multiplicativity. Relative versions hold for projective bundles over a base. The name refers to this specific canonical sequence in this setting, not to any sequence associated with Euler.

Scope of Application

The abstraction recurs literally within projective spaces and projective or Grassmannian bundles where tautological sheaves control tangent and cotangent geometry. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

  • Projective space. the classical cotangent and tangent sequences are canonical.
  • Projective bundles. relative tangent and differential sequences generalize the construction.
  • Canonical bundles. determinants yield O(-n-1) on projective n-space.
  • Chern classes. multiplicativity in the exact sequence computes tangent and cotangent classes.
  • Cohomology. twisted sequences relate cohomology of differential and line bundles.

Clarity

Sign conventions depend on whether projective space parameterizes lines or quotients and whether the tangent or cotangent form is written. A correct entry states the convention, base, relative differential, and maps rather than quoting one line of symbols without typing its objects.

A practical identification audit begins with the typed roles rather than the title: establish the projective space or bundle, verify the tautological twist, then test the remaining conditions and exclusions.

Manages Complexity

The sequence replaces the nontrivial tangent or cotangent bundle with a kernel or quotient of sums of line bundles. Determinants, exterior powers, and cohomology can then exploit simpler constituents.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning

R1. Fix the projective-space convention and base ring. R2. Construct the homogeneous-coordinate evaluation map. R3. Identify its local kernel with relative differentials. R4. Dualize only where local freeness justifies exactness. R5. Derive determinants or Chern classes using the exact-sequence identities.

These moves separate definition, derivation, measurement, and interpretation. A formal consequence does not by itself prove that an observed case instantiates the abstraction, while an observed resemblance does not relax the formal or institutional recognition conditions.

Knowledge Transfer

The construction transfers literally to relative projective and related homogeneous bundles with the corresponding tautological data. Exact sequence and quotient are portable parents; an unrelated Euler-named sequence is not this abstraction.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The sequence recurs across projective spaces over rings and generalizes to projective and Grassmann bundles. Literal recognition retains the specialist vocabulary and validity conditions of algebraic geometry; outside that setting only broader parent operations transfer.

Relationships to Other Abstractions

Local relationship map for Euler sequenceParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Euler sequenceDOMAINPrime abstraction: Representation — presupposesRepresentationPRIME

Current abstraction Euler sequence Domain-specific

Parents (1) — outgoing typed relations

  • Euler sequence presupposes Representation Prime

    Representation (prime:representation).

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Euler sequence sits in a moderately populated region (56th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Sheaves & Birational Geometry (23 abstractions)

Nearest neighbors

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