Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples

Size: px
Start display at page:

Download "Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples"

Transcription

1 Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples Vladimir Rubtsov, ITEP,Moscow and LAREMA, Université d Angers Workshop "Geometry and Fluids" Clay Mathematical Institute, Oxford University UK, April 07, 2014

2 Plan Introduction Effective forms and Monge-Ampère operators Symplectic Transformations of MAO Solutions of symplectic MAE Monge-Ampère and Geometric Structures Classification of SMAE on R 2 SMAE in 3D

3 Bibliography: Figure: Cambridge University Press, 2007

4 Basic object Figure: Monge and Ampère A 2 f q B 2 f q 1 q 2 + C 2 f q D ( 2 f q f q 2 2 f ( ) 2) + E = 0 q 1 q 2

5 Global Solutions: Monge Figure: sphere and pseudosphere An example: curvature of a surface in R 3 u q1 q 1 u q2 q 2 u 2 q 1 q 2 (1+u 2 q 1 + u 2 q 2 ) 2 = K(u)

6 Main idea Let F : R n (i)r n be a vector-function and its graph is a subspace in T (R n ) = R n (i)r n.

7 Main idea Let F : R n (i)r n be a vector-function and its graph is a subspace in T (R n ) = R n (i)r n. The tangent space to the graph at the point (x,f(x)) is the graph of (df) x - the differential of F at the point x.

8 Main idea Let F : R n (i)r n be a vector-function and its graph is a subspace in T (R n ) = R n (i)r n. The tangent space to the graph at the point (x,f(x)) is the graph of (df) x - the differential of F at the point x. This graph is a Lagrangian subspace in T (R n ) iff (df) x is a symmetric endomorphism. The matrix F i x j is symmetric x iff the differential form i F idx i Λ 1 (R n ) is closed or, equivalently, exact: F i = f x i = F = f.

9 Main idea Let F : R n (i)r n be a vector-function and its graph is a subspace in T (R n ) = R n (i)r n. The tangent space to the graph at the point (x,f(x)) is the graph of (df) x - the differential of F at the point x. This graph is a Lagrangian subspace in T (R n ) iff (df) x is a symmetric endomorphism. The matrix F i x j is symmetric x iff the differential form i F idx i Λ 1 (R n ) is closed or, equivalently, exact: F i = f x i = F = f. The projection of the graph of f on (R n ) x is given in coordinates by 2 (f) = det 2 f i. xj 2

10 Symplectic Linear Algebra Digression Let (V,Ω) be a symplectic 2n-dimensional vector space over R and Λ (V ) the space of exteriors forms on V. Let Γ : V V be the isomorphism determined by Ω and let X Ω Λ 2 (V) be the unique bivector such that Γ (X Ω ) = Ω.

11 Symplectic Linear Algebra Digression Let (V,Ω) be a symplectic 2n-dimensional vector space over R and Λ (V ) the space of exteriors forms on V. Let Γ : V V be the isomorphism determined by Ω and let X Ω Λ 2 (V) be the unique bivector such that Γ (X Ω ) = Ω. We introduce the operators : Λ k (V ) Λ k+2 (V ), ω ω Ω and : Λ k (V ) Λ k 2 (V ), ω i XΩ (ω). They have the followings properties:

12 Symplectic Linear Algebra Digression Let (V,Ω) be a symplectic 2n-dimensional vector space over R and Λ (V ) the space of exteriors forms on V. Let Γ : V V be the isomorphism determined by Ω and let X Ω Λ 2 (V) be the unique bivector such that Γ (X Ω ) = Ω. We introduce the operators : Λ k (V ) Λ k+2 (V ), ω ω Ω and : Λ k (V ) Λ k 2 (V ), ω i XΩ (ω). They have the followings properties: [, ](ω) = (n k)ω, ω Λ k (V ); : Λ k (V ) Λ k 2 (V ) is into for k n+1; : Λ k (V ) Λ k+2 (V ) is into for k n 1.

13 Symplectic Linear Algebra Digression Let (V,Ω) be a symplectic 2n-dimensional vector space over R and Λ (V ) the space of exteriors forms on V. Let Γ : V V be the isomorphism determined by Ω and let X Ω Λ 2 (V) be the unique bivector such that Γ (X Ω ) = Ω. We introduce the operators : Λ k (V ) Λ k+2 (V ), ω ω Ω and : Λ k (V ) Λ k 2 (V ), ω i XΩ (ω). They have the followings properties: [, ](ω) = (n k)ω, ω Λ k (V ); : Λ k (V ) Λ k 2 (V ) is into for k n+1; : Λ k (V ) Λ k+2 (V ) is into for k n 1. A k-form ω is effective if ω = 0 and we will denote by Λ k ε(v ) the vector space of effective k-forms on V. When k = n, ω is effective if and only if ω Ω = 0.

14 Hodge-Lepage-Lychagin theorem Figure: Hodge and Lychagin The next theorem plays the fundamental role played by the effective forms in the theory of Monge-Ampère operators : Theorem (Hodge-Lepage-Lychagin) Every form ω Λ k (V ) can be uniquely decomposed into the finite sum ω = ω 0 + ω ω , where all ω i are effective forms.

15 Hodge-Lepage-Lychagin theorem Figure: Hodge and Lychagin The next theorem plays the fundamental role played by the effective forms in the theory of Monge-Ampère operators : Theorem (Hodge-Lepage-Lychagin) Every form ω Λ k (V ) can be uniquely decomposed into the finite sum ω = ω 0 + ω ω , where all ω i are effective forms. If two effective k-forms vanish on the same k-dimensional isotropic vector subspaces in (V,Ω), they are proportional.

