{"entities":{"Q4221998":{"pageid":6251599,"ns":120,"title":"Item:Q4221998","lastrevid":108405719,"modified":"2026-11-06T07:41:20Z","type":"item","id":"Q4221998","labels":{"en":{"language":"en","value":"Integral crystalline cohomology over very ramified valuation rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1229029"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$565ACD5C-998C-48A9-A693-567ED6855C8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a02d8f0f4e6b2f2b8a48d9a19fae8c80b2207b5","datavalue":{"value":{"text":"Integral crystalline cohomology over very ramified valuation rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4221998$E82B07EC-7B25-40C0-8A39-7E883BEC363F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ad036707844574fdd6bb82276c260f9bf07b2fc","datavalue":{"value":"0914.14009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221998$21CC61C3-7EFA-4C2C-8493-0097C04317AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fa674d8b8091661cdd37d8ac106adc874783d31","datavalue":{"value":"10.1090/S0894-0347-99-00273-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221998$96F48B38-7E58-492F-AC35-DA9C06A19416","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0739e5349975c4111ea4ec91f3592e78d78323f6","datavalue":{"value":{"entity-type":"item","numeric-id":2701699,"id":"Q2701699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$47BEBD8F-D375-44C8-8BC6-EF326407E3B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65eef03691321bd10012d5ce599a1fd5fff18a27","datavalue":{"value":{"time":"+1998-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4221998$21F0CEC5-56FB-4071-A6AD-836783E7BA2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221998$D4BD741C-8F94-491D-B26C-2EBCD838594B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221998$8192D1E2-BB7A-499C-9AEB-5B9044366C2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13abf736c8e357bcc23853de3a6ae057e9547058","datavalue":{"value":"1229029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221998$1D22CBF5-CE67-4C29-A882-2E55C848045A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c13dc9221a578a3f1dbce7de7db17d314fef5b","datavalue":{"value":"comparison theory for \\(p\\)-adic \u00e9tale cohomology and crystalline cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221998$AC870490-FD0E-4736-87FB-CFD86AF51D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fdc3a199fa12dce17aac66c893d916ff03de56a","datavalue":{"value":"characteristic \\(p\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221998$A129640F-B9B4-4066-8255-1FC212D33B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894f145a8dec98157fccfbb03c092f851422cedf","datavalue":{"value":"\\(p\\)-divisible groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221998$1466A6CF-2921-477C-8F58-5EE194C5FE4E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$4A0AB084-68FE-4B22-8AD3-3E3D76D1BADE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"debf8c29b43ec61022715495da6b1e2000fae350","datavalue":{"value":{"entity-type":"item","numeric-id":1214467,"id":"Q1214467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$89E6538D-31E9-4284-8ABF-024385FF4DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1a7bdf5cd7c8162a0f706f3215799b80d19ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3972722,"id":"Q3972722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$F8C11A55-2783-4D4F-A6E5-CBA257A5040E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89998e9972935ff06b71c3a4f34f20c5eefdf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":1052417,"id":"Q1052417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$092663B6-F75B-40A6-849A-6C8247CE2B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bece25834fa2c161924a02de306f1261b49f4462","datavalue":{"value":{"entity-type":"item","numeric-id":4711334,"id":"Q4711334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$47E49A7B-9D6C-40F0-8DCE-A20F4490218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7857929f24c6379e1f240f3a6ba31d68625ef05a","datavalue":{"value":{"entity-type":"item","numeric-id":4027533,"id":"Q4027533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$AAB5DCFF-AEEF-4CC3-B73F-5D7830BE5C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25972f31b377ffac9680f2083ec290a63acb197","datavalue":{"value":{"entity-type":"item","numeric-id":3972740,"id":"Q3972740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$6297EA55-8BE2-4476-BCE9-DF638D65AE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51f0a6834ec571cd0d430fa64a4f1f654ff4a16","datavalue":{"value":{"entity-type":"item","numeric-id":1103689,"id":"Q1103689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$BB816430-58E7-4122-9E16-CB29FCFBBBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23c85a4a2d387f9e92133c183fe34d61ea1c455","datavalue":{"value":{"entity-type":"item","numeric-id":3866210,"id":"Q3866210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$589EFC8C-A1C9-4FE4-BC79-CFEB0DD8FB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8923172913a369f1696a5f01954a10c89835ded8","datavalue":{"value":{"entity-type":"item","numeric-id":796599,"id":"Q796599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$3DF20EBB-D65B-42E8-AB74-266C700633F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2ec6575c6834e13d8c9d1a000b64862d5a35d0","datavalue":{"value":{"entity-type":"item","numeric-id":3701552,"id":"Q3701552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$2E879243-BA15-4470-A593-DE4F608FC99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb5151cf00db0e7743c1f45fcb16f1ad0091d93","datavalue":{"value":{"entity-type":"item","numeric-id":1089397,"id":"Q1089397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$6E93FCDF-9779-4B72-A7FC-90AA81218CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e214ae497abe86bc157a765fa6f32485da185d","datavalue":{"value":{"entity-type":"item","numeric-id":3971594,"id":"Q3971594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$341C5659-DA01-461B-BA56-14430FFC3E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8182f19e185b02221e26f7373293a39eb96c58de","datavalue":{"value":{"entity-type":"item","numeric-id":4325445,"id":"Q4325445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$BF52E9E6-E7EA-4A4A-A8E3-2E74C0BB40BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68bb565be00e76df8fe653607007bf0b4514da44","datavalue":{"value":{"entity-type":"item","numeric-id":4027540,"id":"Q4027540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$37FB2BA5-1D52-43D4-929C-954B4D259CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005c2f797ad87ed0940871765710fe2f10940483","datavalue":{"value":{"entity-type":"item","numeric-id":1215675,"id":"Q1215675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$ABAAEA91-977C-457E-8A3A-D0A5ABDFBA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df85995928b45379056ba702e2a2ddfe8be953ed","datavalue":{"value":{"entity-type":"item","numeric-id":2554374,"id":"Q2554374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$57EF5680-E27B-4FC8-B4BD-C184F6B132A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac9425794bb58fb643403ea8077a87ec28cb3","datavalue":{"value":{"entity-type":"item","numeric-id":1320593,"id":"Q1320593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$FFE9397F-7A46-46FC-884B-9637D86205FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e695b2cf5679f679a60b379a35c7b3774dff56","datavalue":{"value":{"entity-type":"item","numeric-id":4868329,"id":"Q4868329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$BC30ED25-AC3D-4193-B0D6-2DA2D8691F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca6482ec6aa2d1feb90b285c7068233c026f03b","datavalue":{"value":{"entity-type":"item","numeric-id":5749481,"id":"Q5749481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$76B18DD7-1FA2-4173-8288-F27C1BCBBC19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a902e782d52d2dcac4b7c2bd433f5fba06302164","datavalue":{"value":"https://doi.org/10.1090/s0894-0347-99-00273-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4221998$A740F5AF-2597-4DD2-BCAF-4D2A875F66D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997529d1943b44d645a720034640ebd2ecb66cc1","datavalue":{"value":"W1490508178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221998$0D6A14BB-94E2-420A-BBB4-EE5DBFF8AC28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4ed5a5f44b76f776739dfde58a60a650c174729","datavalue":{"value":{"entity-type":"item","numeric-id":6481411,"id":"Q6481411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221998$4F2CD4FE-F9E5-46D2-92E6-8F217B448891","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe01c769c4d68fa4a60601adb513fd0380299b3","datavalue":{"value":{"entity-type":"item","numeric-id":1974873,"id":"Q1974873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691d01160dd7ab225753f5a1d3252e9c967f3360","datavalue":{"value":{"amount":"+0.8135500550270081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221998$49A30D83-D898-4636-8F0E-932DB1976B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4ed0098730f4b22a60e7247efaae21f6fa185c","datavalue":{"value":{"entity-type":"item","numeric-id":3123398,"id":"Q3123398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ffd1a58dcb59aa849d191e35bea524355951a1","datavalue":{"value":{"amount":"+0.8106430172920227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221998$AD690E88-56B3-4673-A3C2-0578C45FB1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f3e14cd68fcceecffe0fc212c1071648646753","datavalue":{"value":{"entity-type":"item","numeric-id":416010,"id":"Q416010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a38597b7b425f9daa4f7ad08385d37170dc2317","datavalue":{"value":{"amount":"+0.7983089089393616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4221998$54673DA2-D9EA-4984-9F93-4B423829E699","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d455e45a3bbf6182d47639e89d556ac3b7de70c","datavalue":{"value":"Let \\(V\\) be a complete discrete valuation ring with \\(\\pi\\) one of its uniformisers. Denote by \\(k=V/\\pi\\cdot V\\) the residue field and assume \\(k\\) is perfect of characteristic \\(p>0\\); actually \\(p\\) is assumed to be odd in most of the paper. Write \\(K\\) for the fraction field of \\(V\\) and assume \\(K\\) has characteristic zero. \\(V_0=W(k)\\subset V\\) will denote the ring of Witt vectors, \\(\\varphi\\) its Frobenius, \\(K_0\\) its field of fractions, and \\(e=[K:K_0]\\) the ramification degree. It follows from Fontaine's comparison theory for \\(p\\)-adic \u00e9tale cohomology and crystalline cohomology that in the unramified situation, for a smooth and proper \\(V\\)-scheme \\(X\\), \\(V\\) a \\(p\\)-adic discrete valuation ring, there exists a ring \\(B(V)\\) and an isomorphism \\[ H^*_{\\text{\u00e9t}}(X\\otimes_V\\overline{K},{\\mathbb Q}_p)\\otimes_{{\\mathbb Q}_p}B(V)\\cong H^*_{\\text{crys}} (X/V_0)\\otimes_{V_0}B(V). \\] In the underlying paper one is interested in a generalization of Fontaine's situation to both ramified valuation rings and more general coefficients. So let \\(X\\) be a proper and smooth \\(V\\)-scheme, \\(V\\) totally ramified over \\(V_0\\), with uniformiser \\(\\pi\\) satisfying the minimal equation \\(f(\\pi)=0\\). Let \\(R_V\\) be the PD-hull of \\(V\\), i.e. the PD-completion of the ring obtained by adjoining divided powers of \\(f\\) to \\(R=V_0[[T]]\\) , where \\(f(T)=T^e+\\text{l.o.t.}\\) is an Eisenstein polynomial. One can define the relative crystalline cohomology of \\(X/R_V\\). Let \\(\\mathcal E\\) be a crystal of vector bundles on \\(X/R_V\\), e.g. if \\(X\\) lifts to a smooth formal scheme \\(\\mathcal X\\) over \\(R_V\\), \\(\\mathcal E\\) corresponds to a vector bundle \\(\\mathcal E_{\\mathcal X}\\) with an integrable connection \\(\\nabla\\). One may calculate \\(H^*(X/R_V,\\mathcal E)\\) by de Rham complexes. More generally, using filtered crystals \\(\\mathcal E\\) (i.e.\\ such that \\(\\mathcal E_{\\mathcal X}\\) is filtered with \\(\\nabla\\) satisfying Griffiths tranversality), the associated graded of the complex representing \\(H^*(X/R_V,\\mathcal E)\\) is a module over \\(\\text{gr}_F(R_V)\\). Then, forming the derived tensor product with \\(gr^0_F(R_V)=V\\), one obtains the hypercohomology of \\(X\\) with values in the associated graded of the de Rham complex \\(\\mathcal E_X\\otimes\\Omega^*_{X/V}\\). This is called the Hodge cohomology of \\(\\mathcal E_X\\), written \\(H^*(X,\\mathcal E_X\\otimes\\Omega^*_{X/V})\\). The following assumption is basic: \\((*)\\) \\(H^*(X,\\mathcal E_X\\otimes\\Omega^*_{X/V})\\) is torsion-free over \\(V\\) and its spectral sequence degenerates. The crystalline cohomology \\(H^*(X/R_V,\\mathcal E)\\) can be represented by a finite complex \\(M^*(X/R_V,\\mathcal E)\\) of filtered free \\(R_V\\)-modules. \\(R_V\\) has a Frobenius action \\(\\phi\\) given by \\(\\phi(T)=T^p\\). This extends to \\(X\\) and \\(\\mathcal E\\). One defines a Frobenius crystal (F-crystal for short) as a crystal \\(\\mathcal E\\) with an isomorphism \\(\\phi_X^*(\\mathcal E)[1/p]\\cong\\mathcal E[1/p]\\). Crystalline cohomology satisfies Poincar\u00e9 duality and the dual of an \\(F\\)-crystal is an \\(F\\)-crystal again. One can state a first result: Let \\(X/V\\) be proper and smooth, and let \\(\\mathcal E\\) be a filtered F-crystal on \\(X\\) such that \\((*)\\) holds. Then the crystalline cohomology \\(H^*(X/R_V,\\mathcal E)\\) is represented by a complex \\(M^*(X/R_V,\\mathcal E)\\) of filtered free \\(R_V\\)-modules, with trivial differentials. Furthermore, inverting \\(p\\), all \\(H^i(X/R_V,\\mathcal E)[1/p]\\) are induced from \\(K_0\\)-vector spaces \\(H^i_0\\) with Frobenius automorphism \\(\\Phi_0\\). One may introduce a logarithmic structure on the base giving rise to semistable \\(X\\). A corresponding result holds such that there is a nilpotent \\(N\\in\\text{ End}(H^i_0)\\) such that the connection becomes \\(\\nabla= d+N\\cdot dt/T\\) and it satisfies \\(p\\cdot\\Phi_0\\cdot N=N\\cdot\\Phi_0\\). Another variant is the one `with a divisor at infinity'. One may carry over the theory of the category \\(\\mathcal{MF}_{[0,p-2]}\\) defined by \\textit{G. Faltings} [in: Algebraic analysis, geometry, and number theory, Proc. JAMI Inaugur. Conf. Baltimore 1988, 25-80 (1989; Zbl 0805.14008)], provided one restricts to objects without torsion. One starts with the category \\(\\mathcal{MF}_{[0,a]}(V)\\), \\(a\\leq p-2\\), of filtered \\(R_V\\)-modules equipped with nilpotent (mod \\(p\\)) connection \\(\\nabla\\) and Frobenius \\(\\Phi\\) satisfying suitable properties, and then for a smooth \\(V\\)-scheme \\(X\\) one defines the category \\(\\mathcal{MF}_{[0,a]}(X/R_V)\\) whose objects are filtered crystals \\(\\mathcal E\\) with Frobenius maps \\(\\Phi_i:\\Phi^*(F^i(\\mathcal E))\\rightarrow\\mathcal{E}\\), (\\(\\ldots\\)). It follows that for such \\(\\mathcal E\\) satisfying \\((*)\\) the cohomology \\(H^b(X/R_V,\\mathcal E)\\), \\(a+b\\leq p-2\\), lies in \\(\\mathcal{MF}_{[0,p-2]}(V)\\). Next comes the definition and properties of Fontaine's famous ring \\(B^+(V)\\) with its filtration \\(F^{\\bullet}\\). One defines a map \\(\\alpha: {\\mathbb Q}_p(1)\\rightarrow B^+(V)^*\\) with logarithm \\(\\beta:{\\mathbb Z}_p(1)\\rightarrow F^1(B^+(V))\\), such that \\(\\Phi\\cdot\\beta=p\\cdot \\Phi\\). \\(\\beta_0\\) denotes the image of a generator of \\({\\mathbb Z}_p(1)\\). With an object \\(M\\in\\mathcal{MF}_{[0,p-2]}(V)\\) one associates a \\({\\mathbb Z}_p\\)-module with continuous \\(\\text{Gal}(\\overline{K}/K)\\)-action by \\[ {\\mathbb D}(M)=\\Hom_{R_V,F,\\Phi_*}(M,D^+(V))=\\Hom_{B^+(V),F,\\Phi_*}(M\\otimes_{R_V}B^+(V),B^+(V)), \\] with dual \\({\\mathbb D}(M)^*\\). One has the result: (i) \\({\\mathbb D}(M)\\) is free over \\({\\mathbb Z}_p\\), of rank \\(\\text{rk}_{R_V}(M)\\); (ii) For \\(M\\in\\mathcal{MF}_{[0,a]}(V)\\) one has \\[ \\beta_0^a\\cdot{\\mathbb D}(M)^*\\otimes_{{\\mathbb Z}_p}B^+(V)\\subset M\\otimes_{R_V}B^+(V)\\subset{\\mathbb D}(M)^*\\otimes_{{\\mathbb Z}_p}B^+(V), \\] where the inclusions are strict for the filtrations; (iii) The functor \\({\\mathbb D}\\) from \\(\\mathcal{MF}_{[0,p-2]}(V)\\) to \\({\\mathbb Z}_p \\text{-Gal}(\\overline{K}/K)\\)-modules is fully faithful. The result also holds for `divisors at infinity'. To come to a comparison of crystalline and \u00e9tale cohomology for a proper and smooth \\(V\\)-scheme \\(X\\), of relative dimension \\(b\\), let \\(\\mathcal E\\in\\mathcal{MF}_{[0,a]}(X/R_V)\\), \\(a+b\\leq p-2\\). Assume \\((*)\\) holds. Define the smooth \u00e9tale \\({\\mathbb Z}_p\\)-sheaf \\({\\mathbb L}\\) on \\(X\\otimes_VK\\) by \\({\\mathbb L}={\\mathbb D}(\\mathcal E)^*\\). Then: \\textsl{Assume \\((*)\\) holds. For each \\(i\\), the \u00e9tale cohomology \\(H^i(X\\otimes_V\\overline{K},{\\mathbb L})\\) is isomorphic to \\({\\mathbb D}(H^i(X/R_V,\\mathcal E))^*\\).} The same holds in the logarithmic case of `divisors at infinity', both for usual cohomology and cohomology with compact support. In particular, the \u00e9tale cohomology has no \\(p\\)-torsion as well. The whole theory may be applied to \\(p\\)-divisible groups \\(H\\) over \\(V\\). It leads to a filtered F-crystal \\(M=M(H)\\) over \\(R_V\\), and a canonical map \\(\\rho:M(H)\\otimes B^+(V)\\rightarrow H^1_{\\text{\u00e9t}}(H)\\otimes B^+(V)\\) which is shown to be a functorial injection, respecting Frobenius, filtrations and Galois actions. Furthermore, \\(\\text{Coker}(\\rho)\\) is annihilated by \\(\\beta_0\\). For \\(p>2\\), the Tate module \\(T_p(H)\\) is shown to be equal to \\({\\mathbb D}(M(H))\\). Defining an \u00e9tale Tate \\(r\\)-cycle as a Galois-invariant class \\(\\psi_{\\text{\u00e9t}}\\in(H^1_{\\text{\u00e9t}}(H))^{\\otimes 2r}(r)\\) and a crystalline Tate \\(r\\)-cycle as a class \\(\\psi_{\\text{crys}}\\in F^r(M(H)^{\\otimes 2r})\\) which is \\(\\nabla\\)-parallel and fixed by \\(\\Phi_r=\\Phi/p^r\\), one has Fontaine's result that \\(\\rho(\\psi_{\\text{crys}}\\otimes 1)=\\psi_{\\text{\u00e9t}}\\otimes\\beta^r\\). It follows that for \\(r\\leq p-2\\), the comparison between crystalline and \u00e9tale cohomology respects integrality, i.e.\\ \\(\\psi_{\\text{crys}}\\) is integral iff \\(\\psi_{\\text{\u00e9t}}\\) is integral. Let \\(H_0\\) be a \\(p\\)-divisible group over \\(V_0\\) with dual \\(H^*_0\\). If \\(\\dim(H_0)=d\\) and \\(\\dim(H^*_0)=d^*\\), one defines the height \\(h=h(H_0):=d+d^*\\). Let \\(M_0\\) be the Dieudonn\u00e9 module associated to \\(H_0\\). Let \\(n=dd^*\\). Then there is a versal deformation \\(H\\) of \\(H_0\\otimes_{V_0}k\\) over \\(A=V_0[[t_1,\\ldots,t_n]]\\). Let \\(M=M(H)=H^1_{DR}(H/A)\\in\\mathcal{MF}_{[0,1]}(A)\\) be the associated Dieudonn\u00e9 module. If \\(\\phi:A\\rightarrow A\\) denotes the lift of Frobenius to \\(A\\) with \\(\\phi(t_i)=t_i^p\\), there exists a canonical \\(\\phi\\)-linear endomorphism \\(\\Phi:M\\rightarrow M\\) inducing an isomorphism \\(\\Phi:(M+p^{-1}\\cdot F)\\otimes_{A\\phi}A\\cong M\\), where the restriction \\(\\Phi| F=p\\cdot\\Phi_1\\). Let \\(R\\) be a complete local \\(V_0\\)-algebra with residue field \\(k\\), and a PD-ideal \\(I\\subset R\\) such that all divided powers of \\(I\\) are \\(p\\)-adically closed. Assume \\(R\\) is of the form \\(R=V_0[[x_1,\\ldots,x_r]]\\), \\(I=(0)\\), \\(\\phi_R(x_i)=x_i^p\\), \\(\\phi_R| V_0=\\phi\\), and suppose on \\(R\\) a free module \\(M_R\\) of rank \\(d+d^*\\) , a direct summand \\(F_R\\subset M_R\\) of rank \\(d\\) and an isomorphism \\(\\Phi_R:\\widetilde{M}\\otimes_{R\\phi}R\\cong M\\), \\(\\widetilde{M}=M+p^{-1}\\cdot F\\), are given. Also, assume the canonical pushforwards to \\(V_0\\) are isomorphic. Then: There exists a lifting \\(\\alpha:A\\rightarrow R\\) such that \\((M_R,F_R,\\Phi_R)\\) is the pushforward of \\((M,F,\\Phi)\\). In particular, \\((M_R,F_R,\\Phi_R)\\) is induced by a deformation of \\(H_0\\), and \\(M_R\\) admits a unique connection \\(\\nabla_R\\) such that \\(\\Phi_R\\) is \\(\\nabla_R\\)-horizontal, and \\(\\nabla_R\\) is induced from \\(\\nabla\\) on \\(M\\). The paper closes with an appendix on basic results on finiteness, and an explanation on how to treat the prime \\(p=2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221998$19B74C21-D969-4981-96DC-F9451450768A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integral crystalline cohomology over very ramified valuation rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integral_crystalline_cohomology_over_very_ramified_valuation_rings"}}}}}