Pith. sign in

REVIEW 2 major objections 6 minor 23 references

Cohomology and congruences

T0 review · 2 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The p-adic Cartier operation computes Frobenius roots and proves p-integrality for the quintic's instanton numbers.

desk verdict Polished, genuinely useful lecture notes on the Dwork crystals programme, but the headline quintic instanton integrality rests on a stated-without-proof substitution step that the notes should either prove or reference. read the letter →

arxiv 2412.13313 v1 pith:VVSVLXMR submitted 2024-12-17 math.NT math-phmath.AGmath.MP

Masha Vlasenko This is my paper · ORCID
classification math.NTmath-phmath.AGmath.MP MSC 11G2514F3014J3211S80
keywords p-adiccohomologyCartieroperatorHasse–WittmatricesFrobeniusrootsGausscongruencesDworkCalabi–Yaufamiliesinstantonnumbers
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

These lecture notes develop an elementary p-adic calculus for algebraic hypersurfaces based on one operator, the Cartier operation on formal expansions of rational functions. When the Hasse–Witt condition holds, the matrix of this operation on the unit-root crystal has eigenvalues equal to the Frobenius roots of the toric hypersurface with p-adic valuation less than 1. Higher versions of the same construction, controlled by higher Hasse–Witt conditions, reach the whole de Rham cohomology and produce p-adic Frobenius structures for Picard–Fuchs differential equations. The concrete payoff is a string of arithmetic results: Gauss and Dwork congruences, supercongruences, p-integrality of canonical coordinates for completely symmetric Calabi–Yau families, and p-integrality of the instanton numbers of the quintic for every prime p > 5.

What carries the argument

The load-bearing object is the p-adic Cartier operation $C_p$ on the module $\Omega_f(\mu)$ of differential forms with poles on the hypersurface $f(x)=0$. It is defined on formal expansions at a vertex of the Newton polytope by selecting coefficients with indices multiplied by p, $C_p(\sum c_v x^v) = \sum c_{pv}x^v$, and it lands in the p-adic completion of a conjugate module $\Omega_{f^\sigma}$. The quotient by formal derivatives is the unit-root crystal, and its matrix $\Lambda(\mu)$ is the Cartier matrix. The higher machinery consists of the k-th Hasse–Witt matrices $HW^{(k)}$, defined through $F^{(k)}(x) = f(x)^{p-k}\sum_{r=0}^{k-1}(f^\sigma(x^p)-f(x)^p)^r f^\sigma(x^p)^{k-1-r}$; invertibility of their determinants modulo the appropriate power of p is the k-th Hasse–Witt condition. A contraction property (Proposition 22) and a general splitting lemma (Proposition 25) carry the proof that the Cartier operator decomposes the modules and that its traces count points on the hypersurface.

What would settle it

For a prime $p$ where $\det(HW(\Delta)) \equiv 0 \pmod p$, test whether the sequence $\beta_{p^s} \sigma(\beta_{p^{s-1}})^{-1}$ still converges in $\mathbb{Z}_p$ to a Frobenius root of $X_f$; a failure would mark exactly where the unit-root crystal collapses. For the quintic operator (31), computing any instanton number $n_d$ that is not $p$-integral for a prime $p>5$ would refute Theorem 55.

Watch

Extended reading notes

Core claim

The central claim is that a single p-adic operation on differential forms carries the arithmetic of a hypersurface. For a Laurent polynomial f with Newton polytope $\Delta$, the Cartier map on formal Laurent expansions selects coefficients whose indices are multiplied by p; modulo formal derivatives it gives a matrix $\Lambda(\mu)$. Under the Hasse–Witt condition—invertibility modulo p of the matrix $HW(\mu)$ of coefficients of $f(x)^{p-1}$—the notes establish a direct-sum decomposition of the module of forms into a free piece spanned by $x^u/f(x)$ and the formal derivatives, and show that $\Lambda(\mu) \equiv HW(\mu) \pmod p$. With $R = \mathbb{Z}_p$ and $\mu = \Delta$, the eigenvalues of $\Lambda$ are exactly the Frobenius roots of the toric hypersurface $X_f$ over $\mathbb{F}_p$ of p-adic valuation less than 1 (Corollary 23). The subsequent sections extend the same principle to k-th Hasse–Witt conditions, giving Cartier matrices on the p-adic completion of the full de Rham cohomology, explicit matrices for simplicial and hyperoctahedral Calabi–Yau families, and the theorem that the quintic operator has p-integral instanton numbers for every p > 5.

