Solvable Lie groups and the shear construction

Size: px
Start display at page:

Download "Solvable Lie groups and the shear construction"

Transcription

1 Solvable Lie groups and the shear construction Marco Freibert jt. with Andrew Swann Mathematisches Seminar, Christian-Albrechts-Universität zu Kiel

2 1 Swann s twist 2 The shear construction The left-invariant shear The shear in general 3 Examples 4 Summary and Outlook

3 Setting of the twist Double fibration picture: Two principal A-bundles (A connected Abelian Lie group) P π π W M < A =AP A M =A > W endowed with a principal A P = A-connection 1-form θ Ω 1 (P, a P ) of π such that (i) the principal actions commute and (ii) H := ker θ is a connection also for π W. Call α Ω k M, α W Ω k W H-related (α H α W ) iff π α H = π W α W H. H for arb. tensor fields using T π(p) M H p T πw (p)w.

4 Setting of the twist Double fibration picture: Two principal A-bundles (A connected Abelian Lie group) P π π W M < A =AP A M =A > W endowed with a principal A P = A-connection 1-form θ Ω 1 (P, a P ) of π such that (i) the principal actions commute and (ii) H := ker θ is a connection also for π W. Call α Ω k M, α W Ω k W H-related (α H α W ) iff π α H = π W α W H. H for arb. tensor fields using T π(p) M H p T πw (p)w.

5 Pushing data down to M Idea: Construct W, θ, P from twist data on M. Twist data + properties of α Ω k M determine properties of H-related α W Ω k W. We have W = P/A M for the principal A M = A-action of πw. Induced curvature form ω Ω 2 (M, a P ) on M. A M -action on P descends to A M action on M. ξ a M X(P) inf. princ. action of πw is lift of induced inf. ξ action a M X(M) and (i) and (ii) from last slide L ξ θ = 0. (if ξ(a M ) ker θ = TP)

6 Pushing data down to M Idea: Construct W, θ, P from twist data on M. Twist data + properties of α Ω k M determine properties of H-related α W Ω k W. We have W = P/A M for the principal A M = A-action of πw. Induced curvature form ω Ω 2 (M, a P ) on M. A M -action on P descends to A M action on M. ξ a M X(P) inf. princ. action of πw is lift of induced inf. ξ action a M X(M) and (i) and (ii) from last slide L ξ θ = 0. (if ξ(a M ) ker θ = TP)

7 Lifting Abelian actions Proposition (Swann) An A M -action on M lifts to R n -action on P preserving θ iff (i) a C (M, a P a M ) with da = ξ ω and (ii) ξ ω = 0.

8 Lifting Abelian actions Proposition (Swann) An A M -action on M lifts to R n -action on P preserving θ iff (i) a C (M, a P a M ) with da = ξ ω and (ii) ξ ω = 0. Then L ξ ω = 0 and ξ = ξ + ρ π a with ξ : a M X(P) horizontal lift of ξ, ρ : a P X(P) inf. princ. A P -action of π.

9 Lifting Abelian actions Proposition (Swann) An A M -action on M lifts to R n -action on P preserving θ iff (i) a C (M, a P a M ) with da = ξ ω and (ii) ξ ω = 0. Then L ξ ω = 0 and ξ = ξ + ρ π a with ξ : a M X(P) horizontal lift of ξ, ρ : a P X(P) inf. princ. A P -action of π. Definition We call (a, ξ, ω) C (M, a P a M ) X(M) a M Ω2 (M, a P ) with invertible a fulfilling dω = 0 and (i) and (ii) from above twist data on M and W := P/ ξ(a M ) the twist of (M, a, ξ, F ) if smooth.

10 Some results If A M = T n and ω has integral periods, one can construct principal T n -bundle P and lift A M = T n -action on M to a T n -action on P preserving princ. conn. θ with curv. ω. For α Ω k M (!)α W Ω k W with α H α W L ξ α = 0. If this is the case, then: dα ( ξ a 1 α ) ω H d W α W. Differential on W equals twisted differential d ξ a 1 ω on M. Twist is invertible.

11 Some results If A M = T n and ω has integral periods, one can construct principal T n -bundle P and lift A M = T n -action on M to a T n -action on P preserving princ. conn. θ with curv. ω. For α Ω k M (!)α W Ω k W with α H α W L ξ α = 0. If this is the case, then: dα ( ξ a 1 α ) ω H d W α W. Differential on W equals twisted differential d ξ a 1 ω on M. Twist is invertible.

12 Examples HKT/SKT twists which are not hyperkähler/kähler from easy hyperkähler/kähler manifolds. E.g. HKT metrics on torus bundles over K3-surfaces Σ by twisting Σ T 4k with T 4k acting on right factor as usual (Swann). Twists of certain hyperkähler manifolds (after elementary deformations ) to hyperkähler manifolds (generalizing hyperkähler modifications) (Swann) quaternionic Kähler manifolds (reinterpretation and uniqueness of hk/qk correspondence of Haydys) (Maciá, Swann) Any compact nilmanifold by several twists from T n, see next slide.

13 The left-invariant twist G := M, P, H := W Lie groups, etc., (a, ξ, F ) left-invariant twist data ξ : a G g LA hom., a const., ω Λ 2 g a P closed with ξ ω = da = 0. Want to be able to twist every left-invariant form L ξ α = 0 α g ξ(a G ) is a central ideal in g. a P = ρ(a P ) p g is a central extension determined by ω and ξ(a G ) p h is a central extension as well.

14 The left-invariant twist G := M, P, H := W Lie groups, etc., (a, ξ, F ) left-invariant twist data ξ : a G g LA hom., a const., ω Λ 2 g a P closed with ξ ω = da = 0. Want to be able to twist every left-invariant form L ξ α = 0 α g ξ(a G ) is a central ideal in g. a P = ρ(a P ) p g is a central extension determined by ω and ξ(a G ) p h is a central extension as well. n nilpotent LA with LCS n = n 0, n 1,..., n r = {0} a := n r 1 central and n can be twisted to n/a a as LAs. n can be transformed to R N by r 1 successive twists.

