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.

Structural Signature

Sig role-phrases:

• Local diffeomorphism germ — Provides a smooth invertible coordinate change near zero. It is carrier. Counterfactual: A noninvertible map has no inverse jet in the group.
• Fixed base point — Requires φ(0)=0 so jets compose at one reference point. It is anchor. Counterfactual: Moving-base jets belong to a groupoid or bundle setting.
• k-jet equivalence — Identifies maps with equal derivatives through order k. It is quotient. Counterfactual: Higher-order differences are intentionally discarded.
• Invertible linear term — Ensures the germ is locally diffeomorphic. It is validity. Counterfactual: A singular first derivative cannot be rescued by higher terms.
• Composition — Combines truncated Taylor data by the chain rule. It is operation. Counterfactual: Naive coefficient addition is not the group law.
• Truncation order — Sets retained derivative tensors and projection to lower jet groups. It is parameter. Counterfactual: Comparing different k without projection is ill-typed.

What It Is Not

• 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.
• Closest near-miss. A jet bundle collects jets varying over source and target points; the jet group is the fixed-origin invertible fiber with composition.

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.

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.

Examples

Applied / In Practice

For k=1, a fixed-origin diffeomorphism jet is its invertible Jacobian, giving GL(n).

Mapped back: order → 1; data → Jacobian; group → GL(n).

Applied / In Practice

A 2-jet contains an invertible linear map and symmetric second-derivative data whose composition follows the second-order chain rule.

Mapped back: order → 2; data → linear plus quadratic.

Applied / In Practice

A smooth map fixing zero has zero Jacobian; its Taylor coefficients define a jet but not an element of the jet group.

Mapped back: linear term → singular; membership → no.

Structural Tensions

T1 — Finite Taylor Data versus Local Nonlinear Geometry. Jets capture derivatives through k while discarding all higher behavior.

Diagnostic: Which conclusions depend only on finite order?

T2 — Coordinate Change versus Geometric Invariance. Jet groups describe reparameterization while geometric structures seek quantities stable under that action.

Diagnostic: What orbit or stabilizer matters?

T3 — Fixed-Point Group versus Varying-Base Groupoid. A single fiber is a group, but geometry across a manifold needs source and target bookkeeping.

Diagnostic: Which carrier is intended?

Structural–Framed Character

Jet Group is hybrid: structurally a quotient symmetry group and framed by smooth germs, derivatives, coordinate changes, and truncation order.

Structural Core vs. Domain Accent

The core is invertible local transformations identified by finite derivative data. Differential geometry supplies jets, germs, diffeomorphisms, Jacobians, symmetric tensors, chain rule, bundles, groupoids, and prolongation.

Instantiates / Related Primes

This entry is a kind of Group.

• Approved root. Classical and linear algebraic groups are neighbors; only k=1 collapses to GL(n).

• Related — jet bundle, frame bundle, general linear group, diffeomorphism group, Lie pseudogroup, and prolongation. These provide fibers, first-order case, and actions.

Relationships to Other Abstractions

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

• Jet Group → Group → Monoid → Semigroup → Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

Jet Group sits in a crowded region of the domain-specific corpus (39^th 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

• Matrix equivalence — 0.89
• Piola transformation — 0.87
• Algebraic Surface — 0.87
• Category of Manifolds — 0.87
• Parabolic Cylindrical Coordinates — 0.87

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

Not to Be Confused With

• General Linear Group. Tell: GL(n) is the first-order jet group; higher jet groups retain nonlinear derivatives.
• Jet Bundle. Tell: A jet bundle varies source and target points and includes noninvertible function jets.
• Taylor Polynomial. Tell: A polynomial is a representative data format but lacks the quotient and invertible composition identity by itself.
• Diffeomorphism Group. Tell: The full group retains complete maps; the jet group quotients by finite-order agreement.

References

• Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Jet_group (revision 1223585539).
• Preserved source candidate: http://www.emis.de/monographs/KSM/kmsbookh.pdf
• Preserved source candidate: https://web.archive.org/web/20170330154524/http://www.emis.de/monographs/KSM/kmsbookh.pdf
• Preserved source candidate: https://archive.org/details/geometryofjetbun0000saun

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.