nLab
Oberwolfach Workshop, June 2009 -- Friday, June 12

Talk notes for the session of

  • Friday June 12

of

Corbett Redden: String structures and 3-forms

  • notational conventions

    • M n a smooth closed n-manifold

    • g a Riem. metric

    • SpinPM a principal Spin(n)-bundle

    • A a connection on P

    • S a string class

Outline

  • I {StringStructures}/ homotopy

  • II harmonic 4-forms on P

  • III geometry and tmf?

I. String structures

definition

  • BString is defined to be the homotopy fiber BString(n)BSpin(n)p 1/2K(,4)

  • a String structure on π:PM is a lift of the classifying map to BSpin through BStringBSpin

    P BString M BSpin\array{ P && B String \\ \downarrow &\nearrow& \downarrow \\ M &\to& B Spin }

Prop

  • String structure exists iff 12p 1(P)=0H 4(X,) (essentially by definition through homotopy fiber)

  • let i P * the pullback to the fiber of P, then we have
    $${String structures}/_{homotopy}
    \simeq_{canonical} {String classes}
    {\rho \in H^3(P,\mathbb{Z}) s. t. i_P^* \rho = 1 \in H^3(Spin, \mathbb{Z})}
  • {stringclass} is a torsor for H 3(M,) under ρρ+π H3(M)

Proof. universal example

K(,3) π *ESpin ESpin BString BSpin K(,4)\array{ K(\mathbb{Z},3) &\simeq& \pi^* E Spin &\to & E Spin \\ && B String &\to& B Spin &\to& K(\mathbb{Z}, 4) }

hm, here is my (Urs) description of the situation:

consider the following pasting diagram of homtopy pullbacks (P is the given Spin-bundle, P^ its String-lift)

String P^ * Spin P B 2U(1) * * X BString(n) BSpin(n)\array{ String &\to& \hat P &\to& {*} \\ \downarrow && \downarrow && \downarrow \\ Spin &\to& P &\to& B^2 U(1) &\to& {*} \\ \downarrow && \downarrow && \downarrow && \downarrow \\ {*} &\to& X &\to& B String(n) &\to& B Spin(n) }

Why String structures?

String structure on P transgresses Spin structure on loop space LSpinLPLM

but all the reps of this loop group are projective, so there is actually a central S 1 extension of LSpin in the game

LSpin^LSpin\hat {L Spin} \to L Spin

Need:

LSpin^ LP^ LSpin LP\array{ \hat {L Spin} &\to & \hat {L P} \\ \downarrow && \downarrow \\ L Spin &\to& L P }
ρH 3(P,)\rho \in H^3(P, \mathbb{Z}) \mapsto
(π !ev *)ρ H 2(LP,) iniv.ext. H 2(LG,)\array{ (\pi_! ev^*) \rho &\in& H^2(L P, \mathbb{Z}) \\ \downarrow && \downarrow \\ iniv. ext. && H^2(L G, \mathbb{Z}) }

(on the right: S 1-bundles)

** String orientation ** of tmf = topological modular forms

M O\langle 8\rangle^{-n} = M String &\stackrel{\sigma}{\to}& tmf^{-n}(pt) M O\langle 8\rangle^{-n} = M String &\stackrel{\sigma}{\to}& tmf^{-n}(pt)

so give a String manifold with a String class on Spin(TM)

M,ρ[M,ρ]σ(M,ρ)M , \rho \mapsto [M, \rho] \mapsto \sigma(M,\rho)
tmf σ MString Wittengenus ModForms\array{ && tmf \\ & {}^{\sigma}\nearrow & \downarrow \\ M String &\stackrel{Witten genus}{\to}& Mod Forms }

Wittengenus(M)=index S 1D LM

(by the way, σ is surjective on homotopy classes)

warning: I think above my ρ should really be an S

II Harmonic representative of S

reminder

(M,g)Δ=dd *+d *d

H k(M,) HodgeΔ g *Ω k(M)H^k(M,\mathbb{R}) \simeq_{Hodge} \Delta^*_g \subset \Omega^k(M)

construction

start with (π:PM,g m,A)

choose a bininvariant metric

g ρ:=π *g mg sping_\rho := \pi^* g_m \oplus g_{spin}

where the direct sum comes from the splitting of tangent spaces T pP using the connection that we have

Introduce scaling factor δ>0

g ρ:=π *g mδ 2g sping_\rho := \pi^* g_m \oplus \delta^2 g_{spin}

take the “adiabatic limit” lim δ0

so now there is a 1-parameter family of metric on the bundle, and for each one can look at its Laplacian, so as δ tends to 0 something becomes singular and one has to be careful, but fortunately others already did that for us…

theorem (Mazzeo-Melrose, Dai, Forman)

