{"id":2722,"date":"2016-07-15T01:00:28","date_gmt":"2016-07-15T01:00:28","guid":{"rendered":"http:\/\/blogs.ams.org\/visualinsight\/?p=2722"},"modified":"2016-10-30T02:16:43","modified_gmt":"2016-10-30T02:16:43","slug":"labs-septic","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/visualinsight\/2016\/07\/15\/labs-septic\/","title":{"rendered":"Labs Septic"},"content":{"rendered":"<div align=\"center\">\n<div id=\"attachment_2734\" style=\"width: 760px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs-septic.png\"><img decoding=\"async\" aria-describedby=\"caption-attachment-2734\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs-septic.png\" alt=\"Labs Septic - Abdelaziz Nait Merzouk\" width=\"750\" class=\"size-full wp-image-2734\" srcset=\"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs-septic.png 1280w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs-septic-300x188.png 300w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs-septic-768x480.png 768w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs-septic-1024x640.png 1024w\" sizes=\"(max-width: 1280px) 100vw, 1280px\" \/><\/a><p id=\"caption-attachment-2734\" class=\"wp-caption-text\">Labs Septic &#8211; Abdelaziz Nait Merzouk<\/p><\/div>\n<\/div>\n<p>A <b>septic surface<\/b> is one defined by a polynomial equation of degree 7.  The <a href=\"http:\/\/mathworld.wolfram.com\/BarthSextic.html\">Labs septic<\/a>, drawn above by <a href=\"https:\/\/plus.google.com\/114982179961753756261\/posts\">Abdelaziz Nait Merzouk<\/a>, is the septic surface with the maximum known number of <b>ordinary double points<\/b>: that is, points where it looks like the origin of the cone in 3-dimensional space defined by<\/p>\n<p>$$  x^2 + y^2 = z^2 .$$<\/p>\n<p>It has 99 ordinary double points.  <\/p>\n<p>The Labs septic was discovered by <a href=\"http:\/\/www.algebraicsurface.net\/\">Oliver Labs<\/a> while he was writing his Ph.D. thesis under the direction of Duco van Straten.  The construction is explained here:<\/p>\n<p>&bull; Oliver Labs, <a href=\"http:\/\/www.arxiv.org\/abs\/math.AG\/0409348\/\">A septic with 99 real nodes<\/a>, <i>Rend. Sem. Mat. Univ. Padova<\/i> <b>116<\/b> (2006), 299&ndash;313.<\/p>\n<p>In a nutshell, he studied a 7-parameter family of septic surfaces having the dihedral group \\(\\mathrm{D}_7\\) as symmetries.  Using the computer algebra program <a href=\"https:\/\/www.singular.uni-kl.de\/\">Singular<\/a>, he found candidate surfaces having large numbers of ordinary double points over small finite fields.  Then he examined these candidates over the complex numbers.  The Labs septic actually has 100 ordinary double points over an algebraic extension of $\\mathbb{F}_5.$  Of these double points, 99 survive over the complex numbers, and all of these are defined over the real numbers.  <\/p>\n<p>The explicit formula for the Labs septic is rather complicated, but it can be found in his paper.    The current best upper bound on the maximum number of double points for a septic surface is 104.  This was first proved by Varchenko:<\/p>\n<p>&bull; Alexander N. Varchenko, On the semicontinuity of the spectrum and an upper bound for the number of singular points of a projective hypersurface, <i>J. Soviet Math.<\/i> <b>27<\/b> (1983), 735&ndash;739.<\/p>\n<p>Here is a picture of this surface drawn by Oliver Labs himself:<\/p>\n<div align=\"center\">\n<div id=\"attachment_2727\" style=\"width: 598px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs_septic_2.jpg\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2727\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs_septic_2.jpg\" alt=\"Labs Septic - Oliver Labs\" width=\"592\" height=\"592\" class=\"size-full wp-image-2727\" srcset=\"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs_septic_2.jpg 592w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs_septic_2-150x150.jpg 150w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs_septic_2-300x300.jpg 300w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs_septic_2-50x50.jpg 50w\" sizes=\"auto, (max-width: 592px) 100vw, 592px\" \/><\/a><p id=\"caption-attachment-2727\" class=\"wp-caption-text\">Labs Septic &#8211; Oliver Labs<\/p><\/div>\n<\/div>\n<p>This picture was made available with a <a href=\"http:\/\/creativecommons.org\/licenses\/by-nc-sa\/3.0\/\">Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported<\/a> license.  Labs has also made available a <a href=\"http:\/\/www.algebraicsurface.net\/images\/sept99.mpg\">mpg file<\/a> containing a movie of his septic, which makes it easier to visualize.  See also:<\/p>\n<p>&bull; Oliver Labs, <a href=\"http:\/\/www.algebraicsurface.net\/septics\/septics.php\">Septics with many singularities<\/a>.<\/p>\n<hr \/>\n<p><i>Visual Insight<\/i> is a place to share striking images that help explain advanced topics in mathematics. I\u2019m always looking for truly beautiful images, so if you know about one, please drop a comment <a href=\"http:\/\/blogs.ams.org\/visualinsight\/about-visual-insight\/\">here<\/a> and let me know!<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>A <b>septic surface<\/b> is one defined by a polynomial equation of degree 7.  The <a href=\"http:\/\/mathworld.wolfram.com\/BarthSextic.html\">Labs septic<\/a>, drawn above by Abdelaziz Nait Merzouk, is a septic surface with the maximum possible number of <b>ordinary double points<\/b>: that is, points where it looks like the origin of the cone in 3-dimensional space defined by \\( x^2 + y^2 = z^2\\).<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/visualinsight\/2016\/07\/15\/labs-septic\/><\/div>\n","protected":false},"author":66,"featured_media":2734,"comment_status":"open","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[15,2,12],"tags":[],"class_list":["post-2722","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-algebraic-geometry","category-images-library","category-surfaces"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/07\/labs-septic.png","jetpack_shortlink":"https:\/\/wp.me\/p42Vmc-HU","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2722","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/users\/66"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/comments?post=2722"}],"version-history":[{"count":15,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2722\/revisions"}],"predecessor-version":[{"id":2922,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2722\/revisions\/2922"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media\/2734"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media?parent=2722"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/categories?post=2722"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/tags?post=2722"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}