arXiv++ Combinatorics

We solve Ealy's conjecture from 1977 by showing that for each odd prime $p$, a finite generalized quadrangle each point of which admits a central symmetry of order $p$, is either a classical symplectic quadrangle in dimension $3$, or a Hermitian quadrangle in dimension $3$ or $4$. As a byproduct, we vastly generalize the aforementioned result by determining the finite generalized quadrangles whose every point admits at least one nontrivial central symmetry.

This text is dedicated to Jacques Tits's ideas on geometry over F1, the field with one element. In a first part, we explain how thin Tits geometries surface as rational point sets over the Krasner hyperfield, which links these ideas to combinatorial flag varieties in the sense of Borovik, Gelfand and White and F1-geometry in the sense of Connes and Consani. A completely novel feature is our approach to algebraic groups over F1 in terms of an alteration of the very concept of a group. In the second part, we study an incidence-geometrical counterpart of (epimorphisms to) thin Tits geometries; we introduce and classify all F1-structures on 3-dimensional projective spaces over finite fields. This extends recent work of Thas and Thas on epimorphisms of projective planes (and other rank 2 buildings) to thin planes.

This is the second part of our study of epimorphisms with source a thick generalized $m$-gon and target a thin generalized $m$-gon. We classify the case $m = 8$ when the polygons are finite (in the first part [15] we handled the cases $m = 3, 4$ and $6$). Then we show that the infinite case is very different, and construct examples which strongly differ from the finite case. A number of general structure theorems are also obtained, and we also take a look at the infinite case for general gonality.

In this paper we completely classify infinite cyclic projective skew translation quadrangles through a new approach first partially introduced in [17], and in the present paper (unexpectedly) adapted to the infinite case. Very surprisingly, these objects do not exist and only occur in the finite case.

In this note, we introduce a new approach to abstract ``synthetic'' projective lines. We discuss various aspects of our approach, and compare these aspects with the classical one. A number of intriguing questions arise. Amongst these aspects, we discuss geometric closures, and introduce automorphism-blocking sets. We also construct a number of (counter) examples in infinite cases.

In this note, we introduce the first basics on Grothendieck rings for incidence geometries as a new motivic way and tool to study synthetic geometry. In this first instance, we concentrate on generalized quadrangles and related geometries. Many questions, new properties and insights arise along the way.

Inspired by a theorem by Skornjakov-Hughes-Pasini [9, 7, 8] and a problem which turned up in our recent paper [13], we start a study of epimorphisms with source a thick generalized m-gon and target a thin generalized m-gon. In this first part of the series, we classify the cases m = 3, 4 and 6 when the polygons are finite. Then we show that the infinite case is very different, and construct examples which strongly deviate from the finite case. A number of general structure theorems are also obtained. We introduce the theory of locally finitely generated generalized polygons and locally finitely chained generalized polygons along the way.

We settle two questions posed by G. Eric Moorhouse on the existence of locally finite generalized quadrangles with indiscernible ovoids or spreads.

We introduce the new concept of D-geometry (or "drum geometry"), which has been recently discovered by the author in \cite{KT-DRUMS} when constructing and classifying isospectral and length equivalent drums under certain constraints. We will show that any pair of length equivalent domains, and in particular any pair of isospectral domains (which makes one unable to "hear the shape of drums") which is constructed by the famous Gassmann-Sunada method, naturally defines a D-geometry, and that each D-geometry gives rise to such domains. One goal of this letter is to show that in the present theory of isospectral and length equivalent drums, many examples are controlled by finite geometrical phenomena in a very precise sense.

It is a long-standing conjecture from the 1970s that every translation generalized quadrangle is linear, that is, has an endomorphism ring which is a division ring (or, in geometric terms, that has a projective representation). We show that any translation generalized quadrangle $Γ$ is ideally embedded in a translation quadrangle which is linear. This allows us to weakly represent any such $Γ$ in projective space, and moreover, to have a well-defined notion of "characteristic" for these objects. We then show that each translation quadrangle in positive characteristic indeed is linear.

