＜概要＞Artin-Schreier DGAとFp unit-root crystal

Fp上のスキームXに対するFp滑らか層とFpunit-root-crystal の圏同値を用いてXの基本群のFp完備化（それはp進完備化にもなる）をArtin-Schreier DGAとよばれる微分次数代数のバー複体によって構成する。