No Arabic abstract
We construct and study a scheme theoretical version of the Tits vectorial building, relate it to filtrations on fiber functors, and use them to clarify various constructions pertaining to Bruhat-Tits buildings, for which we also provide a Tannakian description.
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.
A cohomology class of a smooth complex variety of dimension $n$ has coniveau $geq c$ if it vanishes in the complement of a closed subvariety of codimension $geq c$, and has strong coniveau $geq c$ if it comes by proper pushforward from the cohomology of a smooth variety of dimension $leq n-c$. We show that these two notions differ in general, both for integral classes on smooth projective varieties and for rational classes on smooth open varieties.
In this article, we show that the Goldman-Iwahori metric on the space of all norms on a fixed vector space satisfies the Helly property for balls. On the non-Archimedean side, we deduce that most classical Bruhat-Tits buildings may be endowed with a natural piecewise $ell^infty$ metric which is injective. We also prove that most classical semisimple groups over non-Archimedean local fields act properly and cocompactly on Helly graphs. This gives another proof of biautomaticity for their uniform lattices. On the Archimedean side, we deduce that most classical symmetric spaces of non-compact type may be endowed with a natural piecewise $ell^infty$ metric which is coarsely Helly. We also prove that most classical semisimple groups over Archimedean local fields act properly and cocompactly on injective metric spaces. The only exception is the special linear group: if $n geq 3$ and $mathbb{K}$ is a local field, we show that $operatorname{SL}(n,mathbb{K})$ does not act properly and coboundedly on an injective metric space.
We attach buildings to modular lattices and use them to develop a metric approach to Harder-Narasimhan filtrations. Switching back to a categorical framework, we establish an abstract numerical criterion for the compatibility of these filtrations with tensor products. We finally verify our criterion in three cases, one of which is new.
We study various triangulated motivic categories and introduce a vast family of aisles (these are certain classes of objects) in them. These aisles are defined in terms of the corresponding motives (or motivic spectra) of smooth varieties in them; we relate them to the corresponding homotopy t-structures. We describe our aisles in terms of stalks at function fields and prove that they widely generalize the ones corresponding to slice filtrations. Further, the filtrations on the homotopy hearts $Ht_{hom}^{eff}$ of the corresponding effective subcategories that are induced by these aisles can be described in terms of (Nisnevich) sheaf cohomology as well as in terms of the Voevodsky contractions $-_{-1}$. Respectively, we express the condition for an object of $Ht_{hom}^{eff}$ to be weakly birational (i.e., that its $n+1$th contraction is trivial or, equivalently, the Nisnevich cohomology vanishes in degrees $>n$ for some $nge 0$) in terms of these aisles; this statement generalizes well-known results of Kahn and Sujatha. Next, these classes define weight structures $w_{Smooth}^{s}$ (where $s=(s_{j})$ are non-decreasing sequences parameterizing our aisles) that vastly generalize the Chow weight structures $w_{Chow}$ defined earlier. Using general abstract nonsense we also construct the corresponding adjacent $t-$structures $t_{Smooth}^{s}$ and prove that they give the birationality filtrations on $Ht^{eff}_{hom}$. Moreover, some of these weight structures induce weight structures on the corresponding $n-$birational motivic categories (these are the localizations by the levels of the slice filtrations). Our results also yield some new unramified cohomology calculations.