Load-bearing premise

The method assumes that the Hasse–Witt matrix—a square matrix of coefficients extracted from $f(x)^{p-1}$—is invertible modulo p; for higher-order results it assumes the k-th Hasse–Witt conditions for all relevant k. When these fail, as at supersingular primes, the Cartier matrix on the unit-root quotient is not defined and the point-counting congruences do not follow.

Editorial extensions

If this is right

  • For any ordinary prime of a Laurent polynomial hypersurface, the eigenvalues of the Cartier matrix $\Lambda(\Delta)$ are exactly the Frobenius roots of the toric hypersurface with p-adic valuation less than 1.
  • Dwork congruences and Gauss congruences for coefficients of rational functions follow from the Cartier action, with sharper supercongruences appearing when an excellent Frobenius lift exists.
  • For completely symmetric Calabi–Yau families satisfying the stated conditions, the canonical coordinate is p-integral and an excellent Frobenius lift is given by $q \mapsto c^{p-1}q^p$.
  • The quintic differential operator (31) has p-integral instanton numbers for every prime $p>5$, without invoking mirror symmetry.
  • Higher Hasse–Witt conditions produce Cartier matrices on the full de Rham cohomology, giving p-adic Frobenius structures whose constant-term matrices have entries built from the p-adic gamma function.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A positive answer to Problem 24 would stratify Frobenius roots by open subsets of the Newton polytope, making the weight filtration on de Rham cohomology visible at the level of p-adic matrices.
  • The universal form of the constants $\alpha_j$, written through the p-adic gamma function, suggests that for any Calabi–Yau operator with maximal unipotent monodromy the Frobenius matrix at $t=0$ is a p-adic-zeta-valued matrix; the notes support this prediction in the simplicial and hyperoctahedral cases but do not prove it in general.
  • One testable extension is to check the experimentally tabulated fourth-order Calabi–Yau operators for a Frobenius structure satisfying the integrality condition (34) with $\alpha_1 = 0$; Theorem 56 would then transfer p-integrality of instanton numbers to all of them.
  • The method also suggests that supercongruences, not only congruences, should be expected whenever a family admits an excellent Frobenius lift fixed by a Teichmüller point, generalizing the binomial supercongruence in Section 5.5.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. These lecture notes give an elementary introduction to p-adic methods in the cohomology of algebraic hypersurfaces, centred on the Cartier operation, unit-root crystals, higher Hasse--Witt conditions, and applications to congruences and arithmetic of Calabi--Yau families. The exposition builds on the author's joint Dwork crystals papers with Frits Beukers, and it develops explicit examples such as Atkin--Swinnerton-Dyer congruences, Dwork congruences, and the simplicial Calabi--Yau family. The final section discusses p-adic Frobenius structures on Picard--Fuchs operators and states, as Theorem 55, that the quintic instanton numbers are p-integral for every p > 5, citing [8, Cor. 1.9].

Significance. If the quoted results are taken as background, the notes provide a useful pedagogical bridge between p-adic cohomology, explicit Cartier matrices, and concrete arithmetic applications. The paper is honest about its sources and about open problems: for instance, Problem 24 explicitly records that the trace formula in Theorem 19(iv) is proved only for mu = Delta, not for smaller open subsets. The main theorems are imported from peer-reviewed publications, and the manuscript does not claim new research theorems beyond the cited papers. The notes' strength is their concreteness: explicit matrices, worked examples, and exercises that connect the abstract Cartier formalism to classical congruences. The discussion of excellent Frobenius lifts and the p-integrality criteria in Theorem 56 is a valuable synthesis for readers entering the subject. However, the decisive deduction of the quintic case in Section 5.9 relies on an unproved substitution claim, and Corollary 23 raises a dimensional question that should be clarified.

