Koen Thas

A question of Frohardt on $2$ -groups, skew translation quadrangles of even order and cyclic STGQs

We solve a fundamental question posed in Frohardt's 1988 paper [8] on finite $2$ -groups with Kantor familes, by showing that finite groups $K$ with a Kantor family $(\mathcal{F},\mathcal{F}^*)$ having distinct members $A, B \in \mathcal{F}$ such that $A^* \cap B^*$ is a central subgroup of $K$ and the quotient $K/(A^* \cap B^*)$ is abelian cannot exist if the center of $K$ has exponent $4$ and the members of $\mathcal{F}$ are elementary abelian. Then we give a short geometrical proof of a recent result of Ott which says that finite skew translation quadrangles of even order $(t,t)$ (where $t$ is not a square) are always translation generalized quadrangles. This is a consequence of a complete classification of finite cyclic skew translation quadrangles of order $(t,t)$ that we carry out in the present paper.

Epimorphisms of generalized polygons A: The planes, quadrangles and hexagons

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.

Infinite cyclic projective skew translation quadrangles do not exist

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.

Synthetic projective lines, geometric closure and AB-sets

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.

Virtual motives for synthetic geometries, A. Definition and properties of $K_0(\mathcal{Q}_\ell)$

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.

A translation generalized quadrangle in characteristic $\ne 0$ is linear

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.

Automorphisms of Deitmar schemes, I. Functoriality and Trees

In a recent paper [3], the authors introduced a map $\mathcal{F}$ which associates a Deitmar scheme (which is defined over the field with one element, denoted by $\mathbb{F}_1$ ) with any given graph $Γ$ . By base extension, a scheme $\mathcal{X}_k = \mathcal{F}(Γ) \otimes_{\mathbb{F}_1} k$ over any field $k$ arises. In the present paper, we will show that all these mappings are functors, and we will use this fact to study automorphism groups of the schemes $\mathcal{X}_k$ . Several automorphism groups are considered: combinatorial, topological, and scheme-theoretic groups, and also groups induced by automorphisms of the ambient projective space. When $Γ$ is a finite tree, we will give a precise description of the combinatorial and projective groups, amongst other results.

Covers of generalized quadrangles

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.

Graphs, $\mathbb{F}_1$ -schemes and virtual mixed Tate motives

In a number of recent works [6, 7] the authors have introduced and studied a functor $\mathcal{F}_k$ which associates to each loose graph $Γ$ -which is similar to a graph, but where edges with $0$ or $1$ vertex are allowed - a $k$ -scheme, such that $\mathcal{F}_k(Γ)$ is largely controlled by the combinatorics of $Γ$ . Here, $k$ is a field, and we allow $k$ to be $\mathbb{F}_1$ , the field with one element. For each finite prime field $\mathbb{F}_p$ , it is noted in [6] that any $\mathcal{F}_k(Γ)$ is polynomial-count, and the polynomial is independent of the choice of the field. In this note, we show that for each $k$ , the class of $\mathcal{F}_k(Γ)$ in the Grothendieck ring $K_0(\texttt{Sch}_k)$ is contained in $\mathbb{Z}[\mathbb{L}]$ , the integral subring generated by the virtual Lefschetz motive.

Projective spaces over $\mathbb{F}_{1^{\ell}}$

In this essay we study various notions of projective space (and other schemes) over $\mathbb{F}_{1^\ell}$ , with $\mathbb{F}_1$ denoting the field with one element. Our leading motivation is the "Hiden Points Principle," which shows a huge deviation between the set of rational points as closed points defined over $\mathbb{F}_{1^\ell}$ , and the set of rational points defined as morphisms $\texttt{Spec}(\mathbb{F}_{1^\ell}) \mapsto \mathcal{X}$ . We also introduce, in the same vein as Kurokawa [13], schemes of $\mathbb{F}_{1^\ell}$ -type, and consider their zeta functions.

The structure of Deitmar Schemes, II. Zeta functions and automorphism groups

We provide a coherent overview of a number of recent results obtained by the authors in the theory of schemes defined over the field with one element. Essentially, this theory encompasses the study of a functor which maps certain geometries including graphs to Deitmar schemes with additional structure, as such introducing a new zeta function for graphs. The functor is then used to determine automorphism groups of the Deitmar schemes and base extensions to fields.

A taste of Weil theory in characteristic one

In this very short and sketchy chapter, we draw some pictures on the arithmetic theory of $\mathbb{F}_1$ .

Counting points and acquiring flesh

This set of notes is based on a lecture I gave at "50 years of Finite Geometry | A conference on the occasion of Jef Thas's 70th birthday," in November 2014. It consists essentially of three parts: in a first part, I introduce some ideas which are based in the combinatorial theory underlying $\mathbb{F}_1$ , the field with one element. In a second part, I describe, in a nutshell, the fundamental scheme theory over $\mathbb{F}_1$ which was designed by Deitmar. The last part focuses on zeta functions of Deitmar schemes, and also presents more recent work done in this area.