15 The left-invariant twist G := M, P, H := W Lie groups, etc., (a, ξ, F ) left-invariant twist data ξ : a G g LA hom., a const., ω Λ 2 g a P closed with ξ ω = da = 0. Want to be able to twist every left-invariant form L ξ α = 0 α g ξ(a G ) is a central ideal in g. a P = ρ(a P ) p g is a central extension determined by ω and ξ(a G ) p h is a central extension as well. n nilpotent LA with LCS n = n 0, n 1,..., n r = {0} a := n r 1 central and n can be twisted to n/a a as LAs. n can be transformed to R N by r 1 successive twists.

16 The left-invariant shear Generalizing the twist Problem: Find a generalization such that all 1-connected solvable Lie groups can be obtained from R n, such that the space of invariant forms is not that restrictive (e.g., if g LA and X g not central α g with L X α 0) and such that the set of shear data is more general (e.g. dω 0 or ξ ω = 0 does not imply a constant).

17 The left-invariant shear Generalizing the twist Problem: Find a generalization such that all 1-connected solvable Lie groups can be obtained from R n, such that the space of invariant forms is not that restrictive (e.g., if g LA and X g not central α g with L X α 0) and such that the set of shear data is more general (e.g. dω 0 or ξ ω = 0 does not imply a constant). Solution in the left-invariant case: Consider arbitrary Abelian ideals/extensions instead of only central ones.

18 The left-invariant shear Abelian extensions An Abelian extension a P p g is determined by ω Λ 2 g a P, η g gl(a P ) with dω = η ω and η being a representation of g on a P. Reinterpretation of the data: η defines a flat connection on the trivial vector bundle F := G a P ω Ω 2 (G, F ) and dω = η ω is equivalent to d ω = 0. Using p = a P g as vector spaces, let θ : p a P p be the projection. Then θ Ω 1 (P, π F ) with d θ = π ω.

19 The left-invariant shear Abelian extensions An Abelian extension a P p g is determined by ω Λ 2 g a P, η g gl(a P ) with dω = η ω and η being a representation of g on a P. Reinterpretation of the data: η defines a flat connection on the trivial vector bundle F := G a P ω Ω 2 (G, F ) and dω = η ω is equivalent to d ω = 0. Using p = a P g as vector spaces, let θ : p a P p be the projection. Then θ Ω 1 (P, π F ) with d θ = π ω.

20 The left-invariant shear Lifting LA homomorphisms Given ξ : a G g injective LA homomorphism, make ansatz ξ = ξ + ρ a : a G p with a : a G a P, ρ : a P p. Question: When is ξ(a G ) an Abelian ideal in p?

21 The left-invariant shear Lifting LA homomorphisms Given ξ : a G g injective LA homomorphism, make ansatz ξ = ξ + ρ a : a G p with a : a G a P, ρ : a P p. Question: When is ξ(a G ) an Abelian ideal in p? For the answer, set γ := a 1 ξ ω + a 1 ηa g gl(a G ) connection on trivial vector bundle E := G a G. Induced connections on E r F s, a Ω 0 (G, E F ), ξ : E TG, ρ : π F TP, ξ : π E TP bundle maps.

22 The left-invariant shear Lifting LA homomorphisms Given ξ : a G g injective LA homomorphism, make ansatz ξ = ξ + ρ a : a G p with a : a G a P, ρ : a P p. Question: When is ξ(a G ) an Abelian ideal in p? For the answer, set γ := a 1 ξ ω + a 1 ηa g gl(a G ) connection on trivial vector bundle E := G a G. Induced connections on E r F s, a Ω 0 (G, E F ), ξ : E TG, ρ : π F TP, ξ : π E TP bundle maps. For β Ω k (G, E r F s ) set L ξ β := d (ξ β) + ξ d β Ω k (G, E (r 1) F s ).

23 The left-invariant shear Lifting LA homomorphisms Given ξ : a G g injective LA homomorphism, make ansatz ξ = ξ + ρ a : a G p with a : a G a P, ρ : a P p. Question: When is ξ(a G ) an Abelian ideal in p? For the answer, set γ := a 1 ξ ω + a 1 ηa g gl(a G ) connection on trivial vector bundle E := G a G. Induced connections on E r F s, a Ω 0 (G, E F ), ξ : E TG, ρ : π F TP, ξ : π E TP bundle maps. For β Ω k (G, E r F s ) set L ξ β := d (ξ β) + ξ d β Ω k (G, E (r 1) F s ).

24 The left-invariant shear The left-invariant shear Proposition (F., Swann) (a) Let ξ : a G g as before. Then ξ(a G ) is an Abelian ideal in p iff (i) (, ξ) is torsion-free, i.e. [ξ(e 1 ), ξ(e 2 )] = ξ( ξ(e1)e 2 ξ(e2)e 1 ) e 1, e 2 Γ(E), (ii) ξ ω = 0 and (iii) L ξ α = 0 α g. If this is the case, all connections are flat and so ( d ) 2 = 0, L ξ ω = 0, L ξ θ = 0 and we call h := p/ ξ(a G ) the shear of g. (b) Any two solvable Lie algebras of the same dimension are related by a sequence of shears.

25 The left-invariant shear The left-invariant shear Proposition (F., Swann) (a) Let ξ : a G g as before. Then ξ(a G ) is an Abelian ideal in p iff (i) (, ξ) is torsion-free, i.e. [ξ(e 1 ), ξ(e 2 )] = ξ( ξ(e1)e 2 ξ(e2)e 1 ) e 1, e 2 Γ(E), (ii) ξ ω = 0 and (iii) L ξ α = 0 α g. If this is the case, all connections are flat and so ( d ) 2 = 0, L ξ ω = 0, L ξ θ = 0 and we call h := p/ ξ(a G ) the shear of g. (b) Any two solvable Lie algebras of the same dimension are related by a sequence of shears.

