\documentclass[ALCO, Unicode]{cedram}

\usepackage[matrix,arrow,tips,curve]{xy}
\usepackage{tikz}
\usepackage{xcolor}
\usepackage[normalem]{ulem}
\usepackage{url}
\usetikzlibrary{arrows.meta,
                chains,
                decorations.pathreplacing,calligraphy,
                positioning,
                quotes,
                shapes.geometric
                }
\usetikzlibrary{patterns, shapes}
\usetikzlibrary{patterns.meta}

\usepackage{tikz-cd}

\usepackage{tikz-cd}
\usepackage{soul}
\usepackage{tkz-berge}

\definecolor{green}{HTML}{37cc57}
\definecolor{red}{HTML}{e81e5b}
\definecolor{blue}{HTML}{3d8bbf}

\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\AGL}{AGL}
\DeclareMathOperator{\PSL}{PSL}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\MA}{M\Gamma}
\DeclareMathOperator{\Id}{Id}
\DeclareMathOperator{\MM}{\mathcal{M}}
\DeclareMathOperator{\Sz}{Sz}
\DeclareMathOperator{\OO}{\mathcal{O}}
\DeclareMathOperator{\CC}{\mathcal{C}}
\DeclareMathOperator{\\PG}{\mathbf{P}\mathbf{G}}
\DeclareMathOperator{\PP}{\mathbf{P}}
\DeclareMathOperator{\FF}{\mathbb{F}}
\DeclareMathOperator{\PGL}{PGL}
\DeclareMathOperator{\PGO}{PGO}
\DeclareMathOperator{\Cor}{Cor}
\DeclareMathOperator{\AG}{AG}
\DeclareMathOperator{\PGammaL}{P\Gamma L}
\DeclareMathOperator{\PG}{PG}
\DeclareMathOperator{\SL}{SL}
\DeclareMathOperator{\UH}{U_H}
\DeclareMathOperator{\PGammaU}{P \Gamma U}
\DeclareMathOperator{\AGammaL}{A \Gamma L}
\DeclareMathOperator{\PSU}{PSU}
\DeclareMathOperator{\Kv}{K}
\DeclareMathOperator{\Kn}{K_n}
\DeclareMathOperator{\K3}{K_3}
\DeclareMathOperator{\K4}{K_4}
\DeclareMathOperator{\Alt}{A}
\DeclareMathOperator{\St}{S_3}
\DeclareMathOperator{\Ss}{S_6}
\DeclareMathOperator{\Sym}{S}
\DeclareMathOperator{\Sv}{S}
\DeclareMathOperator{\Sn}{S_n}
\DeclareMathOperator{\Mv}{M}
\DeclareMathOperator{\Mo}{M_{11}}
\DeclareMathOperator{\Md}{M_{12}}
\DeclareMathOperator{\Mvd}{M_{22}}
\DeclareMathOperator{\ea}{ea}
\DeclareMathOperator{\Ct}{C_3}

\makeatletter
\pgfdeclarepatternformonly[\LineSpace]{custom hatch}
{\pgfqpoint{0pt}{0pt}}
{\pgfqpoint{\LineSpace}{\LineSpace}}
{\pgfqpoint{\LineSpace}{\LineSpace}}
{
  \pgfsetcolor{\tikz@pattern@color}
  \pgfpathmoveto{\pgfqpoint{0pt}{0pt}}
  \pgfpathlineto{\pgfqpoint{\LineSpace}{\LineSpace}}
  \pgfusepath{stroke}
}
\makeatother

\makeatletter
\pgfdeclarepatternformonly[\GridSize]{custom grid}
{\pgfqpoint{0pt}{0pt}}
{\pgfqpoint{\GridSize}{\GridSize}}
{\pgfqpoint{\GridSize}{\GridSize}}
{
  \pgfsetcolor{\tikz@pattern@color}
  \pgfpathmoveto{\pgfqpoint{0pt}{0pt}}
  \pgfpathlineto{\pgfqpoint{0pt}{\GridSize}}
  \pgfpathmoveto{\pgfqpoint{0pt}{0pt}}
  \pgfpathlineto{\pgfqpoint{\GridSize}{0pt}}
  \pgfusepath{stroke}
}
\makeatother


\title[Geometries with trialities arising from linear spaces]{Geometries with trialities \texorpdfstring{\\}{} arising from linear spaces}

