The Atiyah bundle and connections on a principal bundle
|
|
- Jordan Wilson
- 6 years ago
- Views:
Transcription
1 Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai , India indranil@math.tifr.res.in MS received 17 December 2008; revised 26 February 2009 Abstract. M be a C manifold and G a Lie a group. E G be a C principal G-bundle over M. There is a fiber bundle C(E G ) over M whose smooth sections correspond to the connections on E G. The pull back of E G to C(E G ) has a tautological connection. We investigate the curvature of this tautological connection. Keywords. Principal bundle; connection; Atiyah bundle. 1. Introduction Fix a Lie group G. Its Lie algebra will be denoted by g. M be a connected C manifold. E G M be a C principal G-bundle. The adjoint vector bundle, which is the one associated to E G for the adjoint action of G on g, is denoted by ad(e G ). The sheaf of G-invariant smooth vector fields on E G defines a C vector bundle over M of rank dim M + dim G. This vector bundle is known as the Atiyah bundle, and is denoted by At(E G ). The Atiyah bundle fits in a short exact sequence of vector bundles over M, 0 ad(e G ) At(E G ) TM 0, which is a known as the Atiyah exact sequence. A connection on the principal G-bundle E G is a C splitting of the Atiyah exact sequence. The sheaf of splittings of the Atiyah exact sequence defines a fiber bundle δ: C(E G ) M (1.1) (see 3). The pulled back principal G-bundle δ E G C(E G ) has a tautological connection (see 3). This connection is denoted by D 0. The curvature of D 0 is a two-form on C(E G ) with values in δ ad(e G ). We investigate the curvature of D 0. E G B G be the universal principal G-bundle. C(E G ) B G be the fiber bundle constructed as in (1.1) for the universal principal G-bundle. In a work in progress, we hope to show that the universal G-connection can be realized as a fiber bundle over C(E G ). Turning this around, we hope to get an alternative construction of the universal G-connection. Also, this approach may yield a better understanding of the universal G-connection. 299
2 300 Indranil Biswas 2. The Atiyah bundle As before, G is a Lie group with Lie algebra g, and M is a connected C manifold. p: E G M (2.1) be a C principal G-bundle over M. We recall that this means that E G is a C manifold equipped with a C action ψ: E G G E G (2.2) of G, satisfying the following two conditions: p ψ coincides with p p 1, where p 1 is the natural projection of E G G to E G, and the map to the fiber product over M, (ψ, p 1 ): E G G E G M E G is a diffeomorphism. (We recall that E G M E G is the submanifold of E G E G consisting of all points (x, y) with p(x) = p(y).) (See [4, 5].) FC (M) denote the sheaf of all locally defined C functions on M. In other words, for any nonempty open subset U M, FC (U) = C (U) is the space of all C functions on U. Using E G we will define a sheaf on M which is locally free over FC (M). For any nonempty open subset U M, let A(E G )(U) := Ɣ(p 1 (U), Tp 1 (U)) G be the space of all G-invariant vector fields on p 1 (U) (the action of G on p 1 (U) is given by ψ in (2.2)). Note that C (U) acts on A(E G )(U). The action of any smooth function f on U sends a vector field θ to (f p) θ, where p is the projection in (2.1). Take any point x M. U M be an open subset containing x such that the restriction E G U of E G to U is trivializable, and the tangent bundle TU is trivializable. Fix a trivialization of E G U by choosing a C isomorphism of principal G-bundles β: U G E G U. (2.3) Also, fix a trivialization of the tangent bundle of U γ : TU U R d, (2.4) where d is the dimension of M. θ: p 1 (U) Tp 1 (U)
3 Atiyah bundle of a principal bundle 301 be any G invariant C vector field on p 1 (U). Using the trivialization β in (2.3), the vector field θ gives a vector field on U G. θ: U G T(U G) (2.5) be the vector field defined by θ. Note that using the left invariant vector fields, we have TG= G g, where g is the Lie algebra of G. Therefore, using the trivialization γ in (2.4), we have T(U G) = (U G) (g R d ). Consequently, the restriction of θ (see (2.5)) to U {e} U G, where e G is the identity element, defines a C function θ : U g R d. Conversely, given any C function η 0 : U g R d, using γ (see (2.4)), the function η 0 defines a smooth G-invariant vector field on U G. Now, using the trivialization β in (2.3), this G-invariant vector field on U G produces a G-invariant vector field on E G U. In other words, we get a bijective linear map between A(E G )(U) (the space of smooth G-invariant vector fields on E G U ) and Ɣ(U, g R d ) (the space of smooth maps from U to g R d ). This map A(E G )(U) Ɣ(U, g R d ) clearly commutes with the actions of C (U) on A(E G )(U) and Ɣ(U, g R d ) defined by multiplication. Therefore, the sheaf A(E G ) is locally free over FC (M) of rank dim(g R d ). Hence A(E G ) defines a C vector bundle over M of rank dim(g R d ). At(E G ) M (2.6) be the vector bundle of rank dim(g R d ) defined by the sheaf A(E G ). The vector bundle At(E G ) in (2.6) is known as the Atiyah bundle for E G (see [1]). There is a natural homomorphism of vector bundles μ: p At(E G ) TE G (2.7) which we will describe. Take any point x M. Fix a point y p 1 (x) E G. The homomorphism μ(y) sends a G-invariant vector field ξ, defined around p 1 (x) E G, to the evaluation ξ(y) T y E G of ξ at y. It is easy to see that μ is a C isomorphism of vector bundles.
4 302 Indranil Biswas ad(e G ) M (2.8) be the adjoint vector bundle of E G. We recall that ad(e G ) is the quotient of E G g constructed using the adjoint action of G on its own Lie algebra g. More precisely, two points (z, v) and (z,v ) of E G g are identified in ad(e G ) if there is some g 0 G such that z = zg 0 and v = Ad(g 1 0 )(v) (we recall that Ad(g 1 0 )(v) is the Lie algebra automorphism of g corresponding to the automorphism of G defined by ζ g 1 0 ζg 0). Since Ad(h) is a Lie algebra automorphism of g for all h G, each fiber of ad(e G ) is a Lie algebra isomorphic to g. Lemma 2.1. The vector bundle ad(e G ) M is identified with the subbundle of the Atiyah bundle At(E G ) defined by the sheaf of G-invariant vector fields on E G that lie in the kernel of the differential dp: TE G p TM (2.9) of the projection p in (2.1). Proof. Take any point (z, v) E G g. φ(z,v): p 1 (p(z)) Tp 1 (p(z)) be the smooth vector field on the fiber p 1 (p(z)) E G that sends any z = zg p 1 (p(z)), where g G, to the element in T z p 1 (p(z)) given by the curve R E G, based at the point z, defined by t z exp(tv)g. It is straightforward to check that for any g 0 G, the two vector fields φ(z,v) and φ(zg 0, Ad(g 1 0 )(v)) on p 1 (p(z)) coincide. Consequently, for any x M, we get a homomorphism φ(x):ad(e G ) x Ɣ(p 1 (x), Tp 1 (x)) G Ɣ(p 1 (x), (T E G ) p 1 (x) )G from the fiber ad(e G ) x of ad(e G ) over x to the space of all G-invariant vector fields on the fiber p 1 (x). This homomorphism φ(x) is clearly injective. Consequently, we get a C injective homomorphism of vector bundles defined by φ:ad(e G ) At(E G ) x φ(x) Ɣ(p 1 (x), (T E G ) p 1 (x) )G = At(E G ) x. Clearly, we have dp φ = 0. Also, rank(ad(e G )) = dim g = (dim M + dim g) dim M = rank(at(e G )) rank(t M). Hence φ identifies ad(e G ) with the kernel of the differential dp in the statement of the lemma. This completes the proof of the lemma.
5 Atiyah bundle of a principal bundle 303 Using Lemma 2.1, we have a short exact sequence of vector bundles over M, 0 ad(e G ) ι 0 η At(E G ) TM 0, (2.10) where the projection η is given by dp in (2.9). This exact sequence of vector bundles is known as the Atiyah exact sequence for E G. A connection on E G is a C splitting of the Atiyah exact sequence for E G. In other words, a connection on E G is a C homomorphism of vector bundles D: TM At(E G ) (2.11) such that η D = Id TM, where η is the projection in (2.10). D: TM At(E G ) (2.12) be a homomorphism defining a connection on E G. Consider the composition homomorphism p TM D p μ At(E G ) TE G, where μ is the isomorphism in (2.7). Its image H(D) := (μ D)(p TM) TE G (2.13) is known as the horizontal subbundle of TE G for the connection D. Since μ is an isomorphism, and the splitting homomorphism D in (2.12) is uniquely determined by its image D(T M) At(E G ), it follows that the horizontal subbundle H(D) determines the connection D uniquely. The quotient bundle Q := TE G /H(D) E G is the trivial vector bundle E G g. The identification of Q with E G g is given by the action of G on E G. Note that the projection to Q from the kernel of dp in (2.9) is an isomorphism. The natural projection TE G TE G /H(D) = Q = E G g (2.14) defines a g-valued smooth one-form on E G. This g-valued one-form on E G determines D uniquely because it determines H(D) uniquely. 2.1 The curvature s and t be two G-invariant smooth vector fields on p 1 (U), where U M is an open subset, and p is the projection in (2.1). Then the Lie bracket [s, t] is also a G-invariant vector field on p 1 (U). Consequently, the locally defined smooth sections of the Atiyah bundle At(E G ) are equipped with the Lie bracket operation. The Lie bracket of the locally defined sections s 1 and t 1 of At(E G ) will be denoted by [s 1,t 1 ]. D: TM At(E G ) be a homomorphism defining a connection on E G. The curvature of D, which we will denote by K(D), measures the failure of D to be Lie bracket preserving.
6 304 Indranil Biswas More precisely, let v 1 and v 2 be two smooth vector fields on some open subset U M. Therefore, D(v 1 ) and D(v 2 ) are G-invariant smooth vector fields on p 1 (U). Now consider D(v 1,v 2 ) := [D(v 1 ), D(v 2 )] D([v 1,v 2 ]), (2.15) which is also a G-invariant vector field on p 1 (U). Therefore, D(v 1,v 2 ) is a smooth section of At(E G ) over U. D (v 1,v 2 ): U At(E G ) U (2.16) be the section of At(E G ) over U given by D(v 1,v 2 ) in (2.15). Consider the projection η in (2.10). Note that for any two smooth sections s and t of At(E G ) over U, the equality η([s, t]) = [η(s), η(t)] holds. Therefore, for the section D (v 1,v 2 ) in (2.16), we have η( D (v 1,v 2 )) = η([d(v 1 ), D(v 2 )]) η(d([v 1,v 2 ])) = [η(d(v 1 )), η(d(v 2 ))] η(d([v 1,v 2 ])) = [v 1,v 2 ] [v 1,v 2 ] = 0 (2.17) because η D = Id TM. Using the Atiyah exact sequence (see (2.10)), from (2.17) we conclude that D (v 1,v 2 ) is a section of ad(e G ) over U. D (v 1,v 2 ): U ad(e G ) U (2.18) be the smooth section given by D (v 1,v 2 ). f be any smooth function defined on U. Wehave [D(f v 1 ), D(v 2 )] D([fv 1,v 2 ]) = [fd(v 1 ), D(v 2 )] D(f [v 1,v 2 ] v 2 (f ) v 1 ) = f [D(v 1 ), D(v 2 )] η D(v 2 )(f ) D(v 1 ) f D([v 1,v 2 ]) + v 2 (f ) D(v 1 ). (2.19) Since η D = Id TM, the identity in (2.19) implies that D (f v 1,v 2 ) = f D (v 1,v 2 ), where D is constructed in (2.18). Also, note that D(v 1,v 2 ) = D(v 2,v 1 ), where D is constructed in (2.15). Hence we have D (v 1,v 2 ) = D (v 2,v 1 ). Consequently, D defines a smooth section ( 2 K(D): M T M) ad(e G ), (2.20) which is called the curvature of D. Remark 2.2. We note that K(D) = 0 if and only if D takes the Lie bracket operation on the sections of TM to the bracket operation on the sections of At(E G ) (see [1, 3].)
7 Atiyah bundle of a principal bundle Sheaf of connections Tensoring the Atiyah exact sequence (see (2.10)) with the cotangent bundle T M M we get the short exact sequence of vector bundles 0 ad(e G ) T M At(E G ) T M η Id T M TM T M = End(T M) 0 (3.1) over M. Id TM denote the identity automorphism of TM. C(E G ) := (η Id T M) 1 (Id TM ) At(E G ) T M M (3.2) be the fiber bundle over M, where η Id T M is the surjective homomorphism in (3.1) (see also [2]). We recall that a connection on E G is a splitting of the Atiyah exact sequence. A homomorphism D as in (2.11) with η D = Id TM gives a smooth section of the fiber bundle C(E G ) M in (3.2). Conversely, any smooth section of C(E G ) gives a homomorphism D as in (2.11) with η D = Id TM. Therefore, we have the following lemma: Lemma 3.1. The space of connections on E G is in bijective correspondence with the space of smooth sections of the fiber bundle constructed in (3.2). δ: C(E G ) M Consider the projection δ in Lemma 3.1. We will show that the principal G-bundle δ E G C(E G ) has a tautological connection. T C(E G ) be the tangent bundle of the manifold C(E G ). T δ T C(E G ) (3.3) be the relative tangent bundle for the projection δ in Lemma 3.1. In other words, T δ is the kernel of the differential dδ: T C(E G ) δ TM (3.4) of the smooth map δ. ι: T δ T C(E G ) (3.5) be the inclusion map. At(δ E G ) C(E G ) be the Atiyah bundle for the principal G-bundle δ E G over C(E G ).
8 306 Indranil Biswas PROPOSITION 3.2 There is a natural short exact sequence of vector bundles over C(E G ). 0 T δ At(δ E G ) δ At(E G ) 0 Proof. We recall that the total space of the pull back δ E G coincides with the submanifold of C(E G ) E G consisting of all points (y 1,y 2 ) such that δ(y 1 ) = p(y 2 ), where p is the projection in (2.1). In other words, δ E G is the fiber product C(E G ) M E G. Therefore, we have a commutative diagram δ φ 0 E G E G q p C(E G ) δ M (3.6) which is Cartesian. dφ 0 : Tδ E G φ 0 TE G (3.7) be the differential of the projection φ 0 in (3.6). Since δ is a submersion, the map φ 0 is also a submersion. Hence the kernel W := kernel(dφ 0 ) Tδ E G (3.8) is a C subbundle of the tangent bundle Tδ E G. The rank of W is dim M + dim G. dq: Tδ E G q T C(E G ) (3.9) be the differential of the projection q in (3.6). Consider the restriction of dq to the subbundle W defined in (3.8). It is easy to see that the image of the homomorphism dq W : W q T C(E G ) coincides with the subbundle q T δ q T C(E G ), where T δ is the relative tangent bundle defined in (3.3). Furthermore, the homomorphism q := dq W : W q T δ (3.10) is an isomorphism. s: U T δ be a smooth section of T δ defined over some open subset U C(E G ). q s: q 1 (U) q T δ be the pull back of the section s, where q is the projection in (3.6). q 1 q s: q 1 (U) W (3.11)
9 Atiyah bundle of a principal bundle 307 be the section of W, where q is the isomorphism in (3.10). The section q 1 q s in (3.11) is clearly left invariant by the action of G on the principal G-bundle δ E G. Consequently, the isomorphism q defines an injective homomorphism of vector bundles f 0 : T δ At(δ E G ) (3.12) that sends any section s to q 1 q s. On the other hand, the differential dφ 0 in (3.7) induces a surjective homomorphism of vector bundles g:at(δ E G ) δ At(E G ) (3.13) by sending a G-invariant vector field on δ E G to its image by the homomorphism dφ 0. The kernel of the homomorphism g in (3.13) evidently coincides with the image of the homomorphism f 0 in (3.12). Indeed, this follows immediately from the construction of f 0. Therefore, we get a short exact sequence of vector bundles f 0 0 T δ At(δ g E G ) δ At(E G ) 0 over C(E G ). This completes the proof of the proposition. ad(δ E G ) C(E G ) be the adjoint vector bundle of the principal G-bundle δ E G C(E G ); see (2.8) for its definition. Clearly, we have ad(δ E G ) = δ ad(e G ), where ad(e G ) M is the adjoint vector bundle of E G. Furthermore, we have the following commutative diagram of homomorphisms of vector bundles on C(E G ): 0 0 T δ = T δ ι f 0 0 ad(δ E G ) At(δ E G ) T C(E G ) 0, (3.14) g dδ δ ι 0 0 δ ad(e G ) δ At(E G ) δ TM where the top short exact sequence is the Atiyah exact sequence for the principal G-bundle δ E G, the bottom exact sequence is the pull back of the Atiyah exact sequence constructed in (2.10), the projection g is constructed in (3.13), the homomorphism f 0 is constructed in (3.12), the homomorphism ι is defined in (3.5), and dδ is defined in (3.4). We note that the vertical sequences in (3.14) are also exact. Now, from the construction of C(E G ) (see (3.2)) it follows that we have a tautological C homomorphism of vector bundles I δ η β 0 : δ TM δ At(E G ) (3.15)
10 308 Indranil Biswas such that (δ η) β 0 = Id δ TM, where δ η is the homomorphism in (3.14). To explain the homomorphism β 0, take any point y C(E G ). Recall that y corresponds to a homomorphism λ y : T δ(y) M At(E G ) δ(y) (3.16) such that η(δ(y)) λ y = Id Tδ(y) M, where δ is the projection in Lemma 3.1, the homomorphism η(δ(y)):at(e G ) δ(y) T δ(y) M is the projection in (2.10) with At(E G ) δ(y) being the fiber of At(E G ) over the point δ(y). The homomorphism β 0 in (3.15) is defined by the condition that for each point y C(E G ), the restriction of β 0 to the fiber (δ TM) y coincides with the homomorphism λ y in (3.16). W 0 := g 1 (β 0 (δ TM)) At(δ E G ) (3.17) be the subbundle of At(δ E G ), where g is the projection in (3.14), and β 0 is the homomorphism in (3.15). Consider the homomorphism I in (3.14). Using Proposition 3.2 and the diagram (3.14) it follows that the restriction I 0 := I W0 : W 0 T C(E G ) (3.18) is an isomorphism, where W 0 is constructed in (3.17). Therefore, there is an unique C homomorphism of vector bundles such that S 0 : T C(E G ) At(δ E G ) (3.19) S 0 (T C(E G )) = W 0 At(δ E G ), and I S 0 = Id T C(EG ), where I is the homomorphism in (3.14). Consequently, the homomorphism S 0 in (3.19) gives a C splitting of the Atiyah exact sequence for δ E G (which is the top exact sequence in (3.14)). Therefore, S 0 defines a connection on the principal G-bundle δ E G. The connection on the principal G-bundle δ E G defined by S 0 will be denoted by D 0. We will investigate the above connection D 0 on δ E G. First we will describe the horizontal subbundle of Tδ E G for the connection D 0. Take any point z δ E G. (3.20) y = q(z) C(E G ) be the image of z, where q is the projection in (3.6). Consider the differential dφ 0 defined in (3.7). dφ 0 (z): T z δ E G T φ0 (z)e G
11 Atiyah bundle of a principal bundle 309 be its restriction over the point z in (3.20). The horizontal subspace of T z δ E G for the connection D 0 on δ E G coincides with the inverse image (dφ 0 (z)) 1 (μ(φ 0 (z))(λ y (T δ(y) M))) T z δ E G, where λ y is constructed in (3.16), and μ(φ 0 (z)):at(e G ) δ(y) T φ0 (z)e G is the isomorphism in (2.7). In Lemma 3.1 we noted that the connections on E G are in bijective correspondence with the sections of C(E G ). Take any smooth section χ: M C(E G ) (3.21) of the fiber bundle C(E G ) M. D χ be the corresponding connection on the principal G-bundle E G. We note that χ δ E G = E G because δ χ = Id M. Lemma 3.3. The connection D χ on E G coincides with the pulled back connection χ D 0 on the principal G-bundle χ δ E G = E G. Proof. This follows immediately from the construction of the connection D 0 on δ E G. 4. The curvature of D 0 K(D 0 ): C(E G ) ( 2 T C(E G )) δ ad(e G ) (4.1) be the curvature of the connection D 0 on the principal G-bundle δ E G. (Note that δ ad(e G ) = ad(δ E G ).) Take any point x M. ( K(D 0 ) x : Z x := δ 1 2 (x) T Z x) δ ad(e G ) (4.2) be the δ ad(e G )-valued two form on Z x obtained by restricting the two-form K(D 0 ) in (4.1). Lemma 4.1. The two-form K(D 0 ) x in (4.2) vanishes identically. Proof. Consider the restriction (δ E G ) x := (δ E G ) δ 1 (x) δ 1 (x) of the principal G-bundle δ E G to the submanifold δ 1 (x) C(E G ). The connection D 0 on δ E G defines a connection on (δ E G ) x ; this connection on (δ E G ) x will be denoted by D x 0. The curvature of Dx 0 is K(D 0) x defined in (4.2). From the construction of D 0 it follows that the horizontal subbundle of T(δ E G ) x for the connection D x 0 on (δ E G ) x coincides with the subbundle W (δ E G ) x, where W is constructed in (3.8). The subbundle W Tδ E G is clearly integrable. Therefore, the curvature K(D 0 ) x vanishes; see Remark 2.2. This completes the proof of the lemma.
12 310 Indranil Biswas As in (3.21), let χ: M C(E G ) be a section of the fiber bundle C(E G ) over M. As before, let D χ be the corresponding connection on the principal G-bundle E G. Then Lemma 3.3 has the following corollary: COROLLARY 4.2 The curvature of the connection D χ coincides with the pull back χ K(D 0 ). For any g 0 G, let Ad(g 0 ): G G be the automorphism defined by h g 0 hg 1 0. This defines the adjoint action of G on itself. ϕ:ad(e G ) := E G (G) M (4.3) be the fiber bundle associated to E G for the adjoint action of G on itself. Therefore, Ad(E G ) is a quotient of E G G, and two points (z, h) and (z,h ) of E G G are identified in Ad(E G ) if there is some g 0 G such that z = zg 0 and h = Ad(g 1 0 )(h). Since the adjoint action of G on itself preserves the group structure of G, each fiber of Ad(E G ) is a Lie group isomorphic to G. It is easy to see that the Lie algebra bundle over M corresponding to Ad(E G ) coincides with the adjoint vector bundle ad(e G ). Take any point x M. The fiber Ad(E G ) x of Ad(E G ) over x acts on the fiber (E G ) x of E G over x. To explain this action, take any point (z 0,g 0 ) (E G ) x G. f (z0,g 0 ): (E G ) x (E G ) x be the map defined by z 0 h z 0 g 0 h, h G. Note that f (z0,g 0 ) = f (z0 h 0,h 1 0 g 0h 0 ) for all h 0 G. Therefore, the map f (z0,g 0 ) depends only on the image of (z 0,g 0 ) in Ad(E G ) x. In this way we get an action of the group Ad(E G ) x on (E G ) x. Note that the diffeomorphism f (z0,g 0 ) of (E G ) x commutes with the action of G on (E G ) x. Consequently, a smooth section of Ad(E G ) gives a diffeomorphism of E G which commutes with the projection p in (2.1). Furthermore, such a diffeomorphism of E G commutes with the action of G on E G. An automorphism of the principal G-bundle E G is a diffeomorphism such that f : E G E G p f = p, where p is the projection in (2.1), and f commutes with the action of G on E G. Note that any diffeomorphism of G that commutes with all the right translations of G must be a left translation. Using this it follows that all the automorphisms of the principal G-bundle E G are given by the smooth sections of Ad(E G ).
13 Atiyah bundle of a principal bundle 311 β: M Ad(E G ) (4.4) be a smooth section. β 1 : M Ad(E G ) (4.5) be the section defined by y β(y) 1. As we noted above, the section β gives an automorphism β : E G E G (4.6) of the principal G-bundle E G. Given any G-invariant vector field ω on E G, the pull back of ω by the diffeomorphism β in (4.6) remains G-invariant. Indeed, this follows from the fact that β commutes with the action of G on E G. Therefore, β gives an automorphism β:at(e G ) At(E G ) (4.7) of the Atiyah vector bundle. The automorphism β in (4.7) preserves the subbundle ad(e G ) At(E G ) in (2.10). The automorphism of ad(e G ) obtained by restricting β coincides with the adjoint action of β on ad(e G ) (recall that ad(e G ) is the Lie algebra bundle for the bundle Ad(E G ) of Lie groups). Also, note that the action of β on the quotient bundle TM = At(E G )/ad(e G ) (see (2.10)) is the trivial one. The automorphism β in (4.7) gives a diffeomorphism β 0 : C(E G ) C(E G ) (4.8) of the fiber bundle C(E G ) in (3.2). More precisely, the automorphism β of At(E G ) and the identity map of T M together define an automorphism of At(E G ) T M. This automorphism of At(E G ) T M clearly preserve the submanifold C(E G ) in (3.2). The automorphism β 0 in (4.8) is defined to be the restriction of this automorphism of At(E G ) T M. PROPOSITION 4.3 β0 K(D 0) be the δ ad(e G )-valued two-form on C(E G ) obtained by pulling back K(D 0 ) (defined in (4.1)) by the map β 0 constructed in (4.8). Then the following equality holds: β 0 K(D 0) = Ad(β 1 )(K(D 0 )), where β 1 is the section in (4.5), and Ad(β 1 ) is the adjoint action of β 1 on ad(e G ). Proof. Consider the automorphism β of E G constructed in (4.6). It gives a diffeomorphism of δ E G which we will describe. Take any point z δ E G. So z is a pair (y, t), where y C(E G ) and t (E G ) δ(y). Note that y = q(z), where q is the projection in (3.6). t := β (t) (E G ) δ(y) (4.9) be the image of t, where β is the automorphism in (4.6).
14 312 Indranil Biswas Now we have a diffeomorphism ˆβ: δ E G δ E G (4.10) defined by z (β 0 (y), t ), where β 0 and t are constructed in (4.8) and (4.9) respectively. From the construction of ˆβ in (4.10) we now conclude that the following diagram δ E G q C(E G ) ˆβ δ E G q β 0 C(E G ) is commutative, where q is the projection in (3.6). Furthermore, ˆβ commutes with the action of G on the principal G-bundle δ E G. In other words, ˆβ is an isomorphism of the principal G-bundle δ E G with its pull back (β 1 0 ) δ E G. It is easy to see that the isomorphism ˆβ of δ E G with (β 1 0 ) δ E G preserves the connection D 0 on the principal G-bundle δ E G. This means that ˆβ takes the connection D 0 on δ E G to the connection on (β 1 0 ) δ E G defined by D 0. Consequently, ˆβ pulls back the curvature of D 0 to itself. Therefore, from the action of ˆβ on the fibers of δ E G see (4.9) we conclude that β 0 K(D 0) = Ad(β 1 )(K(D 0 )). This completes the proof of the proposition. C(E G ) := C(E G ) M C(E G ) C(E G ) C(E G ) (4.11) be the submanifold consisting of all (y, z) C(E G ) C(E G ) such that δ(y) = δ(z), where δ is the projection in Lemma 3.1. Therefore, C(E G ) has a natural projection δ: C(E G ) M (4.12) defined by (y, z) δ(y) = δ(z). This projection δ makes C(E G ) a fiber bundle over M. Consider the vector bundle ν: T M ad(e G ) M. B C(E G ) (T M ad(e G )) be the submanifold defined by all (v, w) C(E G ) (T M ad(e G )), where v C(E G ) and w T M ad(e G ),
15 Atiyah bundle of a principal bundle 313 such that δ(v) = ν(w). Therefore, ν: B M (4.13) is a fiber bundle, where the projection ν is defined by (v, w) δ(v) = ν(w). We will show that there is a natural isomorphism between the fiber bundles C(E G ) and B constructed in (4.12) and (4.13) respectively. Take any (z, w) B C(E G ) (T M ad(e G )). (4.14) x := ν((z, w)) M be the image, where ν is the projection in (4.13). Therefore, z gives a homomorphism λ z : T x M At(E G ) x (4.15) (see (3.16)) such that η(x) λ z = Id Tx M, where η(x):at(e G ) x T x M (4.16) is the projection in (2.10). Now consider the section w in (4.14). Its evaluation at x gives a homomorphism w x : T x M ad(e G ) x (4.17) defined by w x (α) = i α w(x) ad(e G ) x, where i α is the contraction of T x M by α T xm. ζ (z,w) := λ z + ι 0 (x) w x : T x M At(E G ) x (4.18) be the homomorphism, where the homomorphism ι 0 (x):ad(e G ) x At(E G ) x is the one in (2.10); the homomorphisms λ z and w x are constructed in (4.15) and (4.17) respectively. It is easy to see that η(x) ζ (z,w) = Id Tx M, (4.19) where η(x) is the homomorphism in (4.16). In view of the identity in (4.19), we conclude that ζ (z,w) δ 1 (x) C(E G ), where δ is the projection in Lemma 3.1.
16 314 Indranil Biswas Consider the fiber bundles B and C(E G ) constructed in (4.13) and (4.12) respectively. F : B C(E G ) (4.20) be the map defined by (z, w) (z, ζ (z,w) ), where ζ (z,w) is constructed in (4.18) from (z, w) in (4.14). It is straight forward to check that F is an isomorphism of fiber bundles over M. θ: M T M ad(e G ) (4.21) be a smooth one-form on M with values in the adjoint vector bundle ad(e G ). Consider the fiber bundle δ: C(E G ) M in Lemma 3.1. T θ : C(E G ) C(E G ) (4.22) be the automorphism of it defined by z (p 2 F )(z, θ), where F is constructed in (4.20), and p 2 : C(E G ) C(E G ) (4.23) is the restriction of the projection of C(E G ) C(E G ) to the second factor (recall that C(E G ) C(E G ) C(E G )). A connection on a principal bundle induces a connection on each associated vector bundle. In particular, a connection on a principal bundle induces a connection on the adjoint vector bundle. The connection on the adjoint vector bundle δ ad(e G ) induced by the connection D 0 on δ E G will be denoted by D 0. So for each nonnegative integer i,we have a first order differential operator D 0 : Ɣ(C(E G), i T C(E G ) δ ad(e G )) Ɣ(C(E G ), i+1 T C(E G ) δ ad(e G )) (4.24) given by the connection D 0 on δ ad(e G ) (here Ɣ(C(E G ), V ) stands for the space of C sections of V C(E G )). Also, the Lie algebra structure of the fibers of ad(e G ) and the exterior algebra structure of the fibers of i 0 i T C(E G ) together define a homomorphism Ɣ(C(E G ), T C(E G ) δ ad(e G )) Ɣ(C(E G ), T C(E G ) δ ad(e G )) Ɣ(C(E G ), 2 T C(E G ) δ ad(e G )). (4.25) For θ 1,θ 2 Ɣ(C(E G ), T C(E G ) δ ad(e G )), the image of (θ 1,θ 2 ) in Ɣ(C(E G ), 2 T C(E G ) δ ad(e G )) by the above pairing will be denoted by [θ 1,θ 2 ].
17 Atiyah bundle of a principal bundle 315 PROPOSITION 4.4 The pulled back form Tθ K(D 0), where T θ is constructed in (4.22) and K(D 0 ) is the curvature form in (4.1), satisfies the identity T θ K(D 0) = K(D 0 ) + D 0 (δ θ)+ 1 2 [θ,θ] (see (4.24) and (4.25) for D 0 (δ θ) and [θ,θ] respectively). The proof of the above proposition is a straight forward computation. 5. The case of abelian groups In this section we assume the group G to be abelian. First we assume G to be a connected abelian of dimension one. So G is either R or S 1 = U(1). We first take E G to be the trivial principal G-bundle M G.ForE G = M G,wehave At(E G ) = T M (M R) (note that the Lie algebra of G is R). Hence C(E G ) constructed in (3.2) is the cotangent bundle T M M. The identification of T M with C(E G ) can also seen using the map F in (4.20). For this, first note that the trivial connection on the trivial principal G-bundle E G defines a section τ 0 : M C(E G ) of the fiber bundle C(E G ) M. Now we have a map F : T M C(E G ) (5.1) that sends any α T x M to p 2 F(τ 0 (x), α), where p 2 is the projection in (4.23), and F is the map in (4.20). It is easy to see that F in (5.1) is an isomorphism of fiber bundles over M. Since ad(e G ) is the trivial line bundle M R, the curvature K(D 0 ) in (4.1) is a usual two-form on C(E G ). Now from the properties of K(D 0 ) (see Lemma 4.1, Corollary 4.2 and Proposition 4.4) it follows that the diffeomorphism F in (5.1) takes K(D 0 ) to the canonical symplectic form on T M. Now take E G to be an arbitrary principal G-bundle over M (as before, G is either R or S 1 ). We can locally trivialize E G, hence locally we reduce to the above situation. Therefore, the above observation has the following corollary: COROLLARY 5.1 The curvature two-form K(D 0 ) on C(E G ) is symplectic. The fibers of the projection δ: C(E G ) M are Lagrangian. Now assume that n G = G i, i=1
18 316 Indranil Biswas where each G i is either R or S 1. Then any principal G-bundle E G over M is of the form E G = E G1 M E G2 M M E Gn, where each f i : E Gi M is a principal G i bundle, and E G1 M E G2 M M E Gn n E Gi i=1 is the submanifold consisting of all (z 1,...,z n ) such that Clearly, we have f 1 (z 1 ) = f 2 (z 2 ) = =f n (z n ). C(E G ) = C(E G1 ) M C(E G2 ) M M C(E Gn ) n C(E Gi ), where C(E G1 ) M C(E G2 ) M M C(E Gn ) is the submanifold consisting of all (z 1,z 2,...,z n ) n C(E Gi ) i=1 that project to some common point in M. It is now straight forward to check that the curvature form K(D 0 ) on C(E G ) is the direct sum of the pull backs of the curvature forms on C(E Gi ),1 i n. i=1 References [1] Atiyah M F, Complex analytic connections in fibre bundles, Trans. Am. Math. Soc. 85 (1957) [2] Ben-Zvi D and Biswas I, Theta functions and Szegö kernels, Inter. Math. Res. Not. 24 (2003) [3] Bleecker D, Gauge theory and variational principles, Global Analysis Pure and Applied Series A, 1 (Addison-Wesley Publishing Co., Reading, Mass.) (1981) [4] Kobayashi S and Nomizu K, Foundations of differential geometry, Vol. I (New York: John Wiley & Sons) (1963) [5] Kobayashi S and Nomizu K, Foundations of differential geometry, Vol. II (New York: John Wiley & Sons) (1969) Note added in the Proof. This has been achieved in a paper entitled A construction of a universal connection by I Biswas, J Hurtubise and J D Stasheff, to appear in Forum Mathematicum.
A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface
Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More informationNOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD
NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD INDRANIL BISWAS Abstract. Our aim is to review some recent results on holomorphic principal bundles over a compact Kähler manifold.
More informationSeptember 27, :51 WSPC/INSTRUCTION FILE biswas-loftin. Hermitian Einstein connections on principal bundles over flat affine manifolds
International Journal of Mathematics c World Scientific Publishing Company Hermitian Einstein connections on principal bundles over flat affine manifolds Indranil Biswas School of Mathematics Tata Institute
More informationHOMOMORPHISMS OF VECTOR BUNDLES ON CURVES AND PARABOLIC VECTOR BUNDLES ON A SYMMETRIC PRODUCT
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 9, September 2012, Pages 3017 3024 S 0002-9939(2012)11227-4 Article electronically published on January 24, 2012 HOMOMORPHISMS OF VECTOR
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 informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationTHE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction
THE VORTEX EQUATION ON AFFINE MANIFOLDS INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric. We show
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More 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 informationA CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction
A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension
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 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 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 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 informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
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 informationSheaves of Lie Algebras of Vector Fields
Sheaves of Lie Algebras of Vector Fields Bas Janssens and Ori Yudilevich March 27, 2014 1 Cartan s first fundamental theorem. Second lecture on Singer and Sternberg s 1965 paper [3], by Bas Janssens. 1.1
More informationDONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/ v2 [math.ag] 24 Oct 2006
DONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/0607060v2 [math.ag] 24 Oct 2006 DAVID BALDUZZI Abstract. The Donagi-Markman cubic is the differential of the period map for algebraic completely integrable
More informationSolvable Lie groups and the shear construction
Solvable Lie groups and the shear construction Marco Freibert jt. with Andrew Swann Mathematisches Seminar, Christian-Albrechts-Universität zu Kiel 19.05.2016 1 Swann s twist 2 The shear construction The
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 informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationLecture 5: Hodge theorem
Lecture 5: Hodge theorem Jonathan Evans 4th October 2010 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 1 / 15 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 2 / 15 The aim of
More informationStability of the Tangent Bundle of the Wonderful Compactification of an Adjoint Group
Documenta Math. 1465 Stability of the Tangent Bundle of the Wonderful Compactification of an Adjoint Group Indranil Biswas and S. Senthamarai Kannan Received: April 3, 2013 Communicated by Thomas Peternell
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationMany of the exercises are taken from the books referred at the end of the document.
Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the
More informationNotes on quotients and group actions
Notes on quotients and group actions Erik van den Ban Fall 2006 1 Quotients Let X be a topological space, and R an equivalence relation on X. The set of equivalence classes for this relation is denoted
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 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 informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
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 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 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 informationVortex Equations on Riemannian Surfaces
Vortex Equations on Riemannian Surfaces Amanda Hood, Khoa Nguyen, Joseph Shao Advisor: Chris Woodward Vortex Equations on Riemannian Surfaces p.1/36 Introduction Yang Mills equations: originated from electromagnetism
More informationMODULI SPACES OF CONNECTIONS ON A RIEMANN SURFACE
MODULI SPACES OF CONNECTIONS ON A RIEMANN SURFACE INDRANIL BISWAS AND VICENTE MUÑOZ Abstract. Let E be a holomorphic vector bundle over a compact connected Riemann surface X. The vector bundle E admits
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
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 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 informationA GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES
A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES INDRANIL BISWAS, AJNEET DHILLON, JACQUES HURTUBISE, AND RICHARD A. WENTWORTH Abstract. Let be a compact connected Riemann surface. Fix a positive integer
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES
ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.
More 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 informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationConnections on principal fibre bundles
GT 2006 (jmf) 3 Lecture 1: Connections on principal fibre bundles The beauty and profundity of the geometry of fibre bundles were to a large extent brought forth by the (early) work of Chern. I must admit,
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 informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
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 informationNotes on the geometry of Lagrangian torus fibrations
Notes on the geometry of Lagrangian torus fibrations U. Bruzzo International School for Advanced Studies, Trieste bruzzo@sissa.it 1 Introduction These notes have developed from the text of a talk 1 where
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
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 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 informationON LIFTS OF SOME PROJECTABLE VECTOR FIELDS ASSOCIATED TO A PRODUCT PRESERVING GAUGE BUNDLE FUNCTOR ON VECTOR BUNDLES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 50 (2014), 161 169 ON LIFTS OF SOME PROJECTABLE VECTOR FIELDS ASSOCIATED TO A PRODUCT PRESERVING GAUGE BUNDLE FUNCTOR ON VECTOR BUNDLES A. Ntyam, G. F. Wankap Nono, and
More informationGeometric Quantization
math-ph/0208008 Geometric Quantization arxiv:math-ph/0208008v3 4 Sep 2002 William Gordon Ritter Jefferson Physical Laboratory, Harvard University Cambridge, MA 02138, USA February 3, 2008 Abstract We review
More information10. The subgroup subalgebra correspondence. Homogeneous spaces.
10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a
More informationIsometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields
Chapter 15 Isometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields The goal of this chapter is to understand the behavior of isometries and local isometries, in particular
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationAN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY
1 AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY Andrew Ranicki and Daniele Sepe (Edinburgh) http://www.maths.ed.ac.uk/ aar Maslov index seminar, 9 November 2009 The 1-dimensional Lagrangians
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationHOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS
j. differential geometry 58 (2001) 467-500 HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS CLAIRE DEBORD Abstract We give a new construction of Lie groupoids which is particularly well adapted to the generalization
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 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 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 informationIsometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields
Chapter 16 Isometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields 16.1 Isometries and Local Isometries Recall that a local isometry between two Riemannian manifolds M
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 informationRIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1
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 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 informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
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 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 informationGENERALIZING THE LOCALIZATION FORMULA IN EQUIVARIANT COHOMOLOGY
GENERALIZING THE LOCALIZATION FORULA IN EQUIVARIANT COHOOLOGY Abstract. We give a generalization of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action.
More informationIntegrability and Associativity
Department of Mathematics University of Illinois at Urbana-Champaign, USA Aim Theorem (Lie III) Every finite dimensional Lie algebra is the Lie algebra of a Lie group Aim Theorem (Lie III) Every finite
More 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 informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationTheorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero.
Now we investigate the measure of the critical values of a map f : M N where dim M = dim N. Of course the set of critical points need not have measure zero, but we shall see that because the values of
More informationIntegration and Manifolds
Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability
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 informationLECTURE 11: TRANSVERSALITY
LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image
More informationON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 ON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE INDRANIL BISWAS (Communicated
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 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 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 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 informationAffine Connections: Part 2
Affine Connections: Part 2 Manuscript for Machine Learning Reading Group Talk R. Simon Fong Abstract Note for online manuscript: This is the manuscript of a one hour introductory talk on (affine) connections.
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 informationTRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap
TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold
More 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 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
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 informationAtiyah-Singer Revisited
Atiyah-Singer Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator
More informationHamiltonian Toric Manifolds
Hamiltonian Toric Manifolds JWR (following Guillemin) August 26, 2001 1 Notation Throughout T is a torus, T C is its complexification, V = L(T ) is its Lie algebra, and Λ V is the kernel of the exponential
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 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 information