Skip to content

Jet Group

The group of fixed-origin invertible Taylor germs truncated at order k, with group law induced by composition of local coordinate changes.

Version
v1 · 2026-09-28 · History
Domain-specific #
10184
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Differential Geometry, Jet Bundles → Mathematics

Core Idea

Two local diffeomorphisms determine the same k-jet when all derivatives through order k agree at the origin. The equivalence class remembers a finite Taylor polynomial while deliberately forgetting higher-order terms.

Fixing the origin makes composition closed, and an invertible Jacobian guarantees inverse germs. At first order the structure is GL(n); higher orders add nonlinear derivative tensors in a semidirect-style extension. The group acts on jets of geometric objects and differential equations.

Scope of Application

  • Differential geometry. Describes finite-order coordinate changes.
  • G-structures. Defines reductions and invariants of frame and jet bundles.
  • Differential equations. Acts on equation jets in equivalence problems.
  • Singularity theory. Classifies germs under coordinate transformations.
  • Natural bundles. Organizes transformation laws of derivative data.

Clarity

State dimension n, order k, smoothness, source and target base points, jet equivalence, invertibility of the linear term, and composition convention. Distinguish group, bundle, and groupoid contexts. Inclusion test: Require k-jets at a common fixed point of local diffeomorphisms with invertible first derivative, quotient equality through order k, and composition-induced multiplication. Exclusion test: Exclude jet bundles of arbitrary functions, noninvertible Taylor polynomials, jets at differing base points without groupoid structure, and additive groups of coefficients. Nearest boundary: A jet bundle collects jets varying over source and target points; the jet group is the fixed-origin invertible fiber with composition. Exit condition: The identity ends when the linear term is singular or base points do not support closed composition. Common misclassifications: It is not every jet bundle. It is not a group of arbitrary Taylor polynomials. It is not coefficientwise addition. It is not closed across different base points without a groupoid. Nearest named distinctions: General Linear Group: GL(n) is the first-order jet group; higher jet groups retain nonlinear derivatives. Jet Bundle: A jet bundle varies source and target points and includes noninvertible function jets. Taylor Polynomial: A polynomial is a representative data format but lacks the quotient and invertible composition identity by itself. Diffeomorphism Group: The full group retains complete maps; the jet group quotients by finite-order agreement.

Manages Complexity

The jet group compresses nonlinear coordinate changes into finite algebraic data while preserving composition. It lets finite-order geometry be analyzed through actions, orbits, invariants, and stabilizers rather than full function germs.

Abstract Reasoning

  1. Fix origin, dimension, and order.
  2. Take a local diffeomorphism fixing zero.
  3. Retain derivatives through k.
  4. Quotient maps with identical retained data.
  5. Compose classes using the truncated chain rule.
  6. Check invertible linear term and project between orders when needed.

Knowledge Transfer

The transferable cargo is finite-order symmetry of local descriptions. It transfers to other smooth settings through charts and groupoids; it stops at treating any Taylor series collection as a group.

Relationships to Other Abstractions

Local relationship map for Jet GroupParents 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.Jet GroupDOMAINPrime abstraction: Group — is a kind ofGroupPRIME

Current abstraction Jet Group Domain-specific

Parents (1) — more general patterns this builds on

  • Jet Group is a kind of Group Prime

    Jet Group is a domain-specific kind of group under its frozen identity and differentia. Complete-catalog comparison found the corresponding live broader identity.

Hierarchy paths (5) — routes to 5 parentless roots

Neighborhood in Abstraction Space

Jet Group sits in a crowded region of the domain-specific corpus (39th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Algebraic Varieties & Topological Invariants (27 abstractions)

Nearest neighbors

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