[论文解读] Etale realization on the A^1-homotopy theory of schemes

Daniel C. Isaksen|ArXiv.org|Jun 19, 2001

Algebraic Geometry and Number Theory参考文献 11被引用 11

一句话总结

本文通过étale实现，建立了一个从更尔-伏沃多斯基金的$Å^1$-同伦类别到pro-空间同伦类的函子，使得正特征情形下可应用同伦论方法。关键贡献在于证明了étale上覆盖下降性，确保与上覆盖展开的一致性，并将解析实现推广至任意域。

ABSTRACT

We compare Friedlander's definition of the etale topological type for simplicial schemes to another definition involving realizations of pro-simplicial sets. This can be expressed as a notion of hypercover descent for etale homotopy. We use this result to construct a homotopy invariant functor from the category of simplicial presheaves on the etale site of schemes over S to the category of pro-spaces. After completing away from the characteristics of the residue fields of S, we get a functor from the Morel-Voevodsky A^1-homotopy category of schemes to the homotopy category of pro-spaces.

研究动机与目标

• 将此前仅限于特征零的解析实现扩展至正特征域上的概形。
• 在étale概形上的单纯预层范畴与pro-空间之间定义一个同伦不变函子，且与$Å^1$-同伦理论相容。
• 建立étale上覆盖下降性：确保étale拓扑类型在上覆盖展开下的一致性。
• 通过取值于pro-空间的函子，为$Å^1$-同伦理论在正特征情形提供可计算的工具。
• 为未来在pro-空间同伦理论中实现稳定化与等变推广奠定基础。

提出的方法

• 使用pro-单纯集合定义概形的étale拓扑类型，推广弗里德兰德对单纯概形的定义。
• 构造从étale概形上的单纯预层范畴到pro-空间的左Quillen函子，确保同伦不变性。
• 证明étale上覆盖下降性：对任意étale上覆盖$U\to X$，其对应的单纯pro-空间$n\to \text{Et}U_n$的实现与$\text{Et}X$弱同伦等价。
• 利用刚性覆盖与共终函子分析pro-空间范畴中上覆盖展开及其拉回。
• 引入$n$-截断实现以逼近完整实现，并分析同伦群在维度$<n$以内的性质。
• 利用pro-空间设定中$\text{sk}_n$、$\text{cosk}_n$与实现函子之间的伴随关系，比较截断实现与完整实现。

实验结果

研究问题

• RQ1 能否利用étale拓扑类型在任意域上定义从$Å^1$-同伦理论到pro-空间的同伦不变函子？
• RQ2 弗里德兰德对单纯概形的étale拓扑类型是否与该单纯pro-空间的内部实现弱同伦等价？
• RQ3 étale拓扑类型是否满足上覆盖下降性，即对任意étale上覆盖$U\to X$，是否有$\text{Re}(n\mapsto \text{Et}U_n) \simeq \text{Et}X$？
• RQ4 在pro-空间设定中，$n$-截断实现能否在同伦群维度$<n$内逼近完整实现？
• RQ5 该构造对稳定$Å^1$-同伦理论与等变pro-空间同伦理论的奠基性意义为何？

主要发现

• étale拓扑类型满足上覆盖下降性：对任意étale上覆盖$U\to X$，自然映射$\text{Re}(n\mapsto \text{Et}U_n)\to \text{Et}X$是pro-空间之间的弱同伦等价。
• $n$-截断实现$\text{Re}_nX$对所有$i < n$，在$X$为pro-空间中的单纯对象时，诱导同伦pro-群$\pi_i$的同构。
• 该构造产生一个从étale概形上的单纯预层范畴到pro-空间的左Quillen函子，从而在同伦范畴上诱导出一个良定义的函子。
• 在远离$S$的剩余特征完成之后，该函子可提升为从Morel-Voevodsky的$Å^1$-同伦范畴到pro-空间同伦范畴的同伦不变函子。
• 实现函子为正特征情形下的$Å^1$-同伦理论提供了可计算工具，而在此情形下解析实现会失效。
• 结果表明存在通往稳定化与等变推广的路径，但关于pro-谱的基础工作尚不完整。