Bundle of Principal Parts¶
A finite-order vector bundle of local section data over a smooth algebraic variety.
Core Idea¶
For a smooth algebraic variety \(X\), a line bundle \(L\) and a finite order \(n\), the bundle of principal parts \(P^n_X(L)\) packages the order-\(n\) local behavior of sections of \(L\) as the base point varies. It comes from the \(n\)th infinitesimal neighborhood of the diagonal in \(X\times X\), and is locally free under those assumptions. It exists before a particular space of global sections is chosen; that later choice gives an evaluation map into the bundle.[ref-8171e8ae8c9a][ref-932b990ab261]
Scope of Application¶
On a smooth curve, a linear system \((L,V)\) with \(\dim V=r+1\) maps its sections into \(P^r_C(L)\); \(r\) is the jet order. Both sides then have rank \(r+1\), so the map's determinant is the Wronskian and its rank-drop locus gives ramification. For a smooth plane quartic's canonical system, the resulting Weierstrass points are flexes. These are uses of the bundle rather than ingredients of its definition.[^ref-8171e8ae8c9a]
On a smooth projective scroll, embedding sections similarly map into \(P^k_X(L)\); their fiberwise images define osculating spaces. Under the source paper's hypotheses, rank drop below its scroll-specific bound defines an inflectional locus. The bound concerns that chosen map, not the rank of the principal-parts bundle.[ref-14c71685e87d][ref-d708a755cfa5]
Clarity¶
State the base \(X\), the input \(L\), the order \(n\), and the smoothness condition. The smooth-base bundle has rank \(\binom{d+n}{n}\) for \(d=\dim X\). At order zero it is \(P^0_X(L)=L\), and successive truncation maps forget the highest-order layer. A selected section space \(V\) is additional data.[ref-8171e8ae8c9a][ref-d708a755cfa5][^ref-932b990ab261]
A Taylor polynomial at a single point is only local data; a Wronskian, evaluation map or inflection locus is a different object. On singular bases the principal-parts sheaf may fail to be locally free, so the smooth-base rank and bundle claims require separate justification.[^ref-8171e8ae8c9a]
Manages Complexity¶
The infinitesimal-diagonal construction assembles local expansions into one sheaf that varies over the base. The order tower makes truncation explicit: for \(n\geq 1\), the kernel of \(P^n_X(L)\to P^{n-1}_X(L)\) is \(L\otimes\operatorname{Sym}^n\Omega^1_X\) under the smooth assumptions. This separates the carrier's rank from the possibly smaller image rank of a chosen section map.[ref-8171e8ae8c9a][ref-d708a755cfa5]
Abstract Reasoning¶
At order zero, only section values remain, so the bundle is \(L\). At order one, the extra kernel is \(L\otimes\Omega^1_X\); higher orders add symmetric cotangent layers. Hold \(X\), \(L\) and \(n\) fixed and change \(V\): the evaluation map and its rank-drop locus may change while \(P^n_X(L)\) does not. This counterfactual identifies the bundle independently of its applications.[ref-932b990ab261][ref-8171e8ae8c9a][^ref-14c71685e87d]
Knowledge Transfer¶
To use the pattern in a new algebraic-geometric problem, construct the order-indexed sheaf, establish smooth local freeness or state a singular replacement theory, and only then study a chosen section map. A finite locally free sheaf also has a vector-bundle total space with local affine-space trivializations, supporting the strict Fiber Bundle relation for this smooth-base identity. The sheaf itself should not be confused with that total space.[ref-8171e8ae8c9a][ref-b04e287e4427]
The order-indexed, locally compatible finite-jet carrier may suggest a wider abstraction, but these sources establish this algebraic-geometric construction. Any broader Prime would need separate cross-domain evidence.[^ref-8171e8ae8c9a]
Example¶
Smooth plane quartic. Its canonical line bundle supplies an order-two principal-parts bundle of rank three. The chosen three-dimensional canonical section space maps into it. A determinant rank drop yields the Wronskian ramification locus, whose points are the plane quartic's flexes. The input bundle remains the same if the question about that selected map is set aside.[^ref-8171e8ae8c9a]
Smooth projective scroll. Its hyperplane line bundle gives \(P^k_X(L)\) of rank \(\binom{d+k}{k}\). Embedding sections map into it, and under the paper's stated conditions an image-rank drop below \(kd+1\) yields the \(k\)th inflectional locus. The scroll bound is not a universal rank formula for the bundle.[ref-14c71685e87d][ref-d708a755cfa5]
Relationships to Other Abstractions¶
Current abstraction Bundle of Principal Parts Domain-specific
Parents (1) — more general patterns this builds on
-
Bundle of Principal Parts is a kind of Fiber Bundle Domain-specific
On a smooth base, finite local freeness makes the principal-parts sheaf an algebraic vector bundle, a Fiber Bundle subtype.
Hierarchy path (1) — routes to 1 parentless root
- Bundle of Principal Parts → Fiber Bundle → Mathematical structure → Set and Membership
Neighborhood in Abstraction Space¶
Bundle of Principal Parts sits in a sparse region of the domain-specific corpus (79th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Ideal sheaf — 0.83
- Étale morphism — 0.82
- Ringed Space — 0.82
- Zariski Tangent Space — 0.82
- Picard Group — 0.82
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
A principal-parts bundle is not a fixed-origin jet group, a section-evaluation map, a Wronskian, or a rank-drop locus. Its line-bundle input is its order-zero case, not generally its higher-order output. A singular-base principal-parts sheaf is not automatically locally free.[ref-8171e8ae8c9a][ref-14c71685e87d]
References¶
[^ref-932b990ab261]: The Stacks Project, “Finite order differential operators,” §17.29, especially Lemma 17.29.3, Definition 17.29.4 and Lemma 17.29.6. Defines modules of principal parts, their order-surjections and the first-order exact sequence. The higher-order smooth local-freeness formula is supported by the other sources.
[^ref-8171e8ae8c9a]: Letterio Gatto and Andrea T. Ricolfi, “Jet bundles on Gorenstein curves and applications”, 2019 author-authored survey, §1.3 Proposition 1.3, §1.4 Lemma 1.8, and §§3.1–3.3. Gives the diagonal construction, smooth locally free sequence and classical curve examples. Its historical curve results are surveyed rather than newly proved here.
[^ref-d708a755cfa5]: Raquel Mallavibarrena and Ragni Piene, “On fundamental forms and osculating bundles”, 2024, §2. Under its stated smooth embedded-setting hypotheses, gives the binomial rank, exact sequence and truncated Taylor description.
[^ref-14c71685e87d]: Antonio Lanteri, Raquel Mallavibarrena and Ragni Piene, “Inflectional loci of scrolls”, 2007, §1. Original scroll study defining the section-to-principal-parts map, osculating spaces and the inflection locus under its numerical and generic-rank conditions.
[^ref-b04e287e4427]: The Stacks Project, “Vector bundles,” §27.6, Definition 27.6.1. Associates a relative-Spec vector-bundle total space to a quasi-coherent sheaf; finite local freeness supplies local affine-space trivializations.