Lecture Fish 3. Joel W. Fish. July 4, 2015

Size: px
Start display at page:

Download "Lecture Fish 3. Joel W. Fish. July 4, 2015"

Transcription

1 Lecture Fish 3 Joel W. Fish July 4, 2015 Contents 1 LECTURE Recap: M-polyfolds with boundary An Implicit Function Theorem Strong bundles

2 1 LECTURE 1.1 Recap: 1. Two days ago sc-calculus (a) Chain rule holds (b) Action via reparametrization is sc-smooth 2. Yesterday charts near broken/nodal maps (a) sc-smooth retracts (b) local models for M-polyfolds 3. Today (a) Establish M-polyfolds with boundary and corners (b) Establish an implicit function theorm 1.2 M-polyfolds with boundary Idea: Roughly, our moduli spaces will arise as subsets of a space locally modeled on sc-retracts. Furthermore, most such moduli spaces with have boundary and/or corners, and we will want that boundary/corner structure induced from a boundary/corner structure on the sc-retract itself, which should in turn be induced from a boundary/corner structure in an sc-banach space. As such, we will need to spend some time discussing such boundary/corner structures in sc- Banach spaces (called partial quadrants), a measure of which boundary strata in which a point is contained (called the degeneracy index), and retractions which are well-behaved with respect to these structures (called tame sc-smooth retractions). Definition: A linear sc-isomorphism is a linear sc 0 -map T : E F between sc-banach spaces, which is an isomorphism on every level. Note: linearity guarantees such a map is in fact sc. Definition: A partial quadrant in an sc-banach space E is a closed convex subset C E such that there exists an linear sc-isomorphism T : E R k W satisfying T (C) = [0, ) k W. Observation: The sc-calculus extends to partial quadrants. Definition: An sc-smooth retract is the tuple (O, C, E) where E an sc-banach space, C E is a partial quadrant, and O is the image of an sc-smooth retract r : U U where U C is relatively open. 2

3 Definition: An M-polyfold (possibly with boundary and corners) is the same as our previous definition, except the charts are of the form (V, φ, (O, C, E)), with (O, C, E) an sc-smooth retract as above. Definition: (degeneracy index) Let C E be a partial quadrant in an sc- Banach space, and choose a linear sc-isomorphism T : E R n W for which T (C) = [0, ) k W. If x C then T (x) = (a 1,..., a k, w) [0, ) k W and we define the degeneracy index d C : C N 0 by d C (x) := #{i {1,..., k} : a i = 0}. Note: For a chart (V, φ, (O, C, E)) for an M-polyfold X, and for x V M, we define the degeneracy index at x associated to this chart by d(x, v, φ, (O, C, E)) := d C (φ(x)). Definition: The degeneracy d X (x) at the point x X is the minimum of all numbers d(x, V, φ, (O, C, E) where (V, φ, (O, C, E)) varies over all smooth charts containing the point x. The degeneracy index of the M-polyfold X is the map d X N 0. Proposition: If X and Y are M-polyfolds and if f : (U, x) (V, y) is a local sc-diffeomorphism around the points x X and f(x) = y Y, then d X (x) = d Y (f(x)). Conclusion: The sc-calculus on retracts (with boundary and corners) detects boundary/corner strata. In other words, M-polyfolds have well-defined boundary/corner structure. Concern: A finite dimensional manifold with boundary and corners should have the property that its boundary is again a manifold with boundary and corners. Similarly, the zero set of a generic smooth section of a bundle over a manifold should be a submanifold with boundary and corner structure induced 3

4 from the ambient space. In order to gurantee similar results for M-polyfolds, we will need a more restrictive notion of retracts specifically a tame sc-smooth retract. Definition Consider a partial quadrant C E of a sc-banach space. 1. We define the set of boundary points of C to be boundary points of C = {e C : d C (e) = 1} = A 1 A k with each A i a connected component of the set of boundary points of C. 2. Each A i is contained in a unique smallest linear subspace denoted by f i ; we call such f i an extended face. 3. Let F := {f 1,..., f k } denote the set of all extended faces of C. 4. Given f F we let H f denote the closed half sub-space of E which contains C f. 4

