Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples
|
|
- Bertina Campbell
- 5 years ago
- Views:
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/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 informationGEOMETRIC 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 informationPoisson 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 informationGeneralized 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 information1. 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 informationContact 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 informationLECTURE 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 informationGeneralized 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 informationGroup 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 informationHAMILTONIAN 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 informationGeneralized 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 informationComparison 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 informationLECTURE 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 informationCALCULUS 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 informationDe 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 informationEva 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 informationDeformations 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 informationThe 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 informationExercises 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 informationHomogeneous 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 informationChap. 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 informationM4P52 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 informationBRST 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 informationLECTURE 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 informationMirror 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 informationHamiltonian 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 informationLECTURE 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 informationReduction 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 informationHyperkä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 informationThe 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 informationThe 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 informationBACKGROUND 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 informationSymplectic 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 informationLecture 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 informationHamiltonian 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 informationTwisted 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 informationA 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 informationTesi 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 informationMaster 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 informationTHE 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 informationComplex 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 informationarxiv: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 informationHyper-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 informationTHE 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 informationVector 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 informationA 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 informationEXERCISES 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 informationNOTES 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 informationHYPERKÄ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
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 informationModuli 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 informationDierential 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 informationJACOBI 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 informationarxiv: 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 informationSECOND-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 informationLECTURE 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 informationSUBTANGENT-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 informationRESEARCH 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 informationWARPED 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 informationCategorification 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 informationSmooth 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 informationInvariant 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 informationfy (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 informationSYMPLECTIC 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 informationDoubled 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 informationSymplectic 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 informationAn 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 informationMathematical 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 informationMath 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 informationShifted 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 informationMonge-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 informationThe 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 informationGeometric 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 informationGeometria 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 informationHypercomplex 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 informationMaster 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 informationSolutions 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 informationTHE 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 informationMATH 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 informationAdiabatic 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 informationGauge 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 informationTwo 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 informationStable 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 informationAn 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 informationSUBMANIFOLDS 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 information1 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 informationSingularities 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 informationAs 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 informationDirac 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 informationOn 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 informationContact 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 informationMONGE-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 informationINTEGRATION 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 informationContact 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 informationConstant 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 informationComplex 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 informationInvariant 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 informationNOTES 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 informationSome 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 informationE 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