Showing 1–8 of 8 results for author: Loisel, B

Tessellations of an affine apartment by affine weight polytopes

Authors: Claudio Bravo, Auguste Hébert, Diego Izquierdo, Benoit Loisel

Abstract: Let $\A$ be a finite dimensional vector space and $Φ$ 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 wei… ▽ More Let $\A$ be a finite dimensional vector space and $Φ$ 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$. △ Less

Submitted 15 November, 2024; originally announced November 2024.

MSC Class: 20F55 (Primary); 51M20; 20E42

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

Authors: Claudio Bravo, Benoit Loisel

Abstract: 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 un… ▽ More 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. △ Less

Submitted 8 August, 2024; v1 submitted 20 July, 2023; originally announced July 2023.

Comments: Comments are welcome

MSC Class: 20G30; 20E45 (primary) 11R58; 20E42 (secondary)

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

Authors: Claudio Bravo, Benoit Loisel

Abstract: 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… ▽ More 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. △ Less

Submitted 5 July, 2023; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: This preprint contains the sections from 1 to 9 of arXiv:2207.06546v3. Section 10 will be extended to a finite set of places in a work in progress

MSC Class: 20G30; 11R58; 20E42 (primary) 14H05; 20H25 (secondary)

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

Authors: Luis Arenas-Carmona, Claudio Bravo, Benoit Loisel, Giancarlo Lucchini Arteche

Abstract: 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 th… ▽ More 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. △ Less

Submitted 23 November, 2021; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: 36 pages. Final version

MSC Class: primary 20E08; 20H25; 14H05; secondary 20J06; 20G30; 11F75

Journal ref: J. Pure Appl. Algebra 226 (2022), 106996

$Λ$-buildings associated to quasi-split groups over $Λ$-valued fields

Authors: Auguste Hébert, Diego Izquierdo, Benoit Loisel

Abstract: Let $\mathbf{G}$ be a quasi-split reductive group and $\mathbb{K}$ be a Henselian field equipped with a valuation $ω:\mathbb{K}^{\times}\rightarrow Λ$, where $Λ$ 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 $Λ$ is a subgroup of $\mathbb{R}$. In this paper, we deal with the general case wh… ▽ More Let $\mathbf{G}$ be a quasi-split reductive group and $\mathbb{K}$ be a Henselian field equipped with a valuation $ω:\mathbb{K}^{\times}\rightarrow Λ$, where $Λ$ 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 $Λ$ is a subgroup of $\mathbb{R}$. In this paper, we deal with the general case where there are no assumptions on $Λ$ and we construct a set on which $\mathbf{G}(\mathbb{K})$ acts. We then prove that it is a $Λ$-building, in the sense of Bennett. △ Less

Submitted 4 February, 2024; v1 submitted 6 January, 2020; originally announced January 2020.

Comments: 137 pages

MSC Class: 20E42; 51E24; 20G15

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

Authors: Benoit Loisel

Abstract: 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) m… ▽ More 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. △ Less

Submitted 20 February, 2017; v1 submitted 9 January, 2017; originally announced January 2017.

On profinite subgroups of an algebraic group over a local field

Authors: Benoit Loisel

Abstract: 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, w… ▽ More 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. △ Less

Submitted 9 October, 2019; v1 submitted 19 July, 2016; originally announced July 2016.

Ricci curvature on polyhedral surfaces via optimal transportation

Authors: Benoît Loisel, Pascal Romon

Abstract: The problem of defining correctly geometric objects such as the curvature is a hard one in discrete geometry. In 2009, Ollivier defined a notion of curvature applicable to a wide category of measured metric spaces, in particular to graphs. He named it coarse Ricci curvature because it coincides, up to some given factor, with the classical Ricci curvature, when the space is a smooth manifold. Lin,… ▽ More The problem of defining correctly geometric objects such as the curvature is a hard one in discrete geometry. In 2009, Ollivier defined a notion of curvature applicable to a wide category of measured metric spaces, in particular to graphs. He named it coarse Ricci curvature because it coincides, up to some given factor, with the classical Ricci curvature, when the space is a smooth manifold. Lin, Lu & Yau, Jost & Liu have used and extended this notion for graphs giving estimates for the curvature and hence the diameter, in terms of the combinatorics. In this paper, we describe a method for computing the coarse Ricci curvature and give sharper results, in the specific but crucial case of polyhedral surfaces. △ Less

Submitted 4 February, 2014; originally announced February 2014.

Journal ref: Axioms 3, 1 (2014) 119-139