5 Notation: For an sc-retract (O, C, E), and a smooth point x O, we write F(x) := {f F : x f}. Definition: The minimal linear subspace associated with x C is defined by E x := f. f F(x) Geometrically the minimal linear subspace E x for x C is the set of tangent vectors at a point which are tangent to the stratum {y E : d C (x) = d C (y)}. Definition: The reduced tangent space T R x O is defined as the following subset of the tangent space at x, T R x O = T x O E x. Definition Let r : U U be an sc-smooth retraction defined on a relatively open subset U of a partial quadrant C in the sc-banach space E. The sc-smooth retraction r is called a tame sc-retraction, if the following two conditions are satisfied. 1. d C (r(x)) = d C (x) for all x U. 2. At every smooth point x O := r(u), there exists an sc-subspace A E, such that E = T x O A and A E x. Definition A sc-smooth retract (O, C, E) is called a tame sc-smooth retract if O is the image of an sc-smooth tame retraction. Definition A tame M-polyfold X is an M-polyfold which possesses an equivalent sc-smooth atlas whose charts are all modeled on tame sc-smooth retracts. 1.3 An Implicit Function Theorem Theorem. Let P : Y X be a tame strong bundle, and f an sc-fredholm section having the property that at every point x in the solution set {y X : f(y) = 0}, the linearization f (x) : T x X Y x is surjective and the kernel ker(f (x)) is in good position to the partial cone C x X T x X. Then S is a sub-m-polyfold of X and the induced M-polyfold structure on S is equivalent to the structure of a smooth manifold with boundary and corners. Terms to define: 1. tame strong bundle postpone to the next section 2. sc-fredholm section tomorrow s lecture 5

6 3. partial cone the partial cone is defined as C x = f F(x) 4. good position Let C E be a partial quadrant in the sc-banach space E, and let N E be a finite dimensional sc-subspace of E. The subspace N is in good position to the partial quadrant C if the interior of N C in N is non-empty, and if N possesses a sc-compliment P, so that E = N P, which has the following property. There exists ɛ > 0 such that for pairs (n, p) N P satisfying p 0 ɛ n 0 the statements n C and n + p C are equivalent. H f 5. sub-m-polyfold Let X be an M-polyfold and let A be a subset of X. The subset A is called a sub-m-polyfold of X, if every a A possesses an open neighborhood V and a sc-smooth retraction r : V V such that 1.4 Strong bundles Motivation: r(v ) = A V. 1. A Fredholm operator is a linear map L : E F between Banach spaces, with closed range, and finite dimensional kernal and co-kernal. 6

7 2. Fredholm operators are stable under compact perturbations. In other words, for K : E F a compact linear operator, L + K : E F is Fredholm and Ind(L) = Ind(L + F ). 3. A smooth non-linear map f : E F is Fredholm, provided its linearization at each point is Fredholm. 4. The linearized Cauchy-Riemann operator is a Fredholm map from sections of regularity H k+1 to those of regularity H k. And since for these spaces H k+1 compactly embeds into H k, the natural choice of compact perturbation of the Cauchy-Riemann operator is by adding a lower order term, the linearization of which is a section from H k+1 to H k Since in applications the Cauchy-Riemann operator is a section of a bundle, in the sc-calculus the above observation gives rise to a pair of scstructures on local models for sc-bundles one of the form (H k+1 H k ) k Nk 2 of which the Fredholm operator will be a section, and (H k+1 H k+1 ) k Nk 2 of which our compact perturbations (i.e. lower order terms) will be a section. 6. This pair of sc-structures on the bundle is the essence of the notion of a strong bundle, made precise below. Definition: Let U C E where E is a sc-banach space, C is a partial quadrant, and U is a relatively open subset. If F is another sc-banach space, we then define U F to be the set U F equipped with the double filtration given by (U F ) m,k = U m F k for 0 k m + 1. We will view U F U as a trivial bundle. For i {0, 1}, we define the sc-banach spaces (U F )[i] by their filtrations: ( (U F )[i] ) m := U m F m+i for m 0. Question. What is going on here? Definition. A strong bundle map Φ : U F U F is a map which preserves the double filtration and is of the form Φ(u, h) = (φ(u), Γ(u, h)) where the map Γ is linear in h. In addition we demand that the maps are sc-smooth. Φ : (U F )[i] (U F )[i] 7