16 MAO definition Let M be an n-dimensional smooth manifold. Denote by J 1 M the space of 1-jets of smooth functions on M and by j 1 (f) : M J 1 M, x [f] 1 x the natural section associated with a smooth function f on M.

17 MAO definition Let M be an n-dimensional smooth manifold. Denote by J 1 M the space of 1-jets of smooth functions on M and by j 1 (f) : M J 1 M, x [f] 1 x the natural section associated with a smooth function f on M. The Monge-Ampère operator ω : C (M) Ω n (M) associated with a differential n-form ω Ω n (J 1 M) is the differential operator ω (f) = j 1 (f) (ω).

18 Contact Structure A contact structures is some analogue of symplectic structure on odd-dimensional manifold. A differential 1-form U on a smooth manifold M is called nondegenerate if the following conditions hold: The map P : a M ker U a T a M is a 1-codimensional distribution;

19 Contact Structure A contact structures is some analogue of symplectic structure on odd-dimensional manifold. A differential 1-form U on a smooth manifold M is called nondegenerate if the following conditions hold: The map P : a M ker U a T a M is a 1-codimensional distribution; A restriction of du to the hyperplane P(a) is a symplectic structure on P(a) for any a M.

20 Contact Structure A contact structures is some analogue of symplectic structure on odd-dimensional manifold. A differential 1-form U on a smooth manifold M is called nondegenerate if the following conditions hold: The map P : a M ker U a T a M is a 1-codimensional distribution; A restriction of du to the hyperplane P(a) is a symplectic structure on P(a) for any a M. The last condition means that if a vector X a P(a) and X a ( du P(a) ) = 0, then Xa = 0. In other words, a differential 1-form U is nondegenerate if the distribution P has no characteristic symmetries.

21 Example: Cartan form The Cartan form U = du pdx on R 3 is a nondegenerate 1-form.

22 Example: Cartan form The Cartan form U = du pdx on R 3 is a nondegenerate 1-form. Figure: Contact structure in R 3

23 Generalized Solutions Let U be the contact 1-form on J 1 M and X 1 be the Reeb s vector field. Denote by C(x) the kernel of U x for x J 1 M.

24 Generalized Solutions Let U be the contact 1-form on J 1 M and X 1 be the Reeb s vector field. Denote by C(x) the kernel of U x for x J 1 M. (C(x),dU x ) is a 2n-dimensional symplectic vector space and T x J 1 M = C(x) RX 1x.

25 Generalized Solutions Let U be the contact 1-form on J 1 M and X 1 be the Reeb s vector field. Denote by C(x) the kernel of U x for x J 1 M. (C(x),dU x ) is a 2n-dimensional symplectic vector space and T x J 1 M = C(x) RX 1x. A generalized solution of the equation ω = 0 is a legendrian submanifold L n of (J 1 M,U) such that ω L = 0. Note that T x L is a lagrangian subspace of (C(x),dU x ) in each point x L, and that L is locally the graph of a section j 1 (f), where f is a regular solution of the equation ω (f) = 0, if and only if the projection π : J 1 M M is a local diffeomorphism on L.

26 Effective Forms - MAO Correspondence Denote by Ω (C ) the space of differential forms vanishing on X 1. In each point x, (Ω k (C )) x can be naturally identified with Λ k (C(x) ).

27 Effective Forms - MAO Correspondence Denote by Ω (C ) the space of differential forms vanishing on X 1. In each point x, (Ω k (C )) x can be naturally identified with Λ k (C(x) ). Let Ω ε (C ) be the space of forms which are effective on (C(x),dU x ) in each point x J 1 M.

28 Effective Forms - MAO Correspondence Denote by Ω (C ) the space of differential forms vanishing on X 1. In each point x, (Ω k (C )) x can be naturally identified with Λ k (C(x) ). Let Ω ε (C ) be the space of forms which are effective on (C(x),dU x ) in each point x J 1 M. The first part of the Hodge-Lepage-Lychagin theorem means that Ω ε(c ) = Ω (J 1 M)/I C, where I C is the Cartan ideal generated by U and du.

29 Effective Forms - MAO Correspondence Denote by Ω (C ) the space of differential forms vanishing on X 1. In each point x, (Ω k (C )) x can be naturally identified with Λ k (C(x) ). Let Ω ε (C ) be the space of forms which are effective on (C(x),dU x ) in each point x J 1 M. The first part of the Hodge-Lepage-Lychagin theorem means that Ω ε(c ) = Ω (J 1 M)/I C, where I C is the Cartan ideal generated by U and du. The second part means that two differential n-forms ω and θ on J 1 M determine the same Monge-Ampère operator if and only if ω θ I C.

30 Contact Groupe Action Ct(M), the pseudo-group of contact diffeomorphisms on J 1 M, naturally acts on the set of Monge-Ampère operators in the following way

31 Contact Groupe Action Ct(M), the pseudo-group of contact diffeomorphisms on J 1 M, naturally acts on the set of Monge-Ampère operators in the following way F( ω ) = F (ω), and the corresponding infinitesimal action is X( ω ) = LX (ω).

32 Symplectic MAO-1 We are interested in particular in a more restrictive class of operators, the class of symplectic operators. These operators satisfy X 1 ( ω ) = LX1 (ω) = 0.

33 Symplectic MAO-1 We are interested in particular in a more restrictive class of operators, the class of symplectic operators. These operators satisfy X 1 ( ω ) = LX1 (ω) = 0. Let T M be the cotangent space and Ω be the canonical symplectic form on it. Let us consider the projection β : J 1 M T M, defined by the following commutative diagram:

34 Symplectic MAO-1 We are interested in particular in a more restrictive class of operators, the class of symplectic operators. These operators satisfy X 1 ( ω ) = LX1 (ω) = 0. Let T M be the cotangent space and Ω be the canonical symplectic form on it. Let us consider the projection β : J 1 M T M, defined by the following commutative diagram: α R J 1 M T M f j 1 (f) df 3 M β