26 The shear in general Lifting certain bundle maps (I) Setting: (E, ), (F, ) flat vector bundles of the same rank k over M, ξ : E TM vb map such that (, ξ) is torsion-free, ω Ω 2 (M, F ) with d ω = 0,

27 The shear in general Lifting certain bundle maps (I) Setting: (E, ), (F, ) flat vector bundles of the same rank k over M, ξ : E TM vb map such that (, ξ) is torsion-free, ω Ω 2 (M, F ) with d ω = 0, π : P M surjective submersion with k-dimensional fibres, θ Ω 1 (P, π F ), ρ : π F TP vb map with θ ρ = id π F, dπ ρ = 0 and d θ = π ω.

28 The shear in general Lifting certain bundle maps (I) Setting: (E, ), (F, ) flat vector bundles of the same rank k over M, ξ : E TM vb map such that (, ξ) is torsion-free, ω Ω 2 (M, F ) with d ω = 0, π : P M surjective submersion with k-dimensional fibres, θ Ω 1 (P, π F ), ρ : π F TP vb map with θ ρ = id π F, dπ ρ = 0 and d θ = π ω.

29 The shear in general Lifting certain bundle maps (I) Setting: (E, ), (F, ) flat vector bundles of the same rank k over M, ξ : E TM vb map such that (, ξ) is torsion-free, ω Ω 2 (M, F ) with d ω = 0, π : P M surjective submersion with k-dimensional fibres, θ Ω 1 (P, π F ), ρ : π F TP vb map with θ ρ = id π F, dπ ρ = 0 and d θ = π ω. Question: Can one lift ξ to ξ : π E TP with L ξ θ = 0 and (, ξ) being torsion-free?

30 The shear in general Lifting certain bundle maps (I) Setting: (E, ), (F, ) flat vector bundles of the same rank k over M, ξ : E TM vb map such that (, ξ) is torsion-free, ω Ω 2 (M, F ) with d ω = 0, π : P M surjective submersion with k-dimensional fibres, θ Ω 1 (P, π F ), ρ : π F TP vb map with θ ρ = id π F, dπ ρ = 0 and d θ = π ω. Question: Can one lift ξ to ξ : π E TP with L ξ θ = 0 and (, ξ) being torsion-free? Remark L ξ θ = 0 ξ(e) preserves H = ker θ and [ ξ(e), ρ(f )] = 0 for all local parallel e Γ(π E), f Γ(π F ). (, ξ) torsion-free ξ(π E) involutive.

31 The shear in general Lifting certain bundle maps (II) Proposition (F., Swann) A lift ξ as on the last slide exists iff (i) a Ω 0 (M, E F ) = Hom(E, F ) with d a = ξ ω and (ii) ξ ω = 0. Then ξ = ξ + ρ π a and L ξ ω = 0.

32 The shear in general Lifting certain bundle maps (II) Proposition (F., Swann) A lift ξ as on the last slide exists iff (i) a Ω 0 (M, E F ) = Hom(E, F ) with d a = ξ ω and (ii) ξ ω = 0. Then ξ = ξ + ρ π a and L ξ ω = 0. Definition Shear data on M is given by (a, ξ, ω) Hom(E, F ) Hom(E, TM) Ω 2 (M, F ) with invertible a such that (ξ, ) is torsion-free, d ω = 0 and (i) and (ii) from the above proposition hold for (E, ), (F, ) flat vbs of the same rank. If there (P, θ, ρ) as before and ξ : π E TP is build as above, then the leaf space W := P/ ξ(π E) is called the shear of (M, a, ξ, ω) if it is smooth.

33 The shear in general Shearing differential forms Using H := ker θ, define the relation α H α W for α Ω k M and α W Ω k W as in the twist case. Then: For α Ω k M (!)α W Ω k W with α H α W iff L ξ α = 0 (new invariance condition). If α H α W, then dα ( ξ a 1 α ) ω H d W α W ( same relation for differentials).

34 A toy example (I) (N 4, σ 0 ) symplectic manifold (M, σ) := (N R t S 1 ϕ, σ 0 + dt dϕ) symplectic. Vbs E = M R = F, F can. flat conn., E flat conn. defined by closed γ Ω 1 (M), ξ : M R TM, ξ(1) = t. ω Ω 2 Z (N) principal S 1 -bdle π : P N, θ Ω 1 (P) princ. conn. with d θ = dθ = π ω, ρ inf. princ. action (extend everything trivially to M = N R S 1 /P R S 1 ).

35 A toy example (II) Investigate when a C (M) nowhere vanishing defines shear data (a, ξ, ω) s.t. we can shear σ 2 to σ 2 W with d W σ 2 W = 0: (a, ξ, ω) shear data da aγ = d a = t ω = 0 d log(a) = γ.

36 A toy example (II) Investigate when a C (M) nowhere vanishing defines shear data (a, ξ, ω) s.t. we can shear σ 2 to σ 2 W with d W σ 2 W = 0: (a, ξ, ω) shear data da aγ = d a = t ω = 0 d log(a) = γ. σ 2 = σ σ 0 dt dϕ is t -invariant but still L ξ σ2 = L t σ 2 + γ ( t σ 2) = γ dϕ σ 0 = 0 γ = fdϕ for f C (M).

37 A toy example (II) Investigate when a C (M) nowhere vanishing defines shear data (a, ξ, ω) s.t. we can shear σ 2 to σ 2 W with d W σ 2 W = 0: (a, ξ, ω) shear data da aγ = d a = t ω = 0 d log(a) = γ. σ 2 = σ σ 0 dt dϕ is t -invariant but still L ξ σ2 = L t σ 2 + γ ( t σ 2) = γ dϕ σ 0 = 0 γ = fdϕ for f C (M). 0 = d W σ 2 W = dσ2 a 1 ( t σ 2) ω = a 1 dϕ σ 0 ω σ 0 ω = 0.