8 Definition. A strong bundle isomorphism is an invertible strong bundle map whose inverse is also a strong bundle map. Definition. A strong bundle retraction is a strong bundle map R : U F U F which satisfies R R = R. Note the map has the form R(u, h) = (r(u), Γ(u, h)) where r : U U is a sc-smooth retraction. We say R is a tame strong bundle retraction provided r is tame. Definition A (tame) local strong bundle retract is denoted by ( K, C F, E F ) where K C F is the image of a (tame) strong bundle retraction R : U F U F ; that is K = R(U F ). Note: The local strong bundle retract (K, C F, E F ) will often be abreviated by p : K O where O = r(u), R(u, h) = (r(u), Γ(u, h)), and p is the projection induced from the canonical projection U F U. Observation: K inherits the double filtration K m,k (m 0 and 0 k m+1), and the filtrations K[i] for i {0, 1} from U F. Furthermore the projection maps p : K[i] O are sc-smooth. Definition. A strong bundle chart for the bundle P : Y X is a tuple (Φ, P 1 (V ), K, U F ) where U C E is an open subset of the partial quadrant C in the sc-banach space E and F is a sc-banach space. Furthermore K = R(U F ) is the image of a strong bundle retraction R : U F U F of the form R(u, h) = (r(u), Γ(r, h)) where r : U U is an sc-smooth retraction onto the retract O = r(u) of (O, C, E) and Γ is linear in h. In addition, V X is an open subset of X, homeomorphic to the retract O by a homeomorphism φ : V O. In addition Φ : P 1 (V ) K is a homeomorphism from P 1 (V ) Y onto the retract K, covering the homeomorphism φ : V O, so the diagram P 1 (V ) V P φ Φ K O p (1) 8

9 commutes. The map Φ has the property that, in the fibers over x V, the map Φ : P 1 p 1 (φ(x)) is a bounded linear operator between Banach spaces. Definition Two strong bundle charts Φ : P 1 (V ) K and Φ : P 1 (V ) K satisfying V V are compatible, if the transition maps Φ Φ 1 [i] : Φ(P 1 (V V ))[i] Φ (P 1 (V V ))[i] are sc-diffeomorphisms for i = {0, 1}. Definition. Let X be an M-polyfold, let Y be a paracompact Hausdorff space, and let P : Y X be a continuous surjection. We say Y is a strong bundle over X provided it is equipped with an equivalence class of strong bundle atlases. 1. Two atlases are equivalent if their union is an atlas; 2. a strong bundle atlas consists of a collection of compatible charts Definition Given an sc-banach space E and a linear sc-subspace N E (for which N k = N E k ), we say P E is an sc-complement of N provided E k = N k P k for all k N; or more succinctly, E = N P as sc-banach spaces. Definition A sc-fredholm germ (f, x) of a tame strong bundle Y X satisfying f(x) = 0 is in good position if 1. f (x) : T x X Y x is surjective 2. if d X (x) 1 then ker(f (x)) T x X is in good position to the partial cone C x X in the tangent space T x X. Theorem. (Implicit Function Theorem) Let P : Y X be a tame strong bundle, and f an sc-fredholm section having the property that at every point x in the solution set {y X : f(y) = 0}, the linearization f (x) : T x X Y x is surjective and the kernel ker(f (x)) is in good position to the partial cone C x X T x X. Then S is a sub-m-polyfold of X and the induced M-polyfold structure on S is equivalent to the structure of a smooth manifold with boundary and corners. Theorem. Perturbation and Transversality: general position Theorem 5.18 or good position (Thm 5.19); also possibly Thm 5.27 Definition A section of the local strong bundle retract p : K O is a map f : O K satisfying p f = 1 O. The section is called sc-smooth provided f is a section of the bundle p : K[0] O, and called sc + -smooth if it is an sc-smooth section of the bundle p : K[1] O. Such sections have the form f(x) = (x, f(x)) O F, and we call the map f : O F the principal part of the section. 9

10 References [1] H. Hofer, K. Wysocki, and E. Zehnder, Polyfold and Fredholm Theory I: Basic Theory in M-Polyfolds, arxiv: [2], Sc-Smoothness, Retractions and New Models for Smooth Spaces, Dynamical Systems, vol. 28, October [3] Dusa McDuff and Dietmar Salamon, J-holomorphic curves and symplectic topology, 2nd ed., American Mathematical Society Colloquium Publications, vol. 52, American Mathematical Society, Providence, RI,

A General Fredholm Theory I: A Splicing-Based Differential Geometry

