2
$\begingroup$

My question is motivated by the following observations. Let $\mathrm{T}$ be a torus defined over a $p$-adic field $K$, then by theories of tori, we have it is uniquely determined by a free $\mathbb{Z}$-module with continuous $\mathrm{Gal}(K^{s}/K)$ where $K^s$ is the separable closure of $K$. And the $\mathbb{Z}$-module comes from taking the character lattice of $T_{K^s}$. In this case, if $\mathrm{T}$ splits over an unramified extension, then the $Gal(K^{s}/K)$ action factor through $\mathrm{Gal}(K^{ur}/K)$. On the other hand, I learned from Conrad's Luminy notes that the category of tori $\mathscr{T}$ defined over $\mathscr{O}_K$ is anti-equivalence to the category of $\pi_1(\mathscr{O}_K, \bar{\eta})$-modules. The functor is given by $\mathrm{Hom}(\mathscr{T},\mathbb{G}_m)_{\bar{\eta}}$, cf., Cor B.3.6 of http://math.stanford.edu/~conrad/papers/luminysga3smf.pdf. Here $\eta$ is the generic point of $\mathscr{O}_K$. If I understand this theorem correctly, this tells us {$\mathscr{T}$} are anti-equivalence to those free $\mathbb{Z}$-modules with $\mathrm{Gal}(K^{ur}/K)$ actions. So from the above discussions, we have every unramified torus $\mathrm{T}$ defined over a $p$-adic field has a natural smooth integral model $\mathscr{T}$ defined over $\mathscr{O}_K$. My question is:

1) If my arguments are correct, what the relation of $\mathscr{T}$ and the (connected) Néron-Raynaud module of $\mathrm{T}$.

2) Can we construct the integral smooth model of an unramified reductive group similarly? i.e., can we prove they are all equivalent to some combinatorial datum with Galois actions? Does this mean we can avoid using Bruhat-Tits theory in the unramified case? And if we can construct such an integral smooth model what's the relation with those constructed by Bruhat and Tits?

$\endgroup$
6
  • $\begingroup$ For #1, the formation of the Neron-Raynaud model of tori commutes with unramified base change (10.1/3 in Neron Models), so to check if the canonical map $\mathscr{T} \to N(T)$ to the Neron-Raynaud model is an isomorphism onto the open relative identity component make an unramified base change to reduce to the case when $T$ is split. Then reduce to the case $T=\mathbf{G}_m$, which is easy to check directly from the construction of $N(\mathbf{G}_m)$ (10.1/5 in Neron Models). For #2, with paraphrase Bill Clinton, please define "the" in the first sentence (and "avoid" for what purpose?). $\endgroup$
    – nfdc23
    Commented Oct 3, 2017 at 19:33
  • $\begingroup$ @nfdc23, thanks for your answer and the reference for #1. For #2, the group scheme in my mind is the Bruhat-Tits group scheme with the $\mathscr{O}_K$ points the hyperspecial maximal compact subgroup of $\mathrm{G}$. The reason why I made a guess is: *a): If $\mathrm{G}/K$ is split, then $\mathscr{G}_x$ for a special point $x$ is the Chevalley group schemes of $\mathrm{G}$. cf., 3.4.2 of Tits' in Corvallis. And I know, the construction of the Chevalley group schemes comes from the root datum of $\mathrm{G}$. And in this case no Galois action. $\endgroup$
    – Mayday
    Commented Oct 3, 2017 at 20:53
  • $\begingroup$ *b): In Chapter 2 of Landvogt's book in LNM, he defines, for a quasi-split reductive group $\mathrm{G}/K$, a connected smooth affine group scheme $\mathscr{G}_{\Omega}$ over $\mathscr{O}_K$ such that the $\mathscr{O}_K$ point of $\mathscr{G}$ is the stabilizer of the bounded subset $\Omega$ in an apartment of the building under the action of $\mathrm{G}$. The construction he used is that he constructs the integral model of the maximal torus and the root groups(regarding $\Omega$) first and then glue them with $\mathrm{G}$. The integral model of torus he used is simply the connected NR model. $\endgroup$
    – Mayday
    Commented Oct 3, 2017 at 20:55
  • $\begingroup$ *c): And I just remember that Bruhat-Tits theory is good-behavior under \'etale descent (even though I don't know what this means explicitly), so according to a), we should have a construction of $\mathscr{G}_x$ independent of the Bruhat-Tits theory.\\ The reason of "avoid" is each time I want to explain the hyperspecial maximal compact subgroup of an unramified reductive group, I go through those I learned from Tits and Landvogt to define $\mathscr{G}_x$ and this is never a satisfactory answer. I expect there is an explanation of this just within the knowledge of reductive groups. $\endgroup$
    – Mayday
    Commented Oct 3, 2017 at 20:57
  • $\begingroup$ There is no interesting theory of Neron models for connected reductive groups that aren't tori because by 10.1/8 of Neron models a smooth affine $K$-group admitting an lft Neron model cannot contain $\mathbf{G}_a$ as a $K$-subgroup (which forces the derived group to be $K$-anisotropic in the connected reductive case). As noted in Theorem 7.2.16 of Conrad's article, one can use the SGA3-style methods to show a reductive $O_K$-model is unique up to isomorphism if it exists, but there are lots of $K$-automorphisms that don't come from $O_K$-automorphisms of a chosen such $O_K$-model. $\endgroup$
    – nfdc23
    Commented Oct 4, 2017 at 0:37

0

You must log in to answer this question.

Browse other questions tagged .