Configurations of Points and Lines

Total Page:16

File Type:pdf, Size:1020Kb

Configurations of Points and Lines Configurations of Points and Lines "RANKO'RüNBAUM 'RADUATE3TUDIES IN-ATHEMATICS 6OLUME !MERICAN-ATHEMATICAL3OCIETY Configurations of Points and Lines Configurations of Points and Lines Branko Grünbaum Graduate Studies in Mathematics Volume 103 American Mathematical Society Providence, Rhode Island Editorial Board David Cox (Chair) Steven G. Krantz Rafe Mazzeo Martin Scharlemann 2000 Mathematics Subject Classification. Primary 01A55, 01A60, 05–03, 05B30, 05C62, 51–03, 51A20, 51A45, 51E30, 52C30. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-103 Library of Congress Cataloging-in-Publication Data Gr¨unbaum, Branko. Configurations of points and lines / Branko Gr¨unbaum. p. cm. — (Graduate studies in mathematics ; v. 103) Includes bibliographical references and index. ISBN 978-0-8218-4308-6 (alk. paper) 1. Configurations. I. Title. QA607.G875 2009 516.15—dc22 2009000303 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. c 2009 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 141312111009 Dedicated to the memory of my teachers: Milenko Vucˇkic´ (1911–1981) Stanko Bilinski (1909–1998) Abraham Halevi (Adolf) Fraenkel (1891–1965) Aryeh Dvoretzky (1916–2008) Contents Preface xi Chapter 1. Beginnings 1 §1.1. Introduction 1 §1.2. An informal history of configurations 8 §1.3. Basic concepts and definitions 14 §1.4. Tools for the study of configurations 26 §1.5. Symmetry 32 §1.6. Reduced Levi graphs 38 §1.7. Derived figures and other tools 47 Chapter 2. 3-Configurations 59 §2.0. Overview 59 §2.1. Existence of 3-configurations 60 §2.2. Enumeration of 3-configurations (Part 1) 69 §2.3. Enumeration of 3-configurations (Part 2) 81 §2.4. General constructions for combinatorial 3-configurations 89 §2.5. Steinitz’s theorem—the combinatorial part 92 §2.6. Steinitz’s theorem—the geometric part 102 §2.7. Astral 3-configurations with cyclic symmetry group 110 §2.8. Astral 3-configurations with dihedral symmetry group 121 §2.9. Multiastral 3-configurations 134 §2.10. Duality of astral 3-configurations 144 §2.11. Open problems (and a few exercises) 150 vii viii Contents Chapter 3. 4-Configurations 155 §3.0. Overview 155 §3.1. Combinatorial 4-configurations 156 §3.2. Existence of topological and geometric 4-configurations 161 §3.3. Constructions of geometric 4-configurations 169 §3.4. Existence of geometric 4-configurations 186 §3.5. Astral 4-configurations 190 §3.6. 2-Astral 4-configurations 203 §3.7. 3-Astral 4-configurations 212 §3.8. k-Astral configurations for k ≥ 4 223 §3.9. Open problems 231 Chapter 4. Other Configurations 233 §4.0. Overview 233 §4.1. 5-configurations 234 §4.2. k-configurations for k ≥ 6 239 §4.3. [3, 4]- and [4, 3]-configurations 242 §4.4. Unbalanced [q, k]-configurations with [q, k] =[3 , 4] 253 §4.5. Floral configurations 261 §4.6. Topological configurations 280 §4.7. Unconventional configurations 286 §4.8. Open problems 293 Chapter 5. Properties of Configurations 295 §5.0. Overview 295 §5.1. Connectivity of configurations 296 §5.2. Hamiltonian multilaterals 308 §5.3. Multilateral decompositions 322 §5.4. Multilateral-free configurations 327 §5.5. “Density” of trilaterals in configurations 342 §5.6. The dimension of a configuration 344 §5.7. Movable configurations 349 §5.8. Automorphisms and duality 359 §5.9. Open problems 374 Postscript 375 Appendix 377 Contents ix The Euclidean, projective, and extended Euclidean planes 377 References 385 Index 397 Preface It is easy to explain the concept of a configuration of points and lines to any ten-years-old youngster. Why then a book on this topic in a graduate series? There are several good reasons: • First and foremost, configurations are mathematically challenging even though easily accessible. • The study of configurations leans on many fields: classical geom- etry, combinatorics, topology, algebraic geometry, computing, and even analysis and number theory. • There is a visual appeal to many types of configurations. • There are opportunities for serious innovation that do not rely on long years of preliminary study. The truly remarkable aspect of configurations is the scarcity of results in a field that was explicitly started well over a century ago, and informally much earlier. One of the foremost aims of the present text is to make avail- able, essentially for the first time ever, a coherent account of the material. Historical aspects are presented in order to enable the reader to follow the advances (as well as the occasional retreats) of the understanding of configurations. As explained more fully in the text, an initial burst of en- thusiasm in the late nineteenth century produced several basic results. For almost a century, these were not matched by any comparably important new achievements. But near the end of the last century it turned out that the early results were incorrect, and this became part of the impetus for a reinvigorated study of configurations. xi xii Preface The recent realization that symmetries may play an important role in the investigations of configurations provided additional points of view on configurations. Together with the increased ability to actually draw configurations—made possible by advances in computer graphics—the stage was set for renewed efforts in correcting the ancient mistakes and to studying configurations that were never contemplated in the past. This text relies very heavily on the graphical presentation of config- urations. This is practically inevitable considering the topic and greatly simplifies the description of the many types of configurations dealt with. Most of the diagrams have been crafted using Mathematica,Geometers Sketchpad,andClarisDraw, often in combination. In many respects this is a “natural history” of configurations—the prop- erties and methods of generation depend to a large extent on the kind of configuration, and we present them in separate chapters and sections. We have avoided insisting on proofs of properties that are visually ob- vious to such an extent that formal proofs would needlessly lengthen the exposition and make it quite boring. We firmly believe that an appropriate diagram is as much of a valid argument as a pedantic verbal explanation, besides being more readily understandable. It is hoped that the reader will agree! The text is narrowly restricted to the topic of its title. There are many other kinds of configurations that might have been included. However, the nature of such configurations, for example, of points and planes, or of various higher-dimensional flats, is totally different from our topic. It is well possible that the early attempts to cover all possibilities led to very general definitions followed by very meager results. Two exceptions to the restricted character of the presentation concern combinatorial configurations and topological configurations. The former are essential to the theory of geometric configurations, and we present the topic with this aim in mind. We do not enlarge on the various more general as- pects of combinatorial designs and finite geometries—there are many excel- lent texts on these matters. Completely different is the situation regarding topological configurations. Very little is known about them, and the present text collects most of what is available. One other aspect not covered here is the detailed investigations of the hierarchies of some special configurations. It seems that at one time it was fashionable to start with a simple result, such as the theorem of Pascal, and generate a whole family of objects by permuting the starting elements, then considering all the intersections of the resulting lines and the lines generated by the obtained points, etc. This way one could secure a family of points or Preface xiii lines or whatever to be attached to one’s name. The interested reader may gain access to this literature through other means. For almost all the material covered, we provided as ample and detailed references as we were able to find. However, we did not give details con- cerning the programs that produced the various computer-generated enu- merations. The reason—besides lack of competence—is that the programs and the computers on which they run change too rapidly for any printed information to be of lasting value. The interested reader should contact the authors of these results to obtain the most up-to-date status. Results for which no reference is given are the author’s and appear here for the first time. Also, as noted in appropriate places, several colleagues have been kind enough to allow the inclusion of their unpublished results—I am greatly indebted to them for this courtesy. My gratitude goes to several other people and institutions. The Ameri- can Mathematical Society was extremely helpful at all stages of the prepa- ration of this text; in particular, allowing the illustrations to be in color has greatly increased the appeal of the book, as well as its instructional value.
Recommended publications
  • Configurations of Points and Lines
    Configurations of Points and Lines "RANKO'RüNBAUM 'RADUATE3TUDIES IN-ATHEMATICS 6OLUME !MERICAN-ATHEMATICAL3OCIETY http://dx.doi.org/10.1090/gsm/103 Configurations of Points and Lines Configurations of Points and Lines Branko Grünbaum Graduate Studies in Mathematics Volume 103 American Mathematical Society Providence, Rhode Island Editorial Board David Cox (Chair) Steven G. Krantz Rafe Mazzeo Martin Scharlemann 2000 Mathematics Subject Classification. Primary 01A55, 01A60, 05–03, 05B30, 05C62, 51–03, 51A20, 51A45, 51E30, 52C30. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-103 Library of Congress Cataloging-in-Publication Data Gr¨unbaum, Branko. Configurations of points and lines / Branko Gr¨unbaum. p. cm. — (Graduate studies in mathematics ; v. 103) Includes bibliographical references and index. ISBN 978-0-8218-4308-6 (alk. paper) 1. Configurations. I. Title. QA607.G875 2009 516.15—dc22 2009000303 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. c 2009 by the American Mathematical Society.
    [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]
  • Chapter 7 Block Designs
    Chapter 7 Block Designs One simile that solitary shines In the dry desert of a thousand lines. Epilogue to the Satires, ALEXANDER POPE The collection of all subsets of cardinality k of a set with v elements (k < v) has the ³ ´ v¡t property that any subset of t elements, with 0 · t · k, is contained in precisely k¡t subsets of size k. The subsets of size k provide therefore a nice covering for the subsets of a lesser cardinality. Observe that the number of subsets of size k that contain a subset of size t depends only on v; k; and t and not on the specific subset of size t in question. This is the essential defining feature of the structures that we wish to study. The example we just described inspires general interest in producing similar coverings ³ ´ v without using all the k subsets of size k but rather as small a number of them as possi- 1 2 CHAPTER 7. BLOCK DESIGNS ble. The coverings that result are often elegant geometrical configurations, of which the projective and affine planes are examples. These latter configurations form nice coverings only for the subsets of cardinality 2, that is, any two elements are in the same number of these special subsets of size k which we call blocks (or, in certain instances, lines). A collection of subsets of cardinality k, called blocks, with the property that every subset of size t (t · k) is contained in the same number (say ¸) of blocks is called a t-design. We supply the reader with constructions for t-designs with t as high as 5.
    [Show full text]
  • On the Levi Graph of Point-Line Configurations 895
    inv lve a journal of mathematics On the Levi graph of point-line configurations Jessica Hauschild, Jazmin Ortiz and Oscar Vega msp 2015 vol. 8, no. 5 INVOLVE 8:5 (2015) msp dx.doi.org/10.2140/involve.2015.8.893 On the Levi graph of point-line configurations Jessica Hauschild, Jazmin Ortiz and Oscar Vega (Communicated by Joseph A. Gallian) We prove that the well-covered dimension of the Levi graph of a point-line configuration with v points, b lines, r lines incident with each point, and every line containing k points is equal to 0, whenever r > 2. 1. Introduction The concept of the well-covered space of a graph was first introduced by Caro, Ellingham, Ramey, and Yuster[Caro et al. 1998; Caro and Yuster 1999] as an effort to generalize the study of well-covered graphs. Brown and Nowakowski [2005] continued the study of this object and, among other things, provided several examples of graphs featuring odd behaviors regarding their well-covered spaces. One of these special situations occurs when the well-covered space of the graph is trivial, i.e., when the graph is anti-well-covered. In this work, we prove that almost all Levi graphs of configurations in the family of the so-called .vr ; bk/- configurations (see Definition 3) are anti-well-covered. We start our exposition by providing the following definitions and previously known results. Any introductory concepts we do not present here may be found in the books by Bondy and Murty[1976] and Grünbaum[2009]. We consider only simple and undirected graphs.
    [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]
  • The Pappus Configuration and the Self-Inscribed Octagon
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector MATHEMATICS THE PAPPUS CONFIGURATION AND THE SELF-INSCRIBED OCTAGON. I BY H. S. M. COXETER (Communic&ed at the meeting of April 24, 1976) 1. INTRODUCTION This paper deals with self-dual configurations 8s and 93 in a projective plane, that is, with sets of 8 or 9 points, and the same number of lines, so arranged that each line contains 3 of the points and each point lies on 3 of the lines. Combinatorially there is only one 83, but there are three kinds of 9s. However, we shall discuss only the kind to which the symbol (9s)i was assigned by Hilbert and Cohn-Vossen [24, pp. 91-98; 24a, pp. 103-1111. Both the unique 8s and this particular 9s occur as sub- configurations of the finite projective plane PG(2, 3), which is a 134. The 83 is derived by omitting a point 0, a non-incident line I, all the four points on E, and all the four lines through 0. Similarly, our 9s is derived from the 134 by omitting a point P, a line 1 through P, the remaining three points on I, and the remaining three lines through P. Thus the points of the 83 can be derived from the 9s by omitting any one of its points, but then the lines of the 83 are not precisely a subset of the lines of the 9s. Both configurations occur not only in PG(2, 3) but also in the complex plane, and the 93 occurs in the real plane.
    [Show full text]
  • Modelling Finite Geometries on Surfaces
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 244 (2002) 479–493 www.elsevier.com/locate/disc Modelling ÿnite geometries on surfaces Arthur T. White Western Michigan University, Kalamazoo, Michigan 49008, USA In Honor ofProfessorToma zÄ Pisanski Abstract The usual model ofthe Fano plane has several deÿciencies, all ofwhich are remedied by imbedding the complete graph K7 on the torus. This idea is generalized, in two directions: (1) Let q be a prime power. E3cient topological models are described for each PG(2;q), and a study is begun for AG(2;q). (2) A 3-conÿguration is a geometry satisfying: (i) each line is on exactly 3 points; (ii) each point is on exactly r lines, where r is a ÿxed positive integer; (iii) two points are on at most one line. Surface models are found for 3-conÿgurations of low order, including those ofPappus and Desargues. Special attention is paid to AG(2,3). A study is begun ofpartial geometries which are also 3-conÿgurations, and fourgeneral constructions are given. c 2002 Elsevier Science B.V. All rights reserved. Keywords: Finite geometry; Projective plane; A3ne plane; Partial geometry; Conÿguration; Surface; Voltage graph 1. Introduction A ÿnite geometry can be modelled by specifying its point set P and then giving the line set L by listing each lines as a subset of P. This abstract model reinforces the interpretation ofthe geometry as a block design, or as a hypergraph. But it lacks the geometric =avor available through the use of0-dimensional subspaces ofsome Euclidean n-space to model P, and higher dimensional subspaces to model L.
    [Show full text]
  • On the Configurations of Nine Points on a Cubic Curve
    On the configurations of nine points on a cubic curve Alessandro Logar 1 Dipartimento di Matematica e Geoscienze, Universit`adegli Studi di Trieste, Via Valerio 12/1, 34127 Trieste, Italy. Sara Paronitti Dipartimento di Matematica e Geoscienze, Universit`adegli Studi di Trieste, Via Valerio 12/1, 34127 Trieste, Italy. Abstract We study the reciprocal position of nine points in the plane, according to their collinearities. In particular, we consider the case in which the nine points are con- tained in an irreducible cubic curve and we give their classification. If we consider two configurations different when the associated incidence structures are not iso- morphic, we see that there are 131 configurations that can be realized in 2 , and p PQ 2 there are two more in PK , where K = Q[ −3] (one of the two is the Hesse configu- ration given by the nine inflection points of a cubic curve). Finally, we compute the possible Hilbert functions of the ideals of the nine points. 1 Introduction arXiv:1912.08115v1 [math.CO] 17 Dec 2019 The study of reciprocal position of a finite number of points in the plane and a finite set of lines joining some of the points, is a classical problem whose origin dates back to the past and that has been considered from many different points of view. Recall, for instance, the Pappus configuration which takes its name from Pappus of Alexandria, or the Sylvester problem (see [20]), formulated by Sylvester in the last decade of the nineteenth century, or the Orchard Planting Email addresses: [email protected] (Alessandro Logar), [email protected] (Sara Paronitti).
    [Show full text]
  • Identifiability of Graphs with Small Color Classes by The
    Identifiability of Graphs with Small Color Classes by the Weisfeiler-Leman Algorithm Frank Fuhlbrück Institut für Informatik, Humboldt-Universität zu Berlin, Germany [email protected] Johannes Köbler Institut für Informatik, Humboldt-Universität zu Berlin, Germany [email protected] Oleg Verbitsky Institut für Informatik, Humboldt-Universität zu Berlin, Germany [email protected] Abstract It is well known that the isomorphism problem for vertex-colored graphs with color multiplicity at most 3 is solvable by the classical 2-dimensional Weisfeiler-Leman algorithm (2-WL). On the other hand, the prominent Cai-Fürer-Immerman construction shows that even the multidimensional version of the algorithm does not suffice for graphs with color multiplicity 4. We give an efficient decision procedure that, given a graph G of color multiplicity 4, recognizes whether or not G is identifiable by 2-WL, that is, whether or not 2-WL distinguishes G from any non-isomorphic graph. In fact, we solve the more general problem of recognizing whether or not a given coherent configuration of maximum fiber size 4 is separable. This extends our recognition algorithm to directed graphs of color multiplicity 4 with colored edges. Our decision procedure is based on an explicit description of the class of graphs with color multi- plicity 4 that are not identifiable by 2-WL. The Cai-Fürer-Immerman graphs of color multiplicity 4 distinctly appear here as a natural subclass, which demonstrates that the Cai-Fürer-Immerman construction is not ad hoc. Our classification reveals also other types of graphs that are hard for 2-WL.
    [Show full text]
  • View Is That the Family of Subsets Is in Fact a Multiset of the Set of All K-Subsets of X and One May Well Have a Multiple Occurence (Or Repetition) of a Block
    THE 3−DESIGN PROBLEM DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of the Ohio State University By Niranjan Balachandran, M. Stat(India) ***** The Ohio State University 2008 Dissertation Committee: Approved by Professor Neil Robertson, Advisor Professor Akos´ Seress Advisor Professor Stephen Milne Graduate Program in Mathematics ABSTRACT The theory of Combinatorial designs is one of the oldest and richest disciplines in Combinatorics and has wide ranging applications in as diverse fields as Cryptography, Optics, Discrete Tomography, data structures and computer algorithms, hardware design, Interconnection networks, VLSI testing, Astronomical Imaging, and Neutron Spectroscopy and also contributes to other disciplines of Mathematics such as The theory of Unimodular lattices, Coding Theory, Computational Group theory, and Discrete and Combinatorial Geometry. A t−(v, k, λ) design is a pair (X, B), where X is a set of size v and B is a collection of subsets of X of size k each such that every t-subset of X is contained in precisely λ members of B.A t − (v, k, λ) design is also denoted Sλ(t, k, v). If λ = 1 then it is called a t-Steiner design and is denoted by S(t, k, v). The problem of characterizing all triples (v, k, λ) for which a t − (v, k, λ) design exists is one of the fundamental problems in the theory of Combinatorial designs. Clearly, these parameters cannot be chosen independent of one another since there are certain necessary conditions that are to be met in order that a design exists.
    [Show full text]
  • Colouring Problems for Symmetric Configurations with Block Size 3
    Colouring problems for symmetric configurations with block size 3 Grahame Erskine∗∗ Terry Griggs∗ Jozef Sir´aˇnˇ †† [email protected] [email protected] [email protected] (corresponding author) Abstract The study of symmetric configurations v3 with block size 3 has a long and rich history. In this paper we consider two colouring problems which arise naturally in the study of these structures. The first of these is weak colouring, in which no block is monochromatic; the second is strong colouring, in which every block is multichromatic. The former has been studied before in re- lation to blocking sets. Results are proved on the possible sizes of blocking sets and we begin the investigation of strong colourings. We also show that the known 213 and 223 configura- tions without a blocking set are unique and make a complete enumeration of all non-isomorphic 203 configurations. We discuss the concept of connectivity in relation to symmetric configura- tions and complete the determination of the spectrum of 2-connected symmetric configurations without a blocking set. A number of open problems are presented. 1 Introduction In this paper we will be concerned with symmetric configurations with block size 3 and, more particularly, two colouring problems which arise naturally from their study. First we recall the definitions. A configuration (vr, bk) is a finite incidence structure with v points and b blocks, with the property that there exist positive integers k and r such that (i) each block contains exactly k points; (ii) each point is contained in exactly r blocks; and (iii) any pair of distinct points is contained in at most one block.
    [Show full text]
  • Foundations of Projective Geometry
    Foundations of Projective Geometry Robin Hartshorne 1967 ii Preface These notes arose from a one-semester course in the foundations of projective geometry, given at Harvard in the fall term of 1966–1967. We have approached the subject simultaneously from two different directions. In the purely synthetic treatment, we start from axioms and build the abstract theory from there. For example, we have included the synthetic proof of the fundamental theorem for projectivities on a line, using Pappus’ Axiom. On the other hand we have the real projective plane as a model, and use methods of Euclidean geometry or analytic geometry to see what is true in that case. These two approaches are carried along independently, until the first is specialized by the introduction of more axioms, and the second is generalized by working over an arbitrary field or division ring, to the point where they coincide in Chapter 7, with the introduction of coordinates in an abstract projective plane. Throughout the course there is special emphasis on the various groups of transformations which arise in projective geometry. Thus the reader is intro- duced to group theory in a practical context. We do not assume any previous knowledge of algebra, but do recommend a reading assignment in abstract group theory, such as [4]. There is a small list of problems at the end of the notes, which should be taken in regular doses along with the text. There is also a small bibliography, mentioning various works referred to in the preparation of these notes. However, I am most indebted to Oscar Zariski, who taught me the same course eleven years ago.
    [Show full text]