Nigel Hitchin (Oxford) Poisson 2012 Utrecht. August 2nd 2012

Similar documents
B-FIELDS, GERBES AND GENERALIZED GEOMETRY

THE GEOMETRY OF B-FIELDS. Nigel Hitchin (Oxford) Odense November 26th 2009

Courant algebroids, P-L T-duality and SUGRA. supergravity (of type II)

Heterotic Flux Compactifications

Poisson modules and generalized geometry

Generalized complex geometry and topological sigma-models

The Geometry behind Nongeometric Fluxes

Generalized complex geometry and supersymmetric non-linear sigma models

Generalized complex geometry

Dirac structures. Henrique Bursztyn, IMPA. Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012

Dedicated to the memory of Shiing-Shen Chern

DIFFERENTIAL GEOMETRY AND THE QUATERNIONS. Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013

Spin(10,1)-metrics with a parallel null spinor and maximal holonomy

Lectures on generalized geometry

EXERCISES IN POISSON GEOMETRY

1/2-maximal consistent truncations of EFT and the K3 / Heterotic duality

On the holonomy fibration

C-spaces, Gerbes and Patching DFT

Generalized complex geometry

Stable generalized complex structures

class # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS

Complex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let

Membrane σ-models and quantization of non-geometric flux backgrounds

Lie n-algebras, supersymmetry, and division algebras

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

Transverse geometry. consisting of finite sums of monomials of the form

Symplectic and Poisson Manifolds

Elements of differential geometry

Solvable Lie groups and the shear construction

The gauged WZ term with boundary

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD

Twisted Poisson manifolds and their almost symplectically complete isotropic realizations

Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations

V = 1 2 (g ijχ i h j ) (2.4)

Poisson geometry of b-manifolds. Eva Miranda

Smooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013

Generalized complex structures on complex 2-tori

Generalized Contact Structures

R-flux string sigma model and algebroid duality on Lie 3-algebroids

Gravitation: Tensor Calculus

TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES

THE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

Doubled Aspects of Vaisman Algebroid and Gauge Symmetry in Double Field Theory arxiv: v1 [hep-th] 15 Jan 2019

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

Orientation transport

Noncommutative Spacetime Geometries

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

1. Geometry of the unit tangent bundle

SYMPLECTIC GEOMETRY: LECTURE 5

Metrics and Holonomy

Hitchin Functionals, Generalized Geometry and an exploration of their significance for Modern Theoretical Physics

Chap. 1. Some Differential Geometric Tools

Non-associative Deformations of Geometry in Double Field Theory

Linear connections on Lie groups

Supergeometry and unified picture of fluxes

Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18

Special holonomy and beyond

MATH DIFFERENTIAL GEOMETRY. Contents

PREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

Infinitesimal Einstein Deformations. Kähler Manifolds

How to recognise a conformally Einstein metric?

Donaldson and Seiberg-Witten theory and their relation to N = 2 SYM

Generalized Geometry and the NS-NS Sector of Type II Supergravity

Topic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016

Dirac Structures on Banach Lie Algebroids

Let V, W be two finite-dimensional vector spaces over R. We are going to define a new vector space V W with two properties:

Left-invariant Einstein metrics

SOME EXERCISES IN CHARACTERISTIC CLASSES

UNIVERSITY OF DUBLIN

Hamiltonian flows, cotangent lifts, and momentum maps

DIRAC STRUCTURES FROM LIE INTEGRABILITY

Holonomy groups. Thomas Leistner. Mathematics Colloquium School of Mathematics and Physics The University of Queensland. October 31, 2011 May 28, 2012

