DOCSLIB.ORG

Arxiv:Math/0408283V1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:Math/0408283V1 LUIGI CREMONA AND CUBIC SURFACES IGOR V. DOLGACHEV Abstract. We discuss the contribution of Luigi Cremona to the early development of the theory of cubic surfaces. 1. A brief history In 1911 Archibald Henderson wrote in his book [Hen] “While it is doubteless true that the classification of cubic surfaces is complete, the number of papers dealing with these surfaces which continue to appear from year to year furnish abundant proof of the fact that they still possess much the same fascination as they did in the days of their discovery of the twenty-seven lines upon the cubic surface.” It is amazing that a similar statement can be repeated almost a hundred years later. Searching in MathSciNet for “cubic surfaces” and their close cousins “Del Pezzo surfaces” reveals 69 and 80 papers published in recent 10 years. Here are some of the highlights in the history of classical research on cubic surfaces before the work of Cremona. A good source is Pascal’s Repertorium [Pas]. 1849: Arthur Cayley communicates to George Salmon that a general cubic surface contains a finite number of lines. Salmon proves that the number of lines must be equal to 27. Salmon’s proof is presented in Cayley’s paper [Cay]. In the same paper Cayley shows that a general cubic surface admits 45 tritangent planes, i.e. planes planes which intersect the surface along the union of three lines. He gives a certain 4-parameter family of cubic arXiv:math/0408283v1 [math.AG] 20 Aug 2004 surfaces for which the equations of tritangent planes can be explicitly found and their coefficients are rational functions in parameters. In a paper published in the same year and in the same journal [Sal1] Salmon proves that not only a general but any nonsingular surface contains exactly 27 lines. He also finds the number of lines on 11 different types of singular surfaces. The discovery of 27 lines on a general cubic surface can be considered as the first non-trivial result on algebraic surfaces of order higher than 2. In fact, it can be considered as the beginning of modern algebraic geometry. Research is partially supported by NSF grant DMS-0245203. 1 2 IGORV.DOLGACHEV 1851: John Sylvester claims without proof that a general cubic surface can be written uniquely as a sum of 5 cubes of linear forms [Syl]: 3 3 3 3 3 F3 = L1 + L2 + L3 + L4 + L5. This was proven ten years later by Alfred Clebsch [Cle3]. The union of planes Li = 0 will be known as the Sylvester pentahedron of the cubic surface. 1854: Ludwig Schl¨afli finds about the 27 lines from correspondence with Jacob Steiner [Graf]. In his letters he communicates to Steiner some of his results on cubic surfaces which were published later in 1858 [Schl1]. For example he shows that a general cubic surface has 36 double-sixes of lines. A double-six is a pair of sets of 6 skew lines (sixes) such that each line from one set is skew to a unique line from the other set making a bijection between the two sets. He introduces a new notation for the 27 lines (ai, bi, cij , 1 ≤ i < j ≤ 6). In these notations the double-sixes are a1 ... a6 a b c c c c a a a c c c , i i kl km kn kp , i k l mn mp np b1 ... b6 ak bk cil cim cin cip ckl cik cil bp bn bm 1855: Hermann Grassmann proves that three collinear nets of planes generate a cubic surface. More precisely, let N1, N2, N2 be three general two-dimensional linear systems of planes in P3. Choose an isomorphism 2 2 3 φi : P → Ni for each i = 1, 2, 3 and consider rational map Φ : P − → P defined by Φ(x)= φ1(x) ∩ φ1(x) ∩ φ1(x). Grassmann proves that its image is a cubic surface in P3. 1856: Jacob Steiner [Ste] introduces 120 subsets of 9 lines which form two pairs of triples of tritangent planes (a Triederpaar). Each triple (a Trieder) consists of tritangent planes intersecting along a line not on the surface. In Schl¨afli’s notation they are ai bj cij cij ckl cmn ai bj cij bk cjk aj , cln cim cjk , bk al ckl cik ak bi ckm cjn cil cik cjl cmn This gives 120 essentially different representation of a general cubic surface by an equation of the form L1L2L3 + L4L5L6 = 0, where Li’s are linear forms. The existence of such a representation was already pointed out by Cayley [Cay] and Salmon [Sal1]. In the same memoir Steiner relates the Sylvester pentahedron with the linear system of polar quadrics of the cubic surface. He also studies pencils of conics on a general cubic surface. Most of his results were stated without proof. 1860 Salmon [Sal2] and Clebsch [Cle1],[Cle2] find invariants of cubic forms in 4 variables. The ring of invariants is generated by invariants of degrees 8, 16, 24, 32, 40, 100 where the square of the invariant of degree 100 is a polynomial in the remaining invariants. In modern terms this implies LUIGICREMONAANDCUBICSURFACES 3 that that the GIT-quotient of the projective space of cubic surfaces mod- ulo the group of projective transformations is isomorphic to the weighted projective space P(1, 2, 3, 4, 5). 1862: Fridericus August [Aug] proves that a general cubic surface can be projectively generated by three pencils of planes. 1863: Ludwig Schl¨afli [Schl2] classifies possible types of isolated singular points on cubic surfaces and their reality. 1863: Heinrich Schr¨oter [Schr] shows how to obtain the 27 lines on a cubic surface obtained by Grassmann’s construction and shows that there are exactly 6 triples of planes which intersect along a common line. The six lines form a half of a double-six. In modern terms this implies that the cubic surfaces are isomorphic to the blow-up of six points in projective plane. 1866 Alfred Clebsch [Cle4] proves that a general cubic surface is the image of a birational map from projective plane given by the linear system of cubics through 6 points. Using this he shows that in the lines ai in Schl¨afli’s notation are the images of the exceptional curves, the lines bi are the images of conics through 5 points, and the lines cij are the images of lines through two points. 1866: Luigi Cremona and Rudolf Sturm are awarded a Prize of Berlin Academie established by Steiner for their work on cubic surfaces. A large part of their work was dedicated to supplying proof of the results announced by Steiner. 1867 The work of Sturm has been published [Stu1]. 1868 The work of Cremona has been published [Cre1]. 2. Projective generatedness Let X be a cubic surface with 3 skew lines l1, l2, l3. Let Pi, i = 1, 2, 3 be three pencils of planes through the lines. A general plane π1 ∈ P1 and a general plane π2 ∈ P2 intersect along a line l. The line l intersects the cubic surface at 3 points, one on l1, one on l2 and the third one is the intersection point of two residual conics. Let p be the third point and π3 ∈ P3 be the plane through p. Then π1 ∩ π1 ∩ π3 = {p}. Consider the rational map 1 1 1 3 Ψ : P × P × P −→ P , (π1,π2,π3) 7→ π1 ∩ π1 ∩ π3. Let R be the graph of the map (π1,π2) 7→ π3, where π3 is the plane passing through p = π1 ∩π2 ∩X. Then the image of R under Ψ is X. The subvariety R ⊂ P1 × P1 × P1 defines a relation between 3 planes which was called by August [Aug] the duplo-projective relation. Cremona wants to show that August’s generatedness of X implies the Grassmann generatedness by three nets of planes. This proves that every general cubic can be obtained by Grassmann’s construction. Here is his beautiful argument. First, using the tritangent planes through the lines l1, l2, l3, he finds the lines lij on X which intersects li and lj but not three 4 IGORV.DOLGACHEV of them. Then he takes a general plane π and a triangle of lines a1, a2, a3 on it. He chooses a projective isomorphism ai with Pi such that the vertex pij = ai ∩ aj of the triangle corresponds to the plane in Pi containing the line lij. This does not yet fix the projective isomorphism. So, he chooses a point λi ∈ ai such that the planes πi from Pi intersecting ai at λi are in the correspondence R. Let x0 = π1 ∩ π2 ∩ π3. Now the projective isomorphisms ai ↔ Pi being fixed, he takes any point x ∈ π and consider the line joining x with the vertex pij of the triangle. Each of three lines obtained in this way intersects the opposite side ak at a point λk(x) and hence defines a plane ′ πk(x) ∈ Pk. Let x be the intersection point of these planes. He asks ([Cre1], p. 70) “Quel est le lieu du point x?” and proceeds to prove that it is equal to X. For this he shows that the locus X′ is a cubic surface containing 9 lines obtained from pairwise intersections of 6 planes spanned by the lines li and ′ lij. Then he tries to show that the surface X and X has also the point x0 in common not lying on the union of the nine lines. This of course proves that ′ X = X . He uses that the line li correspond to the point x taken on the side ai of the triangle and the lines lij correspond to the vertices of the triangle.
Load more