major comments (2)
  1. [Section 5.9, after Theorem 56] The deduction of Theorem 55 from the simplicial case rests on the sentence 'substitutions t -> t^N preserve p-integrality of canonical coordinates and instanton numbers for all p not dividing N.' This is not a formal consequence of Theorem 53 or Theorem 56 as stated: pulling back an order-four operator by t -> t^5 changes the cyclic basis and the Wronskian matrix U(t), so the constant matrix Lambda_0 and the properties (34) and alpha_1 = 0 require separate verification. The theorem is cited to [8, Cor. 1.9], so this is likely a presentation gap rather than a false claim, but the notes do not give the reader enough to verify the decisive step. Please supply a proof of the substitution lemma or a precise reference to the statement in [8].
  2. [Section 3.3 and Corollary 23] There appears to be a conflation between the open set mu = Delta and the interior Delta^circ. Theorem 21 states that for mu = Delta the unit-root quotient has rank #(Delta cap Z^n), which for the two-variable example f = x1 + x2 + 1/(x1 x2) has four lattice points, whereas the middle cohomology H^2(T^2 \ X_f) has dimension #(Delta^circ cap Z^n) = 1. Corollary 23 then claims that the eigenvalues of Lambda(Delta) are Frobenius roots of the toric hypersurface. Please clarify whether the Hasse--Witt condition for mu = Delta can actually hold and, if so, how the dimension mismatch is resolved; if the intended statement is for mu = Delta^circ, the notation and proof should be corrected to avoid an internally inconsistent claim.
minor comments (6)
  1. [Section 1.3, Eq. (3)] The inclusion-exclusion formula is written with 1 <= i1 <= ... <= ik <= m; it should use strict inequalities 1 <= i1 < ... < ik <= m. In the displayed m = 2 case, the term #X_{f1} appears twice; the second should be #X_{f2}.
  2. [Section 2.4] There is a duplicated phrase 'p-adic completions p-adic completions' in the paragraph following Eq. (5), and in Section 1.4 'eqiation' should be 'equation'.
  3. [Section 2.2 and Section 3.3] The relation between the limiting matrix Lambda_p defined in Theorem 10 (indexed by Delta^circ_Z) and the Cartier matrix Lambda(mu) defined in Eq. (10) should be stated explicitly; the current text moves from one to the other without identifying them, which may confuse readers.
  4. [Section 5.3, after Eq. (20)] In the proof of Theorem 37, the line 'det(A)^{-1} det(HW^{(k)}(mu)) det(A^sigma) in p^{L(k,sigma)} R' uses L(k,sigma) where L(k,mu) is meant; the same subscript appears twice and should be corrected.
  5. [Section 5.9, footnote and main text] The substitution t -> t^5 is invoked twice: once in the footnote after Eq. (31) and again in the paragraph after Theorem 56. These two statements should be cross-referenced and unified, and the notation '55t' in Eq. (31) should be checked against the intended '5^5 t'.
  6. [Section 5.6 and Section 5.9] Typographical slips include 'calalbi' for 'Calabi--Yau' in Problem 57 and 'a priory' for 'a priori' in Section 5.9.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central derivations rest on prior peer-reviewed theorems, and Theorem 55 is an independent citation; the only gap is an unproved substitution-stability assertion, which is a presentation issue, not a circular reduction.

full rationale

The paper is a lecture-note survey built on the author's Dwork crystals series [5,6,7,8,9]. The main derivation chain—Cartier operator on formal expansions, contraction property, Hasse–Witt decompositions (Theorems 21 and 37), trace formula (Theorem 19(iv) from [5]), period-map congruences (Theorem 29), and p-adic Frobenius structures (Section 5.8)—uses those prior papers as sources of proofs, but the cited results are independent, peer-reviewed theorems with explicit assumptions (Hasse–Witt conditions) that do not include the targets. No fitted parameter is renamed as a prediction: the constants α_j are computed from p-adic gamma functions, and property (34) is verified in [8, Prop 4.2] rather than assumed. Corollary 23 follows from the Dwork trace formula rather than from the definition of the Cartier matrix. Theorem 55 is explicitly cited to [8, Cor. 1.9], a paper by the same authors, but this is independent support under the reviewing rules and does not make the argument circular. One passage in Section 5.9 states without proof that substitutions t→t^N preserve p-integrality of canonical coordinates and instanton numbers for p∤N; this is an omitted justification in the notes and a potential correctness gap, but it is not a circular reduction because the lemma is broader than and not equivalent to the target result. Overall, no step reduces by construction to its own input.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The notes rely on standard algebraic geometry and p-adic assumptions: p-adically complete coefficient rings with a Frobenius lift, Hasse-Witt invertibility conditions corresponding to ordinary reduction, and geometric hypotheses on Newton polytopes, such as reflexivity and Delta-regularity, for the Calabi-Yau applications. These are domain assumptions, not ad hoc inventions. The paper introduces no free parameters and no new conjectural entities.