the kernel KerΔ g ρ

  • extends smoothly to δ=0 (there is a smooth path in some Grassmannian space)

  • and comes from a filtration isomorphic to Serre SS for (SpinPM)

this means that

H k(P,)lim δ0KerΔ g ρ=:H k(P)\Rightarrow H^k(P, \mathbb{Z}) \stackrel{\simeq}{\to} \lim_{\delta \to 0} Ker \Delta_{g_\rho} =: H^k(P)

Theorem (Redden)

Given Pπg,A and 12p 1(P)=0

then

H 3(P,) H 3(P,) H 3(P) S CS 3(A) CS 3(A)π *H\array{ H^3(P, \mathbb{Z}) &\to& H^3(P,\mathbb{R}) &\to& H^3(P) \\ S &&\mapsto& CS_3(A)&& CS_3(A) - \pi^* H }

here CS 3(A) is the Chern-Simons 3-form of the spin-connection

and recall H 3(P) here denotes harmonic forms on P (should really be script font

remark

in genral

[ρ] g δ=CS 3(A)π *H+O(δ)¬π *Ω 3(M)[\rho]_{g_\delta} = CS_3(A) - \pi^* H + O(\delta) \not\in \pi^* \Omega^3(M)

if we have a product of two groups we accordingly would get CS of one connection minus CS of the other.

What is H?

(first digression)

theorem (Chern-Simons,…)

given (PM,A)frac12p 1^(A)H^ 4(M)

Ω 3 (M)Ω 3(M) toa H^ 4(M) H 4(M,) 0 H 12p 1(A)^ 12p 1(P)=0 \array{ \Omega^3_{\mathbb{Z}} &\to& (M)\Omega^3(M) &\stackrel{a}{to}& \hat H^4(M) &\to& H^4(M,\mathbb{Z}) &\to& 0 \\ && H &\mapsto& \hat{\frac{1}{2}p_1(A)} &\mapsto& \frac{1}{2}p_1(P) = 0 && }

in particular

H 3(M) 12p 1(A)^ /\array{ && \mathbb{R} \\ & {}^{\int H} \nearrow & \downarrow \\ \mathbb{Z}_3(M) &\stackrel{\hat {\frac{1}{2}p_1(A)}}{\to}& \mathbb{R}/\mathbb{Z} }

and secondly d *H=0

these two properties determine H uniquely up to harmonic forms 3(M)=kerΔ g

Equivariance

H ρ+π *ψ=H ρ+π *H4H_{\rho + \pi^* \psi} = H_\rho + \pi^* H4

where ψH 3(M,) H 4 3(M)

over all what this says is that if we go from

Metr(M)×A(P)×{StringClass} (g,A,S) Ω 3(P) CS 3(A)π *H q,A,S Ω 3(M) H g,Aρ\array{ Metr(M)\times A(P) \times \{String Class\} & (g,A,S) \\ \downarrow & \downarrow \\ \Omega^3(P) & CS_3(A) - \pi^* H_{q,A,S} \\ \downarrow & \downarrow \\ \Omega^3(M) & H_{g, A \rho} }
tmf n MString MF\array{ && tmf^{-n} \\ & \nearrow & \downarrow \\ M String &\stackrel{}{\to}& MF }

conjecture (S. Stolz) if M is String and admits a positive Ricci curvature metric, then Witten(M)=0

question: also σ(M,ρ)=0? no, no way!

hypothesis

If M is a Spin manifold that admits a metric and String structure (g,S) and A is the Levi-Civita connection

such that

  • Ric(g)>0

  • H g,s=0Ω 3(M)

σ(M,S)=0tmf n(pt)

example M=S 3=SU(2)

p 1H 4(S 3)=0p_1 \in H^4(S^3) = 0
H 3(S 3,)==numberofstringclassesH^3(S^3, \mathbb{Z}) = \mathbb{Z} = number of string classes
dH=d *H=0HH 3(S 3,)d H = d^* H = 0 \Rightarrow H \in H^3(S^3, \mathbb{R}) \simeq \mathbb{R}
StringClasses MString 3=π 3 S=tmf 3=/24\array{ String Classes \\ \downarrow \\ M String^{-3} = \pi_3^S = tmf^{-3} = \mathbb{Z}/{24} }

(can’t type the full diagram…)

consider a 1-parameter family of “berger metrics” on S 3

rescaling the fiber in the Hopf fibration S 1S 3S 2

Konrad Waldorf

Urs: I had to miss that and the following two talks, hopefully somebody else has notes. Konrad’s talk is based on his new article

one more

Mike Hopkins : Kervaire invariant one


Previous dayMain workshop page — No next day

Revised on June 15, 2009 06:10:33 by Urs Schreiber (134.100.222.156)