38 A toy example (II) Investigate when a C (M) nowhere vanishing defines shear data (a, ξ, ω) s.t. we can shear σ 2 to σ 2 W with d W σ 2 W = 0: (a, ξ, ω) shear data da aγ = d a = t ω = 0 d log(a) = γ. σ 2 = σ σ 0 dt dϕ is t -invariant but still L ξ σ2 = L t σ 2 + γ ( t σ 2) = γ dϕ σ 0 = 0 γ = fdϕ for f C (M). 0 = d W σ 2 W = dσ2 a 1 ( t σ 2) ω = a 1 dϕ σ 0 ω σ 0 ω = 0. Hence, (a, ξ, ω) shear data s.t. we can shear σ 2 to σ 2 W with d W σ 2 W = 0 a C (S 1 ) nowhere vanishing with d log(a) = γ and σ 0 ω = 0. In the twist case: a C R \ {0}. So more flexibility here. However, the shear W is always diffeomorphic to P S 1 and σ 2 W = π σ a π σ 0 θ dϕ.

39 A toy example (II) Investigate when a C (M) nowhere vanishing defines shear data (a, ξ, ω) s.t. we can shear σ 2 to σ 2 W with d W σ 2 W = 0: (a, ξ, ω) shear data da aγ = d a = t ω = 0 d log(a) = γ. σ 2 = σ σ 0 dt dϕ is t -invariant but still L ξ σ2 = L t σ 2 + γ ( t σ 2) = γ dϕ σ 0 = 0 γ = fdϕ for f C (M). 0 = d W σ 2 W = dσ2 a 1 ( t σ 2) ω = a 1 dϕ σ 0 ω σ 0 ω = 0. Hence, (a, ξ, ω) shear data s.t. we can shear σ 2 to σ 2 W with d W σ 2 W = 0 a C (S 1 ) nowhere vanishing with d log(a) = γ and σ 0 ω = 0. In the twist case: a C R \ {0}. So more flexibility here. However, the shear W is always diffeomorphic to P S 1 and σ 2 W = π σ a π σ 0 θ dϕ.

40 Shears of calibrated G 2 -structures on almost Abelian Lie algebras A G 2 -structure ϕ Ω 3 M is called calibrated iff dϕ = 0. Calibrated G 2 -structures on 7d almost Abelian Lie algebras (aalas) g, i.e. g = R 6 R, have been clasified by F. Classification of all calibrated G 2 -structures on LAs of the form ( h 3 R 3) R (Exact result, see next slide): (1) Determination of all shears of calibrated G 2 -structures on aalas to calibrated G 2 -structures on LAs of the form ( h3 R 3) R (and more, e.g. also for cocalibrated). (2) Proof that any calibrated G 2 -structure on LA of the form ( h3 R 3) R can be sheared to one on an aala. (3) Left-invariant shear is invertible Classification.

41 Shears of calibrated G 2 -structures on almost Abelian Lie algebras A G 2 -structure ϕ Ω 3 M is called calibrated iff dϕ = 0. Calibrated G 2 -structures on 7d almost Abelian Lie algebras (aalas) g, i.e. g = R 6 R, have been clasified by F. Classification of all calibrated G 2 -structures on LAs of the form ( h 3 R 3) R (Exact result, see next slide): (1) Determination of all shears of calibrated G 2 -structures on aalas to calibrated G 2 -structures on LAs of the form ( h3 R 3) R (and more, e.g. also for cocalibrated). (2) Proof that any calibrated G 2 -structure on LA of the form ( h3 R 3) R can be sheared to one on an aala. (3) Left-invariant shear is invertible Classification. Recall: G 2 -structure ϕ Λ 3 g + orthogonal splitting g = u span(x ) induced almost Hermitian structure (g, J, ω = X ϕ u ) and an induced non-zero (3, 0)-form ρ = ϕ u on u.

42 Shears of calibrated G 2 -structures on almost Abelian Lie algebras A G 2 -structure ϕ Ω 3 M is called calibrated iff dϕ = 0. Calibrated G 2 -structures on 7d almost Abelian Lie algebras (aalas) g, i.e. g = R 6 R, have been clasified by F. Classification of all calibrated G 2 -structures on LAs of the form ( h 3 R 3) R (Exact result, see next slide): (1) Determination of all shears of calibrated G 2 -structures on aalas to calibrated G 2 -structures on LAs of the form ( h3 R 3) R (and more, e.g. also for cocalibrated). (2) Proof that any calibrated G 2 -structure on LA of the form ( h3 R 3) R can be sheared to one on an aala. (3) Left-invariant shear is invertible Classification. Recall: G 2 -structure ϕ Λ 3 g + orthogonal splitting g = u span(x ) induced almost Hermitian structure (g, J, ω = X ϕ u ) and an induced non-zero (3, 0)-form ρ = ϕ u on u.

43 Calibrated G 2 -structures on (h 3 R 3 ) R Theorem (F., Swann) g 7d LA with 6d ideal u = h 3 R 3, X u with X = 1, ϕ Λ 3 g G 2 -structure, U 1 := [u, u] J[u, u], U 2 := U 1 z(u), U 3 := z(u) u. Then ϕ is calibrated iff J[u, u] z(u) and (i) z(u) J-invariant, λ, µ R, lin. cpx. h ij : U i U j s. t. ( 2λI2 ) h 21 h 31 ad(x ) u = 0 3λI 2+µJ h 32+ h 0 0 λi 2 µj w.r.t. u = U 1 U 2 U 3, h : U 3 U 2 certain non-cpx. lin. map or (ii) z(u) not J-invariant, ρ [u,u] Λ 2 z(u) = 0 and h 1 sl(u, ρ) with h 1 U1 = 0, h 1 (z(u)) z(u) s. t. ad(x ) u = diag( 2λ, 6λ, 3λI 2, λi 2 ) + h 1 w.r.t. u = [u, u] J[u, u] U 2 U 3 for λ R specified by ρ and g.