Recommended publications
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Robot Vision: Projective Geometry
    Robot Vision: Projective Geometry Ass.Prof. Friedrich Fraundorfer SS 2018 1 Learning goals . Understand homogeneous coordinates . Understand points, line, plane parameters and interpret them geometrically . Understand point, line, plane interactions geometrically . Analytical calculations with lines, points and planes . Understand the difference between Euclidean and projective space . Understand the properties of parallel lines and planes in projective space . Understand the concept of the line and plane at infinity 2 Outline . 1D projective geometry . 2D projective geometry ▫ Homogeneous coordinates ▫ Points, Lines ▫ Duality . 3D projective geometry ▫ Points, Lines, Planes ▫ Duality ▫ Plane at infinity 3 Literature . Multiple View Geometry in Computer Vision. Richard Hartley and Andrew Zisserman. Cambridge University Press, March 2004. Mundy, J.L. and Zisserman, A., Geometric Invariance in Computer Vision, Appendix: Projective Geometry for Machine Vision, MIT Press, Cambridge, MA, 1992 . Available online: www.cs.cmu.edu/~ph/869/papers/zisser-mundy.pdf 4 Motivation – Image formation [Source: Charles Gunn] 5 Motivation – Parallel lines [Source: Flickr] 6 Motivation – Epipolar constraint X world point epipolar plane x x’ x‘TEx=0 C T C’ R 7 Euclidean geometry vs. projective geometry Definitions: . Geometry is the teaching of points, lines, planes and their relationships and properties (angles) . Geometries are defined based on invariances (what is changing if you transform a configuration of points, lines etc.) . Geometric transformations
    [Show full text]
  • COMBINATORICS, Volume
    http://dx.doi.org/10.1090/pspum/019 PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS Volume XIX COMBINATORICS AMERICAN MATHEMATICAL SOCIETY Providence, Rhode Island 1971 Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society Held at the University of California Los Angeles, California March 21-22, 1968 Prepared by the American Mathematical Society under National Science Foundation Grant GP-8436 Edited by Theodore S. Motzkin AMS 1970 Subject Classifications Primary 05Axx, 05Bxx, 05Cxx, 10-XX, 15-XX, 50-XX Secondary 04A20, 05A05, 05A17, 05A20, 05B05, 05B15, 05B20, 05B25, 05B30, 05C15, 05C99, 06A05, 10A45, 10C05, 14-XX, 20Bxx, 20Fxx, 50A20, 55C05, 55J05, 94A20 International Standard Book Number 0-8218-1419-2 Library of Congress Catalog Number 74-153879 Copyright © 1971 by the American Mathematical Society Printed in the United States of America All rights reserved except those granted to the United States Government May not be produced in any form without permission of the publishers Leo Moser (1921-1970) was active and productive in various aspects of combin• atorics and of its applications to number theory. He was in close contact with those with whom he had common interests: we will remember his sparkling wit, the universality of his anecdotes, and his stimulating presence. This volume, much of whose content he had enjoyed and appreciated, and which contains the re• construction of a contribution by him, is dedicated to his memory. CONTENTS Preface vii Modular Forms on Noncongruence Subgroups BY A. O. L. ATKIN AND H. P. F. SWINNERTON-DYER 1 Selfconjugate Tetrahedra with Respect to the Hermitian Variety xl+xl + *l + ;cg = 0 in PG(3, 22) and a Representation of PG(3, 3) BY R.
    [Show full text]
  • Collineations in Perspective
    Collineations in Perspective Now that we have a decent grasp of one-dimensional projectivities, we move on to their two di- mensional analogs. Although they are more complicated, in a sense, they may be easier to grasp because of the many applications to perspective drawing. Speaking of, let's return to the triangle on the window and its shadow in its full form instead of only looking at one line. Perspective Collineation In one dimension, a perspectivity is a bijective mapping from a line to a line through a point. In two dimensions, a perspective collineation is a bijective mapping from a plane to a plane through a point. To illustrate, consider the triangle on the window plane and its shadow on the ground plane as in Figure 1. We can see that every point on the triangle on the window maps to exactly one point on the shadow, but the collineation is from the entire window plane to the entire ground plane. We understand the window plane to extend infinitely in all directions (even going through the ground), the ground also extends infinitely in all directions (we will assume that the earth is flat here), and we map every point on the window to a point on the ground. Looking at Figure 2, we see that the lamp analogy breaks down when we consider all lines through O. Although it makes sense for the base of the triangle on the window mapped to its shadow on 1 the ground (A to A0 and B to B0), what do we make of the mapping C to C0, or D to D0? C is on the window plane, underground, while C0 is on the ground.
    [Show full text]
  • Performance Evaluation of Genetic Algorithm and Simulated Annealing in Solving Kirkman Schoolgirl Problem
    FUOYE Journal of Engineering and Technology (FUOYEJET), Vol. 5, Issue 2, September 2020 ISSN: 2579-0625 (Online), 2579-0617 (Paper) Performance Evaluation of Genetic Algorithm and Simulated Annealing in solving Kirkman Schoolgirl Problem *1Christopher A. Oyeleye, 2Victoria O. Dayo-Ajayi, 3Emmanuel Abiodun and 4Alabi O. Bello 1Department of Information Systems, Ladoke Akintola University of Technology, Ogbomoso, Nigeria 2Department of Computer Science, Ladoke Akintola University of Technology, Ogbomoso, Nigeria 3Department of Computer Science, Kwara State Polytechnic, Ilorin, Nigeria 4Department of Mathematical and Physical Sciences, Afe Babalola University, Ado-Ekiti, Nigeria [email protected]|[email protected]|[email protected]|[email protected] Received: 15-FEB-2020; Reviewed: 12-MAR-2020; Accepted: 28-MAY-2020 http://dx.doi.org/10.46792/fuoyejet.v5i2.477 Abstract- This paper provides performance evaluation of Genetic Algorithm and Simulated Annealing in view of their software complexity and simulation runtime. Kirkman Schoolgirl is about arranging fifteen schoolgirls into five triplets in a week with a distinct constraint of no two schoolgirl must walk together in a week. The developed model was simulated using MATLAB version R2015a. The performance evaluation of both Genetic Algorithm (GA) and Simulated Annealing (SA) was carried out in terms of program size, program volume, program effort and the intelligent content of the program. The results obtained show that the runtime for GA and SA are 11.23sec and 6.20sec respectively. The program size for GA and SA are 2.01kb and 2.21kb, respectively. The lines of code for GA and SA are 324 and 404, respectively. The program volume for GA and SA are 1121.58 and 3127.92, respectively.
    [Show full text]
  • Blocking Set Free Configurations and Their Relations to Digraphs and Hypergraphs
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector DISCRETE MATHEMATICS ELSIZI’IER Discrete Mathematics 1651166 (1997) 359.-370 Blocking set free configurations and their relations to digraphs and hypergraphs Harald Gropp* Mihlingstrasse 19. D-69121 Heidelberg, German> Abstract The current state of knowledge concerning the existence of blocking set free configurations is given together with a short history of this problem which has also been dealt with in terms of digraphs without even dicycles or 3-chromatic hypergraphs. The question is extended to the case of nonsymmetric configurations (u,, b3). It is proved that for each value of I > 3 there are only finitely many values of u for which the existence of a blocking set free configuration is still unknown. 1. Introduction In the language of configurations the existence of blocking sets was investigated in [3, 93 for the first time. Further papers [4, 201 yielded the result that the existence problem for blocking set free configurations v3 has been nearly solved. There are only 8 values of v for which it is unsettled whether there is a blocking set free configuration ~7~:u = 15,16,17,18,20,23,24,26. The existence of blocking set free configurations is equivalent to the existence of certain hypergraphs and digraphs. In these two languages results have been obtained much earlier. In Section 2 the relations between configurations, hypergraphs, and digraphs are exhibited. Furthermore, a nearly forgotten result of Steinitz is described In his dissertation of 1894 Steinitz proved the existence of a l-factor in a regular bipartite graph 20 years earlier then Kiinig.
    [Show full text]
  • Finite Projective Geometries 243
    FINITE PROJECTÎVEGEOMETRIES* BY OSWALD VEBLEN and W. H. BUSSEY By means of such a generalized conception of geometry as is inevitably suggested by the recent and wide-spread researches in the foundations of that science, there is given in § 1 a definition of a class of tactical configurations which includes many well known configurations as well as many new ones. In § 2 there is developed a method for the construction of these configurations which is proved to furnish all configurations that satisfy the definition. In §§ 4-8 the configurations are shown to have a geometrical theory identical in most of its general theorems with ordinary projective geometry and thus to afford a treatment of finite linear group theory analogous to the ordinary theory of collineations. In § 9 reference is made to other definitions of some of the configurations included in the class defined in § 1. § 1. Synthetic definition. By a finite projective geometry is meant a set of elements which, for sugges- tiveness, are called points, subject to the following five conditions : I. The set contains a finite number ( > 2 ) of points. It contains subsets called lines, each of which contains at least three points. II. If A and B are distinct points, there is one and only one line that contains A and B. HI. If A, B, C are non-collinear points and if a line I contains a point D of the line AB and a point E of the line BC, but does not contain A, B, or C, then the line I contains a point F of the line CA (Fig.
    [Show full text]
  • Structural Forms 1
    Key principles The hyperboloid of revolution is a Surface and may be generated by revolving a Hyperbola about its conjugate axis. The outline of the elevation will be a Hyperbola. When the conjugate axis is vertical all horizontal sections are circles. The horizontal section at the mid point of the conjugate axis is known as the Throat. The diagram shows the incomplete construction for drawing a hyperbola in a rectangle. (a) Draw the outline of the both branches of the double hyperbola in the rectangle. The diagram shows the incomplete Elevation of a hyperboloid of revolution. (a) Determine the position of the throat circle in elevation. (b) Draw the outline of the both branches of the double hyperbola in elevation. DESIGN & COMMUNICATION GRAPHICS Structural forms 1 NAME: ______________________________ DATE: _____________ The diagram shows the plan and incomplete elevation of an object based on the hyperboloid of revolution. The focal points and transverse axis of the hyperbola are also shown. (a) Using the given information draw the outline of the elevation.. F The diagram shows the axis, focal points and transverse axis of a double hyperbola. (a) Draw the outline of both branches of the double hyperbola. (b) The difference between the focal distances for any point on a double hyperbola is constant and equal to the length of the transverse axis. (c) Indicate this principle on the drawing below. DESIGN & COMMUNICATION GRAPHICS Structural forms 2 NAME: ______________________________ DATE: _____________ Key principles The diagram shows the plan and incomplete elevation of a hyperboloid of revolution. The hyperboloid of revolution may also be generated by revolving one skew line about another.
    [Show full text]
  • Finite Projective Geometry 2Nd Year Group Project
    Finite Projective Geometry 2nd year group project. B. Doyle, B. Voce, W.C Lim, C.H Lo Mathematics Department - Imperial College London Supervisor: Ambrus Pal´ June 7, 2015 Abstract The Fano plane has a strong claim on being the simplest symmetrical object with inbuilt mathematical structure in the universe. This is due to the fact that it is the smallest possible projective plane; a set of points with a subsets of lines satisfying just three axioms. We will begin by developing some theory direct from the axioms and uncovering some of the hidden (and not so hidden) symmetries of the Fano plane. Alternatively, some projective planes can be derived from vector space theory and we shall also explore this and the associated linear maps on these spaces. Finally, with the help of some theory of quadratic forms we will give a proof of the surprising Bruck-Ryser theorem, which shows that if a projective plane has order n congruent to 1 or 2 mod 4, then n is the sum of two squares. Thus we will have demonstrated fascinating links between pure mathematical disciplines by incorporating the use of linear algebra, group the- ory and number theory to explain the geometric world of projective planes. 1 Contents 1 Introduction 3 2 Basic Defintions and results 4 3 The Fano Plane 7 3.1 Isomorphism and Automorphism . 8 3.2 Ovals . 10 4 Projective Geometry with fields 12 4.1 Constructing Projective Planes from fields . 12 4.2 Order of Projective Planes over fields . 14 5 Bruck-Ryser 17 A Appendix - Rings and Fields 22 2 1 Introduction Projective planes are geometrical objects that consist of a set of elements called points and sub- sets of these elements called lines constructed following three basic axioms which give the re- sulting object a remarkable level of symmetry.
    [Show full text]
  • 7 Combinatorial Geometry
    7 Combinatorial Geometry Planes Incidence Structure: An incidence structure is a triple (V; B; ∼) so that V; B are disjoint sets and ∼ is a relation on V × B. We call elements of V points, elements of B blocks or lines and we associate each line with the set of points incident with it. So, if p 2 V and b 2 B satisfy p ∼ b we say that p is contained in b and write p 2 b and if b; b0 2 B we let b \ b0 = fp 2 P : p ∼ b; p ∼ b0g. Levi Graph: If (V; B; ∼) is an incidence structure, the associated Levi Graph is the bipartite graph with bipartition (V; B) and incidence given by ∼. Parallel: We say that the lines b; b0 are parallel, and write bjjb0 if b \ b0 = ;. Affine Plane: An affine plane is an incidence structure P = (V; B; ∼) which satisfies the following properties: (i) Any two distinct points are contained in exactly one line. (ii) If p 2 V and ` 2 B satisfy p 62 `, there is a unique line containing p and parallel to `. (iii) There exist three points not all contained in a common line. n Line: Let ~u;~v 2 F with ~v 6= 0 and let L~u;~v = f~u + t~v : t 2 Fg. Any set of the form L~u;~v is called a line in Fn. AG(2; F): We define AG(2; F) to be the incidence structure (V; B; ∼) where V = F2, B is the set of lines in F2 and if v 2 V and ` 2 B we define v ∼ ` if v 2 `.
    [Show full text]
  • Self-Dual Configurations and Regular Graphs
    SELF-DUAL CONFIGURATIONS AND REGULAR GRAPHS H. S. M. COXETER 1. Introduction. A configuration (mci ni) is a set of m points and n lines in a plane, with d of the points on each line and c of the lines through each point; thus cm = dn. Those permutations which pre­ serve incidences form a group, "the group of the configuration." If m — n, and consequently c = d, the group may include not only sym­ metries which permute the points among themselves but also reci­ procities which interchange points and lines in accordance with the principle of duality. The configuration is then "self-dual," and its symbol («<*, n<j) is conveniently abbreviated to na. We shall use the same symbol for the analogous concept of a configuration in three dimensions, consisting of n points lying by d's in n planes, d through each point. With any configuration we can associate a diagram called the Menger graph [13, p. 28],x in which the points are represented by dots or "nodes," two of which are joined by an arc or "branch" when­ ever the corresponding two points are on a line of the configuration. Unfortunately, however, it often happens that two different con­ figurations have the same Menger graph. The present address is concerned with another kind of diagram, which represents the con­ figuration uniquely. In this Levi graph [32, p. 5], we represent the points and lines (or planes) of the configuration by dots of two colors, say "red nodes" and "blue nodes," with the rule that two nodes differently colored are joined whenever the corresponding elements of the configuration are incident.
    [Show full text]
  • Arxiv:2101.02592V1 [Math.HO] 6 Jan 2021 in His Seminal Paper [10]
    International Journal of Computer Discovered Mathematics (IJCDM) ISSN 2367-7775 ©IJCDM Volume 5, 2020, pp. 13{41 Received 6 August 2020. Published on-line 30 September 2020 web: http://www.journal-1.eu/ ©The Author(s) This article is published with open access1. Arrangement of Central Points on the Faces of a Tetrahedron Stanley Rabinowitz 545 Elm St Unit 1, Milford, New Hampshire 03055, USA e-mail: [email protected] web: http://www.StanleyRabinowitz.com/ Abstract. We systematically investigate properties of various triangle centers (such as orthocenter or incenter) located on the four faces of a tetrahedron. For each of six types of tetrahedra, we examine over 100 centers located on the four faces of the tetrahedron. Using a computer, we determine when any of 16 con- ditions occur (such as the four centers being coplanar). A typical result is: The lines from each vertex of a circumscriptible tetrahedron to the Gergonne points of the opposite face are concurrent. Keywords. triangle centers, tetrahedra, computer-discovered mathematics, Eu- clidean geometry. Mathematics Subject Classification (2020). 51M04, 51-08. 1. Introduction Over the centuries, many notable points have been found that are associated with an arbitrary triangle. Familiar examples include: the centroid, the circumcenter, the incenter, and the orthocenter. Of particular interest are those points that Clark Kimberling classifies as \triangle centers". He notes over 100 such points arXiv:2101.02592v1 [math.HO] 6 Jan 2021 in his seminal paper [10]. Given an arbitrary tetrahedron and a choice of triangle center (for example, the circumcenter), we may locate this triangle center in each face of the tetrahedron.
    [Show full text]