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.
ρ πu = ρ π exp(log(u)N), u ∈ A ∗ 62COROLLARY 5.2For X/S proper (<strong>and</strong> semistable), ρ π inducesan isomorphism :ρ π : K ⊗ W H m ((Y, M Y )/(W, W (L))∼ −→ H m dR (X K/K)(gives (K 0 , ϕ, N) structure on H m dR (X K/K))Remarks(a) 5.1 valid for X/S log smooth, Cartier type(b) ρ π <strong>de</strong>pends on π :