The equivalence between torus and reductive Grothendieck–Serre injectivity

Let RR be an integral domain with fraction field KK. For a group scheme G{\mathbf G} over RR, write H1(R,G)H^1(R,{\mathbf G}) and H1(K,G)H^1(K,{\mathbf G}) for the corresponding nonabelian cohomology sets.

Torus–reductive injectivity equivalence. The following conditions are equivalent:

  1. Every vector bundle over SpecR\operatorname{Spec} R is trivial, and for every torus T{\mathbf T} the map
H1(R,T)H1(K,T)H^1(R,{\mathbf T})\to H^1(K,{\mathbf T})

has trivial kernel. 2. For every reductive RR-group scheme G{\mathbf G}, the map

H1(R,G)H1(K,G)H^1(R,{\mathbf G})\to H^1(K,{\mathbf G})

has trivial kernel.

This characterizes the Grothendieck–Serre injectivity property for all reductive group schemes in terms of the corresponding property for tori together with triviality of vector bundles. The supplied text does not state whether this equivalence is proved or remains open.

Sources & referencesView supporting material

Primary source

Roman Fedorov, “Generically isotropic reductive group schemes are locally isotropic”, arXiv:2303.05853 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.