On logarithmic nonabelian Hodge theory of higher level in characteristic \(p\) (Q899683)

Summary: Given a natural number \(m\) and a log smooth integral morphism \(X\to S\) of fine log schemes of characteristic \(p>0\) with a lifting of its Frobenius pull-back \(X'\to S\) modulo \(p^{2}\), we use indexed algebras \({\mathcal A}_{X}^{gp}\), \({\mathcal B}_{X/S}^{(m+1)}\) of \textit{P. Lorenzon} [Manuscr. Math. 101, No. 3, 271--299 (2000; Zbl 0986.14011)] and \textit{C. Montagnon} [Généralisation de la théorie arithmétique des \(D\)-modules à la géométrie logarithmique. Rennes: L'université des Rennes I (PhD thesis) (2002)] and the sheaf \({\mathcal D}_{X/S}^{(m)}\) of log differential operators of level \(m\) of Berthelot-Montagnon to construct an equivalence between the category of certain indexed \({\mathcal A}^{gp}_{X}\)-modules with \({\mathcal D}_{X/S}^{(m)}\)-action and the category of certain indexed \({\mathcal B}_{X/S}^{(m+1)}\)-modules with Higgs field. Our result is regarded as a level \(m\) version of some results of \textit{A. Ogus} and \textit{V. Vologodsky} [Publ. Math., Inst. Hautes Étud. Sci. 106, 1--138 (2007; Zbl 1140.14007)] and \textit{D. Schepler} [``Logarithmic nonabelian Hodge theory in characteristic \(p\)'', Preprint, \url{arXiv:0802.1977}].