35 Symplectic MAO-2 We can naturally identify the space {ω Ω ε(c ) : L X1 ω = 0} with the space of effective forms on (T M,Ω) using this projection β. Then, the group acting on these forms is the group of symplectomorphisms of T M.

36 Symplectic MAO-2 We can naturally identify the space {ω Ω ε(c ) : L X1 ω = 0} with the space of effective forms on (T M,Ω) using this projection β. Then, the group acting on these forms is the group of symplectomorphisms of T M. Definition A Monge-Ampère structure on a 2n-dimensional manifold X is a pair of differential form (Ω,ω) Ω 2 (X) Ω n (X) such that Ω is symplectic and ω is Ω-effective i.e. Ω ω = 0.

37 Symplectic MAO-2 We can naturally identify the space {ω Ω ε(c ) : L X1 ω = 0} with the space of effective forms on (T M,Ω) using this projection β. Then, the group acting on these forms is the group of symplectomorphisms of T M. Definition A Monge-Ampère structure on a 2n-dimensional manifold X is a pair of differential form (Ω,ω) Ω 2 (X) Ω n (X) such that Ω is symplectic and ω is Ω-effective i.e. Ω ω = 0. When we locally identify the symplectic manifold (X,Ω) with (T R n,ω 0 ), we can associate to the pair (Ω,ω) a symplectic Monge-Ampère equation ω = 0.

38 Symplectic MAO-2 We can naturally identify the space {ω Ω ε(c ) : L X1 ω = 0} with the space of effective forms on (T M,Ω) using this projection β. Then, the group acting on these forms is the group of symplectomorphisms of T M. Definition A Monge-Ampère structure on a 2n-dimensional manifold X is a pair of differential form (Ω,ω) Ω 2 (X) Ω n (X) such that Ω is symplectic and ω is Ω-effective i.e. Ω ω = 0. When we locally identify the symplectic manifold (X,Ω) with (T R n,ω 0 ), we can associate to the pair (Ω,ω) a symplectic Monge-Ampère equation ω = 0. Conversely, any symplectic Monge-Ampere equation ω = 0 on a manifold M is associated with Monge-Ampère structure (Ω,ω) on T M.

39 Correspondence: Forms -Symplectic MAO Let M be a smooth n dimensional manifold and ω is a differential n-form on T M. A (symplectic) Monge-Ampère operator ω : C (M) Ω n (M) is the differential operator defined by ω (f) = (df) (ω), where df : M T M is the natural section associated to f.

40 Examples ω ω = 0 dq 1 dp 2 dq 2 dp 1 f = 0 dq 1 dp 2 + dq 2 dp 1 f = 0 dp 1 dp 2 dp 3 dq 1 dq 2 dq 3 Hess(f) = 1 dp 1 dq 2 dq 3 dp 2 dq 1 dq 3 f Hess(f) = 0 +dp 3 dq 1 dq 2 dp 1 dp 2 dp 3

41 Generic types of singularities for Generalized solutions of MAE Figure: Lagrangian singularities (Wave fronts, foldings etc.)

42 Symplectic Monge-Ampère Equations: Solutions A generalized solution of a MAE ω = 0 is a lagrangian submanifold of (T M,Ω) which is an integral manifold for the MA differential form ω: ω L = 0.

43 Symplectic Monge-Ampère Equations: Solutions A generalized solution of a MAE ω = 0 is a lagrangian submanifold of (T M,Ω) which is an integral manifold for the MA differential form ω: ω L = 0. A generalized solution (generically) locally is the graph of an 1-forme df for a regular solution f.

44 Generalized solution T* R n df L dg π dh R n Figure: Generalized solution of a MAE

45 Symplectic Equivalence-1 Two SMAE ω1 = 0 and ω2 = 0 are locally equivalent iff there is exist a local symplectomorphism F : (T M,Ω) (T M,Ω) such that F ω 1 = ω 2.

46 Symplectic Equivalence-1 Two SMAE ω1 = 0 and ω2 = 0 are locally equivalent iff there is exist a local symplectomorphism F : (T M,Ω) (T M,Ω) such that F ω 1 = ω 2. L is a generalized solution of F ω 1 = 0 iff F(L) is a generalized solution of ω = 0.

47 Legendre partial transformation Figure: Legendre u q1 q 1 + u q2 q 2 = 0 v q1 q 1 v q2 q 2 v 2 q 1 q 2 = 1 Φ ω = dq 1 dp 2 dq 2 dp 1 ω = dp 1 dp 2 dq 1 dq 2

48 Legendre partial transformation-2 L u = ( q 1,q 2,u q1,u q2 ) Φ L v = ( q 1, q 2,v q1,v q2 ) = ( q 1, u q2,u q1,q 2 ) e q 1 cos(q 2 ) q 2 arcsin(q 2 e q 1 ) + e 2q 1 q 2 2 with Φ : T R 2 T R 2, (q 1,q 2,p 1,p 2 ) (q 1, p 2,p 1,q 2 ).

49 Table 1. ω = 0 ω pf(ω) f = 0 dq 1 dp 2 dq 2 dp 1 1 f = 0 dq 1 dp 2 + dq 2 dp f q 2 1 = 0 dq 1 dp 2 0

50 Geometric Structures on T R 2. Let (Ω,ω) be a Monge-Ampère structure on X = R 4. The field of endomorphisms A ω : X TX T X is defined by REMARK The tensor ω(, ) = Ω(A ω, ). J ω = A ω pf(ω) gives an almost-complex structure on X if pf(ω) > 0.

