Showing 1–32 of 32 results for author: Schillewaert, J

General and Special Projectivity Groups in Spherical Buildings of Simply Laced Type

Authors: Sira Busch, Jeroen Schillewaert, Hendrik Van Maldeghem

Abstract: We introduce the special and general projectivity groups attached to simplices F of spherical buildings and study those in the simply laced irreducible thick case. If the residue of F is irreducible, we determine the permutation group of the projectivity groups of F acting on the residue of F. This pins down the exact structure and action of the Levi complement of the corresponding parabolic subgr… ▽ More We introduce the special and general projectivity groups attached to simplices F of spherical buildings and study those in the simply laced irreducible thick case. If the residue of F is irreducible, we determine the permutation group of the projectivity groups of F acting on the residue of F. This pins down the exact structure and action of the Levi complement of the corresponding parabolic subgroup in the simple Chevalley group, revealing three special cases for the exceptional types E_6, E_7 and E_8. Furthermore, we establish a general diagrammatic rule to decide when exactly the special and general projectivity groups of F coincide. △ Less

Submitted 12 July, 2024; originally announced July 2024.

MSC Class: 51E24 (Primary) 20E42 (Secondary)

Bounding deformation spaces of Kleinian groups with two generators

Authors: A. Elzenaar, J. Gong, G. J. Martin, J. Schillewaert

Abstract: In this article we provide simple and provable bounds on the size and shape of the quasiconformal deformation space of the groups $\IZ_p*\IZ_q$, the free product of cyclic groups of order $p$ and $q$, in $\PSL(2,\IC)$ for $3\leq p,q \leq \infty$. Though simple, these bounds are sharp, meeting the highly fractal boundary of the deformation space in four cusp groups. Such bounds have great utility i… ▽ More In this article we provide simple and provable bounds on the size and shape of the quasiconformal deformation space of the groups $\IZ_p*\IZ_q$, the free product of cyclic groups of order $p$ and $q$, in $\PSL(2,\IC)$ for $3\leq p,q \leq \infty$. Though simple, these bounds are sharp, meeting the highly fractal boundary of the deformation space in four cusp groups. Such bounds have great utility in computer assisted searches for extremal Kleinian groups so as to identify universal constraints (volume, length spectra, etc) on the geometry and topology of hyperbolic $3$-orbifolds. As an application, we prove a strengthened version of a conjecture by Morier-Genoud, Ovsienko, and Veselov on the faithfulness of the specialised Burau representation. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 12 Figures

MSC Class: 32G15; 30F40; 20F65; 57K32

Lifting subgroups of $\mathrm{PSL}_2$ to $\mathrm{SL}_2$ over local fields

Authors: Naomi Andrew, Matthew J. Conder, Ari Markowitz, Jeroen Schillewaert

Abstract: Let $K$ be a non-archimedean local field. We show that discrete subgroups without 2-torsion in $\mathrm{PSL}_2(K)$ can always be lifted to $\mathrm{SL}_2(K)$, and provide examples (when $\mathrm{char}(K) \neq 2$) which cannot be lifted if either of these conditions is removed. We also briefly discuss lifting representations of groups into $\mathrm{PSL}_2(K)$ to $\mathrm{SL}_2(K)$. Let $K$ be a non-archimedean local field. We show that discrete subgroups without 2-torsion in $\mathrm{PSL}_2(K)$ can always be lifted to $\mathrm{SL}_2(K)$, and provide examples (when $\mathrm{char}(K) \neq 2$) which cannot be lifted if either of these conditions is removed. We also briefly discuss lifting representations of groups into $\mathrm{PSL}_2(K)$ to $\mathrm{SL}_2(K)$. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: 13 pages. Comments welcome!

MSC Class: 20G25 (Primary) 20E08 (Secondary)

Braid groups, elliptic curves, and resolving the quartic

Authors: Peter Huxford, Jeroen Schillewaert