assumptions (7)
  • domain assumption R is a commutative ring of characteristic 0 with cap_{s>=1} p^s R = {0}, and R is p-adically complete.
    Used throughout Sections 3 to 5 to construct p-adic completions and the Cartier operation, e.g., Section 3.1 and Section 3.2.
  • domain assumption There exists a Frobenius lift sigma: R -> R with sigma(r) ≡ r^p (mod pR).
    Needed to define the Cartier matrix Lambda and to track the Frobenius action; introduced in Section 2.2 and Section 3.2.
  • domain assumption The Hasse-Witt condition holds: det(HW(mu)) is invertible modulo p for the open set mu.
    Assumed in Theorem 21 and many subsequent results; defined in Section 3.3 for open subsets mu of the Newton polytope.
  • domain assumption The k-th Hasse-Witt conditions (15) hold for 1 <= ell <= k.
    Needed for Theorem 37 and for the higher Cartier matrices, as stated in Definition 41 and Section 5.2.
  • domain assumption For Calabi-Yau families, the Newton polytope is reflexive, and for completely symmetric families one additionally has p ∤ #G × [Z^n : Gamma] × c.
    Assumed in Definition 43 and Theorem 44 for the existence of excellent Frobenius lifts and the p-integrality of the canonical coordinate.
  • domain assumption Batyrev's identification of de Rham cohomology with Omega_f / dOmega_f under Delta-regularity holds.
    Used in Remark 17 to connect the algebraic modules to the mixed Hodge structure; cited from [3].
  • domain assumption The vertex coefficient f_b of f(x) is in R^×, so formal expansions at the vertex b are well-defined.
    Used in Section 2.5 and Section 3.2 to define formal expansions and the Cartier action on them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomology and congruences." pith.science (2026). https://pith.science/paper/VVSVLXMR

@misc{pith2026241213313,
  author       = {Pith},
  title        = {Pith review of: Cohomology and congruences},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VVSVLXMR}},
  note         = {Machine review of arXiv:2412.13313}
}
abstract

These are notes of my lecture courses given in the summer of 2024 in the School on Number Theory and Physics at ICTP in Trieste and in the 27th Brazilian Algebra Meeting at IME-USP in S\~ao Paulo. We give an elementary account of $p$-adic methods in de Rham cohomology of algebraic hypersurfaces with explicit examples and applications in number theory and combinatorics. These lectures are based on the series of our joint papers with Frits Beukers entitled \emph{Dwork crystals} (\cite{DCI,DCII,DCIII}). These methods also have applications in mathematical physics and arithmetic geometry (\cite{IN,Cartier0}), which we overview here towards the end. I am grateful to the organisers of both schools and to the participants of my courses whose questions stimulated writing these notes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 21 canonical work pages

  1. [8]

    Beukers, M

    F. Beukers, M. Vlasenko, On p-integrality of instanton numbers , Pure Appl. Math. Q. 19, no. 1 (2023), 7–44

    work page 2023

  2. [1]

    Almkvist, C

    G. Almkvist, C. van Enckevort, D. van Straten, W. Zudilin, Tables of Calabi-Yau equations , arXiv:math/0507430

    arXiv

  3. [2]

    Atkin and H

    A. Atkin and H. Swinnerton-Dyer, Modular forms on non congruence subgroups , Proc. Symp. Pure Math. XIX, Amer. Math. Soc., Providence 1971

    work page 1971

  4. [3]

    Batyrev, Variations of the MHS of affine hypersurfaces in algebraic tori , Duke Math Journal, 69 (1993), 349–409

    V. Batyrev, Variations of the MHS of affine hypersurfaces in algebraic tori , Duke Math Journal, 69 (1993), 349–409

    work page 1993

  5. [4]

    Beukers, M

    F. Beukers, M. Houben, A. Straub, Gauss congruences for rational functions in several variables , Acta Arithmetica 184 (2018), 341–362

    work page 2018

  6. [5]

    Beukers, M

    F. Beukers, M. Vlasenko, Dwork crystals I , Int. Math. Res. Notices, 2021, 8807–8844

    work page 2021

  7. [6]

    Beukers, M

    F. Beukers, M. Vlasenko, Dwork crystals II , Int. Math. Res. Notices, 2021, 4427–4444

    work page 2021

  8. [7]

    Beukers, M

    F. Beukers, M. Vlasenko, Dwork crystals III: from excellent Frobenius lifts towards supercongruences, Int. Math. Res. Notices, 2023, 20433–20483

    work page 2023

