DOCSLIB.ORG

Arxiv:Math/0411115V2

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:Math/0411115V2 Table of Contents for the Handbook of Knot Theory William W. Menasco and Morwen B. Thistlethwaite, Editors (1) Colin Adams, Hyperbolic knots (2) Joan S. Birman and Tara Brendle, Braids: a survey (3) John Etnyre, Legendrian and transversal knots (4) Greg Friedman, Knot spinning (5) Jim Hoste, The enumeration and classification of knots and links (6) Louis Kauffman, Knot Diagrammatics (7) Charles Livingston, A survey of classical knot concordance (8) Lee Rudolph, Knot theory of complex plane curves (9) Marty Scharlemann, Thin position in the theory of classical knots (10) Jeff Weeks, Computation of hyperbolic structures in knot theory arXiv:math/0411115v2 [math.GT] 7 Nov 2004 Knot theory of complex plane curves Lee Rudolph 1 Department of Mathematics & Computer Science and Department of Psychology, Clark University, Worcester MA 01610 USA Abstract The primary objects of study in the “knot theory of complex plane curves” are C-links: links (or knots) cut out of a 3-sphere in C2 by complex plane curves. There are two very different classes of C-links, transverse and totally tangential. Transverse C-links are naturally oriented. There are many natural classes of examples: links of singularities; links at infinity; links of divides, free divides, tree divides, and graph divides; and—most generally—quasipositive links. Totally tangential C-links are unoriented but naturally framed; they turn out to be precisely the real-analytic Legendrian links, and can profitably be investigated in terms of certain closely associated transverse C-links. The knot theory of complex plane curves is attractive not only for its own internal results, but also for its intriguing relationships and interesting contributions else- where in mathematics. Within low-dimensional topology, related subjects include braids, concordance, polynomial invariants, contact geometry, fibered links and open books, and Lefschetz pencils. Within low-dimensional algebraic and analytic geo- metry, related subjects include embeddings and injections of the complex line in the complex plane, line arrangements, Stein surfaces, and Hilbert’s 16th problem. There is even some experimental evidence that nature favors quasipositive knots. Key words: Arrangement, braid, braid monodromy, braided surface, Chisini’s statement, C-link, Hilbert’s 16th problem, Jacobian conjecture, knot, labyrinth, link, link at infinity, link of indeterminacy, Milnor map, Milnor’s question, monodromy, plane curve, quasipositivity, singularity, Thom conjecture, Thurston–Bennequin invariant, unknotting number, Zariski conjecture 2000 MSC: Primary 57M25, Secondary 14B05, 20F36, 32S22, 32S55, 51M99 Email address: [email protected] (Lee Rudolph). 1 During the preparation and completion of this survey, the author was partially supported by the Fonds National Suisse and by a National Science Foundation Interdisciplinary Grant in the Mathematical Sciences (DMS-0308894). Foreword In the past two decades, knot theory in general has seen much progress and many changes. “Classical knot theory”—the study of knots as objects in their own right—has taken great strides, documented throughout this Handbook (see the contributions by Birman and Brendle, Hoste, Kauffman, Livingston, and Scharlemann). Simultaneously, there have been extraordinarily wide and deep developments in what might be called “modern knot theory”: the study of knots and links in the presence of extra structure, 2 for instance, a hyperbolic metric on the knot complement (as in the articles by Adams and Weeks) or a contact structure on the knot’s ambient 3-sphere (as in the article by Etnyre). In these terms, the knot theory of complex plane curves is solidly part of modern knot theory—the knots and links in question are C-links, and the extra structures variously algebraic, analytic, and geometric. “Some knot theory of complex plane curves” (Rudolph, 1983d) was a broad view of the state of the art in 1982. Here I propose to look at the subject through a narrower lens, that of quasipositivity. §1 is devoted to general nota- tions and definitions. §2 is a treatment of braids and braided surfaces tailored to quasipositivity. 3 General transverse C-links are constructed and described in §3, while §4 is a brief look at the special transverse C-links that arise from complex algebraic geometry “in the small” and “in the large”—to wit, links of singularities and links at infinity. 4 Totally tangential C-links are constructed and described in §5. The material in §§3–5 is related to other research areas in §6. In §7 I give some fairly explicit, somewhat programmatic suggestions of directions for future research in the knot theory of complex plane curves. Original texts of some motivating problems in the knot theory of complex plane curves are collected in an Appendix. This survey concludes with an index of definitions and notations and a bibliography. Open questions are dis- tributed throughout. 2 Some observers have also detected “postmodern knot theory”: the study of extra structure in the absence of knots. 3 Consult Birman and Brendle for a deeper and broader account of braid theory. 4 One consequence of this survey’s bias towards quasipositivity is a de-emphasis of other aspects of the knot theory of links of singularities and links at infinity; the reader is referred to Boileau and Fourrier (1998) (who include sections on both these topics), to the discussions of singularities and their higher-dimensional analogues by Durfee (1999, §2) and Neumann (2001, §1), and of course to the extensive literature on both subjects—particularly links of singularities—referenced in those articles. ii Contents 1 Preliminaries 1 1.1 Sets and groups 1 1.2 Spaces 3 1.3 Smooth maps 5 1.4 Knots, links, and Seifert surfaces 11 1.5 Framed links; Seifert forms 17 1.6 Fibered links, fiber surfaces, and open books 17 1.7 Polynomial invariants of knots and links 18 1.8 Polynomial and analytic maps; algebraic and analytic sets 20 1.9 Configuration spaces and spaces of monic polynomials 23 1.10 Contact 3-manifolds, Stein domains, and Stein surfaces 26 2 Braids and braided surfaces 29 2.1 Braid groups 29 2.2 Geometric braids and closed braids 30 2.3 Bands and espaliers 30 2.4 Embedded bandwords and braided Seifert surfaces 33 2.5 Plumbing and braided Seifert surfaces 36 2.6 Labyrinths, braided surfaces in bidisks, and braided ribbons 37 3 Transverse C-links 41 3.1 Transverse C-links are the same as quasipositive links 42 3.2 Slice genus and unknotting number of transverse C-links 42 3.3 Strongly quasipositive links 43 3.3.1 S-equivalence and strong quasipositivity 44 3.3.2 Characterization of strongly quasipositive links 45 iii 3.3.3 Quasipositive annuli 45 3.3.4 Quasipositive plumbing 46 3.3.5 Positive links are strongly quasipositive 48 3.3.6 Quasipositive pretzels 48 3.3.7 Links of divides 49 3.4 Non-strongly quasipositive links 50 4 Complex plane curves in the small and in the large 51 4.1 Links of singularities as transverse C-links 51 4.2 Links at infinity as transverse C-links 52 5 Totally tangential C-links 53 6 Relations to other research areas 55 6.1 Low-dimensional real algebraic geometry; Hilbert’s 16th problem. 55 6.2 The Zariski Conjecture; knotgroups of complex plane curves 55 6.3 Keller’s Jacobian Problem; embeddings and injections of C in C2 56 6.4 Chisini’s statement; braid monodromy 56 6.5 Stein surfaces 57 7 The future of the knot theory of complex plane curves 58 7.1 Transverse C-links and their Milnor maps. 58 7.2 Transverse C-links as links at infinity in the complex hyperbolic plane. 58 7.3 Spaces of C-links 59 7.4 Other questions. 59 Acknowledgements 61 A And now a few words from our inspirations 62 A.1 Hilbert’s 16th Problem (1891, 1900) 62 A.2 Zariski’s Conjecture (1929) 62 iv A.3 Keller’s Jacobian Problem (1939) 63 A.4 Chisini’s Statement (1954) 63 A.5 Milnor’s Question (1968) 64 A.6 The Thom Conjecture (c. 1977) 64 List of Figures 66 References 67 Index of Definitions and Notations 82 v 1 Preliminaries Terms being defined are set in this typeface; mere emphasis is indicated thus. A definition labelled as such is either of greater (local) significance, or non- standard to an extent which might lead to confusion; labelled or not, poten- tially startling definitions and notations are flagged with the symbol in the margins of both the text and the index. The end or omission of a proof is signalled by 2. Both A := B and B =: A mean “A is defined as B”. The symbol =∼ is reserved for a natural isomorphism (in an appropriate category). 1.1 Sets and groups The set of real (resp., complex) numbers is R (resp., C); write z 7→ z for complex conjugation C → C, and Re (resp., Im) for real part (resp., imaginary part) C → R. For x ∈ R, let R≥x := {t ∈ R : t ≥ x}, R>x := {t ∈ R : t > x}, R≤x := {t ∈ R : t ≤ x}, R<x := {t ∈ R : t < x}. Let C± := {w ∈ C : ± Im w ≥ 0}. Let N := Z ∩ R≥0 and N>0 := N ∩ R>0. For n ∈ N, let n := {k ∈ N>0 : k ≤ n}. Denote projection on the ith factor of a cartesian Rn Cn product by pri. The Euclidian norm on or is k·k. For u, v in a real vectorspace, [u, v] is {(1 − t)u + tv : 0 ≤ t ≤ 1}. Let X be a set. Denote the identity map X → X by idX , and the cardinality of X by card(X). A characteristic function on X is an element of {0, 1}X; for ,Y ⊂ X, let cY֒→X : X → {0, 1} denote the characteristic function of Y in X so cY֒→X (x)=1 for x ∈ Y , cY֒→X (x)=0 for x ∈ X \ Y .
Load more