Abstract: We show that, up to a natural equivalence relation, the only non-trivial, non-identity holomorphic maps $\mathrm{Conf}_n\mathbb{C}\to\mathrm{Conf}_m\mathbb{C}$ between unordered configuration spaces, where $m\in\{3,4\}$, are the resolving quartic map $R\colon\mathrm{Conf}_4\mathbb{C}\to\mathrm{Conf}_3\mathbb{C}$, a map $Ψ_3\colon\mathrm{Conf}_3\mathbb{C}\to\mathrm{Conf}_4\mathbb{C}$ constructed fr… ▽ More We show that, up to a natural equivalence relation, the only non-trivial, non-identity holomorphic maps $\mathrm{Conf}_n\mathbb{C}\to\mathrm{Conf}_m\mathbb{C}$ between unordered configuration spaces, where $m\in\{3,4\}$, are the resolving quartic map $R\colon\mathrm{Conf}_4\mathbb{C}\to\mathrm{Conf}_3\mathbb{C}$, a map $Ψ_3\colon\mathrm{Conf}_3\mathbb{C}\to\mathrm{Conf}_4\mathbb{C}$ constructed from the inflection points of elliptic curves in a family, and $Ψ_3\circ R$. This completes the classification of holomorphic maps $\mathrm{Conf}_n\mathbb{C}\to\mathrm{Conf}_m\mathbb{C}$ for $m\leq n$, extending results of Lin, Chen and Salter, and partially resolves a conjecture of Farb. We also classify the holomorphic families of elliptic curves over $\mathrm{Conf}_n\mathbb{C}$. To do this we classify homomorphisms between braid groups with few strands and $\mathrm{PSL}_2\mathbb{Z}$, then apply powerful results from complex analysis and Teichmüller theory. Furthermore, we prove a conjecture of Castel about the equivalence classes of endomorphisms of the braid group with three strands. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 28 pages, 5 figures

Basic Non-Archimedean Jørgensen Theory

Authors: Matthew Conder, Harris Pok Hei Leung, Jeroen Schillewaert

Abstract: We prove a non-archimedean analogue of Jørgensen's inequality, and use it to deduce several algebraic convergence results. As an application we show that every dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$ contains two elements which generate a dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$, which is a special case of a result by Breuillard and Gelander. We also list several other related results,… ▽ More We prove a non-archimedean analogue of Jørgensen's inequality, and use it to deduce several algebraic convergence results. As an application we show that every dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$ contains two elements which generate a dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$, which is a special case of a result by Breuillard and Gelander. We also list several other related results, which are well-known to experts, but not easy to locate in the literature; for example, we show that a non-elementary subgroup of $\mathrm{SL}(K)$ over a non-archimedean local field $K$ is discrete if and only if each of its two-generator subgroups is discrete. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: Several results in the paper are well-known to experts but not so easy to locate in the literature, we would be grateful for pointers to relevant sources

Distances between fixed-point sets in 2-dimensional Euclidean buildings are realised

Authors: Harris Leung, Jeroen Schillewaert, Anne Thomas

Abstract: We prove that if two finitely generated groups act on a metrically complete 2-dimensional Euclidean building, then the distance between their fixed-point sets is realised. Our proof uses the geometry of Euclidean buildings, which we view as CAT(0) spaces, and properties of ultrapowers of Euclidean buildings. We prove that if two finitely generated groups act on a metrically complete 2-dimensional Euclidean building, then the distance between their fixed-point sets is realised. Our proof uses the geometry of Euclidean buildings, which we view as CAT(0) spaces, and properties of ultrapowers of Euclidean buildings. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 8 pages

Discrete two-generator subgroups of ${\rm PSL_2}$ over non-archimedean local fields

Authors: Matthew J. Conder, Jeroen Schillewaert

Abstract: Let $K$ be a non-archimedean local field with residue field of characteristic $p$. We give necessary and sufficient conditions for a two-generator subgroup $G$ of ${\rm PSL_2}(K)$ to be discrete, where either $K=\mathbb{Q}_p$ or $G$ contains no elements of order $p$. We give a practical algorithm to decide whether such a subgroup $G$ is discrete. We also give practical algorithms to decide whether… ▽ More Let $K$ be a non-archimedean local field with residue field of characteristic $p$. We give necessary and sufficient conditions for a two-generator subgroup $G$ of ${\rm PSL_2}(K)$ to be discrete, where either $K=\mathbb{Q}_p$ or $G$ contains no elements of order $p$. We give a practical algorithm to decide whether such a subgroup $G$ is discrete. We also give practical algorithms to decide whether a two-generator subgroup of either ${\rm SL_2}(\mathbb{R})$ or ${\rm SL_2}(K)$ (where $K$ is a finite extension of $\mathbb{Q}_p$) is dense. A crucial ingredient for this work is a structure theorem for two-generator groups acting by isometries on a $Λ$-tree. △ Less

Submitted 14 August, 2023; v1 submitted 25 August, 2022; originally announced August 2022.

Comments: 19 pages, 5 figures, 1 table. Version 2 has some minor updates

MSC Class: 20E08; 22E40

Concrete one complex dimensional moduli spaces of hyperbolic manifolds and orbifolds

Authors: Alex Elzenaar, Gaven Martin, Jeroen Schillewaert

