Tautological bundle¶
Over a Grassmannian of fixed-rank subspaces, the fiber above each point is the very subspace that point denotes.
Core Idea¶
The tautological bundle over a Grassmannian attaches to each point the very subspace that point denotes. A point W is a fixed-rank subspace of a declared ambient vector space. The bundle collects pairs (W, v) with v in W and projects each pair to W, so the fiber above W is exactly W. The ambient field and geometric category matter.[ref-4abaca7a0f3b][ref-623cdcd7ae9b]
Use Within the Domain¶
Hatcher constructs the real rank-n Grassmann bundle and proves its local vector-bundle structure. In complex projective space, McMullen describes the holomorphic rank-one subline bundle, called O(-1) under that convention. The real higher-rank and complex line cases share the same exact fiber-equals-selected-subspace rule; their rank, field and category differ.[ref-4abaca7a0f3b][ref-623cdcd7ae9b]
The accepted parent is Fiber Bundle by strict subsumption. The tautological bundle has a base, total space, projection and local product charts, then adds the incidence rule. Mathematical Structure is reached through Fiber Bundle. A direct edge to the current live Grassmannian entry is withheld because its Plücker/projective frame is not proved across these full cases.
Clarity¶
Ask what each base point denotes and whether its fiber is that very subspace. A Grassmannian alone has the parameter points but not the bundle's incidence vectors. A generic line bundle over the same base need not attach the line each point names. A quotient or dual bundle has a different fiber rule.[ref-4abaca7a0f3b][ref-623cdcd7ae9b]
Manages Complexity¶
The pair-and-projection description makes it possible to recognize the same construction across ranks and fields without treating all its consequences as defining features. Local triviality still needs proof in the relevant category. Hatcher's classification theorem for paracompact bases using the infinite Grassmannian is a further result, not a prerequisite for a finite tautological bundle.[^ref-4abaca7a0f3b]
Abstract Reasoning¶
At a proposed base point W, compute the projection's fiber. If it is W and the projection has compatible local vector-bundle charts, the tautological identity is present. Replacing the fiber by a quotient V/W, a dual W*, or an unrelated vector space changes the object even if the base remains the same.[ref-4abaca7a0f3b][ref-623cdcd7ae9b]
Knowledge Transfer¶
The role test transfers within geometry from the complex projective line case to real higher-rank Grassmannians: declare the ambient setting, identify the subspace each point names, form incidence pairs, and verify the local bundle condition. The notation O(-1) and holomorphic structure belong to the complex line member; a universal classification claim needs its own hypotheses.[ref-4abaca7a0f3b][ref-623cdcd7ae9b]
Example¶
Complex line: a projective point [Z] names the line spanned by Z. The fiber above [Z] is that line, giving McMullen's tautological O(-1) subline bundle. Its dual O(1) is related but distinct.[^ref-623cdcd7ae9b]
Real higher rank: a point W of a real Grassmannian names an n-plane with n greater than one. Hatcher's bundle pairs W with each vector lying in W and projects back to W. The fiber is exactly W and local trivializations make it a vector bundle.[^ref-4abaca7a0f3b]
Relationships to Other Abstractions¶
Current abstraction Tautological bundle Domain-specific
Parents (1) — more general patterns this builds on
-
Tautological bundle is a kind of Fiber Bundle Domain-specific
The tautological incidence projection is a locally trivial fiber bundle with a fiber-equals-selected-subspace differentia.
Hierarchy path (1) — routes to 1 parentless root
- Tautological bundle → Fiber Bundle → Mathematical structure → Set and Membership
Neighborhood in Abstraction Space¶
Tautological bundle sits in a moderately populated region (50th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Vector Bundles & Classifying Constructions (11 abstractions)
Nearest neighbors
- Line Bundle — 0.88
- Closed Immersion — 0.87
- Bundle metric — 0.86
- Sheaf — 0.85
- Holomorphic vector bundle — 0.85
Computed from structural-signature embeddings · 2026-10-17
Not to Be Confused With¶
The Grassmannian is the base, not the total incidence bundle. A quotient, dual or projective bundle can share a base yet replace the exact selected-subspace fiber. O(-1) identifies the complex projective rank-one case under a specified convention, not every tautological bundle. Hatcher's infinite-Grassmannian classification is a scoped theorem about pullbacks, not the definition.[ref-4abaca7a0f3b][ref-623cdcd7ae9b]
References¶
[^ref-4abaca7a0f3b]: Allen Hatcher, Vector Bundles and K-Theory, §1.2, printed pp. 28–29, especially Lemma 1.15 for local triviality; Theorem 1.16 begins on printed p. 29 and gives the paracompact infinite-Grassmannian classification. Full author-hosted lecture text inspected. The theorem is cited only as a scoped consequence. [^ref-623cdcd7ae9b]: Curtis T. McMullen, Complex Analysis on Riemann Surfaces, §11, printed pp. 62–63. Full lecture text inspected through a Berkeley mirror; McMullen is the author, not the mirror host. The projective subline bundle is \(\mathcal O(-1)\), and its dual is \(\mathcal O(1)\) in that convention.