Given an adjoint semisimple group $G$ over a local field $k$, we prove that the maximal Satake-Berkovich compactification of the Bruhat-Tits building of $G$ can be identified with the one obtained by embedding the building into the Berkovich analytification of the wonderful compactification of $G$, extending previous results of Rémy, Thuillier and Werner. In the process, we use the characterisation of the wonderful compactification in terms of Hilbert schemes given by Brion to extend the definition of the wonderful compactification to the case of a non-necessarily split adjoint semisimple group over an arbitrary field and investigate some of its properties pertaining to rational points on the boundary.
Lastly, given a finite possibly ramified Galois extension $k'/k$, we take a look at the action of the Galois group on the maximal compactification of the building of $G$ over $k'$ and check that the Galois-fixed points are precisely the limits of sequences of fixed points in the building over $k'$, though they may not lie in the Satake-Berkovich compactification of $G$ over $k$.
This paper provides an overview of the theory of Bruhat-Tits buildings. Besides, we explain how Bruhat-Tits buildings can be realized inside Berkovich spaces. In this way, Berkovich analytic geometry canbe used to compactify buildings. We discuss in detail the example of the special linear group. Moreover, we give an intrinsic description of Bruhat-Tits buildings in the framework of non-Archimedean analytic geometry.
We construct a compactification of the Bruhat-Tits building associated to the group PGL(V) which can be identified with the space of homothety classes of seminorms on V endowed with the topology of pointwise convergence. Then we define a continuous map from the projective space to this compactification which extends the reduction map from Drinfeld's p-adic symmetric domain to the building.
We relate some features of Bruhat-Tits buildings and their compactifications to tropical geometry. If G is a semisimple group over a suitable non-Archimedean field, the stabilizers of points in the Bruhat-Tits building of G and in some of its compactifications are described by tropical linear algebra. The compactifications we consider arise from algebraic representations of G. We show that the fan which is used to compactify an apartment in this theory is given by the weight polytope of the representation and that it is related to the tropicalization of the hypersurface given by the character …
Given a semisimple group over a complete non-Archimedean field, it is well known that techniques from non-Archimedean analytic geometry provide an embedding of the corresponding Bruhat-Tits builidng into the analytic space associated to the group; by composing the embedding with maps to suitable analytic proper spaces, this eventually leads to various compactifications of the building. In the present paper, we give an intrinsic characterization of this embedding.
In this note we make a universal construction of Bruhat-Tits group scheme on wonderful embeddings of adjoint groups in the absolute and relative settings and of adjoint Kac-Moody groups. These have natural classifying properties reflecting the orbit structure on the wonderful embeddings.
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…
Consider matrices of order $k+N$ over $p$-adic field determined up to conjugations by elements of $GL$ over $p$-adic integers. We define a product of such conjugacy classes and construct the analog of characteristic functions (transfer functions), they are maps from Bruhat-Tits trees to Bruhat-Tits buildings. We also examine categorical quotient for usual operator colligations.
A stratified manifold has a Bruhat atlas on it if it can be covered with open charts such that each chart is stratified-isomorphic to an (opposite) Bruhat cell in a (usually Kac-Moody) flag manifold. In this paper, we construct an anticanonical stratification on the wonderful compactification of the symmetric space $PSO(2n)/SO(2n-1)$ and show that the open charts are isomorphic to certain (opposite) Bruhat cells in the type $D_{n+1}$ flag manifold.
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 perfect, building on Bruhat-Tits I et II and the classification of pseudo-reductive groups by Conrad-Gabber-Prasad. The buildings had been constructed previously by Solleveld in a different manner, but they ultimately coincide with ours. We were motivated by the geometry of affine Grassmannians and give some applications at the end (compare also with previously su…
We construct a compactification of the Bruhat-Tits building associated to the group PGL(V) by attaching all the Bruhat-Tits buildings of PGL(W) for non-trivial subspaces W of V as a boundary.
In our previous paper "Bruhat-Tits theory from Berkovich's point of view. I ? Realizations and compactifications of buildings", we investigated realizations of the Bruhat-Tits building B(G,k) of a connected and reductive linear algebraic group G over a non-Archimedean field k in the framework of Berkovich's non-Archimedean analytic geometry, and we studied in detail the compactifications of the building which arise from this point of view. In this paper, we give a representation theoretic flavor to these compactifications, following Satake's original constructions for Riemannian symmetric spac…
In a Bruhat-Tits building of split classical type (that is, of type $A_n$, $B_n$, $C_n$, $D_n$, and any combination of them) over a local field, the simplicial volume counts the vertices within the given simplicial distance from a special vertex. This paper aims to study the asymptotic growth of the simplicial volume. A formula of the simplicial volume is deduced from the theory of concave functions. Then the dominant term in its asymptotic growth is found using the theory of $q$-exponential polynomials developed in this paper.
Let $X$ be a smooth projective curve over the complex numbers. We compute the Brauer group of the moduli stack of Bruhat-Tits group scheme $\mathcal{G}$-torsors on $X$. When $g(X) \geq 3$ we compute the Brauer group of the regularly stable locus of the coarse moduli space of semi-stable $\mathcal{G}$-torsors.
Let G be a connected semisimple group over a non-Archimedean local field. For every faithful, geometrically irreducible linear representation of G we define a compactification of the associated Bruhat-Tits building X(G). This yields a finite family of compactifications of X(G) which contains the polyhedral compactification. Moreover, this family can be regarded as a non-Archimedean analogue of Satake compactifications for symmetric spaces.
In this note we study the special fiber of the Rapoport-Zink space attached to a quaternionic unitary group. The special fiber is described using the so called Bruhat-Tits stratification and is intimately related to the Bruhat-Tits building of a split symplectic group. As an application we describe the supersingular locus of the related Shimura variety.
Given a quasi-reductive group $G$ over a local field $k$, using Berkovich geometry, we exhibit a family of $G(k)$-equivariant compactifications of the Bruhat-Tits building $\mathcal B(G, k)$, constructed and investigated by Solleveld and Lourenço. The compactification procedure consists in mapping the building in the analytification $G^{\mathrm{an}}$ of $G$, then composing this map with the projections from $G^{\mathrm{an}}$ to its (in general non-compact) pseudo-flag varieties $(G/P)^{\mathrm{an}}$, for $P$ ranging among the pseudo-parabolic subgroups of $G$. This generalises previous constru…
We describe the stabilizers of points in the Bruhat-Tits building of the group SL with tropical geometry. There are several compactifications of this building associated to algebraic representations of SL. We show that the fans used to compactify apartments in this theory are given by tropical Schur polynomials.
Inspired by Manin's approach towards a geometric interpretation of Arakelov theory at infinity, we interpret in this paper non-Archimedean local intersection numbers of linear cycles in $P^{n-1}$ with the combinatorial geometry of the Bruhat-Tits building associated to PGL(n).
Let $k$ be a complete non-archimedean field (non trivially valued). Given a reductive $k$-group $G$, we prove that hyperspecial subgroups of $G(k)$ (i.e. those arising from reductive models of $G$) are maximal among bounded subgroups. The originality resides in the argument: it is inspired by the case of $\textrm{GL}_n$ and avoids all considerations on the Bruhat-Tits building of $G$.
This work introduces author's theory of Bruhat-Tits buildings over higher dimensional local fields. The theory is illustrated with the buildings for PGL(2) and PGL(3) for one- and two-dimensional local fields.
Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a Bruhat-Tits group scheme on $X$ which is generically semi-simple and trivial. We show that the étale fundamental group of the moduli stack $\mathcal{M}_X(\mathcal{G})$ of torsors under $\mathcal{G}$ is isomorphic to that of the moduli stack $\mathcal{M}_X(G)$ of principal $G$-bundles. For any smooth, noetherian and irreducible stack $\mathcal{X}$, we show that an inclusion of an open substack $\mathcal{X}^\circ$, whose complement has codimension at least two, will induce an isomorphism of étale …
In [Inventiones mathematicae, 184 (2011)], Vollaard and Wedhorn defined a stratification on the special fiber of the unitary unramified PEL Rapoport-Zink space with signature $(1,n-1)$. They constructed an isomorphism between the closure of a stratum, called a closed Bruhat-Tits stratum, and a Deligne-Lusztig variety which is not of classical type. In this paper, we describe the $\ell$-adic cohomology groups over $\overline{\mathbb Q_{\ell}}$ of these Deligne-Lusztig varieties, where $\ell \not = p$. The computations involve the spectral sequence associated to the Ekedahl-Oort stratification o…
We define and study a simplicial complex which is a homogeneous space for the group $PGL(2, K)$ over a two-dimensional local field $K$. The complex is a generalization of the tree studied by F. Bruhat, J. Tits, J.-P. Serre and P. Cartier in the 60's and early 70's. Such complex can be canonically attached to the triples $x \in C \subset X$ where $X$ is an algebraic surface, $C$ is an irreducible curve and $x$ is a smooth point on $C$ and $X$. This construction can be used for a description of the isomorphism set of vector bundles on $X$.
One of the goals of this article is to describe the isomorphism between Lubin-Tate and Drinfeld towers at the level of their skeletons after taking quotient by $\GL_n (Ø_F)\times Ø_D^\times$ or $I\timesØ_D^\times$ where $Ø_D$ is the maximal order in the division algebra with invariant $\frac{1}{n}$ over $F$ and $I$ a Iwahori subgroup of $\GL_n$. We give applications to the theory of canonical subgroups on Lubin-Tate spaces, the description of spherical Hecke orbits in those spaces, fundamental domains for Hecke correspondences and the Gross-Hopkins period mapping. We also study in details the …
We apply the theory of fundamental strata of Bremer and Sage to find cohomologically rigid $G$-connections on the projective line, generalising the work of Frenkel and Gross. In this theory, one studies the leading term of a formal connection with respect to the Moy-Prasad filtration associated to a point in the Bruhat-Tits building. If the leading term is regular semisimple with centraliser a (not necessarily split) maximal torus $S$, then we have an $S$-toral connection. In this language, the irregular singularity of the Frenkel-Gross connection gives rise to the homogenous toral connection …
We study for each fixed integer $g \ge 2$, for all primes $\ell$ and $p$ with $\ell \neq p$, finite regular directed graphs associated with the set of equivalence classes of $\ell$-marked principally polarized superspecial abelian varieties of dimension $g$ in characteristic $p$, and show that the adjacency matrices have real eigenvalues with spectral gaps independent of $p$. This implies a rapid mixing property of natural random walks on the family of isogeny graphs beyond the elliptic curve case and suggests a potential construction of the Charles-Goren-Lauter type cryptographic hash functio…
A quotient of the Bruhat-Tits building classifying maximal matrix orders over curves
Universidad de Chile, Facultad de Ciencias（智利大学理学院）；Universidad de Talca, Instituto de Matemáticas（塔尔卡大学数学研究所）；Facultad de Ingeniería y Ciencias, Universidad Diego Portales（迭戈·波特莱斯大学工程与理学院）
We study the prime-to-$p$ Hecke action on the projective limit of the sets of connected components of Shimura varieties with fixed parahoric or Bruhat--Tits level at $p$. In particular, we construct infinitely many Shimura varieties for CM unitary groups in odd variables for which the considering actions are not transitive. We prove this result by giving negative examples on the question of Bruhat--Colliot-Thélène--Sansuc--Tits or its variant, which is related to the weak approximation on tori over $\mathbb{Q}$.
We study the action on the Bruhat-Tits tree of unit groups of maximal orders in certain quaternion algebras over $\mathbb{F}_q(T)$ and discuss applications to arithmetic geometry and group theory.
A Mustafin variety is a degeneration of projective space induced by a point configuration in a Bruhat-Tits building. The special fiber is reduced and Cohen-Macaulay, and its irreducible components form interesting combinatorial patterns. For configurations that lie in one apartment, these patterns are regular mixed subdivisions of scaled simplices, and the Mustafin variety is a twisted Veronese variety built from such a subdivision. This connects our study to tropical and toric geometry. For general configurations, the irreducible components of the special fiber are rational varieties, and any…
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.
Let G be a semisimple quasi-split group defined over a global function field. We express the relative Tamagawa number of G in terms of local data including the number of types of special vertices in one orbit of the Bruhat-Tits building over some completion with respect to a place and the class number of G at that place.
For a reductive group scheme $G$ over a semilocal Dedekind ring $R$ with total ring of fractions $K$, we prove that no nontrivial $G$-torsor trivializes over $K$. This generalizes a result of Nisnevich-Tits, who settled the case when $R$ is local. Their result, in turn, is a special case of a conjecture of Grothendieck-Serre that predicts the same over any regular local ring. With a patching technique and weak approximation in the style of Harder, we reduce to the case when $R$ is a complete discrete valuation ring. Afterwards, we consider Levi subgroups to reduce to the case when $G$ is semis…
We define parahoric $\cG$--torsors for certain Bruhat--Tits group scheme $\cG$ on a smooth complex projective curve $X$ when the weights are real, and also define connections on them. We prove that a $\cG$--torsor is given by a homomorphism from $π_1(X\setminus D)$ to a maximal compact subgroup of $G$, where $D\, \subset\, X$ is the parabolic divisor, if and only if the torsor is polystable.