Show all 23 references
  1. [9]

    Beukers, M

    F. Beukers, M. Vlasenko, Frobenius structure and p-adic zeta function , arXiv:2302.09603

  2. [10]

    Candelas, X

    P. Candelas, X. de la Ossa, P. Green, L. Parkes, An exactly soluble superconformal theory from a mirror pair of Calabi–Yau manifolds , Phys. Lett. B 258 (1991), no.1–2, 118–126

    1991

  3. [11]

    Candelas, X

    Ph. Candelas, X. de la Ossa, D. van Straten, Local Zeta Functions from Calabi–Yau Differential Equations, arXiv:2104.07816 [hep-th]

    arXiv

  4. [12]

    Dwork, A deformation theory for the zeta function of a hypersurface , Proc

    B. Dwork, A deformation theory for the zeta function of a hypersurface , Proc. Internat. Congr. Mathematicians (Stockholm, 1962), 247–259

    1962

  5. [13]

    Dwork, On the rationality of the zeta function of an algebraic variety , Amer

    B. Dwork, On the rationality of the zeta function of an algebraic variety , Amer. J. Math.82 (1960), 631–648

    1960

  6. [14]

    Dwork, On the uniqueness of Frobenius operator on differential equations , Advanced Studies in Pure Mathematics 17, 1989, 89–96

    B. Dwork, On the uniqueness of Frobenius operator on differential equations , Advanced Studies in Pure Mathematics 17, 1989, 89–96

    1989

  7. [15]

    Dwork, p-adic cycles , Publications math´ ematiques de l’I.H.´E.S

    B. Dwork, p-adic cycles , Publications math´ ematiques de l’I.H.´E.S. 37 (1969), p. 27–115

    1969

  8. [16]

    Huang, B

    A. Huang, B. Lian, S.-T. Yau, Ch. Yu, Hasse–Witt matrices, unit roots and period integrals , Math. Ann. 387 (2023), No. 1-2, 145–173

    2023

  9. [17]

    Ionel and T.H

    E.N. Ionel and T.H. Parker, The Gopakumar-Vafa formula for symplectic manifolds, Annals of Math. 187 (2018), 1–64

    2018

  10. [18]

    Katz, Internal reconstruction of unit-root F-crystals via expansion coefficients , Ann

    N. Katz, Internal reconstruction of unit-root F-crystals via expansion coefficients , Ann. Sci. ´Ec. Norm. Sup´ er., IV. S´ er. 18 (1985), 245–285

    1985

  11. [19]

    Katz, Une formule de congruence pour la fonction ζ, S.Gs.A

    N. Katz, Une formule de congruence pour la fonction ζ, S.Gs.A. 7 II, Lecture Notes in Mathematics 340, Springer, 1973

    1973

  12. [20]

    Koblitz, p-adic numbers, p-adic analysis and zeta-functions , Graduate Texts in Mathematics 58, Springer, 1984, 153 pp

    N. Koblitz, p-adic numbers, p-adic analysis and zeta-functions , Graduate Texts in Mathematics 58, Springer, 1984, 153 pp

    1984

  13. [21]

    Mellit, M

    A. Mellit, M. Vlasenko, Dwork’s congruences for the constant terms of powers of a Laurent polyno- mial, Int. Jour. Num. Theor., vol. 12, no. 2 (2016), 313 – 321

    2016

  14. [22]

    Stienstra, Formal groups and congruences for L-functions, Amer

    J. Stienstra, Formal groups and congruences for L-functions, Amer. J. Math. 109 (1987), 1111-1127

    1987

  15. [23]

    Vlasenko, Higher Hasse-Witt matrices , Indag

    M. Vlasenko, Higher Hasse-Witt matrices , Indag. Math. 29 (2018), 1411–1424 38 MASHA VLASENKO Email address : masha.vlasenko@gmail.com Kyiv School of Economics, Mykoly Shpaka 3, 03113 Kyiv, Ukraine Institute of Mathematics of the Polish Academy of Sciences, Sniadeckich 8, 00-6...

    2018

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.