44 Calibrated G 2 -structures on (h 3 R 3 ) R Theorem (F., Swann) g 7d LA with 6d ideal u = h 3 R 3, X u with X = 1, ϕ Λ 3 g G 2 -structure, U 1 := [u, u] J[u, u], U 2 := U 1 z(u), U 3 := z(u) u. Then ϕ is calibrated iff J[u, u] z(u) and (i) z(u) J-invariant, λ, µ R, lin. cpx. h ij : U i U j s. t. ( 2λI2 ) h 21 h 31 ad(x ) u = 0 3λI 2+µJ h 32+ h 0 0 λi 2 µj w.r.t. u = U 1 U 2 U 3, h : U 3 U 2 certain non-cpx. lin. map or (ii) z(u) not J-invariant, ρ [u,u] Λ 2 z(u) = 0 and h 1 sl(u, ρ) with h 1 U1 = 0, h 1 (z(u)) z(u) s. t. ad(x ) u = diag( 2λ, 6λ, 3λI 2, λi 2 ) + h 1 w.r.t. u = [u, u] J[u, u] U 2 U 3 for λ R specified by ρ and g.

45 Summary The shear naturally popes up in the left-invariant setting as a generalization of the twist by replacing central with Abelian extensions. The general shear is obtained by replacing principal bundles with Abelian structure group by foliated manifolds with tangent spaces of leaves being pullbacks of flat vector bundles. Analogous results for the shear when replacing exterior derivatives by covariant exterior derivatives and introducing covariant Lie derivatives.

46 Summary The shear naturally popes up in the left-invariant setting as a generalization of the twist by replacing central with Abelian extensions. The general shear is obtained by replacing principal bundles with Abelian structure group by foliated manifolds with tangent spaces of leaves being pullbacks of flat vector bundles. Analogous results for the shear when replacing exterior derivatives by covariant exterior derivatives and introducing covariant Lie derivatives. Shear led to some new left-invariant examples of geometric structures not attainable (left-invariantly) by the twist.

47 Summary The shear naturally popes up in the left-invariant setting as a generalization of the twist by replacing central with Abelian extensions. The general shear is obtained by replacing principal bundles with Abelian structure group by foliated manifolds with tangent spaces of leaves being pullbacks of flat vector bundles. Analogous results for the shear when replacing exterior derivatives by covariant exterior derivatives and introducing covariant Lie derivatives. Shear led to some new left-invariant examples of geometric structures not attainable (left-invariantly) by the twist.

48 Some open problems Find interesting non-invariant examples! Can one obtain (P, θ, ρ) under certain circumstances from data on M? Can one invert the shear?

Multi-moment maps. CP 3 Journal Club. Thomas Bruun Madsen. 20th November 2009

Multi-moment maps. CP 3 Journal Club. Thomas Bruun Madsen. 20th November 2009 Multi-moment maps CP 3 Journal Club Thomas Bruun Madsen 20th November 2009 Geometry with torsion Strong KT manifolds Strong HKT geometry Strong KT manifolds: a new classification result Multi-moment maps

More information

ELEMENTARY DEFORMATIONS AND THE HYPERKAEHLER / QUATERNIONIC KAEHLER CORRESPONDENCE

ELEMENTARY DEFORMATIONS AND THE HYPERKAEHLER / QUATERNIONIC KAEHLER CORRESPONDENCE ELEMENTARY DEFORMATIONS AND THE HYPERKAEHLER / QUATERNIONIC KAEHLER CORRESPONDENCE Oscar Macia (U. Valencia) (in collaboration with Prof. A.F. Swann) Aarhus, DK March 2, 2017 1 Planning Introduction and

More information

The Atiyah bundle and connections on a principal bundle

The Atiyah bundle and connections on a principal bundle Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata

More information

1. Geometry of the unit tangent bundle

1. Geometry of the unit tangent bundle 1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations

More information

NilBott Tower of Aspherical Manifolds and Torus Actions

NilBott Tower of Aspherical Manifolds and Torus Actions NilBott Tower of Aspherical Manifolds and Torus Actions Tokyo Metropolitan University November 29, 2011 (Tokyo NilBottMetropolitan Tower of Aspherical University) Manifolds and Torus ActionsNovember 29,

More information

Conification of Kähler and hyper-kähler manifolds and supergr

Conification of Kähler and hyper-kähler manifolds and supergr Conification of Kähler and hyper-kähler manifolds and supergravity c-map Masaryk University, Brno, Czech Republic and Institute for Information Transmission Problems, Moscow, Russia Villasimius, September

More information

On the holonomy fibration

On the holonomy fibration based on work with Alejandro Cabrera and Marco Gualtieri Workshop on Geometric Quantization Adelaide, July 2015 Introduction General theme: Hamiltonian LG-spaces q-hamiltonian G-spaces M Ψ Lg /L 0 G /L

More information

Elementary Deformations HK/QK. Oscar MACIA. Introduction [0] Physics [8] Twist [20] Example [42]

Elementary Deformations HK/QK. Oscar MACIA. Introduction [0] Physics [8] Twist [20] Example [42] deformations and the HyperKaehler/Quaternionic Kaehler correspondence. (Joint work with Prof. A.F. SWANN) Dept. Geometry Topology University of Valencia (Spain) June 26, 2014 What do we have 1 2 3 4 Berger

More information

Infinitesimal Einstein Deformations. Kähler Manifolds

Infinitesimal Einstein Deformations. Kähler Manifolds on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds

More information

Torus actions and Ricci-flat metrics

Torus actions and Ricci-flat metrics Department of Mathematics, University of Aarhus November 2016 / Trondheim To Eldar Straume on his 70th birthday DFF - 6108-00358 Delzant HyperKähler G2 http://mscand.dk https://doi.org/10.7146/math.scand.a-12294

More information

Stable bundles on CP 3 and special holonomies

Stable bundles on CP 3 and special holonomies Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M

More information