We solve a problem posed by Cardinali and Sastry [2] about factorization of $2$-covers of finite classical generalized quadrangles. To that end, we develop a general theory of cover factorization for generalized quadrangles, and in particular we study the isomorphism problem for such covers and associated geometries. As a byproduct, we obtain new results about semipartial geometries coming from $θ$-covers, and consider related problems.

Inspired by a recent paper of Alain Connes and Catherina Consani which connects the geometric theory surrounding the elusive field with one element to sharply transitive group actions on finite and infinite projective spaces ("Singer actions"), we consider several fudamental problems and conjectures about Singer actions. Among other results, we show that virtually all infinite abelian groups and all (possibly infinitely generated) free groups act as Singer groups on certain projective planes, as a corollary of a general criterion. We investigate for which fields $\mathbb{F}$ the plane $\mathbf{P}^2(\mathbb{F}) = \mathbf{PG}(2,\mathbb{F})$ (and more generally the space $\mathbf{P}^n(\mathbb{F}) = \mathbf{PG}(n,\mathbb{F})$) admits a Singer group, and show, e.g., that for any prime $p$ and any positive integer $n > 1$, $\mathbf{PG}(n,\overline{\mathbb{F}_p})$ cannot admit Singer groups. One of the main results in characteristic $0$, also as a corollary of a criterion which applies to many other fields, is that $\mathbf{PG}(m,\mathbb{R})$ with $m \ne 0$ a positive even integer, cannot admit Singer groups.

We describe a simple criterion to construct Singer groups of Payne-derived generalized quadrangles, yielding, as a corollary, a classification of Singer groups of the classical Payne-derived quadrangles in any characteristic. This generalizes recent constructions of Singer groups of these quadrangles that were presented in a paper by Bamberg and Giudici. In the linear case, and several other cases, our classification is complete. Contrary to what seemed to be a common belief, we show that for the classical Payne-derived quadrangles, the number of different Singer groups is extremely large, and even bounded below by an exponential function of the order of the ground field. Our results have direct applications to the theory of $\widetilde{\mathbf{C}_2}$-buildings, which are explained at the end of the paper.

One of the most fundamental open problems in Incidence Geometry, posed by Tits in the 1960s, asks for the existence of so-called "locally finite generalized polygons" | that is, generalized polygons with "mixed parameters" (one being finite and the other not). In a more specialized context, another long-standing problem (from the 1990s) is as to whether the endomorphism ring of any translation generalized quadrangle is a skew field (the answer of which is known in the finite case). (The analogous problem for projective planes, and its positive solution, the "Bruck-Bose construction," lies at the very base of the whole theory of translation planes.) In this short note, we introduce a category, representing certain very specific embeddings of generalized polygons, which surprisingly controls the solution of both (apparently entirely unrelated) problems.

Starting from an ancient observation of Tits concerning the interpretation of symmetric groups as Chevalley groups over a (non-existing) field having only one element, we describe combinatorial geometry over this field, as well as Linear Algebra. We arrive at an "absolute mantra" which is one of the basic principles of the present book.

We describe new classification results in the theory of generalized quadrangles (= Tits-buildings of rank $2$ and type $\mathbb{B}_2$), more precisely in the (large) sub theory of skew translation generalized quadrangles ("STGQs"). Some of these involve, and solve, long-standing open problems.

Except for the Hermitian buildings $\mathcal{H}(4,q^2)$, up to a combination of duality, translation duality or Payne integration, every known finite building of type $\mathbb{B}_2$ satisfies a set of general synthetic properties, usually put together in the term "skew translation generalized quadrangle" (STGQ). In this series of papers, we classify finite skew translation generalized quadrangles. In the first installment of the series, as corollaries of the machinery we develop in the present paper, (a) we obtain the surprising result that any skew translation quadrangle of odd order $(s,s)$ is a symplectic quadrangle; (b) we determine all skew translation quadrangles with distinct elation groups (a problem posed by Payne in a less general setting); (c) we develop a structure theory for root-elations of skew translation quadrangles which will also be used in further parts, and which essentially tells us that a very general class of skew translation quadrangles admits the theoretical maximal number of root-elations for each member, and hence all members are "central" (the main property needed to control STGQs, as which will be shown throughout); (d) we solve the Main Parameter Conjecture for a class of STGQs containing the class of the previous item, and which conjecturally coincides with the class of all STGQs.