标题： 特征为正的簇上的形式流形结构 显示英文标题

标题： Formal Manifold Structures on Positive Characteristic Varieties

摘要： 在他的国际数学家大会报告中，沙利文提出了流形概念的 l-进形式化纲领。 在这个纲领中，他声称光滑正特征值簇应携带 l-进形式化流形结构，并且还声称存在 l-进形式化流形结构上的交换化的伽罗瓦对称性。 本文完成了这一纲领，证明了这些断言，并将 l-进形式化流形结构上的交换化伽罗瓦对称性与簇的伽罗瓦对称性联系起来。 同时，我们证明了单连通簇在 l-进意义下是同伦有限的 CW 复形。 显示英文摘要

摘要： In his ICM report, Sullivan proposes the program of l-adic formalization of the concept of manifolds. In this program, he claims that smooth positive characteristic varieties should carry l-adic formal manifold structures. He also claims the existence of an abelianized Galois symmetry on l-adic formal manifold structures. This paper carries out this program, establishes the claims, and relates the abelianized Galois symmetry on l-adic formal manifold structures to the Galois symmetry of varieties. Meanwhile, we prove that simply-connected varieties are homotopically finite CW complexes in the l-adic sense.