Twisted Poisson manifolds and their almost symplectically complete isotropic realizations

Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Tsing Hua University (Joint work

More information

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

class # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]

More information

Reduction of Homogeneous Riemannian structures

Reduction of Homogeneous Riemannian structures Geometric Structures in Mathematical Physics, 2011 Reduction of Homogeneous Riemannian structures M. Castrillón López 1 Ignacio Luján 2 1 ICMAT (CSIC-UAM-UC3M-UCM) Universidad Complutense de Madrid 2 Universidad

More information

H-projective structures and their applications

H-projective structures and their applications 1 H-projective structures and their applications David M. J. Calderbank University of Bath Based largely on: Marburg, July 2012 hamiltonian 2-forms papers with Vestislav Apostolov (UQAM), Paul Gauduchon

More information

Flat complex connections with torsion of type (1, 1)

Flat complex connections with torsion of type (1, 1) Flat complex connections with torsion of type (1, 1) Adrián Andrada Universidad Nacional de Córdoba, Argentina CIEM - CONICET Geometric Structures in Mathematical Physics Golden Sands, 20th September 2011

More information

HYPERKÄHLER MANIFOLDS

HYPERKÄHLER MANIFOLDS HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly

More information

GEOMETRIC QUANTIZATION

GEOMETRIC QUANTIZATION GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical

More information

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

Complex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition

More information

Manifolds with holonomy. Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016

Manifolds with holonomy. Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016 Manifolds with holonomy Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016 The list 1.1 SO(N) U( N 2 ) Sp( N 4 )Sp(1) SU( N 2 ) Sp( N 4 ) G 2 (N =7) Spin(7) (N =8) All act transitively on S N

More information

and the diagram commutes, which means that every fibre E p is mapped to {p} V.

and the diagram commutes, which means that every fibre E p is mapped to {p} V. Part III: Differential geometry (Michaelmas 2004) Alexei Kovalev (A.G.Kovalev@dpmms.cam.ac.uk) 2 Vector bundles. Definition. Let B be a smooth manifold. A manifold E together with a smooth submersion 1

More information

CHARACTERISTIC CLASSES

CHARACTERISTIC CLASSES 1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

More information

Complex manifolds, Kahler metrics, differential and harmonic forms

Complex manifolds, Kahler metrics, differential and harmonic forms Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on

More information

EXERCISES IN POISSON GEOMETRY

EXERCISES IN POISSON GEOMETRY EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible

More information

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.

More information

Contact pairs (bicontact manifolds)

Contact pairs (bicontact manifolds) Contact pairs (bicontact manifolds) Gianluca Bande Università degli Studi di Cagliari XVII Geometrical Seminar, Zlatibor 6 September 2012 G. Bande (Università di Cagliari) Contact pairs (bicontact manifolds)

More information

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

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1 Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines

More information

Quaternionic Complexes

Quaternionic Complexes Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534

More information

LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES

LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES BENJAMIN HOFFMAN 1. Outline Lie algebroids are the infinitesimal counterpart of Lie groupoids, which generalize how we can talk about symmetries

More information

Poisson geometry of b-manifolds. Eva Miranda

Poisson geometry of b-manifolds. Eva Miranda Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds

More information

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:

More information

Structure theorems for compact Kähler manifolds

Structure theorems for compact Kähler manifolds Structure theorems for compact Kähler manifolds Jean-Pierre Demailly joint work with Frédéric Campana & Thomas Peternell Institut Fourier, Université de Grenoble I, France & Académie des Sciences de Paris

More information

THE EXISTENCE PROBLEM

THE EXISTENCE PROBLEM THE EXISTENCE PROBLEM Contact Geometry in High Dimensions Emmanuel Giroux CNRS ENS Lyon AIM May 21, 2012 Contact forms A contact form on a manifold V is a non-vanishing 1-form α whose differential dα at

More information

Global aspects of Lorentzian manifolds with special holonomy

Global aspects of Lorentzian manifolds with special holonomy 1/13 Global aspects of Lorentzian manifolds with special holonomy Thomas Leistner International Fall Workshop on Geometry and Physics Évora, September 2 5, 2013 Outline 2/13 1 Lorentzian holonomy Holonomy

More information

LOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber)

LOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber) LOOP GROUPS AND CATEGORIFIED GEOMETRY Notes for talk at Streetfest (joint work with John Baez, Alissa Crans and Urs Schreiber) Lie 2-groups A (strict) Lie 2-group is a small category G such that the set

More information

Atiyah classes and homotopy algebras

Atiyah classes and homotopy algebras Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten

More information

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

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 SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).

More information

From holonomy reductions of Cartan geometries to geometric compactifications

From holonomy reductions of Cartan geometries to geometric compactifications From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science

More information

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University Grahamstown,

More information

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

Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results

More information

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

Eva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February

More information

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold

More information

Riemannian submersions and eigenforms of the Witten Laplacian

Riemannian submersions and eigenforms of the Witten Laplacian Proceedings of The Sixteenth International Workshop on Diff. Geom. 16(2012) 143-153 Riemannian submersions and eigenforms of the Witten Laplacian Hyunsuk Kang Department of Mathematics, Korea Institute

More information

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.

More information

Math 550 / David Dumas / Fall Problems

Math 550 / David Dumas / Fall Problems Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;

More information

Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

Metrics and Holonomy

Metrics and Holonomy Metrics and Holonomy Jonathan Herman The goal of this paper is to understand the following definitions of Kähler and Calabi-Yau manifolds: Definition. A Riemannian manifold is Kähler if and only if it

More information

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract

More information

Geometria Simplettica e metriche Hermitiane speciali

Geometria Simplettica e metriche Hermitiane speciali Geometria Simplettica e metriche Hermitiane speciali Dipartimento di Matematica Universitá di Torino 1 Marzo 2013 1 Taming symplectic forms and SKT geometry Link with SKT metrics The pluriclosed flow Results

More information

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

Spin(10,1)-metrics with a parallel null spinor and maximal holonomy Spin(10,1)-metrics with a parallel null spinor and maximal holonomy 0. Introduction. The purpose of this addendum to the earlier notes on spinors is to outline the construction of Lorentzian metrics in

More information

Dolbeault cohomology and. stability of abelian complex structures. on nilmanifolds

Dolbeault cohomology and. stability of abelian complex structures. on nilmanifolds Dolbeault cohomology and stability of abelian complex structures on nilmanifolds in collaboration with Anna Fino and Yat Sun Poon HU Berlin 2006 M = G/Γ nilmanifold, G: real simply connected nilpotent