Abstract: The Riley slice is arguably the simplest example of a moduli space of Kleinian groups; it is naturally embedded in $ \mathbb{C} $, and has a natural coordinate system (introduced by Linda Keen and Caroline Series in the early 1990s) which reflects the geometry of the underlying 3-manifold deformations. The Riley slice arises in the study of arithmetic Kleinian groups, the theory of two-bridge knot… ▽ More The Riley slice is arguably the simplest example of a moduli space of Kleinian groups; it is naturally embedded in $ \mathbb{C} $, and has a natural coordinate system (introduced by Linda Keen and Caroline Series in the early 1990s) which reflects the geometry of the underlying 3-manifold deformations. The Riley slice arises in the study of arithmetic Kleinian groups, the theory of two-bridge knots, the theory of Schottky groups, and the theory of hyperbolic 3-manifolds; because of its simplicity it provides an easy source of examples and deep questions related to these subjects. We give an introduction for the non-expert to the Riley slice and much of the related background material, assuming only graduate level complex analysis and topology; we review the history of and literature surrounding the Riley slice; and we announce some results of our own, extending the work of Keen and Series to the one complex dimensional moduli spaces of Kleinian groups isomorphic to $\mathbb{Z}_p*\mathbb{Z}_q$ acting on the Riemann sphere, $2\leq p,q \leq \infty$. The Riley slice is the case $p=q=\infty$ (i.e. two parabolic generators). △ Less

Submitted 24 April, 2022; originally announced April 2022.

Comments: Keywords: Kleinian groups, Schottky groups, hyperbolic geometry, Teichmüller theory, two-bridge links

MSC Class: 20H10; 30F40; 30F60; 57K32; 57R18

The combinatorics of Farey words and their traces

Authors: Alex Elzenaar, Gaven Martin, Jeroen Schillewaert

Abstract: We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates for one-complex-dimensional deformation spaces of Kleinian groups. As such, this family of polynomials has a number of quite remarkable properties. We study these… ▽ More We introduce a family of 3-variable "Farey polynomials" that are closely connected with the geometry and topology of $3$-manifolds and orbifolds as they can be used to produce concrete realisations of the boundaries and local coordinates for one-complex-dimensional deformation spaces of Kleinian groups. As such, this family of polynomials has a number of quite remarkable properties. We study these polynomials from an abstract combinatorial viewpoint, including a recursive definition extending that which is known in the literature for the special case of manifolds, even beyond what the geometry predicts. We also present some intriguing examples and conjectures which we would like to bring to the attention of researchers interested in algebraic combinatorics and hypergeometric functions. The results in this paper additionally provide a practical approach to various classification problems for rank-two subgroups of PSL(2,C) since they, together with other recent work of the authors, make it possible to provide certificates that certain groups are discrete and free, and effective ways to identify relators. △ Less

Submitted 8 May, 2024; v1 submitted 17 April, 2022; originally announced April 2022.

Comments: 34 pages, 10 figures. Updated to include more detailed information about symmetries of the polynomials (section 2) as well as streamline exposition and fix some errors

MSC Class: 11B37; 11B39; 11B57; 20F36; 57K20 (Primary); 32G15; 30F40; 33C45; 41A10 (Secondary)

Parameters for certain locally-regular graphs

Authors: Marston Conder, Jeroen Schillewaert, Gabriel Verret

Abstract: A graph is called $(k,t)$-regular if it is $k$-regular and the induced subgraph on the neighbourhood of every vertex is $t$-regular. We find new conditions on $(k,t)$ for the existence of such graphs and provide a wide range of examples. A graph is called $(k,t)$-regular if it is $k$-regular and the induced subgraph on the neighbourhood of every vertex is $t$-regular. We find new conditions on $(k,t)$ for the existence of such graphs and provide a wide range of examples. △ Less

Submitted 30 November, 2021; originally announced December 2021.

Characterising elliptic and hyperbolic hyperplanes of the parabolic quadric \Q(2n,q)

Authors: Jeroen Schillewaert, Geertrui Van de Voorde

