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

Discussion Tag Cloud

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.
    • CommentAuthorTobias Fritz
    • CommentTimeDec 5th 2020

    Does anyone know if there is a definition/construction of spinor bundles which starts with a plain manifold, rather than with a manifold equipped with a metric?

    Or to ask an equivalent question: given two Riemannian manifolds with spin structures and a diffeomorphism which preserves the spin structures, is it possible to pull back sections of the spinor bundle from one manifold to the other? And prior to that, what “should” it even mean for a diffeomorphism to preserve the spin structure?

    I’d appreciate any pointers to the literature or other sort of input that people here might have.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeDec 5th 2020

    I would say the following:

    A spinor bundle on a plain manifold is associated to a lift of the structure group of its frame bundle through the homomorphism Spin(n)GL(n)Spin(n) \to GL(n) – but that factors, of course, as Spin(n)SO(n)O(n)GL(n)Spin(n) \to SO(n) \to O(n) \to GL(n), and hence lifting the structure group to Spin(n)Spin(n) implies/involves choosing G-structure for G=O(n)G= O(n), which is equivalent to a Riemannian metric. So a diffeomorphism preserving spinor bundles in this sense is necessarily also an isometry.

    A “spin structure” is – despite the traditional mess of terminogy – less information than a G-structure for G=SpinG = Spin, namely is just the homotopy class of the latter – its “shape”. Since O(n)GL(n)O(n) \to GL(n) is a weak homotopy equivalence/shape equivalence, a bare spin structure does not entail a Riemannian metric.

    But the notions of respect for all these structures run in parallel: In each case it’s a choice of equivalence between the domain structure and the pullback of the codomain structure.

    • CommentRowNumber3.
    • CommentAuthorTobias Fritz
    • CommentTimeDec 6th 2020

    That clarifies things, thank you!

    Just to double-check: my takeaway from those statements is that in absence of a metric, a spinor bundle is not determined by a spin structure. The consequence for my original question is that no, we cannot expect to get any functoriality for spinor fields other than with respect to isometries. Right?

    (BTW I’ve been ignoring orientations for the purposes of this question in order to focus on the metric. I guess I should have inserted “orientation-preserving” in a few places.)

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeDec 7th 2020
    • (edited Dec 7th 2020)

    a spinor bundle is not determined by a spin structure

    I think this depends on what “determined” means.

    Spin structures on M (when they exist) form a torsor over H^1(M,Z/2Z).

    If we now consider the infinite-dimensional moduli space S of Riemannian metrics on M, over each point s∈S we have an H^1(M,Z/2Z)-torsor of spin structures compatible with the given Riemannian metric s. These torsors assemble together in a principal H^1(M,Z/2Z)-bundle over S.

    Since S is convex, the total space of this principal bundle splits as a disjoint union of copies of S, where the disjoint union is indexed by a torsor over H^1(M,Z/2Z).

    Elements of this torsor can be reasonably considered spin structures on M, without a choice of a Riemannian metric.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeDec 7th 2020

    So that’s the difference between the homotopical and the differential geometric notion that I tried to highlight:

    A spin structure on XX is a choice of lift in

    X BSpin(n) FrX BGL(n) \array{ X && \longrightarrow && B Spin(n) \\ & {}_{\mathllap{\vdash Fr X}}\searrow &\swArrow& \swarrow \\ & & B GL(n) }

    this happening in bare homotopy types, with BGB G denoting the homotopy type of the classifying space of that name.

    A smooth spin-bundle though is a choice of lift in

    X BSpin(n) FrX BGL(n) \array{ X && \longrightarrow && \mathbf{B} Spin(n) \\ & {}_{\mathllap{\vdash Fr X}}\searrow &\swArrow& \swarrow \\ & & \mathbf{B} GL(n) }

    where now BG\mathbf{B} G denotes the smooth classifying stack. This latter lift is fancy notation for the usual notion of a smooth spin-bundle lifting the frame bundle Fr(X)Fr(X), but it highlights that there is the forgetful functor from smooth spin bundles to spin structures, given by the shape unit (the “geometric realization”)

    BGBG \mathbf{B}G \longrightarrow B G

    which forgets the smooth aspect structure, and in particular the metric implied by a smooth spin bundle-lift of the tangent bundle.