More information

Many of the exercises are taken from the books referred at the end of the document.

Many of the exercises are taken from the books referred at the end of the document. Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the

More information

Riemannian and Sub-Riemannian Geodesic Flows

Riemannian and Sub-Riemannian Geodesic Flows Riemannian and Sub-Riemannian Geodesic Flows Mauricio Godoy Molina 1 Joint with E. Grong Universidad de La Frontera (Temuco, Chile) Potsdam, February 2017 1 Partially funded by grant Anillo ACT 1415 PIA

More information

Notes on the geometry of Lagrangian torus fibrations

Notes on the geometry of Lagrangian torus fibrations Notes on the geometry of Lagrangian torus fibrations U. Bruzzo International School for Advanced Studies, Trieste bruzzo@sissa.it 1 Introduction These notes have developed from the text of a talk 1 where

More information

COTANGENT MODELS FOR INTEGRABLE SYSTEMS

COTANGENT MODELS FOR INTEGRABLE SYSTEMS COTANGENT MODELS FOR INTEGRABLE SYSTEMS ANNA KIESENHOFER AND EVA MIRANDA Abstract. We associate cotangent models to a neighbourhood of a Liouville torus in symplectic and Poisson manifolds focusing on

More information

Moment Maps and Toric Special Holonomy

Moment Maps and Toric Special Holonomy Department of Mathematics, University of Aarhus PADGE, August 2017, Leuven DFF - 6108-00358 Delzant HyperKähler G 2 Outline The Delzant picture HyperKähler manifolds Hypertoric Construction G 2 manifolds

More information

Lecture 6: Principal bundles

Lecture 6: Principal bundles Lecture 6: Principal bundles Jonathan Evans 6th October 2010 Jonathan Evans () Lecture 6: Principal bundles 6th October 2010 1 / 12 Jonathan Evans () Lecture 6: Principal bundles 6th October 2010 2 / 12

More information

HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY

HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY TIMOTHY E. GOLDBERG These are notes for a talk given in the Lie Groups Seminar at Cornell University on Friday, September 25, 2009. In retrospect, perhaps

More information

Comparison for infinitesimal automorphisms. of parabolic geometries

Comparison for infinitesimal automorphisms. of parabolic geometries Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick

More information

Action-angle coordinates and geometric quantization. Eva Miranda. Barcelona (EPSEB,UPC) STS Integrable Systems

Action-angle coordinates and geometric quantization. Eva Miranda. Barcelona (EPSEB,UPC) STS Integrable Systems Action-angle coordinates and geometric quantization Eva Miranda Barcelona (EPSEB,UPC) STS Integrable Systems Eva Miranda (UPC) 6ecm July 3, 2012 1 / 30 Outline 1 Quantization: The general picture 2 Bohr-Sommerfeld

More information

THE MODULI SPACE OF TRANSVERSE CALABI YAU STRUCTURES ON FOLIATED MANIFOLDS

THE MODULI SPACE OF TRANSVERSE CALABI YAU STRUCTURES ON FOLIATED MANIFOLDS Moriyama, T. Osaka J. Math. 48 (211), 383 413 THE MODULI SPACE OF TRANSVERSE CALAI YAU STRUCTURES ON FOLIATED MANIFOLDS TAKAYUKI MORIYAMA (Received August 21, 29, revised December 4, 29) Abstract In this

More information

Lecture 5. vector bundles, gauge theory

Lecture 5. vector bundles, gauge theory Lecture 5 vector bundles, gauge theory tangent bundle In Lecture 2, we defined the tangent space T p M at each point p on M. Let us consider a collection of tangent bundles over every point on M, TM =

More information

Groupoid Representation Theory

Groupoid Representation Theory Groupoid Representation Theory Jeffrey C. Morton University of Western Ontario Seminar on Stacks and Groupoids February 12, 2010 Jeffrey C. Morton (U.W.O.) Groupoid Representation Theory UWO Feb 10 1 /

More information

COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD

COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD MELINDA LANIUS 1. introduction Because Poisson cohomology is quite challenging to compute, there are only very select cases where the answer is

More information

Patrick Iglesias-Zemmour

Patrick Iglesias-Zemmour Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries

More information

joint work with A. Fino, M. Macrì, G. Ovando, M. Subils Rosario (Argentina) July 2012 Sergio Console Dipartimento di Matematica Università di Torino

joint work with A. Fino, M. Macrì, G. Ovando, M. Subils Rosario (Argentina) July 2012 Sergio Console Dipartimento di Matematica Università di Torino joint work with A. Fino, M. Macrì, G. Ovando, M. Subils Rosario (Argentina) July 2012 Proof of the structures on Dipartimento di Matematica Università di Torino 1 1 2 Lie groups 3 de Rham cohomology of

More information

Constructing compact 8-manifolds with holonomy Spin(7)

Constructing compact 8-manifolds with holonomy Spin(7) Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.

More information

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

Transverse geometry. consisting of finite sums of monomials of the form Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the

More information

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

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey

More information

Higgs Bundles and Character Varieties

Higgs Bundles and Character Varieties Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character

More information

12 Geometric quantization

12 Geometric quantization 12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped

More information

A Joint Adventure in Sasakian and Kähler Geometry

A Joint Adventure in Sasakian and Kähler Geometry A Joint Adventure in Sasakian and Kähler Geometry Charles Boyer and Christina Tønnesen-Friedman Geometry Seminar, University of Bath March, 2015 2 Kähler Geometry Let N be a smooth compact manifold of

More information

Quantising proper actions on Spin c -manifolds

Quantising proper actions on Spin c -manifolds Quantising proper actions on Spin c -manifolds Peter Hochs University of Adelaide Differential geometry seminar Adelaide, 31 July 2015 Joint work with Mathai Varghese (symplectic case) Geometric quantization

More information

An Introduction to the Stolz-Teichner Program