Deitmar schemes, graphs and zeta functions

In [19] it was explained how one can naturally associate a Deitmar scheme (which is a scheme defined over the field with one element, $\mathbb{F}_1$ ) to a so-called "loose graph" (which is a generalization of a graph). Several properties of the Deitmar scheme can be proven easily from the combinatorics of the (loose) graph, and known realizations of objects over $\mathbb{F}_1$ such as combinatorial $\mathbb{F}_1$ -projective and $\mathbb{F}_1$ -affine spaces exactly depict the loose graph which corresponds to the associated Deitmar scheme. In this paper, we first modify the construction of loc. cit., and show that Deitmar schemes which are defined by finite trees (with possible end points) are "defined over $\mathbb{F}_1$ " in Kurokawa's sense; we then derive a precise formula for the Kurokawa zeta function for such schemes (and so also for the counting polynomial of all associated $\mathbb{F}_q$ -schemes). As a corollary, we find a zeta function for all such trees which contains information such as the number of inner points and the spectrum of degrees, and which is thus very different than Ihara's zeta function (which is trivial in this case). Using a process called "surgery," we show that one can determine the zeta function of a general loose graph and its associated { Deitmar, Grothendieck }-schemes in a number of steps, eventually reducing the calculation essentially to trees. We study a number of classes of examples of loose graphs, and introduce the Grothendieck ring of $\mathbb{F}_1$ -schemes along the way in order to perform the calculations. Finally, we compare the new zeta function to Ihara's zeta function for graphs in a number of examples, and include a computer program for performing more tedious calculations.

Isospectral drums and simple groups

Virtually every known pair of isospectral but nonisometric manifolds - with as most famous members isospectral bounded $\mathbb{R}$ -planar domains which makes one "not hear the shape of a drum" [13] - arise from the (group theoretical) Gassman-Sunada method. Moreover, all the known $\mathbb{R}$ -planar examples (so counter examples to Kac's question) are constructed through a famous specialization of this method, called transplantation. We first describe a number of very general classes of length equivalent manifolds, with as particular cases isospectral manifolds, in each of the constructions starting from a given example that arises itself from the Gassman-Sunada method. The constructions include the examples arising from the transplantation technique (and thus in particular the planar examples). To that end, we introduce four properties - called FF, MAX, PAIR and INV - inspired by natural physical properties (which rule out trivial constructions), that are satisfied for each of the known planar examples. Vice versa, we show that length equivalent manifolds with FF, MAX, PAIR and INV which arise from the Gassman-Sunada method, must fall under one of our prior constructions, thus describing a precise classification of these objects. Due to the nature of our constructions and properties, a deep connection with finite simple groups occurs which seems, perhaps, rather surprising in the context of this paper. On the other hand, our properties define physically irreducible pairs of length equivalent manifolds - "atoms" of general pairs of length equivalent manifolds, in that such a general pair of manifolds is patched up out of irreducible pairs - and that is precisely what simple groups are for general groups.

A criterion concerning Singer groups of generalized quadrangles, and construction of uniform lattices in $\widetilde{\mathbf{C}_2}$ -buildings

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.

An obstruction relating locally finite polygons to translation quadrangles

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.

Central aspects of skew translation quadrangles, I

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.

Classification of STGQs, I

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.

Hyperfield extensions, characteristic one and the Connes-Consani plane connection

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.

On the mathematical foundations of mutually unbiased bases

In order to describe the right setting to handle Zauner's conjecture on mutually unbiased bases (MUBs) (saying that in $\mathbb{C}^d$ , a set of MUBs of the theoretical maximal size $d + 1$ exists only if $d$ is a prime power), we pose some fundamental questions which naturally arise. Some of these questions have important consequences for the construction theory of (new) sets of maximal MUBs.

The combinatorial-motivic nature of $\mathbb{F}_1$ -schemes

We review Deitmar's theory of monoidal schemes to start with, and have a detailed look at the standard examples. It is explained how one can combinatorially study such schemes through a generalization of graph theory. In a more general setting we then introduce the author's version of $\mathbb{F}_1$ -schemes (called $Υ$ -schemes here), after which we study Grothendieck's motives in some detail in order to pass to "absolute motives". Throughout several considerations about absolute zeta functions are written. In a final part of the chapter, we describe the approach of Connes and Consani to understand the ad`ele class space through hyperring extension theory, in which a marvelous connection is revealed with certain group actions on projective spaces, and brand new results in the latter context are described. Many questions are posed, conjectures are stated and speculations are made.

The Weyl functor - Introduction to Absolute Arithmetic

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.