The Hyodo-Kato theorem for rational homotopy types (Q2388305)

Let \(A\) be a complete discrete valuation ring with perfect residue field \(k\) and fraction field \(F\). Assume \(\text{char\,}k= p> 0\). Endow \(A\) with the natural log structure \(A\setminus 0\hookrightarrow A\) and let \(X\) be a proper smooth connected fine saturated log scheme over \(A\) with generic fiber \(X_F\) and special fiber \(Y\). If \(A_{\text{cr}}(Y)\) denotes the crystalline rational homotopy type of \(Y\) and \(A_{\text{DR}}(X_F)\) the de Rham rational homotopy type of \(X_F\), then the main result of the paper is the isomorphism \[ A_{\text{DR}}(X_F)\simeq A_{\text{cr}}(Y)\otimes F. \]