Drawing: Prof. Karl Heinrich Hofmann
|
|
- Claud Garrison
- 5 years ago
- Views:
Transcription
1 Drawing: Prof. Karl Heinrich Hofmann 1
2 2 Sylvester s Law of Inertia A demonstration of the theorem that every homogeneous quadratic polynomial is reducible by real orthogonal substitutions to the form of a sum of positive and negative squares. Philosophical Magazine IV, (1852)
3 Symmetric and symplectic forms over R 3 Let ɛ = +1 or 1. An ɛ-symmetric form (K, φ) is a finite dimensional real vector space K together with a bilinear pairing such that φ : K K R ; (x, y) φ(x, y) φ(x, y) = ɛφ(y, x) R. The pairing φ can be identified with the adjoint linear map to the dual vector space φ : K K such that φ = ɛφ. = Hom R (K, R) ; x (y φ(x, y)) The form (K, φ) is nonsingular if φ : K K is an isomorphism. A 1-symmetric form is called symmetric. A ( 1)-symmetric form is called symplectic.
4 4 Lagrangians and hyperbolic forms I. Definition A lagrangian of a nonsingular form (K, φ) is a subspace L K such that L = L, that is L = {x K φ(x, y) = 0 for all y L}. Definition The hyperbolic ɛ-symmetric form is defined for any finite-dimensional real vector space L by ( ) 0 1 H ɛ (L) = (L L, φ = ), ɛ 0 φ : L L L L R ; ((x, f ), (y, g)) g(x) + ɛf (y) with lagrangian L. The graph of a ( ɛ)-symmetric form (L, λ) is the lagrangian of H ɛ (L) Γ (L,λ) = {(x, λ(x)) x L} L L.
5 5 Lagrangians and hyperbolic forms II. Proposition The inclusion L K of a lagrangian in a nonsingular ɛ-symmetric form (K, φ) extends to an isomorphism H ɛ (L) = (K, φ). Example For any nonsingular ɛ-symmetric form (K, φ) the inclusion of the diagonal lagrangian in (K, φ) (K, φ) : K K K ; x (x, x) extends to the isomorphism φ φ 1 : H ɛ(k) 1 2 = (K, φ) (K, φ).
6 6 The classification of symmetric forms over R Proposition Every symmetric form (K, φ) is isomorphic to (R, 1) (R, 1) (R, 0) p q r with p + q + r = dim R (K). Nonsingular if and only if r = 0. Two forms are isomorphic if and only if they have the same p, q, r. Definition The signature (or the index of inertia) of (K, φ) is σ(k, φ) = p q Z. Proposition The following conditions on a nonsingular form (K, φ) are equivalent: σ(k, φ) = 0, that is p = q, (K, φ) admits a lagrangian L, (K, φ) is isomorphic to (R, 1) (R, 1) = H + (R p ). p p
7 The classification of symplectic forms over R 7 Theorem Every symplectic form (K, φ) is isomorphic to H (R p ) r (R, 0) with 2p + r = dim R (K). Nonsingular if and only if r = 0. Two forms are isomorphic if and only if they have the same p, r. Proposition Every nonsingular symplectic form (K, φ) admits a lagrangian. Proof By induction on dim R (K). For every x K have φ(x, x) = 0. If x 0 K the linear map K R ; y φ(x, y) is onto, so there exists y K with φ(x, y) = 1 R. The subform (Rx Ry, φ ) is isomorphic to H (R), and with dim R (K ) = dim R (K) 2. (K, φ) = H (R) (K, φ )
8 8 Poincaré duality H.P. Analysis Situs and its Five Supplements ( ) (English translation by John Stillwell, 2009)
9 The ( ) n -symmetric form of a 2n-dimensional manifold Manifolds will be oriented. Homology and cohomology will be with R-coefficients. The intersection form of a 2n-dimensional manifold with boundary (M, M) is the ( ) n -symmetric form given by the evaluation of the cup product on the fundamental class [M] H 2n (M, M) ( H n (M, M), φ M : (x, y) x y, [M] ). By Poincaré duality and universal coefficient isomorphisms H n (M, M) = H n (M), H n (M, M) = H n (M, M) the adjoint linear map φ M fits into an exact sequence... H n ( M) H n (M) φ M H n (M, M) H n 1 ( M).... The isomorphism class of the form is a homotopy invariant of (M, M). If M is closed, M =, then (H n (M, M), φ M ) is nonsingular. The intersection form of S n S n is H ( ) n(r). 9
10 The lagrangian of a (2n + 1)-dimensional manifold with boundary Proposition If (N 2n+1, M 2n ) is a (2n + 1)-dimensional manifold with boundary then L = ker(h n (M) H n (N)) = im(h n (N) H n (M)) H n (M) is a lagrangian of the ( ) n -symmetric intersection form (H n (M), φ M ). Proof Consider the commutative diagram 10 H n (N) H n (M) H n+1 (N, M) = φ M = = H n+1 (N, M) H n (M) H n (N) with H n (N) = H n+1 (N, M), H n+1 (N, M) = H n (N) the Poincaré-Lefschetz duality isomorphisms.
11 The signature of a manifold I. Analisis situs combinatorio H.Weyl, Rev. Mat. Hispano-Americana 5, (1923) 11 Published in Spanish in South America to spare the author the shame of being regarded as a topologist.
12 The signature of a manifold II. The signature of a 4k-dimensional manifold with boundary (M, M) is σ(m) = σ(h 2k (M, M), φ M ) Z. Theorem (Thom, 1954) If a 4k-dimensional manifold M is the boundary M = N of a (4k + 1)-dimensional manifold N then σ(m) = σ(h 2k (M), φ M ) = 0 Z. Cobordant manifolds have the same signature. 12 The signature map σ : Ω 4k Z is onto for k 1, with σ(c P 2k ) = 1 Z. Isomorphism for k = 1.
13 Novikov additivity of the signature 13 Let M 4k be a closed 4k-dimensional manifold which is a union of 4k-dimensional manifolds with boundary M 1, M 2 M 4k = M 1 M 2 with intersection a separating hypersurface (M 1 M 2 ) 4k 1 = M 1 = M 2 M. M 1 M 2 M 1 \ M 2 Theorem (N., 1967) The union has signature σ(m) = σ(m 1 ) + σ(m 2 ) Z.
14 Formations Definition An ɛ-symmetric formation (K, φ; L 1, L 2 ) is a nonsingular ɛ-symmetric form (K, φ) with an ordered pair of lagrangians L 1, L 2. Example The boundary of a ( ɛ)-symmetric form (L, λ) is the ɛ-symmetric formation (L, λ) = (H ɛ (L); L, Γ (L,λ) ) with Γ (L,λ) = {(x, λ(x)) x L} the graph lagrangian of H ɛ (L). Definition (i) An isomorphism of ɛ-symmetric formations f : (K, φ; L 1, L 2 ) (K, φ ; L 1, L 2 ) is an isomorphism of forms f : (K, φ) (K, φ ) such that f (L 1 ) = L 1, f (L 2) = L 2. (ii) A stable isomorphism of ɛ-symmetric formations [f ] : (K, φ; L 1, L 2 ) (K, φ ; L 1, L 2 ) is an isomorphism of the type f : (K, φ; L 1, L 2 ) (H ɛ (L); L, L ) (K, φ ; L 1, L 2) (H ɛ (L ); L, L ). Two formations are stably isomorphic if and only if dim R (L 1 L 2 ) = dim R (L 1 L 2). 14
15 Formations and automorphisms of forms Proposition Given a nonsingular ɛ-symmetric form (K, φ), a lagrangian L, and an automorphism α : (K, φ) (K, φ) there is defined an ɛ-symmetric formation (K, φ; L, α(l)). Proposition For any formation (K, φ; L 1, L 2 ) there exists an automorphism α : (K, φ) (K, φ) such that α(l 1 ) = L 2. Proof The inclusions (L i, 0) (K, φ) (i = 1, 2) extend to isomorphisms f i : H ɛ (L i ) = (K, φ). Since dim R (L 1 ) = dim R (H)/2 = dim R (L 2 ) there exists an isomorphism g : L 1 = L2. The composite automorphism f1 1 α : (K, φ) h H ɛ (L 1 ) f 2 = H ɛ (L 2 ) = (K, φ) = 15 is such that α(l 1 ) = L 2, where ( ) g 0 h = 0 (g ) 1 : H ɛ (L 1 ) = H ɛ (L 2 ).
16 The ( ) n -symmetric formation of a (2n + 1)-dimensional manifold Proposition Let N 2n+1 be a closed (2n + 1)-dimensional manifold. 16 N 1 N 2 M A separating hypersurface M 2n N = N 1 M N 2 determines a ( ) n -symmetric formation (K, φ; L 1, L 2 )=(H n (M), φ M ; im(h n (N 1 ) H n (M)), im(h n (N 2 ) H n (M))) If H r (M) H r (N 1 ) H r (N 2 ) is onto for r = n + 1 and one-one for r = n 1 then L 1 L 2 = H n (N) = H n+1 (N), H/(L 1 +L 2 ) = H n+1 (N) = H n (N). The stable isomorphism class of the formation is a homotopy invariant of N. If N = P for some P 2n+2 the class includes (H (P), φ ).
17 17 The triple signature Definition (Wall 1969) The triple signature of lagrangians L 1, L 2, L 3 in a nonsingular symplectic form (K, φ) is σ(l 1, L 2, L 3 ) = σ(l 123, λ 123 ) Z with (L 123, λ 123 ) the symmetric form defined by L 123 = ker(l 1 L 2 L 3 K), 0 λ 12 λ 13 λ 123 = λ 123 = λ 21 0 λ 23 : K K, λ 31 λ 32 0 λ ij = λ ji : L j K φ K L i. Motivation A stable isomorphism of formations [f ] : (K, φ; L 1, L 2 ) (K, φ; L 2, L 3 ) (K, φ; L 3, L 1 ) (L 123, λ 123 )
18 M = M1 [ M2 [ M3 Wall non-additivity for M 4k = M 1 M 2 M 3 I. Let M 4k be a closed 4k-dimensional manifold which is a triple union M 4k = M 1 M 2 M 3 of 4k-dimensional manifolds with boundary M 1, M 2, M 3 such that the double intersections M 4k 1 ij = M i M j (1 i < j 3) are codimension 1 submanifolds of M. The triple intersection M123 4k 2 = M 1 M 2 M 3 is required to be a codimension 2 submanifold of M, with M 1 = (M 2 M23 M 3 ) = M 12 M123 M 13 etc. ; 18 M12 M1 M2 M123 M13 M23 ; M3 ;
19 19 Wall non-additivity for M 4k = M 1 M 2 M 3 II. Theorem (W. Non-additivity of the signature, Invent. Math. 7, (1969)) The signature of a triple union M = M 1 M 2 M 3 of 4k-dimensional manifolds with boundary is σ(m) = σ(m 1 ) + σ(m 2 ) + σ(m 3 ) + σ(l 1, L 2, L 3 ) Z with σ(l 1, L 2, L 3 ) the triple signature of the three lagrangians L i = im(h 2k (M jk, M 123 ) K) K = H 2k 1 (M 123 ) in the symplectic intersection form of M 123 (K, φ) = (H 2k 1 (M 123 ), φ M123 ).
20 Wall non-additivity for M 4k = M 1 M 2 M 3 III. 20 Idea of proof σ(l 1, L 2, L 3 ) = σ(n) Z is the signature of a manifold neighbourhood (N 4k, N) of M 12 M 13 M 13 M N = (M 12 M 23 M 13 ) D 1 (M 123 D 2 ). M 12 D 1 M 0 1 M 0 2 M 123 D 2 M 13 D 1 M 23 D 1 M 0 3
21 The space of lagrangians Λ(n) 21 Definition For n 1 let Λ(n) be the spaces of lagrangians L H (R n ). Use the complex structure on H (R n ) J : R n R n R n R n ; (x, y) ( y, x) to associate to every lagrangian L Λ(n) a canonical complement JL Λ(n) with L JL = R n R n. For every L Λ(n) there exists a unitary matrix A U(n) such that A(R n {0}) = L Λ(n). If A U(n) is another such unitary matrix then ( ) (A ) 1 B 0 A = 0 B t (B O(n)) with (b jk ) t = (b kj ) the transpose.
22 Maslov index : π 1 (Λ(n)) = Z Proposition (Arnold, 1967) (i) The function U(n)/O(n) Λ(n) : A A(R n {0}) is a diffeomorphism. Λ(n) is a compact manifold of dimension dim Λ(n) = dim U(n) dim O(n) = n 2 n(n 1) n(n + 1) =. 2 2 The graphs {Γ (R n,φ) φ = φ} Λ(n) define a chart at R n Λ(n). (ii) The square of the determinant function det 2 : Λ(n) S 1 ; L = A(R n {0}) det(a) 2 induces the Maslov index isomorphism det 2 = : π 1 (Λ(n)) π 1 (S 1 ) = Z. Proposition (Kashiwara and Schapira, 1992) The triple signature σ(l 1, L 2, L 3 ) Z of L 1, L 2, L 3 Λ(n) is the Maslov index of a loop S 1 Λ(n) passing through L 1, L 2, L 3. 22
23 23 The algebraic η-invariant Definition/Proposition (Atiyah-Patodi-Singer 1974, Cappell-Lee-Miller 1994, Bunke 1995) (i) The algebraic η-invariant of L 1, L 2 Λ(n) is η(l 1, L 2 ) = n j=1,θ j 0 (1 2θ j /π) R with θ 1, θ 2,..., θ n [0, π) such that ±e iθ 1, ±e iθ 2,..., ±e iθn are the eigenvalues of any A U(n) with A(L 1 ) = L 2. (ii) The algebraic η-invariant is a cocycle for the triple index of L 1, L 2, L 3 Λ(n) σ(l 1, L 2, L 3 ) = η(l 1, L 2 ) + η(l 2, L 3 ) + η(l 3, L 1 ) Z R.
24 The real signature I. Let M be a 4k-dimensional manifold with a decomposed boundary M = N 1 P N 2, where P M is a separating codimension 1 submanifold. Let (H 2k 1 (P), φ P ) be the nonsingular symplectic intersection form, and n = dim R (H 2k 1 (P))/2. Given a choice of isomorphism J : (H 2k 1 (P), φ P ) = H (R n ) (or just a complex structure on (H 2k 1 (P), φ P )) define the real signature using the lagrangians σ J (M, N 1, N 2, P) = σ(m) + η(l 1, L 2 ) R L j = ker(h 2k 1 (P) H 2k 1 (N j )) (H 2k 1 (P), φ P ). Proposition The real signature is additive σ J (M N2 M ; N 1, N 3, P) = σ J (M; N 1, N 2, P) + σ J (M ; N 2, N 3, P) R. 24
25 The real signature II. Proof Apply the Wall non-additivity formula to the union M M (M N2 M ) = ((M N2 M ) I ), which is an (un)twisted double with signature σ = 0. ; 25 N2 M M 0 P N1 N3 ; M [ N2 M 0 ; Note Analogue of the additivity of M L-genus = σ(m) + η( M) R in the Atiyah-Patodi-Singer signature theorem. Note In general σ J (M; N 1, N 2, P) R depends on the choice of complex structure J on (H 2k 1 (P), φ P ).
26 Real and complex vector bundles 26 In view of the fibration Λ(n) = U(n)/O(n) BO(n) BU(n) Λ(n) classifies real n-plane bundles β with a trivialisation δβ : C β = ɛ n of the complex n-plane bundle C β. The canonical real n-plane bundle γ over Λ(n) is E(γ) = {(L, x) L Λ(n), x L}. The complex n-plane bundle C γ E(C γ) = {(L, z) L Λ(n), z C R L} is equipped with the canonical trivialisation δγ : C γ = ɛ n defined by δγ : E(C γ) = E(ɛ n ) = Λ(n) C n ; (L, z) (L, (x, y)) if z = (x, y) = x + iy C R L = L JL = C n.
27 The Maslov index, whichever way you slice it! I. The lagrangians L Λ(1) are parametrized by θ R L(θ) = {(rcos θ, rsin θ) r R} R R with indeterminacy L(θ) = L(θ + π). The map det 2 is a diffeomorphism. The canonical R-bundle γ over Λ(1) : Λ(1) = U(1)/O(1) S 1 ; L(θ) e 2iθ E(γ) = {(L, x) L Λ(1), x L} is nontrivial = infinite Möbius band. The induced C-bundle over Λ(1) E(C R γ) = {(L, z) L Λ(1), z C R L} is equipped with the canonical trivialisation δγ : C R γ = ɛ defined by = δγ : E(C R γ) E(ɛ) = Λ(1) C ; (L, z) = (L(θ), (x + iy)(cos θ, sin θ)) (L(θ), (x + iy)e iθ ). 27
28 The Maslov index, whichever way you slice it! II. Given a bagel B = S 1 D 2 R 3 and a map λ : S 1 Λ(1) = S 1 slice B along C = {(x, y) B y λ(x)}. The slicing line (x, λ(x)) B is the fibre over x S 1 of the pullback [ 1, 1]-bundle [ 1, 1] C = D(λ γ) S 1 with boundary (where the knife goes in and out of the bagel) C = {(x, y) C y λ(x)} a double cover of S 1. There are two cases: C is a trivial [ 1, 1]-bundle over S 1 (i.e. an annulus), with C two disjoint circles, which are linked in R 3. The complement B\C has two components, with the same linking number. C is a non trivial [ 1, 1]-bundle over S 1 (i.e. a Möbius band), with C a single circle, which is self-linked in R 3. The complement B\C is connected, with the same self-linking number (= linking of C and S 1 {(0, 0)} C R 3 ). 28
29 The Maslov index, whichever way you slice it! III. 29 By definition, Maslov index(λ) = degree(λ) Z. degree : π 1 (S 1 ) Z is an isomorphism, so it may be assumed that λ : S 1 Λ(1) ; e 2iθ L(nθ) with Maslov index = n 0. The knife is turned through a total angle nπ as it goes round B. It may also be assumed that the bagel B is horizontal. The projection of C onto the horizontal cross-section of B consists of n = λ 1 (L(0)) points. For n > 0 this corresponds to the angles θ = jπ/n [0, π) (0 j n 1) where L(nθ) = L(0), i.e. sin nθ = 0. The two cases are distinguished by: If n = 2k then C is a union of two disjoint linked circles in R 3. Each successive pair of points in the projection contributes 1 to the linking number n/2 = k. If n = 2k + 1 then C is a single self-linked circle in R 3. Each point in the projection contributes 1 to the self-linking number n = 2k + 1. (Thanks to Laurent Bartholdi for explaining this case to me.)
30 Maslov index = 0, C = annulus, linking number = 0 30 λ : S 1 S 1 ; z 1.
31 31 Maslov index = 1, C = Möbius band, self-linking number = 1 (Clara Löh (05/2009) clara.loeh@uni-muenster.de) λ : S 1 S 1 ; z z. Thanks to Clara Löh for this picture.
32 32 Maslov index = 2, C = annulus, linking number = 1 λ : S 1 S 1 ; z z 2.
AN 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 information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationThe Maslov Index. Seminar Series. Edinburgh, 2009/10
The Maslov Index Seminar Series Edinburgh, 2009/10 Contents 1 T. Thomas: The Maslov Index 3 1.1 Introduction: The landscape of the Maslov index............... 3 1.1.1 Symplectic vs. projective geometry...................
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 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 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 informationLecture VI: Projective varieties
Lecture VI: Projective varieties Jonathan Evans 28th October 2010 Jonathan Evans () Lecture VI: Projective varieties 28th October 2010 1 / 24 I will begin by proving the adjunction formula which we still
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 informationDIFFEOMORPHISMS OF SURFACES AND SMOOTH 4-MANIFOLDS
DIFFEOMORPHISMS OF SURFACES AND SMOOTH 4-MANIFOLDS SDGLDTS FEB 18 2016 MORGAN WEILER Motivation: Lefschetz Fibrations on Smooth 4-Manifolds There are a lot of good reasons to think about mapping class
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 informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
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 informationEXACT BRAIDS AND OCTAGONS
1 EXACT BRAIDS AND OCTAGONS Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Lewisfest, Dublin, 23 July 2009 Organized by Eva Bayer-Fluckiger, David Lewis and Andrew Ranicki. 2 3 Exact braids
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationAdditivity and non-additivity for perverse signatures
Additivity and non-additivity for perverse signatures Greg Friedman Texas Christian University Eugenie Hunsicker Loughborough University November 19, 2009 2000 Mathematics Subject Classification: Primary:
More informationLecture XI: The non-kähler world
Lecture XI: The non-kähler world Jonathan Evans 2nd December 2010 Jonathan Evans () Lecture XI: The non-kähler world 2nd December 2010 1 / 21 We ve spent most of the course so far discussing examples of
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
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 informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
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 informationLinear Algebra: Matrix Eigenvalue Problems
CHAPTER8 Linear Algebra: Matrix Eigenvalue Problems Chapter 8 p1 A matrix eigenvalue problem considers the vector equation (1) Ax = λx. 8.0 Linear Algebra: Matrix Eigenvalue Problems Here A is a given
More informationAdditivity and non-additivity for perverse signatures
Additivity and non-additivity for perverse signatures Greg Friedman Texas Christian University Eugenie Hunsicker Loughborough University arxiv:0911.3915v2 [math.gt] 2 Mar 2011 March 3, 2011 2000 Mathematics
More informationNONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008
1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
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 informationFormal groups laws and genera*
Bulletin of the Manifold Atlas (2011) Formal groups laws and genera* TARAS PANOV Abstract. The article reviews role of formal group laws in bordism theory. 55N22, 57R77 1. Introduction The theory of formal
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationThese slides available at joyce/talks.html
Kuranishi (co)homology: a new tool in symplectic geometry. II. Kuranishi (co)homology Dominic Joyce Oxford University, UK work in progress based on arxiv:0707.3572 v5, 10/08 summarized in arxiv:0710.5634
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
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 informationarxiv: v1 [math.sg] 6 Nov 2015
A CHIANG-TYPE LAGRANGIAN IN CP ANA CANNAS DA SILVA Abstract. We analyse a simple Chiang-type lagrangian in CP which is topologically an RP but exhibits a distinguishing behaviour under reduction by one
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 informationExotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017
Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More informationIntroduction To K3 Surfaces (Part 2)
Introduction To K3 Surfaces (Part 2) James Smith Calf 26th May 2005 Abstract In this second introductory talk, we shall take a look at moduli spaces for certain families of K3 surfaces. We introduce the
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationThe Strominger Yau Zaslow conjecture
The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex
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 2: SYMPLECTIC VECTOR BUNDLES
LECTURE 2: SYMPLECTIC VECTOR BUNDLES WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic Vector Spaces Definition 1.1. A symplectic vector space is a pair (V, ω) where V is a finite dimensional vector space (over
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
More informationTopological Field Theories in Homotopy Theory I
Topological Field Theories in Homotopy Theory I Ulrike Tillmann, Oxford 2016 V Congreso Latinoamericano de Matemáticos 1 Manifolds M is a manifold of dimension d if locally it is diffeomorphic to R d or
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 informationTopological K-theory
Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
More informationTHE EXISTENCE PROBLEM
THE EXISTENCE PROBLEM Contact Geometry in High Dimensions Emmanuel Giroux CNRS ENS Lyon AIM May 21, 2012 Contact forms A contact form on a manifold V is a non-vanishing 1-form α whose differential dα at
More 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 informationEMBEDDINGS OF TOPOLOGICAL MANIFOLDS
EMBEDDINGS OF TOPOLOGICAL MANIFOLDS ERIK KJÆR PEDERSEN It is the purpose of this paper to combine the methods of [8] and [9] to prove Haefliger type embedding theorems for topological manifolds. We prove
More informationSTRONGLY ALGEBRAIC REALIZATION OF DIHEDRAL GROUP ACTIONS
STRONGLY ALGEBRAIC REALIZATION OF DIHEDRAL GROUP ACTIONS KARL HEINZ DOVERMANN Abstract. Let D 2q be the dihedral group with 2q elements and suppose that q is odd. Let M a closed smooth D 2q manifold. Then
More informationSYMPLECTIC GEOMETRY: LECTURE 1
SYMPLECTIC GEOMETRY: LECTURE 1 LIAT KESSLER 1. Symplectic Linear Algebra Symplectic vector spaces. Let V be a finite dimensional real vector space and ω 2 V, i.e., ω is a bilinear antisymmetric 2-form:
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 informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
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 informationNOTES ON FIBER BUNDLES
NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement
More informationBranching rules of unitary representations: Examples and applications to automorphic forms.
Branching rules of unitary representations: Examples and applications to automorphic forms. Basic Notions: Jerusalem, March 2010 Birgit Speh Cornell University 1 Let G be a group and V a vector space.
More informationThe relationship between framed bordism and skew-framed bordism
The relationship between framed bordism and sew-framed bordism Pyotr M. Ahmet ev and Peter J. Eccles Abstract A sew-framing of an immersion is an isomorphism between the normal bundle of the immersion
More informationLecture 2. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY APPENDIX A: ALGEBRAIC TOPOLOGY WILLIAM FULTON NOTES BY DAVE ANDERSON In this appendix, we collect some basic facts from algebraic topology pertaining to the
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 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 Classification of (n 1)-connected 2n-manifolds
The Classification of (n 1)-connected 2n-manifolds Kyler Siegel December 18, 2014 1 Prologue Our goal (following [Wal]): Question 1.1 For 2n 6, what is the diffeomorphic classification of (n 1)-connected
More informationAbstract. Jacobi curves are far going generalizations of the spaces of \Jacobi
Principal Invariants of Jacobi Curves Andrei Agrachev 1 and Igor Zelenko 2 1 S.I.S.S.A., Via Beirut 2-4, 34013 Trieste, Italy and Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia; email:
More informationCOBORDISM OF DISK KNOTS
ISRAEL JOURNAL OF MATHEMATICS 163 (2008), 139 188 DOI: 10.1007/s11856-008-0008-3 COBORDISM OF DISK KNOTS BY Greg Friedman Department of Mathematics, Texas Christian University 298900 Fort Worth, TX 76129
More informationOxford 13 March Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall
Oxford 13 March 2017 Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall In 1956 Milnor amazed the world by giving examples of smooth manifolds homeomorphic but not diffeomorphic
More informationCHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.
CHAPTER 3 Gauss map In this chapter we will study the Gauss map of surfaces in R 3. 3.1. Surfaces in R 3 Let S R 3 be a submanifold of dimension 2. Let {U i, ϕ i } be a DS on S. For any p U i we have a
More informationProblem set 2. Math 212b February 8, 2001 due Feb. 27
Problem set 2 Math 212b February 8, 2001 due Feb. 27 Contents 1 The L 2 Euler operator 1 2 Symplectic vector spaces. 2 2.1 Special kinds of subspaces....................... 3 2.2 Normal forms..............................
More informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More informationSeminar on Motives Standard Conjectures
Seminar on Motives Standard Conjectures Konrad Voelkel, Uni Freiburg 17. January 2013 This talk will briefly remind you of the Weil conjectures and then proceed to talk about the Standard Conjectures on
More informationA LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM CONTENTS
A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM TIMOTHY E. GOLDBERG ABSTRACT. This is a handout for a talk given at Bard College on Tuesday, 1 May 2007 by the author. It gives careful versions
More informationEta Invariant and Conformal Cobordism
Annals of Global Analysis and Geometry 27: 333 340 (2005) C 2005 Springer. 333 Eta Invariant and Conformal Cobordism XIANZHE DAI Department of Mathematics, University of California, Santa Barbara, California
More informationarxiv:math.at/ v1 22 Sep 1999
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Xxxx XXXX, Pages 000 000 S 0002-9947(XX)0000-0 HOMOLOGY MANIFOLD BORDISM HEATHER JOHNSTON AND ANDREW RANICKI arxiv:math.at/9909130
More informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
More informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
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 informationON r-neighbourly SUBMANIFOLDS IN R N. Victor A. Vassiliev. 1. Introduction. Let M be a k-dimensional manifold, and r a natural number.
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 11, 1998, 273 281 ON r-neighbourly SUBMANIFOLDS IN R N Victor A. Vassiliev (Submitted by A. Granas) To Jürgen Moser
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 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 informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationTopic Proposal Applying Representation Stability to Arithmetic Statistics
Topic Proposal Applying Representation Stability to Arithmetic Statistics Nir Gadish Discussed with Benson Farb 1 Introduction The classical Grothendieck-Lefschetz fixed point formula relates the number
More informationERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY
ERRATA FOR INTRODUCTION TO SYPLECTIC TOPOLOGY DUSA CDUFF AND DIETAR A. SALAON Abstract. This note corrects some typos and some errors in Introduction to Symplectic Topology (2nd edition, OUP 1998). In
More informationPoincaré Duality Angles on Riemannian Manifolds with Boundary
Poincaré Duality Angles on Riemannian Manifolds with Boundary Clayton Shonkwiler Department of Mathematics University of Pennsylvania June 5, 2009 Realizing cohomology groups as spaces of differential
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationTitle fibring over the circle within a co. Citation Osaka Journal of Mathematics. 42(1)
Title The divisibility in the cut-and-pas fibring over the circle within a co Author(s) Komiya, Katsuhiro Citation Osaka Journal of Mathematics. 42(1) Issue 2005-03 Date Text Version publisher URL http://hdl.handle.net/11094/9915
More informationStratified surgery and the signature operator
Stratified surgery and the signature operator Paolo Piazza (Sapienza Università di Roma). Index Theory and Singular structures. Toulouse, June 1st 2017. Based on joint work with Pierre Albin (and also
More informationCYCLES, SUBMANIFOLDS, AND STRUCTURES ON NORMAL BUNDLES
CYCLES, SUBMANIFOLDS, AND STRUCTURES ON NORMAL BUNDLES C. BOHR, B. HANKE, AND D. KOTSCHICK Abstract. We give explicit examples of degree 3 cohomology classes not Poincaré dual to submanifolds, and discuss
More informationSPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction
SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS C. KEARTON AND S.M.J. WILSON Abstract. A necessary and sufficient algebraic condition is given for a Z- torsion-free simple q-knot, q >, to be the r-fold branched
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 informationX G X by the rule x x g
18. Maps between Riemann surfaces: II Note that there is one further way we can reverse all of this. Suppose that X instead of Y is a Riemann surface. Can we put a Riemann surface structure on Y such that
More informationMASLOV INDEX. Contents. Drawing from [1]. 1. Outline
MASLOV INDEX J-HOLOMORPHIC CURVE SEMINAR MARCH 2, 2015 MORGAN WEILER 1. Outline 1 Motivation 1 Definition of the Maslov Index 2 Questions Demanding Answers 2 2. The Path of an Orbit 3 Obtaining A 3 Independence
More informationEva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February
From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February
More information