-
Towards the horizons of Tits's vision -- on band schemes, crowds and F1-structures
Authors:
Oliver Lorscheid,
Koen Thas
Abstract:
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 approa…
▽ More
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.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Epimorphisms of generalized polygons B: The octagons
Authors:
Joseph A. Thas,
Koen Thas
Abstract:
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 st…
▽ More
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.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Quantum theory without the Axiom of choice, and Lefschetz Quantum Physics
Authors:
Koen Thas
Abstract:
In this conceptual paper, we discuss quantum formalisms which do not use the famous Axiom of Choice. We also consider the fundamental problem which addresses the (in)correctness of having the complex numbers as the base field for Hilbert spaces in the København interpretation of quantum theory, and propose a new approach to this problem (based on the Lefschetz principle). Rather than a Theorem--Pr…
▽ More
In this conceptual paper, we discuss quantum formalisms which do not use the famous Axiom of Choice. We also consider the fundamental problem which addresses the (in)correctness of having the complex numbers as the base field for Hilbert spaces in the København interpretation of quantum theory, and propose a new approach to this problem (based on the Lefschetz principle). Rather than a Theorem--Proof--paper, this paper describes two new research programs on the foundational level, and focuses on fundamental open questions in these programs which come along the way.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Synthetic projective lines, geometric closure and AB-sets
Authors:
Koen Thas
Abstract:
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 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.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
Infinite cyclic projective skew translation quadrangles do not exist
Authors:
Koen Thas
Abstract:
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 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.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
Epimorphisms of generalized polygons A: The planes, quadrangles and hexagons
Authors:
Joseph A. Thas,
Koen Thas
Abstract:
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 exampl…
▽ More
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.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
Virtual motives for synthetic geometries, A. Definition and properties of $K_0(\mathcal{Q}_\ell)$
Authors:
Koen Thas
Abstract:
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.
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.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
Two questions of Moorhouse on indiscernible locally finite generalized quadrangles
Authors:
Koen Thas
Abstract:
We settle two questions posed by G. Eric Moorhouse on the existence of locally finite generalized quadrangles with indiscernible ovoids or spreads.
We settle two questions posed by G. Eric Moorhouse on the existence of locally finite generalized quadrangles with indiscernible ovoids or spreads.
△ Less
Submitted 17 May, 2023; v1 submitted 9 June, 2020;
originally announced June 2020.
-
Covers of generalized quadrangles, 2. Kantor-Knuth covers and embedded ovoids
Authors:
J. A. Thas,
K. Thas
Abstract:
In this paper, which is a sequel to \cite{part1}, we proceed with our study of covers and decomposition laws for geometries related to generalized quadrangles. In particular, we obtain a higher decomposition law for all Kantor-Knuth generalized quadrangles which generalizes one of the main results in \cite{part1}. In a second part of the paper, we study the set of all Kantor-Knuth ovoids (with giv…
▽ More
In this paper, which is a sequel to \cite{part1}, we proceed with our study of covers and decomposition laws for geometries related to generalized quadrangles. In particular, we obtain a higher decomposition law for all Kantor-Knuth generalized quadrangles which generalizes one of the main results in \cite{part1}. In a second part of the paper, we study the set of all Kantor-Knuth ovoids (with given parameter) in a fixed finite parabolic quadrangle, and relate this set to embeddings of parabolic quadrangles into Kantor-Knuth quadrangles. This point of view gives rise to an answer of a question posed in \cite{JATSEP}.
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
Absolute Quantum Theory (after Chang, Lewis, Minic and Takeuchi), and a road to quantum deletion
Authors:
Koen Thas
Abstract:
In a recent paper [2], Chang et al. have proposed studying "Quantum $\mathbb{F}_{un}$": the $q \mapsto 1$ limit of Modal Quantum Theories over finite fields $\mathbb{F}_q$, motivated by the fact that such limit theories can be naturally interpreted in classical Quantum Theory. In this letter, we first make a number of rectifications of statements made in [2]. For instance, we show that Quantum The…
▽ More
In a recent paper [2], Chang et al. have proposed studying "Quantum $\mathbb{F}_{un}$": the $q \mapsto 1$ limit of Modal Quantum Theories over finite fields $\mathbb{F}_q$, motivated by the fact that such limit theories can be naturally interpreted in classical Quantum Theory. In this letter, we first make a number of rectifications of statements made in [2]. For instance, we show that Quantum Theory over $\mathbb{F}_1$ {\em does} have a natural analogon of an inner product, and so orthogonality is a well-defined notion, contrary to what is claimed in [2]. Starting from that formalism, we introduce time evolution operators and observables in Quantum $\mathbb{F}_{un}$, and we determine the corresponding unitary group. Next, we obtain a typical no-cloning in the general realm of Quantum $\mathbb{F}_{un}$. Finally, we obtain a no-deletion result as well. Remarkably, we show that we {\em can} perform quantum deletion by {\em almost unitary operators}, with a probability tending to $1$. Although we develop the construction in Quantum $\mathbb{F}_{un}$, it is also valid in any other Quantum Theory (and thus also in classical Quantum Theory).
△ Less
Submitted 29 August, 2018;
originally announced August 2018.
-
A question of Frohardt on $2$-groups, skew translation quadrangles of even order and cyclic STGQs
Authors:
Koen Thas
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 March, 2022; v1 submitted 12 February, 2018;
originally announced February 2018.
-
The geometry of drums
Authors:
Koen Thas
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
General Quantum Theory
Authors:
Koen Thas
Abstract:
Inspired by classical ("actual") Quantum Theory over $\mathbb{C}$ and Modal Quantum Theory (MQT), which is a model of Quantum Theory over certain finite fields, we introduce General Quantum Theory as a Quantum Theory -- in the København interpretation -- over general division rings with involution, in which the inner product "is" a $(σ,1)$-Hermitian form $\varphi$. This unites all known such appro…
▽ More
Inspired by classical ("actual") Quantum Theory over $\mathbb{C}$ and Modal Quantum Theory (MQT), which is a model of Quantum Theory over certain finite fields, we introduce General Quantum Theory as a Quantum Theory -- in the København interpretation -- over general division rings with involution, in which the inner product "is" a $(σ,1)$-Hermitian form $\varphi$. This unites all known such approaches in one and the same theory, and we show that many of the known results such as no-cloning, no-deleting, quantum teleportation and super-dense quantum coding, which are known in classical Quantum Theory over $\mathbb{C}$ and in some MQTs, hold for any General Quantum Theory. On the other hand, in many General Quantum Theories, a geometrical object which we call "quantum kernel" arises, which is invariant under the unitary group $\mathbf{U}(V,\varphi)$, and which carries the geometry of a so-called polar space. We use this object to construct new quantum (teleportation) coding schemes, which mix quantum theory with the geometry of the quantum kernel (and the action of the unitary group). We also show that in characteristic $0$, every General Quantum Theory over an algebraically closed field behaves like classical Quantum Theory over $\mathbb{C}$ at many levels, and that all such theories share one model, which we pin down as the "minimal model," which is countable and defined over $\overline{\mathbb{Q}}$. Moreover, to make the analogy with classical Quantum Theory even more striking, we show that Born's rule holds in any such theory. So all such theories are not modal at all. Finally, we obtain an extension theory for General Quantum Theories in characteristic $0$ which allows one to extend any such theory over algebraically closed fields (such as classical complex Quantum Theory) to larger theories in which a quantum kernel is present.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Graphs, $\mathbb{F}_1$-schemes and virtual mixed Tate motives
Authors:
Manuel Merida-Angulo,
Koen Thas
Abstract:
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 e…
▽ More
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.
△ Less
Submitted 23 November, 2016;
originally announced November 2016.
-
A translation generalized quadrangle in characteristic $\ne 0$ is linear
Authors:
Koen Thas
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 August, 2016;
originally announced August 2016.
-
Covers of generalized quadrangles
Authors:
Joseph A. Thas,
Koen Thas
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 July, 2016;
originally announced July 2016.
-
Projective spaces over $\mathbb{F}_{1^{\ell}}$
Authors:
Koen Thas
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 July, 2016;
originally announced July 2016.
-
The structure of Deitmar Schemes, II. Zeta functions and automorphism groups
Authors:
Manuel Merida-Angulo,
Koen Thas
Abstract:
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 automo…
▽ More
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.
△ Less
Submitted 13 July, 2016;
originally announced July 2016.
-
Automorphisms of Deitmar schemes, I. Functoriality and Trees
Authors:
Manuel Merida-Angulo,
Koen Thas
Abstract:
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 wil…
▽ More
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.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Counting points and acquiring flesh
Authors:
Koen Thas
Abstract:
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 sc…
▽ More
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.
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
-
A taste of Weil theory in characteristic one
Authors:
Koen Thas
Abstract:
In this very short and sketchy chapter, we draw some pictures on the arithmetic theory of $\mathbb{F}_1$.
In this very short and sketchy chapter, we draw some pictures on the arithmetic theory of $\mathbb{F}_1$.
△ Less
Submitted 23 July, 2015;
originally announced July 2015.
-
Isospectral drums and simple groups
Authors:
Koen Thas
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Deitmar schemes, graphs and zeta functions
Authors:
Manuel Mérida-Angulo,
Koen Thas
Abstract:
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 combinatoria…
▽ More
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.
△ Less
Submitted 8 May, 2015;
originally announced May 2015.
-
On the mathematical foundations of mutually unbiased bases
Authors:
Koen Thas
Abstract:
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.
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.
△ Less
Submitted 11 September, 2014;
originally announced September 2014.
-
Unextendible mutually unbiased bases (after Mandayam, Bandyopadhyay, Grassl and Wootters)
Authors:
Koen Thas
Abstract:
We consider questions posed in a recent paper of Mandayam, Bandyopadhyay, Grassl and Wootters [10] on the nature of "unextendible mutually unbiased bases." We describe a conceptual framework to study these questions, using a connection proved by the author in [19] between the set of nonidentity generalized Pauli operators on the Hilbert space of $N$ $d$-level quantum systems, $d$ a prime, and the…
▽ More
We consider questions posed in a recent paper of Mandayam, Bandyopadhyay, Grassl and Wootters [10] on the nature of "unextendible mutually unbiased bases." We describe a conceptual framework to study these questions, using a connection proved by the author in [19] between the set of nonidentity generalized Pauli operators on the Hilbert space of $N$ $d$-level quantum systems, $d$ a prime, and the geometry of non-degenerate alternating bilinear forms of rank $N$ over finite fields $\mathbb{F}_d$. We then supply alternative and short proofs of results obtained in [10], as well as new general bounds for the problems considered in loc. cit. In this setting, we also solve Conjecture 1 of [10], and speculate on variations of this conjecture.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
-
A criterion concerning Singer groups of generalized quadrangles, and construction of uniform lattices in $\widetilde{\mathbf{C}_2}$-buildings
Authors:
Stefaan De Winter,
Koen Thas
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
Hyperfield extensions, characteristic one and the Connes-Consani plane connection
Authors:
Koen Thas
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
An obstruction relating locally finite polygons to translation quadrangles
Authors:
Koen Thas
Abstract:
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 gen…
▽ More
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.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
The combinatorial-motivic nature of $\mathbb{F}_1$-schemes
Authors:
Koen Thas
Abstract:
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 or…
▽ More
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.
△ Less
Submitted 20 June, 2014;
originally announced June 2014.
-
The Weyl functor - Introduction to Absolute Arithmetic
Authors:
Koen Thas
Abstract:
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.
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.
△ Less
Submitted 18 June, 2014;
originally announced June 2014.
-
Central aspects of skew translation quadrangles, I
Authors:
Koen Thas
Abstract:
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.…
▽ More
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.
△ Less
Submitted 16 June, 2014;
originally announced June 2014.
-
Classification of STGQs, I
Authors:
Koen Thas
Abstract:
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.
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.
△ Less
Submitted 16 June, 2014;
originally announced June 2014.
-
The 2-Transitive Transplantable Isospectral Drums
Authors:
Jeroen Schillewaert,
Koen Thas
Abstract:
For Riemannian manifolds there are several examples which are isospectral but not isometric, see e.g. J. Milnor [Proc. Nat. Acad. Sci. USA 51 (1964), 542]; in the present paper, we investigate pairs of domains in ${\mathbb R}^2$ which are isospectral but not congruent. All known such counter examples to M. Kac's famous question can be constructed by a certain tiling method ("transplantability") us…
▽ More
For Riemannian manifolds there are several examples which are isospectral but not isometric, see e.g. J. Milnor [Proc. Nat. Acad. Sci. USA 51 (1964), 542]; in the present paper, we investigate pairs of domains in ${\mathbb R}^2$ which are isospectral but not congruent. All known such counter examples to M. Kac's famous question can be constructed by a certain tiling method ("transplantability") using special linear operator groups which act 2-transitively on certain associated modules. In this paper we prove that if any operator group acts 2-transitively on the associated module, no new counter examples can occur. In fact, the main result is a corollary of a result on Schreier coset graphs of 2-transitive groups.
△ Less
Submitted 18 August, 2011;
originally announced August 2011.
-
Hearing shapes of drums - mathematical and physical aspects of isospectrality
Authors:
O. Giraud,
K. Thas
Abstract:
In a celebrated paper '"Can one hear the shape of a drum?"' M. Kac [Amer. Math. Monthly 73, 1 (1966)] asked his famous question about the existence of nonisometric billiards having the same spectrum of the Laplacian. This question was eventually answered positively in 1992 by the construction of noncongruent planar isospectral pairs. This review highlights mathematical and physical aspects of isos…
▽ More
In a celebrated paper '"Can one hear the shape of a drum?"' M. Kac [Amer. Math. Monthly 73, 1 (1966)] asked his famous question about the existence of nonisometric billiards having the same spectrum of the Laplacian. This question was eventually answered positively in 1992 by the construction of noncongruent planar isospectral pairs. This review highlights mathematical and physical aspects of isospectrality.
△ Less
Submitted 6 January, 2011;
originally announced January 2011.