51 Geometric Structures on T R 2. Let (Ω,ω) be a Monge-Ampère structure on X = R 4. The field of endomorphisms A ω : X TX T X is defined by REMARK The tensor ω(, ) = Ω(A ω, ). J ω = A ω pf(ω) gives an almost-complex structure on X if pf(ω) > 0. an almost-product structure on X if pf(ω) < 0.

52 THEOREM (Lychagin-R.) Let ω Ω 2 ε (R4 ) be an effective non-degenerate 2-form on (R 4,Ω). The following assertions are equivalent:

53 THEOREM (Lychagin-R.) Let ω Ω 2 ε (R4 ) be an effective non-degenerate 2-form on (R 4,Ω). The following assertions are equivalent: The equation ω = 0 is locally equivalent to one of two linear equations: f = 0 ou f = 0;

54 THEOREM (Lychagin-R.) Let ω Ω 2 ε (R4 ) be an effective non-degenerate 2-form on (R 4,Ω). The following assertions are equivalent: The equation ω = 0 is locally equivalent to one of two linear equations: f = 0 ou f = 0; The tensor J ω is integrable;

55 THEOREM (Lychagin-R.) Let ω Ω 2 ε (R4 ) be an effective non-degenerate 2-form on (R 4,Ω). The following assertions are equivalent: The equation ω = 0 is locally equivalent to one of two linear equations: f = 0 ou f = 0; The tensor J ω is integrable; ω the normalized form is closed. pf(ω)

56 Courant Bracket T tangent bundle of M and T cotangent bundle. (X +ξ,y +η) = 1 2 (ξ(y)+η(x)), -natural indefinite interior product on T T. The Courant bracket on sections of T T is [X +ξ,y +η] = [X,Y]+L X η L Y ξ 1 2 d(ι Xη ι Y ξ).

57 Generalized Complex Geometry Figure: Hitchin DEFINITION [Hitchin]: An almost generalized complex structure is a bundle map J : T T T T with and J 2 = 1, (J, ) = (,J ). An almost generalized complex structure is integrable if the spaces of sections of its two eigenspaces are closed under the Courant bracket.

58 2D SMAE and Generalized Complex Geometry DEFINITION A Monge-Ampère equation ω = 0 has a divergent type if the corresponded form can be chosen closed : ω = ω +µω.

59 2D SMAE and Generalized Complex Geometry DEFINITION A Monge-Ampère equation ω = 0 has a divergent type if the corresponded form can be chosen closed : ω = ω +µω. PROPOSITION (B.Banos) Let ω = 0 be a Monge-Ampère divergent type equation on R 2 with closed ω (which might be non-effective). The generalized almost-complex structure defined by ( A J ω = ω Ω 1 ) Ω(1+A 2 ω, ) A ω is integrable.

