Lecture Fish 3. Joel W. Fish. July 4, 2015
|
|
- Sabrina Gardner
- 5 years ago
- Views:
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 H. Hofer New York University USA E. Zehnder ETH-Zurich Switzerland December 20, 2006 K. Wysocki Penn State University USA 1 Introduction
More informationA 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 informationINVERSE 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 information274 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 informationarxiv: 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 informationi = 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 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 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 informationis 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 informationIntegration 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 informationfy (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 informationA 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 informationarxiv: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 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 informationOn 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 informationMorse-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 informationMATRIX 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 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 informationMath 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 informationDIFFERENTIAL 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 information1 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 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 informationLECTURE 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 informationMath 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 informationLet 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 informationProblem 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 informationLecture 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 informationSymplectic 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 informationThe 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 informationHOLONOMY 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.
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 informationNotes 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 informationL19: 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 informationNotes 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 informationChapter 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 informationNodal 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 informationLECTURE 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 informationSolutions 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 informationGeometry 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 informationREAL 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 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 informationDeterminant 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 informationDefinition 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 informationDIFFERENTIAL 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 information121B: 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 informationHofer 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 informationAn 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 informationLECTURE 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 informationMath 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 informationCHAPTER 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 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 informationApplications 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 informationALGEBRAICALLY 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 information1 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 informationExercises 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 informationQualifying 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 informationNotes 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 informationLECTURE 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 informationCutting 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 informationNotes 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 informationMath 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 informationCHAPTER 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 informationTerse 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 informationLifting 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 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 information4 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 information1 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 informationLECTURE 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 informationTHREE 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 informationCALCULUS 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 informationTopology 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 informationChapter 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 informationLECTURE 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 informationDonaldson 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 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 informationDifferential 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 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 informationA 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 informationOn 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 informationTEST 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 informationD-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 informationLecture 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 informationBredon, 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 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 informationKUIPER 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 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 informationTHE 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 informationJ-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 informationTHE 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 informationNOTES 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 informationLECTURE 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 information10. 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 informationSymplectic 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 informationFoliations 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 informationTopics 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 informationCOMPLEX 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 informationM4P52 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 informationThe 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 informationManifolds 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 informationTHE 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