p-adic Geometry and Homotopy Theory - Département de ...
p-adic Geometry and Homotopy Theory - Département de ...
p-adic Geometry and Homotopy Theory - Département de ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(X, M)/(s, L) : fine log scheme, log smooth <strong>and</strong> Cartiertype /(s, L)Cartier type (= integral, relative Frobenius exact)ensures the existence of Cartier isomorphism :C −1 : Ω q (X,M) ′ /(s,L)∼−→ F ∗ H q (Ω·(X,M)/(s,L) )(F : (X, M) → ((X, M) ′ = (s, L) × (s,L) (X, M) relativeFrobenius) ,C −1 : a ↦→ F ∗ a, dlog b ↦→ dlog b47