60 Hitchin pairs (after M.Crainic) A Hitchin pair is a pair of bivectors π and Π, Π non-degenerate, satisfying { [Π,Π] = [π,π] (1) [Π,π] = 0. PROPOSITION There is a 1-1 correspondence between Generalized complex structure ( ) A πa J = σ A with σ non degenerate and Hitchin pairs of bivector (π,π). In this correspondence σ = Π 1 A = π Π 1 π A = (1+A 2 )Π

61 Hitchin pair of bivectors in 4D Π is non-degenerate two 2-forms ω and Ω, not necessarily closed and ω(, ) = Ω(A, ). A generalized lagrangian surface: closed under A, or equivalently, bilagrangian: ω L = Ω L = 0. Locally, L is defined by two functions u and v satisfying a first order system:

62 Jacobi systems { a+b u x + c u y + d v x + e v y + f det J u,v = 0 A+B u x + C u y + D v x + E v y + E det J u,v = 0 ) J u,v = ( u x v x u y v y Such a system generalizes both MAE and Cauchy-Riemann systems and is called a Jacobi system.

63 Invariants for effective 3-forms To each effective 3-form ω Ω 3 ε (R6 ), we assign the following geometric invariants:

64 Invariants for effective 3-forms To each effective 3-form ω Ω 3 ε (R6 ), we assign the following geometric invariants: the Lychagin-R. metric defined by g ω (X,Y) = (ι Xω) (ι Y ω) Ω Ω 3,

65 Invariants for effective 3-forms To each effective 3-form ω Ω 3 ε (R6 ), we assign the following geometric invariants: the Lychagin-R. metric defined by the Hitchin tensor defined by g ω (X,Y) = (ι Xω) (ι Y ω) Ω Ω 3, g ω = Ω(A ω, ),

66 Invariants for effective 3-forms To each effective 3-form ω Ω 3 ε (R6 ), we assign the following geometric invariants: the Lychagin-R. metric defined by the Hitchin tensor defined by The Hitchin pfaffian defined by g ω (X,Y) = (ι Xω) (ι Y ω) Ω Ω 3, g ω = Ω(A ω, ), pf(ω) = 1 6 tra2 ω.

67 (0,3) 0 (2,1) 0 ω = 0 ω ε(q ω ) pf(ω) 1 hess(f) = 1 dq 1 dq 2 dq 3 +ν dp 1 dp 2 dp 3 (3,3) ν 4 2 f hess(f) = 0 dp 1 dq 2 dq 3 dp 2 dq 1 dq 3 (0,6) ν 4 +dp 3 dq 1 dq 2 ν 2 dp 1 dp 2 dp 3 3 f + hess(f) = 0 dp 1 dq 2 dq 3 + dp 2 dq 1 dq 3 (4,2) ν 4 +dp 3 dq 1 dq 2 +ν 2 dp 1 dp 2 dp 3 4 f = 0 dp 1 dq 2 dq 3 dp 2 dq 1 dq 3 + dp 3 dq 1 dq 2 5 f = 0 dp 1 dq 2 dq 3 +dp 2 dq 1 dq 3 + dp 3 dq 1 dq 2 6 q2,q 3 f = 0 dp 3 dq 1 dq 2 dp 2 dq 1 dq 3 (0,1) 0 7 q2,q 3 f = 0 dp 3 dq 1 dq 2 + dp 2 dq 1 dq 3 (1,0) f q 2 1 = 0 dp 1 dq 2 dq 3 (0,0) (0, 0) 0 Table: Classification of effective 3-formes in dimension 6

68 3D Generalized Calabi-Yau structures A generalized almost Calabi-Yau structure on a 6D-manifold X is a 5-uple (g,ω,a,α,β) where g is a (pseudo) metric on X,

69 3D Generalized Calabi-Yau structures A generalized almost Calabi-Yau structure on a 6D-manifold X is a 5-uple (g,ω,a,α,β) where g is a (pseudo) metric on X, Ω is a symplectic on X, A generalized Calabi-Yau structure (g, Ω, K, α, β) is integrable if α and β are closed.

70 3D Generalized Calabi-Yau structures A generalized almost Calabi-Yau structure on a 6D-manifold X is a 5-uple (g,ω,a,α,β) where g is a (pseudo) metric on X, Ω is a symplectic on X, A is a smooth section X TX T X such that A 2 = ±Id and such that g(u, V) = Ω(AU, V) for all tangent vectors U, V, A generalized Calabi-Yau structure (g, Ω, K, α, β) is integrable if α and β are closed.

71 3D Generalized Calabi-Yau structures A generalized almost Calabi-Yau structure on a 6D-manifold X is a 5-uple (g,ω,a,α,β) where g is a (pseudo) metric on X, Ω is a symplectic on X, A is a smooth section X TX T X such that A 2 = ±Id and such that g(u, V) = Ω(AU, V) for all tangent vectors U, V, α and β are (eventually complex) decomposable 3-forms whose associated distributions are the distributions of A eigenvectors and such that α β Ω 3 is constant. A generalized Calabi-Yau structure (g, Ω, K, α, β) is integrable if α and β are closed.

72 Generalized CY and MA Each nondegenerate Monge-Ampère structure (Ω,ω 0 ) defines a generalized almost Calabi-Yau structure (q ω,ω,a ω,α,β) with ω 0 ω = λ(ω0 ). 4

73 The generalized Calabi-Yau structure associated with the equation (f) hess(f) = 0 is the canonical Calabi-Yau structure of C 3 g = 3 dx j.dx j + dy j.dy j j=1 A = 3 y j dx j x j dy j j=1 Ω = 3 dx j dy j j=1 α = dz 1 dz 2 dz 3 β = α

74 The generalized Calabi-Yau associated with the equation (f)+hess(f) = 0 is the pseudo Calabi-Yau structure g = dx 1.dx 1 dx 2.dx 2 + dx 3.dx 3 + dy 1.dy 1 dy 2.dy 2 + dx 3.dx 3 A = x 1 dy 1 y 1 dx 1 + y 2 dx 2 x 2 dy 2 y 3 dx 3 + x 3 dy 3 Ω = 3 dx j dy j j=1 α = dz 1 dz 2 dz 3 β = α

75 The generalized Calabi-Yau structure associated with the equation is the real Calabi-Yau structure g = 3 dx j.dy j j=1 hess(f) = 1 A = 3 x j dx j y j dy j j=1 Ω = 3 dx j dy j j=1 α = dx 1 dx 2 dx 3 β = dy 1 dy 2 dy 3

76 THEOREM A SMAE ω = 0 on R 3 associated to an effective non-degenerated form ω is locally equivalent to on of three following equations:

77 THEOREM A SMAE ω = 0 on R 3 associated to an effective non-degenerated form ω is locally equivalent to on of three following equations: hess(f) = 1 f hess(f) = 0 f + hess(f) = 0

78 THEOREM A SMAE ω = 0 on R 3 associated to an effective non-degenerated form ω is locally equivalent to on of three following equations: hess(f) = 1 f hess(f) = 0 f + hess(f) = 0 iff the correspondingly defined generalized Calabi-Yau structure is integrable and locally flat.

arxiv:math/ v1 [math.dg] 12 Nov 2002

arxiv:math/ v1 [math.dg] 12 Nov 2002 arxiv:math/0211185v1 [math.dg] 12 Nov 2002 NONDEGENERATE MONGE-AMPÈRE STRUCTURES IN DIMENSION 6 BERTRAND BANOS ABSTRACT. We define a nondegenerate Monge-Ampère structure on a 6-dimensional manifold as

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

Poisson modules and generalized geometry

Poisson modules and generalized geometry arxiv:0905.3227v1 [math.dg] 20 May 2009 Poisson modules and generalized geometry Nigel Hitchin May 20, 2009 Dedicated to Shing-Tung Yau on the occasion of his 60th birthday 1 Introduction Generalized complex

More information

Generalized Contact Structures

Generalized Contact Structures Generalized Contact Structures Y. S. Poon, UC Riverside June 17, 2009 Kähler and Sasakian Geometry in Rome in collaboration with Aissa Wade Table of Contents 1 Lie bialgebroids and Deformations 2 Generalized

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

Contact manifolds and generalized complex structures

Contact manifolds and generalized complex structures Contact manifolds and generalized complex structures David Iglesias-Ponte and Aïssa Wade Department of Mathematics, The Pennsylvania State University University Park, PA 16802. e-mail: iglesias@math.psu.edu

More information

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.

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

Group Actions and Cohomology in the Calculus of Variations

Group Actions and Cohomology in the Calculus of Variations Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,

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

Generalized complex geometry

Generalized complex geometry Generalized complex geometry Marco Gualtieri Abstract Generalized complex geometry encompasses complex and symplectic geometry as its extremal special cases. We explore the basic properties of this geometry,

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

LECTURE 1: LINEAR SYMPLECTIC GEOMETRY

LECTURE 1: LINEAR SYMPLECTIC GEOMETRY LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************

More information

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.

More information

De Lecomte Roger à Monge Ampère From Lecomte Roger to Monge Ampère

De Lecomte Roger à Monge Ampère From Lecomte Roger to Monge Ampère From Lecomte Roger to Monge Ampère Yvette Kosmann-Schwarzbach Centre de Mathématiques Laurent Schwartz, École Polytechnique, Palaiseau Algèbres de Lie de dimension infinie Géométrie et cohomologie pour

More information

Eva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid

Eva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid b-symplectic manifolds: going to infinity and coming back Eva Miranda UPC-Barcelona and BGSMath XXV International Fall Workshop on Geometry and Physics Madrid Eva Miranda (UPC) b-symplectic manifolds Semptember,

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

The Calabi Conjecture

The Calabi Conjecture The Calabi Conjecture notes by Aleksander Doan These are notes to the talk given on 9th March 2012 at the Graduate Topology and Geometry Seminar at the University of Warsaw. They are based almost entirely

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

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

Chap. 1. Some Differential Geometric Tools

Chap. 1. Some Differential Geometric Tools Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U

More information

M4P52 Manifolds, 2016 Problem Sheet 1

M4P52 Manifolds, 2016 Problem Sheet 1 Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete

More information

BRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).

BRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]). BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.

