Purity conjecture for reductive groups (Q1759465): Difference between revisions

Let \(\mathcal F\) be a covariant functor from the category of commutative rings to the category of sets. For a domain \(R\) let \(K\) be a quotient field. The property of purity for \(R\) and \(K\) means the following equality: \[ {\bigcap}_{ ht \,{\mathfrak p}=1} \mathrm{Im} [ {\mathcal F}({\mathcal R}_{\mathfrak p})\rightarrow {\mathcal F}(K) ] = Im [ {\mathcal F}({\mathcal R})\rightarrow {\mathcal F}(K) ] \] The author proves this property for the functor \(S \rightarrow H^{1}_{\text{ét}}(S, G)\) where \(G\) is a specific algebraic group over a field \(k\): \(\mathrm{PGL}_{n},\) \(\mathrm{SL}_{1,A},\) \(\mathrm{O}(q),\), \(\mathrm{SO}(q),\) \(\mathrm{Spin}(q)\) and \(\mathrm{SL}_{n}/{{\mu}_{d}}.\) The field \(k\) is assumed to be contained in the domain \(R.\) This answers the problem posed by \textit{J.-L. Colliot-Thélène} and \textit{J.-J. Sansuc} [Math. Ann. 244, 105--134 (1979; Zbl 0418.14016)].