Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 22nd 2020

    I have tried my hand at an illustration: here

    diff, v12, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 22nd 2020

    added cross-link with Möbius strip

    diff, v13, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 21st 2021

    Brought in the dual tautological line bundle (here).

    Tried to clearly sort out the evident subtlety of when the tautological bundle appears, and when its dual. Unless I am mixed up, we have:

    • The evident map out of the total space of the tautological line bundle exhibits the blow-up.

    • The evident map out of the total space of the dual tautological line bundle exhibits its Thom space as the next higher projective space.

    diff, v16, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 24th 2021
    • (edited Jan 25th 2021)

    I have added remark on the equivalence kP n+1Th( kP n)k P^{n + 1} \simeq Th\big( \mathcal{L}_{k P ^n}\big) as nn ranges.

    Currently it reads like so:


    Under the canonical inclusion of projective spaces kP nkP n+1k P^n \hookrightarrow k P^{n+1} their dual tautological line bundles (eq:DualTautologicalBundleProjection) evidently pullback to each other, and their total spaces compatibly include into each other:

    [v,z] [(0,v),z] kP n * kP n+1 * (pb) kP n kP n+1 [v] [(0,v)]. \array{ [v,z] &\mapsto& [(0,v),z] \\ \mathcal{L}^\ast_{k P^n} & \overset{\;\;\;\;\;\;}{\hookrightarrow} & \mathcal{L}^\ast_{k P^{n+1}} \\ \big\downarrow &{}^{{}_{(pb)}}& \big\downarrow \\ k P^n & \overset{\;\;\;\;\;\;}{\hookrightarrow} & k P^{n+1} & \\ [v] &\mapsto& [(0,v)] \,. }

    Here the coordinate expressions make manifest that the induced inclusions of the Thom spaces of the tautological line bundles recover, under the identification (eq:ThomSpaceOfDualTautologicalBundleIsNextProjectiveSpace), the canonical inclusion of the projective spaces:

    [(v,z)] [v,z] [(0,v),z] [(0,v,z)] kP n+1 = Th( kP n *) Th( kP n+1 *) = kP n+2 zerosection zerosection kP n = kP n kP n+1 = kP n+1 [v] [v] [(0,v)] [(0,v)]. \array{ [(v,z)] &\mapsto& [v,z] &\mapsto& [(0,v),z] &\mapsto& [(0,v,z)] \\ k P^{n+1} &=& Th \big( \mathcal{L}^\ast_{k P^n} \big) & \overset{\;\;\;\;\;\;}{\hookrightarrow} & Th \big( \mathcal{L}^\ast_{k P^{n+1}} \big) &=& k P^{n+2} \\ && {}^{\mathllap{zero \atop section}} \big\uparrow && \big\uparrow {}^{\mathrlap{zero \atop section}} \\ k P^n &=& k P^n & \overset{\;\;\;\;\;\;}{\hookrightarrow} & k P^{n+1} &=& k P^{n+1} \\ [v] &\mapsto& [v] &\mapsto& [(0,v)] &\mapsto& [(0,v)] \,. }

    Notice how, in this coordinatization, the projective spaces are horizontally included by adjoining a 0-coordinate to the left of the sequence and vertically by adjoining a 0-coordinate to the right.

    It follows that under forming a suitable colimit over this diagram as nn \to \infty, in a suitable category (typically in homotopy types of topological spaces if kk is a topological field, see also below), the infinite projective space wants to be equivalent to the Thom space of its dual tautological line bundle:

    kP kP +1Th( kP ). k P^\infty \;\simeq\; k P^{\infty + 1} \;\simeq\; Th \big( \mathcal{L}_{k P^\infty} \big) \,.

    See for instance this Lemma at universal complex orientation on MU.

    diff, v19, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 24th 2021

    I have fixed one typo in the ordering of factors, and took that as occasion to expand a bit more on the fine-print of ordering factors in the formulas, for the case over skew-fields.

    diff, v21, current

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 25th 2021

    Fixed minor typo:

    k n+1kkn+1summands k^{n+1} \coloneqq \underset{n+1\;summands}{\underbrace{k \oplus \cdots \oplus k}}

    It had “ksummandsk\;summands”.

    diff, v24, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 25th 2021
    • (edited Jan 25th 2021)

    Thanks.

    By the way, it’s remarkable how most of the literature glosses over the one non-trivial point of the whole discussion: the distiction between the roles of the tautological bundle and its dual.

    It’s the dual tautological bundle whose Thom space is naturally identified with the next projective space.

    The notation that I chose in the entry is meant to make this manifest.

    Compare to Tamaki-Kono 06, Part III, Lemma 3.8, who stand out as it not being beneath them to write the proof: Their lemma talks about the non-dual line bundle, but then in their proof a choice of isomorphism of the typical fiber with its dual is silently introduced (their dot product, second but last line of the page).

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2021

    Similarly, I inclined to complain that it is not the vector bundle itself that splits when pulled back to its own projective bundle, not naturally, but its dual bundle.

    I think I will edit accordingly at projective bundle. Once I have more wifi…

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 13th 2021
    • (edited Dec 13th 2021)

    I can’t see why it says here

    For more see at classifying space.

    Doesn’t seem anything particularly salient.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeDec 13th 2021

    It should, though. (The infinite projective space is the classifying space for line bundles, and its tautological line bundle is the universal one).

    But, yes, the entry “classifying space” is not yet doing justice to its title.