[论文解读] Hypersurfaces quartiques de dimension 3 : non rationalit\'e stable

Jean-Louis Colliot-Thélène, Alena Pirutka|arXiv (Cornell University)|Feb 17, 2014

Geometric Analysis and Curvature Flows被引用 95

一句话总结

该论文通过扩展和改进C. Voisin的专门化方法，允许总空间存在奇点，并放宽了对解析中例外除子的条件，证明了复数域上非常一般的光滑四次三复形不是稳定有理的。关键结果是这些三复形的零次Chow群并非与Z普遍同构，从而证明了其稳定非有理性和通过专门化论证在数域上构造出的示例。

ABSTRACT

Inspir\'es par un argument de C. Voisin, nous montrons l'existence d'hypersurfaces quartiques lisses dans ${\bf P}^4_{\mathbb C}$ qui ne sont pas stablement rationnelles, plus pr\'ecis\'ement dont le groupe de Chow de degr\'e z\'ero n'est pas universellement \'egal \`a $\mathbb Z$. --- There are (many) smooth quartic hypersurfaces in ${\bf P}^4_{\mathbb C}$ which are not stably rational. More precisely, their degree zero Chow group is not universally equal to $\mathbb Z$. The proof uses a variation of a specialisation method due to C. Voisin.

研究动机与目标

• 证明在P^4中的非常一般的光滑四次三复形在复数域上不是稳定有理的。
• 将C. Voisin的专门化方法扩展至允许总空间存在奇点，并放宽对解析中例外除子的条件。
• 通过专门化构造出在数域上定义的非稳定有理四次三复形示例。
• 证明此类三复形的零次Chow群并非与Z普遍同构。
• 为某些三次三复形建立在p进域和数域上的非稳定有理性。

提出的方法

• 通过放松一族三复形总空间的光滑性假设，改进Voisin的专门化论证。
• 在温和假设下，使用Fulton的Chow群零循环的专门化同态。
• 构造一个与Artin-Mumford三复形双有理等价的奇异四次三复形Y，其解析Z →Y满足关键的上同调条件。
• 应用专门化论证，若一般纤维是稳定有理的，则H^3(Z, Z) tors将消失，与Artin-Mumford的结果矛盾。
• 采用普遍CH0-平凡性的概念，将稳定有理性与零循环Chow群的结构联系起来。
• 利用Galois上同调和Brauer群计算（通过循环代数）检测H^3中的非平凡挠子群，尤其在k-有理点和下降的背景下。

实验结果

研究问题

• RQ1 在复数域上，P^4中的非常一般的光滑四次三复形是否为稳定有理的？
• RQ2 Voisin的专门化方法能否扩展至奇点总空间和更弱的例外除子条件？
• RQ3 是否存在在数域上定义的非稳定有理四次三复形？
• RQ4 非常一般四次三复形的零次Chow群是否与Z普遍同构？
• RQ5 专门化方法能否检测在p进域或数域上的三次三复形的非稳定有理性？

主要发现

• 存在复数域上的光滑四次三复形不是稳定有理的，因为其零次Chow群并非与Z普遍同构。
• 专门化论证给出了在Q代数闭包上定义的非稳定有理四次三复形的示例。
• 该方法可用于构造在p进域和数域上定义的非稳定有理三次三复形。
• 奇异模型函数域中存在非平凡Brauer群元素，意味着其解析具有非平凡的H^3挠子群，从而阻碍稳定有理性。
• 专门化论证表明，若一族三复形的特殊纤维为Artin-Mumford型，则其一般纤维不可能是稳定有理的，因为其解析的H^3中挠子群非零。
• 本文构造了一个奇异四次三复形Y及其解析Z →Y，使得H^4(Z, Z) tors ≠ 0，满足专门化论证应用的必要条件。