直接像II: 收敛F-等晶

本文是致力于等晶直接像的三篇系列文章中的第二篇：这里我们考虑带有Frobenius结构的收敛等晶。设V是一个完备离散赋值环，其剩余域k = V/m的特征为p > 0，分式域K的特征为0。首先，我们刻画了光滑仿射k-概形上的收敛F-等晶。其次，对于完美k，并在详细阐述Teichmüller提升（特别是仿射刚性直线）之后，我们推导出在可提升的正常光滑k-态射下，收敛F-等晶的直接像上Frobenius同构的存在性。