pith. sign in

arxiv: 2210.14279 · v2 · submitted 2022-10-25 · 🧮 math.AG · math.NT

Syntomic cycle classes and prismatic Poincar\'e duality

Longke Tang This is my paper

Pith reviewed 2026-05-24 10:35 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords F-gaugessyntomic cycle classesprismatic Poincaré dualityprismsproper smooth schemesalgebraic geometryp-adic cohomology
0
0 comments X

The pith

F-gauges over a prism enable the construction of syntomic cycle classes and the proof of prismatic Poincaré duality for proper smooth schemes.

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

The paper introduces F-gauges over a prism as a new structure. It then constructs syntomic cycle classes within this framework. Using these classes, the paper establishes prismatic Poincaré duality, a pairing result for the cohomology of proper smooth schemes. A sympathetic reader would care because the result supplies a duality statement in the prismatic setting that parallels classical Poincaré duality.

Core claim

We introduce F-gauges over a prism, construct syntomic cycle classes, and prove the prismatic Poincaré duality for proper smooth schemes.

What carries the argument

F-gauges over a prism, which supply the objects needed to define syntomic cycle classes that prove the duality.

If this is right

  • Prismatic Poincaré duality holds for every proper smooth scheme over the prism.
  • Syntomic cycle classes exist as maps into the cohomology groups defined by F-gauges.
  • The duality supplies a perfect pairing between the relevant prismatic cohomology groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The constructions may supply a route to explicit computations of prismatic cohomology groups in low-dimensional cases.
  • The cycle classes could be compared directly with their counterparts in étale or crystalline cohomology after base change.
  • If the F-gauge formalism extends beyond proper smooth schemes, similar duality statements might hold in broader settings.

Load-bearing premise

The constructions of F-gauges and syntomic cycle classes rely on the existence and properties of prisms together with the category of proper smooth schemes over them.

What would settle it

A specific proper smooth scheme over a prism for which the prismatic Poincaré duality pairing fails to be an isomorphism would falsify the claim.

read the original abstract

We introduce $F$-gauges over a prism, construct syntomic cycle classes, and prove the prismatic Poincar\'e duality for proper smooth schemes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces F-gauges over a prism, constructs syntomic cycle classes, and proves the prismatic Poincaré duality for proper smooth schemes.

Significance. If the constructions and duality hold, the work provides a new framework in prismatic cohomology that unifies aspects of syntomic and étale cohomology via F-gauges, extending classical Poincaré duality to the prismatic setting for proper smooth schemes. This could enable new comparisons in p-adic Hodge theory and arithmetic geometry.

minor comments (2)
  1. The abstract is terse; consider expanding the introduction to include a brief outline of the key definitions of F-gauges and the statement of the duality theorem with reference to the relevant section.
  2. Notation for the prism and the category of F-gauges should be introduced with a dedicated subsection or table for clarity, especially when used across multiple constructions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive recommendation to accept the manuscript. The report accurately summarizes the main contributions.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces definitions (F-gauges over a prism) and constructs objects (syntomic cycle classes) before proving a duality statement. These steps are presented as building on the established theory of prisms and proper smooth schemes, with no equations or reductions shown that equate a claimed prediction or theorem to a fitted input or self-referential definition by construction. No load-bearing self-citations or uniqueness theorems imported from the same authors are visible that would collapse the central claims. The derivation chain remains self-contained against external prismatic foundations.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

Based solely on the abstract, the paper introduces F-gauges as a new structure; this counts as an invented entity with no independent evidence supplied. No free parameters or standard axioms are identifiable from the given text.

invented entities (1)
  • F-gauges no independent evidence
    purpose: To enable construction of syntomic cycle classes over a prism
    Newly introduced in the paper per the abstract; no external reference or verification given

