[论文解读] On the purity conjecture of Nisnevich for torsors under reductive group schemes

Roman Fedorov|arXiv (Cornell University)|Sep 21, 2021

Algebraic Geometry and Number Theory被引用 4

一句话总结

该论文在群概形为拟正则半局部积分环上且包含无限域的条件下，于同调性条件下证明了关于李想群概形主丛的尼兹维奇纯度猜想，表明在 $ R_f $ 上有理平凡的主丛是平凡的。在无同调性假设时，通过仿射格拉斯曼ian构造了反例，并在特征零下为乘法型的交换群概形建立了更高 étale 上同调的类比。

ABSTRACT

Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f otin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme over $R$. Under an isotropy assumption on $\mathbf G$ we show that a $\mathbf G$-torsor over the localization $R_f$ is trivial, provided it is rationally trivial. We show that it is not true without the isotropy assumption. Finally, if $\mathbf G$ is a commutative group scheme of multiplicative type and the regular semilocal ring contains a field of characteristic zero, we prove an analogue of Nisnevich purity conjecture for higher étale cohomology groups. The first statement is derived from its abstract version concerning presheaves of pointed sets satisfying some properties. The counterexample is constructed by providing a torsor over a local family of affine lines that cannot be extended to the family of projective lines. The latter is accomplished using the technique of affine Grassmannians.

研究动机与目标

• 证明关于在包含无限域的拟正则半局部环上李想群概形主丛的尼兹维奇纯度猜想。
• 展示若群概形无同调性假设，该猜想将不成立。
• 将纯度现象推广至特征零下具有乘法型的交换群概形的更高 étale 上同调群。
• 通过点化预层的抽象性质提供一个通用框架以证明主要结果。

提出的方法

• 主要结果通过一个关于点化预层满足特定正合性与扩张性质的抽象纯度准则推导得出。
• 通过证明一个 ${\mathbf{G}}$-主丛在仿射直线的局部族上无法扩张到相应的射影直线，构造了反例。
• 该构造依赖于仿射格拉斯曼ian的几何性质，利用了对一个分裂半单群 $ G $ 的闭嵌入 $ \mathbb{P}^1_k \hookrightarrow \mathrm{Gr}_G $。
• 利用从 $ \mathbb{A}^1_{B'} $ 到 $ \mathrm{Gr}_G $ 的态射无法扩张的性质，来阻碍主丛的扩张。
• 证明利用了在旗簇 $ G/P_\lambda $ 的作用下，非平凡一元特征标轨道包含一个 $ \mathbb{P}^1 $ 的事实。
• 通过将同一框架应用于乘法群概形，建立了上同调类比。

实验结果

研究问题

• RQ1 当 $ R $ 为拟正则半局部积分环且对所有极大理想 $ \mathfrak{m} $ 有 $ f \notin \mathfrak{m}^2 $ 时，$ R_f $ 上的有理平凡 $ \mathbf{G} $-主丛在什么条件下是平凡的？
• RQ2 尼兹维奇纯度猜想是否可能对拟正则半局部环上的非同调李想群概形不成立？
• RQ3 当 $ \mathbf{G} $ 为交换的乘法型群概形且 $ R $ 包含特征零的域时，是否存在更高 étale 上同调群的尼兹维奇纯度的上同调类比？
• RQ4 仿射格拉斯曼ian如何在缺乏同调性时促进非可扩张主丛的构造？

主要发现

• 若 $ \mathbf{G} $ 在 $ R $ 上同调，$ R $ 为包含无限域的拟正则半局部积分环，且对所有极大理想 $ \mathfrak{m} $ 有 $ f \notin \mathfrak{m}^2 $，则 $ R_f $ 上的 $ \mathbf{G} $-主丛若为有理平凡，则是平凡的。
• 若无同调性假设，纯度猜想不成立：通过从 $ \mathbb{A}^1_{B'} $ 到仿射格拉斯曼ian $ \mathrm{Gr}_G $ 的不可扩张态射构造了反例，该态射对应于不可扩张的主丛。
• 对于在包含特征零域的拟正则半局部环上的交换群概形 $ \mathbf{G} $，其乘法型性质在更高 étale 上同调群中存在尼兹维奇纯度的类比。
• 对一个分裂的非平凡半单群 $ G $，在 $ \mathrm{Gr}_G $ 中存在一个闭的 $ \mathbb{P}^1 $-子概形，这对反例的构造至关重要。
• 满足特定扩张与正合性条件的点化预层的抽象框架，使得纯度结果可推广至具体几何设定之外。
• 从 $ \mathbb{A}^1_{B'} $ 到 $ \mathbb{P}^1_{B'} $ 的主丛扩张障碍，源于对应到 $ \mathrm{Gr}_G $ 的态射无法扩张，原因在于特征标轨道的非平凡性。