This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Floer Homology in Gauge Theory Somnath Basu August 10, 2010 Abstract This is an expository account of the ChernSimons functional, leading to various invariants on homology 3spheres. It is based mainly on a review article by K. Fukaya [F], D. Freeds [DF1] on classical ChernSimons theory, A. Floers instanton invariant [AF] and K. Walkers [W] book on Cassons invariant. Certain parts are taken verbatim from these sources with most of the basic details filled in. This essay is also inspired by the seminal paper of S. S. Chern and J. Simons [CS] ??? . 1 The ChernSimons Functional A principal Gbundle E over B is a fibration with fibre a Lie group G and there is a free right (resp. left) action on the total space by elements of G such that this is free and transitive on each fibre. The map : E B induces d : TE TB , where T e E locally splits into T ( e ) B T 1 G by local triviality. Thus, ker d is T 1 G which can be canonically identified with g . For such a bundle, a connection is a 1form on E taking values in g and satisfying R * g = (ad g ) 1 (1.1) ( v ) = v g , v ker d. (1.2) Here the right action R g acts by g on the right and v g refers to the identification of v with an element v g of g as mentioned before. In particular, this means that if x denote the MaurerCartan form on E x = G and i x : E x , E , then i * x ( ) = x . Also recall the structure equation (1.3) d x + 1 2 [ x , x ] = 0 . Proposition 1.1. Let E B be as above such that G is connected and simply connected. Let B be a manifold of dimension at most 3 . Then the bundle is trivial. Proof It suffices to prove that a section s : B E exists; then : B G E defined by ( b,g ) = s ( b ) g gives an isomorphism of bundles. The obstructions to finding a section s : B E are the cohomology classes i H i ( B, ^ i 1 ( G )). It is well known that 2 ( G ) = 0. Therefore, the primary obstruction is at least of degree 4 and there is a section, whence E is trivial. In what follows, let M be a closed, connected and oriented 3manifold and let E be a principal SU (2)bundle on M and we have chosen a trivialization for E . Let i ( M,su 2 ) = ( M, i T * M ( M su 2 )) 1 denote the space of forms on M with values in su 2 . There are two obvious ways to extend a 1 ( M,su 2 ) to a 1form on E = M SU (2) : (1) using (1.1) and declaring it to be the MaurerCartan form on each fibre, (2) just extend to each copy of M { g } by (1.1). Thus, the space of connections on any (principal) SU (2)bundle over M (making use of (1) above) is just A ( M ) = 1 ( M,su 2 )  the space of su 2valued 1forms on M . A ( M ) is an affine space but when thought of as 1 ( M,su 2 ), it can be treated as a vector space. The curvature of a connection a A ( M ) is defined to be (1.4) F a = da + a a 2 ( M,su 2 ) ....
View
Full
Document
This note was uploaded on 01/18/2012 for the course INFORMATIK 2011 taught by Professor Phanthuongcang during the Winter '11 term at Cornell University (Engineering School).
 Winter '11
 PhanThuongCang

Click to edit the document details