[#1] Exercises in exterior calculus operations

HYPERKÄHLER MANIFOLDS

Eva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February

TOTALLY REAL SURFACES IN THE COMPLEX 2-SPACE

Math 225B: Differential Geometry, Final

COTANGENT MODELS FOR INTEGRABLE SYSTEMS

Hamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics. Manuel de León Institute of Mathematical Sciences CSIC, Spain

THE QUATERNIONIC HEISENBERG GROUP AND HETEROTIC STRING SOLUTIONS WITH NON-CONSTANT DILATON IN DIMENSIONS 7 AND 5

Quantising proper actions on Spin c -manifolds

AN ALMOST KÄHLER STRUCTURE ON THE DEFORMATION SPACE OF CONVEX REAL PROJECTIVE STRUCTURES

LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction

Integrating exact Courant Algebroids

Dierential geometry for Physicists

Deformations of coisotropic submanifolds in symplectic geometry

Cosmological solutions of Double field theory

Group Actions and Cohomology in the Calculus of Variations

Adiabatic limits of co-associative Kovalev-Lefschetz fibrations

Atiyah classes and homotopy algebras

Complex manifolds, Kahler metrics, differential and harmonic forms

The Atiyah bundle and connections on a principal bundle

Curvature homogeneity of type (1, 3) in pseudo-riemannian manifolds

Ultra-Hyperbolic Equations

arxiv: v2 [math.dg] 20 Feb 2017

HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY

Transcription:

GENERALIZED GEOMETRY OF TYPE B n Nigel Hitchin (Oxford) Poisson 2012 Utrecht August 2nd 2012

generalized geometry on M n T T inner product (X + ξ,x + ξ) =i X ξ SO(n, n)-structure

generalized geometry on M n T T inner product (X + ξ,x + ξ) =i X ξ SO(n, n)-structure type D n

extended generalized geometry on M n T 1 T inner product (X + λ + ξ,x + λ + ξ) =i X ξ + λ 2 SO(n +1,n)-structure type B n

C M Hull, Generalised geometry for M-theory, JHEP 07 (2007) D Baraglia, Leibniz algebroids, twistings and exceptional generalized geometry, arxiv: 1101.0856 P Bouwknegt, Courant algebroids and generalizations of geometry, String-Math 2011 Roberto Rubio Mario Garcia Fernandez

so(n +1,n)=Λ 2 T + T + End T + T + Λ 2 T A T,B Λ 2 T

so(n +1,n)=Λ 2 T + T + End T + T + Λ 2 T A T,B Λ 2 T X + λ + ξ X +(λ + i X A)+(ξ 2λA i X AA) X + λ + ξ X + λ + ξ + i X B

ACTION ON VECTORS so(n +1,n)=Λ 2 T + T + End T + T + Λ 2 T A T,B Λ 2 T X + λ + ξ X +(λ + i X A)+(ξ 2λA i X AA) X + λ + ξ X + λ + ξ + i X B (A, B).(A,B )=(A + A,B+ B 2A A )

SPINORS exterior algebra Λ T τ(ϕ) =( 1) deg ϕ ϕ Clifford multiplication (X + λ + ξ) ϕ = i X ϕ + λτϕ + ξ ϕ exp B(ϕ) =e B ϕ exp A(ϕ) =e Aτ ϕ = ϕ A τϕ

SPINORS exterior algebra Λ T τ(ϕ) =( 1) deg ϕ ϕ Clifford multiplication (X + λ + ξ) ϕ = i X ϕ + λτϕ + ξ ϕ exp B(ϕ) =e B ϕ exp A(ϕ) =e Aτ ϕ = ϕ A τϕ

AUTOMORPHISMS generalized diffeomorphisms GDiff(M) =Diff(M) Ω 2+1 cl Ω 2+1 cl = {(A, B) Ω 1 Ω 2 : da = db =0} (A, B).(A,B )=(A + A,B+ B 2A A ) 0 Ω 2 cl Ω2+1 cl Ω 1 cl 0 central extension

generalized vector field u = X + λ + ξ u X dλ dξ gdiff(m) Lie derivative on T +1+T = Dorfman bracket Lie derivative on spinors d(u ϕ)+u dϕ

skew-symmetrize action on T +1+T, get a Courant bracket [u, fv] =f[u, v]+(xf)v (u, v)df [[u, v],w]+...= 1 d(([u, v],w)+...) 3 Z Chen, M Stienon and P Xu, On regular Courant algebroids, arxiv: 0909.0319

WHAT S NEW?

G 2 2 -STRUCTURES TWISTING AND COHOMOLOGY CONNECTIONS, TORSION AND CURVATURE

G2 2 MANIFOLDS 22

G 2 2 SO(4, 3) stabilizer of a non-null spinor ρ Λ T, ρ = ρ 0 + ρ 1 + ρ 2 + ρ 3 ρ, ρ = ρ 0 ρ 3 ρ 1 ρ 2 =0

G 2 2 SO(4, 3) stabilizer of a non-null spinor ρ Λ T, ρ = ρ 0 + ρ 1 + ρ 2 + ρ 3 ρ, ρ = ρ 0 ρ 3 ρ 1 ρ 2 =0 G 2 2 manifold: M 3 + closed form ρ with ρ, ρ =0

{f, g} = df dg ρ 1 ρ, ρ Poisson structure

EXAMPLES ρ =1+ρ 3, ρ 3 volume form. ρ 0 =0 ρ 1 ρ 2 =0 non-vanishing closed 1-form ρ 1 M 3 fibres over a circle. p : M S 1, ρ 1 λp dθ <, λ Q

ρ = ρ 1 + ρ 2 unique vector field X such that i X ρ 2 =0,i X ρ 1 =1

ρ = ρ 1 + ρ 2 unique vector field X such that i X ρ 2 =0,i X ρ 1 =1 p : M S 1, p dθ = ρ 1 ρ 2 = symplectic form on fibre, L X ρ 2 = d(i X ρ 2 )=0 mapping torus of a symplectic diffeomorphism of surface

QUESTIONS IF ρ, ρ ARE COHOMOLOGOUS AND SUFFICIENTLY CLOSE, ARE THEY EQUIVALENT UNDER A GENERALIZED DIF- FEOMORPHISM? WHICH COHOMOLOGY CLASSES CONTAIN G 2 2 STRUC- TURES?

QUESTIONS IF ρ, ρ ARE COHOMOLOGOUS AND SUFFICIENTLY CLOSE, ARE THEY EQUIVALENT UNDER A GENERALIZED DIF- FEOMORPHISM? WHICH COHOMOLOGY CLASSES CONTAIN G 2 2 STRUC- TURES?

ρ ρ = dϕ ρ t = ρ + tdϕ find generalized vector field u t such that u t ρ t = ϕ... integrate to a generalized diffeomorphism (Moser argument)

u T +1+T, ρ Λ T π : Λ T Λ T /Λ 3 T ρ 0 = 0 then u π(u ρ) is invertible

ρ 0 = 0? Assume ρ 1 = p dθ image u u ρ is {ψ : ρ, ψ =0} ϕ 2 ϕ 2 + λρ 2 ρ, ϕ = ρ 1 ϕ 2 + ρ 2 ϕ 1 ρ 3 ϕ 0 = dα

ρ 0 = 0? Assume ρ 1 = p dθ image u u ρ is {ψ : ρ, ψ =0} ϕ 2 ϕ 2 + λρ 2 ρ, ϕ = ρ 1 ϕ 2 + ρ 2 ϕ 1 ρ 3 ϕ 0 = dα integrate over fibres, α fρ 2 = dβ + ρ 1 γ dα = df ρ 2 ρ 1 dγ

QUESTIONS IF ρ, ρ ARE COHOMOLOGOUS AND SUFFICIENTLY CLOSE, ARE THEY EQUIVALENT UNDER A GENERALIZED DIF- FEOMORPHISM? WHICH COHOMOLOGY CLASSES CONTAIN G 2 2 STRUC- TURES?

ρ 0 = 0, use A = ρ 1 /ρ 0,B = ρ 2 /ρ 0 transform to ρ 0 +(ρ 3 ρ 1 ρ 2 /ρ 0 ) ρ equivalent to ρ 0 (1 + vol)

ρ 0 = 0, use A = ρ 1 /ρ 0,B = ρ 2 /ρ 0 transform to ρ 0 +(ρ 3 ρ 1 ρ 2 /ρ 0 ) ρ equivalent to ρ 0 (1 + vol) ρ 0 = 0: which classes in H 1 (M 3, R) are represented by nonvanishing 1-forms? Answer: cone on faces of the unit ball in the Thurston norm.

TWISTING

D n generalized geometry, T + T identify T + T U with T + T V over U V X + ξ X + ξ + i X B UV B UV 1-cocycle in Ω 2 cl

D n generalized geometry, T + T identify T + T U with T + T V over U V X + ξ X + ξ + i X B UV B UV 1-cocycle in Ω 2 cl Courant algebroid 0 T E T 0

B n generalized geometry, T +1+T identify with (A UV,B UV ) 1-cocycle in Ω 2+1 cl Courant algebroid 0 T E L 0 0 1 L T 0

B n generalized geometry, T +1+T identify with (A UV,B UV ) 1-cocycle in Ω 2+1 cl Courant algebroid 0 T E L 0 0 1 L T 0 L Lie algebroid (like TP/U(1) for P a U(1)-bundle over M)

[(A UV,B UV )] H 1 (M, Ω 2+1 cl ) 0 Ω 2 cl Ω2+1 cl Ω 1 cl 0 sheaves H 1 (M, Ω 2 cl ) H1 (M, Ω 2+1 cl ) H 1 (M, Ω 1 cl ) δ H 2 (M, Ω 2 cl )

[(A UV,B UV )] H 1 (M, Ω 2+1 cl ) 0 Ω 2 cl Ω2+1 cl Ω 1 cl 0 sheaves H 1 (M, Ω 2 cl ) H1 (M, Ω 2+1 cl ) H 1 (M, Ω 1 cl ) δ H 2 (M, Ω 2 cl ) H 3 (M, R) H 2 (M, R) H 4 (M, R) δ(x) =x 2

[(A UV,B UV )] H 1 (M, Ω 2+1 cl ) 0 Ω 2 cl Ω2+1 cl Ω 1 cl 0 sheaves H 1 (M, Ω 2 cl ) H1 (M, Ω 2+1 cl ) H 1 (M, Ω 1 cl ) δ H 2 (M, Ω 2 cl ) H 3 (M, R) H 2 (M, R) H 4 (M, R) δ(x) =x 2 F Ω 2 cl F 2 = dh

Λ T U, Λ T V, identify with exp( A UV τ + B UV ) spinor bundle S, differential d

Λ T U, Λ T V, identify with exp( A UV τ + B UV ) spinor bundle S, differential d or... split extension, and get d + F τ + H : Ω Ω (d + F τ + H) 2 =0

WHAT IS THIS COHOMOLOGY?

Suppose F = curvature of a U(1)-connection connection form θ on principal bundle P d(h + θf )=0 P is T -dual to itself

T (α + θβ) =β θα T 1 (d + H + θf )T = (d + H + θf )

T (α + θβ) =β θα T 1 (d + H + θf )T = (d + H + θf ) (d + H + θf )(α + θτα) =(1+θτ)(dα + F τα+ Hα) τt (α + θτα) =τ(τα θα) =α + θτα

T τ = τt (τt ) 2 =1 H = H + θf closed 3-form (H, F )-twisted cohomology of M = τt -invariant part of d + H-cohomology of P.

T τ = τt (τt ) 2 =1 H = H + θf closed 3-form (H, F )-twisted cohomology of M = τt -invariant part of d + H-cohomology of P. Generalization of twisted K-theory?

CONNECTIONS AND TORSION

CONNECTIONS generalized connection on W = D : W E W D(fs)=fDs + df s (df T E) = ordinary connection + section of E End W u E,D u s =(Ds, u) W frame bundle, principal bundle...

TORSION generalized connection D : E E E torsion for affine connection : X Y Y X [X, Y ] Courant bracket [u, fv] =f[u, v]+(xf)v (u, v)df T (u, v, w) =(D uv D v u [u, v],w)+ 1 2 (D wu, v) 1 2 (D wv, u)

TORSION generalized connection D : E E E torsion for affine connection : X Y Y X [X, Y ] Courant bracket [u, fv] =f[u, v]+(xf)v (u, v)df T (u, v, w) =(D uv D v u [u, v],w)+ 1 2 (D wu, v) 1 2 (D wv, u) D preserves inner product torsion in Λ 3 E

T T T π Λ 2 T torsion for affine connection = p d

T T T π Λ 2 T torsion for affine connection = p d spinors S, D : S E S Dirac operator: S D E S Cliff S torsion = Cliff D d

METRICS generalized metric: reduction of SO(n +1,n) structure of T +1+T (or E) tos(o(n + 1) O(n)) rank n subbundle V E on which induced metric is negative definite. V positive definite e.g. V = {X gx T +1+T },V = {X + λ + gx}

PROBLEM: FIND A TORSION-FREE GENERALIZED CONNECTION WHICH PRESERVES THE GENERALIZED METRIC

PROBLEM: FIND A TORSION-FREE GENERALIZED CONNECTION WHICH PRESERVES THE GENERALIZED METRIC E = V V V = T,V = 1 T take Levi-Civita and trivial connection on 1 and add on terms so that Cliff D = d A Coimbra, C Strickland-Constable and D Waldram, Supergravity as generalized geometry I: Type II theories, arxiv: 1107.1733

V = {X = X gx},v + = {X + = X + gx},v 0 =1 add terms in Λ 2 V (V + V 0 + V + ) and Λ 2 (V 0 + V + ) (V + V 0 + V + ) so that Cliff D = d + F τ + H

dϕ = gx i i ϕ = 1 2 (X+ i X i ) iϕ H ϕ = 1 48 H ijk(x + i X i ) (X+ j X j ) (X+ k X k ) ϕ F τϕ = 1 8 F ij(x i + Xi ) (X+ j Xj ) X 0 ϕ

Λ 2 V (V + V 0 + V + ) (H ϕ) = 1 48 H ijkxi Xj X k ϕ (H ϕ) + = 1 16 H ijkx i X j X+ k ϕ (F τϕ) 0 = 1 8 F ijxi Xj X 0 ϕ

CURVATURE D u D v D v D u D [u,v]? Courant bracket [u, fv] =f[u, v]+(xf)v (u, v)df OK if (u, v) =0 Curvature End E V V

RICCI CONTRACTIONS (End V End V ) V V End V V V V V End V V V V V

RICCI CONTRACTIONS (End V End V ) V V End V V V V V End V V V V V generalized metric V E tangent vector Hom(V,V ) define generalized Ricci flow

RICCI CURVATURES End V V V V V V V = T (1 + T ) = Sym 2 T + Λ 2 T + T Sym 2 T : R i 1 4 H ijkh jk Λ 2 T : i H ijk

RICCI CURVATURES End V V V V V Sym 2 T : R i 1 4 H ijkh jk F ij F j Λ 2 T : i H ijk T : i F ij + 1 2 F ki H jki

RICCI CURVATURES End V V V V V Sym 2 T : R i 1 4 H ijkh jk F ij F j Λ 2 T : i H ijk T : i F ij + 1 2 F ki H jki 2 heterotic supergravity + U(1) gauge field