Contact and symplectic multi-valued solutions
of 1st order scalar differential equations
Valery Yumaguzhin
A program of the course at the 4-th Italian Diffiety School,
(Forino, July 17-29, 2000)
- Elements of linear symplectic geometry.
Nondegeneracy of a sqew ortoghonal 2-form. Even dimension of a symplectic
space. Symplectic basis. Sqew ortoghonal complement. Isotropic and Lagrangian
subspaces. Symplectic group, its basis properties.
- Symplectic manifolds.
Even dimension, orientability of symplectic manifolds.
H2(M,R)¹0 for compact symplectic
manifolds. Examples: symplest examples, orbits of the coadjoint
representation, cotangent bundle. Darboux's theorem.
- Lagrangian manifolds.
Lagrangian manifolds of a cotangent bundle.
- Multi-valued solutions of Hamilton-Jacobi equation.
- Elements of the contact geometry.
Contact forms and a contact structure. Nonintegrability of a contact distribution. Odd dimension, orientability of contact manifolds. Legendre's submanifolds. Darboux's theorem. Bundle of 1-jets of functions. Legendre's submanifolds of this bundle. Contact transformations, Legendre's transformations.
- Geometrical interpretation of 1-order scalar differential operators.
- Multi-valued generalized solutions of 1-order equations.
- Relations between symplectic and contact geometry.
Contactization of a symplectic manifold. Symplectification of a contact manifold.
Examination problems
- Let w be a sqew-symmetric 2-form on a
vector space V. Prove that the following definition are equivalent:
1) w is nondegenerate if for every x
Î V\{0} there exist y Î
V with w(x,y) ¹ 0;
2) w is nondegenerate if the map
V® V* defined by x
®w
(x, × ) is
an isomorphism of vector spaces;
3) w is nondegenerate if for any basis
{e1,…,en} of V, the matrix
(w(i,j))=(w(ei, ej)) is
nondegenerate.
- Let ( V2n, w ) be a symplectic
space; then there exist a basis
{e1, … en, f1, …, fn} such that
w = e1* Ù
f1* + … + en*
Ù fn*.
- Let (V2n, w) be a symplectic space
and W Ì V be a subspace. Prove that
W Ç W^
= ker (w½W) and
dim( W Ç W^ ) = rk ( w½W ).
- Prove that for any g Î Sp(2n, R), det g = 1.
- Let g Î Sp(2n, R) and P(l) be its characteristic polinomial. Prove that P(l) = l2n P(1/l ). In particular, if l is an eigenvalue of multiplicity r then 1/l is an eigenvalue of multiplicity r too.
- Let ( M, w ) be a compact symplectic manifold; then the D'Ram's cohomology class of w is nontrivial.
- Let G Ì GL(n, R) be Lie group and g Ì gl(n, R) be its Lie algebra. Prove that for any x Î g*, the set { bÎ g ½ ad*b(x ) = 0 } is an isotropy algebra of x .
- Prove that the sqew symmetric 2-form w on an orbit of the coadjoint representation defined by
w (h1, h2)= w ( ad*a1(x ), ad*a2(x ) )= x ( [a1, a2] ) is close.
- Prove that a symplectic map is an imbedding.
- Constract a multivalue solutions of some Hamilton-Jacobi equations.
- Let a be a contact form on a manifold M. Prove that M is orientable.
Constract an example of nonorientable contact manifold.
- Let a be a contact form on M. Then there exist a unique vector field X on M with
a (X) = 1 and da (X, × ) = 0.
- Let p1: J1M ® M be 1-jet bundle of smooth functions of manifold M and let L Ì J1M be a submanifold. If 1) L is a Legendre's manifold and 2) p1½L : L ® M is a diffeomorphism,
then $ fÎ C¥ (M) with L = Im j1f.
- Let f: J1M ® J1M be a diffeomorphism and U1 be a Cartan form on J1M. Prove that the folloving definitions are equivalent:
1) f is a contact transformation if it takes the Cartan distribution of J1M to itself;
2) f is a contact transformation if f*U1 = l U1, where l is a nowhere wanishing smooth function on M.
- Using the Legendre's transformation, constract a multivalue solutions of some 1-order scalar PDEs.
- Let l : J1M ® T*M be defined by l ( [f]1x )=df½x and let L Ì J1M be a Legendre's manifold. Prove that " x Î L there exists a neighborhood Vx Ì L of x such that l ( Vx ) Ì T*M is a Lagrangian submanifold and r ½l ( Vx ) is an exact form ( r is the canonical differential 1-form on T*M ). Constract an example to show that this statement is not true globally.
- Prove, for any connected Lagrangian submanifold N Ì T*M there exist a Legendre's manifold L Ì J1M so that l ½L: L ® N is a covering.
- Let M be a smooth manifold, N Ì M be a submanifold, and C1, C2 be contact structures on M with C1½T*xN = C2½T*xN. "xÎN. Prove that for some neighborhoods Ux, Vx of any point x Î N, there exist a diffeomorphism f: Ux ® Vx with f½Ux Ç N = id such that it takes C1½Ux to C2½Vx.
Passing the exam during the school required 12 solved problems. To
pass the exam by email one should solve 15 problems.
The exam has been passed by the following students:
- Giovanni Manno (14 problems)
- Luca Vitagliano (12 problems)