More information

LECTURE 8: THE MOMENT MAP

LECTURE 8: THE MOMENT MAP LECTURE 8: THE MOMENT MAP Contents 1. Properties of the moment map 1 2. Existence and Uniqueness of the moment map 4 3. Examples/Exercises of moment maps 7 4. Moment map in gauge theory 9 1. Properties

More information

Mirror Symmetry: Introduction to the B Model

Mirror Symmetry: Introduction to the B Model Mirror Symmetry: Introduction to the B Model Kyler Siegel February 23, 2014 1 Introduction Recall that mirror symmetry predicts the existence of pairs X, ˇX of Calabi-Yau manifolds whose Hodge diamonds

More information

Hamiltonian flows, cotangent lifts, and momentum maps

Hamiltonian flows, cotangent lifts, and momentum maps Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic

More information

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.

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. LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

More information

Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group

Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 (2007), 049, 28 pages Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group David IGLESIAS, Juan Carlos

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

The Geometry of Euler s equation. Introduction

The Geometry of Euler s equation. Introduction The Geometry of Euler s equation Introduction Part 1 Mechanical systems with constraints, symmetries flexible joint fixed length In principle can be dealt with by applying F=ma, but this can become complicated

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

BACKGROUND IN SYMPLECTIC GEOMETRY

BACKGROUND IN SYMPLECTIC GEOMETRY BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations

More information

Symplectic and Poisson Manifolds

Symplectic and Poisson Manifolds Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to

More information

Lecture I: Constrained Hamiltonian systems

Lecture I: Constrained Hamiltonian systems Lecture I: Constrained Hamiltonian systems (Courses in canonical gravity) Yaser Tavakoli December 15, 2014 1 Introduction In canonical formulation of general relativity, geometry of space-time is given

More information

Hamiltonian Systems of Negative Curvature are Hyperbolic

Hamiltonian Systems of Negative Curvature are Hyperbolic Hamiltonian Systems of Negative Curvature are Hyperbolic A. A. Agrachev N. N. Chtcherbakova Abstract The curvature and the reduced curvature are basic differential invariants of the pair: Hamiltonian system,

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

A Crash Course of Floer Homology for Lagrangian Intersections

A Crash Course of Floer Homology for Lagrangian Intersections A Crash Course of Floer Homology for Lagrangian Intersections Manabu AKAHO Department of Mathematics Tokyo Metropolitan University akaho@math.metro-u.ac.jp 1 Introduction There are several kinds of Floer

More information

Tesi di Laurea Magistrale in Matematica presentata da. Claudia Dennetta. Symplectic Geometry. Il Relatore. Prof. Massimiliano Pontecorvo

Tesi di Laurea Magistrale in Matematica presentata da. Claudia Dennetta. Symplectic Geometry. Il Relatore. Prof. Massimiliano Pontecorvo UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTÀ DI SCIENZE M.F.N. Tesi di Laurea Magistrale in Matematica presentata da Claudia Dennetta Symplectic Geometry Relatore Prof. Massimiliano Pontecorvo Il Candidato

More information

Master of Science in Advanced Mathematics and Mathematical Engineering

Master of Science in Advanced Mathematics and Mathematical Engineering Master of Science in Advanced Mathematics and Mathematical Engineering Title: Constraint algorithm for singular k-cosymplectic field theories Author: Xavier Rivas Guijarro Advisor: Francesc Xavier Gràcia

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

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

arxiv:alg-geom/ v1 29 Jul 1993

arxiv:alg-geom/ v1 29 Jul 1993 Hyperkähler embeddings and holomorphic symplectic geometry. Mikhail Verbitsky, verbit@math.harvard.edu arxiv:alg-geom/9307009v1 29 Jul 1993 0. ntroduction. n this paper we are studying complex analytic

More information

Hyper-Kähler geometry and semi-geostrophic theory

Hyper-Kähler geometry and semi-geostrophic theory Hyper-Kähler geometry and semi-geostrophic theory By Sylvain Delahaies & Ian Roulstone Department of Mathematics, University of Surrey, Guildford, GU2 7XH UK We use the formalism of Monge-Ampère operators

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

