I had a question regarding Gabber's rigidity.

Let $A$ be a ring (let's assume Noetherian) and $I$ be an ideal, since the pair $(\hat{A},I)$ is a henselian pair ($\hat{A}$ is the completion along $I$), Gabber's rigidity in algebraic $K$-theory for henselian pairs implies that $K_*(A/I, \mathbb{Z}/l\mathbb{Z})\simeq K_*(\hat{A}, \mathbb{Z}/l\mathbb{Z})$. Here algebraic $K$-theory of the completion is taken in the sense that $\hat{A}$ is just a Noetherian ring and we can construct $BGL(\hat{A})^+$ just as we can do for any ring i.e. the $K$-theory of finitely generated projective modules on $\hat{A}$. There is another way to define $K$-theory and that is to take the $K$-theory of formal vector bundles on $\hat{A}$, which means a system of vector bundles on all finite thickenings of $I$ with compatibility conditions under pullbacks. These two probably are the same. (There is an equivalence between the formal vector bundles and $\hat{A}$ bundles given by taking limit and restriction to infinitesimal neighborhoods.)

Q) My question is about whether there is a global version of this rigidity in the setting of formal completions or not?

Let's assume we have Noetherian schemes $X$ and a closed subscheme $Z$ and we are looking at the formal completion $X_Z$. Since we are dealing with formal schemes it makes sense to consider formal vector bundles and compare its $K$-theory with the $K$-theory of $Z$ with coefficient in $\mathbb{Z}/l\mathbb{Z}$. One question is whether there is a Zariski descent for formal schemes with finite coefficients? if so that would imply $K_*(X_Z,\mathbb{Z}/l)\simeq K_*(Z, \mathbb{Z}/l) $. Or there could be possibly a different approach. This could also be wrong in the global case, which I'd like to know some examples.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.