Abstract: We provide a natural characterisation for the sets of elliptic and hyperbolic hyperplanes of the parabolic quadric Q(2n,q) when q is even. This characterisation is based on the number of elements of these sets through points and codimension 2 spaces and generalises [S. Barwick, A. Hui, and W-A. Jackson. Characterising elliptic solids of Q(4,q), q even. Discrete Math., 343 (6) (2020), 111857] and [… ▽ More We provide a natural characterisation for the sets of elliptic and hyperbolic hyperplanes of the parabolic quadric Q(2n,q) when q is even. This characterisation is based on the number of elements of these sets through points and codimension 2 spaces and generalises [S. Barwick, A. Hui, and W-A. Jackson. Characterising elliptic solids of Q(4,q), q even. Discrete Math., 343 (6) (2020), 111857] and [S. Barwick, A. Hui, W-A. Jackson, and J. Schillewaert. Characterising hyperbolic solids of Q(4,q), q even. Des. Codes Cryptogr., 88 (1) (2020), 33--39.]. △ Less

Submitted 17 November, 2021; originally announced November 2021.

Comments: To appear in Finite Fields and their Applications

Approximations of the Riley slice

Authors: Alex Elzenaar, Gaven Martin, Jeroen Schillewaert

Abstract: Adapting the ideas of L. Keen and C. Series used in their study of the Riley slice of Schottky groups generated by two parabolics, we explicitly identify `half-space' neighbourhoods of pleating rays which lie completely in the Riley slice. This gives a provable method to determine if a point is in the Riley slice or not. We also discuss the family of Farey polynomials which determine the rational… ▽ More Adapting the ideas of L. Keen and C. Series used in their study of the Riley slice of Schottky groups generated by two parabolics, we explicitly identify `half-space' neighbourhoods of pleating rays which lie completely in the Riley slice. This gives a provable method to determine if a point is in the Riley slice or not. We also discuss the family of Farey polynomials which determine the rational pleating rays and their root set which determines the Riley slice; this leads to a dynamical systems interpretation of the slice. Adapting these methods to the case of Schottky groups generated by two elliptic elements in subsequent work facilitates the programme to identify all the finitely many arithmetic generalised triangle groups and their kin. △ Less

Submitted 4 November, 2021; originally announced November 2021.

MSC Class: 32G15; 30F40; 57N05

Quasi-polar spaces

Authors: Jeroen Schillewaert, Geertrui Van de Voorde

Abstract: Quasi-polar spaces are sets of points having the same intersection numbers with respect to hyperplanes as classical polar spaces. Non-classical examples of quasi-quadrics have been constructed using a technique called pivoting [5]. We introduce a more general notion of pivoting, called switching, and also extend this notion to Hermitian polar spaces. The main result of this paper studies the switc… ▽ More Quasi-polar spaces are sets of points having the same intersection numbers with respect to hyperplanes as classical polar spaces. Non-classical examples of quasi-quadrics have been constructed using a technique called pivoting [5]. We introduce a more general notion of pivoting, called switching, and also extend this notion to Hermitian polar spaces. The main result of this paper studies the switching technique in detail by showing that, for q >= 4, if we modify the points of a hyperplane of a polar space to create a quasi-polar space, the only thing that can be done is pivoting. The cases q = 2 and q = 3 play a special role for parabolic quadrics and are investigated in detail. Furthermore, we give a construction for quasi-polar spaces obtained from pivoting multiple times. Finally, we focus on the case of parabolic quadrics in even characteristic and determine under which hypotheses the existence of a nucleus (which was included in the definition given in [5]) is guaranteed. △ Less

Submitted 26 September, 2021; originally announced September 2021.

MSC Class: 51E20

A strong Schottky lemma on $n$ generators for $\mathrm{CAT}(0)$ spaces

Authors: Matthew J. Conder, Jeroen Schillewaert

Abstract: We give a criterion for a set of $n$ hyperbolic isometries of a $\mathrm{CAT}(0)$ metric space $X$ to generate a free group on $n$ generators. This extends a result by Alperin, Farb and Noskov who proved this for 2 generators under the additional assumption that $X$ is complete and has no fake zero angles. Moreover, when $X$ is locally compact, the group we obtain is also discrete. We give a criterion for a set of $n$ hyperbolic isometries of a $\mathrm{CAT}(0)$ metric space $X$ to generate a free group on $n$ generators. This extends a result by Alperin, Farb and Noskov who proved this for 2 generators under the additional assumption that $X$ is complete and has no fake zero angles. Moreover, when $X$ is locally compact, the group we obtain is also discrete. △ Less

Submitted 23 January, 2022; v1 submitted 28 March, 2021; originally announced March 2021.

Comments: 7 pages, final version to appear in Münst. J. Math

MSC Class: 20F65

On exceptional Lie geometries

Authors: Anneleen De Schepper, Jeroen Schillewaert, Hendrik Van Maldeghem, Magali Victoor

Abstract: Parapolar spaces are point-line geometries introduced as a geometric approach to (exceptional) algebraic groups. We characterize a wide class of Lie geometries as parapolar spaces satisfying a simple intersection property. In particular many of the exceptional Lie incidence geometries occur. {In an appendix, we extend our result to the locally disconnected case and discuss the locally disconnected… ▽ More Parapolar spaces are point-line geometries introduced as a geometric approach to (exceptional) algebraic groups. We characterize a wide class of Lie geometries as parapolar spaces satisfying a simple intersection property. In particular many of the exceptional Lie incidence geometries occur. {In an appendix, we extend our result to the locally disconnected case and discuss the locally disconnected case of some other well known characterizations. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Comments: 29 pages, to appear in Forum of Math. Sigma

MSC Class: 51E24; 51B25; 20E42

Journal ref: Forum of Mathematics, Sigma 9 (2021) e2

Constructing highly regular expanders from hyperbolic Coxeter groups

Authors: Marston Conder, Alexander Lubotzky, Jeroen Schillewaert, François Thilmany

Abstract: A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of… ▽ More A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist. In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their generalisations, can lead to such graphs. Given a Coxeter system $(W,S)$ and a subset $M$ of $S$, we construct highly regular quotients of the 1-skeleton of the associated Wythoffian polytope $\mathcal{P}_{W,M}$, which form an infinite family of expander graphs when $(W,S)$ is indefinite and $\mathcal{P}_{W,M}$ has finite vertex links. The regularity of the graphs in this family can be deduced from the Coxeter diagram of $(W,S)$. The expansion stems from applying superapproximation to the congruence subgroups of the linear group $W$. This machinery gives a rich collection of families of HR-graphs, with various interesting properties, and in particular answers affirmatively the question asked by Chapman, Linial and Peled. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 22 pages, 2 tables. Dedicated to the memory of John Conway and Ernest Vinberg

MSC Class: 20F55; 05C48 (Primary); 51F15; 22E40; 05C25 (Secondary)

Fixed points for group actions on 2-dimensional affine buildings

Authors: Jeroen Schillewaert, Koen Struyve, Anne Thomas

Abstract: We prove a local-to-global result for fixed points of groups acting on affine buildings (possibly non-discrete) of types $\tilde{A}_2$ or $\tilde{C}_2$. In the discrete case, our theorem establishes the corresponding special cases of a conjecture by Marquis. We prove a local-to-global result for fixed points of groups acting on affine buildings (possibly non-discrete) of types $\tilde{A}_2$ or $\tilde{C}_2$. In the discrete case, our theorem establishes the corresponding special cases of a conjecture by Marquis. △ Less

Submitted 6 December, 2022; v1 submitted 2 March, 2020; originally announced March 2020.

Comments: Substantial revision, generalised Busemann function argument to CAT(0) spaces, streamlined some other proofs and added explanation why our method does not seem to work for the $\tilde{G}_2$case

Characterising hyperbolic hyperplanes of a non-singular quadric in $PG(4,q)$

Authors: S. G. Barwick, Alice M. W. Hui, Wen-Ai Jackson, Jeroen Schillewaert

Abstract: Let $H$ be a non-empty set of hyperplanes in $PG(4,q)$, $q$ even, such that every point of $PG(4,q)$ lies in either $0$, $\frac12q^3$ or $\frac12(q^3+q^2)$ hyperplanes of $ H$, and every plane of $PG(4,q)$ lies in $0$ or at least $\frac12q$ hyperplanes of $H$. Then $H$ is the set of all hyperplanes which meet a given non-singular quadric $Q(4,q)$ in a hyperbolic quadric. Let $H$ be a non-empty set of hyperplanes in $PG(4,q)$, $q$ even, such that every point of $PG(4,q)$ lies in either $0$, $\frac12q^3$ or $\frac12(q^3+q^2)$ hyperplanes of $ H$, and every plane of $PG(4,q)$ lies in $0$ or at least $\frac12q$ hyperplanes of $H$. Then $H$ is the set of all hyperplanes which meet a given non-singular quadric $Q(4,q)$ in a hyperbolic quadric. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Comments: arXiv admin note: text overlap with arXiv:1906.03985

On exceptional compact homogeneous geometries of type C3

Authors: Jeroen Schillewaert, Koen Struyve

Abstract: We provide a uniform framework to study the exceptional homogeneous compact geometries of type C3. This framework is then used to show that these are simply connected, answering a question by Kramer and Lytchak, and to calculate the full automorphism groups. We provide a uniform framework to study the exceptional homogeneous compact geometries of type C3. This framework is then used to show that these are simply connected, answering a question by Kramer and Lytchak, and to calculate the full automorphism groups. △ Less

Submitted 23 October, 2017; originally announced October 2017.

Comments: To appear in Groups geometry and dynamics

Solution to Bishnoi's conjecture on minimal t-fold blocking sets of maximal size

Authors: Jeroen Schillewaert

Abstract: Bishnoi conjectured that if a minimal t-fold blocking set in a projective plane of prime power order has maximal size then it is either a projective plane minus one point, the complement of a Baer subplane or a unital. In this note we prove this conjecture. Bishnoi conjectured that if a minimal t-fold blocking set in a projective plane of prime power order has maximal size then it is either a projective plane minus one point, the complement of a Baer subplane or a unital. In this note we prove this conjecture. △ Less

Submitted 8 May, 2017; originally announced May 2017.

MSC Class: 51E21

Minimal multiple blocking sets

Authors: Anurag Bishnoi, Sam Mattheus, Jeroen Schillewaert

Abstract: We prove that a minimal $t$-fold blocking set in a finite projective plane of order $n$ has cardinality at most \[\frac{1}{2} n\sqrt{4tn - (3t + 1)(t - 1)} + \frac{1}{2} (t - 1)n + t.\] This is the first general upper bound on the size of minimal $t$-fold blocking sets in finite projective planes and it generalizes the classical result of Bruen and Thas on minimal blocking sets. From the proof it… ▽ More We prove that a minimal $t$-fold blocking set in a finite projective plane of order $n$ has cardinality at most \[\frac{1}{2} n\sqrt{4tn - (3t + 1)(t - 1)} + \frac{1}{2} (t - 1)n + t.\] This is the first general upper bound on the size of minimal $t$-fold blocking sets in finite projective planes and it generalizes the classical result of Bruen and Thas on minimal blocking sets. From the proof it directly follows that if equality occurs in this bound then every line intersects the blocking set $S$ in either $t$ points or $\frac{1}{2}(\sqrt{4tn - (3t + 1)(t - 1)} + t - 1) + 1$ points. We use this to show that for $n$ a prime power, equality can occur in our bound in exactly one of the following three cases: (a) $t = 1$, $n$ is a square and $S$ is a unital; (b) $t = n - \sqrt{n}$, $n$ is a square and $S$ is the complement of a Baer subplane; (c) $t = n$ and $S$ is equal to the set of all points except one. For a square prime power $q$ and $t \leq \sqrt{q} + 1$, we give a construction of a minimal $t$-fold blocking set $S$ in $\mathrm{PG}(2,q)$ with $|S| = q\sqrt{q} + 1 + (t - 1)(q - \sqrt{q} + 1)$. Furthermore, we obtain an upper bound on the size of minimal blocking sets in symmetric $2$-designs and use it to give new proofs of other known results regarding tangency sets in higher dimensional finite projective spaces. We also discuss further generalizations of our bound. In our proofs we use an incidence bound on combinatorial designs which follows from applying the expander mixing lemma to the incidence graph of these designs. △ Less

Submitted 13 December, 2018; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: 14 pages, minor revisions, to appear in The Electronic Journal of Combinatorics

MSC Class: 51E21; 05B05; 05B25; 05C50

Strongly transitive actions on Euclidean buildings

Authors: Linus Kramer, Jeroen Schillewaert

Abstract: We prove a decomposition result for a group $G$ acting strongly transitively on the Tits boundary of a Euclidean building. As an application we provide a local to global result for discrete Euclidean buildings, which generalizes results in the locally compact case by Caprace--Ciobotaru and Burger--Mozes. Let $X$ be a Euclidean building without cone factors. If a group $G$ of automorphisms of $X$ a… ▽ More We prove a decomposition result for a group $G$ acting strongly transitively on the Tits boundary of a Euclidean building. As an application we provide a local to global result for discrete Euclidean buildings, which generalizes results in the locally compact case by Caprace--Ciobotaru and Burger--Mozes. Let $X$ be a Euclidean building without cone factors. If a group $G$ of automorphisms of $X$ acts strongly transitively on the spherical building at infinity $\partial X$, then the $G$-stabilizer of every affine apartment in $X$ contains all reflections along thick walls. In particular $G$ acts strongly transitively on $X$ if $X$ is simplicial and thick. △ Less

Submitted 25 October, 2015; v1 submitted 11 June, 2015; originally announced June 2015.

Comments: Will appear in Israel Journal of Mathematics

Severi's theorem for d-uple Veronese varieties

Authors: Jeroen Schillewaert, Koen Struyve

Abstract: We characterize $d$-uple Veronese embeddings of finite-dimensional projective spaces. The easiest non-trivial instance of our theorem is the embedding of the projective plane in 5-dimensional projective space, a result obtained in 1901 by Severi when the underlying field is complex. We characterize $d$-uple Veronese embeddings of finite-dimensional projective spaces. The easiest non-trivial instance of our theorem is the embedding of the projective plane in 5-dimensional projective space, a result obtained in 1901 by Severi when the underlying field is complex. △ Less

Submitted 12 June, 2014; originally announced June 2014.

Imbrex geometries

Authors: Jeroen Schillewaert, Hendrik Van Maldeghem

Abstract: We introduce an axiom on strong parapolar spaces of diameter 2, which arises naturally in the framework of Hjelmslev geometries. This way, we characterize the Hjelmslev-Moufang plane and its relatives (line Grassmannians, certain half-spin geometries and Segre geometries). At the same time we provide a more general framework for a Lemma of Cohen, which is widely used to study parapolar spaces. As… ▽ More We introduce an axiom on strong parapolar spaces of diameter 2, which arises naturally in the framework of Hjelmslev geometries. This way, we characterize the Hjelmslev-Moufang plane and its relatives (line Grassmannians, certain half-spin geometries and Segre geometries). At the same time we provide a more general framework for a Lemma of Cohen, which is widely used to study parapolar spaces. As an application, if the geometries are embedded in projective space, we provide a common characterization of (projections of) Segre varieties, line Grassmann varieties, half-spin varieties of low rank, and the exceptional variety $\mathcal{E}_{6,1}$ by means of a local condition on tangent spaces. △ Less

Submitted 12 September, 2013; originally announced September 2013.

MSC Class: 51

Generalised Veroneseans

Authors: Andreas Klein, Jeroen Schillewaert, Leo Storme

Abstract: In \cite{ThasHVM}, a characterization of the finite quadric Veronesean $\mathcal{V}_{n}^{2^{n}}$ by means of properties of the set of its tangent spaces is proved. These tangent spaces form a {\em regular generalised dual arc}. We prove an extension result for regular generalised dual arcs. To motivate our research, we show how they are used to construct a large class of secret sharing schemes. In \cite{ThasHVM}, a characterization of the finite quadric Veronesean $\mathcal{V}_{n}^{2^{n}}$ by means of properties of the set of its tangent spaces is proved. These tangent spaces form a {\em regular generalised dual arc}. We prove an extension result for regular generalised dual arcs. To motivate our research, we show how they are used to construct a large class of secret sharing schemes. △ Less

Submitted 8 September, 2013; originally announced September 2013.

MSC Class: 51

Journal ref: Advances in Geometry, Volume 12, Issue 3. (2013) 549-569

Characterizations of finite classical polar spaces by intersection numbers with hyperplanes and speces of codimension 2

Authors: Stefaan De Winter, Jeroen Schillewaert

Abstract: In this article we show that non-singular quadrics and non-singular Hermitian varieties are completely characterized by their intersection numbers with respect to hyperplanes and spaces of codimension 2. This strongly generalizes a result by Ferri and Tallini \cite{FT} and also provides necessary and sufficient conditions for quasi-quadrics (respectively their Hermitian analogues) to be non-singul… ▽ More In this article we show that non-singular quadrics and non-singular Hermitian varieties are completely characterized by their intersection numbers with respect to hyperplanes and spaces of codimension 2. This strongly generalizes a result by Ferri and Tallini \cite{FT} and also provides necessary and sufficient conditions for quasi-quadrics (respectively their Hermitian analogues) to be non-singular quadrics (respectively Hermitian varieties).} \section{Introduction} When Segre \cite{Segre} proved his celebrated characterization of conics ("every set of $q+1$ points in $\mathrm{PG}(2,q)$, $q$ odd, no three of which are collinear, is a conic"), he did more than proving a beautiful and interesting theorem; he in fact provided the starting point of a new direction in combinatorial geometry. In this branch of combinatorics the idea is to provide purely combinatorial characterizations of objects classically defined in an algebraic way. This article wants to contribute to this theory by proving strong characterizations of classical finite polar spaces. △ Less

Submitted 8 September, 2013; originally announced September 2013.

MSC Class: 51

Journal ref: Combinatorica 30, (2010), 25-45

Small maximal partial ovoids in generalized quadrangles

Authors: Jeroen Schillewaert, Jacques Verstraete

Abstract: A {\em maximal partial ovoid} of a generalized quadrangle is a maximal set of points no two of which are collinear. The problem of determining the smallest size of a maximal partial ovoid in quadrangles has been extensively studied in the literature. In general, theoretical lower bounds on the size of a maximal partial ovoid in a quadrangle of order $(s,t)$ are linear in $s$. In this paper, in a w… ▽ More A {\em maximal partial ovoid} of a generalized quadrangle is a maximal set of points no two of which are collinear. The problem of determining the smallest size of a maximal partial ovoid in quadrangles has been extensively studied in the literature. In general, theoretical lower bounds on the size of a maximal partial ovoid in a quadrangle of order $(s,t)$ are linear in $s$. In this paper, in a wide class of quadrangles of order $(s,t)$ we give a construction of a maximal partial ovoid of size at most $s \cdot \mbox{polylog}(s)$, which is within a polylogarithmic factor of theoretical lower bounds. The construction substantially improves previous quadratic upper bounds in quadrangles of order $(s,s^2)$, in particular in the well-studied case of the elliptic quadrics $Q^-(5,s)$. △ Less

Submitted 8 August, 2013; originally announced August 2013.

MSC Class: 51; 05

On the varieties of the second row of the split Freudenthal-Tits Magic Square

Authors: Jeroen Schillewaert, Hendrik Van Maldeghem

Abstract: Our main aim is to provide a uniform geometric characterization of the analogues over arbitrary fields of the four complex Severi varieties, i.e.~the quadric Veronese varieties in 5-dimensional projective spaces, the Segre varieties in 8-di\-men\-sional projective spaces, the line Grassmannians in 14-dimensional projective spaces, and the exceptional varieties of type $\mathsf{E}_{6}$ in 26-dimens… ▽ More Our main aim is to provide a uniform geometric characterization of the analogues over arbitrary fields of the four complex Severi varieties, i.e.~the quadric Veronese varieties in 5-dimensional projective spaces, the Segre varieties in 8-di\-men\-sional projective spaces, the line Grassmannians in 14-dimensional projective spaces, and the exceptional varieties of type $\mathsf{E}_{6}$ in 26-dimensional projective space. Our theorem can be regarded as a far-reaching generalization of Mazzocca and Melone's approach to finite quadric Veronesean varieties. This approach takes projective properties of complex Severi varieties as smooth varieties as axioms. △ Less

Submitted 20 December, 2016; v1 submitted 3 August, 2013; originally announced August 2013.

Comments: Small updates, will be published in Annales de l'institut Fourier

MSC Class: 51E24; 51A45; 14M12; 17C37; 20G15

Projective planes over quadratic 2-dimensional algebras

Authors: Jeroen Schillewaert, Hendrik Van Maldeghem

Abstract: The split version of the Freudenthal-Tits magic square stems from Lie theory and constructs a Lie algebra starting from two split composition algebras [3, 17, 18]. The geometries appearing in the second row are Severi-Brauer varieties [20]. We provide an easy uniform axiomatization of these geometries and related ones, over an arbitrary field. In particular we investigate the entry A2 \times A2 in… ▽ More The split version of the Freudenthal-Tits magic square stems from Lie theory and constructs a Lie algebra starting from two split composition algebras [3, 17, 18]. The geometries appearing in the second row are Severi-Brauer varieties [20]. We provide an easy uniform axiomatization of these geometries and related ones, over an arbitrary field. In particular we investigate the entry A2 \times A2 in the magic square, characterizing Hermitian Veronese varieties, Segre varieties and embeddings of Hjelmslev planes of level 2 over the dual numbers. In fact this amounts to a common characterization of "projective planes over quadratic 2-dimensional algebras", in casu the split and non-split Galois extensions and the dual numbers. △ Less

Submitted 14 June, 2012; originally announced June 2012.

MSC Class: 51A45; 17C40; 14M15; 51M35

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.

Journal ref: SIGMA 7 (2011), 080, 8 pages

On metrically complete Bruhat-Tits buildings

Authors: Benjamin Martin, Jeroen Schillewaert, Günter F. Steinke, Koen Struyve

Abstract: Metrical completeness for Bruhat-Tits buildings is a natural and useful condition. In this paper we determine which Bruhat-Tits buildings are metrically complete up to certain cases involving infinite-dimensionality and residue characteristic two. Metrical completeness for Bruhat-Tits buildings is a natural and useful condition. In this paper we determine which Bruhat-Tits buildings are metrically complete up to certain cases involving infinite-dimensionality and residue characteristic two. △ Less

Submitted 24 November, 2011; v1 submitted 3 August, 2011; originally announced August 2011.

Comments: revision, 19 pages

MSC Class: 51E24; 16W60

Coarse Equivalences of Euclidean Buildings

Authors: Linus Kramer, Richard M Weiss, Jeroen Schillewaert, Koen Struyve

Abstract: We prove the following rigidity results. Coarse equivalences between Euclidean buildings preserve spherical buildings at infinity. If all irreducible factors have dimension at least two, then coarsely equivalent Euclidean buildings are isometric (up to scaling factors). If in addition none of the irreducible factors is a Euclidean cone, then the isometry is unique and has finite distance from the… ▽ More We prove the following rigidity results. Coarse equivalences between Euclidean buildings preserve spherical buildings at infinity. If all irreducible factors have dimension at least two, then coarsely equivalent Euclidean buildings are isometric (up to scaling factors). If in addition none of the irreducible factors is a Euclidean cone, then the isometry is unique and has finite distance from the coarse equivalence. △ Less

Submitted 9 December, 2013; v1 submitted 8 February, 2009; originally announced February 2009.

Comments: To appear in: Advances in Mathematics. v2: Substantially revised and expanded. v3: We have added an appendix by Jeroen Schillewaert and Koen Struyve which shows that our main results hold also for non-complete Euclidean buildings. v4 and v5: Some minor typos and misprints corrected

MSC Class: 51E24; 53C24