Vector fields in the presence of a contact structure

Vector fields in the presence of a contact structure Vector fields in the presence of a contact structure Valentin Ovsienko To cite this version: Valentin Ovsienko. Vector fields in the presence of a contact structure. Preprint ICJ. 10 pages. 2005.

More information

A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS

A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS FRANCESCO BOTTACIN Abstract. In this paper we prove an analogue of the Marsden Weinstein reduction theorem for presymplectic actions of

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

NOTES ON THE CHARACTERISTIC VARIETY

NOTES ON THE CHARACTERISTIC VARIETY NOTES ON THE CHARACTERISTIC VARIETY BENJAMIN MCKAY Abstract. These are my notes on chapter 5 of the book [1]. They were the subject of lectures I gave at Duke University in 1998. 1. Introduction The characteristic

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

η = (e 1 (e 2 φ)) # = e 3

η = (e 1 (e 2 φ)) # = e 3 Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian

More information

Moduli space of special Lagrangians in almost Kahler spaces

Moduli space of special Lagrangians in almost Kahler spaces Moduli space of special Lagrangians in almost Kahler spaces LI MA Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China Manuscript received on August 30, 2000; accepted for publication

More information

Dierential geometry for Physicists

Dierential geometry for Physicists Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July

More information

JACOBI STRUCTURES AND DIFFERENTIAL FORMS ON CONTACT QUOTIENTS

JACOBI STRUCTURES AND DIFFERENTIAL FORMS ON CONTACT QUOTIENTS JACOBI STRUCTURES AND DIFFERENTIAL FORMS ON CONTACT QUOTIENTS A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree

More information

arxiv: v2 [math.sg] 8 Mar 2018

arxiv: v2 [math.sg] 8 Mar 2018 Bifurcation of solutions to Hamiltonian boundary value problems arxiv:1710.09991v2 [math.sg] 8 Mar 2018 R I McLachlan 1 and C Offen 1 1 Institute of Fundamental Sciences, Massey University, Palmerston

More information

SECOND-ORDER TYPE-CHANGING EVOLUTION EQUATIONS WITH FIRST-ORDER INTERMEDIATE EQUATIONS

SECOND-ORDER TYPE-CHANGING EVOLUTION EQUATIONS WITH FIRST-ORDER INTERMEDIATE EQUATIONS SECOND-ORDER TYPE-CHANGING EVOLUTION EQUATIONS WITH FIRST-ORDER INTERMEDIATE EQUATIONS JEANNE CLELLAND, MAREK KOSSOWSKI, AND GEORGE R. WILKENS In memory of Robert B. Gardner. Abstract. This paper presents

More information

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are

More information

SUBTANGENT-LIKE STATISTICAL MANIFOLDS. 1. Introduction

SUBTANGENT-LIKE STATISTICAL MANIFOLDS. 1. Introduction SUBTANGENT-LIKE STATISTICAL MANIFOLDS A. M. BLAGA Abstract. Subtangent-like statistical manifolds are introduced and characterization theorems for them are given. The special case when the conjugate connections

More information

RESEARCH STATEMENT YUHAO HU

RESEARCH STATEMENT YUHAO HU RESEARCH STATEMENT YUHAO HU I am interested in researching in differential geometry and the geometry of partial differential equations. Earlier in my PhD studies, I learned the theory of exterior differential

More information

WARPED PRODUCTS PETER PETERSEN

WARPED PRODUCTS PETER PETERSEN WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We

More information

Categorification of shifted symplectic geometry using perverse sheaves

Categorification of shifted symplectic geometry using perverse sheaves Categorification of shifted symplectic geometry using perverse sheaves Dominic Joyce, Oxford University, April 2016 Based on: arxiv:1304.4508, arxiv:1305.6302, arxiv:1211.3259, arxiv:1305.6428, arxiv:1312.0090,

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

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

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f)) 1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

More information

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces

More information

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

Doubled Aspects of Vaisman Algebroid and Gauge Symmetry in Double Field Theory arxiv: v1 [hep-th] 15 Jan 2019 January, 2019 Doubled Aspects of Vaisman Algebroid and Gauge Symmetry in Double Field Theory arxiv:1901.04777v1 [hep-th] 15 Jan 2019 Haruka Mori a, Shin Sasaki b and Kenta Shiozawa c Department of Physics,

More information

Symplectic Geometry versus Riemannian Geometry

