Related papers: Cristaux et immeubles

Let $k$ be a perfect field. Assume that the characteristic of $k$ satisfies certain tameness assumptions \eqref{tameness}. Let $\mathcal O_{_n} := k\llbracket z_{_1}, \ldots, z_{_n}\rrbracket$ and set $K_{_n} := \text{Fract}~\cO_{_n}$. Let…

In order to see the behavior of $\imath$canonical bases at $q = \infty$, we introduce the notion of $\imath$crystals associated to an $\imath$quantum group of certain quasi-split type. The theory of $\imath$crystals clarifies why…

We characterize subsets of highest weight $\mathfrak{g}$-crystals that arise as unions of Demazure crystals, for any symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$. We provide a local characterization for these subsets and prove they…

Let $G$ be an adjoint quasi-simple group defined and split over a non-archimedean local field $K$. We prove that the dual of the Steinberg representation of $G$ is isomorphic to a certain space of harmonic cochains on the Bruhat-Tits…

For each reductive algebraic group G we introduce and study unipotent bicrystals which serve as a regular version of birational geometric and unipotent crystals introduced earlier by the authors. The framework of unipotent bicrystals…

Let X be a building of arbitrary type. A compactification $C_r(X)$ of the set Res(X) of spherical residues of X is introduced. We prove that it coincides with the horofunction compactification of Res(X) endowed with a natural combinatorial…

We develop the notion of crystal in the context of derived algebraic geometry, and to connect crystals to more classical objects such as D-modules.

An attempt is made to bring into harmony two of the paradigms commonly used in the theory of continuous distributions of defects. It is shown that the common differential geometric apparatus is provided neatly by the theory of G-structures.…

We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…

A geometrical interpretation of the $G$-structures associated to elastic material bodies is given. In addition, characterizations of their integrability are obtained. Since the lack of integrability is a geometrical measure of the lack of…

Similarly to the theory of crystalline cohomology, we give a local description of a prismatic crystal and its cohomology in terms of a $q$-Higgs module and the associated $q$-Higgs complex on the bounded prismatic envelope of an embedding…

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

For a classical simple algebraic group $G$ we obtain the affirmative answer for the conjecture in [8] that there exists an isomorphism between the geometric crystal on the flag variety and the one on the unipotent subgroup $U^-$.

We extend (scheme-theoretic) Bruhat-Tits theory to quasi-reductive groups i.e. with trivial split unipotent radical over discretely valued henselian non-archimedean fields $K$, whose ring of integers is excellent and residue field is…

A masure (a.k.a affine ordered hovel) I is a generalization of the Bruhat-Tits building that is associated to a split Kac-Moody group G over a non-archimedean local field. This is a union of affine spaces called apartments. When G is a…

Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $\Delta_G$, and one can interpret the geometric realisation $\Delta_G(\mathbb R)$ of $\Delta_G$ in terms of cocharacters of $G$. The aim of this paper is to…

This introductory survey deals with mathematical and physical properties of discrete structures such as point sets and tilings. The emphasis is on proper generalizations of concepts and ideas from classical crystallography. In particular,…

Deformation K-theory associates to each discrete group G a spectrum built from spaces of finite dimensional unitary representations of G. In all known examples, this spectrum is 2-periodic above the rational cohomological dimension of G…

Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…