cs - Floer Homology in Gauge Theory Somnath Basu August 10,...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Floer Homology in Gauge Theory Somnath Basu August 10, 2010 Abstract This is an expository account of the Chern-Simons functional, leading to various invariants on homology 3-spheres. It is based mainly on a review article by K. Fukaya [F], D. Freeds [DF1] on classical Chern-Simons 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 Chern-Simons Functional A principal G-bundle 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 1-form 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 Maurer-Cartan 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 3-manifold 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 1-form on E = M SU (2) : (1) using (1.1) and declaring it to be the Maurer-Cartan 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 2-valued 1-forms 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).

Page1 / 24

cs - Floer Homology in Gauge Theory Somnath Basu August 10,...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online