Symplectic Geometry versus Riemannian Geometry Symplectic Geometry versus Riemannian Geometry Inês Cruz, CMUP 2010/10/20 - seminar of PIUDM 1 necessarily very incomplete The aim of this talk is to give an overview of Symplectic Geometry (there is no

More information

An Invitation to Geometric Quantization

An Invitation to Geometric Quantization An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to

More information

Mathematical methods of classical mechanics

Mathematical methods of classical mechanics Mathematical methods of classical mechanics Lecture notes Prologue A good physics theory is concerned with observables, quantities that do not depend on a system of reference (that is, coordinate system

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

Shifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory

Shifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory Shifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory Lecture 2 of 3:. D-critical loci and perverse sheaves Dominic Joyce, Oxford University KIAS, Seoul, July 2018

More information

Monge-Ampère Structures and the Geometry of Incompressible Flows

Monge-Ampère Structures and the Geometry of Incompressible Flows Monge-Ampère Structures and the Geometry of Incompressible Flows Bertrand Banos, Vladimir Roubtsov, Ian Roulstone To cite this version: Bertrand Banos, Vladimir Roubtsov, Ian Roulstone. Monge-Ampère Structures

More information

The only global contact transformations of order two or more are point transformations

The only global contact transformations of order two or more are point transformations Journal of Lie Theory Volume 15 (2005) 135 143 c 2005 Heldermann Verlag The only global contact transformations of order two or more are point transformations Ricardo J. Alonso-Blanco and David Blázquez-Sanz

More information

Geometric characterization and classification of Bäcklund transformations of sine-gordon type

Geometric characterization and classification of Bäcklund transformations of sine-gordon type Journal of Integrable Systems (208) 3, 44 doi: 0.093/integr/xyy08 Geometric characterization and classification of Bäcklund transformations of sine-gordon type Jeanne N. Clelland Department of Mathematics,

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

Hypercomplex Algebraic Geometry

Hypercomplex Algebraic Geometry Hypercomplex Algebraic Geometry Dominic Joyce published as Quart. J. Math. Oxford 49 (1998), 129 162. 1 Introduction It is well-known that sums and products of holomorphic functions are holomorphic, and

More information

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like

More information

Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds

Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Matias Dahl January 2004 1 Introduction In this essay we shall study the following problem: Suppose is a smooth -manifold, is a function,

More information

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

THE GEOMETRY OF B-FIELDS. Nigel Hitchin (Oxford) Odense November 26th 2009 THE GEOMETRY OF B-FIELDS Nigel Hitchin (Oxford) Odense November 26th 2009 THE B-FIELD IN PHYSICS B = i,j B ij dx i dx j flux: db = H a closed three-form Born-Infeld action: det(g ij + B ij ) complexified

More information

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

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let

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

Gauge Fixing and Constrained Dynamics in Numerical Relativity

Gauge Fixing and Constrained Dynamics in Numerical Relativity Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and

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

Stable generalized complex structures

Stable generalized complex structures Stable generalized complex structures Gil R. Cavalcanti Marco Gualtieri arxiv:1503.06357v1 [math.dg] 21 Mar 2015 A stable generalized complex structure is one that is generically symplectic but degenerates

More information

An integral lift of contact homology

An integral lift of contact homology Columbia University University of Pennsylvannia, January 2017 Classical mechanics The phase space R 2n of a system consists of the position and momentum of a particle. Lagrange: The equations of motion

More information

SUBMANIFOLDS OF GENERALIZED COMPLEX MANIFOLDS. Oren Ben-Bassat and Mitya Boyarchenko

SUBMANIFOLDS OF GENERALIZED COMPLEX MANIFOLDS. Oren Ben-Bassat and Mitya Boyarchenko JOURNAL OF SYMPLECTIC GEOMETRY Volume 2, Number 3, 309 355, 2004 SUBMANIFOLDS OF GENERALIZED COMPLEX MANIFOLDS Oren Ben-Bassat and Mitya Boyarchenko The main goal of our paper is the study of several classes

More information

1 Hermitian symmetric spaces: examples and basic properties

1 Hermitian symmetric spaces: examples and basic properties Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................

More information

Singularities of affine fibrations in the regularity theory of Fourier integral operators

Singularities of affine fibrations in the regularity theory of Fourier integral operators Russian Math. Surveys, 55 (2000), 93-161. Singularities of affine fibrations in the regularity theory of Fourier integral operators Michael Ruzhansky In the paper the regularity properties of Fourier integral

More information

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted

More information

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

Dirac structures. Henrique Bursztyn, IMPA. Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012 Dirac structures Henrique Bursztyn, IMPA Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012 Outline: 1. Mechanics and constraints (Dirac s theory) 2. Degenerate symplectic

More information

On the Virtual Fundamental Class

On the Virtual Fundamental Class On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview Donaldson-Thomas theory: counting invariants

More information

Contact Geometry of the Visual Cortex

Contact Geometry of the Visual Cortex Ma191b Winter 2017 Geometry of Neuroscience References for this lecture Jean Petitot, Neurogéométrie de la Vision, Les Éditions de l École Polytechnique, 2008 John B. Entyre, Introductory Lectures on Contact

More information

MONGE-AMPÈRE EQUATIONS VIEWED FROM CONTACT GEOMETRY

MONGE-AMPÈRE EQUATIONS VIEWED FROM CONTACT GEOMETRY SYMPLECTIC SINGULARITIES AND GEOMETRY OF GAUGE FIELDS BANACH CENTER PUBLICATIONS, VOLUME 39 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1997 MONGE-AMPÈRE EQUATIONS VIEWED FROM CONTACT

More information

INTEGRATION OF TWISTED POISSON STRUCTURES ALBERTO S. CATTANEO AND PING XU

INTEGRATION OF TWISTED POISSON STRUCTURES ALBERTO S. CATTANEO AND PING XU INTEGRATION OF TWISTED POISSON STRUCTURES ALBERTO S. CATTANEO AND PING XU Abstract. Poisson manifolds may be regarded as the infinitesimal form of symplectic groupoids. Twisted Poisson manifolds considered

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

Constant symplectic 2-groupoids

Constant symplectic 2-groupoids Constant symplectic 2-groupoids Rajan Mehta Smith College April 17, 2017 The integration problem for Courant algebroids The integration problem for Courant algebroids Poisson manifolds integrate to symplectic

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

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 (Pure and Applied) Rhodes University,

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

Some aspects of the Geodesic flow

Some aspects of the Geodesic flow Some aspects of the Geodesic flow Pablo C. Abstract This is a presentation for Yael s course on Symplectic Geometry. We discuss here the context in which the geodesic flow can be understood using techniques

More information

E 0 0 F [E] + [F ] = 3. Chern-Weil Theory How can you tell if idempotents over X are similar?

E 0 0 F [E] + [F ] = 3. Chern-Weil Theory How can you tell if idempotents over X are similar? . Characteristic Classes from the viewpoint of Operator Theory. Introduction Overarching Question: How can you tell if two vector bundles over a manifold are isomorphic? Let X be a compact Hausdorff space.

More information