Related papers: Cristaux et immeubles

For a $p$-divisible group $G$ over a smooth projective variety $X$ over $k$, where $k$ is a field finitely generated over a perfect field of characteristic $p$, we show that the formal group $R^i f_{\fppf*} G$ is isogenous to a…

Let $G$ be a connected reductive group over $\CC$ and let $G^{\vee}$ be the Langlands dual group. Crystals for $G^{\vee}$ were introduced by Kashiwara as certain ``combinatorial skeletons'' of finite-dimensional representations of…

Let $G$ be a higher-rank semisimple Lie group over a nonarchimedean local field, for example $G={\rm PGL}(n,Q_P)$. To any lattice $L$ in $G$ there is an associated simplicial complex $B_L$, given by the quotient by $L$ of the Bruhat-Tits…

Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r…

A building is a simplicial complex with a covering by Coxeter complexes (called apartments) satisfying certain combinatorial conditions. A building whose apartments are spherical (respectively Euclidean) Coxeter complexes has a natural…

A closed subgroup $H$ of a connected reductive group $G$ is called $\textit{spherical}$ if a Borel subgroup in $G$ has an open orbit on $G/H$. We give a combinatorial characterization for a spherical subgroup to be contained in another one…

We introduce and study a family of countable groups constructed from Euclidean buildings by "removing" suitably chosen subsets of chambers.

Let $(U, R)$ be an approximation space with $U$ being non-empty set and $R$ being an equivalence relation on $U$, and let $\overline{G}$ and $\underline{G}$ be the upper approximation and the lower approximation of subset $G$ of $U$. A…

Following an idea of A. Berenstein, we define a commutor for the category of crystals of a finite dimensional complex reductive Lie algebra. We show that this endows the category of crystals with the structure of a coboundary category.…

We call a non-discrete Euclidean building a Bruhat-Tits space if its automorphism group contains a subgroup that induces the subgroup generated by all the root groups of a root datum of the building at infinity. This is the class of…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

For an arbitrary non-archimedean local field we classify reductive group schemes over the corresponding Fargues-Fontaine curve by group schemes over the category of isocrystals. We then classify torsors under such reductive group schemes by…

Let $\mathcal{G}$ be a split reductive $p$-adic group with connected centre. We show that each Bernstein block in the principal series of $\mathcal{G}$ admits a definite geometric structure, namely that of an extended quotient. For the…

We consider residue structures $R/G$ where $(G,+)$ is an additive subgroup of a ring $(R,+,\cdot)$, not necessarily an ideal. Special instances include Krasner's construction of quotient hyperfields, and Pumpluen's construction of…

Reductive (or semisimple) algebraic groups, Lie groups and Lie algebras have a rich geometry determined by their parabolic subgroups and subalgebras, which carry the structure of a building in the sense of J. Tits. We present herein an…

Category Theory provides us with a clear notion of what is an internal structure. This will allow us to focus our attention on a certain type of relationship between context and structure.

Suppose $k$ is a nonarchimedean local field, $K$ is a maximally unramified extension of $k$, and $\mathbf{G}$ is a connected reductive $k$-group. In this paper we provide parameterizations via Bruhat-Tits theory of: the rational conjugacy…

A connected reductive group G over a field k may be written as a quotient H/S, where the k-group H is an extension of a quasitrivial torus by a simply connected semisimple group, and S is a flasque k-torus, central in H (a flasque torus is…

Let G be the homeomorphism group of a dendrite. We study the normal subgroups of G. For instance, there are uncountably many non-isomorphic such groups G that are simple groups. Moreover, these groups can be chosen so that any isometric…

We define geometric crystals and unipotent crystals for arbitrary Kac-Moody groups and describe geometric and unipotent crystal structures on the Schubert varieties.