arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1003.2571math.AGmath.ACmath.NTmath.RA
收藏

关于混合特征Frobenius可除模的一个注记

A note on Frobenius divided modules in mixed characteristics

Pierre Berthelot

摘要:

如果$X$是特征$p$的理想域上的光滑概型,并且如果$\sD_X$是$X$ [EGAIV]上的微分算子层,则众所周知,给出$\sD_X$在$\sO_X$ -模$\sE$上的作用等价于通过$X$的Frobenius自同态的迭代给出$\sO_X$ -模下降到$\sE$的无穷序列。我们表明,这一结果可以推广到任何无穷小变形$f : X \to S$的光滑态射的特征$p$,赋予Frobenius提升。我们还证明了它扩展到adic形式概形,使得$p$属于定义的理想。在最近的预印本中,dos Santos利用这个结果,通过控制微分伽罗瓦群,将$\sD_X$ -模从特征$p$提升到特征0。

英文摘要:

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving an infinite sequence of $\sO_X$-modules descending $\sE$ via the iterates of the Frobenius endomorphism of $X$. We show that this result can be generalized to any infinitesimal deformation $f : X \to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic formal schemes such that $p$ belongs to an ideal of definition. In a recent preprint, dos Santos used this result to lift $\sD_X$-modules from characteristic $p$ to characteristic 0 with control of the differential Galois group.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