Recommended publications
  • Arxiv:1510.08499V2 [Math.KT]
    THE HOMOGENEOUS SPECTRUM OF MILNOR-WITT K-THEORY RILEY THORNTON Abstract. For any field F (of characteristic not equal to 2), we determine the MW Zariski spectrum of homogeneous prime ideals in K∗ (F ), the Milnor-Witt K-theory ring of F . As a corollary, we recover Lorenz and Leicht’s classical result on prime ideals in the Witt ring of F . Our computation can be seen as a first step in Balmer’s program for studying the tensor triangular geometry of the stable motivic homotopy category. 1. Introduction In this note we completely determine the Zariski spectrum of homogeneous prime MW ideals in K∗ (F ), the Milnor-Witt K-theory of a field F . This graded ring con- MW ∼ tains information related to quadratic forms over F — in fact, K0 (F ) = GW (F ), the Grothendieck-Witt ring of F — and the Milnor K-theory of F , which appears MW as a natural quotient of K∗ (F ). While the prime ideals in GW (F ) are known classically via a theorem of Lorenz and Leicht [4] (see also [1, Remark 10.2]), we h MW discover a more refined structure in Spec (K∗ (F )), including a novel class of characteristic 2 primes indexed by the orderings on F which all collapse to the fundamental ideal I ⊆ GW (F ) in degree 0. MW Much of the interest in K∗ (F ) stems from the distinguished role it plays A1 in Voevodsky’s stable motivic homotopy category, SH (F ). Indeed, a theorem of MW Morel [7, §6, p 251] identifies K∗ (F ) with a graded ring of endomorphisms of the A1 A1 unit object in SH (F ).
    [Show full text]
  • Intelligence of Low Dimensional Topology 2006 : Hiroshima, Japan
    INTELLIGENCE OF LOW DIMENSIONAL TOPOLOGY 2006 SERIES ON KNOTS AND EVERYTHING Editor-in-charge: Louis H. Kauffman (Univ. of Illinois, Chicago) The Series on Knots and Everything: is a book series polarized around the theory of knots. Volume 1 in the series is Louis H Kauffman’s Knots and Physics. One purpose of this series is to continue the exploration of many of the themes indicated in Volume 1. These themes reach out beyond knot theory into physics, mathematics, logic, linguistics, philosophy, biology and practical experience. All of these outreaches have relations with knot theory when knot theory is regarded as a pivot or meeting place for apparently separate ideas. Knots act as such a pivotal place. We do not fully understand why this is so. The series represents stages in the exploration of this nexus. Details of the titles in this series to date give a picture of the enterprise. Published: Vol. 1: Knots and Physics (3rd Edition) by L. H. Kauffman Vol. 2: How Surfaces Intersect in Space — An Introduction to Topology (2nd Edition) by J. S. Carter Vol. 3: Quantum Topology edited by L. H. Kauffman & R. A. Baadhio Vol. 4: Gauge Fields, Knots and Gravity by J. Baez & J. P. Muniain Vol. 5: Gems, Computers and Attractors for 3-Manifolds by S. Lins Vol. 6: Knots and Applications edited by L. H. Kauffman Vol. 7: Random Knotting and Linking edited by K. C. Millett & D. W. Sumners Vol. 8: Symmetric Bends: How to Join Two Lengths of Cord by R. E. Miles Vol. 9: Combinatorial Physics by T.
    [Show full text]
  • The Universal Sl2 Invariant and Milnor Invariants
    2nd Reading October 19, 2016 16:3 WSPC/S0129-167X 133-IJM 1650090 International Journal of Mathematics Vol. 27, No. 11 (2016) 1650090 (37 pages) c World Scientific Publishing Company DOI: 10.1142/S0129167X16500907 The universal sl2 invariant and Milnor invariants Jean-Baptiste Meilhan Institut Fourier, Universit´e Grenoble Alpes F-38000 Grenoble, France [email protected] Sakie Suzuki The Hakubi Center for Advanced Research, Kyoto University Yoshida-honmachi, Sakyo-Ku, Kyoto 606-8501, Japan Research Institute for Mathematical Sciences Kyoto University, Kyoto 606-8502, Japan [email protected] Received 7 January 2016 Accepted 30 August 2016 Published 21 October 2016 The universal sl2 invariant of string links has a universality property for the colored Jones polynomial of links, and takes values in the -adic completed tensor powers of the quantized enveloping algebra of sl2. In this paper, we exhibit explicit relationships between the universal sl2 invariant and Milnor invariants, which are classical invariants generalizing the linking number, providing some new topological insight into quantum invariants. More precisely, we define a reduction of the universal sl2 invariant, and show Int. J. Math. Downloaded from www.worldscientific.com how it is captured by Milnor concordance invariants. We also show how a stronger reduction corresponds to Milnor link-homotopy invariants. As a byproduct, we give explicit criterions for invariance under concordance and link-homotopy of the universal by UNIVERSITE JOSEPH FOURIER on 10/24/16. For personal use only. sl2 invariant, and in particular for sliceness. Our results also provide partial constructions for the still-unknown weight system of the universal sl2 invariant.
    [Show full text]
  • Vortex Knot Model, Exotic Sphere, Lattice, Torus Knots, Homology
    International Journal of Theoretical and Mathematical Physics 2018, 8(1): 1-11 DOI: 10.5923/j.ijtmp.20180801.01 The Truth of Mathematics & Our Asymmetrical Multi-verse of 11 dim! Salahdin Daouairi Olympics Math Training, USA Abstract The goal in this article is to interpret, extend, develop and trace the theoretical path of the numerical puzzle model discovered in the previous article, a puzzle inside a puzzle under the article “Equation of everything, code unlocked” [1] that will concentrate on the fundamental structure of mathematics and its coherent relationship with nature! The universe is just a physical copy of the numerical system projection, mathematical philosophical arguments that was predicted by Pythagoras and Plato! The paper is a physical model of the mathematics itself! We will show that the numerical system is in dynamic asymmetrical invariant and interconnected through a homotopy for a connected path generated by Paul Dirac belt trick along the transformation of SO(3) generated by the axis! Even the mathematics replicates itself! The sphere is just the exotic Milnor 7 dimensional sphere connected to the Torus knots (2, 3) with a 5 fold symmetry and related to the homology Poincare sphere , the discrete unimodular lattice – singularity, A, D, E and platonic solids. The twisted, curved spacetime is defined from two important and special interconnected lattices in dynamic namely the square lattice ℤ (counter of time) and the hexagonal lattice to define Space and when it degenerates it will simply describe the dynamical of the system’s axis described by a trefoil knot which is the algebraic curve and the bridge link of the asymmetrical system! The system describes a vortex knots model and looks chaotic comparable to the “case of Lorenz knots” generated by the dynamical of a combination of elliptical asymmetric connected encoded knots parameterizable by Fourier transform polynomials due to the modularity and by the dynamical of hyperbolical Fibonacci modular knots inside a closed space in dynamic.
    [Show full text]
  • On the Semicontinuity of the Mod 2 Spectrum of Hypersurface Singularities
    J. ALGEBRAIC GEOMETRY 24 (2015) 379–398 S 1056-3911(2015)00640-3 Article electronically published on January 8, 2015 ON THE SEMICONTINUITY OF THE MOD 2 SPECTRUM OF HYPERSURFACE SINGULARITIES MACIEJ BORODZIK, ANDRAS´ NEMETHI,´ AND ANDREW RANICKI Abstract We use purely topological methods to prove the semicontinuity of the mod 2 spectrum of local isolated hypersurface singularities in Cn+1, using Seifert forms of high-dimensional non-spherical links, the Levine– Tristram signatures and the generalized Murasugi–Kawauchi inequality. 1. Introduction The present article extends the results of [BoNe12], valid for plane curves, to arbitrary dimensions. The main message is that the semicontinuity of the mod 2 Hodge spectrum (associated with local isolated singularities or with affine polynomials with some ‘tameness’ condition) is topological in nature, although its very definition and all known ‘traditional’ proofs sit deeply in the analytic/algebraic theory. Usually, the spectrum cannot be deduced from the topological data. In order to make clear these differences, let us briefly review the relevant invariants of a local isolated hypersurface singularity f :(Cn+1, 0) → (C, 0). The ‘homological package of the embedded topological type’ of an isolated hypersurface singularity contains information about the vanishing cohomology (cohomology of the Milnor fiber), the algebraic monodromy acting on it, and different polarizations of it including the intersection form and the (linking) Seifert form. In fact, the Seifert form determines all this homological data. See e.g. [AGV84]. On the other hand, the vanishing cohomology carries a mixed Hodge struc- ture polarized by the intersection form and the Seifert form, and it is compat- ible with the monodromy action too.
    [Show full text]
  • 1. Introduction. the Inertia Group I(M) of an Oriented Closed Smooth Manifold M Is Defined
    J. Math. Soc. Japan Vol. 21, No. 1, 1969 On the inertia groups of homology tori By Katsuo KAWAKUBO (Received Feb. 15, 1968) § 1. Introduction. The inertia group I(M) of an oriented closed smooth manifold M is defined N to be the subgroup of E consisting of those homotopy spheres S which satisfy the condition MSS= M, where On is the group of homotopy n-spheres. This group I(M) is one of the diffeomorphy invariants of M. The inertia groups of manifolds have been studied by I. Tamura [14], C. T. C. Wall [18], S. P. Novikov [10], W. Browder [1] and A. Kosinski [6]. The following problems have been proposed by them as important ones : (I) Is it combinatorially (or topologically) invariant? (II) Does it depend on more than the tangential homotopy equivalence class at the manifold? (W. Browder cf. [7]) (III) Is it contained in 0(a~r), if we restrict the manifold within it- mani-folds?(S. P. Novikov [10]) In this paper the following facts will be proved which answer the problems above. The inertia groin of S 3X S 14 is not combinatorially (therefore not topologi- cally) invariant and depends on more than the tangential homotopy equivalence class of S 3 XS 14 For ,514 S14, I(S3xS14) contains a homotopy sphere S17 which does not be- long to 017(air). The author wishes to express his hearty thanks to Professor I. Tamura for suggesting the viewpoint of this research and for showing the attitude of mind in mathematics and also to Mr.
    [Show full text]
  • Deformation of Singularities and the Homology of Intersection Spaces
    DEFORMATION OF SINGULARITIES AND THE HOMOLOGY OF INTERSECTION SPACES MARKUS BANAGL AND LAURENTIU MAXIM Abstract. While intersection cohomology is stable under small resolutions, both ordi- nary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity, we show that the first author’s cohomology of intersection spaces is stable under smooth deformations in all degrees except possibly the middle, and in the middle degree precisely when the monodromy action on the cohomology of the Milnor fiber is trivial. In many situations, the isomorphism is shown to be a ring homomorphism induced by a continuous map. This is used to show that the rational cohomology of intersection spaces can be endowed with a mixed Hodge structure compatible with Deligne’s mixed Hodge structure on the ordinary cohomology of the singular hypersurface. Contents 1. Introduction 1 2. Background on Intersection Spaces 5 3. Background on Hypersurface Singularities 9 4. Deformation Invariance of the Homology of Intersection Spaces 13 5. Maps from Intersection Spaces to Smooth Deformations 19 6. Deformation of Singularities and Intersection Homology 27 7. Higher-Dimensional Examples: Conifold Transitions 29 References 31 1. Introduction arXiv:1101.4883v1 [math.AT] 25 Jan 2011 Given a singular complex algebraic variety V , there are essentially two systematic geo- metric processes for removing the singularities: one may resolve them, or one may pass to a smooth deformation of V . Ordinary homology is highly unstable under both processes. This is evident from duality considerations: the homology of a smooth variety satisfies Poincar´eduality, whereas the presence of singularities generally prevents Poincar´eduality.
    [Show full text]
  • Arxiv:2010.05120V1 [Math.GT] 10 Oct 2020
    EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS DANICA KOSANOVIĆ Abstract. We show that the invariants 4E= of long knots in a 3-manifold, produced from embedding calculus, are surjective for all = 1. On one hand, this solves some of the remaining ≥ open cases of the connectivity estimates of Goodwillie and Klein, and on the other hand, it confirms one half of the conjecture by Budney, Conant, Scannell and Sinha that for classical knots 4E= are universal additive Vassiliev invariants over the integers. We actually study long knots in any manifold of dimension at least 3 and develop a geometric understanding of the layers in the embedding calculus tower and their first non-trivial homotopy groups, given as certain groups of decorated trees. Moreover, in dimension 3 we give an explicit interpretation of 4E= using capped grope cobordisms and our joint work with Shi and Teichner. The main theorem of the present paper says that the first possibly non-vanishing embedding calculus invariant 4E= of a knot which is grope cobordant to the unknot is precisely the equivalence class of the underlying decorated tree of the grope in the homotopy group of the layer. As a corollary, we give a sufficient condition for the mentioned conjecture to hold over a coefficient group. By recent results of Boavida de Brito and Horel this is fulfilled for the rationals, and for the ?-adic integers in a range, confirming that the embedding calculus invariants are universal rational additive Vassiliev invariants, factoring configuration space integrals. In contrast to the study of spaces Map %," of maps between topological spaces, which gave rise to ¹ º numerous techniques of homotopy theory, spaces Emb %," of smooth embeddings of manifolds ¹ º seem less tractable from the homotopy viewpoint.
    [Show full text]
  • Download The
    Essential dimension and classifying spaces of algebras by Abhishek Kumar Shukla BS-MS, Indian Institute of Science Education and Research Pune, 2016 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY in The Faculty of Graduate and Postdoctoral Studies (Mathematics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) April 2020 © Abhishek Kumar Shukla 2020 The following individuals certify that they have read, and recommend to the Faculty of Graduate and Postdoctoral Studies for acceptance, the dissertation entitled: Essential dimension and classifying spaces of algebras submitted by Abhishek Kumar Shukla in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics Examining Committee: Zinovy Reichstein, Professor, Department of Mathematics, UBC Supervisor Kai Behrend, Professor, Department of Mathematics, UBC Supervisory Committee Member Rachel Ollivier, Professor, Department of Mathematics, UBC Supervisory Committee Member Ben Williams, Professor, Department of Mathematics, UBC University Examiner Ian Blake, Honorary Professor, Department of Electrical and Computer Engineering, UBC University Examiner ii Abstract The overarching theme of this thesis is to assign, and sometimes find, numerical values which reflect complexity of algebraic objects. The main objects of interest are field extensions of finite degree, and more generally, ´etalealgebras of finite degree over a ring. Of particular interest to us is the invariant known as essential dimension. The essential dimension of separable field extensions was introduced by J. Buhler and Z. Reichstein in their landmark paper [BR97]. A major (still) open problem arising from that work is to determine the essential dimension of a general separable field extension of degree n (or equivalently, the essential dimension of the symmetric group).
    [Show full text]
  • Isolated Optical Vortex Knots Mark R
    LETTERS PUBLISHED ONLINE: 17 JANUARY 2010 | DOI: 10.1038/NPHYS1504 Isolated optical vortex knots Mark R. Dennis1*, Robert P. King1,2, Barry Jack3, Kevin O’Holleran3 and Miles J. Padgett3* Natural and artificially created light fields in three-dimensional describe are fibred knots4. As such, they contrast with optical space contain lines of zero intensity, known as optical beams studied previously16,17, in which the vortex knots and vortices1–3. Here, we describe a scheme to create optical beams links were of necessity threaded by infinite vortex lines, and so with isolated optical vortex loops in the forms of knots and have no underlying wavefront topology of interest, and were links using algebraic topology. The required complex fields with only torus knots. fibred knots and links4 are constructed from abstract functions In knot theory, complex-valued scalar functions of three- with braided zeros and the knot function is then embedded in dimensional (3D) space with knotted zero lines are found as a propagating light beam. We apply a numerical optimization polynomial expansions around singularities in high-dimensional algorithm to increase the contrast in light intensity, enabling spaces, called Milnor maps18. This approach, originally restricted to us to observe several optical vortex knots. These knotted a class of cable knots4 (including the torus knots), was subsequently nodal lines, as singularities of the wave’s phase, determine the extended19,20 to include other fibred knots including the figure-8 topology of the wave field in space, and should have analogues knot. We mathematically realize these knotted and linked zeroes by in other three-dimensional wave systems such as superfluids5 devising complex functions in an abstract 3D space with zero lines and Bose–Einstein condensates6,7.
    [Show full text]
  • Arxiv:Math/0311134V1 [Math.GT] 9 Nov 2003 N Nyif Only and O General for Fsc a Stemrenvkvnumber Cr Morse–Novikov of the Number Is Minimum Map the a Points)
    CONSTRUCTIONS OF MORSE MAPS FOR KNOTS AND LINKS, AND UPPER BOUNDS ON THE MORSE–NOVIKOV NUMBER MIKAMI HIRASAWA AND LEE RUDOLPH Abstract. The Morse–Novikov number MN(L) of an oriented link L ⊂ S3 is the minimum number of critical points of a Morse map S3 \ L → S1 representing the 3 class of a Seifert surface for L in H1(S ,L; Z) (e.g., MN(L) = 0 if and only if L is fibered). We develop various constructions of Morse maps (Milnor maps, Stallings twists, splicing along a link which is a closed braid with respect to a Morse map, Murasugi sums, cutting a Morse map along an arc on a page) and use them to bound Morse–Novikov numbers from above in terms of other knot and link invariants (free genus, crossing number, braid index, wrapping genus and layered wrapping genus). 1. Introduction; statement of results 3 1 3 ∼ An oriented link L ⊂ S determines a cohomology class ξL ∈ H (S \ L; Z) = 3 3 1 π0(Map(S \ L,K(Z, 1))). The homotopy class of maps S \ L → S = K(Z, 1) cor- responding to ξL contains smooth maps which are Morse (that is, have no degenerate critical points), and which restrict to a standard fibration in a neighborhood of L (so they have only finitely many critical points). The minimum number of critical points of such a map is the Morse–Novikov number MN(L). Tautologously, MN(L) = 0 if and only if L is a fibered link. It is natural to ask how to calculate, or estimate, MN(L) for general L.
    [Show full text]
  • Intersection Spaces, Perverse Sheaves and Type IIB String Theory
    INTERSECTION SPACES, PERVERSE SHEAVES AND TYPE IIB STRING THEORY MARKUS BANAGL, NERO BUDUR, AND LAURENT¸IU MAXIM Abstract. The method of intersection spaces associates rational Poincar´ecomplexes to singular stratified spaces. For a conifold transition, the resulting cohomology theory yields the correct count of all present massless 3-branes in type IIB string theory, while intersection cohomology yields the correct count of massless 2-branes in type IIA the- ory. For complex projective hypersurfaces with an isolated singularity, we show that the cohomology of intersection spaces is the hypercohomology of a perverse sheaf, the inter- section space complex, on the hypersurface. Moreover, the intersection space complex underlies a mixed Hodge module, so its hypercohomology groups carry canonical mixed Hodge structures. For a large class of singularities, e.g., weighted homogeneous ones, global Poincar´eduality is induced by a more refined Verdier self-duality isomorphism for this perverse sheaf. For such singularities, we prove furthermore that the pushforward of the constant sheaf of a nearby smooth deformation under the specialization map to the singular space splits off the intersection space complex as a direct summand. The complementary summand is the contribution of the singularity. Thus, we obtain for such hypersurfaces a mirror statement of the Beilinson-Bernstein-Deligne decomposition of the pushforward of the constant sheaf under an algebraic resolution map into the intersection sheaf plus contributions from the singularities. Contents 1. Introduction 2 2. Prerequisites 5 2.1. Isolated hypersurface singularities 5 2.2. Intersection space (co)homology of projective hypersurfaces 6 2.3. Perverse sheaves 7 2.4. Nearby and vanishing cycles 8 2.5.
    [Show full text]