pith-pipeline@v0.9.0 · 5528 in / 1053 out tokens · 19965 ms · 2026-05-24T10:35:01.161948+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

    math.AG 2023-12 unverdicted novelty 7.0

    Authors prove representability of log prismatic and syntomic cohomology in log motives, obtain Gysin maps and comparison theorems, and compute examples like Grassmannians.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Algebraic co bor- dism and a Conner–Floyd isomorphism for algebraic K-theory

    [AHI24] Toni Annala, Marc Hoyois, and Ryomei Iwasa. “Algebraic co bor- dism and a Conner–Floyd isomorphism for algebraic K-theory”. In: J. Amer. Math. Soc. (2024). issn: 0894-0347,1088-6834. url: https://doi.org/10.1090/jams/1045. [AI23] Toni Annala and Ryomei Iwasa. Motivic spectra and universality of K-theory

    work page doi:10.1090/jams/1045 2024

  2. [2]

    [AKN22] Benjamin Antieau, Achim Krause, and Thomas Nikolaus

    arXiv: 2204.03434 [math.AG] . [AKN22] Benjamin Antieau, Achim Krause, and Thomas Nikolaus. On the K- theory of Z/p n – announcement

    work page arXiv

  3. [3]

    The p-completed cyclotomic trace in degree 2

    url: https://arxiv.org/abs/2204.03420. REFERENCES 43 [ALB20] Johannes Ansch¨ utz and Arthur-C´ esar Le Bras. “The p-completed cyclotomic trace in degree 2”. In: Annals of K-Theory 5.3 (2020), pp. 539–580. url: https://doi.org/10.2140/akt.2020.5.539. [Ber74] Pierre Berthelot. Cohomologie cristalline des sch´ emas de caract´ eristique p >

    work page doi:10.2140/akt.2020.5.539 2020

  4. [4]

    A uni- versal characterization of higher algebraic K-theory

    [BGT13] Andrew J Blumberg, David Gepner, and Gon¸ calo Tabuada. “ A uni- versal characterization of higher algebraic K-theory”. In: Geometry & Topology 17.2 (2013), pp. 733–838. url: https://doi.org/10.2140/gt.2013.17.733. [BL22a] Bhargav Bhatt and Jacob Lurie. Absolute prismatic cohomology

    work page doi:10.2140/gt.2013.17.733 2013

  5. [5]

    [BL22b] Bhargav Bhatt and Jacob Lurie

    url: https://arxiv.org/abs/2201.06120. [BL22b] Bhargav Bhatt and Jacob Lurie. The prismatization of p-adic formal schemes

    work page arXiv

  6. [6]

    The arc-topology

    url: https://arxiv.org/abs/2201.06124. [BM21] Bhargav Bhatt and Akhil Mathew. “The arc-topology”. In: Duke Mathematical Journal 170.9 (2021), pp. 1899–1988. url: https://doi.org/10.1215/00127094-202 [BMS18] Bhargav Bhatt, Matthew Morrow, and Peter Scholze. “In tegral p- adic Hodge theory”. In: Publ. Math. Inst. Hautes ´Etudes Sci. 128 (2018), pp. 219–397....

    work page doi:10.1215/00127094-202 2021

  7. [7]

    Princeton University Press, Princeton, NJ, 2014, pp

    Mathematical Notes. Princeton University Press, Princeton, NJ, 2014, pp. xviii+589. isbn: 978-0- 691-16134-1. url: https://doi.org/10.1515/9781400851478. [Cla17] Dustin Clausen. A K-theoretic approach to Artin maps

    work page doi:10.1515/9781400851478 2014

  8. [8]

    A K-theoretic approach to Artin maps

    arXiv: 1703.07842 [math.KT] . [Cla21] Dustin Clausen. Algebraic de Rham cohomology

    work page internal anchor Pith review Pith/arXiv arXiv

  9. [9]

    Hyperdescent and ´ etale K- theory

    url: https://sites.google.com/view/alg [CM21] Dustin Clausen and Akhil Mathew. “Hyperdescent and ´ etale K- theory”. In: Invent. Math. 225.3 (2021), pp. 981–1076. issn: 0020- 9910,1432-1297. url: https://doi.org/10.1007/s00222-021-01043-3 . [CMM21] Dustin Clausen, Akhil Mathew, and Matthew Morrow. “ K-theory and topological cyclic homology of henselian pa...

    work page doi:10.1007/s00222-021-01043-3 2021

  10. [10]

    A proof of the absolute purity conjec ture (after Gabber)

    arXiv: 2005.04746 [math.AG] . 44 REFERENCES [Fuj02] Kazuhiro Fujiwara. “A proof of the absolute purity conjec ture (after Gabber)”. In: Algebraic Geometry 2000, Azumino (Hotaka) . Vol

    work page arXiv 2005

  11. [11]

    Adv. Stud. Pure Math. Math. Soc. Japan, Tokyo, 2002, pp. 153–

    work page 2002

  12. [12]

    url: https://doi.org/10.2969/aspm/03610153

    isbn: 4-931469-20-5. url: https://doi.org/10.2969/aspm/03610153. [HA] Jacob Lurie. Higher Algebra

    work page doi:10.2969/aspm/03610153

  13. [13]

    [HTT] Jacob Lurie

    arXiv: 2206.11208 [math.KT] . [HTT] Jacob Lurie. Higher Topos Theory (AM-170) . Princeton: Princeton University Press,

    work page arXiv

  14. [14]

    2009 , PAGES =

    isbn: 9781400830558. url: https://doi.org/10.1515/9781400830558. [KP21] Dmitry Kubrak and Artem Prikhodko. p-adic Hodge theory for Artin stacks

    work page doi:10.1515/9781400830558

  15. [15]

    [Man22] Lucas Mann

    arXiv: 2105.05319 [math.AG] . [Man22] Lucas Mann. A p-Adic 6-Functor Formalism in Rigid-Analytic Ge- ometry

    work page arXiv

  16. [16]

    A p - A dic 6- F unctor F ormalism in R igid- A nalytic G eometry

    arXiv: 2206.02022 [math.AG] . [Mao21] Zhouhang Mao. Revisiting derived crystalline cohomology

    work page arXiv

  17. [17]

    The geometry of filtrations

    arXiv: 2107.02921 [math.AG] . [Mou21] Tasos Moulinos. “The geometry of filtrations”. In: Bulletin of the London Mathematical Society 53.5 (2021), pp. 1486–1499. eprint: https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms.12512. url: https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms.12512. [Niz06] Wies/suppress lawa Nizio/suppres...

    work page doi:10.1112/blms.12512 2021

  18. [18]

    [SAG] Jacob Lurie

    arXiv: 2007.02576 [math.AG] . [SAG] Jacob Lurie. Spectral Algebraic Geometry

    work page arXiv 2007

  19. [19]

    Bloch–Kato Conjectu re and Motivic Cohomology with Finite Coefficients

    url: https://www.math.ias.edu/~lurie/papers/SAG- [Stacks] The Stacks Project Authors. Stacks Project. url: https://stacks.math.columbia.edu. [SV00] Andrei Suslin and Vladimir Voevodsky. “Bloch–Kato Conjectu re and Motivic Cohomology with Finite Coefficients”. In: The Arithmetic and Geometry of Algebraic Cycles . Ed. by B. Brent Gordon, James D. Lewis, Stefa...

    work page doi:10.1007/978-94-011-4098-0_5 2000