A General Fredholm Theory I: A Splicing-Based Differential Geometry A General Fredholm Theory I: A Splicing-Based Differential Geometry H. Hofer New York University USA E. Zehnder ETH-Zurich Switzerland December 20, 2006 K. Wysocki Penn State University USA 1 Introduction

More information

A General Fredholm Theory II: Implicit Function Theorems

A General Fredholm Theory II: Implicit Function Theorems A General Fredholm Theory II: Implicit Function Theorems H. Hofer New York University USA E. Zehnder ETH-Zurich Switzerland May 9, 2007 K. Wysocki Penn State University USA Contents 1 Introduction 1 2

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE FUNCTION THEOREM and SURFACES IN R n INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that

More information

274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan

274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan 274 Microlocal Geometry, Lecture 2 David Nadler Notes by Qiaochu Yuan Fall 2013 2 Whitney stratifications Yesterday we defined an n-step stratified space. Various exercises could have been but weren t

More information

arxiv: v8 [math.sg] 11 Aug 2015

arxiv: v8 [math.sg] 11 Aug 2015 SMOOTH KURANSH ATLASES WTH TRVAL SOTROPY DUSA MCDUFF AND KATRN WEHRHEM arxiv:1208.1340v8 [math.sg] 11 Aug 2015 Contents 1. ntroduction 2 2. Regularizations of holomorphic curve moduli spaces 6 2.1. Geometric

More information

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39) 2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ

More information

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 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 information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: 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 information

is holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts.

is holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts. RIEMANN SURFACES 2. Week 2. Basic definitions 2.1. Smooth manifolds. Complex manifolds. Let X be a topological space. A (real) chart of X is a pair (U, f : U R n ) where U is an open subset of X and f

More information

Integration and Manifolds

Integration and Manifolds Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability

More information

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f)) 1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

More information

A GENERAL FREDHOLM THEORY AND APPLICATIONS

A GENERAL FREDHOLM THEORY AND APPLICATIONS A GENERAL FREDHOLM THEORY AND APPLICATIONS H. HOFER The theory described here results from an attempt to find a general abstract framework in which various theories, like Gromov-Witten Theory (GW), Floer

More information

arxiv:math/ v1 [math.at] 2 Oct 2002

arxiv:math/ v1 [math.at] 2 Oct 2002 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 ON NORMAL STRATIFIED PSEUDOMANIFOLDS arxiv:math/0210022v1 [math.at] 2 Oct 2002 G. PADILLA Devoted

More information

J-holomorphic curves in symplectic geometry

J-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 information

On Normal Stratified Pseudomanifolds

On Normal Stratified Pseudomanifolds E extracta mathematicae Vol. 18, Núm. 2, 223 234 (2003) On Normal Stratified Pseudomanifolds G. Padilla Universidad Central de Venezuela, Escuela de Matemáticas, Facultad de Ciencias, Ciudad Universitaria,

More information

Morse-Bott Homology. Augustin Banyaga. David Hurtubise

Morse-Bott Homology. Augustin Banyaga. David Hurtubise Morse-Bott Homology (Using singular N-cube chains) Augustin Banyaga Banyaga@math.psu.edu David Hurtubise Hurtubise@psu.edu s u TM s z S 2 r +1 q 1 E u f +1 1 p Penn State University Park Penn State Altoona

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

LECTURE 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 information

Math 396. Bijectivity vs. isomorphism

Math 396. Bijectivity vs. isomorphism Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1

More information

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015 DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry

More information

1 Smooth manifolds and Lie groups

1 Smooth manifolds and Lie groups An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely

More information

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B

EXOTIC 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 information

LECTURE NOTES ON DIFFERENTIABLE MANIFOLDS

LECTURE NOTES ON DIFFERENTIABLE MANIFOLDS LECTURE NOTES ON DIFFERENTIABLE MANIFOLDS JIE WU Contents 1. Tangent Spaces, Vector Fields in R n and the Inverse Mapping Theorem 2 1.1. Tangent Space to a Level Surface 2 1.2. Tangent Space and Vectors

More information

Math 215B: Solutions 1

Math 215B: Solutions 1 Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an

More information

Let X be a topological space. We want it to look locally like C. So we make the following definition.

Let X be a topological space. We want it to look locally like C. So we make the following definition. February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on

More information

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

