DOCSLIB.ORG

Surface Bundles in Topology, Algebraic Geometry, and Group Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Surface Bundles in Topology, Algebraic Geometry, and Group Theory Surface Bundles in Topology, Algebraic Geometry, and Group Theory Nick Salter and Bena Tshishiku Surface Bundles 푆 and whose structure group is the group Diff(푆) of dif- A surface is one of the most basic objects in topology, but feomorphisms of 푆. In particular, 퐵 is covered by open −1 the mathematics of surfaces spills out far beyond its source, sets {푈훼} on which the bundle is trivial 휋 (푈훼) ≅ 푈훼 × 푆, penetrating deeply into fields as diverse as algebraic ge- and local trivializations are glued by transition functions ometry, complex analysis, dynamics, hyperbolic geometry, 푈훼 ∩ 푈훽 → Diff(푆). geometric group theory, etc. In this article we focus on the Although the bundle is locally trivial, any nontrivial mathematics of families of surfaces: surface bundles. While bundle is globally twisted, similar in spirit to the Möbius the basics belong to the study of fiber bundles, we hope strip (Figure 1). This twisting is recorded in an invariant to illustrate how the theory of surface bundles comes into called the monodromy representation to be discussed in the close contact with a broad range of mathematical ideas. section “Monodromy.” We focus here on connections with three areas—algebraic topology, algebraic geometry, and geometric group theory—and see how the notion of a surface bundle pro- vides a meeting ground for these fields to interact in beau- tiful and unexpected ways. What is a surface bundle? A surface bundle is a fiber bun- dle 휋 ∶ 퐸 → 퐵 whose fiber is a 2-dimensional manifold Nick Salter is a Ritt Assistant Professor at Columbia University. His email address is [email protected]. Bena Tshishiku is an assistant professor at Brown University. His email address is [email protected]. Communicated by Notices Associate Editor Daniel Krashen. For permission to reprint this article, please contact: Figure 1. The Möbius strip is the total space of a bundle over [email protected]. 푆1 whose fibers are diffeomorphic to [0, 1]. DOI: https://doi.org/10.1090/noti2016 146 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 67, NUMBER 2 Then 퐸 = {(푥, 푦, 푏) ∣ (푥, 푦) ∈ 푆(푏)} is the total space of an 푆-bundle over 퐵 under the projection map (푥, 푦, 푏) ↦ 푏. Here 퐵 is the configuration space of 푛 (ordered) points in ℂ. The study of this single 푆-bundle is already incredibly rich, with connections to representations of braid groups and geometric structures on moduli spaces of Riemann sur- faces [McM13]. f Vector bundles are also a source of surface bundles: given a rank-3 real vector bundle, the associated unit- sphere bundle is an 푆2-bundle. In fact, any 푆2-bundle is obtained from this construction because, by a theorem of Smale, Diff(푆2) is homotopy equivalent to the orthogonal group 푂(3) (this homotopy equivalence implies the bun- dle statement by the theory of classifying spaces discussed in “The Classification Problem”). On the other hand, if 푆푔 Figure 2. The mapping torus 퐸푓 of a surface diffeomorphism is a closed oriented surface of genus 푔 ≥ 1, then Diff(푆푔) is 푓 ∶ 푆 → 푆. Note that the Möbius strip (Figure 1) can be not homotopy equivalent to a compact Lie group. As such, constructed in a similar way. the study of 푆푔-bundles for 푔 ≥ 1 is the first instance of a A surface bundle 퐸 → 퐵 with fiber 푆 is also called an nonlinear bundle theory. There are many analogies between 푆-bundle over 퐵, and 퐸 is called the total space. Informally, the theory of vector bundles and surface bundles, but there one thinks of 퐸 as a family of surfaces parameterized by 퐵; i.e., are also many new phenomena, connections, and open for each 푏 ∈ 퐵, there is a surface 휋−1(푏) ≅ 푆. questions. Surface bundles in nature. Surface bundles arise natu- Conventions. For the remainder of this article we assume, 푆 rally across mathematics. The most basic source of - for simplicity, that 푆 = 푆푔 is a closed, oriented surface of bundles comes from the mapping torus construction. Given genus 푔 ≥ 1 (and at times 푔 ≥ 2). Working with oriented 푓 ∈ Diff(푆), define 퐸푓 as the quotient of [0, 1] × 푆 by iden- surfaces, we consider only orientation-preserving diffeo- tifying {0} × 푆 with {1} × 푆 by 푓; then 퐸푓 is the total space morphisms; for brevity, we suppress this from the notation 1 of an 푆-bundle over the circle 퐸푓 → 푆 . See Figure 2. Sur- and will not mention it further. prisingly, this simple-minded construction is ubiquitous in the classification of 3-manifolds and in particular hy- The mapping class group. Given the wealth of examples perbolic 3-manifolds. Thurston proved that if 푓 is suffi- of surface bundles described above, we need a good way ciently complicated (pseudo-Anosov; cf. Theorem 2), then to tell different surface bundles apart. We’ll discuss two 퐸푓 admits a hyperbolic structure, i.e., a Riemannian metric approaches to this—classifying spaces and monodromy— with sectional curvature 퐾 ≡ −1. Furthermore, by work of in “The Classification Problem” and “Monodromy.” Mon- Agol, Wise, and Kahn–Markovic, every closed hyperbolic odromy is a special feature for 푆푔-bundles compared to 3-manifold 푀 has a finite cover of the form 퐸푓 → 푀 for other bundle theories, and it is where the mapping class some 푓 ∶ 푆 → 푆 [Ago13]. group plays a prominent role. Surface bundles also figure prominently in 4-manifold To explain this, consider the mapping torus construc- theory. Donaldson [Don98] proved that every symplec- tion discussed above (Figure 2). If 푓 is isotopic to the iden- tic 4-manifold 푀 admits a Lefschetz fibration 푀 → ℂ푃1, tity (i.e., there is a path from 푓 to id in Diff(푆푔)), then 퐸푓 1 which can be viewed as a surface bundle where finitely is just the product bundle 푆 × 푆푔. More generally, for any many fibers are allowed to acquire singularities of asim- 푓 ∈ Diff(푆푔), the bundle 퐸푓 is unchanged if 푓 is changed by ple form (so-called nodes). an isotopy. Therefore, if we want to understand the differ- Surface bundles appear in algebraic geometry, where ent bundles obtained as mapping tori, we should start by 1 they are more commonly known as families of curves. Spe- considering the quotient Mod(푆푔) ∶= Diff(푆푔)/ Diff0(푆푔) cial examples can be obtained by simply writing down fam- by the (normal) subgroup of diffeomorphisms isotopic to ilies of equations. For instance, let 퐵 be the space of tuples the identity. The group Mod(푆푔) is called the mapping class 푏 = (푏1, … , 푏푛) of distinct points in ℂ, fix 푑 ≥ 2, and for group. It is isomorphic to the group 휋0 Diff(푆푔) of path 푏 ∈ 퐵, consider the surface components of Diff(푆푔). For example, Mod(푇2) ≅ SL (ℤ). Any 퐴 ∈ SL (ℤ) acts 푆(푏) = {(푥, 푦) ∈ ℂ2 ∶ 푦푑 = (푥 − 푏 ) ⋯ (푥 − 푏 )}. (1) 2 2 1 푛 linearly on ℝ2 and descends to 푇2, and, conversely, up 2 1Since Riemann surfaces have complex dimension one, algebraic geometers re- to homotopy or isotopy, a diffeomorphism of 푇 is deter- 2 2 fer to them as curves. mined by its action on 휋1(푇 ) ≅ ℤ . For 푔 ≥ 1, Mod(푆푔) FEBRUARY 2020 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 147 is an infinite, finitely presented group. In “Monodromy” 휋푖(BDiff(푆푔)) ≅ 휋푖−1(Diff(푆푔)). When 푔 ≥ 2, the homotopy we explain how Mod(푆푔) plays a central role, not only for type of Diff(푆푔) is as simple as possible. 푆 -bundles over 푆1, but for 푆 -bundles over any base. 푔 푔 Theorem 1 (Earle–Eells). If 푔 ≥ 2, then the identity compo- The Classification Problem nent Diff0(푆푔) < Diff(푆푔) is contractible. Consequently, the Diff(푆 ) → Mod(푆 ) In this section we describe the basic tools and framework surjection 푔 푔 is a homotopy equivalence. from algebraic topology for studying 푆-bundles. As men- The homotopy type of Diff(푆푔) for 푔 = 0, 1 is also tioned above, we focus on the case 푆 = 푆푔. known: Diff(푆2) is homotopy equivalent to 푂(3), and ′ Two bundles 퐸 → 퐵 and 퐸 → 퐵 are isomorphic if there Diff(푇2) is homotopy equivalent to 푇2 ⋊ SL (ℤ); see e.g. ′ 2 is a diffeomorphism 퐸 → 퐸 that sends fibers to fibers and [Mor01]. Theorem 1 was originally proved using complex covers the identity map on 퐵. analysis (Teichmüller theory) and PDE; a purely topologi- Optimistically, one would like to solve the classifica- cal proof was given by Gramain (see [Hat]). tion problem: for a given 퐵, determine the set of isomor- By Theorem 1, BDiff(푆푔) is homotopy equivalent to phism classes of 푆푔-bundles 퐸 → 퐵. This problem can be BMod(푆푔) for 푔 ≥ 2. Since Mod(푆푔) is a discrete translated to a homotopy-theoretic problem via classifying group, its classifying space is an Eilenberg–Mac Lane space space theory. BMod(푆푔) ≅ 퐾(Mod(푆푔), 1). Observe that a map 푓 ∶ Usually the classification problem is too difficult to 퐵 → BDiff(푆푔) ≃ BMod(푆푔) induces a homomorphism solve completely. In practice one wants a rich collection 휋1(퐵) → Mod(푆푔). This is a fundamental invariant of the of invariants that (i) measure topological properties of 푆푔- bundle associated to 푓, known as the monodromy; we dis- bundles and (ii) enable us to distinguish 푆푔-bundles found cuss it further in “Monodromy.” in nature. In the study of vector bundles, a primary role is In practice, it can be useful to have a concrete model played by characteristic classes. Surface bundles also have a for BDiff(푆푔).
Load more

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]
  • Surface Physics I and II
    Surface physics I and II Lectures: Mon 12-14 ,Wed 12-14 D116 Excercises: TBA Lecturer: Antti Kuronen, [email protected] Exercise assistant: Ane Lasa, [email protected] Course homepage: http://www.physics.helsinki.fi/courses/s/pintafysiikka/ Objectives ● To study properties of surfaces of solid materials. ● The relationship between the composition and morphology of the surface and its mechanical, chemical and electronic properties will be dealt with. ● Technologically important field of surface and thin film growth will also be covered. Surface physics I 2012: 1. Introduction 1 Surface physics I and II ● Course in two parts ● Surface physics I (SPI) (530202) ● Period III, 5 ECTS points ● Basics of surface physics ● Surface physics II (SPII) (530169) ● Period IV, 5 ECTS points ● 'Special' topics in surface science ● Surface and thin film growth ● Nanosystems ● Computational methods in surface science ● You can take only SPI or both SPI and SPII Surface physics I 2012: 1. Introduction 2 How to pass ● Both courses: ● Final exam 50% ● Exercises 50% ● Exercises ● Return by ● email to [email protected] or ● on paper to course box on the 2nd floor of Physicum ● Return by (TBA) Surface physics I 2012: 1. Introduction 3 Table of contents ● Surface physics I ● Introduction: What is a surface? Why is it important? Basic concepts. ● Surface structure: Thermodynamics of surfaces. Atomic and electronic structure. ● Experimental methods for surface characterization: Composition, morphology, electronic properties. ● Surface physics II ● Theoretical and computational methods in surface science: Analytical models, Monte Carlo and molecular dynamics sumilations. ● Surface growth: Adsorption, desorption, surface diffusion. ● Thin film growth: Homoepitaxy, heteroepitaxy, nanostructures.
    [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]
  • Vector Bundles on Projective Space
    Vector Bundles on Projective Space Takumi Murayama December 1, 2013 1 Preliminaries on vector bundles Let X be a (quasi-projective) variety over k. We follow [Sha13, Chap. 6, x1.2]. Definition. A family of vector spaces over X is a morphism of varieties π : E ! X −1 such that for each x 2 X, the fiber Ex := π (x) is isomorphic to a vector space r 0 0 Ak(x).A morphism of a family of vector spaces π : E ! X and π : E ! X is a morphism f : E ! E0 such that the following diagram commutes: f E E0 π π0 X 0 and the map fx : Ex ! Ex is linear over k(x). f is an isomorphism if fx is an isomorphism for all x. A vector bundle is a family of vector spaces that is locally trivial, i.e., for each x 2 X, there exists a neighborhood U 3 x such that there is an isomorphism ': π−1(U) !∼ U × Ar that is an isomorphism of families of vector spaces by the following diagram: −1 ∼ r π (U) ' U × A (1.1) π pr1 U −1 where pr1 denotes the first projection. We call π (U) ! U the restriction of the vector bundle π : E ! X onto U, denoted by EjU . r is locally constant, hence is constant on every irreducible component of X. If it is constant everywhere on X, we call r the rank of the vector bundle. 1 The following lemma tells us how local trivializations of a vector bundle glue together on the entire space X.
    [Show full text]
  • Stable Isomorphism Vs Isomorphism of Vector Bundles: an Application to Quantum Systems
    Alma Mater Studiorum · Universita` di Bologna Scuola di Scienze Corso di Laurea in Matematica STABLE ISOMORPHISM VS ISOMORPHISM OF VECTOR BUNDLES: AN APPLICATION TO QUANTUM SYSTEMS Tesi di Laurea in Geometria Differenziale Relatrice: Presentata da: Prof.ssa CLARA PUNZI ALESSIA CATTABRIGA Correlatore: Chiar.mo Prof. RALF MEYER VI Sessione Anno Accademico 2017/2018 Abstract La classificazione dei materiali sulla base delle fasi topologiche della materia porta allo studio di particolari fibrati vettoriali sul d-toro con alcune strut- ture aggiuntive. Solitamente, tale classificazione si fonda sulla nozione di isomorfismo tra fibrati vettoriali; tuttavia, quando il sistema soddisfa alcune assunzioni e ha dimensione abbastanza elevata, alcuni autori ritengono in- vece sufficiente utilizzare come relazione d0equivalenza quella meno fine di isomorfismo stabile. Scopo di questa tesi `efissare le condizioni per le quali la relazione di isomorfismo stabile pu`osostituire quella di isomorfismo senza generare inesattezze. Ci`onei particolari casi in cui il sistema fisico quantis- tico studiato non ha simmetrie oppure `edotato della simmetria discreta di inversione temporale. Contents Introduction 3 1 The background of the non-equivariant problem 5 1.1 CW-complexes . .5 1.2 Bundles . 11 1.3 Vector bundles . 15 2 Stability properties of vector bundles 21 2.1 Homotopy properties of vector bundles . 21 2.2 Stability . 23 3 Quantum mechanical systems 28 3.1 The single-particle model . 28 3.2 Topological phases and Bloch bundles . 32 4 The equivariant problem 36 4.1 Involution spaces and general G-spaces . 36 4.2 G-CW-complexes . 39 4.3 \Real" vector bundles . 41 4.4 \Quaternionic" vector bundles .
    [Show full text]
  • Surface Water
    Chapter 5 SURFACE WATER Surface water originates mostly from rainfall and is a mixture of surface run-off and ground water. It includes larges rivers, ponds and lakes, and the small upland streams which may originate from springs and collect the run-off from the watersheds. The quantity of run-off depends upon a large number of factors, the most important of which are the amount and intensity of rainfall, the climate and vegetation and, also, the geological, geographi- cal, and topographical features of the area under consideration. It varies widely, from about 20 % in arid and sandy areas where the rainfall is scarce to more than 50% in rocky regions in which the annual rainfall is heavy. Of the remaining portion of the rainfall. some of the water percolates into the ground (see "Ground water", page 57), and the rest is lost by evaporation, transpiration and absorption. The quality of surface water is governed by its content of living organisms and by the amounts of mineral and organic matter which it may have picked up in the course of its formation. As rain falls through the atmo- sphere, it collects dust and absorbs oxygen and carbon dioxide from the air. While flowing over the ground, surface water collects silt and particles of organic matter, some of which will ultimately go into solution. It also picks up more carbon dioxide from the vegetation and micro-organisms and bacteria from the topsoil and from decaying matter. On inhabited watersheds, pollution may include faecal material and pathogenic organisms, as well as other human and industrial wastes which have not been properly disposed of.
    [Show full text]
  • LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The
    LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class of fibrations given by fiber bundles. Fiber bundles play an important role in many geometric contexts. For example, the Grassmaniann varieties and certain fiber bundles associated to Stiefel varieties are central in the classification of vector bundles over (nice) spaces. The fact that fiber bundles are examples of Serre fibrations follows from Theorem ?? which states that being a Serre fibration is a local property. 1. Fiber bundles and principal bundles Definition 6.1. A fiber bundle with fiber F is a map p: E ! X with the following property: every ∼ −1 point x 2 X has a neighborhood U ⊆ X for which there is a homeomorphism φU : U × F = p (U) such that the following diagram commutes in which π1 : U × F ! U is the projection on the first factor: φ U × F U / p−1(U) ∼= π1 p * U t Remark 6.2. The projection X × F ! X is an example of a fiber bundle: it is called the trivial bundle over X with fiber F . By definition, a fiber bundle is a map which is `locally' homeomorphic to a trivial bundle. The homeomorphism φU in the definition is a local trivialization of the bundle, or a trivialization over U. Let us begin with an interesting subclass. A fiber bundle whose fiber F is a discrete space is (by definition) a covering projection (with fiber F ). For example, the exponential map R ! S1 is a covering projection with fiber Z. Suppose X is a space which is path-connected and locally simply connected (in fact, the weaker condition of being semi-locally simply connected would be enough for the following construction).
    [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]
  • 3D Modeling: Surfaces
    CS 430/536 Computer Graphics I Overview • 3D model representations 3D Modeling: • Mesh formats Surfaces • Bicubic surfaces • Bezier surfaces Week 8, Lecture 16 • Normals to surfaces David Breen, William Regli and Maxim Peysakhov • Direct surface rendering Geometric and Intelligent Computing Laboratory Department of Computer Science Drexel University 1 2 http://gicl.cs.drexel.edu 1994 Foley/VanDam/Finer/Huges/Phillips ICG 3D Modeling Representing 3D Objects • 3D Representations • Exact • Approximate – Wireframe models – Surface Models – Wireframe – Facet / Mesh – Solid Models – Parametric • Just surfaces – Meshes and Polygon soups – Voxel/Volume models Surface – Voxel – Decomposition-based – Solid Model • Volume info • Octrees, voxels • CSG • Modeling in 3D – Constructive Solid Geometry (CSG), • BRep Breps and feature-based • Implicit Solid Modeling 3 4 Negatives when Representing 3D Objects Representing 3D Objects • Exact • Approximate • Exact • Approximate – Complex data structures – Lossy – Precise model of – A discretization of – Expensive algorithms – Data structure sizes can object topology the 3D object – Wide variety of formats, get HUGE, if you want each with subtle nuances good fidelity – Mathematically – Use simple – Hard to acquire data – Easy to break (i.e. cracks represent all primitives to – Translation required for can appear) rendering – Not good for certain geometry model topology applications • Lots of interpolation and and geometry guess work 5 6 1 Positives when Exact Representations Representing 3D Objects • Exact
    [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]