An Introduction to the Stolz-Teichner Program Intro to STP 1/ 48 Field An Introduction to the Stolz-Teichner Program Australian National University October 20, 2012 Outline of Talk Field Smooth and Intro to STP 2/ 48 Field Field Motivating Principles

More information

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

DIFFERENTIAL GEOMETRY AND THE QUATERNIONS. Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013 DIFFERENTIAL GEOMETRY AND THE QUATERNIONS Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013 16th October 1843 ON RIEMANNIAN MANIFOLDS OF FOUR DIMENSIONS 1 SHIING-SHEN CHERN Introduction.

More information

Tangent bundles, vector fields

Tangent bundles, vector fields Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,

More information

Connections for noncommutative tori

Connections for noncommutative tori Levi-Civita connections for noncommutative tori reference: SIGMA 9 (2013), 071 NCG Festival, TAMU, 2014 In honor of Henri, a long-time friend Connections One of the most basic notions in differential geometry

More information

CONNECTIONS ON PRINCIPAL BUNDLES AND CLASSICAL ELECTROMAGNETISM

CONNECTIONS ON PRINCIPAL BUNDLES AND CLASSICAL ELECTROMAGNETISM CONNECTIONS ON PRINCIPAL BUNDLES AND CLASSICAL ELECTROMAGNETISM APURV NAKADE Abstract. The goal is to understand how Maxwell s equations can be formulated using the language of connections. There will

More information

ALF spaces and collapsing Ricci-flat metrics on the K3 surface

ALF spaces and collapsing Ricci-flat metrics on the K3 surface ALF spaces and collapsing Ricci-flat metrics on the K3 surface Lorenzo Foscolo Stony Brook University Recent Advances in Complex Differential Geometry, Toulouse, June 2016 The Kummer construction Gibbons

More information

Deformations of coisotropic submanifolds in symplectic geometry

Deformations of coisotropic submanifolds in symplectic geometry Deformations of coisotropic submanifolds in symplectic geometry Marco Zambon IAP annual meeting 2015 Symplectic manifolds Definition Let M be a manifold. A symplectic form is a two-form ω Ω 2 (M) which

More information

Generalized complex geometry and topological sigma-models

Generalized complex geometry and topological sigma-models Generalized complex geometry and topological sigma-models Anton Kapustin California Institute of Technology Generalized complex geometry and topological sigma-models p. 1/3 Outline Review of N = 2 sigma-models

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

SYMPLECTIC GEOMETRY: LECTURE 5

SYMPLECTIC GEOMETRY: LECTURE 5 SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The

More information

The Strominger Yau Zaslow conjecture

The Strominger Yau Zaslow conjecture The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex

More information

Two simple ideas from calculus applied to Riemannian geometry

Two simple ideas from calculus applied to Riemannian geometry Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University

More information

Integrability and Associativity

Integrability and Associativity Department of Mathematics University of Illinois at Urbana-Champaign, USA Aim Theorem (Lie III) Every finite dimensional Lie algebra is the Lie algebra of a Lie group Aim Theorem (Lie III) Every finite

More information

Hard Lefschetz Theorem for Vaisman manifolds

Hard Lefschetz Theorem for Vaisman manifolds Hard Lefschetz Theorem for Vaisman manifolds Antonio De Nicola CMUC, University of Coimbra, Portugal joint work with B. Cappelletti-Montano (Univ. Cagliari), J.C. Marrero (Univ. La Laguna) and I. Yudin

More information

On algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem

On algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants

More information

NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES

NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES SHILIN U ABSTRACT. The purpose of this note is to review the construction of smooth and holomorphic jet bundles and its relation to formal neighborhood of

More information

ALF spaces and collapsing Ricci-flat metrics on the K3 surface

ALF spaces and collapsing Ricci-flat metrics on the K3 surface ALF spaces and collapsing Ricci-flat metrics on the K3 surface Lorenzo Foscolo Stony Brook University Simons Collaboration on Special Holonomy Workshop, SCGP, Stony Brook, September 8 2016 The Kummer construction

More information

Extended Space for. Falk Hassler. bases on. arxiv: and in collaboration with. Pascal du Bosque and Dieter Lüst

Extended Space for. Falk Hassler. bases on. arxiv: and in collaboration with. Pascal du Bosque and Dieter Lüst Extended Space for (half) Maximally Supersymmetric Theories Falk Hassler bases on arxiv: 1611.07978 and 1705.09304 in collaboration with Pascal du Bosque and Dieter Lüst University of North Carolina at

More information

ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES

ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.

More information

Hyperkähler geometry lecture 3

Hyperkähler geometry lecture 3 Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843

More information

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

Nigel Hitchin (Oxford) Poisson 2012 Utrecht. August 2nd 2012 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

More information

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

Smooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013 Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.

More information

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015 DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry

More information

THE NEWLANDER-NIRENBERG THEOREM. GL. The frame bundle F GL is given by x M Fx

THE NEWLANDER-NIRENBERG THEOREM. GL. The frame bundle F GL is given by x M Fx THE NEWLANDER-NIRENBERG THEOREM BEN MCMILLAN Abstract. For any kind of geometry on smooth manifolds (Riemannian, Complex, foliation,...) it is of fundamental importance to be able to determine when two

More information

The generally covariant locality principle and an extension to gauge symmetries

The generally covariant locality principle and an extension to gauge symmetries The generally covariant locality principle and an extension to gauge symmetries Jochen Zahn Universität Wien Seminar Mathematische Physik, November 2012 Outline We review the framework of locally covariant

More information

L6: Almost complex structures

L6: Almost complex structures L6: Almost complex structures To study general symplectic manifolds, rather than Kähler manifolds, it is helpful to extract the homotopy-theoretic essence of having a complex structure. An almost complex

More information

Adiabatic limits of co-associative Kovalev-Lefschetz fibrations

Adiabatic limits of co-associative Kovalev-Lefschetz fibrations Adiabatic limits of co-associative Kovalev-Lefschetz fibrations Simon Donaldson February 3, 2016 To Maxim Kontsevich, on his 50th. birthday 1 Introduction This article makes the first steps in what we

More information