Topology and Geometry of 2 and 3 Dimensional Manifolds

Total Page:16

File Type:pdf, Size:1020Kb

Topology and Geometry of 2 and 3 Dimensional Manifolds Topology and Geometry of 2 and 3 dimensional manifolds Chris John May 3, 2016 Supervised by Dr. Tejas Kalelkar 1 Introduction In this project I started with studying the classification of Surface and then I started studying some preliminary topics in 3 dimensional manifolds. 2 Surfaces Definition 2.1. A simple closed curve c in a connected surface S is separating if S n c has two components. It is non-separating otherwise. If c is separating and a component of S n c is an annulus or a disk, then it is called inessential. A curve is essential otherwise. An observation that we can make here is that a curve is non-separating if and only if its complement is connected. For manifolds, connectedness implies path connectedness and hence c is non-separating if and only if there is some other simple closed curve intersecting c exactly once. 2.1 Decomposition of Surfaces Lemma 2.2. A closed surface S is prime if and only if S contains no essential separating simple closed curve. Proof. Consider a closed surface S. Let us assume that S = S1#S2 is a non trivial con- nected sum. The curve along which S1 n(disc) and S2 n(disc) where identified is an essential separating curve in S. Hence, if S contains no essential separating curve, then S is prime. Now assume that there exists a essential separating curve c in S. This means neither of 2 2 the components of S n c are disks i.e. S1 6= S and S2 6= S . Lemma 2.3. The torus, the projective plane and the sphere are all prime surfaces. Lemma 2.4. The only closed prime surfaces are the torus, the projective plane and the sphere. Theorem 2.5. (The classification of closed compact surfaces) Every closed compact con- nected surface is homeomorphic to a sphere or a connected sum of tori or a connected sum of projective planes. Example The figure below gives the prime decomposition of a 2-torus. Figure 1: Prime decomposition of a 2-torus Definition 2.6. The number of tori in the connected sum is called the genus of a orientable surface. For non orientable surfaces, the number of projective planes in the connected sum is called the genus. Corollary 2.7. For a surface S of genus g, χ(S) = 2 − 2g. For a non orientable surface S of genus g, χ(S) = 1 − g: Here χ(S) is the Euler characteristic of the surface S. There is one another way of decomposition of surfaces, the pants decomposition. Definition 2.8. A pants decomposition of a compact surface S is a collection of pairwise disjoint simple closed curves fc1; :::; cng such that each component of S n (c1 [ c2 [ ::: [ cn) is a pair of pants. Two pants decompositions are equivalent if they are isotopic. Pants decomposition of surfaces are not unique. The following figure contains different decomposition of 2-torus. Figure 2: Pants decomposition of a 2-torus Figure 3: Pants decomposition of a 2-torus 2 2.2 Covering spaces and branched covering spaces Definition 2.9. Let p : E ! B be a continuous map. The open set U ⊂ B is said to be −1 evenly covered if p (U) is a disjoint union of open sets fUαg such that 8α; p jUα : Uα ! U is a homeomorphism. Definition 2.10. Let E be a manifold, B a connected manifold, and p : E ! B a contin- uous map. The triple (E; B; p) is a covering if 8b 2 B there is an open set U ⊂ B with b 2 U that is evenly covered. The map p is called the covering map. Example The triple (R; S1; p), where p : R ! S1 is given by p(x) = e2πix is a covering. Example The triple (R2; T2; p), where p : R2 ! T2 is given by p(x) = (e2πix; e2πiy), is a covering. If suppose p : E ! B is a covering map, then p is a local homeomorphism, but p a local isomorphism may not be a covering map. For example, consider p : R+ ! S1 given by p(x) = e2πix. Definition 2.11. Let (E; B; p) be a covering space. A homeomorphism t : E ! E is a covering transformation if p ◦ t = p: Example For n 2 Z the map t : R ! R given by t(x) = x+n is a covering transformation for the covering p(x) = e2πix where p : R ! S1. The covering transformation for a given space forms a group which is called the group of covering transformations. Example, for the triple (R; S1; p) where p : R ! S1 given by p(x) = e2πix is a covering, the group covering transformation is Z. Definition 2.12. Let E; B be manifolds, E0 a submanifold of E; B0 a submanifold of B, and p : E ! B a continuous map. The quintet (E; E0; B; B0; p) is a branched covering if 0 0 (i) P jEnE0 : E n E ! B n B is a covering map; 0 0 (ii)P jE0 : E ! B is a covering map. Here B0 is called the branch locus and E0 is called the ramification locus. Example The quintet (C; 0; C; 0; f) , where f(z) = zn, is a branched covering. 2.3 Homotopy and Isotopy on Surfaces Isotpies are always homotopies. But in case of surfaces, we have more. Here, there is a the homotopy classes of closed simple curves correspond to the isotopy classes of simple closed curves. Definition 2.13. Let F be a surface and let C = c1; :::; cn be a collection of simple closed curves in F that have been isotoped to intersect in a minimal number of points. We say that C is filling if F n (c1 [ ::: [ cn) is a union of disks. Lemma 2.14 (Alexander Trick). Suppose that f : Dn ! Dn is a homeomorphism such that f j@Dn is the identity. Then f is isotopic to the identity. Proof. Define H : Dn × I ! Dn as follows 3 ( tf(x=t) if 0 ≤ kxk < t; H(x; t) = . x if t ≤ kxk ≤ 1 The schematic for the Alexander Trick is shown in the figure below. This is the required isotopy. Figure 4: Schematic for the above proof Theorem 2.15. Let F be a closed orientable surface and h : F ! F a homeomorphism. Now, if h is homotopic to the identity, then h is isotopic to the identity. 2.4 The Mapping Class Group The set of self-diffeomorphisms forms a group which is denoted by Diffeo(S) if S is oriented surface. Also, the set of orientation preserving self-diffeomorphism Diffeo+(S) and the set of self-diffeomorphisms homotopic to identity Diffeo0(S) form normal subgroups. Homeo- morphisms are isotopic to diffeomorphisms in case of surfaces, hence we will be considering only diffeomorphisms. Definition 2.16. Let S be a compact orientable surface. The mapping class group of S, denoted by MCG(S) is Diffeo+(S)= Diffeo0(S), the group of orientation-preserving self- diffeomorphisms of S modulo the subgroup consisting of self-diffeomorphisms of S homo- topic to the identity. 2 ∼ Lemma 2.17. MCG(T ) = SL(2; Z): We will denote the embedding of a closed regular neighborhood of a closed simple orientation preserving curve c as N(c) and an open regular neighborhood as η(c). Definition 2.18. Let c be an orientation-preserving simple closed curve in a compact surface S and let N(c) be a regular neighborhood of c that is oriented via the parametrization i : S1 × [O; 1] ! η(c). A map from f : S ! S is called a left Dehn twist around c if (i) f jSnN(c) is the identity map; and (ii) f jN(c) is the map of the annulus given by 2iπθ 2iπ(θ+t) 2iπθ 1 f(e ; t) = (e ) 8(e ; t) 2 S × [0; 1]: Likewise, a map f : S ! S is called a right Dehn twist around c if 4 (i) f jSnN(c) is the identity map; and (ii) f jN(c) is the map of the annulus given by 2iπθ 2iπ(θ−t) 2iπθ 1 f(e ; t) = (e ) 8(e ; t) 2 S × [0; 1]: Theorem 2.19 (Dehn, 1938; Lickorish, 1962). Every surface isomorphism is isotopic to a composition of Dehn twists i.e. the mapping class group is generated by Dehn twists. We will state two lemmas and use them to prove the above theorem. Lemma 2.20. If the simple closed curves α; β in the compact surface S intersect exactly once, then there is a pair f1; f2 of Dehn twists such that f2 · f1(α) is isotopic to β. Lemma 2.21. If α; β are oriented simple closed curves in the orientable surface S, then there is a series of Dehn twists f1; f2; :::; fk such that fk ·:::·f2 ·f1(α) is either disjoint from β or intersects β in exactly two oppositely oriented points. Sketch of the proof. Let S be a closed orientable surface a1; b1:::; ag; bg be collection of curves which cut S into a disk. Self-homeomorphisms take this collection of curves to another such collection of curves. Now, using a series of Dehn twists we reverse the effect of the surface diffeomorphism on the new collection of curves. This can be done because of the above stated lemmas. The collection of Dehn twists can be seen as "undoing" the effect of the surface diffeomorphism on the specified collection of curves. Using the Alexander Trick, we get that the map on the complementary disk is isotopic to identity.
Recommended publications
  • Chapter 11. Three Dimensional Analytic Geometry and Vectors
    Chapter 11. Three dimensional analytic geometry and vectors. Section 11.5 Quadric surfaces. Curves in R2 : x2 y2 ellipse + =1 a2 b2 x2 y2 hyperbola − =1 a2 b2 parabola y = ax2 or x = by2 A quadric surface is the graph of a second degree equation in three variables. The most general such equation is Ax2 + By2 + Cz2 + Dxy + Exz + F yz + Gx + Hy + Iz + J =0, where A, B, C, ..., J are constants. By translation and rotation the equation can be brought into one of two standard forms Ax2 + By2 + Cz2 + J =0 or Ax2 + By2 + Iz =0 In order to sketch the graph of a quadric surface, it is useful to determine the curves of intersection of the surface with planes parallel to the coordinate planes. These curves are called traces of the surface. Ellipsoids The quadric surface with equation x2 y2 z2 + + =1 a2 b2 c2 is called an ellipsoid because all of its traces are ellipses. 2 1 x y 3 2 1 z ±1 ±2 ±3 ±1 ±2 The six intercepts of the ellipsoid are (±a, 0, 0), (0, ±b, 0), and (0, 0, ±c) and the ellipsoid lies in the box |x| ≤ a, |y| ≤ b, |z| ≤ c Since the ellipsoid involves only even powers of x, y, and z, the ellipsoid is symmetric with respect to each coordinate plane. Example 1. Find the traces of the surface 4x2 +9y2 + 36z2 = 36 1 in the planes x = k, y = k, and z = k. Identify the surface and sketch it. Hyperboloids Hyperboloid of one sheet. The quadric surface with equations x2 y2 z2 1.
    [Show full text]
  • An Introduction to Topology the Classification Theorem for Surfaces by E
    An Introduction to Topology An Introduction to Topology The Classification theorem for Surfaces By E. C. Zeeman Introduction. The classification theorem is a beautiful example of geometric topology. Although it was discovered in the last century*, yet it manages to convey the spirit of present day research. The proof that we give here is elementary, and its is hoped more intuitive than that found in most textbooks, but in none the less rigorous. It is designed for readers who have never done any topology before. It is the sort of mathematics that could be taught in schools both to foster geometric intuition, and to counteract the present day alarming tendency to drop geometry. It is profound, and yet preserves a sense of fun. In Appendix 1 we explain how a deeper result can be proved if one has available the more sophisticated tools of analytic topology and algebraic topology. Examples. Before starting the theorem let us look at a few examples of surfaces. In any branch of mathematics it is always a good thing to start with examples, because they are the source of our intuition. All the following pictures are of surfaces in 3-dimensions. In example 1 by the word “sphere” we mean just the surface of the sphere, and not the inside. In fact in all the examples we mean just the surface and not the solid inside. 1. Sphere. 2. Torus (or inner tube). 3. Knotted torus. 4. Sphere with knotted torus bored through it. * Zeeman wrote this article in the mid-twentieth century. 1 An Introduction to Topology 5.
    [Show full text]
  • Section 2.6 Cylindrical and Spherical Coordinates
    Section 2.6 Cylindrical and Spherical Coordinates A) Review on the Polar Coordinates The polar coordinate system consists of the origin O,the rotating ray or half line from O with unit tick. A point P in the plane can be uniquely described by its distance to the origin r = dist (P, O) and the angle µ, 0 µ < 2¼ : · Y P(x,y) r θ O X We call (r, µ) the polar coordinate of P. Suppose that P has Cartesian (stan- dard rectangular) coordinate (x, y) .Then the relation between two coordinate systems is displayed through the following conversion formula: x = r cos µ Polar Coord. to Cartesian Coord.: y = r sin µ ½ r = x2 + y2 Cartesian Coord. to Polar Coord.: y tan µ = ( p x 0 µ < ¼ if y > 0, 2¼ µ < ¼ if y 0. · · · Note that function tan µ has period ¼, and the principal value for inverse tangent function is ¼ y ¼ < arctan < . ¡ 2 x 2 1 So the angle should be determined by y arctan , if x > 0 xy 8 arctan + ¼, if x < 0 µ = > ¼ x > > , if x = 0, y > 0 < 2 ¼ , if x = 0, y < 0 > ¡ 2 > > Example 6.1. Fin:>d (a) Cartesian Coord. of P whose Polar Coord. is ¼ 2, , and (b) Polar Coord. of Q whose Cartesian Coord. is ( 1, 1) . 3 ¡ ¡ ³ So´l. (a) ¼ x = 2 cos = 1, 3 ¼ y = 2 sin = p3. 3 (b) r = p1 + 1 = p2 1 ¼ ¼ 5¼ tan µ = ¡ = 1 = µ = or µ = + ¼ = . 1 ) 4 4 4 ¡ 5¼ Since ( 1, 1) is in the third quadrant, we choose µ = so ¡ ¡ 4 5¼ p2, is Polar Coord.
    [Show full text]
  • Area, Volume and Surface Area
    The Improving Mathematics Education in Schools (TIMES) Project MEASUREMENT AND GEOMETRY Module 11 AREA, VOLUME AND SURFACE AREA A guide for teachers - Years 8–10 June 2011 YEARS 810 Area, Volume and Surface Area (Measurement and Geometry: Module 11) For teachers of Primary and Secondary Mathematics 510 Cover design, Layout design and Typesetting by Claire Ho The Improving Mathematics Education in Schools (TIMES) Project 2009‑2011 was funded by the Australian Government Department of Education, Employment and Workplace Relations. The views expressed here are those of the author and do not necessarily represent the views of the Australian Government Department of Education, Employment and Workplace Relations. © The University of Melbourne on behalf of the international Centre of Excellence for Education in Mathematics (ICE‑EM), the education division of the Australian Mathematical Sciences Institute (AMSI), 2010 (except where otherwise indicated). This work is licensed under the Creative Commons Attribution‑NonCommercial‑NoDerivs 3.0 Unported License. http://creativecommons.org/licenses/by‑nc‑nd/3.0/ The Improving Mathematics Education in Schools (TIMES) Project MEASUREMENT AND GEOMETRY Module 11 AREA, VOLUME AND SURFACE AREA A guide for teachers - Years 8–10 June 2011 Peter Brown Michael Evans David Hunt Janine McIntosh Bill Pender Jacqui Ramagge YEARS 810 {4} A guide for teachers AREA, VOLUME AND SURFACE AREA ASSUMED KNOWLEDGE • Knowledge of the areas of rectangles, triangles, circles and composite figures. • The definitions of a parallelogram and a rhombus. • Familiarity with the basic properties of parallel lines. • Familiarity with the volume of a rectangular prism. • Basic knowledge of congruence and similarity. • Since some formulas will be involved, the students will need some experience with substitution and also with the distributive law.
    [Show full text]
  • 1.6 Covering Spaces 1300Y Geometry and Topology
    1.6 Covering spaces 1300Y Geometry and Topology 1.6 Covering spaces Consider the fundamental group π1(X; x0) of a pointed space. It is natural to expect that the group theory of π1(X; x0) might be understood geometrically. For example, subgroups may correspond to images of induced maps ι∗π1(Y; y0) −! π1(X; x0) from continuous maps of pointed spaces (Y; y0) −! (X; x0). For this induced map to be an injection we would need to be able to lift homotopies in X to homotopies in Y . Rather than consider a huge category of possible spaces mapping to X, we restrict ourselves to a category of covering spaces, and we show that under some mild conditions on X, this category completely encodes the group theory of the fundamental group. Definition 9. A covering map of topological spaces p : X~ −! X is a continuous map such that there S −1 exists an open cover X = α Uα such that p (Uα) is a disjoint union of open sets (called sheets), each homeomorphic via p with Uα. We then refer to (X;~ p) (or simply X~, abusing notation) as a covering space of X. Let (X~i; pi); i = 1; 2 be covering spaces of X. A morphism of covering spaces is a covering map φ : X~1 −! X~2 such that the diagram commutes: φ X~1 / X~2 AA } AA }} p1 AA }}p2 A ~}} X We will be considering covering maps of pointed spaces p :(X;~ x~0) −! (X; x0), and pointed morphisms between them, which are defined in the obvious fashion.
    [Show full text]
  • Part III 3-Manifolds Lecture Notes C Sarah Rasmussen, 2019
    Part III 3-manifolds Lecture Notes c Sarah Rasmussen, 2019 Contents Lecture 0 (not lectured): Preliminaries2 Lecture 1: Why not ≥ 5?9 Lecture 2: Why 3-manifolds? + Intro to Knots and Embeddings 13 Lecture 3: Link Diagrams and Alexander Polynomial Skein Relations 17 Lecture 4: Handle Decompositions from Morse critical points 20 Lecture 5: Handles as Cells; Handle-bodies and Heegard splittings 24 Lecture 6: Handle-bodies and Heegaard Diagrams 28 Lecture 7: Fundamental group presentations from handles and Heegaard Diagrams 36 Lecture 8: Alexander Polynomials from Fundamental Groups 39 Lecture 9: Fox Calculus 43 Lecture 10: Dehn presentations and Kauffman states 48 Lecture 11: Mapping tori and Mapping Class Groups 54 Lecture 12: Nielsen-Thurston Classification for Mapping class groups 58 Lecture 13: Dehn filling 61 Lecture 14: Dehn Surgery 64 Lecture 15: 3-manifolds from Dehn Surgery 68 Lecture 16: Seifert fibered spaces 69 Lecture 17: Hyperbolic 3-manifolds and Mostow Rigidity 70 Lecture 18: Dehn's Lemma and Essential/Incompressible Surfaces 71 Lecture 19: Sphere Decompositions and Knot Connected Sum 74 Lecture 20: JSJ Decomposition, Geometrization, Splice Maps, and Satellites 78 Lecture 21: Turaev torsion and Alexander polynomial of unions 81 Lecture 22: Foliations 84 Lecture 23: The Thurston Norm 88 Lecture 24: Taut foliations on Seifert fibered spaces 89 References 92 1 2 Lecture 0 (not lectured): Preliminaries 0. Notation and conventions. Notation. @X { (the manifold given by) the boundary of X, for X a manifold with boundary. th @iX { the i connected component of @X. ν(X) { a tubular (or collared) neighborhood of X in Y , for an embedding X ⊂ Y .
    [Show full text]
  • Arxiv:1611.02363V2 [Math.SG] 4 Oct 2018 Non-Degenerate in a Neighborhood of X (See Section2)
    SYMPLECTIC NEIGHBORHOOD OF CROSSING SYMPLECTIC SUBMANIFOLDS ROBERTA GUADAGNI ABSTRACT. This paper presents a proof of the existence of standard symplectic coordinates near a set of smooth, orthogonally intersecting symplectic submanifolds. It is a generaliza- tion of the standard symplectic neighborhood theorem. Moreover, in the presence of a com- pact Lie group G acting symplectically, the coordinates can be chosen to be G-equivariant. INTRODUCTION The main result in this paper is a generalization of the symplectic tubular neighbor- hood theorem (and the existence of Darboux coordinates) to a set of symplectic submani- folds that intersect each other orthogonally. This can help us understand singularities in symplectic submanifolds. Orthogonally intersecting symplectic submanifolds (or, more generally, positively intersecting symplectic submanifolds as described in the appendix) are the symplectic analogue of normal crossing divisors in algebraic geometry. Orthog- onal intersecting submanifolds, as explained in this paper, have a standard symplectic neighborhood. Positively intersecting submanifolds, as explained in the appendix and in [TMZ14a], can be deformed to obtain the same type of standard symplectic neighbor- hood. The result has at least two applications to current research: it yields some intuition for the construction of generalized symplectic sums (see [TMZ14b]), and it describes the symplectic geometry of degenerating families of Kahler¨ manifolds as needed for mirror symmetry (see [GS08]). The application to toric degenerations is described in detail in the follow-up paper [Gua]. While the proofs are somewhat technical, the result is a natural generalization of We- instein’s neighborhood theorem. Given a symplectic submanifold X of (M, w), there ex- ists a tubular neighborhood embedding f : NX ! M defined on a neighborhood of X.
    [Show full text]
  • Ordering Thurston's Geometries by Maps of Non-Zero Degree
    ORDERING THURSTON’S GEOMETRIES BY MAPS OF NON-ZERO DEGREE CHRISTOFOROS NEOFYTIDIS ABSTRACT. We obtain an ordering of closed aspherical 4-manifolds that carry a non-hyperbolic Thurston geometry. As application, we derive that the Kodaira dimension of geometric 4-manifolds is monotone with respect to the existence of maps of non-zero degree. 1. INTRODUCTION The existence of a map of non-zero degree defines a transitive relation, called domination rela- tion, on the homotopy types of closed oriented manifolds of the same dimension. Whenever there is a map of non-zero degree M −! N we say that M dominates N and write M ≥ N. In general, the domain of a map of non-zero degree is a more complicated manifold than the target. Gromov suggested studying the domination relation as defining an ordering of compact oriented manifolds of a given dimension; see [3, pg. 1]. In dimension two, this relation is a total order given by the genus. Namely, a surface of genus g dominates another surface of genus h if and only if g ≥ h. However, the domination relation is not generally an order in higher dimensions, e.g. 3 S3 and RP dominate each other but are not homotopy equivalent. Nevertheless, it can be shown that the domination relation is a partial order in certain cases. For instance, 1-domination defines a partial order on the set of closed Hopfian aspherical manifolds of a given dimension (see [18] for 3- manifolds). Other special cases have been studied by several authors; see for example [3, 1, 2, 25].
    [Show full text]
  • Computing Triangulations of Mapping Tori of Surface Homeomorphisms
    Computing Triangulations of Mapping Tori of Surface Homeomorphisms Peter Brinkmann∗ and Saul Schleimer Abstract We present the mathematical background of a software package that computes triangulations of mapping tori of surface homeomor- phisms, suitable for Jeff Weeks’s program SnapPea. The package is an extension of the software described in [?]. It consists of two programs. jmt computes triangulations and prints them in a human-readable format. jsnap converts this format into SnapPea’s triangulation file format and may be of independent interest because it allows for quick and easy generation of input for SnapPea. As an application, we ob- tain a new solution to the restricted conjugacy problem in the mapping class group. 1 Introduction In [?], the first author described a software package that provides an en- vironment for computer experiments with automorphisms of surfaces with one puncture. The purpose of this paper is to present the mathematical background of an extension of this package that computes triangulations of mapping tori of such homeomorphisms, suitable for further analysis with Jeff Weeks’s program SnapPea [?].1 ∗This research was partially conducted by the first author for the Clay Mathematics Institute. 2000 Mathematics Subject Classification. 57M27, 37E30. Key words and phrases. Mapping tori of surface automorphisms, pseudo-Anosov au- tomorphisms, mapping class group, conjugacy problem. 1Software available at http://thames.northnet.org/weeks/index/SnapPea.html 1 Pseudo-Anosov homeomorphisms are of particular interest because their mapping tori are hyperbolic 3-manifolds of finite volume [?]. The software described in [?] recognizes pseudo-Anosov homeomorphisms. Combining this with the programs discussed here, we obtain a powerful tool for generating and analyzing large numbers of hyperbolic 3-manifolds.
    [Show full text]
  • Riemann Surfaces
    RIEMANN SURFACES AARON LANDESMAN CONTENTS 1. Introduction 2 2. Maps of Riemann Surfaces 4 2.1. Defining the maps 4 2.2. The multiplicity of a map 4 2.3. Ramification Loci of maps 6 2.4. Applications 6 3. Properness 9 3.1. Definition of properness 9 3.2. Basic properties of proper morphisms 9 3.3. Constancy of degree of a map 10 4. Examples of Proper Maps of Riemann Surfaces 13 5. Riemann-Hurwitz 15 5.1. Statement of Riemann-Hurwitz 15 5.2. Applications 15 6. Automorphisms of Riemann Surfaces of genus ≥ 2 18 6.1. Statement of the bound 18 6.2. Proving the bound 18 6.3. We rule out g(Y) > 1 20 6.4. We rule out g(Y) = 1 20 6.5. We rule out g(Y) = 0, n ≥ 5 20 6.6. We rule out g(Y) = 0, n = 4 20 6.7. We rule out g(C0) = 0, n = 3 20 6.8. 21 7. Automorphisms in low genus 0 and 1 22 7.1. Genus 0 22 7.2. Genus 1 22 7.3. Example in Genus 3 23 Appendix A. Proof of Riemann Hurwitz 25 Appendix B. Quotients of Riemann surfaces by automorphisms 29 References 31 1 2 AARON LANDESMAN 1. INTRODUCTION In this course, we’ll discuss the theory of Riemann surfaces. Rie- mann surfaces are a beautiful breeding ground for ideas from many areas of math. In this way they connect seemingly disjoint fields, and also allow one to use tools from different areas of math to study them.
    [Show full text]
  • Visual Cortex: Looking Into a Klein Bottle Nicholas V
    776 Dispatch Visual cortex: Looking into a Klein bottle Nicholas V. Swindale Arguments based on mathematical topology may help work which suggested that many properties of visual cortex in understanding the organization of topographic maps organization might be a consequence of mapping a five- in the cerebral cortex. dimensional stimulus space onto a two-dimensional surface as continuously as possible. Recent experimental results, Address: Department of Ophthalmology, University of British Columbia, 2550 Willow Street, Vancouver, V5Z 3N9, British which I shall discuss here, add to this complexity because Columbia, Canada. they show that a stimulus attribute not considered in the theoretical studies — direction of motion — is also syst- Current Biology 1996, Vol 6 No 7:776–779 ematically mapped on the surface of the cortex. This adds © Current Biology Ltd ISSN 0960-9822 to the evidence that continuity is an important, though not overriding, organizational principle in the cortex. I shall The English neurologist Hughlings Jackson inferred the also discuss a demonstration that certain receptive-field presence of a topographic map of the body musculature in properties, which may be indirectly related to direction the cerebral cortex more than a century ago, from his selectivity, can be represented as positions in a non- observations of the orderly progressions of seizure activity Euclidian space with a topology known to mathematicians across the body during epilepsy. Topographic maps of one as a Klein bottle. First, however, it is appropriate to cons- kind or another are now known to be a ubiquitous feature ider the experimental data. of cortical organization, at least in the primary sensory and motor areas.
    [Show full text]
  • Analytic Geometry
    STATISTIC ANALYTIC GEOMETRY SESSION 3 STATISTIC SESSION 3 Session 3 Analytic Geometry Geometry is all about shapes and their properties. If you like playing with objects, or like drawing, then geometry is for you! Geometry can be divided into: Plane Geometry is about flat shapes like lines, circles and triangles ... shapes that can be drawn on a piece of paper Solid Geometry is about three dimensional objects like cubes, prisms, cylinders and spheres Point, Line, Plane and Solid A Point has no dimensions, only position A Line is one-dimensional A Plane is two dimensional (2D) A Solid is three-dimensional (3D) Plane Geometry Plane Geometry is all about shapes on a flat surface (like on an endless piece of paper). 2D Shapes Activity: Sorting Shapes Triangles Right Angled Triangles Interactive Triangles Quadrilaterals (Rhombus, Parallelogram, etc) Rectangle, Rhombus, Square, Parallelogram, Trapezoid and Kite Interactive Quadrilaterals Shapes Freeplay Perimeter Area Area of Plane Shapes Area Calculation Tool Area of Polygon by Drawing Activity: Garden Area General Drawing Tool Polygons A Polygon is a 2-dimensional shape made of straight lines. Triangles and Rectangles are polygons. Here are some more: Pentagon Pentagra m Hexagon Properties of Regular Polygons Diagonals of Polygons Interactive Polygons The Circle Circle Pi Circle Sector and Segment Circle Area by Sectors Annulus Activity: Dropping a Coin onto a Grid Circle Theorems (Advanced Topic) Symbols There are many special symbols used in Geometry. Here is a short reference for you:
    [Show full text]