Group Actions and Cohomology in the Calculus of Variations
|
|
- Elisabeth Atkinson
- 5 years ago
- Views:
Transcription
1 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, Toronto, Canada, December 2013
2 EXAMPLE: INTEGRABLE SYSTEMS Potential Kadomtsev-Petviashvili (PKP) equation u tx u xu xx u xxxx s2 u yy = 0, s 2 = ±1. Admits an infinite dimensional algebra of distinguished symmetries g PKP involving 5 arbitrary functions of time t. (David, Kamran, Levi, Winternitz, Symmetry reduction for the Kadomtsev-Petviashvili equation using a loop algebra, J. Math. Phys. 27 (1986), )
3 EXAMPLE: INTEGRABLE SYSTEMS Potential Kadomtsev-Petviashvili (PKP) equation u tx u xu xx u xxxx s2 u yy = 0, s 2 = ±1. Admits an infinite dimensional algebra of distinguished symmetries g PKP involving 5 arbitrary functions of time t. (David, Kamran, Levi, Winternitz, Symmetry reduction for the Kadomtsev-Petviashvili equation using a loop algebra, J. Math. Phys. 27 (1986), )
4 PKP EQUATION The symmetry algebra g PKP is spanned by the vector fields X f = f t yf y + (1 3 xf 2 9 s2 y 2 f ) x + ( 1 3 uf x 2 f 4 27 s2 xy 2 f y 4 f ) u, Y g = g y 2 3 s2 yg x + ( 4 9 s2 xyg y 3 g ) u, Z h = h x + (2 3 xh 4 9 s2 y 2 h ) u, W k = yk u, and U l = l u, where f = f (t), g = g(t), h = h(t), k = k(t) and l = l(t) are arbitrary smooth functions of t.
5 PKP EQUATION Locally variational with the Lagrangian L = 1 2 u tu x 1 4 u3 x u2 xx 3 8 s2 u 2 y. But the PKP equation admits no Lagrangian that is invariant under g PKP! To what extent do these properties characterize the PKP-equation?
6 PKP EQUATION Locally variational with the Lagrangian L = 1 2 u tu x 1 4 u3 x u2 xx 3 8 s2 u 2 y. But the PKP equation admits no Lagrangian that is invariant under g PKP! To what extent do these properties characterize the PKP-equation?
7 EXAMPLE: VECTOR FIELD THEORIES One-form A = A b (x i ) dx b on R m satisfying T a = T a (x i, A b, A b,i1, A b,i1 i 2,..., A b,i1 i 2 i k ) = 0, a = 1, 2,..., m. SYMMETRIES S 1 : spatial translations S 2 : Gauge transformations CONSERVATION LAWS x i x i + a i, (a i ) R m. A a (x i ) A a (x i ) + φ x a (x i ), φ C (R m ). C 1 : There are functions tj i = tj i(x i, A a, A a,i1, A a,i1 i 2,..., A a,i1 i 2 i l ) such that, for each j = 1, 2,..., m, A a,j T a = D i (t i j ). C 2 : The divergence of T a vanishes identically, D a T a = 0.
8 VECTOR FIELD THEORIES THEOREM (ANDERSON, P.) Suppose that the differential operator T a admits symmetries S 1, S 2 and conservation laws C 1, C 2. Then T a arises from a variational principle, T a = E a (L) for some Lagrangian L, if (i) m = 2, and T a is of third order; (ii) m 3, and T a is of second order; (iii) the functions T a are polynomials of degree at most m in the field variables A a and their derivatives. NATURAL QUESTION: Can the Lagrangian L be chosen to be invariant under [S1], [S2]?
9 The goal is to reduce these type of questions into algebraic problems.
10 VARIATIONAL BICOMPLEX Smooth fiber bundle F E π M Adapted coordinates {(x 1, x 2,..., x m, u 1, u 2,..., u p )} = {(x i, u α )} such that π(x i, u α ) = (x i ).
11 A local section is a smooth mapping σ : U op M E such that In adapted coordinates π σ = id. σ(x 1, x 2,..., x m ) = (x 1, x 2,..., x m, f 1 (x 1, x 2,..., x m ),..., f p (x 1, x 2,..., x m )).
12 INFINITE JET BUNDLE OF SECTIONS J (E) π o E π π M
13 INFINITE JET BUNDLE Adapted coordinates = locally J (E) {(x i, u α, u α x j 1, uα x j 1 x j 2,..., uα x j 1 x j 2 x j k,... )}. Often write u α x j 1 x j 2 x j k = uα j 1 j 2 j k = u α J, where J = (j 1, j 2,..., j k ), 1 j l m, is a multi-index.
14 COTANGENT BUNDLE OF J (E) Horizontal forms: dx 1, dx 2,..., dx m. Contact forms: θ α J = duα J uα Jk dx k. The space of differential forms Λ (J (E)) on J (E) splits into a direct sum of spaces of horizontal degree r and vertical (or contact) degree s: Λ (J (E)) = Λ r,s (J (E)). r,s 0 Here ω Λ r,s (J (E)) is a finite sum of terms of the form f (x i, u α, u α j,..., u α J ) dx k 1 dx kr θ α 1 L 1 θ αs L s.
15 COTANGENT BUNDLE OF J (E) Horizontal forms: dx 1, dx 2,..., dx m. Contact forms: θ α J = duα J uα Jk dx k. The space of differential forms Λ (J (E)) on J (E) splits into a direct sum of spaces of horizontal degree r and vertical (or contact) degree s: Λ (J (E)) = Λ r,s (J (E)). r,s 0 Here ω Λ r,s (J (E)) is a finite sum of terms of the form f (x i, u α, u α j,..., u α J ) dx k 1 dx kr θ α 1 L 1 θ αs L s.
16 HORIZONTAL AND VERTICAL DIFFERENTIALS The horizontal connection generated by the total derivative operators D i = is flat = x i + u α i The exterior derivative splits as where u α + uα ij 1 uj α + u α ij 1 j 2 1 uj α + 1 j 2 d = d H + d V, d H : Ω r,s Ω r+1,s, d V : Ω r,s Ω r,s+1.
17 HORIZONTAL AND VERTICAL DIFFERENTIALS The horizontal connection generated by the total derivative operators D i = is flat = x i + u α i The exterior derivative splits as where u α + uα ij 1 uj α + u α ij 1 j 2 1 uj α + 1 j 2 d = d H + d V, d H : Ω r,s Ω r+1,s, d V : Ω r,s Ω r,s+1.
18 HORIZONTAL AND VERTICAL DIFFERENTIALS m d H f (x i, u α,..., uj α ) = D j f (x i, u α,..., uj α )dx j, j=1 p d V f (x i, u α,..., uj α ) = β=1 u β K 0 K f (x i, u α,..., uj α )θβ K. d 2 = 0 = d 2 H = 0, d 2 V = 0, d Hd V + d V d H = 0.
19 HORIZONTAL AND VERTICAL DIFFERENTIALS m d H f (x i, u α,..., uj α ) = D j f (x i, u α,..., uj α )dx j, j=1 p d V f (x i, u α,..., uj α ) = β=1 u β K 0 K f (x i, u α,..., uj α )θβ K. d 2 = 0 = d 2 H = 0, d 2 V = 0, d Hd V + d V d H = 0.
20 d V d V d V d V d H d H d H 0 Λ 0,1 Λ 1,1 Λ m 1,1 Λ m,1 d V d V d V d V d H d H d H R Λ 0,0 Λ 1,0 Λ m 1,0 Λ m,0 π π π π R Λ 0 d M Λ 1 d M Λ m 1 d M Λ m M
21 FUNCTIONAL FORMS Define I αu β J = { δ β αδ (i 1 j 1 δ i k ) j k, if I = J, 0, otherwise. Interior Euler operator Fα I : Λ r,s Λ r,s 1, s 1, Fα(ω) I = ( ) I + J ( D) J ( α IJ I J 0 ω). Integration-by-parts operator I : Λ m,s Λ m,s, s 1, I(ω) = 1 s θα F α (ω). Spaces of functional s-forms F s = I(Λ m,s ), s 1. Differentials δ V = I d V : F s F s+1. Then δv 2 = 0.
22 FUNCTIONAL FORMS Define I αu β J = { δ β αδ (i 1 j 1 δ i k ) j k, if I = J, 0, otherwise. Interior Euler operator Fα I : Λ r,s Λ r,s 1, s 1, Fα(ω) I = ( ) I + J ( D) J ( α IJ I J 0 ω). Integration-by-parts operator I : Λ m,s Λ m,s, s 1, I(ω) = 1 s θα F α (ω). Spaces of functional s-forms F s = I(Λ m,s ), s 1. Differentials δ V = I d V : F s F s+1. Then δv 2 = 0.
23 FREE VARIATIONAL BICOMPLEX d V d V d V d V δ V d H d H d H I 0 Λ 0,2 Λ 1,2 Λ m 1,2 Λ m,2 F 2 d V d V d V d V δ V d H d H d H I 0 Λ 0,1 Λ 1,1 Λ m 1,1 Λ m,1 F 1 d V d V d V d V E d H d H d H R Λ 0,0 Λ 1,0 Λ m 1,0 Λ m,0 π π π π R Λ 0 d M Λ 1 d M Λ m 1 d M Λ m M
24 EULER-LAGRANGE COMPLEX Columns are locally exact Interior rows are globally exact! Horizontal homotopy operator where c I = h r,s H (ω) = 1 s I +1 n r+ I +1. I 0 c I D I [ θ α F Ij α(d j ω)], s 1,
25 EULER-LAGRANGE COMPLEX The edge complex R Λ 0,0 d H Λ m 1,0 d H Λ 1,0 d H d H Λ m,0 δ V F 1 δ V F 2 δ V Div E H is called the Euler-Lagrange complex E (J (E)).
26 CANONICAL REPRESENTATIONS Then ω = V i (x i, u [k] )( x i ν) Λ m 1,0, λ = L(x i, u [k] )ν Λ m, = α (x i, u [k] )θ α ν F 1, H = 1 2 HI αβ (x i, u [k] )θ α θ β I. λ = d H ω L = D i V i, = δ V λ α = E α (L), H = δ V H I αβ = I β α + ( 1) I E I α( β ), where E I α(f) = J 0 ( I + J ) ( D)J ( IJ I α F).
27 COHOMOLOGY Associated cohomology spaces: H r (E (J (E))) = ker δ V : E r E r+1 im δ V : E r 1 E r. This complex is locally exact and its cohomology H (E (J (E)) is isomorphic with the de Rham cohomology of E singular cohomology of E.
28 GROUP ACTIONS A Lie pseudo-group G consists a collection of local diffeomorphisms on E satisfying 1. id G; 2. If ψ 1, ψ 2 G, then ψ 1 (ψ 2 ) 1 G where defined; 3. There is k o such that the pseudo-group jets G k = {j k z ψ ψ G, z dom ψ}, k k o, form a smooth bundle. 4. A local diffeomorphism ψ G jz k ψ G k, k k o, for all z dom ψ. EXAMPLE: Symmetry groups of differential equations, gauge groups,....
29 The graph Γ σ E of a local section σ of E M is the set Γ σ = {σ(x i ) (x i ) dom σ}. Let ψ G. Define the transform ψ σ of σ under ψ by Γ ψ σ = ψ(γ σ ). The prolonged action of G on J (E) is then defined by j x o σ pr ψ j ψ(x o ) (ψ σ) σ ψ ψ σ
30 A function F defined on a G-invariant open U J (E) is called a differential invariant of G if F pr ψ = F for all ψ G. A k-form ω Λ k (U) is G invariant if (pr ψ) ω = ω for all ψ G.
31 The prolongation pr V of a local vector field V on E is defined by Φ V t pr Φ V t d dt V pr V A local vector field V on E is a G vector field, V g, if the flow Φ V t G for all fixed t on some interval about 0.
32 The prolongation pr V of a local vector field V on E is defined by Φ V t pr Φ V t d dt V pr V A local vector field V on E is a G vector field, V g, if the flow Φ V t G for all fixed t on some interval about 0.
33 Suppose that G consists of projectable transformations. Then the actions of G and g both preserve the spaces Λ r,s (J (E)) and commute with the horizontal and vertical differentials d H, d V, and the integration-by-parts operator I. = The differentials d H, d V, δ V map G- and g-invariant forms to G- and g-invariant forms, respectively.
34 g-invariant VARIATIONAL BICOMPLEX: d V d V d V d V δ V d 0 Λ 0,2 H d g Λ 1,2 H d g Λ m 1,2 H I g Λ m,2 g F 2 g d V d V d V d V δ V d 0 Λ 0,1 H d g Λ 1,1 H d g Λ m 1,1 H I g Λ m,1 g F 1 g d V d V d V d V E R Λ 0,0 g Λ 1,0 g d H d H d H Λ m 1,0 g Λ m,0 g π π π π R Λ 0 d M,g Λ 1 d M,g Λ m 1 d M,g Λ m M,g
35 g-invariant EULER-LAGRANGE COMPLEX E g (J (E)): R Λ 0,0 g d H Λ 1,0 g d H d H Λ m 1,0 g d H Λ m,0 g Div δ V E F 1 g δ V H F 2 g δ V Associated cohomology spaces: H r (Eg (J (E))) = ker δ V : Eg r Eg r+1 im δ V : Eg r 1. Eg r
36 EXACTNESS OF THE INTERIOR HORIZONTAL ROWS THEOREM Let g be a pseudo-group of projectable transformations acting on E M, and let ω i and θ α be g invariant horizontal frame and zeroth order contact frame defined on some G-invariant open set U J (E) contained in an adapted coordinate system. Then the interior rows of the g-invariant augmented variational bicomplex restricted to U are exact, H (Λ,s g (U), d H ) = {0}, s 1. COROLLARY: Under the above hypothesis H (E g (U), δ V ) = H (Λ g(u), d).
37 EXACTNESS OF THE INTERIOR HORIZONTAL ROWS THEOREM Let g be a pseudo-group of projectable transformations acting on E M, and let ω i and θ α be g invariant horizontal frame and zeroth order contact frame defined on some G-invariant open set U J (E) contained in an adapted coordinate system. Then the interior rows of the g-invariant augmented variational bicomplex restricted to U are exact, H (Λ,s g (U), d H ) = {0}, s 1. COROLLARY: Under the above hypothesis H (E g (U), δ V ) = H (Λ g(u), d).
38 COMPUTATIONAL TECHNIQUES EXPLICIT DESCRIPTION OF THE INVARIANT VARIATIONAL BICOMPLEX. Given a local cross section K (k) J k (E) to the action of G k on J k (E), let H k K (k) = {(g k, z k ) z k K (k), g k, z k based at the same point}, and let µ k : H k K (k) J k (E), µ k (g k, z k ) = g k z k. Then, if the action is locally free, µ k will be a G-equivariant local diffeomorphism with the action of G on H k K (k) given by ϕ (g k, z k ) = (ϕ g k, z k ).
39 COMPUTATIONAL TECHNIQUES Upshot: Locally one can find a complete set of differential invariants {I α } and a coframe on U J k (E) consisting of {di α } and g-invariant 1-forms {ϑ β } such that the algebra A generated by {ϑ β } is closed under d = H g (U, d) = H (A, d). (Apply the g-equivariant homotopy I α t I α, di α t di α, ϑ β ϑ β, 0 t 1.)
40 GELFAND-FUKS COHOMOLOGY Formal power series vector fields on R m : { m } W m = a l x l a l R[[x 1,..., x m ]]. l=1 Lie bracket [, ]: W m W m W m. Give W m a topology relative to the ideal m =< x 1, x 2,..., x m >. Λ c(w m ): continuous alternating functionals on W m. Λ c(w m ) is generated by δ i j 1 j 2 j k, where δj i 1 j 2 j k (a l x l ) = k a i x j 1 x j 2 x j k (0).
41 GELFAND-FUKS COHOMOLOGY Formal power series vector fields on R m : { m } W m = a l x l a l R[[x 1,..., x m ]]. l=1 Lie bracket [, ]: W m W m W m. Give W m a topology relative to the ideal m =< x 1, x 2,..., x m >. Λ c(w m ): continuous alternating functionals on W m. Λ c(w m ) is generated by δ i j 1 j 2 j k, where δj i 1 j 2 j k (a l x l ) = k a i x j 1 x j 2 x j k (0).
42 GELFAND-FUKS COHOMOLOGY The differential d GF : Λ r c(w m ) Λ r+1 c (W m ) is induced by Lie bracket of vector fields so that d 2 GF = 0! d GF ω(x, Y ) = ω([x, Y ]), ω Λ 1 c(w m ). Let g o g W m be subalgebras. Define Λ c(g) = Λ c(w m ) g, Λ c(g, g o ) = {ω Λ c(g) X ω = 0, X d GF ω = 0, for all X g o }. The Gelfand-Fuks cohomology H GF (g, g o) of g relative to g o is the cohomology of the complex (Λ c(g, g o ), d GF ).
43 GELFAND-FUKS COHOMOLOGY The differential d GF : Λ r c(w m ) Λ r+1 c (W m ) is induced by Lie bracket of vector fields so that d 2 GF = 0! d GF ω(x, Y ) = ω([x, Y ]), ω Λ 1 c(w m ). Let g o g W m be subalgebras. Define Λ c(g) = Λ c(w m ) g, Λ c(g, g o ) = {ω Λ c(g) X ω = 0, X d GF ω = 0, for all X g o }. The Gelfand-Fuks cohomology H GF (g, g o) of g relative to g o is the cohomology of the complex (Λ c(g, g o ), d GF ).
44 EVALUATION MAPPING Pick σ J (E). For a given infinitesimal transformation group g acting on E, let g o = {X g pr X(σ ) = 0}. Define ρ: Λ g(j (E)) Λ c(g, g o ) by ρ(ω)(x 1,..., X r ) = ( 1) r ω(pr X 1,..., pr X r )(σ ). Then ρ is a cochain mapping, that is, it commutes with the application of d and d GF, and thus induces a mapping ρ: H (Λ g(j (E)), d) H GF (g, g o). Goal is to show that ρ is an isomorphism (moving frames!).
45 EVALUATION MAPPING Pick σ J (E). For a given infinitesimal transformation group g acting on E, let g o = {X g pr X(σ ) = 0}. Define ρ: Λ g(j (E)) Λ c(g, g o ) by ρ(ω)(x 1,..., X r ) = ( 1) r ω(pr X 1,..., pr X r )(σ ). Then ρ is a cochain mapping, that is, it commutes with the application of d and d GF, and thus induces a mapping ρ: H (Λ g(j (E)), d) H GF (g, g o). Goal is to show that ρ is an isomorphism (moving frames!).
46 EQUIVARIANT DEFORMATIONS Construct a submanifold P U J (E) such that 1. pr g acts transitively on P, and 2. P is pr g-equivariant strong deformation retract of U, that is, there is a smooth map H : U [0, 1] U such that H(σ, 0) = σ, for all σ U, H(σ, 1) P, for all σ U, H(σ, t) = σ, for all (σ, t) P [0, 1], (H t ) (pr V σ ) = pr V H(σ,t), for all V g, (σ, t) U [0, 1].
47 EQUIVARIANT DEFORMATIONS Under these circumstances the inclusion map ι: P U and the evaluation map ρ: Λ g(p ) Λ c(g, g o ) induce isomorphisms in cohomology.
48 PKP EQUATION AGAIN The symmetry algebra g PKP of the PKP equation u tx u xu xx u xxxx s2 u yy = 0. is spanned by the vector fields X f = f t yf y + (1 3 xf 2 9 s2 y 2 f ) x + ( 1 3 uf x 2 f 4 27 s2 xy 2 f y 4 f ) u, Y g = g y 2 3 s2 yg x + ( 4 9 s2 xyg y 3 g ) u, Z h = h x + (2 3 xh 4 9 s2 y 2 h ) u, W k = yk u, and U l = l u, where f = f (t), g = g(t), h = h(t), k = k(t) and l = l(t) are arbitrary smooth functions of t.
49 PKP equation Now E = {(t, x, y, u)} {(t, x, y)}. The PKP source form PKP = (u tx + 32 u xu xx + u xxxx + 34 ) s2 u yy θ dt dx dy generates non-trivial cohomology in H 4 (E gpkp (J (E)))! The characterization problem of the PKP-equation by its symmetry algebra amounts to the computation of H 4 (E g PKP (U)). For a suitable U J (U), H (E g PKP (U)) can be computed by an explicit description of differential invariants and an invariant coframe arising from the moving frames construction.
50 PKP equation Now E = {(t, x, y, u)} {(t, x, y)}. The PKP source form PKP = (u tx + 32 u xu xx + u xxxx + 34 ) s2 u yy θ dt dx dy generates non-trivial cohomology in H 4 (E gpkp (J (E)))! The characterization problem of the PKP-equation by its symmetry algebra amounts to the computation of H 4 (E g PKP (U)). For a suitable U J (U), H (E g PKP (U)) can be computed by an explicit description of differential invariants and an invariant coframe arising from the moving frames construction.
51 The Gelfand-Fuks complex for g PKP admits a basis α n, β n, γ n, υ n, ϑ n, n = 0, 1, 2,..., of invariant forms so that ( ) n dα n n = α k α n k+1, k k=0 ( ) n dβ n n {α = k β n k+1 2 k 3 αk+1 β n k}, k=0 ( ) n dγ n n {α = k γ n k+1 1 k 3 αk+1 γ n k 2 3 s2 β k β n k+1}, k=0 ( ) n+1 dυ n n + 1 {α = k υ n k k 9 s2 (β k+1 γ n k+1 dϑ n = k=0 ( ) n n {α k ϑ n k k 3 αk+1 ϑ n k k=0 2β k γ n k+2 ) }, + β k υ n k γk γ n k+1}. The complex splits into a direct sum of simultaneous eigenspaces of 2 Lie derivative operators.
52 The Gelfand-Fuks complex for g PKP admits a basis α n, β n, γ n, υ n, ϑ n, n = 0, 1, 2,..., of invariant forms so that ( ) n dα n n = α k α n k+1, k k=0 ( ) n dβ n n {α = k β n k+1 2 k 3 αk+1 β n k}, k=0 ( ) n dγ n n {α = k γ n k+1 1 k 3 αk+1 γ n k 2 3 s2 β k β n k+1}, k=0 ( ) n+1 dυ n n + 1 {α = k υ n k k 9 s2 (β k+1 γ n k+1 dϑ n = k=0 ( ) n n {α k ϑ n k k 3 αk+1 ϑ n k k=0 2β k γ n k+2 ) }, + β k υ n k γk γ n k+1}. The complex splits into a direct sum of simultaneous eigenspaces of 2 Lie derivative operators.
53 PKP EQUATION Let A be a non-vanishing differential function on some open set U J (E) satisfying pr X f (A) Af (t) = 0, A y = 0, for every smooth f (t), and let B be a differential function on U satisfying pr X f (B)+ 2 3 ya 1 f (t) = 0, For example, one can choose B y = 0, for every smooth f (t). A = (u x n) 1 n+1 and B = 3 2 s2 u x n 1 y (u n+2 x n) n+1, n 3, on U = {u x n > 0}.
54 PKP EQUATION Let A be a non-vanishing differential function on some open set U J (E) satisfying pr X f (A) Af (t) = 0, A y = 0, for every smooth f (t), and let B be a differential function on U satisfying pr X f (B)+ 2 3 ya 1 f (t) = 0, For example, one can choose B y = 0, for every smooth f (t). A = (u x n) 1 n+1 and B = 3 2 s2 u x n 1 y (u n+2 x n) n+1, n 3, on U = {u x n > 0}.
55 PKP EQUATION THEOREM Suppose that differential functions A and B, defined on an open U J (E), are chosen as above. Then the dimensions of the cohomology spaces H r (E g PKP (U), δ V ) are r dim
56 REPRESENTATIVES OF THE COHOMOLOGY CLASSES Let {α 0, β 0, γ 0 } be the g PKP invariant horizontal frame defined by α 0 = A 3 dt, β 0 = A 2 dy + A 3 Bdt, γ 0 = Adx 2 3 s2 A 2 Bdy + A 3 Cdt, where C = 3 2 u xa s2 B 2, and let K be the g PKP differential invariant K = (u tx s2 u yy u xu xx )A 5.
57 REPRESENTATIVES OF THE COHOMOLOGY CLASSES Let 1, 2 E 4 g PKP (U) be the source forms 1 = (u tx u xu xx s2 u yy ) dt dx dy du, 2 = u xxxx dt dx dy du, and let 3 E 4 g PKP (U) be the source form which is the Euler-Lagrange expression 3 = E(BK α 0 β 0 γ 0 ). Then H 4 (E (U), δ V ) =< 1, 2, 3 >. Note that the PKP source form is the sum PKP =
58 REPRESENTATIVES OF THE COHOMOLOGY CLASSES Let 1, 2 E 4 g PKP (U) be the source forms 1 = (u tx u xu xx s2 u yy ) dt dx dy du, 2 = u xxxx dt dx dy du, and let 3 E 4 g PKP (U) be the source form which is the Euler-Lagrange expression 3 = E(BK α 0 β 0 γ 0 ). Then H 4 (E (U), δ V ) =< 1, 2, 3 >. Note that the PKP source form is the sum PKP =
59 COROLLARY: Let E 4 g PKP (U) be a g PKP invariant source form that is the Euler-Lagrange expression of some Lagrangian 3-form λ E 3 (U). Then there are constants c 1, c 2, c 3 and a g PKP -invariant Lagrangian 3-form λ 0 E 3 g PKP (U) such that = c c c E(λ 0 ).
60 VECTOR FIELD THEORIES Here E = T R m = {(x i, A j )} {(x i )}. Now the infinitesimal transformation group g is spanned by T i = x i, V φ = φ,i A i, where φ is an arbitrary smooth function on R m. Need to compute H m+1 (E g (J (T R m )))! The standard horizontal homotopy operator for the free variational bicomplex commutes with the action of g = H,s (Λ, g (J (E)), d H, I) = {0}, s 1. So it suffices to compute H (Λ g(j (E)), d).
61 VECTOR FIELD THEORIES Here E = T R m = {(x i, A j )} {(x i )}. Now the infinitesimal transformation group g is spanned by T i = x i, V φ = φ,i A i, where φ is an arbitrary smooth function on R m. Need to compute H m+1 (E g (J (T R m )))! The standard horizontal homotopy operator for the free variational bicomplex commutes with the action of g = H,s (Λ, g (J (E)), d H, I) = {0}, s 1. So it suffices to compute H (Λ g(j (E)), d).
62 VECTOR FIELD THEORIES Parametrize J (T R m ) by (x i, A a, A (a,b1 ), F ab1, A (a,b1 b 2 ), F a(b1,b 2 ), A (a,b1 b 2 b 3 ), F a(b1,b 2 b 3 ),...), where F ab = A a,b A b,a. Now the variables F a(b1,b 2 b r ) are invariant under the action of g = P = { σ J (T R m ) F ij (σ ) = 0, F i(j,h) (σ ) = 0,... } is a g-equivariant strong deformation retract of J (T M) on which g acts transitively.
63 VECTOR FIELD THEORIES In conclusion, H (E g (J (T M))) = H GF ( g), where the Lie algebra of formal vector fields g is spanned by the vector fields T i and V j 1j 2...j k = x (j 1 x j2 x j k 1 j k ) A, j A = A j.
64 VECTOR FIELD THEORIES A basis for H (E g (J (T M))) is given by dx i 1 dx i k F l Λ r,0 g (J (T M)), k + 2l = r, dx i 1 dx i k F l (d V A) s F s g (J (T M)), k + 2l + s = m. (A = A i dx i, F = F ij dx i dx j.) Generators for H m+1 (E g (J (T M))) i 1i 2 i k = dx i 1 dx i 2 dx i k F l d V A, k + 2l = m 1, dim H m+1 (E g (J (T M))) = 2 m 1. Note that when m = 2r + 1, = F r d V A is the Chern-Simons mass term with components i = ɛ ij 1k 1 j 2 k 2 j r k r F j1 k 1 F j2 k 2 F jr k r.
The Cohomology of the Variational Bicomplex Invariant under the Symmetry Algebra of the Potential Kadomtsev-Petviashvili Equation
Nonlinear Mathematical Physics 997, V.4, N 3 4, 364 376. The Cohomology of the Variational Bicomplex Invariant under the Symmetry Algebra of the Potential Kadomtsev-Petviashvili Equation Juha POHJANPELTO
More informationInvariant Calculus with Vessiot
Invariant Calculus with Vessiot Irina Kogan (Yale University) August 13, 2002 Invariant Euler-Lagrange Equations and the Invariant Variational Bicomplex, I. Kogan, P.J.Olver. Maple package Vessiot for
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 informationInvariant Variational Problems & Invariant Curve Flows
Invariant Variational Problems & Invariant Curve Flows Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Oxford, December, 2008 Basic Notation x = (x 1,..., x p ) independent variables
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationÉlie Cartan s Theory of Moving Frames
Élie Cartan s Theory of Moving Frames Orn Arnaldsson Department of Mathematics University of Minnesota, Minneapolis Special Topics Seminar, Spring 2014 The Story of Symmetry Felix Klein and Sophus Lie
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationMAURER CARTAN EQUATIONS FOR LIE SYMMETRY PSEUDO-GROUPS OF DIFFERENTIAL EQUATIONS
MAURER CARTAN EQUATIONS FOR LIE SYMMETRY PSEUDO-GROUPS OF DIFFERENTIAL EQUATIONS JEONGOO CHEH, PETER J. OLVER, JUHA POHJANPELTO ABSTRACT. A new method of constructing structure equations of Lie symmetry
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 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 informationContact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples
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,
More informationEquivalence, Invariants, and Symmetry
Equivalence, Invariants, and Symmetry PETER J. OLVER University of Minnesota CAMBRIDGE UNIVERSITY PRESS Contents Preface xi Acknowledgments xv Introduction 1 1. Geometric Foundations 7 Manifolds 7 Functions
More informationChapter 2 Noether s First Theorem
Chapter 2 Noether s First Theorem We here are concerned with Lagrangian theory on fibre bundles (Chap. 1). In this case, Noether s first theorem (Theorem 2.7) and Noether s direct second theorem (Theorem
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 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 informationLie groupoids and Lie algebroids
Lie groupoids and Lie algebroids Songhao Li University of Toronto, Canada University of Waterloo July 30, 2013 Li (Toronto) Groupoids and algebroids Waterloo 2013 1 / 22 Outline Lie groupoid Lie groupoid
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationarxiv:math/ v1 [math.dg] 3 Nov 2004
Noether s second theorem in a general setting. Reducible gauge theories D.Bashkirov 1, G.Giachetta 2, L.Mangiarotti 2, G.Sardanashvily 1 arxiv:math/0411070v1 [math.dg] 3 Nov 2004 1 Department of Theoretical
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 informationInductive and Recursive Moving Frames for Lie Pseudo-Groups
Inductive and Recursive Moving Frames for Lie Pseudo-Groups Francis Valiquette (Joint work with Peter) Symmetries of Differential Equations: Frames, Invariants and Applications Department of Mathematics
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 informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
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 informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationALGORITHMS FOR DIFFERENTIAL INVARIANTS OF SYMMETRY GROUPS OF DIFFERENTIAL EQUATIONS
ALGORITHMS FOR DIFFERENTIAL INVARIANTS OF SYMMETRY GROUPS OF DIFFERENTIAL EQUATIONS JEONGOO CHEH, PETER J. OLVER, AND JUHA POHJANPELTO Abstract. We develop new computational algorithms, based on the method
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationInfinite Dimensional Symmetry Groups
Infinite Dimensional Symmetry Groups Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Lausanne, July, 2007 Sur la théorie, si importante sans doute, mais pour nous si obscure, des
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 informationThe Invariant Variational Bicomplex
Contemporary Mathematics The Invariant Variational Bicomplex Irina A. Kogan and Peter J. Olver Abstract. We establish a group-invariant version of the variational bicomplex that is based on a general moving
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 informationCHARACTERISTIC CLASSES
1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact
More 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 informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
More informationB.7 Lie Groups and Differential Equations
96 B.7. LIE GROUPS AND DIFFERENTIAL EQUATIONS B.7 Lie Groups and Differential Equations Peter J. Olver in Minneapolis, MN (U.S.A.) mailto:olver@ima.umn.edu The applications of Lie groups to solve differential
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 informationTotal Differentiation Under Jet Composition
Journal of Nonlinear Mathematical Physics Volume 13, Supplement (2006), 102 109 AGMF Tallin 05 Total Differentiation Under Jet Composition Maido RAHULA and Vitali RETŠNOI Institute of Pure Mathematics,
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
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 informationConservation Laws: Systematic Construction, Noether s Theorem, Applications, and Symbolic Computations.
Conservation Laws: Systematic Construction, Noether s Theorem, Applications, and Symbolic Computations. Alexey Shevyakov Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon,
More informationComparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp(1)
Comparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp() Jeffrey D. Carlson January 3, 4 Introduction In this note, we aim to prove the Weyl integration
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 informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationAlgebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität
1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion
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 informationAlexei F. Cheviakov. University of Saskatchewan, Saskatoon, Canada. INPL seminar June 09, 2011
Direct Method of Construction of Conservation Laws for Nonlinear Differential Equations, its Relation with Noether s Theorem, Applications, and Symbolic Software Alexei F. Cheviakov University of Saskatchewan,
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 informationMath Homotopy Theory Spring 2013 Homework 13 Solutions
Math 527 - Homotopy Theory Spring 2013 Homework 13 Solutions Definition. A space weakly equivalent to a product of Eilenberg-MacLane spaces is called a generalized Eilenberg-MacLane space, or GEM for short.
More informationA Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations
A Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations Kurt Schlacher, Andreas Kugi and Kurt Zehetleitner kurt.schlacher@jku.at kurt.zehetleitner@jku.at,
More informationarxiv: v1 [math-ph] 13 Feb 2008
Bi-Hamiltonian nature of the equation u tx = u xy u y u yy u x V. Ovsienko arxiv:0802.1818v1 [math-ph] 13 Feb 2008 Abstract We study non-linear integrable partial differential equations naturally arising
More informationRecursive Moving Frames for Lie Pseudo-Groups
Recursive Moving Frames for Lie Pseudo-Groups Peter J. Olver 1 Francis Valiquette 2 School of Mathematics Department of Mathematics University of Minnesota SUNY at New Paltz Minneapolis, MN New Paltz,
More informationarxiv: v1 [math-ph] 25 Jul Preliminaries
arxiv:1107.4877v1 [math-ph] 25 Jul 2011 Nonlinear self-adjointness and conservation laws Nail H. Ibragimov Department of Mathematics and Science, Blekinge Institute of Technology, 371 79 Karlskrona, Sweden
More informationCOMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD
COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD MELINDA LANIUS 1. introduction Because Poisson cohomology is quite challenging to compute, there are only very select cases where the answer is
More informationGroup Invariant Solutions in Mathematical Physics and Differential Geometry
Utah State University DigitalCommons@USU All Physics Faculty Publications Physics 2001 Group Invariant Solutions in Mathematical Physics and Differential Geometry Ian M. Anderson Utah State University
More informationNOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS
NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just
More informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationOn the classification of certain curves up to projective tranformations
On the classification of certain curves up to projective tranformations Mehdi Nadjafikhah Abstract The purpose of this paper is to classify the curves in the form y 3 = c 3 x 3 +c 2 x 2 + c 1x + c 0, with
More informationAtiyah classes and homotopy algebras
Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten
More informationOn algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem
s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants
More 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 informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationDeformations of Coisotropic Submanifolds of Jacobi Manifolds
Deformations of Coisotropic Submanifolds of Jacobi Manifolds Luca Vitagliano University of Salerno, Italy (in collaboration with: H. V. Lê, Y.-G. Oh, and A. Tortorella) GAMMP, Dortmund, March 16 19, 2015
More informationOn Eilenberg-MacLanes Spaces (Term paper for Math 272a)
On Eilenberg-MacLanes Spaces (Term paper for Math 272a) Xi Yin Physics Department Harvard University Abstract This paper discusses basic properties of Eilenberg-MacLane spaces K(G, n), their cohomology
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationOn the Van Est homomorphism for Lie groupoids
Fields Institute, December 13, 2013 Overview Let G M be a Lie groupoid, with Lie algebroid A = Lie(G) Weinstein-Xu (1991) constructed a cochain map VE: C (G) C (A) from smooth groupoid cochains to the
More informationApplications of Symmetries and Conservation Laws to the Study of Nonlinear Elasticity Equations
Applications of Symmetries and Conservation Laws to the Study of Nonlinear Elasticity Equations A Thesis Submitted to the College of Graduate Studies and Research in Partial Fulfillment of the Requirements
More informationAction-angle coordinates and geometric quantization. Eva Miranda. Barcelona (EPSEB,UPC) STS Integrable Systems
Action-angle coordinates and geometric quantization Eva Miranda Barcelona (EPSEB,UPC) STS Integrable Systems Eva Miranda (UPC) 6ecm July 3, 2012 1 / 30 Outline 1 Quantization: The general picture 2 Bohr-Sommerfeld
More 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 informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More 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 informationDerived Categories. Mistuo Hoshino
Derived Categories Mistuo Hoshino Contents 01. Cochain complexes 02. Mapping cones 03. Homotopy categories 04. Quasi-isomorphisms 05. Mapping cylinders 06. Triangulated categories 07. Épaisse subcategories
More informationSymplectic varieties and Poisson deformations
Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More informationMoving Frame Derivation of the Fundamental Equi-Affine Differential Invariants for Level Set Functions
Moving Frame Derivation of the Fundamental Equi-Affine Differential Invariants for Level Set Functions Peter. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@umn.edu http://www.math.umn.edu/
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 informationBędlewo. October 19, Glenn Barnich. Physique théorique et mathématique. Université Libre de Bruxelles & International Solvay Institutes
Będlewo. October 19, 2007 Glenn Barnich Physique théorique et mathématique Université Libre de Bruxelles & International Solvay Institutes Algebraic structure of gauge systems: Theory and Applications
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
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 informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationThe Canonical Contact Form
The Canonical Contact Form Peter J Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 USA olver@mathumnedu http://wwwmathumnedu/ olver Abstract The structure group and the involutive
More informationTHEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009
[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was
More informationarxiv:math/ v4 [math.dg] 3 Sep 2006
DIFFERENTIAL FORMS AND ODD SYMPLECTIC GEOMETRY HOVHANNES M. KHUDAVERDIAN AND THEODORE TH. VORONOV arxiv:math/0606560v4 [math.dg] 3 Sep 2006 Abstract. We recall the main facts about the odd Laplacian acting
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 informationDimensional Reduction of Invariant Fields and Differential Operators. II. Reduction of Invariant Differential Operators
Dimensional Reduction of Invariant Fields and Differential Operators. II. Reduction of Invariant Differential Operators Petko A. Nikolov and Nikola P. Petrov Abstract. In the present paper, which is a
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationL6: Almost complex structures
L6: Almost complex structures To study general symplectic manifolds, rather than Kähler manifolds, it is helpful to extract the homotopy-theoretic essence of having a complex structure. An almost complex
More informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationA classification of equivariant gerbe connections
A classification of equivariant gerbe connections Byungdo Park (KIAS) joint work with Corbett Redden (LIU Post) Topology in Australia and South Korea IBS Center for Geometry and Physics 24.04.2018 Outline
More informationLet V, W be two finite-dimensional vector spaces over R. We are going to define a new vector space V W with two properties:
5 Tensor products We have so far encountered vector fields and the derivatives of smooth functions as analytical objects on manifolds. These are examples of a general class of objects called tensors which
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
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 informationTHE VARIATIONAL BICOMPLEX. Ian M. Anderson
THE VARIATIONAL BICOMPLEX by Ian M. Anderson TABLE OF CONTENTS PREFACE............................ iii ACKNOWLEDGMENTS..................... vii INTRODUCTION....................... viii chapter one VECTOR
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 informationOn projective classification of plane curves
Global and Stochastic Analysis Vol. 1, No. 2, December 2011 Copyright c Mind Reader Publications On projective classification of plane curves Nadiia Konovenko a and Valentin Lychagin b a Odessa National
More informationj Despite the notation, h is not the pull-back by a smooth map! In particular,
GT 2006 (jmf) 13 Lecture 2: Curvature In this lecture we will define the curvature of a connection on a principal fibre bundle and interpret it geometrically in several different ways. Along the way we
More informationChow rings of Complex Algebraic Groups
Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More information