\author{\firstname{Remi} \lastname{Delaby}}
\address{Universit\'e Libre de Bruxelles\\ 
D\'epartement de Math\'ematique\\
C.P.216 - Alg\`ebre et Combinatoire, Boulevard du Triomphe\\
1050 Brussels {Belgium}}
\email{remi.delaby@ulb.be}

\author{\firstname{Dimitri}  \lastname{Leemans}}
\address{Universit\'e Libre de Bruxelles\\ 
D\'epartement de Math\'ematique\\
C.P.216 - Alg\`ebre et Combinatoire, Boulevard du Triomphe\\
1050 Brussels {Belgium}}
\email{leemans.dimitri@ulb.be}
\urladdr{https://leemans.dimitri.web.ulb.be/}

\author{\firstname{Philippe} \lastname{Tranchida}}
\address{Max Planck Institute for Mathematics in the Sciences\\
Inselstrasse 22\\
D-04107 Leipzig {Germany}}
\curraddr{Universit\'e Libre de Bruxelles\\ 
D\'epartement de Math\'ematique\\
C.P.216 - Alg\`ebre et Combinatoire, Boulevard du Triomphe\\
1050 Brussels {Belgium}}
\email{tranchida.philippe@gmail.com}

\thanks{The second author is supported by an ARC grant of the F\'{e}d\'{e}ration Wallonie Bruxelles.}

\keywords{incidence geometry, trialities, flag-transitive linear spaces}
 
\subjclass{51E24, 20B25}

\begin{document}

\begin{abstract}
A triality is a sort of super-symmetry that exchanges the types of the elements of an incidence geometry in cycles of length three. Although geometries with trialities exhibit fascinating behavior, their construction is challenging, making them rare in the literature. To understand trialities more deeply, it is crucial to have a wide variety of examples at hand. In this article, we introduce a general method for constructing various rank-three incidence systems with trialities. Specifically, for any rank two incidence system $\Gamma$, we define its triangle complex $\Delta(\Gamma)$, a rank three incidence system whose elements consist of three copies of the flags (pairs of incident elements) of $\Gamma$. This triangle complex always admits a triality that cyclically permutes the three copies. We then explore in detail the properties of the triangle complex when $\Gamma$ is a linear space, including flag-transitivity, the existence of dualities, and connectivity properties. As a consequence of our work, this construction yields the first infinite family of thick, flag-transitive and residually connected geometries with trialities but no dualities.
\end{abstract}

\maketitle

\theoremstyle{plain} 
\newtheorem{construction}{Construction}



\[\scalebox{0.58}{\begin{tikzpicture}[scale = 1]
\tikzset{node distance=2cm, every node/.style={circle,thin, fill=black}}

\renewcommand*{\EdgeLineWidth}{1pt}

\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

\node[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1.5] (1) {};
\node[right of=1, fill, color=black, circle, scale = .2] (2) {};
\node[draw = blue, right of=2, pattern=custom grid, pattern color=blue, circle, scale = 1.5] (3) {};
\node[below of=1, fill, color=black, circle, scale = .2] (4) {};
\node[below of=2, fill, color=black, circle, scale = .2] (5) {};
\node[below of=3, fill, color=black, circle, scale = .2] (6) {};
\node[below of=4, fill, color=black, circle, scale = .2] (7) {};
\node[draw= red, below of=5, fill, color=red, circle, scale = 1.5] (8) {};
\node[below of=6, fill, color=black, circle, scale = .2] (9) {};
\draw[-]
(1) edge[blue, dashed, thick, line width = 4] (2)
(2) edge[blue, dashed, thick, line width = 4] (3)
(4) edge[black] (5)
(5) edge[black] (6)
(7) edge[black] (8)
(8) edge[black] (9)
(3) edge[black] (5)
(5) edge[black] (7)
(1) edge[black] (5)
(5) edge[black] (9)
(3) edge[black] (6)
(6) edge[black] (9)
(1) edge[black] (4)
(4) edge[black] (7)
(2) edge[black] (5)
(5) edge[black] (8)
(2) edge[black] (4)
(8) edge[green, double, line width = 2] (6)
(6) edge[black] (2)
(4) edge[red, line width = 4] (8)
(8) edge[red, line width = 4, out=315, in=315, looseness=2] (3)
(4) edge[black, out=225, in=225, looseness=2] (9)
(6) edge[green, double, line width = 2, out=45, in=45, looseness=2] (1)
(2) edge[black, out=135, in=135, looseness=2] (7);

\end{tikzpicture}}\]

\section{Introduction}

Incidence geometries are geometric objects formed of elements of different types together with an incidence relation between them. In the more classical examples, incidence geometries are formed of points, lines, faces, etc. Some incidence geometries allow for some type of super-symmetry that exchanges the role of their types. These symmetries are formally called correlations. The most classical example is the one of a duality or a polarity, which exchanges the role of points and hyperplanes in projective geometries or the role of points and faces in polyhedra. Higher order collineations have not been systematically studied. That being said, order three correlations, also called trialities did make some very noticeable appearances in the history of mathematics. 

The notion of triality appeared in papers of Study (see~\cite[Page 435]{Porteous}, see also~\cite{Study1} and~\cite{Study2}\footnote{See \url{http://neo-classical-physics.info/uploads/3/4/3/6/34363841/study-analytical_kinematics.pdf} for an english translation of~\cite{Study2}.}), where he used a quadric in a seven dimensional projective plane to describe physical motions. Cartan later gave the official name of triality~\cite{Cartan} to this phenomenon, and defined it in the broader context of Lie groups. This quadric was later investigated by Tits in \cite{tits1959trialite}. In \cite{trialityAbsolutes}, it is shown how to obtain interesting geometries from the absolute points and the moving lines of this same quadric under the actions of the triality. Freudenthal further explored triality in the context of Lie algebras \cite{Freudenthal}. The notion of triality also appears in the study of maps on surfaces, where a triality is obtained as a composition of the dual operator and the Petrie dual operator (see \cite{abrams2022new,jones2010maps,wilson1979operators}). Recently, Leemans and Stokes \cite{LeemansStokes2019} showed how to construct coset geometries having trialities by using a group $G$ that has outer automorphisms of order three. They used this technique in~\cite{leemans2022incidence} to construct the first infinite family of coset geometries admitting trialities but no dualities. In \cite{trialitySuzuki}, the first infinite family of flag-transitive geometries admitting trialities but no dualities is given. The construction uses coset geometries arising from Suzuki groups $\Sz(q)$, where $q=2^{2e+1}$ with $e$ a positive integer and $2e+1$ divisible by $3$. 
We refer to the introduction of \cite{trialitySuzuki} for a more detailed account of the history of trialities.


In this article, we present a new construction that produces a rank three geometry $\Delta(\Gamma)$ with trialities from any given rank two geometry $\Gamma$ (see Construction~\ref{construct}). The elements of this new geometry $\Delta(\Gamma)$ are three copies of the flags of $\Gamma$ and the trialities exchange cyclically these three copies. Since the chambers of $\Delta(\Gamma)$ correspond to triangles of $\Gamma$, we call $\Delta(\Gamma)$ the triangle complex of $\Gamma$. We then study in detail the case where $\Gamma$ is a linear space. We show that $\Delta(\Gamma)$ is flag-transitive if and only if $\Gamma$ is transitive on its set of non-collinear triples of points (Theorem \ref{mastertheorem}). This prompts us to give a classification of such linear spaces. We achieve this in Theorem \ref{transitive}, using the previous classification of locally two-transitive linear spaces given in \cite{BDL2003}. We then obtain the following result, which may also be of interest to researchers studying linear spaces.

\begin{theorem}\label{transitive}
Assume $\Gamma$ is a flag-transitive linear space of $v$ points with a group $G$ acting transitively on the set $\mathcal{T}(\Gamma)$ of ordered non-collinear triples of points of $\Gamma$. Then one of the following occurs:
\begin{enumerate}
\item $\Gamma=\PG(n,q)$, $v=\frac{q^{n+1}-1}{q-1}$, $\PSL(n+1,q)\trianglelefteq G \le \PGammaL(n+1,q)$ with $n\ge 2$.
\item $\Gamma=\PG(3,2)$, $v=15$ with $G\cong \Alt_7$.
\item $\Gamma=\AG(n,q)$, $v=p^d=q^n$, $G=\mathbb{F}_p^d:G_0$ with $\SL(n,q)\trianglelefteq G_0$, $q\ge 3$ and $n\ge 3$ or $\GL(n,q)\trianglelefteq G_0$, $q\ge 3$ and $n = 2$.
\item  $\Gamma$ is a hermitian unital $\UH(q)$, $v=q^3+1$, $G = \PGammaU(3,q)$ and $q=2$ or $4$.
\item $\Gamma$ is a circle and $G$ is a $3$-transitive permutation group:
     \begin{enumerate}
	\item $G=\Alt_v,G=\Sv_v$, $v\ge 3$.
	\item $G\trianglerighteq {\PSL}(2,q)$, $v=q+1$ and $G$ normalizes a sharply $3$-transitive permutation group.
	\item $G = \Mv_v$, $v=11,12,22,23,24$ or $G=\Aut(\Mvd)$, $v=22$.
	\item $G= \Mo$, $v=12$.
	\item $G= \Alt_7$, $v=15$.
    \item $G=\mathbb{F}_2^n:G_{0}$, $v=2^n$, $G_0\trianglerighteq \SL(n,2)$ with $n\ge 2$.
	\item $G=\mathbb{F}_2^4:\Alt_7$, $v=16$.
      \end{enumerate}
\end{enumerate}
The converse is also true. For any pair $(\Gamma,G)$ satisfying the conditions of one of the cases given above, the action of $G$ is transitive on $\mathcal{T}(\Gamma)$.
\end{theorem}

We then investigate which of the geometries $\Gamma$ appearing in the classification theorem above yields a firm, residually connected and flag-transitive geometry $\Delta(\Gamma)$.
We obtain the following classification theorem.
\begin{theorem}\label{classification}
Assume $\Gamma$ is a linear space of $v$ points. The geometry $\Delta(\Gamma)$ obtained from Construction~\ref{construct} is firm, residually connected and flag-transitive if and only if $\Gamma$ is one of the following:
\begin{enumerate}
\item A projective plane $\PG(2,q)$ with $q\geq 2$ and $v=q^2+q+1$;
\item An affine plane $\AG(2,q)$ with $q\geq 3$ and $v=q^2$;
\item A hermitian unital $\UH(q)$ with $q=2$ or $4$ and $v=q^3+1$.
\end{enumerate}
Moreover, in each of these cases, $\Delta(\Gamma)$ admits dualities if and only if $\Gamma$ does.
\end{theorem}
In particular, applying our construction to finite affine planes results in an infinite family of flag-transitive, residually connected and thick geometries with trialities but no dualities. While examples of infinite families of geometries with trialities but no dualities were given \cite{LeemansStokes2019} and \cite{trialitySuzuki}, in both cases, the geometries are constructed as coset geometries. This means that the elements of these geometries are defined as coset of some systems $(G_i)_{i\in I}$ of subgroups of some group $G$, and do not have simple geometric interpretation. Moreover, the existence of a triality and the lack of dualities for these geometries also relies on group theoretical arguments. Indeed, the triality is induced by an outer automorphism of $G$ of order three, and the absence of outer automorphisms of order two in $G$ implies the impossibility for the geometry to have dualities. In our case, the definition of $\Delta(\Gamma)$, the existence of the triality and the lack of dualities are all based on geometric constructions and arguments.

The geometry $\Delta(\AG(2,3))$ is the smallest geometry with trialities but no dualities arising from our construction. It is a geometry of rank three with 108 elements, 36 of each type. It has $432$ maximal flags and can be considered as an orientable proper hypermap on a surface of genus 55. This hypermap is the hypermap RPH55.89 on Marston Conder's list of orientable proper hypermaps\footnote{
See \url{https://www.math.auckland.ac.nz/~conder/OrientableProperHypermaps101.txt}
}.

The paper is organized as follows.
In Section~\ref{sec:prelim}, we give the basic notions needed to understand the paper.
In Section~\ref{sec:triangle}, we give the construction of the triangle complex of a rank two incidence system and we study the link between automorphisms and correlations of $\Gamma$ and those of $\Delta(\Gamma)$ in detail.
In Section~\ref{sec:linear}, we prove that a linear space $\Gamma$ yields a flag-transitive triangle complex $\Delta(\Gamma)$ if and only if there exists $G\leq \Aut(\Gamma)$ that acts transitively on the set of ordered non-collinear triples of points of $\Gamma$. This leads us to prove Theorem~\ref{transitive} which classifies the linear spaces $\Gamma$ that are such that their triangle complex $\Delta(\Gamma)$ is flag-transitive.
In Section~\ref{sec:rc}, we study the connectedness and residual connectedness of $\Delta(\Gamma)$, ultimately allowing us to prove Theorem~\ref{classification}.
In Section~\ref{sec:diagrams}, we give the Buekenhout diagrams of the triangle complexes obtained in Theorem~\ref{classification}. Finally, Section~\ref{sec:conclusion} contains some concluding remarks and suggestions for future works.

\section{Preliminaries}\label{sec:prelim}

Many geometric structures are composed of objects and a relation that specifies how these objects are related to one another. The notion of incidence system formalizes this concept by providing an abstract framework to study these configurations. We refer to~\cite{buekenhout2013diagram} for an introduction to this subject and more generally to the subject of diagram geometry.

Let $I$ be a finite non empty set.
    A triple $\Gamma = (X,\star,t)$ is called an \textit{incidence system} over $I$ if
    \begin{enumerate}
        \item $X$ is a non empty set whose elements are called the \textit{elements} of $\Gamma$;
        \item $\star$ is a symmetric and reflexive relation on $X$. It is called the \textit{incidence relation} of $\Gamma$;
        \item $t$ is a map from $X$ to $I$, called the \textit{type map} of $\Gamma$, such that distinct elements $x,y \in X$ with $x \star y$ satisfy $t(x) \neq t(y)$. Elements of $t^{-1}(i)$ are called elements of type~$i$.
    \end{enumerate}

The \textit{rank} of $\Gamma$ is the cardinality of the type set $I$.
A \textit{flag} in an incidence system $\Gamma$ over $I$ is a set of pairwise incident elements. The type of a flag $F$ is $t(F)$, that is the set of types of the elements of $F.$ A \textit{chamber} is a flag of type~$I$. An incidence system $\Gamma$ is an \textit{incidence geometry} if all its maximal flags are chambers.

Let $F$ be a flag of $\Gamma$. An element $x\in X$ is {\em incident} to $F$ if $x\star y$ for all $y\in F$. The \textit{residue} of $\Gamma$ with respect to $F$, denoted by $\Gamma_F$, is the incidence system formed by all the elements of $\Gamma$ incident to $F$ but not in $F$. The \textit{rank} of a residue is equal to rank$(\Gamma)$ - $|F|$. For an element $x\in X$, we denote by $\text{Res}_{\Gamma}(x)$ the set of elements of~$\Gamma_{\{x\}}$.

A geometry $\Gamma$ is \textit{firm} (respectively, \textit{thick}) if every flag of type other than $I$ is contained in at least two (respectively, three) distinct chambers of $\Gamma$. It is called \textit{thin} if every flag of type~$I \backslash \{i\}$ for some $i \in I$ is contained in exactly two chambers of $\Gamma$.

The \textit{incidence graph} of $\Gamma$ is a graph with vertex set $X$ and where two elements $x$ and $y$ are connected by an edge if and only if $x \star y$ and $t(x) \neq t(y)$. Whenever we talk about the distance between two elements $x$ and $y$ of a geometry $\Gamma$, we mean the distance in the incidence graph of $\Gamma$ and simply denote it by $d_\Gamma(x,y)$, or even $d(x,y)$ if the context allows.
The geometry $\Gamma$ is \textit{residually connected} when the incidence graphs of all of its residues of rank at least $2$ are connected.

Let $\Gamma = \Gamma(X,\star,t)$ and $\Lambda = (Y, * , t')$ be incidence systems over the same type set~$I$. A \textit{morphism} from $\Gamma$ to $\Lambda$ is a map $\phi \colon X \to Y$ such that, for any $x,x'$ in $X$, we have $\phi(x) * \phi(x')$ if $x \star x'$ and $t'(\phi(x)) = t'(\phi(y))$ if and only if $t(x) = t(y)$.
If the map $\phi$ is a bijection and $\phi^{-1}$ is also a morphism, then $\phi$ is called a \textit{correlation}. If, moreover, $\phi$ fixes the types of every element (that is $t'(\phi(x)) = t(x)$ for all $x \in X$), then $\phi$ is said to be an \textit{isomorphism}. The \emph{type} of a correlation $\phi$ is the permutation it induces on the type set $I$. A correlation of type~$(i,j)$ is called a {\em duality}. Additionally, if $\phi$ has order $2$, it is then called a {\em polarity}. A correlation of type~$(i,j,k)$ is called a {\em triality}. The group of all correlations of $\Gamma$ to itself is denoted by $\Cor(\Gamma)$ and the group of isomorphisms from $\Gamma$ to itself is denoted by $\Aut(\Gamma)$. An isomorphism $\phi \colon \Gamma \to \Gamma$ is usually called an \textit{automorphism} of $\Gamma$. Remark that $\Aut(\Gamma)$ is a normal subgroup of $\Cor(\Gamma)$ since it is the kernel of the action of $\Cor(\Gamma)$ on $I$.

A geometry $\Gamma$ such that the action of $\Aut(\Gamma)$ on the set of chambers if transitive is called \textit{flag-transitive} or \textit{chamber-transitive}.
Notice that being transitive on the chambers implies being transitive on the set of flags of any given type since, in a geometry, every flag can be extended to a chamber. Let $G \leq \Aut(\Gamma)$. As in~\cite{srzk2}, the pair $(\Gamma,G)$ is called $(2T)_1$ if for every flag $F$ of rank $|I|-1$, the stabilizer of $F$ in $G$ acts two-transitively on the elements of the residue $\Gamma_F$ . 

Consider a rank $2$ geometry $\Gamma$ over $I = \{P,L\}$ where the elements of $P$ are called points, the elements of $L$ are called lines and such that the following axioms are fulfilled.
\begin{enumerate} 
    \item Every line is incident to at least two points.
    \item Every point is incident to at least two lines.
    \item Every pair of distinct points $p,q$ is incident to one and only one line.
\end{enumerate}
Such an incidence geometry $\Gamma = (\mathcal{P} \sqcup \mathcal{L},\star,t ) $ over $I = \{P,L\}$ is called a \textit{linear space} where $t$ is defined in the obvious way (see \cite[Chapter 1, Section 2.5]{Handbook}). We decided to add axiom (2) to the definition of \cite[Chapter 1, Section 2.5]{Handbook} in order to avoid the degenerate case where  $\Gamma$ would have a unique line.

\section{The triangle complex of a rank two geometry}\label{sec:triangle}

In this section, we define the main construction of this article, that is, the triangle complex $\Delta(\Gamma)$ of a rank two incidence system $\Gamma$. We first establish some of its general properties and then study in detail the geometry $\Delta(\Gamma)$ when $\Gamma$ is a thick linear space. In particular, we pay close attention to the automorphisms and correlations of $\Delta(\Gamma)$. It turns out that, except for the trialities, the correlations of $\Delta(\Gamma)$ are all induced by correlations of $\Gamma$. 

Let $\Gamma = (X,\star,t)$ be an incidence system of rank two over the type set $I$. Without loss of generality, we can always assume that $X = \mathcal{P} \sqcup\mathcal{L}$. We will then call the elements of $\mathcal{P}$ the points of $\Gamma$ and the elements of $\mathcal{L}$ the lines of $\Gamma$.

\begin{construction}\label{construct}
Let $\Gamma = (\mathcal{P} \sqcup \mathcal{L},\star,t)$ 
be a rank two geometry. The {\em triangle complex} $\Delta(\Gamma) = (X_{\Delta(\Gamma)},\star_{\Delta(\Gamma)},t_{\Delta(\Gamma)})$ over $I = \{0,1,2\}$ is the rank three incidence system constructed from $\Gamma$ in the following way: 

\begin{enumerate}
    \item The set $X_{\Delta(\Gamma)}$ of elements of $\Delta(\Gamma)$ is the set of all the triples $(p,L,i)$ with $p \in \mathcal P$, $L \in \mathcal L$, $i \in \{ 0,1,2 \}$ satisfying $p \star L$.
    \item The incidence relation $\star_{\Delta(\Gamma)}$ is defined by $(p,L,i) \star_{\Delta(\Gamma)} (p',L',i + 1 \bmod{3})$ if and only if $p \star L'$ and we do not have $p' \star L$.
    \item The type function $t_{\Delta(\Gamma)} \colon X_{\Delta(\Gamma)} \mapsto \{ 0, 1 , 2 \}$ is defined by $t_{\Delta(\Gamma)} ( (p,L,i) ) = i$.
\end{enumerate}    
\end{construction}

In order to simplify the notation, we set once and for all that the operations on the types are always taken modulo $3$. In particular, an element $(p,L,i)$ with $i \in \mathbb{Z}$ will be understood as $(p,L,i \bmod{3})$ in the rest of the article.

Simply put, the elements of $\Delta(\Gamma)$ are three disjoint copies of the flags of $\Gamma$. With the incidence relation defined above, it is easy to see that chambers of $\Delta(\Gamma)$ correspond to triangles in $\Gamma$. This motivates the name triangle complex.
Here is a simple example to illustrate the concept of a triangle complex. This example will be used later in a proof.

\begin{example}
    Let $v>2$ an integer. Consider the complete graph $\Kv_v$ as an incidence geometry with $v$ points and $\binom{v}{2}$ lines. The triangle complex $\Delta(\Kv_v)$ consists of $v(v-1)$ elements of each type. In this case, we have $(a,\{a,b\},i) \star_\Delta (c,\{c,d\}, i+1))$ if and only if $d = a$ and $b \neq c$ and $(a,\{a,b\},i) \star_\Delta (c,\{c,d\}, i-1))$ if and only if $b =c$ and $d \neq a$.
    The chambers of $\Delta(\Kv_v)$ are then the sets $\{(a,\{c,a\},0),(b, \{a,b\},1),(c,\{b,c\},2)\}$ where $\{a,b,c \}$ is any subset of size $3$ in the point set of $\Kv_v$.
\end{example}

Let $\Gamma$ and $\Lambda$ be two rank two geometries and let $\phi \colon \Gamma \to \Lambda$ be a morphism. We can define $\Delta(\phi) \colon \Delta(\Gamma) \to \Delta(\Lambda): (p,L,i) \mapsto (\phi(p),\phi(L),i)$. Abusing notation, we denote the map $\phi \to \Delta(\phi)$ by $\Delta$ also. The map $\Delta$ then becomes a functor that transforms rank two geometries into rank three geometries. In particular, the map $\Delta \colon \Aut(\Gamma) \to \Aut(\Delta(\Gamma))$ is always a group homomorphism. We will show that this map is an isomorphism when $\Gamma$ is a thick linear space, but this need not hold in general.

\begin{example}
    Let $\Gamma$ be the rank two geometry of a square. The geometry $\Gamma$ is made of four points and four lines and its automorphism group is $D_8$, the dihedral group of order $8$. The triangle complex $\Delta(\Gamma)$ consists of $24$ elements, divided into three sets of $8$ of each type~$i = 0,1,2$. It is easy to check that $\Delta(\Gamma)$ is not a geometry (there are no triangles in $\Gamma)$ and that its incidence graph has two connected components that are each isomorphic to $12$-gons whose vertices' types cycle between $0,1$ and $2$. The rotations of $\Gamma$ act on both connected components as rotations and the axial symmetries of $\Gamma$ exchange these two components. Hence, $\Aut(\Gamma)$ does act as automorphisms of $\Delta(\Gamma)$. But $\Aut(\Delta(\Gamma))$ is of order $16 = 4 \times 4$ and also contains automorphisms that fix one connected component while rotating the other.
\end{example}


Before proceeding, we prove a few elementary results about $\Delta(\Gamma)$. We first give a necessary condition for the incidence system $\Delta(\Gamma)$ to be a geometry.

\begin{prop}\label{g3impliesgeom}
    Let $\Gamma = (\mathcal{P} \sqcup \mathcal{L},\star,t)$ be a rank two geometry. If $\Delta(\Gamma)$ is a geometry, then the gonality of $\Gamma$ is at most three.
\end{prop}

\begin{proof}
    Let $p_0 \in \mathcal P$ be any point of $\Gamma$. Since $\Gamma$ is a geometry there must exist a line $L_0 \in \mathcal L$ such that $\{ p_0,L_0 \}$ is a flag in $\Gamma$. Thus, the triple $(p_0,L_0,0)$ is an element of $\Delta(\Gamma)$. If $\Delta(\Gamma)$ is a geometry, the flag $\{(p_0,L_0,0)\}$ can be completed in a chamber $\{ (p_0,L_0,0) , (p_1,L_1,1) , (p_2,L_2,2) \} $.
    Notice that this implies that $p_0,L_1,p_1,L_2,p_2,L_0,p_0$ is an incidence chain in $\Gamma$, so that the gonality of $\Gamma$ is at most three as claimed. 
\end{proof}

The previous proposition and its proof motivate us to look at linear spaces.
Indeed, in order for $\Delta(\Gamma)$ to be a geometry, we see that $\Gamma$ must not only have gonality three, but in some sense it must have triangles everywhere. This is a quite restrictive property that is satisfied for linear spaces. They are thus a potential good source of inputs for Construction~\ref{construct}. 
\begin{prop}
    If $\Gamma$ is a linear space, the incidence system $\Delta(\Gamma)$ is an incidence geometry.
\end{prop}
\begin{proof}
    It suffices to observe that, by definition, a linear space has always at least two lines and all its lines have at least two points. Hence any flag of $\Delta(\Gamma)$ can be completed in a chamber. 
\end{proof}

There are nonetheless rank two geometries $\Gamma$ that are not linear spaces and for which $\Delta(\Gamma)$ is an interesting geometry.

\begin{example}
    Let $\mathcal{D}$ be the Desargues configuration. The triangle complex $\Delta(\mathcal{D})$ is a geometry that consists of $10 \times 3 = 30$ elements of each type. Each element of type~$0$ is incident to four elements of type~$1$ and four elements of type~$2$. Every rank two flag can be completed in a unique chamber (see Figure \ref{Desargues}), which in particular means that $\Delta(\Gamma)$ is not residually connected. Computation using {\sc Magma} \cite{magma} shows that $\Aut(\Delta(\mathcal{D})) \cong \Aut(\mathcal{D}) \cong \Sv_5$ and that it acts strictly transitively on the 120 chambers of $\Delta(\mathcal{D})$.
\end{example}

\begin{figure}
\begin{tikzpicture}

\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}
    \draw[-]
    (-3,-3) edge[blue, dashed, thick, line width = 4] (-3,3)
    (-3,0) edge[green, double, line width = 2] (3,-3)
    (-3,-3) edge[black] (3,0)
    (-3,-3) edge[black] (3,0)
    (-3,3)edge[black] (1,-1)
    
    (3,-3) edge[black] (3,3)
    (-3,-3) edge[red, line width = 4] (3,-3)
    (-3,3) edge[black] (0,-3)
    (0,-3) edge[black] (3,3)
    (-3,0) edge[black] (3,0)
    (3,3) edge[black] (-1,-1);
    \node at (-3,-3)[draw = white, fill, color = white, circle, scale = 1.5]{};
    \node at (-3,-3)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1.5] {};
    \node at (-3,0)[draw = white, fill, color = white, circle, scale = 1.5]{};
    \node at (-3,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1.5] {};
    \node at (-3,3)[draw = black, fill, color = black, circle, scale = 0.5] {};
    
    \node at (0,-3)[draw = black, fill, color = black, circle, scale = 0.5]  {};
    
    \node at (3,-3)[draw= red, fill, color=red, circle, scale = 1.5] {};
    \node at (3,0)[draw = black, fill, color = black, circle, scale = 0.5]  {};
    \node at (3,3)[draw = black, fill, color = black, circle, scale = 0.5] {};
    
    \node at (-1,-1)[draw = black, fill, color = black, circle, scale = 0.5]  {};
    \node at (0,0)[draw = black, fill, color = black, circle, scale = 0.5]  {};
    \node at (1,-1)[draw = black, fill, color = black, circle, scale = 0.5] {};
    
\end{tikzpicture}
\caption{A chamber in $\Delta(\mathcal{D})$.}\label{Desargues}
\end{figure}
The code for the triangle complex of the Desargues configuration can be found in {\small\[\textrm{\url{https://github.com/RDelaby/GeometriesAdmittingTrialitiesFromLinearSpaces}}.\]}The repository also contains code to build triangle complexes of other rank two geometries, such as the Pappus configuration, Hughes planes and the M{\"o}bius-Kantor configuration.

A key property of triangle complexes is that they always admit a correlation of order three that simply permutes cyclically the indices of its elements.

\begin{prop}\label{triality} 
    Let $\Gamma$ be a rank two geometry. The triangle complex $\Delta(\Gamma)$ always admits a triality of order three.
\end{prop}

\begin{proof}
    The application $\tau \colon \Delta(\Gamma) \rightarrow \Delta(\Gamma)$ defined by $\tau( (p,L,i) ) = (p,L,i +1 )$ is a triality of order three.
\end{proof}    

We call the triality $\tau$ above the {\em canonical triality} of $\Delta(\Gamma)$.

\subsection{Automorphisms and correlations of \texorpdfstring{$\Delta(\Gamma)$}{Delta(Gamma)}}\label{sec:FT}

We now start our investigation of automorphisms and correlations of $\Delta(\Gamma)$ when $\Gamma$ is a linear space. The main technicality is to show that an automorphism $\phi \in \Aut(\Delta(\Gamma))$ acts on $\Delta(\Gamma)$ in a geometric way. For example, we will show that the images by $\phi$ of two elements $(p,L_1,i)$ and $(p,L_2,i)$ of $\Delta(\Gamma)$ that share a common point $p$ must still be two elements sharing a common point. While it is very tempting to assume such a behavior, it has to be carefully proved. This is achieved in Lemmas \ref{welldef} and \ref{bijection}.

Let $\Gamma = (\mathcal{P} \sqcup \mathcal{L},\star,t)$ be a linear space and let $\Delta(\Gamma)$ be the geometry constructed from $\Gamma$ using Construction~\ref{construct}. From now on, we identify each line of $\Gamma$ with its residue, also called its point row. In other words, we consider a line and the set of points that are incident to the line to be the same thing. We thus write $p \in L$ to mean $p \star L$ and say that the point $p$ is contained in the line $L$ or that $L$ contains $p$. Also, given two points $p,q \in \mathcal P$ with $p \neq q$ we define the line $L := \big[ p,q \big]$ to be the unique line containing both $p$ and $q$. Dually, the pencil of lines through a point $p \in \mathcal{P}$ is denoted by $\mathcal{L}_p$ and is the set of all lines containing $p$. To make this point of view and notations apparent, we will write $\Gamma = (\mathcal{P},\mathcal{L}, \in)$.

We say that $\Gamma$ {\em has parameters} $m,n$ if for every point $p \in \mathcal{P}$, we have $m = |\mathcal{L}_p|$ and for every line $L \in \mathcal{L}$, we have $|L| = n$. In other words, there are $n$ points on each line and there are $m$ lines through each point. Note that a linear space with parameters $m,n$ is also called a $2-(|\mathcal{P}|,n,1)$ design, or a Steiner system $S(2,n,|\mathcal{P}|)$.

The following lemma shows that the flag-transitivity of $\Delta(\Gamma)$ implies that $\Gamma$ has parameters.

\begin{lemma}\label{lem:m and n}
    Let $\Gamma = (\mathcal{P} \sqcup \mathcal{L},\star,t)$ be a finite linear space such that $\Delta(\Gamma)$ is flag-transitive. Then every line of $\Gamma$ is incident to the same number of points and every point of $\Gamma$ is incident to the same number of lines.
\end{lemma}
\begin{proof}
Choose two points $p , p' \in \mathcal{P}$ with $p\neq p'$ and let $L = \big[p,p'\big]$. Counting the number of elements of type~$2$ incident to $(p,L,0)$ and $(p',L,0)$ we get
\[ | \mathcal{L}_{p'}|-1 + \sum \limits_{q \in L \backslash \{p,p'\}} (| \mathcal{L}_{q}|-1)=| \mathcal{L}_{p}|-1 + \sum \limits_{q \in L \backslash \{p,p'\}} (|\mathcal{L}_{q}|-1). \]
It follows that $| \mathcal{L}_{p}| = | \mathcal{L}_{p'}| = m$.

Let $L, L' \in \mathcal{L}$ with $L \neq L'$ and choose $p \in L \backslash L'$ and $p' \in L' \backslash L$.
Counting the number of type~$2$ elements incident to $(p,L,0)$ and $(p',L',0)$ we get
\[   m(|L|-1) = m (|L'|-1). \qedhere\]\end{proof}


For any linear space $\Gamma$, we introduce the following two projection maps 
$$\pi \colon X_{\Delta(\Gamma)} \rightarrow \mathcal P : (p,L,i)  \mapsto p$$
$$\lambda \colon X_{\Delta(\Gamma)} \rightarrow \mathcal L :  (p,L,i)  \mapsto L$$
that will be used constantly in the proofs of this section. The next lemma states that, given two linear spaces $\Gamma$ and $\Delta$, the isomorphisms from $\Delta(\Gamma)$ to $\Delta(\Lambda)$ are well behaved in the sense that they send pencils of lines to pencils of lines and a set of points belonging to a given line to a set of points belonging to a line.
\begin{lemma}\label{welldef}
    Let $\Gamma = (\mathcal{P}, \mathcal{L},\in)$ and $\Lambda = (\mathcal{P}',\mathcal{L}',\in)$ be two linear spaces with equal parameters $m \geq 3, n \geq 2$ and let $\phi \colon \Delta(\Gamma) \to \Delta(\Lambda)$ be an isomorphism. Then,
    \begin{enumerate}
\item   For every $p \in \mathcal P$ and for every $L_1,L_2 \in \mathcal{L}_{p}$, we have $\pi( \phi( (p,L_1,i) ) ) = \pi(\phi( (p,L_2,i) ))$. 
\item   For every $L \in \mathcal L$ and for every $p_1,p_2 \in L$, we have $\lambda( \phi( (p_1,L,i) ) ) = \lambda(\phi( (p_2,L,i) ))$.
    \end{enumerate}
\end{lemma}

\begin{proof}
    
    By Proposition~\ref{triality}, without loss of generality, we will assume for the whole proof that $i= 0$. 
    
    Assume by contradiction that (1) does not hold. 
    Then, there must exist two elements $F_1 = (p,L_1,0)$ and $F_2 = (p,L_2,0)$ in $\Delta(\Gamma)$ such that their images under the isomorphism $\phi$ do not share a common point. In other words, we have $\pi( \phi(F_1) ) \neq \pi( \phi(F_2) )$. As $\phi$ is an isomorphism, there are as many type~$1$ elements incident to both $F_1$ and $F_2$ as there are type~$1$ elements incident to both $\phi(F_1)$ and $\phi(F_2)$. We will use a counting argument to show that this is in fact impossible when $\pi( \phi(F_1) ) \neq \pi( \phi(F_2) )$. The number of elements of type~$1$ that are incident to both $F_1$ and $F_2$ is $(m - 2)(n - 1)$. 
    The same should then be true for the images $\phi(F_1)$ and $\phi(F_2)$. But the number of type~$1$ elements incident to both $\phi(F_1)$ and $\phi(F_2)$ is either $n - 2$ or $0$. Indeed, since $\phi(F_1)$ and $\phi(F_2)$ do not share a common vertex, an element $F = (p',L',1) \in \Delta(\Lambda)$ is incident to $\phi(F_1)$ and $\phi(F_2)$ if and only if $L' = \big[ \pi(\phi(F_1)),\pi(\phi(F_2)) \big] \neq \lambda(\phi(F_1)) \neq \lambda(\phi(F_2))$ and $p' \notin \{ \pi(\phi(F_1)), \pi(\phi(F_2)) \}$.
    Hence, there are either $(n-2)$ or $0$ elements of type~$1$ incident to both $\phi(F_1)$ and $\phi(F_2)$. Since there were $(m - 2)(n - 1)$ elements of type~$1$ incident to both $F_1$ and $F_2$, this would imply that $(m-2)(n-1)$ is equal to either $n-2$ or $0$. 
    As $m \geq 3$ and $n \geq 2$, we get $(m-2)(n-1) \geq (n-1) > (n-2) \geq 0$, yielding a contradiction.
    Hence, we conclude that $\pi( \phi(F_1) ) = \pi( \phi(F_2) )$.
    

    Assume now by contradiction that (2) is not true. There must then exist $F_1 = (p_1,L,0)$ and $F_2 = (p_2,L,0)$ in $\Delta(\Gamma)$ such that $\lambda(\phi(F_1)) \neq \lambda(\phi(F_2))$. The number of elements of type~$2$ incident to both $F_1$ and $F_2$ is $(n-2)(m-1)$. 
    If there is no point in $\Lambda$ incident to both $\lambda(\phi(F_1))$ and $\lambda(\phi(F_2))$, there are no elements of type~$2$ incident to both $\lambda(\phi(F_1))$ and $\lambda(\phi(F_2))$. Suppose instead that $p'$ is the only point of $\Lambda$ incident to both $\lambda(\phi(F_1))$ and $\lambda(\phi(F_2))$. If $p' = \pi(\phi(F_1))$ or $\pi(\phi(F_2))$, we again have no elements of type~$2$ incident to both $\lambda(\phi(F_1))$ and $\lambda(\phi(F_2))$. If not, the elements of type~$2$ incident to both $\lambda(\phi(F_1))$ and $\lambda(\phi(F_2))$ are precisely the $(p',L',2)$ with $L' \neq \phi(L_1),\phi(L_2)$. There are $m-2$ such elements. This would then mean that $(n-2)(m-1)$ is equal to either $m-2$ or $0$. If $n > 2$, we have that $(n-2)(m-1) \geq (m-1) > (m-2) \geq 0$, which again leads to a contradiction.

    Suppose instead that $n = 2$. This means that every line contains exactly two points. Let $\phi(F_1) = (s,Y,0)$ and $\phi(F_2) = (t,Z,0)$. Recall that our assumption is that $Y \neq Z$.
    Suppose first that $Y \cap Z \neq \emptyset$. Since $m \neq 2$ there must be at least four points in $\mathcal{P}'$. Let $v$ be a point not on $Y$ nor $Z$. There are essentially three possible configurations : $Y \cap Z = \{ s \} = \{ t \}$, $Y \cap Z = \{ s \} \neq  \{ t \}$, and the last configuration being $Y \cap Z \neq \{ t\}$, $Y \cap Z \neq \{ s \}$ with $s \neq t$. If $Y \cap Z = \{ s \} = \{ t \}$, there is an element of type~$1$ incident to both $(s,Y,0)$ and $(t,Z,0)$, namely $(v,\big[ s,v \big],1)$. If $Y \cap Z \neq \{ t\}$, $Y \cap Z \neq \{ s \}$ with $s \neq t$ there is an element of type~$2$ incident to both $(s,Y,0)$ and $(t,Z,0)$. If $Y \cap Z = \{ s \} \neq  \{ t \}$, $(s,Y,0)$ and $(t,Z,0)$ are at distance $3$ in the incidence graph of $\Delta(\Lambda)$. 
    Indeed, let $Y = \{s,u\}$, $Z = \{s,t\}$. We can then form the following chain of incidences.
    $$(s,Y,0) = (s,\{s,u\},0) \star_\Delta (u,\{u,v\},2) \star_\Delta(v,\{v,t\},1) \star_\Delta (t,\{t,s\},0) = (t,Z,0)$$
    In each case, we get a contradiction since $F_1$ and $F_2$ do not have any element of type~$1$ or $2$ incident to both of them and are not at distance $3$ in the incidence graph of $\Delta(\Gamma)$. Hence, we can assume that $Y \cap Z$ is empty.
    There must then exist unique and distinct elements $u,v \in \mathcal{P}'$  such that $Y = \{s,u\}$ and $Z = \{t,v\}$.
    
    If $\mathcal{P}' = \{s,t,u,v\}$ contains only these four points, then $\Gamma$ and $\Lambda$ are isomorphic to $\K4$, the complete graph on four vertices. Let us now rewrite $\{s,t,u,v\}$ as $\{0,1,2,3\}$ for clarity. Consider the following setting. We want to find all chains $(0,\{0,1\},0) \star_\Delta (a,\{0,a\},1) \star_\Delta(b,\{a,b\},2) \star_\Delta (c,\{b,c\},0) \star_\Delta (d,\{c,d\},1)\star_\Delta(e,\{d,e\},2) \star_\Delta (z,M,0)$ for $(y,M) =(1,\{0,1\})$ and $(y,M)=(2,\{2,3\})$. Figures \ref{Fig:chains1} and \ref{Fig:chains2} show that there are four such chains when $(y,M) =(1,\{0,1\})$ and five when $(y,M)=(2,\{2,3\})$. Applied to our case, this contradicts the fact that $Y \neq Z$. 
    
    If, instead, there exists $z \in \mathcal{P}' \backslash \{s,t,u,v\}$, we can form the following chain of incidences.
    $$
    (s,Y,0) = (s,\{s,u\},0) \star_\Delta (u,\{u,z\},2) \star_\Delta (z,\{z,t\},1) \star_\Delta (t,\{t,v\},0)  = (t,Z,0)
    $$ 
    Applying $\phi^{-1}$, we find elements $a,b,c,d \in \mathcal{P}$ such that the following holds:
    $$
    (p_1,L,0) = (p_1, \{p_1,p_2\},0) \star_\Delta (a,\{a,b\},2) \star_\Delta (c,\{c,d\},1) \star_\Delta (p_2,\{p_1,p_2\},0) = (p_2,L,0) 
    $$
    From this, we conclude that $a = p_2$, $c = b$ and $p_2 = d$, which in turn leads to $(p_2,\{p_2,b\},2) \star_\Delta (b,\{b,p_2\},1)$, a contradiction. 
    
    Having obtained contradictions in each case, we can conclude that $\lambda(\phi(F_1)) = \lambda(\phi(F_2))$, as desired.
\end{proof}

\begin{figure}
\begin{tikzpicture}


\begin{scope}[every node/.style={thick}]
    
    \node[fill=white, inner sep=1pt] (1) at (0,0) {$(0,\{0,1\},0)$};
    
    \node[fill=white, inner sep=1pt] (2) at (-3,-1) {$(2,\{2,0\},1)$};
    \node[fill=white, inner sep=1pt] (3) at (3,-1) {$(3,\{3,0\},1)$};
    
    \node[fill=white, inner sep=1pt] (4) at (-4.5,-2) {$(3,\{3,2\},2)$};
    \node[fill=white, inner sep=1pt] (5) at (-1.5,-2) {$(1,\{1,2\},2)$};
    \node[fill=white, inner sep=1pt] (6) at (1.5,-2) {$(1,\{1,3\},2)$};
    \node[fill=white, inner sep=1pt] (7) at (4.5,-2) {$(2,\{2,3\},2)$};
    
    \node[fill=white, inner sep=1pt] (8) at (-4.5,-3) {$(1,\{1,3\},0)$};
    \node[fill=white, inner sep=1pt] (9) at (-1.5,-3) {$(3,\{3,1\},0)$};
    \node[fill=white, inner sep=1pt] (10) at (1.5,-3) {$(2,\{2,1\},0)$};
    \node[fill=white, inner sep=1pt] (11) at (4.5,-3) {$(1,\{1,2\},0)$};
    
    \node[fill=white, inner sep=1pt] (12) at (-4.5,-4) {$(2,\{2,1\},1)$};
    \node[fill=white, inner sep=1pt] (13) at (-1.5,-4) {$(2,\{2,3\},1)$};
    \node[fill=white, inner sep=1pt] (14) at (1.5,-4) {$(3,\{3,2\},1)$};
    \node[fill=white, inner sep=1pt] (15) at (4.5,-4) {$(3,\{3,1\},1)$};
    
    \node[fill=white, inner sep=1pt] (16) at (-3,-5) {$(0,\{0,2\},2)$};
    \node[fill=white, inner sep=1pt] (17) at (3,-5) {$(0,\{0,3\},2)$};

    \node[fill=white, inner sep=1pt] (18) at (0,-6) {$(1,\{1,0\},0)$};
    
\end{scope}
\begin{scope}[every node/.style={thick}]
    
    \path [-] (1) edge[color=black] (3);
    \path [-] (2) edge[color=black] (1);
    
    \path [-] (2) edge[color=black] (4);
    \path [-] (2) edge[color=black] (5);
    \path [-] (3) edge[color=black] (6);
    \path [-] (3) edge[color=black] (7);
    
    \path [-] (4) edge[color=black] (8);
    \path [-] (5) edge[color=black] (9);
    \path [-] (6) edge[color=black] (10);
    \path [-] (7) edge[color=black] (11);
    
    \path [-] (8) edge[color=black] (12);
    \path [-] (9) edge[color=black] (13);
    \path [-] (10) edge[color=black] (14);
    \path [-] (11) edge[color=black] (15);

    
    \path [-] (12) edge[color=black] (16);
    \path [-] (13) edge[color=black] (16);
    \path [-] (14) edge[color=black] (17);
    \path [-] (15) edge[color=black] (17);

    
    \path [-] (16) edge[color=black] (18);
    \path [-] (17) edge[color=black] (18);
\end{scope}

\end{tikzpicture}
\caption{Chains from $(0,\{0,1\},0)$ to $(1,\{1,0\},0)$ in $\Delta(\Kv_4$).}\label{Fig:chains1}
\end{figure}

\begin{figure}
\scalebox{0.9}{
\begin{tikzpicture}
\begin{scope}[every node/.style={thick}]
    
    \node[fill=white, inner sep=1pt] (1) at (0,0) {$(0,\{0,1\},0)$};
    
    \node[fill=white, inner sep=1pt] (2) at (-3,-1) {$(2,\{2,0\},1)$};
    \node[fill=white, inner sep=1pt] (3) at (3,-1) {$(3,\{3,0\},1)$};
    
    \node[fill=white, inner sep=1pt] (4) at (-3,-2) {$(3,\{3,2\},2)$};
    \node[fill=white, inner sep=1pt] (5) at (1.5,-2) {$(1,\{1,3\},2)$};
    \node[fill=white, inner sep=1pt] (6) at (6,-2) {$(2,\{2,3\},2)$};
    
    \node[fill=white, inner sep=1pt] (7) at (-4.5,-3) {$(0,\{0,3\},0)$};
    \node[fill=white, inner sep=1pt] (8) at (-1.5,-3) {$(1,\{1,3\},0)$};
    \node[fill=white, inner sep=1pt] (9) at (1.5,-3) {$(2,\{2,1\},0)$};
    \node[fill=white, inner sep=1pt] (10) at (4.5,-3) {$(1,\{1,2\},0)$};
    \node[fill=white, inner sep=1pt] (11) at (7.5,-3) {$(0,\{0,2\},0)$};
    
    \node[fill=white, inner sep=1pt] (12) at (-4.5,-4) {$(1,\{1,0\},1)$};
    \node[fill=white, inner sep=1pt] (13) at (-1.5,-4) {$(0,\{0,1\},1)$};
    \node[fill=white, inner sep=1pt] (14) at (1.5,-4) {$(0,\{0,2\},1)$};
    \node[fill=white, inner sep=1pt] (15) at (4.5,-4) {$(0,\{0,1\},1)$};
    \node[fill=white, inner sep=1pt] (16) at (7.5,-4) {$(1,\{1,0\},1)$};
    
    \node[fill=white, inner sep=1pt] (17) at (0,-5) {$(3,\{3,0\},2)$};
    \node[fill=white, inner sep=1pt] (18) at (4.5,-5) {$(3,\{3,1\},2)$};

    \node[fill=white, inner sep=1pt] (19) at (0,-6) {$(2,\{2,3\},0)$};
    
\end{scope}
\begin{scope}[every node/.style={thick}]
    
    \path [-] (1) edge[color=black] (2);
    \path [-] (1) edge[color=black] (3);
    
    \path [-] (2) edge[color=black] (4);
    \path [-] (3) edge[color=black] (5);
    \path [-] (3) edge[color=black] (6);
    
    \path [-] (4) edge[color=black] (7);
    \path [-] (4) edge[color=black] (8);
    \path [-] (5) edge[color=black] (9);
    \path [-] (6) edge[color=black] (10);
    \path [-] (6) edge[color=black] (11);
    
    \path [-] (7) edge[color=black] (12);
    \path [-] (8) edge[color=black] (13);
    \path [-] (9) edge[color=black] (14);
    \path [-] (10) edge[color=black] (15);
    \path [-] (11) edge[color=black] (16);

    
    \path [-] (12) edge[color=black] (18);
    \path [-] (13) edge[color=black] (17);
    \path [-] (14) edge[color=black] (17);
    \path [-] (15) edge[color=black] (17);
    \path [-] (16) edge[color=black] (18);

    
    \path [-] (17) edge[color=black] (19);
    \path [-] (18) edge[color=black] (19);
\end{scope}

\end{tikzpicture}}
\caption{Chains from $(0,\{0,1\},0)$ to $(2,\{2,3\},0)$ in $\Delta(\Kv_4$).}\label{Fig:chains2}
\end{figure}
    
Lemma \ref{welldef} suggests that given any isomorphism $\phi \colon \Delta(\Gamma) \to \Delta(\Lambda)$, we can recover a well-defined 
isomorphism from $\Gamma$ to $\Lambda$ which fully characterizes $\phi$. For $p \in \mathcal P$, let us define $f_{\phi,i}(p) := \pi( \phi((p,L,i)))$ where $L$ is any line such that $p \in L$. Similarly, define  $g_{\phi,i}(L) := \lambda( \phi((p,L,i)))$ where $p \in L$ is any point incident to $L$. By Lemma~\ref{welldef}, the functions $f_{\phi,i}$ and $g_{\phi,i}$ are well defined.

We now want to prove that the action of $\phi$ does not depend on the type~$i$ and that it comes from an isomorphism from $\Gamma$ to $\Lambda$. This is achieved by the next three results.

\begin{lemma}\label{bijection}
   Let $\Gamma = (\mathcal{P}, \mathcal{L},\in)$ and $\Lambda = (\mathcal{P}',\mathcal{L}',\in)$ be two linear spaces with equal parameters $m \geq 3, n \geq 2$. The functions $f_{\phi,i} \colon \mathcal P \rightarrow \mathcal P'$ and $g_{\phi,i} \colon \mathcal L \rightarrow \mathcal L'$ induced by an isomorphism $\phi \colon \Delta(\Gamma) \to \Delta(\Lambda)$ as above are bijections.
\end{lemma}
\begin{proof}
We will show that $f_{\phi,i}$ is a bijection. Note that both $\mathcal{P}$ and $\mathcal{P}'$ have cardinality $1 +(n-1)m $, because they are both linear spaces with parameters $m$ and $n$. Hence, it suffices to show that $f_{\phi,i}$ is surjective. Let $p' \in \mathcal {P}'$ be any point of $\Lambda$. Choose $L' \in \mathcal{L}'$ such that $p' \in L'$. Then $(p',L',i) \in X_{\Delta(\Lambda)}$. Since $\phi$ is an isomorphism, there exists $(p,L,i)\in \Delta(\Gamma)$ such that $\phi((p,L,i)) = (p',L',i)$ and thus $f_{\phi,i} (p) = p'$, showing surjectivity.

The same argument shows that $g_{\phi,i}$ is also a bijection.
\end{proof}


\begin{prop}\label{samefunctions}
 Let $\Gamma = (\mathcal{P}, \mathcal{L},\in)$ and $\Lambda = (\mathcal{P}',\mathcal{Q}',\in)$ be two linear spaces with equal parameters $m \geq 3, n \geq 2$. Then we have $f_{\phi,0} = f_{\phi,1} = f_{\phi,2}$ and $g_{\phi,0} = g_{\phi,1} = g_{\phi,2}$.
\end{prop}

\begin{proof}

Let $p \in \mathcal{P}$. For all $L \in \mathcal{L}$ such that $p \in L$, let $q \in L \backslash \{ p \}$ and $D$ be a line such that $D \neq L$ and $q \in D$.
Then $(p,L,0) \star_{\Delta(\Gamma)}(q,D,2)$. Applying $\phi$, we get $\phi((p,L,0)) \star_{\Delta(\Lambda)}\phi((q,D,2))$. In particular, $f_{\phi,2}(q) = \pi(\phi((q,D,2))) \in \lambda(\phi((p,L,0))) = g_{\phi,0}(L)$. Since this is true for all $q \in L \backslash \{ p \}$, the restriction of $f_{\phi,2} \colon \{ v \in L \backslash \{ p \}\} \rightarrow \{ w \in g_{\phi,0}(L) \backslash \{ f_{\phi,0}(p)\}\}$ is a bijection. Indeed, $f_{\phi,2}$ is itself a bijection from $\mathcal{P}$ to $\mathcal{P}$ by \ref{bijection} and the image of an element in $\{ v \in L \backslash \{ p \}\}$ has to be in $\{ w \in g_{\phi,0}(L) \backslash \{ f_{\phi,0}(p)\}\}$. Because $\Gamma$ and $\Lambda$ have the same parameters, the size of these sets is the same and this is thus a bijection. Moreover, consider $q \in L \backslash \{ p \}$ and $Z \in \mathcal{L} \backslash \{ L \}$ such that $p \in Z$. Then $(q,L,0) \star_{\Delta(\Gamma)} (p,Z,2)$, applying $\phi$ we get in particular that $f_{\phi,2}(p) \in g_{\phi,0}(L)$. Combined with the fact that $f_{\phi,2}$ is a bijection from $\{ v \in L \backslash \{ p \}\}$ to $\{ w \in g_{\phi,0}(L) \backslash \{ f_{\phi,0}(p)\}\}$, this forces $f_{\phi,2}(p) = f_{\phi,0}(p)$. The same reasoning allows us to prove that $f_{\phi,0} = f_{\phi,1} = f_{\phi,2}$ and $g_{\phi,0} = g_{\phi,1} = g_{\phi,2}$, where for the latter three functions, we need to dualize the arguments of this proof by considering pencils of points.
\end{proof}

\begin{prop}\label{masterproposition}
     Let $\Gamma = (\mathcal{P}, \mathcal{L},\in)$ and $\Lambda = (\mathcal{P}',\mathcal{L}',\in)$ be two linear spaces with equal parameters $m \geq 3, n \geq 2$. The function $F_\phi \colon \mathcal{P} \sqcup \mathcal{Q} \mapsto \mathcal{P}' \sqcup \mathcal{Q}'$ defined by
    $$F_{\phi}(x) = 
    \begin{cases}
      f_{\phi,0}(x) & \text{if } x \in \mathcal P \\
      g_{\phi,0}(x) & \text{if } x \in \mathcal L
    \end{cases}
$$
is an isomorphism of $\Gamma$ onto $\Lambda$.
Moreover, for all $p \in \mathcal P$, $L \in \mathcal L$ and $0 \leq i \leq 2$, we have $\phi(p,L,i) = (F_\phi(p) , F_\phi(L) , i)$.
\end{prop}

\begin{proof}
    We already know $F_\phi$ is a bijection by Lemma~\ref{bijection}. Let $p \in \mathcal P$ and $L \in \mathcal L$ such that $p \in L$. Choose $L' \neq L$ such that $p \in L'$ and $p' \in L$ with $p\neq p'$. We then have $(p,L',0) \star_{\Delta(\Gamma)} (p',L,1)$. 
    Applying $\phi$, we get $f_{\phi,0}(p) \in g_{\phi,1}(L)$ but by Proposition~\ref{samefunctions}, we can conclude that $f_{\phi,0}(p) \in g_{\phi,0}(L)$ and hence $F_{\phi}(p) \in F_\phi(L)$.
    
    For the second part, assume that $p$ and $L$ are not incident in $\Gamma$. Pick $p' \in L$ and construct the line $L' = \big[p,p'\big]$. Then $(p',L,0) \star_{\Delta(\Gamma)} (p,L',1)$, thus $f_{\phi,1}(p)$ is not incident with $g_{\phi,0}(L)$. Hence, $f_{\phi,0}(p)$ is not incident with $g_{\phi,0}(L)$ which allows us to conclude that $F_{\phi}$ is an isomorphism.
\end{proof}

\begin{coro}
     Let $\Gamma = (\mathcal{P}, \mathcal{L},\in)$ and $\Lambda = (\mathcal{P}',\mathcal{L}',\in)$ be two linear spaces with equal parameters $m \geq 3, n \geq 2$. Then 
     \begin{enumerate}
         \item For each isomorphism $\phi \colon \Delta(\Gamma) \to \Delta(\Lambda)$ there exists a unique isomorphism $\bar{\phi} \colon \Gamma \to \Lambda$ such that $\Delta(\bar{\phi}) = \phi$.
         \item Mapping $\bar{\phi}$ to $\phi$ in such a way is compatible with composition, and inverts the map $\Delta$.
         \item The map $\Delta \colon \Aut(\Gamma) \to \Aut(\Delta(\Gamma))$ is an isomorphism of groups.
     \end{enumerate}
\end{coro}
Note that all the statements in this section deal only with isomorphisms. We have thus not proven that the functor $\Delta$ is full and faithful.
Armed with the results obtained so far, we are now ready to prove one of the main results of this section.

\begin{theorem}\label{mastertheorem}
    Let $\Gamma = (\mathcal{P}, \mathcal{L},\in)$ be a finite linear space with at least two points on each line and at least three lines through any point. Then $\Delta(\Gamma)$ is a flag-transitive geometry if and only if $\Aut(\Gamma)$ is transitive on $\mathcal{T}(\Gamma)$, the set of ordered non-collinear triples of points of $\Gamma$.
\end{theorem}

\begin{proof}
    Assume $\text{Aut}(\Gamma)$ acts transitively on $\mathcal{T}(\Gamma)$. Let $C_1 = \{ (p_0,L_0,0) ,  (p_1,L_1,1) ,$ $(p_2,L_2,2) \}$ and $C_2 = \{ (p_0',L_0',0) , (p_1',L_1',1) , (p_2',L_2',2) \}$ be two chambers of $\Delta(\Gamma)$. The associated triples of points of both chambers are in $\mathcal{T}(\Gamma)$. Take $g \in \Aut(\Gamma)$ satisfying $g(p_j) = p_j'$ for $j=0, 1, 2$. The induced automorphism $\phi_g \in \text{Aut}(\Delta(\Gamma))$ defined by $\phi_g (p,L,i) = (g(p),g(L),i)$ sends $C_1$ to $C_2$. Hence $\Delta(\Gamma)$ is flag-transitive.

    Assume $\Delta(\Gamma)$ is flag-transitive. By Lemma \ref{lem:m and n}, the incidence system $\Gamma$ has parameters. Let $T_1 = (p_0,p_1,p_2)$ and $T_2 = (p_0',p_1',p_2')$ in $\mathcal{T}(\Gamma)$. Construct two chambers $C_1$ and $C_2$ of $\Delta(\Gamma)$ in the following way:
\begin{align*}
    C_1 &= \{ (p_0,\big[ p_0, p_2\big],0) , (p_1,\big[ p_1, p_0\big],1) , (p_2,\big[ p_1, p_2\big],2) \},\\
    C_2 &= \{ (p_0',\big[ p_0', p_2'\big],0) , (p_1',\big[ p_1', p_0'\big],1) , (p_2,\big[ p_1', p_2'\big],2) \}.
\end{align*}

    Let $\phi \in \text{Aut}(\Delta(\Gamma))$ such that $\phi(C_1) = C_2$. By Proposition~\ref{masterproposition} applied to $\Lambda = \Gamma$, there exists $F_{\phi} \in \text{Aut}(\Gamma)$ such that $\phi(p,L,i) = (F_\phi(p) , F_\phi(L) , i)$. Thus, $F_\phi(p_j) = p_j'$ for $j=0, 1, 2$ and $\Aut(\Gamma)$ is transitive on $\mathcal{T}(\Gamma)$.
\end{proof}

So far, we have focused only on automorphisms of both $\Gamma$ and $\Delta(\Gamma)$. We now take a look at dualities in both these geometries. 

\begin{prop}\label{duality}
 Let $\Gamma = (\mathcal{P}, \mathcal{L},\in)$ be a thick linear space with parameters. Then $\Gamma$ admits dualities if and only if $\Delta(\Gamma)$ admits dualities.
\end{prop}

\begin{proof}
    Suppose first that there exists a duality $\alpha$ of $\Gamma$. This means that $\alpha$ sends points to lines and lines to points while preserving incidence. We define a correlation $\beta$ of $\Delta(\Gamma)$ as follows:

 \begin{equation*}
        \beta(p,L,i) =
        \begin{cases}
            (\alpha(L),\alpha(p), 0), \textnormal{ if } i = 0 \\
            (\alpha(L),\alpha(p), 2), \textnormal{ if } i= 1  \\
            (\alpha(L),\alpha(p), 1), \textnormal{ if } i= 2  \\
        \end{cases}
    \end{equation*}
    It is rather straightforward to check that $
    \beta$ is indeed a correlation that fixes type~$0$ while exchanging types $1$ and $2$, and hence a duality. For example, we have $(p,L,0) \star_{\Delta(\Gamma)} (p',L',1)$ if and only if $p$ is different from $p'$, and $p$ is on both $L$ and $L'$. This holds if and only if $\alpha(L)$ is different from $\alpha(L')$, and $\alpha(L')$ is on both $\alpha(p)$ and $\alpha(p')$. Hence, we get $(p,L,0) \star_{\Delta(\Gamma)} (p',L',1)$ if and only if $(\alpha(L'),\alpha(p'),2) \star_{\Delta(\Gamma)} (\alpha(L), \alpha(p),0)$.

    Suppose now that there exists a duality $\beta$ of $\Delta(\Gamma)$. Without loss of generality, suppose that $\beta$ exchanges elements of type~$1$ and $2$ of $\Delta(\Gamma)$. We will also denote by $\beta$ the map on $\{0,1,2\}$ induced by the duality, meaning that $\beta$ fixes $0$ and exchanges $1$ and $2$. The statements and proofs of Lemmas~\ref{welldef} and~\ref{bijection} and Proposition~\ref{masterproposition} can be adapted to the setting of dualities. More precisely, it can be shown that if there exists a duality $\beta$ of $\Delta(\Gamma)$ as above, then the number $m$ of lines per point in $\Gamma$ must be equal to the number $n$ of points per line and for $p \in \mathcal{P}$, and for any $L,L'\in \mathcal{L}_p$, we have $\lambda(\beta((p,L,\beta(i)))) = \lambda(\beta((p,L',\beta(i))))$ and for $L \in \mathcal{L}$ and any $p,p' \in L$, we have $\pi(\beta((p,L,\beta(i)))) = \pi(\beta((p',L,\beta(i))))$. Intuitively, this means that $\beta$ sends pencils of lines to collinear points and vice versa. The proof of this statement is almost identical to the proof of Lemma \ref{welldef}. The only difference is that since $\beta$ exchanges the roles of elements of type~$1$ and $2$, we need to compare the number of elements of type~$1$ incident to pairs $F_1,F_2$ of elements of $\Gamma$ with the number of elements of type~$2$ (not of type~$1$) of their images $\beta(F_1)$ and $\beta(F_2)$. We can then proceed to show that there are bijections $f_{\beta,i} \colon \mathcal{P} \to \mathcal{L}$ and $g_{\beta,i} \colon \mathcal{L} \to \mathcal{P}$ and that these functions actually do not depend on $i$. Finally, we can show that $F_{\beta}(x) = $
    $
    \begin{cases}
      f_{\beta,0}(x) & \text{if } x \in \mathcal P \\
      g_{\beta,0}(x) & \text{if } x \in \mathcal L
    \end{cases}
    $
    is a duality of~$\Gamma$.
\end{proof}

\begin{prop}\label{prop:dual}
   Let $\Gamma$ be a finite thick flag-transitive linear space such that $\Delta(\Gamma)$ is flag-transitive, and let $ \langle \tau \rangle \cong \Ct$ be the subgroup of $\Cor(\Delta(\Gamma))$ generated by the canonical triality $\tau$. Then $\langle \tau \rangle$ is a normal subgroup of $\Cor(\Delta(\Gamma))$. Moreover, we have $\Cor(\Delta(\Gamma)) \cong \Ct \times \Aut(\Gamma)$ if $\Gamma$ does not admit dualities, and $\Cor(\Delta(\Gamma)) \cong \Ct \rtimes \Cor(\Gamma)$ if and only if $\Gamma$ admits a polarity. 
\end{prop}

\begin{proof}
    Let $\tau$ as in Proposition~\ref{triality} and $\alpha$ a duality of $\Gamma$, if it exists. First of all, $\tau$ commutes with any automorphism $\phi$ of $\Delta(\Gamma)$. Indeed, by Proposition~\ref{samefunctions}, we have $\phi(p,L,i) = (f_{\phi}(p),g_\phi(L),i)$ for some permutations $f_\phi$ and $g_\phi$ that do not depend on the index $i$. As $\tau$ only acts on the indices, it is then clear that $\tau \circ \phi \circ\tau^{-1} = \phi$. If there are no dualities in $\Delta(\Gamma)$, this shows that $\tau$ is central and therefore that $\langle \tau \rangle$ is normal. Suppose thus that $\Delta(\Gamma)$ has dualities. By Proposition~\ref{duality}, we know that this implies that $\Gamma$ also has a duality $\alpha$ and that  \begin{equation*}
        \beta(p,L,i) =
        \begin{cases}
            (\alpha(L),\alpha(p), 0), \textnormal{ if } i = 0 \\
            (\alpha(L),\alpha(p), 2), \textnormal{ if } i= 1  \\
            (\alpha(L),\alpha(p), 1), \textnormal{ if } i= 2  \\
        \end{cases}
    \end{equation*} is a duality of $\Delta(\Gamma)$. Let $\beta'$ be any duality of $\Delta(\Gamma)$. Without loss of generality, we can assume that $\beta'$ acts on the type set $I$ in the same way as $\beta$ (if not, we compose it by $\tau$ or $\tau^2$). Then, $\beta'$ can be written as $\beta'= \phi \circ \beta$ with $\phi \in \Aut(\Delta(\Gamma))$. The fact that $\langle (0,1,2) \rangle \trianglelefteq S_3$ then ensures that $\beta' \circ \tau \circ\beta'(p,L,i) = (p,L, i-1) = \tau^2 (p,L,i)$ for any $(p,L,i) \in \Delta(\Gamma)$. This then shows that $\langle \tau \rangle$ is a normal subgroup of $\Cor(\Delta(\Gamma))$.
    If $\Gamma$ does not admit dualities, we have the following short exact sequence
\[
        \begin{tikzcd}
        1 \arrow[r] & \Aut(\Delta(\Gamma)) \arrow[r] & \Cor(\Delta(\Gamma)) \arrow[r]  & \Ct \arrow[r] & 1
    \end{tikzcd}\]
    where the group $\Ct$ is the image of the action of correlations on the type set $I$. The map $s \colon \Ct \to \Cor(\Delta(\Gamma))$ sending the permutation $(0,1,2)$ to the canonical triality $\tau$ is a splitting for this sequence. Hence, we obtain that $\Cor(\Delta(\Gamma)) \cong \Aut(\Delta(\Gamma)) \times \Ct$.
    
    If $\Gamma$ admits dualities then the short exact sequence becomes as follows:
\[
        \begin{tikzcd}
        1 \arrow[r] & \Aut(\Delta(\Gamma)) \arrow[r] & \Cor(\Delta(\Gamma)) \arrow[r]  & \St \arrow[r] & 1
    \end{tikzcd}\]
    A splitting for this sequence exists exactly when we can find a correlation of type~$(i,j)$ and of order $2$ in $\Cor(\Gamma)$. That is, if there exists a polarity $\pi$ in $\Cor(\Delta)$, the map $s \colon \St \rightarrow \Cor(\Delta(\Gamma))$ defined by $s(0,1,2) = \tau$ and $s(i,j) = \pi$ is a splitting. Conversely, any splitting $s$ will need to send $(i,j)$ to a polarity. Thus $\Cor(\Delta(\Gamma)) \cong \Aut(\Delta(\Gamma)) \rtimes \St$ if and only if $\Delta(\Gamma)$, and hence $\Gamma$, admits a polarity. Moreover, since $\langle \tau \rangle$ is normal, $\Cor(\Delta(\Gamma)) = \langle \tau \rangle \cdot \Cor(\Gamma)$ and $\langle \tau \rangle \cap \Cor(\Gamma) = \{1\}$, we also have $\Cor(\Delta(\Gamma)) \cong \Ct \rtimes \Cor(\Gamma)$.
\end{proof}


    
\subsection{The cases where \texorpdfstring{$n=2$}{n=2} or \texorpdfstring{$m=2$}{m=2}}\label{betakn}
As far as linear spaces with parameters go, the theorems of the section cover almost every case. In fact, the only excluded cases are those of complete graphs $\Kv_n$. We show that for the complete graph $\Kv_3$, nothing holds true, while for the complete graphs $\Kv_v$ with $v \geq 4$, everything holds except the statement on dualities.

First, notice that if $m = 2$, there are exactly two lines through every point. Hence, $\Gamma$ must be the geometry of a triangle, which is a complete graph with three vertices. Here, we have $\Aut(\Gamma) \cong \St$, but $\Aut(\Delta(\Gamma)) \cong \Sym_6$ because $\Delta(\Gamma)$ consists of six disjoint chambers. 

If $n = 2$, $\Gamma$ is a complete graph.
Hence we can assume from now on that $\Gamma$ is the geometry of a complete graph $\Kv_v$ where $v$ is the number of points of $\Gamma$. We will show that, even though $\Gamma$ has no dualities when $v\geq 4$, $\Delta(\Gamma)$ has dualities. Indeed, consider the map $\beta$ that sends $(p,L,0)$ to $(p^L,L,0)$, $(p,L,1)$ to $(p^L,L,2)$ and $(p,L,2)$ to $(p^L,L,1)$, where, in every case, $p^L$ is the unique point of $L$ which is not $p$.

    \begin{lemma}\label{Knduality}
        Let $\Gamma$ be the geometry of the complete graph $\Kv_v$, with $v\geq 3$.
        The map $\beta$ defined above is a duality of $\Delta(\Gamma)$.
    \end{lemma}

    \begin{proof}
        Let $C = \{ (p_0,L_0,0), (p_1,L_1,1),(p_2,L_2,2) \}$ be a chamber of $\Delta(\Gamma)$. Note that ${p_0}^{L_0} = p_2,{p_1}^{L_1} = p_0,{p_2}^{L_2}=p_1$. Then $$\beta(C) = \{ ({p_0}^{L_0}, L_0,0),({p_1}^{L_1},L_1,2),({p_2}^{L_2},L_2,1)\} = \{ (p_2,L_0,0),(p_1,L_2,1),(p_0,L_1,2)\}$$ is a chamber of $\Delta(\Gamma)$. This suffices to show that $\beta$ is a bijection on the elements of $\Delta(\Gamma)$ that preserves incidence.
    \end{proof}

Since $\Kv_v$ does not have any dualities when $v \geq 4$, this shows that the thickness hypothesis in Proposition \ref{duality} is essential. 

When $v = 3$, $\Gamma$ has a canonical polarity. Let $\{a,b,c\}$ be the three vertices of $\Gamma$ and let $A,B,C$ be the three edges of $\Gamma$, labeled such that $a \notin A, b \notin B$ and $c \notin C$. Then, $\Gamma$ the map $\alpha$ defined by $\alpha(a) = A, \alpha(b) = B$ and $\alpha(c) = C$ is a polarity. The composition $\beta \circ \alpha$ is then an automorphism of $\Delta(K_3)$ that is not of the form $\Delta(\phi)$ with $\phi \in \Aut(\Delta(K_3))$.


\section{Flag-transitive linear spaces and triangles}\label{sec:linear}
In this section we want to prove Theorem~\ref{transitive}, that classifies linear spaces having an automorphism group acting transitively on the set of non-collinear triples of points. The motivation here is given by Theorem~\ref{mastertheorem}.
 
\begin{lemma}\label{lemtriangle}
    If $\Gamma$ is a linear space and $G\leq \Aut(\Gamma)$ is transitive on the set $\mathcal{T}(\Gamma)$ of ordered non-collinear triples of points, then $\Gamma$ is a flag-transitive linear space and $(\Gamma,G)$ is $(2T)_1$.
\end{lemma}
\begin{proof}
    Take a flag $\{p,L\}$ of $\Gamma$ where $p$ is a point of $\Gamma$ and $L$ is a line of $\Gamma$.
    As $(\Gamma,G)$ is transitive on the set of ordered non-collinear triples of points, the stabilizer of $p$ and $L$ in $G$, namely $G_{p,L}$, must act transitively of the lines incident to $p$ and distinct from $L$. Hence the action of the stabilizer $G_p$ must be two-transitive on the lines containing $p$. Similarly, $G_{p,L}$ must be transitive on the points of $L$ distinct from $p$. Hence $G_L$ must act two-transitively on the points incident to $L$.  
\end{proof}
This lemma permits us to rely on the classification of $(2T)_1$ flag-transitive linear spaces that we recall below. 
\begin{theorem}\cite{BDL2003}\label{2t1}
Assume $\Gamma$ is a flag-transitive linear space of $v$ points with a group $G$ acting on it. Then, if $(\Gamma,G)$ is $(2T)_1$, one of the following occurs:
\begin{enumerate}
\item $\Gamma={\AG}(2,4)$, with $G=\AGammaL(1,16)$.
\item $\Gamma=\PG(n,q)$, $v=\frac{q^{n+1}-1}{q-1}$, $\PSL(n+1,q)\trianglelefteq G \le \PGammaL(n+1,q)$ with $n\ge 2$.
\item $\Gamma=\PG(3,2)$, $v=15$ with $G\cong \Alt_7$.
\item $\Gamma=\AG(n,q)$, $v=p^d=q^n$, $G=\mathbb{F}_p^d:G_0$ with $\SL(n,q)\trianglelefteq G_0$, $q\ge 3$ and $n\ge 2$.
\item  $\Gamma$ is a hermitian unital $\UH(q)$, $v=q^3+1$, $\PSU(3,q)\trianglelefteq G$.
\item $\Gamma$ is a circle and $G$ is a $3$-transitive permutation group:
     \begin{enumerate}
	\item $G=\Alt_v,G=S_{v}$, $v\ge 3$.
	\item $G\trianglerighteq {\PSL}(2,q)$, $v=q+1$ and $G$ normalizes a sharply $3$-transitive permutation group.
	\item $G = \Mv_v$, $v=11,12,22,23,24$ or $G=\Aut(\Mvd)$, $v=22$.
	\item $G= \Mo$, $v=12$.
	\item $G= \Alt_7$, $v=15$.
    \item $G=\mathbb{F}_2^n:G_{0}$, $v=2^n$, $G_0\trianglerighteq \SL(n,2)$ with $n\ge 2$.
	\item $G=\mathbb{F}_2^4:\Alt_7$, $v=16$.
      \end{enumerate}
\end{enumerate}
The converse is also true. For any pair $(\Gamma,G)$ satisfying the conditions of one of the cases given above, the action of $G$ is $(2T)_1$.
\end{theorem}
By Lemma~\ref{lemtriangle}, in order to prove Theorem~\ref{transitive}, we only need to look at all the cases appearing in Theorem~\ref{2t1}
and check which cases give linear spaces with a group acting transitively on the set of ordered non-collinear triples of points.

\begin{proof}[Proof of Theorem~\ref{transitive}]
Let $\Gamma$ be a linear space.
    Let $\mathcal{T}(\Gamma)$ be the set of ordered non-collinear triples of points of $\Gamma$.
    We check the cases of Theorem~\ref{2t1} one by one to see which ones remain.

    (1) In this case, $\Gamma$ has 16 points and $\AGammaL(1,16)$ is of order 960. The set $\mathcal{T}(\Gamma)$ has size $16\cdot 15\cdot 12 = 2880$. Hence this case cannot occur.

    (2) In this case, the group $\PSL(n+1,q)$ obviously acts transitively on $\mathcal{T}(\Gamma)$ and so do all groups $G$ with $\PSL(n+1,q)\trianglelefteq G \le \PGammaL(n+1,q)$. This becomes case~(1) of Theorem~\ref{transitive}.

    (3) The cardinality of $\mathcal{T}(\Gamma)$ is $15\cdot 14\cdot 12 = 2520$ and the group $\Alt_7$ acts transitively on $\mathcal{T}(\Gamma)$. This becomes case~(2) of Theorem~\ref{transitive}.

    (4) In that case, we need $G_0$ to be large enough so that the group $p^n:G_0$ acts transitively on non-collinear triples of points; This implies that $G_0\geq \GL(n,q)$ when $n=2$. This is case~(3) of Theorem~\ref{transitive}.

    (5) The cardinality of $\mathcal{T}(\Gamma)$ is $(q^3+1)\cdot q^3\cdot (q^3-q)$ while $|\PGammaU(3,q)| = (q^3+1)\cdot q^3\cdot (q^2-1)\cdot 2e$ where $q = p^e$. Hence the only possibilities for $G$ to be transitive on $\mathcal{T}(\Gamma)$ is for $q = 2$ or $4$ and $G = \PGammaU(2,q)$. This is case~(4) of Theorem~\ref{transitive}.

    (6) In all these cases, the group is 3-transitive on the points and lines have two points, hence no three points are collinear and $G$ acts transitively on $\mathcal{T}(\Gamma)$. This is case~(5) of Theorem~\ref{transitive}.
\end{proof}



\section{Connectedness and residual connectedness}\label{sec:rc}
In this section, we want to prove Theorem~\ref{classification}. Hence, for each linear space $\Gamma$ appearing in Theorem~\ref{transitive}, we now check which ones give a residually connected geometry using Construction~\ref{construct}.

Observe that the input for Construction~\ref{construct} is the incidence geometry. The group acting is not important. Therefore, Case~(2) of Theorem~\ref{transitive} will be dealt with Case~(1).

\begin{prop}\label{connected}
    If $\Gamma$ is a finite affine or projective plane then $\Delta(\Gamma)$ is a connected geometry.
\end{prop}
\begin{proof}
The fact that $\Delta(\Gamma)$ is a geometry is obvious. 
Hence we can check connectivity by checking that any two elements of type~$0$ of $\Delta(\Gamma)$ are connected.

Let $(p_0,L_0,0) \in X_{\Delta(\Gamma)}$. We claim that for any $p_0' \in L_0$ and for any 
$L_0'\in \mathcal{L}_{p_0}$ with $p_0\neq p_0'$ and $L_0 \neq L_0'$, there is an incidence chain from $(p_0,L_0,0)$ to $(p_0',L_0,0)$ and a chain from $(p_0,L_0,0)$ to $(p_0,L_0',0)$. 

For the first claim, choose a point $p_1$ not incident to $L_0$ and a point $p_2 \notin \{p_0',p_0\}$ 
        with $p_2 \in L_0$. Such a point exists as $\Gamma$ has at least three points per line. 
Let $L_1$ be the line incident to $p_0$ and $p_1$ and let $L_2$ be the line incident to $p_1$ and $p_2$ (see Figure~\ref{ag}).
Then $(p_0,L_0,0), (p_1,L_1,1), (p_2,L_2,2), (p_0',L_0,0)$ is an incidence chain in $\Delta(\Gamma)$.

\begin{figure}
\begin{tikzpicture}
\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}
    \draw [blue, dashed, line width = 1] (-1,3) -- (3,-1);
    \draw [green, line width = 1, double] (-3,0) -- (3,0);
    \draw [red, line width = 2] (-3,-1) -- (1,3);
    \draw (-2.4,0) node[above]{$p_0$};
    \draw (2.4,0) node[above]{$p_1$};
    \draw (0,2.2) node[above]{$p_2$};
    \draw (-3.2,-1) node[left]{$p_0'$};
    \draw (1,3) node[right]{$L_0$};
    \draw (3,0) node[right]{$L_1$};
    \draw (-1,3) node[left]{$L_2$}; 
    \node at (-2,0)[draw=red, circle,fill,color = red, scale = 1]{};
    \node at (-3,-1)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (0,2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,2)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (2,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (2,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
\end{tikzpicture}
\caption{A path from $(p_0,L_0,0)$ to $(p_0',L_0,0)$.}\label{ag}
\end{figure}

For the second claim, take $p_1$ a point not incident to $L_0$ nor $L_0'$. Let $p_2 \in L_0'$ with $p_2$ not incident to $L_1$ $= \big[ p_0,p_1\big]$. Finally let $L_2$ be the line of $\Gamma$ incident to $p_1$ and $p_2$ (see Figure~\ref{ag2}).
Then $(p_0,L_0,0), (p_1,L_1,1) , (p_2,L_2,2), (p_0,L_0',0)$ is an incidence chain in $\Delta(\Gamma)$.

\begin{figure}
\begin{tikzpicture}
\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}
    \draw [red, line width = 2] (-3,-1) -- (0,2);
    \draw [blue, dashed, line width = 1] (3,1) -- (-1,-3);
    \draw [green, line width = 1, double] (-3,0) -- (3,0);
    \draw [red, line width = 2] (-3,1) -- (1,-3);
    \draw (-2,0.2) node[above]{$p_0$};
    \draw (2,0.2) node[above]{$p_1$};
    \draw (0,-1.8) node[above]{$p_2$};
    \draw (0,2) node[right]{$L_0$};
    \draw (3,0) node[right]{$L_1$};
    \draw (-1,-3) node[left]{$L_2$};
    \draw (-3,1) node[left]{$L_0'$};
    \node at (-2,0)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (0,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,-2)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (2,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (2,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
\end{tikzpicture}
\caption{A path from $(p_0,L_0,0)$ to $(p_0,L_0',0)$.}\label{ag2}
\end{figure}

Since $\Delta(\Gamma)$ is a geometry, every element of a given type is incident to two elements of the other types. Since $\Gamma$ is itself a connected incidence geometry, using the previous observations we can construct an incidence chain from any element to any other element of $\Delta(\Gamma)$ by composing the previous operations. Hence, $\Delta(\Gamma)$ is connected.
\end{proof}


\begin{prop}
    Let $n\geq 3$. If $\Gamma = \AG(n,q)$ or $\Gamma = \PG(n,q)$, then $\Delta(\Gamma)$ is not residually connected
\end{prop}
\begin{proof}
Let $F = \{(p_0,L_0,0),(p_1,L_1,1)\}$ be a rank two flag of $\Delta(\Gamma)$. An element $(p_2,L_2,2)$ incident to $F$ will have $L_2$ contained in the plane spanned by $L_0$ and $L_1$. Since there are multiple planes containing $L_0$, the residue of $(p_0,L_0,0)$ will split in distinct connected components, one for each plane containing $L_0$.
\end{proof}

\begin{prop}\label{appprc}
If $\Gamma$ is a finite linear or projective plane with three points per line or more, then $\Delta(\Gamma)$ is residually connected.
\end{prop}


\begin{proof}
By Proposition~\ref{triality}, $\Delta(\Gamma)$ has a triality, hence it suffices to show that residues of a flag of type~1 are connected.
Moreover, since $\Delta(\Gamma)$ is a geometry, it suffices to show that, given any two elements of type~1 in the residue of a flag of type~0, there is a chain in that residue that connects them.

    Let $\Delta(\Gamma)_{(p_0,L_0,0)}$ be the residue of $(p_0,L_0,0)$. Let $(p_1,L_1,1) \in \Delta(\Gamma)_{(p_0,L_0,0)}$ and $(p_1',L_1',1) \in \Delta(\Gamma)_{(p_0,L_0,0)}$. Note that if $p_1 = p_1'$ then $L_1 = L_1'$ so nothing needs to be checked.
    
Assume first that $L_1 = L_1'$ and $p_1 \neq p_1'$.
Then the elements $(p_1,L_1,1)$ and $(p_1',L_1,1)$ clearly cannot be at distance $2$ from each other in the incidence graph of $\Delta(\Gamma)_{(p_0,L_0,0)}$.
Suppose there exist $q_2,q_2' \in L_0$ so that the lines $L_2 = \big[ p_1,q_2 \big]$ and $L_2' = \big[ p_1',q_2' \big]$ intersect. Name that intersection $p_1''$ (see Figure~\ref{l2l2}).  The chain $$(p_1,L_1,1) , (q_2,L_2,2) , (p_1'' , L_1'' , 1), (q_2',L_2',2),(p_1',L_1,1)$$
is an incidence chain in $\Gamma_{(p_0,L_0,0)}$. We conclude that the distance between $(p_1,L_1,1)$ and $(p_1',L_1,1)$ in the incidence graph  of $\Delta(\Gamma)_{(p_0,L_0,0)}$ is 4.

\begin{figure}
\begin{tikzpicture}
\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

    \draw [red, line width = 2] (-2,-3) -- (-2,3) ;
    \draw [green, line width = 1, double] (-3,-2) -- (6,-2) ;
    \draw [blue, dashed, line width = 1] (-3,3) -- (3,-3) ;
    \draw [green, line width = 1, double] (-3,-3) -- (3,3);
    \draw [blue, dashed, line width = 1] (-3,1.2) -- (6,-2.4);
    
    \draw (-2,3) node[right]{$L_0$};
    \draw (6,-2) node[right]{$L_1$};
    \draw (-3,3) node[left]{$L_2$};
    \draw (3,3) node[right]{$L_1''$};
    \draw (-3,1.2) node[left] {$L_2'$}; 
    
    \draw (-2,-1.7) node[left]{$p_0$};
    \draw (2.2,-1.8) node[above]{$p_1$};
    \draw (-2.2,2) node[left]{$q_2$};
    \draw (0,0.2) node[above]{$p_1''$};
    \draw (-2.2,0.6) node[left]{$q_2'$};
    \draw (5,-1.8) node[above]{$p_1'$};

    \node at (0,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,-2)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (2,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (2,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,2)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (-2,0.8)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,0.8)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (5,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (5,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};

\end{tikzpicture}
\caption{The case where $L_1 = L_1'$.}\label{l2l2}
\end{figure}

Suppose the above construction fails, that is we cannot find $p_2$ and $p_2'$ as requested since $L_2 = \big[ p_1,p_2 \big]$ is parallel to $L_2' = \big[p_1',p_2'\big]$. In that case, we are dealing with $\AG(2,3)$ (as if there were more than three points per line, we could take another point $p_2'$ to make sure $L_2$ and $L_2'$ were not parallel).
This case is small enough to be fully analysed by hand and check that the residue is then the incidence graph of a 6-gon.



Assume finally that $L_1\neq L_1'$ and $p_1\neq p_1'$.
Take $L_2 = \big[ p_1,p_1' \big]$.
If $L_2$ and $L_0$ have a point in common, let $q_2 = L_2 \cap L_0$ (see Figure~\ref{notp}). Then $(p_1,L_1,1), (q_2,L_2,2), (p_1',L_1',1)$ forms an incidence chain so $(p_1,L_1,1)$ and $(p_1',L_1',1)$ are at distance $2$.

\begin{figure}
\begin{tikzpicture}

\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

    \draw (1,1) node[right]{$L_1'$};
    
    \draw [green, line width = 1, double] (-3,-3) -- (1,1) ;
    \draw [red, line width = 2] (-2,-3) -- (-2,1) ;
    \draw [blue, dashed, line width = 1] (-3,1) -- (1,-3) ;
    \draw [green, line width = 1, double] (-3,-2) -- (1,-2) ;
    \draw (-2,1) node[right]{$L_0$};
    \draw (1,-2) node[right]{$L_1$};
    \draw (-3,1) node[left]{$L_2$};
    
    \draw (-2.2,-1.7) node[left]{$p_0$};
    \draw (-2.2,0) node[left]{$q_2$};
    \draw (0,-1.8) node[above]{$p_1$};
    \draw (-1,-0.8) node[above]{$p_1'$};
    \node at (0,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,-2)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (-1,-1)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-1,-1)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,0)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    
\end{tikzpicture}
\caption{The case where $\big[ p_1, p_1' \big] \cap L_0 \neq \emptyset$ and $p_1' \notin L_1$. }\label{notp}
\end{figure}

In an affine plane, it could happen that $\big[ p_1,p_1' \big]$ is parallel to $L_0$ and the previous construction fails. 
In that case, pick a third point on $\big[ p_1,p_1' \big]$, say $p_1''$ and take the line $L_1'' = \big[ p_0,p_1'' \big]$.
On that line, take a third point $q_1$. Now, the line $L_2 = \big[p_1,q_1\big]$ necessarily intersects $L_0$ in, say $q_2$. Moreover, the line $L_2' = \big[p_1',q_1\big]$ also intersects $L_0$ in, say $q_2'$.
We have that $(p_1,L_1,1), (q_2,L_2,2), (q_1,L_1'',1), (q_2',L_2',2), (p_1',L_1',1)$ is a chain in $\Delta(\Gamma)_{(p_0,L_0,0)}$, as illustrated in Figure~\ref{l2l2p}.

\begin{figure}    
\begin{tikzpicture}
\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

    \draw [green, line width = 1, double] (-3,-2.5) -- (3,0.5) ;
    \draw [red, line width = 2] (-2,-3) -- (-2,3) ;
    \draw [green, line width = 1, double] (-3,-2) -- (3,-2) ;
    \draw [blue, dashed, line width = 1] (-3,3) -- (3,-3) ;
    \draw [green, line width = 1, double] (-3,-3) -- (3,3);
    \draw [dash dot] (2,-3) -- (2,3);
    \draw (-2,3) node[right]{$L_0$};
    \draw (3,-2) node[right]{$L_1$};
    \draw [blue, dashed, line width = 1] (-3,0) -- (3,0);
    \draw (3,0.8) node[right] {$L_1'$}; 
    \draw (3,3) node[right]{$L_1''$};
    \draw (-3,0) node[left]{$L_2'$};
    \draw (-3,3) node[left]{$L_2$};
    
    \draw (-2.2,-1.7) node[left]{$p_0$};
    \draw (2,-2.4) node[left]{$p_1$};
    \draw (2.1,-0.3) node[right]{$p_1'$};
    \draw (-2.2,2) node[left]{$q_2$};
    \draw (2.1,2) node[right]{$p_1''$};
    \draw (0,0.2) node[above]{$q_1$};
    \draw (-2.2,-0.3) node[left]{$q_2'$};
    \node at (0,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,-2)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (2,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (2,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,2)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (2,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (2,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,0)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (2,2)[draw = black, fill, color = black, circle, scale = 0.5]{};

\end{tikzpicture}
\caption{The case where $\big[ p_1,p_1' \big]$ is parallel to $L_0$.}\label{l2l2p}
\end{figure}
\end{proof}


\begin{coro}\label{residuegdd}
If $\Gamma = \AG(2,q)$ with $q \geq 4$ or $\Gamma = \PG(2,q)$ with $q \geq 3$, then the gonality of any rank two residue of $\Delta(\Gamma)$ is equal to $3$ and the point and line diameters are equal to $4$.
\end{coro}

\begin{proof}
By Propositon~\ref{triality}, $\Delta(\Gamma)$ has a triality, hence we know that all rank two residues will be isomorphic. Suppose we look at a residue of a flag of type~$0$.
By the proof of Proposition~\ref{appprc}, we already know the distance between two elements of type~$2$ in $\Delta(\Gamma)_{(p_0,L_0,0)}$ is less than or equal to $4$. 
Let $(p_1,L_1,1), (p_2,L_2,2) \in \Delta(\Gamma)_{(p_0,L_0,0)}$. We claim that $d_{\Delta(\Gamma)_{(p_0,L_0,0)}}((p_1,L_1,1),(p_2,L_2,2)) \leq 3$. Indeed, take $q_2 \in L_0$ with $q_2\notin \{ p_0,p_2 \}$ such that $\big[ p_1, q_2 \big]$ is not parallel to $L_2$.
(note that this is not possible in $\AG(2,3)$). Construct in order $L_2' = \big[ p_1,q_2 \big]$, $p_1' = L_2' \cap L_2$, $L_1' = \big[ p_1',p_0 \big]$. Then 
$$(p_1,L_1,1),(q_2,L_2',2),(p_1',L_1',1),(p_2,L_2,2)$$
is an incidence chain in $\Delta(\Gamma)_{(p_0,L_0,0)}$ (see Figure~\ref{dist3}). 

\begin{figure}
\begin{tikzpicture}

\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

    \draw [red, line width = 2] (-2,-3) -- (-2,3) ;
    \draw [green, line width = 1, double] (-3,-2) -- (3,-2) ;
    \draw [blue, dashed, line width = 1] (-3,3) -- (3,-3) ;
    \draw [green, line width = 1, double] (-3,-3) -- (3,3);
    \draw [blue, dashed, line width = 1] (-3,0) -- (3,0);

    \draw (-2.2,-1.7) node[left]{$p_0$};
    \draw (2.2,-1.8) node[above]{$p_1$};
    \draw (-2.2,1.7) node[left]{$q_2$};
    \draw (0,0.2) node[above]{$p_1'$};
    \draw (-2.2,-0.3) node[left]{$p_2$};
    
    \node at (0,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,-2)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (2,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (2,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,2)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (-2,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,0)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    
    \draw (-2,3) node[right]{$L_0$};
    \draw (3,-2) node[right]{$L_1$};
    \draw (-3,0) node[left]{$L_2$};
    \draw (3,3) node[right]{$L_1'$};
    \draw (-3,3) node[left] {$L_2'$};    
    
\end{tikzpicture}
\caption{A path of length three.}\label{dist3}
\end{figure}
Hence the point and line diameters are equal to $4$.

To compute the gonality, notice we have at least four points per lines. Choose three points $q_2 , q_2', q_2'' \in L_0$ and $q_2,q_2',q_2'' \neq p_0$. Construct the lines $L_{2} = \big[ q_2 , p_1 \big]$ and $L_{2}' = \big[ q_2' , p_1 \big]$. There are at least two points in $L_{2}' \backslash \{ q_2' , p_1 \}$ so at least one of the two lines passing by $q_2''$ and the first point and $q_2''$ and the second point will be non parallel to $L_{2}$ (one does not need to worry about this case in the projective plane). Name that line $L_{2}''$. Let $p_1' = L_2' \cap L_2''$ and $p_1'' = L_2 \cap L_2''$. Then $$(p_1,L_1,1),(q_2,L_{2},2),(p_1'',L_1'',1),(q_2'',L_{2}'',2),(p_1',L_1',1),(q_2',L_{2}',2),(p_1,L_1,1)$$ is an incidence chain of length $6$ in $\Delta(\Gamma)_{(p_0,L_0,0)}$ (see Figure~\ref{gon}).

One can easily verify that cycles based in $(p_1,L_1,1)$ of length $4$ cannot exist in $\Delta(\Gamma)_{(p_0,L_0,0)}$. Moreover, the same construction can be used for cycles with a base point $(p_2,L_2,2)$. We conclude that the gonality is $3$ which completes the proof.

\begin{figure}
\begin{tikzpicture}[scale = 0.7]

\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

    \draw [blue, dashed, line width = 1] (-3,4+6/7) -- (6,-2-6/7) ;
    \draw [blue, dashed, line width = 1] (-3,1+3/7) -- (6,-2-3/7) ;
    \draw [blue, dashed, line width = 1] (-3,-51/8) -- (3+2.0635,158/80+2.0635*1.3967) ;
    
    \draw [green, line width = 1, double](-3,-2) -- (6,-2) ;
    \draw [green, line width = 1, double](-3,-2.5) -- (1.32+4.73,-0.4+4.73*0.468111);
    \draw [green, line width = 1, double](-3,-2.7) -- (2+4,0.6+2.64);

    
    \draw [red, line width = 2](-2,4+6/7) -- (-2,-51/8);
    
    \draw (-3,4+6/7) node[left]{$L_{2}$};
    \draw (-3,1+3/7) node[left]{$L_{2}'$};
    \draw (6,-2) node[right]{$L_{1}$};
    \draw (-3,-51/8) node[left]{$L_{2}''$};
    \draw (1.32+4.73,-0.4+4.73*0.468111) node[right]{$L_1'$};
    \draw (2+4,0.6+2.64) node[right]{$L_1''$};
    \draw (-2,4+6/7) node[right]{$L_0$};
    
    \draw (-2.2,3.7) node[left]{$q_2$};
    \draw (-2.2,0.7) node[left]{$q_2'$};
    \draw (-2.2,-1.5) node[left]{$p_{0}$};
    \draw (-2.2,-4.7) node[left]{$q_2''$};
    \draw (2,0.9) node[above]{$p_{1}''$};
    \draw (1.4,-0.6) node[below]{$p_{1}'$};
    \draw (5.3,-1.8) node[above]{$p_1$};

    \node at (1.32,-0.4)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (1.32,-0.4)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,4)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,4)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (-2,1)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,1)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (-2,-2)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (-2,-5)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,-5)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (2,0.6)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (2,0.6)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (5,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (5,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    
\end{tikzpicture}
\caption{A cycle with basepoint $(p_1,L_1,1)$ of length six in $\Delta(\Gamma)_{(p_0,L_0,0)}$.}\label{gon}
\end{figure}
\end{proof}

\begin{prop}
    If $\Gamma = \Kv_v$, $v \geq 4$ then $\Delta(\Gamma)$ is connected and not residually connected.
\end{prop}
\begin{proof}
Since every line has exactly two points, $\Delta(\Gamma)$ is not residually connected. 
We first prove there is an incidence chain from $(p,L, i )$ to $(p,L, i +1)$ in $\Delta(\Gamma)$. Secondly, we prove there is an incidence chain from $(p,L,i)$ to $(p^L,L,i)$ in $\Delta(\Gamma)$, where $p^L$ is the unique point of $L$ different from $p$. 
Without loss of generality, take $(p_0,L_0,0) \in X_{\Delta(\Gamma)}$. Let $p_1,p_2 \notin L_0$.

For the first claim, construct $L_1 = \big[p_0,p_1\big], L_2 = \big[p_1,p_2\big],L_0' = \big[p_2,{p_0}^{L_0} \big]$. Then, $$(p_0,L_0,0),(p_1,L_1,1),(p_2,L_2,2),({p_0}^{L_0},L_0',0),(p_0,L_0,1)$$ is an incidence chain in $\Delta(\Gamma)$ (see Figure~\ref{Kncon1}).

\begin{figure}
\begin{tikzpicture}

\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

    \draw (-3,0) node[left]{$L_0'$};
    
    \draw [red, line width = 2] (-3,0) -- (1,0) ;
    \draw [red, line width = 2] (-2,-3) -- (-2,1) ;
    \draw [blue, dashed, line width = 1] (0,-3) -- (0,1) ;
    \draw [green, line width = 1, double] (-3,-2) -- (1,-2) ;
    \draw (-2,1) node[right]{$L_0$};
    \draw (1,-2) node[right]{$L_1$};
    \draw (0,1) node[right]{$L_2$};
    
    \draw (-2.1,-1.7) node[left]{$p_0$};
    \draw (-2.1,0.3) node[left]{${p_0}^{L_0}$};
    \draw (0.1,-1.7) node[right]{$p_1$};
    \draw (0.1,0.3) node[right]{$p_2$};
    \node at (0,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,-2)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (0,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,0)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (-2,0)[draw = red, circle,fill,color = red, scale = 1]{};
    
\end{tikzpicture}
\caption{A path from $(p_0,L_0,0)$ to $(p_0,L_0,1).$}\label{Kncon1}
\end{figure}

For the second claim, construct $L_1 = \big[ p_0,p_1 \big], L_2 = \big[ p_1,p_2 \big], L_0' = \big[p_2,p_0\big]$. Then, $$(p_0,L_0,0),(p_1,L_1,1),(p_2,L_2,2),(p_0,L_0',0),({p_0}^{L_0},L_0,1)$$ is an incidence chain in $\Delta(\Gamma)$ (see Figure~\ref{Kncon2}). By then using the first claim two times we get an incidence chain from $(p_0,L_0,0)$ to $({p_0}^{L_0},L_0,0)$.

\begin{figure}
\begin{tikzpicture}
\def\LineSpace{6.5pt}
\def\GridSize{4.5pt}

    \draw (-3,-3) node[left]{$L_0'$};
    
    \draw [red, line width = 2] (-3,-3) -- (1,1) ;
    \draw [red, line width = 2] (-2,-3) -- (-2,1) ;
    \draw [blue, dashed, line width = 1] (0,-3) -- (0,1) ;
    \draw [green, line width = 1, double] (-3,-2) -- (1,-2) ;
    \draw (-2,1) node[right]{$L_0$};
    \draw (1,-2) node[right]{$L_1$};
    \draw (0,1) node[right]{$L_2$};
    
    \draw (-2.1,-1.7) node[left]{$p_0$};
    \draw (-2.1,0) node[left]{${p_0}^{L_0}$};
    \draw (0.1,-1.7) node[right]{$p_1$};
    \draw (0.1,-0.2) node[right]{$p_2$};
    \node at (0,-2)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,-2)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    \node at (-2,-2)[draw = red, circle,fill,color = red, scale = 1]{};
    \node at (0,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (0,0)[draw = blue, pattern=custom grid, pattern color=blue, circle, scale = 1]{};
    \node at (-2,0)[draw = white, fill, color = white, circle, scale = 1]{};
    \node at (-2,0)[draw=green, fill, pattern=custom hatch, pattern color=green, circle, scale = 1]{};
    
\end{tikzpicture}
\caption{A path from $(p_0,L_0,0)$ to $(p_0^{L_0},L_0,1).$}\label{Kncon2}
\end{figure}

Using these two moves, it is readily seen that $\Delta(\Gamma)$ is connected.
\end{proof}


\begin{proof}[Proof of Theorem~\ref{classification}]Theorem~\ref{classification} is a summary of the results obtained in the Propositions and Corollary of this section.
\end{proof}
 \begin{coro}\label{cor: infinite family}
     The family $\Delta(\AG(2,q))$ for $q > 3$, $q$ a power of a prime, is an infinite family of thick, residually connected and flag-transitive geometries with trialities but no dualities.
 \end{coro}
\begin{proof}
    This is a direct consequence of Theorem~\ref{classification} and Proposition~\ref{prop:dual}.    
\end{proof}

\section{Firm, residually connected and flag-transitive geometries with a triality}\label{sec:diagrams}

 In this section we synthesize some important features of the geometries constructed in the previous section by computing their Buekenhout diagrams. We start by giving their precise definition, which requires to first define some properties of rank $2$ geometries.
 
Francis Buekenhout introduced a diagram associated to incidence geometries ~\cite{buekenhout2013diagram}. His idea was to associate to each rank two residue a set of three integers giving information on its incidence graph.
Let $\Gamma$ be a rank two geometry. We can consider $\Gamma$ to have type set $I = \{P,L\}$, where $P$ and $L$ stand for points and lines. The {\em point-diameter}, denoted by $d_P(\Gamma) = d_P$, is the largest integer $k$ such that there exists a point $p \in P$ and an element $x \in \Gamma$ with $d(p,x) = k$. Similarly the {\em line-diameter}, denoted by $d_L(\Gamma) = d_L$, is the largest integer $k$ such that there exists a line $l \in L$ and an element $x \in \Gamma$ with $d(l,x) = k$. Finally, the \textit{gonality} of $\Gamma$, denoted by $g(\Gamma) = g$ is half the length of the smallest circuit in the incidence graph of $\Gamma$.

If a rank two geometry $\Gamma$ has $d_P = d_L = g = n$ for some natural number $n$, we say that it is a \textit{generalized $n$-gon}. Generalized $2$-gons are also called generalized digons. They are in some sense trivial geometries since all points are incident to all lines. Their incidence graphs are complete bipartite graphs. Generalized $3$-gons are projective planes.

 Let $\Gamma$ be a geometry over $I$.  The \textit{Buekenhout diagram} (or diagram for short) $D$ for $\Gamma$ is a graph whose vertex set is $I$. Each edge $\{i,j\}$ is labeled with a collection $D_{ij}$ of rank two geometries. We say that $\Gamma$ belongs to $D$ if every residue of rank two of type~$\{i,j\}$ of $\Gamma$ is one of those listed in $D_{ij}$ for every pair of $i \neq j \in I$. In most cases, we use conventions to turn a diagram $D$ into a labeled graph. The most common convention is to not draw an edge between two vertices $i$ and $j$ if all residues of type~$\{i,j\}$ are generalized digons, and to label the edge $\{i,j\}$ by a natural integer $n$ if all residues of type~$\{i,j\}$ are generalized $n$-gons. It is also common to omit the label when $n=3$.
If the edge $\{i,j\}$ is labeled by a triple $(d_{ij},g_{ij},d_{ji})$ it means that every residue of type~$\{i,j\}$ had $d_P = d_{ij}, g = g_{ij}, d_L = d_{ji}$. We can also add information to the vertices of a diagram. 
We can label the vertex $i$ with the number $n_i$ of elements of type~$i$ in $\Gamma$. Moreover, if for all flags $F$ of co-type~$i$, we have that $|\Gamma_F| = s_i +1$, we will also label the vertex $i$ with the integer $s_i$.
We now give the Buekenhout diagrams of the geometries appearing in Theorem~\ref{classification}.

For $\Gamma = \PG(2,2)$,  the diagram of $\Delta(\Gamma)$ can be computed either by hand or using {\sc Magma}~\cite{magma} and is as follows:
\[\begin{tikzpicture}

\begin{scope}[every node/.style={thick}]
    \draw (0,0) circle (8pt);
    \draw (-2,-2) circle (8pt);
    \draw (2,-2) circle (8pt);
    
    \node (1) at (0,0) {$0$};
    \node (2) at (-2,-2) {$1$};
    \node (3) at (2,-2) {$2$};
    \node (11) at (0,1) {$1$};
    \node (12) at (0,0.5) {$21$};
    \node (21) at (-2,-2.5) {$1$};
    \node (22) at (-2,-3) {$21$};
    \node (31) at (2,-2.5) {$1$};
    \node (32) at (2,-3) {$21$};

    \node (4) at (-1.3,-0.7) {$4$};
    \node (5) at (1.3,-0.7) {$4$};
    \node (6) at (0,-2.3) {$4$};
\end{scope}

\begin{scope}[every node/.style={thick}]
    
    \path [-] (-1.7,-2) edge[color=black] (1.7,-2);
    \path [-] (-1.8,-1.8) edge[color=black] (-0.2,-0.2);
    \path [-] (1.8,-1.8) edge[color=black] (0.2,-0.2);
\end{scope}

\end{tikzpicture}\]


For $\Gamma = \PG(2,q)$, with $q \geq 3$ the diagram of $\Delta(\Gamma)$ is computed thanks to Corollary~\ref{residuegdd}.
\[\begin{tikzpicture}

\begin{scope}[every node/.style={thick}]
    \draw (0,0) circle (8pt);
    \draw (-2,-2) circle (8pt);
    \draw (2,-2) circle (8pt);
    
    \node (1) at (0,0) {$0$};
    \node (2) at (-2,-2) {$1$};
    \node (3) at (2,-2) {$2$};
    \node (11) at (0,1) {$q-1$};
    \node (12) at (0,0.5) {$(q^2+q+1)(q+1)$};
    \node (21) at (-2,-2.5) {$q-1$};
    \node (22) at (-2,-3) {$(q^2+q+1)(q+1)$};
    \node (31) at (2,-2.5) {$q-1$};
    \node (32) at (2,-3) {$(q^2+q+1)(q+1)$};

    \node (41) at (-1.2,-0.8) {$3$};
    \node (42) at (-1.6,-1.2) {$4$};
    \node (43) at (-0.8,-0.4) {$4$};
    \node (51) at (0.8,-0.4) {$4$};
    \node (52) at (1.2,-0.8) {$3$};
    \node (53) at (1.6,-1.2) {$4$};
    \node (61) at (0,-2.4) {$3$};
    \node (62) at (-0.4,-2.4) {$4$};
    \node (63) at (0.4,-2.4) {$4$};

    
\end{scope}

\begin{scope}[every node/.style={thick}]
    
    \path [-] (-1.7,-2) edge[color=black] (1.7,-2);
    \path [-] (-1.8,-1.8) edge[color=black] (-0.2,-0.2);
    \path [-] (1.8,-1.8) edge[color=black] (0.2,-0.2);
\end{scope}

\end{tikzpicture}\]

For $\Gamma = \AG(2,3)$, the diagram of $\Delta(\Gamma)$ can again be computed either by hand or using {\sc Magma}~\cite{magma}.
\[\begin{tikzpicture}

\begin{scope}[every node/.style={thick}]
    
    \draw (0,0) circle (8pt);
    \draw (-2,-2) circle (8pt);
    \draw (2,-2) circle (8pt);
    
    \node (1) at (0,0) {$0$};
    \node (2) at (-2,-2) {$1$};
    \node (3) at (2,-2) {$2$};
    \node (11) at (0,1) {$1$};
    \node (12) at (0,0.5) {$36$};
    \node (21) at (-2,-2.5) {$1$};
    \node (22) at (-2,-3) {$36$};
    \node (31) at (2,-2.5) {$1$};
    \node (32) at (2,-3) {$36$};

    \node (4) at (-1.3,-0.7) {$6$};
    \node (5) at (1.3,-0.7) {$6$};
    \node (6) at (0,-2.3) {$6$};
\end{scope}

\begin{scope}[every node/.style={thick}]
    
    \path [-] (-1.7,-2) edge[color=black] (1.7,-2);
    \path [-] (-1.8,-1.8) edge[color=black] (-0.2,-0.2);
    \path [-] (1.8,-1.8) edge[color=black] (0.2,-0.2);
\end{scope}

\end{tikzpicture}\]

For $\Gamma = \AG(2,q), q \geq 4$ the diagram of $\Delta(\Gamma)$ is the following thanks to Corollary~\ref{residuegdd}.
\[\begin{tikzpicture}

\begin{scope}[every node/.style={thick}]
    \draw (0,0) circle (8pt);
    \draw (-2,-2) circle (8pt);
    \draw (2,-2) circle (8pt);
    
    \node (1) at (0,0) {$0$};
    \node (2) at (-2,-2) {$1$};
    \node (3) at (2,-2) {$2$};
    \node (11) at (0,1) {$q-2$};
    \node (12) at (0,0.5) {$q^2(q+1)$};
    \node (21) at (-2,-2.5) {$q-2$};
    \node (22) at (-2,-3) {$q^2(q+1)$};
    \node (31) at (2,-2.5) {$q-2$};
    \node (32) at (2,-3) {$q^2(q+1)$};

    \node (41) at (-1.2,-0.8) {$3$};
    \node (42) at (-1.6,-1.2) {$4$};
    \node (43) at (-0.8,-0.4) {$4$};
    \node (51) at (0.8,-0.4) {$4$};
    \node (52) at (1.2,-0.8) {$3$};
    \node (53) at (1.6,-1.2) {$4$};
    \node (61) at (0,-2.4) {$3$};
    \node (62) at (-0.4,-2.4) {$4$};
    \node (63) at (0.4,-2.4) {$4$};

    
\end{scope}

\begin{scope}[every node/.style={thick}]
    
    \path [-] (-1.7,-2) edge[color=black] (1.7,-2);
    \path [-] (-1.8,-1.8) edge[color=black] (-0.2,-0.2);
    \path [-] (1.8,-1.8) edge[color=black] (0.2,-0.2);
\end{scope}

\end{tikzpicture}\]

For $\Gamma = \UH(2)$, as $\UH(2)\cong \AG(2,3)$, the diagram of $\Delta(\Gamma)$ is already given above.
For $\Gamma = \UH(4)$, the diagram of $\Delta(\Gamma)$ diagram can be computed thanks to {\sc Magma}. The rank two residues do not have dualities.
\[\begin{tikzpicture}

\begin{scope}[every node/.style={thick}]

    \draw (0,0) circle (8pt);
    \draw (-2,-2) circle (8pt);
    \draw (2,-2) circle (8pt);

    \node (1) at (0,0) {$0$};
    \node (2) at (-2,-2) {$1$};
    \node (3) at (2,-2) {$2$};
    \node (11) at (0,1) {$3$};
    \node (12) at (0,0.5) {$1040$};
    \node (21) at (-2,-2.5) {$3$};
    \node (22) at (-2,-3) {$1040$};
    \node (31) at (2,-2.5) {$3$};
    \node (32) at (2,-3) {$1040$};

    \node (41) at (-1.2,-0.8) {$4$};
    \node (42) at (-1.6,-1.2) {$6$};
    \node (43) at (-0.8,-0.4) {$6$};
    \node (51) at (0.8,-0.4) {$6$};
    \node (52) at (1.2,-0.8) {$4$};
    \node (53) at (1.6,-1.2) {$6$};
    \node (61) at (0,-2.4) {$4$};
    \node (62) at (-0.4,-2.4) {$6$};
    \node (63) at (0.4,-2.4) {$6$};

    
\end{scope}

\begin{scope}[every node/.style={thick}]
    
    \path [-] (-1.7,-2) edge[color=black] (1.7,-2);
    \path [-] (-1.8,-1.8) edge[color=black] (-0.2,-0.2);
    \path [-] (1.8,-1.8) edge[color=black] (0.2,-0.2);
\end{scope}

\end{tikzpicture}\]

We conclude this section with Table~\ref{table}. This table lists all the geometries $\Gamma$ we discussed and tells us whether $\Delta(\Gamma)$ is connected, residually connected or thin. It also contains the description of the automorphism group and correlation group of $\Delta(\Gamma)$.

\begin{table}[ht]
\scalebox{0.95}{\begin{tabular}{||c c c c c c||} 
 \hline
 $\Gamma$ & Connected & RC & Thin & $\Aut(\Delta(\Gamma))$ & $\Cor(\Delta(\Gamma))$ \\ [0.5ex] 
 \hline\hline
 $\AG(2,3)$ & Yes & Yes & Yes & $\AGL(2,3)$ & $\AGL(2,3) \times \Ct$ \\ 
 \hline
 $\AG(n,3)$, $n \geq 3$ & Yes & No & Yes & $\AGL(n,3)$ & $\AGL(n,3) \times  \Ct$ \\
 \hline
 $\AG(n,q)$, $n \geq 3, q \geq 4$ & Yes & No & No & $\AGL(n,q)$ & $\AGL(n,q) \times  \Ct$ \\
 \hline
 $\AG(2,q)$, $q \geq 4$ & Yes & Yes & No & $\AGL(2,q)$ & $\AGL(2,q) \times \Ct$ \\
 \hline
 $\PG(2,2)$ & Yes & Yes & Yes & $\PGammaL(3,2)$ & $\PGammaL(3,2) \rtimes \St$ \\ 
 \hline
 $\PG(2,q)$, $q \geq 3$ & Yes & Yes & No & $\PGammaL(3,q)$ & $\PGammaL(3,q) \rtimes \St$ \\
 \hline
 $\PG(n,q)$, $n \geq 3, q \geq 3$ & Yes & No & No & $\PGammaL(n+1,q)$ & $\PGammaL(n+1,q) \times \Ct$ \\
 \hline
 $\PG(3,2)$ & Yes & No & Yes & $\PGammaL(4,2)$ & $\PGammaL(4,2) \times \Ct$ \\
 \hline
 $\Kv_3$ & No & No & No & $\Ss$ & $\Ss \times \St$ \\
 \hline
 $\Kn$, $n \geq 4$ & Yes & No & No & $\Sn$ & $\Sn \times \St$ \\
 \hline
 $\UH(4)$& Yes & Yes & No & $\PGammaU(3,4)$ & $\PGammaU(3,4) \times \Ct$ \\
 [0ex] 
 \hline
\end{tabular}}
\caption{Table of geometries.}
\label{table}
\end{table}

\section{Conclusion}\label{sec:conclusion}

In this paper, we described a geometric construction that permits to get, from a rank two geometry $\Gamma$, a rank three incidence system $\Delta(\Gamma)$ that admits trialities. 
The gonality of $\Gamma$ needs to be at most three as proven in Proposition~\ref{g3impliesgeom} in order to have that $\Delta(\Gamma)$ be a geometry.
We then focused on the case where the gonality is three and this led us naturally to investigate which linear spaces $\Gamma$ give interesting geometries $\Delta(\Gamma)$.
We thus determined which linear spaces $\Gamma$ give ``interesting geometries'' $\Delta(\Gamma)$, that is geometries that are firm, residually connected and flag-transitive.

We did not investigate the case where the gonality of $\Gamma$ is two. However, experiments suggest that $\Delta(\Gamma)$ will not be residually connected in that case. 

We did not find any examples of rank two geometries $\Gamma$ that have gonality three but are not linear spaces and that would give a $\Delta(\Gamma)$ that is firm, residually connected and flag-transitive.
The construction suggests however that there is no restriction on the diameter of $\Gamma$, but simply that elements at distance more than four of each other will not end up in common rank two residues.

\longthanks{
We thank an anonymous referee for their very detailed and useful comments. In particular, the content of Section \ref{sec:triangle} has been substantially improved and clarified following these comments.
}

\bibliographystyle{mersenne-plain-nobysame}
\bibliography{ALCO_Leemans_1471}
\end{document}
