prequatization differential cohomology and the genus
play

Prequatization, differential cohomology and the genus integration - PowerPoint PPT Presentation

Prequatization, differential cohomology and the genus integration Rui Loja Fernandes Department of Mathematics University of Illinois at Urbana-Champaign, USA 2nd Workshop S ao Paulo J. of Math. Sci. USP, November 2019 This talk is an


  1. Prequatization, differential cohomology and the genus integration Rui Loja Fernandes Department of Mathematics University of Illinois at Urbana-Champaign, USA 2nd Workshop S˜ ao Paulo J. of Math. Sci. USP, November 2019

  2. This talk is an exercise based on: ◮ Ivan Contreras & RLF, “Genus Integration, Abelianization and Extended Monodromy”, arXiv:1805.12043 . ◮ Discussions with Alejandro Cabrera on obstructions to strict deformation quantization.

  3. This talk is an exercise based on: ◮ Ivan Contreras & RLF, “Genus Integration, Abelianization and Extended Monodromy”, arXiv:1805.12043 . ◮ Discussions with Alejandro Cabrera on obstructions to strict deformation quantization. Aim: ◮ relationship between the classical prequantization condition and integration of Lie algebroids

  4. This talk is an exercise based on: ◮ Ivan Contreras & RLF, “Genus Integration, Abelianization and Extended Monodromy”, arXiv:1805.12043 . ◮ Discussions with Alejandro Cabrera on obstructions to strict deformation quantization. Aim: ◮ relationship between the classical prequantization condition and integration of Lie algebroids Wait!!! Wasn’t this solved a long time ago?!

  5. This talk is an exercise based on: ◮ Ivan Contreras & RLF, “Genus Integration, Abelianization and Extended Monodromy”, arXiv:1805.12043 . ◮ Discussions with Alejandro Cabrera on obstructions to strict deformation quantization. Aim: ◮ relationship between the classical prequantization condition and integration of Lie algebroids Wait!!! Wasn’t this solved a long time ago?! • M. Crainic, Prequantization and Integrability, J. Sympl. Geom. (2004)

  6. This talk is an exercise based on: ◮ Ivan Contreras & RLF, “Genus Integration, Abelianization and Extended Monodromy”, arXiv:1805.12043 . ◮ Discussions with Alejandro Cabrera on obstructions to strict deformation quantization. Aim: ◮ relationship between the classical prequantization condition and integration of Lie algebroids Wait!!! Wasn’t this solved a long time ago?! • M. Crainic, Prequantization and Integrability, J. Sympl. Geom. (2004) ... but this paper assumes manifold is 1-connected .

  7. The prequantization condition • ω ∈ Ω 2 ( M ) – closed 2-form ◮ Group of periods of ω : �� � Per( ω ) := ω : σ ∈ H 2 ( M , Z ) ⊂ ( R , +) σ ◮ Group of spherical periods of ω : �� � SPer( ω ) := ω : σ ∈ π 2 ( M ) ⊂ Per( ω ) σ

  8. The prequantization condition • ω ∈ Ω 2 ( M ) – closed 2-form ◮ Group of periods of ω : �� � Per( ω ) := ω : σ ∈ H 2 ( M , Z ) ⊂ ( R , +) σ ◮ Group of spherical periods of ω : �� � SPer( ω ) := ω : σ ∈ π 2 ( M ) ⊂ Per( ω ) σ Definition ( M , ω ) satisfies the prequantization condition if Per( ω ) ⊂ R is a discrete subgroup, i.e., if there exists a ∈ R such that Per( ω ) = a Z ⊂ R . One can also consider the weaker requirement that SPer( ω ) ⊂ R is a discrete subgroup. One of our aims is to understand the differences...

  9. The prequantization condition Notation: S 1 a := R / a Z Note that one can have a = 0 in which case S 1 0 = R .

  10. The prequantization condition Notation: S 1 a := R / a Z Note that one can have a = 0 in which case S 1 0 = R . Theorem (Souriau 1967, Kostant 1970) Let ω ∈ Ω 2 cl ( M ) . There exists a principal S 1 a -bundle π : P → M with connection θ ∈ Ω 1 ( P , R ) satisfying π ∗ ω = d θ if and only if Per( ω ) ⊂ a Z .

  11. The prequantization condition Notation: S 1 a := R / a Z Note that one can have a = 0 in which case S 1 0 = R . Theorem (Souriau 1967, Kostant 1970) Let ω ∈ Ω 2 cl ( M ) . There exists a principal S 1 a -bundle π : P → M with connection θ ∈ Ω 1 ( P , R ) satisfying π ∗ ω = d θ if and only if Per( ω ) ⊂ a Z . ◮ What are the possible such principal S 1 a -bundle π : P → M with connection θ ?

  12. The prequantization condition Notation: S 1 a := R / a Z Note that one can have a = 0 in which case S 1 0 = R . Theorem (Souriau 1967, Kostant 1970) Let ω ∈ Ω 2 cl ( M ) . There exists a principal S 1 a -bundle π : P → M with connection θ ∈ Ω 1 ( P , R ) satisfying π ∗ ω = d θ if and only if Per( ω ) ⊂ a Z . ◮ What are the possible such principal S 1 a -bundle π : P → M with connection θ ? The answer is provided by differential cohomology .

  13. Differential cohomology (Cheeger & Simons) Definition A differential character of degree k on M relative to a Z is a group homomorphism χ : Z k ( M ) → S 1 a for which there exists a closed form ω ∈ Ω k +1 ( M ) such that: cl � χ ( ∂σ ) = ω (mod a Z ) , ∀ σ ∈ C k +1 ( M ) . σ ˆ H k ( M , S 1 a ) = { differential characters of degree k }

  14. Differential cohomology (Cheeger & Simons) Definition A differential character of degree k on M relative to a Z is a group homomorphism χ : Z k ( M ) → S 1 a for which there exists a closed form ω ∈ Ω k +1 ( M ) such that: cl � χ ( ∂σ ) = ω (mod a Z ) , ∀ σ ∈ C k +1 ( M ) . σ ˆ H k ( M , S 1 a ) = { differential characters of degree k } ◮ ω is uniquely determined by the differential character χ and Per( ω ) ⊂ a Z : δ 1 : ˆ H k ( M , S 1 a ) → Ω k +1 a Z ( M ) , χ �→ ω.

  15. Differential cohomology (Cheeger & Simons) Definition A differential character of degree k on M relative to a Z is a group homomorphism χ : Z k ( M ) → S 1 a for which there exists a closed form ω ∈ Ω k +1 ( M ) such that: cl � χ ( ∂σ ) = ω (mod a Z ) , ∀ σ ∈ C k +1 ( M ) . σ ˆ H k ( M , S 1 a ) = { differential characters of degree k } ◮ ω is uniquely determined by the differential character χ and Per( ω ) ⊂ a Z : δ 1 : ˆ H k ( M , S 1 a ) → Ω k +1 a Z ( M ) , χ �→ ω. ◮ Choose lift ˜ χ : C k ( M ) → R and define c : C k +1 ( M ) → R by: � c ( σ ) := ω − ˜ χ ( ∂σ ) . σ Then c ∈ Z k +1 ( M , a Z ) and [ c ] ∈ H k +1 ( M , a Z ) does not depend on ˜ χ : δ 2 : ˆ H k ( M , S 1 a ) → H k +1 ( M , a Z ) , χ �→ [ c ] .

  16. Differential cohomology If r : H k +1 ( M , a Z ) → H k +1 ( M , R ) is the natural map, then: r ([ c ]) = [ ω ].

  17. Differential cohomology If r : H k +1 ( M , a Z ) → H k +1 ( M , R ) is the natural map, then: r ([ c ]) = [ ω ]. Theorem (Cheeger & Simons, 1985) There is a short exact sequence: ( δ 1 ,δ 2 ) � R k +1 ( M , a Z ) � ˆ H k ( M , R ) / r ( H k ( M , a Z )) H k ( M , S 1 a ) where: R • ( M , a Z ) = { ( ω, u ) ∈ Ω • a Z ( M ) × H • ( M , a Z ) : [ ω ] = r ( u ) } . - Differential cohomology provides a refinement of integral cohomology and differential forms with a Z -periods. - Differential cohomology has a graded ring structure: ∗ : ˆ H k ( M , S 1 a ) × ˆ H l ( M , S 1 a ) → ˆ H k + l +1 ( M , S 1 a ) and ( δ 1 , δ 2 ) is a ring homomorphism.

  18. Differential cohomology in degree 1

  19. Differential cohomology in degree 1 Example π : P → M be a principal S 1 a -bundle with connection θ ∈ Ω 1 ( P , R ) and curvature ω ∈ Ω 2 ( M ): π ∗ ω = d θ.

  20. Differential cohomology in degree 1 Example π : P → M be a principal S 1 a -bundle with connection θ ∈ Ω 1 ( P , R ) and curvature ω ∈ Ω 2 ( M ): π ∗ ω = d θ. Holonomy of the connection along a loop γ gives an element: χ ( γ ) ∈ S 1 a .

  21. Differential cohomology in degree 1 Example π : P → M be a principal S 1 a -bundle with connection θ ∈ Ω 1 ( P , R ) and curvature ω ∈ Ω 2 ( M ): π ∗ ω = d θ. Holonomy of the connection along a loop γ gives an element: χ ( γ ) ∈ S 1 a . Extend χ to any cycle γ + ∂σ ∈ Z 1 ( M ) by: � χ ( γ + ∂σ ) := χ ( γ ) + ω (mod a Z a ) . σ

  22. Differential cohomology in degree 1 Example π : P → M be a principal S 1 a -bundle with connection θ ∈ Ω 1 ( P , R ) and curvature ω ∈ Ω 2 ( M ): π ∗ ω = d θ. Holonomy of the connection along a loop γ gives an element: χ ( γ ) ∈ S 1 a . Extend χ to any cycle γ + ∂σ ∈ Z 1 ( M ) by: � χ ( γ + ∂σ ) := χ ( γ ) + ω (mod a Z a ) . σ This defines a differential character χ ∈ ˆ H 1 ( M , S 1 a ) with: ◮ δ 1 χ = ω ∈ Ω 2 a Z ( M ); ◮ δ 2 χ ∈ H 2 ( M , a Z ) the (integral) Chern class of the bundle.

  23. Differential cohomology in degree 1 Example π : P → M be a principal S 1 a -bundle with connection θ ∈ Ω 1 ( P , R ) and curvature ω ∈ Ω 2 ( M ): π ∗ ω = d θ. Holonomy of the connection along a loop γ gives an element: χ ( γ ) ∈ S 1 a . Extend χ to any cycle γ + ∂σ ∈ Z 1 ( M ) by: � χ ( γ + ∂σ ) := χ ( γ ) + ω (mod a Z a ) . σ This defines a differential character χ ∈ ˆ H 1 ( M , S 1 a ) with: ◮ δ 1 χ = ω ∈ Ω 2 a Z ( M ); ◮ δ 2 χ ∈ H 2 ( M , a Z ) the (integral) Chern class of the bundle. Note: one can have δ 1 χ = δ 2 χ = 0 with χ � = 0 (e.g., if M = S 1 ).

  24. � � � Differential cohomology in degree 1 Theorem (Cheeger & Simons, 1985) � � principal S 1 ˆ a -bundles H 1 ( M , S 1 a ) with connection ≃ � � isomorphism classes of principal S 1 a -bundles with connection

Recommend


More recommend