A note on the Θ-invariant of 3-manifolds
|
|
- Ella Ball
- 5 years ago
- Views:
Transcription
1 A note on the Θ-invariant of 3-manifolds arxiv: v1 [math.gt] 11 Mar 2019 ALBERTO S. CATTANEO and TATSURO SHIMIZU Abstract In this note, we revisit the Θ-invariant as defined by R. Bott and the first author in [4]. The Θ-invariant is an invariant of rational homology 3-spheres with acyclic orthogonal local systems, which is a generalization of the 2-loop term of the Chern-Simons perturbation theory. The Θ- invariant can be defined when a cohomology group is vanishing. In this note, we give a slightly modified version of the Θ-invariant that we can define even if the cohomology group is not vanishing. 1 Introduction In 1998, R. Bott and the first author defined topological invariants of rational homology spheres with acyclic orthogonal local systems in [3], [4]. These invariant were inspired by the Chern-Simons perturbation theory developed by M. Kontsevich in [6], S. Axelrod and M. I. Singer in [2]. The Chern-Simons perturbation theory gives invariants of 3-manifolds with flat connections of the trivial G-bundle over the 3-manifold, where G is a semi-simple Lie group. The composition of adjoint representation of G and the holonomy representation of the flat connection gives an orthogonal local system. In [4], Bott and the first author constructed a real valued invariant, called Θ-invarant (In this note, we denote by Z Θ the corresponding term), which is a generalization of a 2-loop term of Chern-Simons perturbation theory. The vanishing of a cohomology group (denoted by H ( ;π 1 1 E π 1 2 E) in [4], H ( ;E ρ E ρ ) in this note) plays an important role in the construction of the Θ-invariant Z Θ. There are few gaps in the proof of this vanishing (Lemma 1.2 of [4]). In this note, we show that a linear combination of Z Θ and another term Z O O is, however, a topological invariant of closed 3-manifolds with orthogonal acyclic local systems, when the local system is given by using a holonomy representation of a flat connection. The term Z O O is also related to the 2-loop term of the Chern-Simons perturbation theory. We note that the second author proved that when G SU(2), Z Θ itself is an invariant of closed 3 manifolds with orthogonal local systems in [9]. The organization of this paper is as follows. In Section 2 we give a modified version of the Bott-Cattaneo Θ-invariant without proof. In Section 3 and University of Zurich, cattaneo@math.uzh.ch Research Institute for Mathematical Sciences, Kyoto University, shimizu@kurims.kyoto-u.ac.jp 1
2 Section 4 we prove a proposition and a theorem about well-definedness of the invariant stated in Section 2. Both the invariant defined in Section 2 of this note and the Θ-invariant depend on the choice of a framing of the 3-manifold. In Section 5 we introduce a framing correction. Orientation convention In this note, all manifolds are oriented. Boundaries are oriented by the outward normal first convention. Products of oriented manifolds are oriented by the order of the factors. The interval [0,1] R is oriented from 0 to 1. Acknowledgments A. S. C. acknowledges partial support of SNF Grant No /1. This research was (partly) supported by the NCCR SwissMAP, funded by the Swiss National Science Foundation, and by the COST Action MP1405 QSPACE, supported by COST (European Cooperation in Science and Technology). T. S. expresses his appreciation to Professor Tadayuki Watanabe for his helpful comments and discussion on the Chern-Simons perturbation theory. This work was (partly) supported by JSPS KAKENHI Grant Number JP15K The invariant Let M be a closed oriented framed 3-manifold, namely a trivialization of the tangent bundle of M is fixed. We take a metric on M compatible with the framing. Let ρ : π 1 G be a representation of the fundamental group into a semi-simple Lie group G. We denote by ad : G g the adjoint representation of G, where g is the Lie algebra of G. Since G is semi-simple, the representation ad ρ is orthonormal with respect to the Killing form. A local system is a covariant functor from the fundamental groupoid of M to the category of finite dimensional vector spaces. Note that a representation of π 1 (M) gives a local system. We denote by E ρ the local system given by ad ρ. We assume that E ρ is acyclic, namely H (M;E ρ ) 0. In this note, we say that such a representation ρ is acyclic. 2.1 A compactification of a configuration space Let {(x,x) x M} M 2 be the diagonal. We identify with M by (x,x) x M. We orient by using this identification. We denote by ν the normal bundle of in M 2. We identify ν with the tangent bundle TM via the isomorphism defined by TM ν,(x,v) ((x,x),( v,v)) 2
3 where x M and v T x M. On the other hand, M is framed. Then TM is identified with M R 3. Thus ν is identified with M R 3. Let C 2 (M) Bl(M 2, ) be the compact 6-dimensional manifold with the boundary obtained by the real blowing up of M 2 along. We denote by the blow-down map. As manifolds, q : C 2 (M) M 2 C 2 (M) (M 2 \ ) Sν and q(sν ). Here Sν is the unit sphere bundle of ν with respect to the metric on M. C 2 (M) is a compactification of the configuration space M 2 \ of two distinct points. Obviously, C 2 (M) Sν. Sν is identified with S 2. We denote by p : C 2 (M) S 2 S 2 the projection. We use the same symbol q for the restriction map q C2(M) : C 2 (M)( S 2 ) of the blow-down map q. 2.2 The natural transformations c and Tr The killing form gives an isomorphism g g g g. Let 1 g g the element corresponding to the killing form in g g. By using an orthonormal basis e 1,...,e dimg g of g, 1 can be described as 1 dimg i1 e i e i. 1 g g is invariant under the diagonal action of π 1 (M). Thus we have a natural transformation c : R E ρ E ρ,1 1. Here R is the trivial local system, namely a local system corresponding to the 1-dimensional trivial representation of π 1 (M). We define a natural transformation as follows: for x,y,z g, Tr : E ρ E ρ E ρ R Tr(x y z) [x,y],z where, is the Killing form and [,] is the Lie bracket. Letπ 1,π 2 : M 2 M betheprojectionsdefinedbyπ 1 (x 1,x 2 ) x 1,π 2 (x 1,x 2 ) x 2. π 1 E ρ π 2 E ρ is a local system on M 2. We denote E ρ E ρ π 1 E ρ π 2 E ρ. We remark that E ρ E ρ E ρ E ρ. The pull-back F ρ q (E ρ E ρ ) is a local system on C 2 (M). Clearly, F ρ C2(M) q (E ρ E ρ ). 3
4 2.3 The involution T on C 2 (M) The involution T 0 : M 2 M 2 defined by T 0 (x 1,x 2 ) (x 2,x 1 ) induces an involution T : C 2 (M) C 2 (M). T 0,T induce homomorphisms T 0,T on the cohomology groups H (M 2,E ρ E ρ ), H (C 2 (M);F ρ ), H ( ;E ρ E ρ ) and on thespaceofdifferentialk formsω k (C 2 (M);F ρ ). WedenotebyH + (M2 ;E ρ E ρ ), H (M 2 ;E ρ E ρ ) the +1, 1eigenspaces ofthe homomorphism T 0 respectively. We use similar notations H + (C 2(M);F ρ ),H + (,E ρ E ρ ),Ω k + (C 2(M);F ρ )... in the same manner. Let T S 2 : S 2 S 2 be the involution defined as T S 2(x) x for any x S 2. Since the metric on M is compatible with the framing, we have p T C2(M) T S 2 p : C 2 (M) S The invariant Take a 2-form ω S 2 Ω 2 (S 2 ;R) on S 2 satisfying S 2 ω S 2 1 and T S 2 ω S 2 ω S 2. p ω S 2 is a closed 2-form on C 2 (M). Thus c (p ω S 2) p ω S 21 is a closed 2-form on C 2 (M) such that (T C2(M)) p ω S 21 p ω S 21. Thereforetheclosed2-formp ω S 21representsacohomologyclassinH 2 ( C 2(M);F ρ C2(M)): [p ω S 21] H 2 ( C 2 (M);F ρ C2(M)). Proposition 2.1. There exist 2 forms ω Ω 2 (C 2 (M);F ρ ) and ξ Ω 2 ( ;E ρ E ρ ) satisfying the following conditions: (1) ω C2(M) p ω S 21+q ξ, (2) T ω ω,(t 0 ) ξ ξ, namely ω Ω 2 (C 2(M);F ρ ),ξ Ω 2 ( ;E ρ E ρ ). Furthermore, the cohomology class [ξ] H 2 ( ;E ρ E ρ ) is independent of the choice of ξ. This proposition is proved in Section 3. Now, we have the following 2-forms: Then we obtain closed 6-forms q π 1ξ Ω 2 (C 2 (M);q (E 2 ρ R)), q π 2ξ Ω 2 (C 2 (M);q (R E 2 ρ )). ω 3 Ω 6 (C 2 (M);F 3 ρ ), (q π 1ξ)(q π 2ξ)ω Ω 6 (C 2 (M);F 3 ρ ). 4
5 Since Fρ 3 q (E 3 a natural transformation ρ Eρ 3 ), the natural transformation Tr : E 3 ρ R induces Tr 2 : F 3 ρ Therefore we get closed 6-forms Definition 2.2. Z Θ (ω) (R R )R. Tr 2 ω 3,Tr 2 ((q π 1 ξ)(q π 2 ξ)ω) Ω6 (C 2 (M);R). C 2(M) Tr 2 ω 3,Z O O (ω,ξ) C 2(M) Z 1 (M,ρ) Z Θ (ω) 3Z O O (ω,ξ). Tr 2 ((q π 1 ξ)(q π 2 ξ)ω), Theorem 2.3. Z 1 (M,ρ) is an invariant of M, ρ (independent of the choices of ω,ξ). Furthermore, Z 1 (M,ρ) is invariant under homotopy of the framing. This theorem is proved in Section 4. Remark 2.4. When we can take ξ 0, obviously Z O O (ω,ξ) 0 and then Z 1 (M,ρ) coincides with the Θ-invariant I (Θ,tr,tr) (M) of the framed 3-manifold M given in Theorem 2.5 in [4]. 3 Proof of Proposition2.1 In the following commutative diagram, the top horizontal line is a part of the long exact sequence of the pair (C 2 (M), C 2 (M)) and the bottom line is that of (M 2, ). Thanks to the excision theorem, the right vertical homomorphism q is an isomorphism. H ( C 2 2 (M);q (E ρ E ρ )) δ C 2 (M) H (C 3 2 (M), C 2 (M);F ρ ) (q C2 (M)) q H 2 ( ;E ρ E ρ ) δ M 2 H 3 (M 2, ;E ρ E ρ ) Since H 2 (M2 ;E ρ E ρ ) H 3 (M2 ;E ρ E ρ ) 0, the connected homomorphism δ M 2 on the bottom line is an isomorphism. Set Φ (δ M 2) 1 (q ) 1 δ C 2(M) : H2 ( C 2(M);q (E ρ E ρ )) H 2 ( ;E ρ E ρ ). We take a 2-form ξ Ω 2 ( ;E ρ E ρ ) such that Φ([p ω S 21]) [ξ] H 2 ( ;E ρ E ρ ). The above diagram implies that Φ(q [ξ]) [ξ]. Then Φ(p ω S 21 + q ξ) 0. Thus δ C 2(M) (p ω S 21 + q ξ) 0. Therefore there exists a closed 2-form ω Ω 2 (C 2(M);F ρ ) such that ω C2(M) p ω S 21+q ξ. Thesecondassertionisadirectconsequenceofthedefinition [ξ] Φ([p ω S 21]). 5
6 4 Proof of Theorem 2.3 The proof is reduced to the following two propositions: Proposition 4.1. Let ω,ω Ω 2 (C 2 (M);F ρ ) be closed 2-forms such that ω C2(M) ω C2(M) p ω S 21+q ξ. Then Z Θ (ω) Z Θ (ω ) and Z O O (ω,ξ) Z O O (ω,ξ) hold. Proposition 4.2. Let ω S 2,0,ω S 2,1 Ω 2 (S 2 ;R) be closed 2-forms satsfying S 2 ω S 2,0 S 2 ω S 2,1 1, T S 2 ω S 2,0 ω S 2,0 and T S 2 ω S 2,1 ω S 2,1. Let {p t : S 2 S 2 } t [0,1] be a homotopy such that p 0 p and p t T C2(M) T S 2 p t for t 0,1. Let ω 0,ω 1 Ω 2 (C 2(M);F ρ ) and ξ 0,ξ 1 Ω 2 ( ;E ρ E ρ ) be closed 2-forms satisfying ω 0 C2(M) p 0 ω S 2,01+q ξ 0,ω 1 C2(M) p 1 ω S 2,11+q ξ 1. Then Z Θ (ω 0 ) 3Z O O (ω 0,ξ 0 ) Z Θ (ω 1 ) 3Z O O (ω 1,ξ 1 ) holds. 4.1 Proof of Proposition4.1 Lemma 4.3. There exists a 1-form η Ω 1 (M 2 ;E ρ E ρ ) such that ω ω d(q η). Proof. In the following diagram, the top horizontal line is a part of the long exact sequence of the pair (C 2 (M), C 2 (M)) and the bottom line is that of (M 2, ). The left vertical homomorphism q is an isomorphism because of the excision theorem. H 2 (C 2 (M), C 2 (M);F ρ ) q H 2 (M2, ;E ρ E ρ ) H 2 (C 2 (M);F ρ ) q H 2 (M2 ;E ρ E ρ ) The closed 2-form ω ω gives a cohomology class in H 2 (C 2(M), C 2 (M);F ρ ) and then ((q ) 1 (ω ω )) M 2 gives a cohomology class in H 2 (M 2 ;E ρ E ρ ). Since H 2 (M 2 ;E ρ E ρ ) 0, there exists a 1-form η Ω 1 (M 2 ;E ρ E ρ ) such that dη ((q ) 1 (ω ω )) M 2. Thus we have d(q η) ω ω. 6
7 Thanks to Lemma 4.3 and Stokes s theorem, Z Θ (ω) Z Θ (ω ) Tr 2( (ω ω )(ω 2 +ωω +ω 2 ) ) 3 C 2(M) C 2(M) C 2(M) C 2(M) Tr 2( d(q η)(ω 2 +ωω +ω 2 ) ) Tr 2( (q η) C2(M)(ω 2 +ωω +ω 2 ) ) C2(M) Tr 2( (q η) C2(M)(p ω S 21+q ξ) 2) 6 Tr 2 (q (η )p ω S 21q ξ) S 2 6 Tr 2 (η ξ1). To simplify the notation, we set η η. Let l : E ρ E ρ E ρ be a natural transformation induced from the Lie bracket [,] : g g g. We have l(η) Ω 1 ( ;E ρ ), l(ξ) Ω 2 ( ;E ρ ). Let I : E ρ E ρ R be a natural transformation induced from the inner product of g. Then I(l(η)l(ξ)) is a 2-form in Ω 2 ( ;R). Lemma 4.4. Tr 2 (ηξ1) I(l(η)l(ξ)). Proof. Since T 0 id, Ω ( ;E E)) Ω ( ;(E E) ). Then we only need to check the claim on g 3 g 3. Let e 1,...,e dimg g be an orthonormal basis of g. Then {e i e j e j e i i < j} is a basis of (g g). It is enough to show the claim for this basis. ( Tr 2 (e i e j e j e i ) (e k e l e l e k ) ( ) e n e n ) n 2( [e i,e k ],[e j,e l ] [e i,e l ],[e j,e k ] ) 2( e i,[e k,[e j,e l ]] + e i,[e l,[e k,e j ]] ) 2(( e i,[e j,[e l,e k ]] e i,[e l,[e k,e j ]] )+ e i,[e l,[e k,e j ]] ) 2 e i,[e j,[e k,e l ]] 2 [e i,e j ],[e k,e l ] 1 2 2[e i,e j ],2[e k,e l ] 1 2 l(e i e j e j e i )l(e k e l e l e k ). Corollary 4.5. Tr 2 (ηξ1) 0. 7
8 Proof. Thanks to the above lemma, Tr 2 (ηξ1) I(l(η)l(ξ)). Since E ρ is acyclic, [l(ξ)] 0 H 2 ( ;E ρ ) 0. Thus there exists a 1-form ζ Ω 1 ( ;E ρ ) such that dζ l(ξ). Therefore I(l(η)l(ξ)) I(ηdζ) di(ηζ) 0. Thanks to the above lemma, we have Z Θ (ω) Z Θ (ω ) 0. Similarly, Z O O (ω,ξ) Z O O (ω,ξ) Tr 2 ((q π1 ξ)(q π2 ξ)(ω ω )) C 2(M) C 2(M) C 2(M) Tr 2 ((q π 1ξ)(q π 2ξ)dq η) Tr 2 (q ((π 1 ) ξ(π 2 ) ξη)). Since (π 1 ) ξ(π 2 ) ξη is a 5-form on the 3-dimensional manifold, the last term is vanishing. This completes the proof of Proposition Proof of Proposition 4.2 Since[ω S 2,0] [ω S 2,1] H 2 (S 2 ;R), thereexistsaclosed2-form ω S2 Ω 2 ([0,1] S 2 ;R) such that ω S 2 {t} S 2 ω S 2,t for t 0,1. Since [ξ 0 ] [ξ 1 ](Proposition 2.1), there exists a closed 1-form ξ Ω 1 ([0,1],π (E ρ E ρ )) such that ξ {0} ξ 0 and ξ {1} ξ 1. Here π : [0,1] is the projection. Let π C2(M) : [0,1] C 2 (M) C 2 (M) be the projection. Let q id [0,1] q : [0,1] C 2 (M) [0,1] M 2 and we also denote the restriction map q [0,1] C2(M) : [0,1] C 2 (M) [0,1] as q. By a similar argument as in Proposition 2.1, we can take a closed 2-form ω Ω 2 ([0,1] C 2 (M),π C 2(M) F ρ) 8
9 such that ω [0,1] C2(M) p ω S 21+ q ξ. Here p {p t } t : ([0,1] C 2 (M) )[0,1] S 2 S 2 is the homotopy between p 0 and p 1. Thanks to Proposition 4.1, both Z Θ (ω) and Z O O (ω,ξ) depend only on ω S 2 andξ. ThuswehaveZ Θ (ω 0 ) Z Θ ( ω {0} C2(M)),Z Θ (ω 1 ) Z Θ ( ω {1} C2(M)), Z O O (ω 0,ξ 0 ) Z O O ( ω {0} C2(M),ξ 0 )andz O O (ω 1,ξ 1 ) Z O O ( ω {1} C2(M),ξ 1 ). We note that, with our orientation convention, ([0,1] C 2 (M)) {1} C 2 (M) {0} C 2 (M) [0,1] C 2 (M). Therefore, by using Stokes theorem, 0 dtr 2 ω 3 [0,1] C 2(M) {1} C 2(M) Tr 2 ( ω 3 {1} C 2(M) ) Tr 2 ( ω 3 ) {0} C 2(M) Z Θ ( ω {1} C2(M)) Z Θ ( ω {0} C2(M)) Tr 2 ( ω 3 {0} C 2(M) ) Z Θ (ω 1 ) Z Θ (ω 0 ) Tr 2 (3 p ω S 21 q ξ2 ) Tr 2 ( p ω S 21+ q ξ) 3 We denote π i id [0,1] π i : [0,1] M 2 [0,1] M for i 1,2. We have, 0 dtr 2( ( q π ) 1 ξ)( q π 2 ξ) ω [0,1] C 2(M) Z O O (ω 1,ξ 1 ) Z O O (ω 0,ξ 0 ) Tr 2( ( q (( π 1 [0,1] ) ξ( π 2 [0,1] ) ξ) ω [0,1] C2(M)). Here, π 1 [0,1] π 2 [0,1] : [0,1] M. Thus( π 1 [0,1] ) ξ( π2 [0,1] ) ξ ξ 2 under the identification M. We have Z O O (ω 1,ξ 1 ) Z O O (ω 0,ξ 0 ) Tr 2 ( p ω S 21 q ξ2 ) Then we have Z Θ (ω 1 ) Z Θ (ω 0 ) 3(Z O O (ω 1,ξ 1 ) Z O O (ω 0,ξ 0 )). This completes the proof of Proposition
10 5 A framing correction In this section, we introduce a correction term for framings to give an invariant of closed 3-manifolds with acyclic representations. Let M be a closed oriented 3-manifold (without framings). Recall that C 2 (M) is identified with the unit sphere bundle STM (see Section 2.1). Take a framing f : TM M R 3 of M. Then (M,f) is a framed 3-manifold. Let p : ( C 2 (M) )STM S 2 be the projection defined by the framing f. Let δ(f) Z be the signature defect (or Hirzebruch defect. For example, see [1], [5] for the details) of a framing f. For the convenience of the reader, we give a short review of the construction of δ(f) in the next section. Let ρ : π 1 (M) G be an acyclic representation as in Section 2.1. Theorem 5.1. is an topological invariant of M,ρ. Z 1 ((M,f),ρ) (dimg) 2 δ(f) 5.1 The signature defect δ(p) Let W be a compact 4-manifold such that W M and its Euler characteristic is zero. Then there exists an R 3 sub-bundle T v W of TW satisfying T v W M TM. Let ST v W W be the unit sphere bundle of T v W W. Thus ST v W is a 6-dimensional manifold with ST v W STM. We denote by F W ST v W the tangent bundle along the fiber of the S 2 bundle π : ST v W W. Take a closed 2-form α W Ω 2 (ST v W;R) such that α W STM p ω S 2 and [α W ] e(f W )/2 H 2 (ST v W;R), where e(f W ) is the Euler class of F W ST v W. Lemma 5.2. When W M, we have ST v W α3 W 3 4SignW. Here SignW is the signature of W. Proof. We give an outline of the proof. See Appendix of [8] or Proposition 2.45 of [7], for the details of the proof. Since W is closed, ST v W α3 W ( 1 ST v W 2 e(f W) ) 3. We denote by p1 (F W ) H 4 (ST v W;R) the 1st Pontrjagin class of the bundle F W. We remark that R F W π T v W and R T v W TW. Here R is the trivial R bundle over an appropriate manifold. Therefore, α 3 W 1 e(f W ) 3 ST v W 8 ST v W 1 e(f W )p 1 (F W ) 8 ST v W 1 e(f W )π p 1 (T v W) 8 ST v W 1 p 1 (TW) 4 W 3 4 SignW. 10
11 Thanks to the Novikov additivity for the signature, the following corollary holds. Corollary 5.3. The signature defect δ(f) defined to be δ(f) ST W α 3 W 3 4 SignW is independent of the choices of W and α W. 5.2 Proof of Theorem 5.1 Let f 0,f 1 : TM M R 3 be framings and let p 0,p 1 : C 2 (M) S 2 be the projections given by framings f 0,f 1 respectively. Since [p 0ω S 2] and [p 1ω S 2] are in H 2( S2 ;R) H 2 (S 2 ;R) R, [p 0 ω S 2] [p 1 ω S2]. Thus there exists a closed 2-form ω Ω 2 ([0,1] C 2 (M);R) such that ω {0} C2(M) p 0ω S 2, ω {1} C2(M) p 1ω S 2. We recall that ξ Ω 2 ( ;E ρ E ρ ) is a closed 2-form representing Φ([p ω S 21]) Φ c ([p ω S 2]) when we take a projection p : C 2 (M) S 2 given by a framing f. The homomorphism Φ c is independent from the choice of a framing. Then we can use same ξ Ω 2 ( ;E ρ E ρ ) for any framing. By a similar argument as in proof of Proposition2.1, we can take a closed 2-form ω Ω 2 ([0,1] C 2 (M);π C 2(M) F ρ) such that ω [0,1] C2(M) ω 1+Q ξ. Here, π C2(M) : [0,1] C 2 (M) C 2 (M) and Q : [0,1] C 2 (M) are the projections. We denote by Then, Thanks to Stokes theorem, 0 dtr 2 ( ω 3 ) [0,1] C 2(M) Z Θ (ω 1 ) Z Θ (ω 0 ) Z Θ (ω 1 ) Z Θ (ω 0 ) Z Θ (ω 1 ) Z Θ (ω 0 ) ω 0 ω {0} C2(M), ω 1 ω {1} C2(M). Z 1 ((M,f 0 ),ρ) Z Θ (ω 0 ) 3Z O O (ω 0,ξ), Z 1 ((M,f 1 ),ρ) Z Θ (ω 1 ) 3Z O O (ω 1,ξ). Z Θ (ω 1 ) Z Θ (ω 0 ) (dimg) 2 Tr 2 ( ω 3 ) Tr 2 ( ω ) ω 3 Tr 2 (1 3 ) 11 3Tr 2 ( ω Q ξ) 3Tr 2 ( ω Q ξ) ω 3 3Tr 2 ( ω Q ξ).
12 We denote π i : [0,1] M 2 M,(t,x 1,x 2 ) x i for i 1,2. We have, 0 dtr 2 (( q π 1 ξ)( q π 2 ξ) ω) [0,1] C 2(M) Z O O (ω 1,ξ) Z O O (ω 0,ξ) Tr 2( ( q ((π 1 [0,1] ) ξ(π 2 [0,1] ) ξ) ω 1 ) Z O O (ω 1,ξ) Z O O (ω 0,ξ) Tr 2( Q ξ 2 ω 1 ) 0 Thus we have Z 1 ((M,f 0 ),ρ) Z 1 ((M,f 1 ),ρ) (dimg) 2 ω 3 + 3Tr 2 ( ω Q ξ). Lemma 5.4. Tr 2 ( ω 1 2 Q ξ) 0. Proof. Let T E : E ρ E ρ E ρ E ρ be the involution induced by g g g g,x y y x. Cleary, Tr 2 T 3 E Tr 2 : E 3 E 3 R. Since T E (1) 1 and TE (T 0 ) on Ω 1 ( ;E ρ E ρ ), we have Tr 2 ( ω 1 2 Q ξ) Tr 2( T 3 E ( ω 1 2 Q ξ) ) Tr 2 ( ω 1 2 Q ξ). Thus Tr 2 ( ω 1 2 Q ξ) 0. Lemma 5.5. δ(f 1 ) δ(f 0 ) Proof. We takeacompact 4-manifold W with W M and its Eulercharacteristic is zero. Take a collar neighborhood [0,1] M of M W in W such that {1} M W. Set W 0 W\([0,1] M). We can taket v W as T v W [0,1] M [0,1] TM. ThusST v W [0,1] M isidentified with[0,1] C 2 (M). Takeaclosed 2-form α W Ω 2 (ST v W;R) satisfying α W [0,1] STM ω and [α W ] 1 2 e(f W). Then we have ( δ(f 1 ) δ(f 0 ) α 3 W 3 ( ) ST v W 4 SignW (α W STv W 0 ) 3 3 ) ST v W 0 4 SignW 0 (α W [0,1] STM ) 3 [0,1] ST M ω 3. ω 3. 12
13 By the above two lemmas, Z 1 ((M,f 0 ),ρ) (dimg) 2 δ(f 0 ) Z 1 ((M,f 1 ),ρ) (dimg) 2 δ(f 1 ). Namely, Z 1 ((M,f),ρ) (dimg) 2 δ(f) is independent of the choice of a framing f. References [1] M. Atiyah. On framings of 3-manifolds. Topology, 29(1):1 7, [2] S. Axelrod and I. M. Singer. Chern-Simons perturbation theory. In Proceedings of the XXth International Conference on Differential Geometric Methods in Theoretical Physics, Vol. 1, 2 (New York, 1991), pages World Sci. Publ., River Edge, NJ, [3] R. Bott and A. S. Cattaneo. Integral invariants of 3-manifolds. J. Differential Geom., 48(1):91 133, [4] R. Bott and A. S. Cattaneo. Integral invariants of 3-manifolds. II. J. Differential Geom., 53(1):1 13, [5] R. Kirby and P. Melvin. Canonical framings for 3-manifolds. In Proceedings of 6th Gökova Geometry-Topology Conference, volume 23, pages , [6] M. Kontsevich. Feynman diagrams and low-dimensional topology. In First European Congress of Mathematics, Vol. II (Paris, 1992), volume 120 of Progr. Math., pages Birkhäuser, Basel, [7] C. Lescop. On the Kontsevich-Kuperberg-Thurston construction of a configuration-space invariant for rational homology 3-spheres. arxiv:math/ v1, November [8] T. Shimizu. An invariant of rational homology 3-spheres via vector fields. Algebr. Geom. Topol., 16(6): , [9] T. Shimizu. Morse homotopy for the su(2)-chern-simons perturbation theory. RIMS preprint 1857,
RIMS-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 informationTransverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU. 1 Introduction
1 Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU 1 Introduction The main purpose of this article is to give a geometric proof of the following
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationInvariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem
PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents
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 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 informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS On self-intersection of singularity sets of fold maps. Tatsuro SHIMIZU.
RIMS-1895 On self-intersection of singularity sets of fold maps By Tatsuro SHIMIZU November 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On self-intersection of singularity
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationOn the homotopy invariance of string topology
On the homotopy invariance of string topology Ralph L. Cohen John Klein Dennis Sullivan August 25, 2005 Abstract Let M n be a closed, oriented, n-manifold, and LM its free loop space. In [3] a commutative
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 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 informationSPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY
SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY M. F. ATIYAH, V. K. PATODI AND I. M. SINGER 1 Main Theorems If A is a positive self-adjoint elliptic (linear) differential operator on a compact manifold then
More informationK-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants
K-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants Department of Mathematics Pennsylvania State University Potsdam, May 16, 2008 Outline K-homology, elliptic operators and C*-algebras.
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 informationMultiplicative properties of Atiyah duality
Multiplicative properties of Atiyah duality Ralph L. Cohen Stanford University January 8, 2004 Abstract Let M n be a closed, connected n-manifold. Let M denote the Thom spectrum of its stable normal bundle.
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
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 informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationHARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES
HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES OLIVER EBNER AND STEFAN HALLER Abstract. We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz
More informationNONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction
NONNEGATIVE CURVATURE AND COBORDISM TYPE ANAND DESSAI AND WILDERICH TUSCHMANN Abstract. We show that in each dimension n = 4k, k 2, there exist infinite sequences of closed simply connected Riemannian
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 informationDeformation groupoids and index theory
Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological
More informationChern characters via connections up to homotopy. Marius Crainic. Department of Mathematics, Utrecht University, The Netherlands
Chern characters via connections up to homotopy Marius Crainic Department of Mathematics, Utrecht University, The Netherlands 1 Introduction: The aim of this note is to point out that Chern characters
More informationStable complex and Spin c -structures
APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.
More informationLecture 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
More informationAn Introduction to the Stolz-Teichner Program
Intro to STP 1/ 48 Field An Introduction to the Stolz-Teichner Program Australian National University October 20, 2012 Outline of Talk Field Smooth and Intro to STP 2/ 48 Field Field Motivating Principles
More informationTHE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES
THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES Denis Bell 1 Department of Mathematics, University of North Florida 4567 St. Johns Bluff Road South,Jacksonville, FL 32224, U. S. A. email: dbell@unf.edu This
More informationRes + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).
More informationGeometric dimension of stable vector bundles over spheres
Morfismos, Vol. 18, No. 2, 2014, pp. 41 50 Geometric dimension of stable vector bundles over spheres Kee Yuen Lam Duane Randall Abstract We present a new method to determine the geometric dimension of
More informationHard Lefschetz Theorem for Vaisman manifolds
Hard Lefschetz Theorem for Vaisman manifolds Antonio De Nicola CMUC, University of Coimbra, Portugal joint work with B. Cappelletti-Montano (Univ. Cagliari), J.C. Marrero (Univ. La Laguna) and I. Yudin
More informationarxiv: v1 [math.ag] 30 Apr 2018
QUASI-LOG CANONICAL PAIRS ARE DU BOIS OSAMU FUJINO AND HAIDONG LIU arxiv:1804.11138v1 [math.ag] 30 Apr 2018 Abstract. We prove that every quasi-log canonical pair has only Du Bois singularities. Note that
More informationBEYOND ELLIPTICITY. Paul Baum Penn State. Fields Institute Toronto, Canada. June 20, 2013
BEYOND ELLIPTICITY Paul Baum Penn State Fields Institute Toronto, Canada June 20, 2013 Paul Baum (Penn State) Beyond Ellipticity June 20, 2013 1 / 47 Minicourse of five lectures: 1. Dirac operator 2. Atiyah-Singer
More informationA note on Samelson products in the exceptional Lie groups
A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],
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 informationTHEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES
KNOT THEORY BANACH CENTER PUBLICATIONS, VOLUME 42 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1998 THEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES SYLVAIN GERVAIS
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 informationLECTURE 10: THE PARALLEL TRANSPORT
LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be
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 informationLAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS
LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS JON WOLFSON Abstract. We show that there is an integral homology class in a Kähler-Einstein surface that can be represented by a lagrangian twosphere
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 informationThe symplectic structure on moduli space (in memory of Andreas Floer)
The symplectic structure on moduli space (in memory of Andreas Floer) Alan Weinstein Department of Mathematics University of California Berkeley, CA 94720 USA (alanw@math.berkeley.edu) 1 Introduction The
More informationAN EXTENTION OF MILNOR'S INEQUALITY
Kasagawa, R. Osaka J. Math. 36 (1999), 27-31 AN EXTENTION OF MILNOR'S INEQUALITY RYOJI KASAGAWA (Received June 16, 1997) 1. Introduction Milnor showed the following theorem. Theorem 1.1 (Milnor [4]). Let
More informationThe Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013
The Hopf Bracket Claude LeBrun SUY Stony Brook and ichael Taylor UC Chapel Hill August 11, 2013 Abstract Given a smooth map f : between smooth manifolds, we construct a hierarchy of bilinear forms on suitable
More informationTopology of the space of metrics with positive scalar curvature
Topology of the space of metrics with positive scalar curvature Boris Botvinnik University of Oregon, USA November 11, 2015 Geometric Analysis in Geometry and Topology, 2015 Tokyo University of Science
More informationHans U. Boden, Christopher M. Herald, and Paul Kirk
Mathematical Research Letters 8, 589 603 (2001) AN INTEGER VALUED SU(3) CASSON INVARIANT Hans U. Boden, Christopher M. Herald, and Paul Kirk Abstract. We define an integer valued invariant of homology
More informationLecture 11: Hirzebruch s signature theorem
Lecture 11: Hirzebruch s signature theorem In this lecture we define the signature of a closed oriented n-manifold for n divisible by four. It is a bordism invariant Sign: Ω SO n Z. (Recall that we defined
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 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 informationEXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B
EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,
More informationSymplectic critical surfaces in Kähler surfaces
Symplectic critical surfaces in Kähler surfaces Jiayu Li ( Joint work with X. Han) ICTP-UNESCO and AMSS-CAS November, 2008 Symplectic surfaces Let M be a compact Kähler surface, let ω be the Kähler form.
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 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 informationDirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017
Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. The Riemann-Roch theorem 5. K-theory
More informationRemarks on the Milnor number
José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationSEMISIMPLE LIE GROUPS
SEMISIMPLE LIE GROUPS BRIAN COLLIER 1. Outiline The goal is to talk about semisimple Lie groups, mainly noncompact real semisimple Lie groups. This is a very broad subject so we will do our best to be
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 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 informationarxiv: v1 [math.gt] 23 Apr 2014
THE NUMBER OF FRAMINGS OF A KNOT IN A 3-MANIFOLD PATRICIA CAHN, VLADIMIR CHERNOV, AND RUSTAM SADYKOV arxiv:1404.5851v1 [math.gt] 23 Apr 2014 Abstract. In view of the self-linking invariant, the number
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 informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationOn the Equivalence of Geometric and Analytic K-Homology
On the Equivalence of Geometric and Analytic K-Homology Paul Baum, Nigel Higson, and Thomas Schick Abstract We give a proof that the geometric K-homology theory for finite CWcomplexes defined by Baum and
More informationOn the Twisted KK-Theory and Positive Scalar Curvature Problem
International Journal of Advances in Mathematics Volume 2017, Number 3, Pages 9-15, 2017 eissn 2456-6098 c adv-math.com On the Twisted KK-Theory and Positive Scalar Curvature Problem Do Ngoc Diep Institute
More informationOverview of Atiyah-Singer Index Theory
Overview of Atiyah-Singer Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand
More informationEXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS
EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationA DISCRETE THEORY OF CONNECTIONS ON PRINCIPAL BUNDLES
A DISCRETE THEORY OF CONNECTIONS ON PRINCIPAL BUNDLES MELVIN LEOK, JERROLD E. MARSDEN, AND ALAN D. WEINSTEIN Abstract. Connections on principal bundles play a fundamental role in expressing the equations
More informationKODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI
KODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI JOSEF G. DORFMEISTER Abstract. The Kodaira dimension for Lefschetz fibrations was defined in [1]. In this note we show that there exists no Lefschetz
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 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 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 informationON KIRBY CALCULUS FOR NULL-HOMOTOPIC FRAMED LINKS IN 3-MANIFOLDS
ON KIRBY CALCULUS FOR NULL-HOMOTOPIC FRAMED LINKS IN 3-MANIFOLDS KAZUO HABIRO AND TAMARA WIDMER Abstract. Kirby proved that two framed links in S 3 give orientationpreserving homeomorphic results of surgery
More informationTHE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES
THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES SPUR FINAL PAPER, SUMMER 2017 JUAN CARLOS ORTIZ MENTOR: JACKSON HANCE Abstract Given a manifold M, Milnor and Stasheff studied in [1] the diagonal cohomology
More informationarxiv: v1 [math.at] 18 May 2015
PRETTY RATIONAL MODELS FOR POINCARÉ DUALITY PAIRS HECTOR CORDOVA BULENS, PASCAL LAMBRECHTS, AND DON STANLEY arxiv:1505.04818v1 [math.at] 18 May 015 Abstract. We prove that a large class of Poincaré duality
More informationarxiv:math/ v2 [math.sg] 19 Feb 2003
THE KIRWAN MAP, EQUIVARIANT KIRWAN MAPS, AND THEIR KERNELS ariv:math/0211297v2 [math.sg] 19 eb 2003 LISA C. JEREY AND AUGUSTIN-LIVIU MARE Abstract. or an arbitrary Hamiltonian action of a compact Lie group
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 informationKO -theory of complex Stiefel manifolds
KO -theory of complex Stiefel manifolds Daisuke KISHIMOTO, Akira KONO and Akihiro OHSHITA 1 Introduction The purpose of this paper is to determine the KO -groups of complex Stiefel manifolds V n,q which
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 informationTRANSFERRED CHERN CLASSES IN MORAVA K-THEORY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 132, Number 6, Pages 1855 1860 S 0002-9939(03)07265-4 Article electronically published on December 18, 2003 TRANSFERRED CHERN CLASSES IN MORAVA K-THEORY
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 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
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 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 informationPolynomial mappings into a Stiefel manifold and immersions
Polynomial mappings into a Stiefel manifold and immersions Iwona Krzyżanowska Zbigniew Szafraniec November 2011 Abstract For a polynomial mapping from S n k to the Stiefel manifold Ṽk(R n ), where n k
More informationENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5
ENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) OSAMU FUJINO Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5 1. Preliminaries Let us recall the basic notion of the complex geometry.
More informationarxiv: v1 [math.at] 2 Sep 2017
arxiv:1709.00569v1 [math.at] 2 Sep 2017 An elementary proof of Poincare Duality with local coefficients 1 Introduction Fang Sun September 5, 2017 The statement and proof of the Poincare Duality for (possibly
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationAdmissible Vector Fields of Codimension-One Plane Fields and Their Stability Property
Ann. Rep. Fac. Edu., Iwate Admissible Univ., Vol.71(March, Vector Fields and 2012),45 Their Stability ~ 52 Property Admissible Vector Fields of Codimension-One Plane Fields and Their Stability Property
More informationMetrics and Holonomy
Metrics and Holonomy Jonathan Herman The goal of this paper is to understand the following definitions of Kähler and Calabi-Yau manifolds: Definition. A Riemannian manifold is Kähler if and only if it
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 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 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 informationarxiv:math/ v1 [math.gt] 14 Dec 2004
arxiv:math/0412275v1 [math.gt] 14 Dec 2004 AN OPEN BOOK DECOMPOSITION COMPATIBLE WITH RATIONAL CONTACT SURGERY BURAK OZBAGCI Abstract. We construct an open book decomposition compatible with a contact
More informationHiggs Bundles and Character Varieties
Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationDivision Algebras and Parallelizable Spheres III
Division Algebras and Parallelizable Spheres III Seminar on Vectorbundles in Algebraic Topology ETH Zürich Ramon Braunwarth May 8, 2018 These are the notes to the talk given on April 23rd 2018 in the Vector
More informationCOMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY
COMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY MARK MCLEAN arxiv:1109.4466v1 [math.sg] 21 Sep 2011 Abstract. For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic
More informationAn introduction to calculus of functors
An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about
More information