Lecture III: Neighbourhoods

Lecture III: Neighbourhoods Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In

More information

Symplectic geometry on moduli spaces of J-holomorphic curves

Symplectic geometry on moduli spaces of J-holomorphic curves Symplectic geometry on moduli spaces of J-holomorphic curves J. Coffey, L. Kessler, and Á. Pelayo Abstract Let M, ω be a symplectic manifold, and Σ a compact Riemann surface. We define a 2-form ω SiΣ on

More information

The d-orbifold programme. Lecture 3 of 5: D-orbifold structures on moduli spaces. D-orbifolds as representable 2-functors

The d-orbifold programme. Lecture 3 of 5: D-orbifold structures on moduli spaces. D-orbifolds as representable 2-functors The d-orbifold programme. Lecture 3 of 5: D-orbifold structures on moduli spaces. D-orbifolds as representable 2-functors Dominic Joyce, Oxford University May 2014 For the first part of the talk, see preliminary

More information

HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS

HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS j. differential geometry 58 (2001) 467-500 HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS CLAIRE DEBORD Abstract We give a new construction of Lie groupoids which is particularly well adapted to the generalization

More information

(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.

(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim. 0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested

More information

Notes by Maksim Maydanskiy.

Notes by Maksim Maydanskiy. SPECTRAL FLOW IN MORSE THEORY. 1 Introduction Notes by Maksim Maydanskiy. Spectral flow is a general formula or computing the Fredholm index of an operator d ds +A(s) : L1,2 (R, H) L 2 (R, H) for a family

More information

L19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1

L19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1 L19: Fredholm theory We want to understand how to make moduli spaces of J-holomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) October 16, 2015 1 Lecture 11 1.1 The closed graph theorem Definition 1.1. Let f : X Y be any map between topological spaces. We define its

More information

Chapter 1. Smooth Manifolds

Chapter 1. Smooth Manifolds Chapter 1. Smooth Manifolds Theorem 1. [Exercise 1.18] Let M be a topological manifold. Then any two smooth atlases for M determine the same smooth structure if and only if their union is a smooth atlas.

More information

Nodal symplectic spheres in CP 2 with positive self intersection

Nodal symplectic spheres in CP 2 with positive self intersection Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic

More information

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.

More information

Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds

Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Matias Dahl January 2004 1 Introduction In this essay we shall study the following problem: Suppose is a smooth -manifold, is a function,

More information

Geometry 2: Manifolds and sheaves

Geometry 2: Manifolds and sheaves Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,

More information

REAL AND COMPLEX SMOOTH MANIFOLDS

REAL AND COMPLEX SMOOTH MANIFOLDS CHAPTER 4 REAL AND COMPLEX SMOOTH MANIFOLDS Abridged version from Introduction to Modern Topology and Geometry by Anatole Katok and Alexey Sossinsky The notion of smooth or differentiable manifold is one

More information

B 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.

B 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 information

Determinant lines and determinant line bundles

Determinant lines and determinant line bundles CHAPTER Determinant lines and determinant line bundles This appendix is an exposition of G. Segal s work sketched in [?] on determinant line bundles over the moduli spaces of Riemann surfaces with parametrized

More information

Definition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.

Definition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p. 13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which

More information

DIFFERENTIAL GEOMETRY. LECTURE 12-13,

DIFFERENTIAL GEOMETRY. LECTURE 12-13, DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of

More information

121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality

121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality 121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof

More information

Hofer s Proof of the Weinstein Conjecture for Overtwisted Contact Structures Julian Chaidez

Hofer s Proof of the Weinstein Conjecture for Overtwisted Contact Structures Julian Chaidez Hofer s Proof of the Weinstein Conjecture for Overtwisted Contact Structures Julian Chaidez 1 Introduction In this paper, we will be discussing a question about contact manifolds, so let s start by defining

More information

An introduction to cobordism

An introduction to cobordism An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint

More information

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS. LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one

More information

Math 598 Feb 14, Geometry and Topology II Spring 2005, PSU

Math 598 Feb 14, Geometry and Topology II Spring 2005, PSU Math 598 Feb 14, 2005 1 Geometry and Topology II Spring 2005, PSU Lecture Notes 7 2.7 Smooth submanifolds Let N be a smooth manifold. We say that M N m is an n-dimensional smooth submanifold of N, provided

More information

CHAPTER 3 SUBMANIFOLDS

CHAPTER 3 SUBMANIFOLDS CHAPTER 3 SUBMANIFOLDS One basic notion that was not addressed in Chapter 1 is the concept of containment: When one manifold is a subset on a second manifold. This notion is subtle in a manner the reader

More information

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

DIFFERENTIAL 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 information

Applications of Polyfold Theory I: The Polyfolds of Gromov Witten Theory. H. Hofer K. Wysocki E. Zehnder

Applications of Polyfold Theory I: The Polyfolds of Gromov Witten Theory. H. Hofer K. Wysocki E. Zehnder arxiv:1107.2097v3 [math.sg] 4 Dec 2014 Applications of Polyfold Theory I: The Polyfolds of Gromov Witten Theory Author address: H. Hofer K. Wysocki E. Zehnder Institute for Advanced Study, USA E-mail address:

More information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1 ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

More information

1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3

1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3 Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces

More information

Exercises for Algebraic Topology

Exercises for Algebraic Topology Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via

More information

Qualifying Exams I, 2014 Spring

Qualifying Exams I, 2014 Spring Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that

More information

Notes on Differential Topology

Notes on Differential Topology Notes on Differential Topology George Torres Last updated January 18, 2018 Contents 1 Smooth manifolds and Topological manifolds 3 1.1 Smooth Structures............................................ 3 1.2

More information

LECTURE 3: SMOOTH FUNCTIONS

LECTURE 3: SMOOTH FUNCTIONS LECTURE 3: SMOOTH FUNCTIONS Let M be a smooth manifold. 1. Smooth Functions Definition 1.1. We say a function f : M R is smooth if for any chart {ϕ α, U α, V α } in A that defines the smooth structure

More information

Cutting and pasting. 2 in R. 3 which are not even topologically

Cutting and pasting. 2 in R. 3 which are not even topologically Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.

More information

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A

More information

Math 215B: Solutions 3

Math 215B: Solutions 3 Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union

More information

CHAPTER 1 PRELIMINARIES

CHAPTER 1 PRELIMINARIES CHAPTER 1 PRELIMINARIES 1.1 Introduction The aim of this chapter is to give basic concepts, preliminary notions and some results which we shall use in the subsequent chapters of the thesis. 1.2 Differentiable

More information

Terse Notes on Riemannian Geometry

Terse Notes on Riemannian Geometry Terse Notes on Riemannian Geometry Tom Fletcher January 26, 2010 These notes cover the basics of Riemannian geometry, Lie groups, and symmetric spaces. This is just a listing of the basic definitions and

More information

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By

More information

X G X by the rule x x g

X 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 information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

1 Differentiable manifolds and smooth maps

1 Differentiable manifolds and smooth maps 1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set

More information

LECTURE 9: THE WHITNEY EMBEDDING THEOREM

LECTURE 9: THE WHITNEY EMBEDDING THEOREM LECTURE 9: THE WHITNEY EMBEDDING THEOREM Historically, the word manifold (Mannigfaltigkeit in German) first appeared in Riemann s doctoral thesis in 1851. At the early times, manifolds are defined extrinsically:

More information

THREE LECTURES ON TOPOLOGICAL MANIFOLDS

THREE LECTURES ON TOPOLOGICAL MANIFOLDS THREE LECTURES ON TOPOLOGICAL MANIFOLDS ALEXANDER KUPERS Abstract. We introduce the theory of topological manifolds (of high dimension). We develop two aspects of this theory in detail: microbundle transversality

More information

CALCULUS ON MANIFOLDS

CALCULUS ON MANIFOLDS CALCULUS ON MANIFOLDS 1. Manifolds Morally, manifolds are topological spaces which locally look like open balls of the Euclidean space R n. One can construct them by piecing together such balls ( cells

More information

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Remark 0.1. This is a solution Manuel to the topology questions of the Topology Geometry

More information

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction

More information

LECTURE 11: TRANSVERSALITY

LECTURE 11: TRANSVERSALITY LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image

More information

Donaldson Invariants and Moduli of Yang-Mills Instantons

Donaldson Invariants and Moduli of Yang-Mills Instantons Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants

More information

1. Classifying Spaces. Classifying Spaces

1. 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 information

Differential Topology Solution Set #2

Differential Topology Solution Set #2 Differential Topology Solution Set #2 Select Solutions 1. Show that X compact implies that any smooth map f : X Y is proper. Recall that a space is called compact if, for every cover {U } by open sets

More information

CALCULUS 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 = 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 information

A Bridge between Algebra and Topology: Swan s Theorem

A Bridge between Algebra and Topology: Swan s Theorem A Bridge between Algebra and Topology: Swan s Theorem Daniel Hudson Contents 1 Vector Bundles 1 2 Sections of Vector Bundles 3 3 Projective Modules 4 4 Swan s Theorem 5 Introduction Swan s Theorem is a

More information

On manifolds with corners arxiv: v2 [math.dg] 13 Oct 2010

On manifolds with corners arxiv: v2 [math.dg] 13 Oct 2010 On manifolds with corners arxiv:0910.3518v2 [math.dg] 13 Oct 2010 Dominic Joyce Abstract Manifolds without boundary, and manifolds with boundary, are universally known and loved in Differential Geometry,

More information

TEST CODE: PMB SYLLABUS

TEST CODE: PMB SYLLABUS TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional

More information

D-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012.

D-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012. D-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012. Based on survey paper: arxiv:1206.4207, 44 pages and preliminary

More information

Lecture 6: Classifying spaces

Lecture 6: Classifying spaces Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E

More information

Bredon, Introduction to compact transformation groups, Academic Press

Bredon, Introduction to compact transformation groups, Academic Press 1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions

More information

Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität

Algebraic 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 information

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show

More information

Bordism and the Pontryagin-Thom Theorem

Bordism 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 information

THE JORDAN-BROUWER SEPARATION THEOREM

THE JORDAN-BROUWER SEPARATION THEOREM THE JORDAN-BROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside

More information

J-curves and the classification of rational and ruled symplectic 4-manifolds

J-curves and the classification of rational and ruled symplectic 4-manifolds J-curves and the classification of rational and ruled symplectic 4-manifolds François Lalonde Université du Québec à Montréal (flalonde@math.uqam.ca) Dusa McDuff State University of New York at Stony Brook

More information

THE STRATIFIED STRUCTURE OF SPACES OF SMOOTH ORBIFOLD MAPPINGS

THE STRATIFIED STRUCTURE OF SPACES OF SMOOTH ORBIFOLD MAPPINGS THE STRATIFIED STRUCTURE OF SPACES OF SMOOTH ORBIFOLD MAPPINGS JOSEPH E. BORZELLINO AND VICTOR BRUNSDEN Abstract. We consider four notions of maps between smooth C orbifolds O, P with O compact (without

More information

NOTES ON MANIFOLDS ALBERTO S. CATTANEO

NOTES ON MANIFOLDS ALBERTO S. CATTANEO NOTES ON MANIFOLDS ALBERTO S. CATTANEO Contents 1. Introduction 2 2. Manifolds 2 2.1. Coordinates 6 2.2. Dimension 7 2.3. The implicit function theorem 7 3. Maps 8 3.1. The pullback 10 3.2. Submanifolds

More information

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

Symplectic folding and non-isotopic polydisks

Symplectic folding and non-isotopic polydisks Symplectic folding and non-isotopic polydisks R. Hind October 10, 2012 1 Introduction 1.1 Main results Our main result demonstrates the existence of different Hamiltonian isotopy classes of symplectically

More information

Foliations of Three Dimensional Manifolds

Foliations of Three Dimensional Manifolds Foliations of Three Dimensional Manifolds M. H. Vartanian December 17, 2007 Abstract The theory of foliations began with a question by H. Hopf in the 1930 s: Does there exist on S 3 a completely integrable

More information

Topics in Geometry: Mirror Symmetry

Topics in Geometry: Mirror Symmetry MIT OpenCourseWare http://ocw.mit.edu 8.969 Topics in Geometry: Mirror Symmetry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MIRROR SYMMETRY:

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

M4P52 Manifolds, 2016 Problem Sheet 1

M4P52 Manifolds, 2016 Problem Sheet 1 Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete

More information

The theory of manifolds Lecture 3

The theory of manifolds Lecture 3 The theory of manifolds Lecture 3 We recall that a subset, X, of R N is an n-dimensional manifold, if, for every p X, there exists an open set, U R n, a neighborhood, V, of p in R N and a C -diffeomorphism,

More information

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold

More information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a

More information