{"id":"arxiv/2607.02014","url":"https://arxiv.org/abs/2607.02014","tags":["math.AG"],"score":0,"title":"Comb smoothing and local triviality of homogeneous spaces over a relative curve","domain":"math.AG","source":"arxiv","authors":["Margot Bruneaux","Federico Scavia"],"reviews":0,"subject":"math.AG","summary":"Let $R$ be a Henselian local ring, let $κ$ be the residue field of $R$, let $C$ be a smooth projective curve over $R$ with geometrically connected fibers, let $G$ be a reductive $C$-group with isotrivial radical torus $\\mathrm{rad}(G)$, and let $E\\to C$ be a $G$-torsor. We show that, if either the kernel of the central isogeny $G^{\\mathrm{sc}}\\times_C \\mathrm{rad}(G)\\to G$ is étale over $C$ or $κ$ is large, the Zariski-local triviality of $E_κ\\to C_κ$ implies the Zariski-local triviality of $E\\to C$. We also prove an averaged form of this result, assuming only that $\\mathrm{rad}(G)$ is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-02","reactions":{}}