arXiv subjects

Benoit Loisel

Publications and source records attributed to Benoit Loisel.

7 recordsLinked to original sources

arXiv2024

Tessellations of an affine apartment by affine weight polytopes

Let $\A$ be a finite dimensional vector space and $\Phi$ be a finite root system in $\A$. To this data is associated an affine poly-simplicial complex. Motivated by a forthcoming construction of connectified higher buildings, we study "affine weight polytopes" associated to these data. We prove that these polytopes tesselate $\A$. We also prove a kind of "mixed" tessellation, involving the affine weight polytopes and the poly-simplical structure on $\A$.

math.GR↗

arXiv2023

Arithmetic subgroups of Chevalley group schemes over function fields II: Conjugacy classes of maximal unipotent subgroups

Let $\mathcal{C}$ be a smooth, projective, geometrically integral curve defined over a perfect field $\mathbb{F}$. Let $k=\mathbb{F}(\mathcal{C})$ be the function field of $\mathcal{C}$. Let $\mathbf{G}$ be a split simply connected semisimple $\mathbb{Z}$-group scheme. Let $\mathcal{S}$ be a finite set of places of $\mathcal{C}$. In this paper, we investigate on the conjugacy classes of maximal unipotent subgroups of $\mathcal{S}$-arithmetic subgroups. These are parameterized thanks to the Picard group of $\mathcal{O}_{\mathcal{S}}$ and the rank of $\mathbf{G}$. Furthermore, these maximal unipotent subgroups can be realized as the unipotent part of natural stabilizer, which are the stabilizers of sectors of the associated Bruhat-Tits building. We decompose these natural stabilizers in terms of their diagonalisable part and unipotent part, and we precise the group structure of the diagonalisable part.

math.GR↗

arXiv2023

Arithmetic subgroups of Chevalley group schemes over function fields I: quotients of the Bruhat-Tits building by $\{P\}$-arithmetic subgroups

Let $\mathbf{G}$ be a reductive Chevalley group scheme (defined over $\mathbb{Z}$). Let $\mathcal{C}$ be a smooth, projective, geometrically integral curve over a field $\mathbb{F}$. Let $P$ be a closed point on $\mathcal{C}$. Let $A$ be the ring of functions that are regular outside $\lbrace P \rbrace$. The fraction field $k$ of $A$ has a discrete valuation $ν=ν_{P}: k^{\times} \rightarrow \mathbb{Z}$ associated to $P$. In this work, we study the action of the group $ \textbf{G}(A)$ of $A$-points of $\mathbf{G}$ on the Bruhat-Tits building $\mathcal{X}=\mathcal{X}(\textbf{G},k,ν_{P})$ in order to describe the structure of the orbit space $ \textbf{G}(A)\backslash \mathcal{X}$. We obtain that this orbit space is the ``gluing'' of a closed connected CW-complex with some sector chambers. The latter are parametrized by a set depending on the Picard group of $\mathcal{C} \smallsetminus \{P\}$ and on the rank of $\mathbf{G}$. Moreover, we observe that any rational sector face whose tip is a special vertex contains a subsector face that embeds into this orbit space.

math.GR↗

arXiv2021

Quotients of the Bruhat-Tits tree by arithmetic subgroups of special unitary groups

Let $K$ be the function field of a curve $C$ over a field $\mathbb{F}$ of either odd or zero characteristic. Following the work by Serre and Mason on $\mathrm{SL}_2$, we study the action of arithmetic subgroups of $\mathrm{SU}(3)$ on its corresponding Bruhat-Tits tree associated to a suitable completion of $K$. More precisely, we prove that the quotient graph "looks like a spider", in the sense that it is the union of a set of cuspidal rays (the "legs"), parametrized by an explicit Picard group, that are attached to a connected graph (the "body"). We use this description in order to describe these arithmetic subgroups as amalgamated products and study their homology. In the case where $\mathbb{F}$ is a finite field, we use a result by Bux, Köhl and Witzel in order to prove that the "body" is a finite graph, which allows us to get even more precise applications.

math.GR↗

arXiv2020

$\Lambda$-buildings associated to quasi-split groups over $\Lambda$-valued fields

Let $\mathbf{G}$ be a quasi-split reductive group and $\mathbb{K}$ be a Henselian field equipped with a valuation $\omega:\mathbb{K}^{\times}\rightarrow \Lambda$, where $\Lambda$ is a non-zero totally ordered abelian group. In 1972, Bruhat and Tits constructed a building on which the group $\mathbf{G}(\mathbb{K})$ acts provided that $\Lambda$ is a subgroup of $\mathbb{R}$. In this paper, we deal with the general case where there are no assumptions on $\Lambda$ and we construct a set on which $\mathbf{G}(\mathbb{K})$ acts. We then prove that it is a $\Lambda$-building, in the sense of Bennett.

math.GR↗

arXiv2019

On profinite subgroups of an algebraic group over a local field

The purpose of this paper is to link anisotropy properties of an algebraic group together with compactness issues in the topological group of its rational points. We nd equivalent conditions on a smooth ane algebraic group scheme over a non-Archimedean local eld for the associated rational points to admit maximal compact subgroups. We use the structure theory of pseudo-reductive groups provided, whatever the characteristic, by Conrad, Gabber and Prasad. We also investigate thoroughly maximal prop subgroups in the semisimple case, using Bruhat-Tits theory.

math.GR↗

arXiv2017

Explicit generators of some pro-p groups via Bruhat-Tits theory

Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of valued root groups, thanks to Bruhat-Tits theory. In this context, it becomes possible to compute explicitly a minimal generating set of the (all conjugated) maximal pro-p-subgroups thanks to parametrizations of a suitable maximal torus and of corresponding root groups. We show that the minimal number of generators is then linear with respect to the rank of a suitable root system.

math.GR↗