{"id":"49a4394a-b254-41e3-a9a6-ecb47acf4c0b","arxiv_id":"1908.08424","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An expository account of the construction of the p-adic period rings B_crys and B_dR and of the comparison theorems between etale, crystalline, and de Rham cohomology for p-adic varieties.","lead":"These course notes introduce the p-adic period rings B_crys and B_dR and explain how they support p-adic analogues of the classical de Rham comparison theorem. A generalist might read them to see the architecture of p-adic Hodge theory, from Galois representations to comparison isomorphisms, in one organized place.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the survey's claims are explicitly attributed to cited deep theorems, and no internal gap in the exposition was found.","rationale":"I read the paper as a survey rather than a research preprint. Its abstract and introduction identify it as augmented course notes, and Section 4.1 explicitly disclaims proofs of the comparison theorems. The central claim is therefore not a new mathematical assertion but a collection of standard theorems presented for pedagogical purposes. For such a paper, dependence on the correctness of Faltings, Tsuji, Fontaine-Messing, Scholze, and Colmez-Fontaine is normal and not an internal flaw. I examined the internal exposition for unacknowledged assumptions: the construction of B_crys and B_dR is carried out in detail, the Galois-invariant computations are supported by proofs or attributed results, and the comparison theorem statements are standard. The only literal misstatement I noted is the C_p((t)) versus C_p[[t]] typo in Section 3.3.2; it is immediately corrected by the context and does not affect any theorem, definition, or example. The reader's UNVERDICTED verdict with HIGH confidence is appropriate: the paper is high-quality teaching material whose correctness is inherited from the cited literature. I recommend no change to the verdict.","tokens_in":61637,"tokens_out":17262,"duration_ms":168729,"concrete_test":"Spot-check the two most load-bearing quoted statements against their sources: Theorem 4.1.1 (CdR) against Tsuji [41] or Scholze [37], and Theorem 4.3.11 (Colmez-Fontaine) against [11]; confirm that the CdR isomorphism respects filtrations and Galois action as stated, and that the weak admissibility criterion has t_H(D') ≤ t_N(D') for all Frobenius-stable subobjects D' together with t_H(D) = t_N(D). If both statements match their sources, no correction to the survey is needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"This is an expository article whose central content is the construction of Bcrys and BdR together with statements of comparison theorems; Section 4.1 explicitly says the ambition is only to state the relevant theorems, not to prove them. The only load-bearing input is the external corpus of cited results (CdR, Ccrys, and the Colmez-Fontaine admissibility criterion). I checked the internal chain: the constructions in Section 3 are detailed enough to support the listed properties of the period rings, the invariant computations in Section 3.4 are given, and the statements in Section 4 match the standard literature. No unsupported new claim is advanced. One minor copyedit: Section 3.3.2 says B_dR^+ is isomorphic to C_p((t)) as a ring, but it should be C_p[[t]]; the surrounding text correctly describes B_dR^+ as a discrete valuation ring with residue field C_p and uniformizer t, so this is not load-bearing. The remaining risk is a possible transcription error in a quoted theorem, which the reader already identified as the weakest assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"These lecture notes introduce the p-adic period rings B_crys and B_dR and explain their role in p-adic Hodge theory. Section 1 sets up local fields, Galois representations, and Fontaine's B-admissibility formalism; Section 2 proves the Ax–Sen–Tate theorem and the characterization of C_p-admissible representations, and develops Sen's theory; Section 3 constructs B_inf^+, B_crys, the rings B_mu, and B_dR via the tilt and Witt vectors, and computes their invariants; Section 4 states the C_dR and C_crys comparison theorems, defines crystalline and de Rham representations, and states the Colmez–Fontaine admissibility criterion. The deep comparison theorems are quoted from the literature rather than proved; the paper's internal claims are the foundational local results in Sections 1 through 3.","tokens_in":61775,"tokens_out":11574,"duration_ms":117969,"significance":"If the results it surveys are correct—and they are standard—this is a useful, generally careful exposition of a central subject. It proves the main local theorems (ramification in Z_p-extensions, Ax–Sen–Tate, C_p-admissibility, Sen's operator) in a self-contained way, constructs the period rings in enough detail to support their listed properties, and gives precise statements of the comparison theorems and the Colmez–Fontaine criterion. The dependence on external results is transparent and attributed, so the survey's value is not diminished by not re-proving Faltings–Tsuji–Scholze or Colmez–Fontaine. I found no circularity and no internally inconsistent new claim.","major_comments":[],"minor_comments":[{"comment":"The identification of B_dR^+ with C_p((t)) as a ring is incorrect as stated: B_dR^+ is a complete discrete valuation ring with residue field C_p and uniformizer t, so the ring-isomorphic object is C_p[[t]]; it is the fraction field B_dR that is isomorphic to C_p((t)). Please correct this.","section":"§3.3.2"},{"comment":"The displayed formula 'v_p(n!) = n/(p-1)' is not an equality; the exact formula is v_p(n!) = (n-s_p(n))/(p-1), and only the asymptotic estimate is used. Please add '≈' or make the estimate explicit.","section":"§3.2.2"},{"comment":"The passage from principality of ker theta to the DVR property of B_dR^+ deserves a sentence or a reference: principality alone is not sufficient for a completion to be a DVR; one also uses that the completion is a domain and m-adically separated.","section":"§3.3.7"},{"comment":"In the proof of Proposition 3.1.7, the symbol x is reused for both the element being tested and the product omega * phi^{-1}(omega) * ... * phi^{-n}(omega); please rename one of them.","section":"§3.1.7"},{"comment":"In the display after Eq. (5), 'were ĀK' should read 'where ĀK'.","section":"§1.2"},{"comment":"In Conjecture 4.1.2, the same letter p denotes both the prime number and a prime ideal of O_F; using a different symbol for prime ideals would avoid confusion.","section":"§4.1"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a competent survey appropriate for the intended proceedings volume. The only issues are local; the B_dR^+ / C_p((t)) typo in §3.3.2 should be fixed before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is exactly what it says on the tin: augmented course notes on p-adic period rings, from a 2014 course with Berger. There are no new results, and the authors don't claim any. The value is pedagogical, and on that axis it is genuinely good. Sections 1–3 walk the reader through Fontaine's formalism, the proof of Ax–Sen–Tate, Cp-admissibility, the construction of B_crys and B_dR, and the computation of invariants, with enough detail to follow without drowning. Section 4 states the comparison theorems and the Colmez–Fontaine admissibility criterion, with clear attribution and a useful historical sketch. The citation pattern is honest: deep theorems are credited to Faltings, Tsuji, Scholze, Colmez–Fontaine, and others rather than being re-derived or quietly assumed.\n\nThe soft spots are minor. There is a copyedit-level error in §3.3.2: B_dR^+ is described as isomorphic to C_p((t)) as a ring. It should be C_p[[t]]; B_dR^+ is a complete DVR, and the surrounding text says exactly that. Also, the survey inherits the correctness of a large corpus of external theorems, which is load-bearing but transparently acknowledged in §4.1. That is not a flaw for a survey, just a fact about the genre.\n\nWho is this for? Graduate students meeting p-adic Hodge theory for the first or second time, and researchers who want a clearly-written map of the period-ring landscape. It will not change your research, but it is a solid piece of mathematical writing. I would send it to a serious referee for a proceedings volume, and would expect only minor fixes. I would not cite it as a source of new results, but I would happily point a student to it.","headline":"Solid, honest course notes on p-adic period rings; no new results, but a careful exposition that deserves referee time as a pedagogical reference.","tokens_in":62325,"tokens_out":3426,"would_cite":false,"duration_ms":33471,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11S20","11F80","14F30","14F40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The notes construct the p-adic period rings $B_{\\mathrm{crys}}$ and $B_{\\mathrm{dR}}$ and state the comparison theorems that identify p-adic étale cohomology with de Rham and crystalline cohomology.","keywords":["p-adic Hodge theory","period rings","crystalline cohomology","de Rham cohomology","étale cohomology","Galois representations","Hodge-Tate representations","filtered Frobenius modules"],"falsifier":"Compute, for some explicit proper smooth variety over a finite extension of $\\mathbb{Q}_p$, the dimension of $(B_{\\mathrm{dR}} \\otimes_{\\mathbb{Q}_p} H^r_{\\mathrm{et}}(X_{\\bar K},\\mathbb{Q}_p))^{G_K}$; if it differed from $\\dim_K H^r_{\\mathrm{dR}}(X)$, the $C_{\\mathrm{dR}}$ isomorphism of Equation (36) would fail. Alternatively, exhibit a filtered Frobenius module satisfying the numerical conditions of Theorem 4.3.11 that is not in the essential image of $D_{\\mathrm{crys}}$.","tokens_in":61392,"feed_emoji":"🔗","tokens_out":12364,"duration_ms":109697,"temperature":0.7,"pith_summary":"This paper sets out to establish, in a lecture format, that the p-adic period rings $B_{\\mathrm{crys}}$ and $B_{\\mathrm{dR}}$ exist with the structures the B-admissibility strategy requires, and that they support the comparison theorems central to p-adic Hodge theory. For a proper smooth variety over a finite extension of $\\mathbb{Q}_p$, it states that $B_{\\mathrm{dR}}$ tensored with algebraic de Rham cohomology is canonically isomorphic to $B_{\\mathrm{dR}}$ tensored with étale cohomology, and that under good reduction $B_{\\mathrm{crys}}$ similarly identifies crystalline cohomology with étale cohomology. A sympathetic reader should care because these rings turn the Galois action on étale cohomology into linear-algebra data: de Rham representations become filtered vector spaces, and crystalline representations become admissible filtered Frobenius modules. The paper's contribution is architectural, showing how the two rings are built and what the main theorems say.","feed_headline":"p-adic period rings link de Rham and étale cohomology","feed_subtitle":"The rings Bcrys and BdR make p-adic de Rham and étale cohomology canonically isomorphic.","key_machinery":"The machinery is the construction of the two period rings. Starting from $\\mathbb{C}_p$, one forms the tilt $R$, a perfect characteristic-$p$ ring obtained by taking the inverse limit of $\\mathcal{O}_{\\mathbb{C}_p}/p$ under Frobenius; the Witt vectors of $R$ give $A_{\\mathrm{inf}}=W(R)$ and $B^+_{\\mathrm{inf}}=A_{\\mathrm{inf}}[1/p]$. A distinguished surjective map $\\theta:B^+_{\\mathrm{inf}}\\to \\mathbb{C}_p$ evaluates series, and $B^+_{\\mathrm{dR}}$ is the completion of $B^+_{\\mathrm{inf}}$ with respect to $\\ker\\theta$, whose fraction field is $B_{\\mathrm{dR}}$. The ring $B_{\\mathrm{crys}}$ is built from the divided-power envelope of the same ideal, completed and then localized away from the element $t=\\log[\\varepsilon]$, a period for the cyclotomic character. The load-bearing properties are that powers of $t$ generate the graded pieces of the de Rham filtration and that the Galois invariants compute to $K$ and $K_0$; these facts make the comparison isomorphisms possible.","core_discovery":"The central claim is that the period ring $B_{\\mathrm{dR}}$ is a complete discrete valuation field with residue field $\\mathbb{C}_p$, carrying a Galois action, a distinguished element $t$ on which Galois acts through the cyclotomic character, a de Rham filtration whose graded ring is $B_{\\mathrm{HT}} = \\mathbb{C}_p[t,t^{-1}]$, and fixed points $(B_{\\mathrm{dR}})^{G_K}=K$. The subring $B_{\\mathrm{crys}}$ carries a Frobenius endomorphism $\\phi$, has fixed points $K_0$, contains $t$, and satisfies $(B_{\\mathrm{crys}} \\cap \\mathrm{Fil}^0 B_{\\mathrm{dR}})^{\\phi=1}=\\mathbb{Q}_p$. Given these structures, the paper states the comparison theorems: for $X$ proper smooth over $K$, $B_{\\mathrm{dR}} \\otimes_K H^r_{\\mathrm{dR}}(X) \\simeq B_{\\mathrm{dR}} \\otimes_{\\mathbb{Q}_p} H^r_{\\mathrm{et}}(X_{\\bar K},\\mathbb{Q}_p)$ compatibly with filtration and Galois action, and for good reduction $B_{\\mathrm{crys}} \\otimes_{W(k)} H^r_{\\mathrm{crys}}(\\bar X) \\simeq B_{\\mathrm{crys}} \\otimes_{\\mathbb{Q}_p} H^r_{\\mathrm{et}}(X_{\\bar K},\\mathbb{Q}_p)$ compatibly with Frobenius and Galois action.","pith_inferences":["If the comparison theorems are accepted, the period-ring construction suggests that p-adic Galois representations are best studied through their associated linear-algebra objects, so classification questions reduce to filtered vector spaces and Frobenius modules.","The tilt-and-Witt-vector route to $B_{\\mathrm{dR}}$ indicates that perfectoid methods are not decoration: the same period rings should control étale cohomology beyond proper smooth varieties, for instance for rigid-analytic varieties.","A testable extension is to ask whether the semi-stable ring $B_{\\mathrm{st}}$ yields an equally complete dictionary once a monodromy operator is added to the filtered Frobenius modules.","Because the paper's comparison maps are stated rather than proved, a reader could test the stated functoriality on an explicit family, such as an elliptic curve with split multiplicative reduction or a product of such curves."],"forward_implications":["Under the $C_{\\mathrm{dR}}$ theorem, every étale cohomology group of a proper smooth p-adic variety is de Rham, and the de Rham cohomology is recovered as the Galois invariants of $B_{\\mathrm{dR}} \\otimes H^r_{\\mathrm{et}}$.","Under the $C_{\\mathrm{crys}}$ theorem, good reduction forces the étale cohomology to be crystalline, and the crystalline cohomology is recovered compatibly with Frobenius and Galois action.","Every de Rham representation is Hodge–Tate, with Hodge–Tate weights read off from the filtration on $D_{\\mathrm{dR}}(V)$, so the period-ring dictionary transfers cohomological information into filtered vector spaces.","Crystalline representations are classified by admissible filtered Frobenius modules, with the numerical criterion of Theorem 4.3.11 deciding admissibility.","A representation that is not de Rham cannot come from the étale cohomology of a proper smooth variety, giving a concrete obstruction to geometric origin."],"supporting_citations":[{"why":"supplies the Hodge-like decomposition for p-divisible groups, the model comparison that the paper generalizes.","marker":"[40]"},{"why":"provides the classification of p-divisible groups through Frobenius-module data, a prototype of the period rings.","marker":"[18]"},{"why":"sets out the B-admissibility formalism and the classification strategy for Galois representations used through the paper.","marker":"[21]"},{"why":"gives a proof of the comparison theorems that are stated as $C_{\\mathrm{dR}}$ and $C_{\\mathrm{crys}}$.","marker":"[15]"},{"why":"completes the proof of the $C_{\\mathrm{dR}}$ theorem through the semi-stable reduction case.","marker":"[41]"},{"why":"proves the crystalline comparison theorem in a range using syntomic cohomology, a key step for $C_{\\mathrm{crys}}$.","marker":"[23]"},{"why":"proves the numerical admissibility criterion for filtered Frobenius modules stated as Theorem 4.3.11.","marker":"[11]"},{"why":"provides a newer proof of $C_{\\mathrm{dR}}$ via perfectoid spaces and extends it beyond the proper smooth setting.","marker":"[37]"}],"fun_headline_variants":["Period rings solve p-adic cohomology comparisons","B_crys and B_dR: bridge p-adic cohomologies","p-adic period rings unify cohomology theories","Tying p-adic cohomology via period rings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The survey stands on the correctness of the cited comparison theorems and the cited admissibility criterion, since it states them without giving independent proofs.","fun_headline_variants_meta":{"raw":{"variants":["Period rings solve p-adic cohomology comparisons","B_crys and B_dR: bridge p-adic cohomologies","p-adic period rings unify cohomology theories","Tying p-adic cohomology via period rings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000769,"raw_usage":{"total_tokens":3383,"prompt_tokens":896,"completion_tokens":2487,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":2426}},"tokens_in":512,"tokens_out":2487,"duration_ms":17772,"temperature":1.0,"reasoning_tokens":2426,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:39:21.049427+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for some explicit proper smooth variety over a finite extension of $\\mathbb{Q}_p$, the dimension of $(B_{\\mathrm{dR}} \\otimes_{\\mathbb{Q}_p} H^r_{\\mathrm{et}}(X_{\\bar K},\\mathbb{Q}_p))^{G_K}$; if it differed from $\\dim_K H^r_{\\mathrm{dR}}(X)$, the $C_{\\mathrm{dR}}$ isomorphism of Equation (36) would fail. Alternatively, exhibit a filtered Frobenius module satisfying the numerical conditions of Theorem 4.3.11 that is not in the essential image of $D_{\\mathrm{crys}}$.","supporting_citations":[{"cited_title":"Tate, p-divisible groups , Proc","cited_arxiv_id":null,"evidence_quote":"supplies the Hodge-like decomposition for p-divisible groups, the model comparison that the paper generalizes."},{"cited_title":"Fontaine, Groupesp-divisibles sur les corps locaux , Ast´ erisque47–48 (1977)","cited_arxiv_id":null,"evidence_quote":"provides the classification of p-divisible groups through Frobenius-module data, a prototype of the period rings."},{"cited_title":"Fontaine, P´ eriodesp-adiques, Ast´ erisque223 (1994)","cited_arxiv_id":null,"evidence_quote":"sets out the B-admissibility formalism and the classification strategy for Galois representations used through the paper."},{"cited_title":"Faltings, p-adic Hodge theory , J","cited_arxiv_id":null,"evidence_quote":"gives a proof of the comparison theorems that are stated as $C_{\\mathrm{dR}}$ and $C_{\\mathrm{crys}}$."},{"cited_title":"Tsuji, p-adic ´ etale cohomology and crystalline cohomology in the semi-stable reduction case , Invent","cited_arxiv_id":null,"evidence_quote":"completes the proof of the $C_{\\mathrm{dR}}$ theorem through the semi-stable reduction case."},{"cited_title":"Fontaine, W","cited_arxiv_id":null,"evidence_quote":"proves the crystalline comparison theorem in a range using syntomic cohomology, a key step for $C_{\\mathrm{crys}}$."},{"cited_title":"Colmez and J.-M","cited_arxiv_id":null,"evidence_quote":"proves the numerical admissibility criterion for filtered Frobenius modules stated as Theorem 4.3.11."},{"cited_title":"Scholze, p-adic Hodge theory for rigid-analytic varieties , Forum Math","cited_arxiv_id":null,"evidence_quote":"provides a newer proof of $C_{\\mathrm{dR}}$ via perfectoid spaces and extends it beyond the proper smooth setting."}],"review_version":1}