设 f: Y→X 是光滑射影代数簇之间的态射且f 诱导 X, Y 的Etale 基本群之间的同构。当 X, Y 是复代数簇时，Malcev（1940）和Grothendieck（1970）分别证明了 f*: DM(X) → DM(Y) 是 X, Y 上D-模范畴之间的范畴等价。与张磊（中山大学珠海分校）合作，我们证明：当 f 是满射时，上述Malcev-Grothendieck 定理对特征 p>0 域上的代数簇 X, Y 也成立。
设 f: Y→X 是光滑射影代数簇之间的态射且f 诱导 X, Y 的Etale 基本群之间的同构。当 X, Y 是复代数簇时，Malcev（1940）和Grothendieck（1970）分别证明了 f*: DM(X) → DM(Y) 是 X, Y 上D-模范畴之间的范畴等价。与张磊（中山大学珠海分校）合作，我们证明：当 f 是满射时，上述Malcev-Grothendieck 定理对特征 p>0 域上的代数簇 X, Y 也成立。
