pith. sign in

arxiv: 2003.05960 · v4 · submitted 2020-03-12 · 🧮 math.NT

On the Bloch-Kato conjecture for GSp(4)

David Loeffler , Sarah Livia Zerbes This is my paper

Pith reviewed 2026-05-24 14:42 UTC · model grok-4.3

classification 🧮 math.NT
keywords Bloch-Kato conjectureEuler systemGSp(4)Siegel modular formIwasawa main conjecturespin motiveexplicit reciprocity lawgenus 2
0
0 comments X

The pith

An explicit reciprocity law holds for the Euler system attached to the spin motive of a genus 2 Siegel modular form

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

The paper proves an explicit reciprocity law for the Euler system of the spin motive attached to a genus 2 Siegel modular form. This law supplies a precise link between the classes in the Euler system and the corresponding Galois cohomology or p-adic L-function data. Establishing the law yields one inclusion of the Iwasawa main conjecture for these motives and confirms the Bloch-Kato conjecture for their critical twists in analytic rank zero. A reader would care because the result converts an arithmetic Euler system into concrete statements about special values of L-functions and sizes of Selmer groups.

Core claim

We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists.

What carries the argument

The Euler system attached to the spin motive of the genus 2 Siegel modular form, which encodes the local and global data needed to formulate and verify the reciprocity relation.

If this is right

  • One inclusion of the Iwasawa Main Conjecture holds for the spin motives of genus 2 Siegel modular forms.
  • The Bloch-Kato conjecture holds in analytic rank zero for critical twists of these motives.
  • The reciprocity law equates the image of the Euler system with the image of the p-adic L-function in the appropriate cohomology group.

Where Pith is reading between the lines

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

  • The same reciprocity technique may apply to other motives attached to automorphic forms on GSp(4) or related groups once suitable Euler systems are constructed.
  • It suggests that verifying local compatibility conditions for Euler systems can serve as a route to Bloch-Kato type results beyond the cases treated here.
  • Obtaining the opposite inclusion in the Iwasawa main conjecture would require an independent construction that bounds the Selmer group from above.

Load-bearing premise

The spin motive of the genus 2 Siegel modular form admits a well-defined Euler system whose local properties are compatible with the reciprocity law being proved.

What would settle it

A concrete genus 2 Siegel modular form for which the Euler system classes fail to map under the reciprocity map to the expected elements in the Selmer group or p-adic L-function would disprove the claim.

read the original abstract

We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists.

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 / 1 minor

Summary. The manuscript proves an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, it obtains one inclusion of the Iwasawa Main Conjecture for such motives and the Bloch-Kato conjecture in analytic rank 0 for their critical twists.

Significance. If the central claim holds, the result would supply a concrete instance of an explicit reciprocity law in the GSp(4) setting, yielding partial progress on the Iwasawa main conjecture and Bloch-Kato for spin motives of Siegel forms. The explicit character of the reciprocity (relating Euler-system classes to a p-adic L-function or its derivative) is a potential strength, provided the Euler-system construction and local compatibility are fully rigorous.

minor comments (1)
  1. The abstract states the main theorem and consequences but supplies no section references, equation numbers, or outline of the Euler-system construction, norm relations, or local computations at bad primes; this prevents verification of load-bearing steps from the provided text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for acknowledging the potential significance of an explicit reciprocity law in the GSp(4) setting. No specific major comments were listed in the report, so we provide no point-by-point responses below. We remain available to clarify any aspects of the Euler system construction, local compatibility, or the resulting applications to the Iwasawa main conjecture and Bloch-Kato conjecture.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states it proves an explicit reciprocity law for a pre-existing Euler system attached to the spin motive, then derives one inclusion of the Iwasawa main conjecture and the Bloch-Kato conjecture in analytic rank zero. No equations, definitions, or steps in the provided abstract or description reduce a claimed prediction or theorem to a fitted parameter, self-citation chain, or input by construction. The central claim rests on constructing or verifying the reciprocity map itself rather than renaming or tautologically re-deriving its inputs. This is the normal case of an independent proof in Iwasawa theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no concrete free parameters, axioms, or invented entities; all such items remain unidentified.

pith-pipeline@v0.9.0 · 5561 in / 1058 out tokens · 27046 ms · 2026-05-24T14:42:14.692370+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages · 1 internal anchor

  1. [1]

    Andreatta, A

    F. Andreatta, A. Iovita, and G. Stevens, Overconvergent E ichler- S himura isomorphisms , J. Inst. Math. Jussieu 14 (2015), no. 2, 221--274. 3315057

    work page 2015

  2. [2]

    Bannai and G

    K. Bannai and G. Kings, p -adic elliptic polylogarithm, p -adic E isenstein series and K atz measure , Amer. J. Math. 132 (2010), no. 6, 1609--1654. 2766179

    work page 2010

  3. [3]

    A. A. Be linson, http://dx.doi.org/10.1090/conm/055.1/862627 Higher regulators of modular curves , Applications of algebraic K -theory to algebraic geometry and number theory, ( B oulder, C olo., 1983), Contemp. Math., vol. 55, Amer. Math. Soc., 1986, pp. 1--34. 862627

    work page doi:10.1090/conm/055.1/862627 1983

  4. [4]

    Berthelot, http://dx.doi.org/10.1007/s002220050143 Finitude et puret\' e cohomologique en cohomologie rigide , Invent

    P. Berthelot, http://dx.doi.org/10.1007/s002220050143 Finitude et puret\' e cohomologique en cohomologie rigide , Invent. Math. 128 (1997), no. 2, 329--377, With an appendix in English by Aise Johan de Jong. 1440308

    work page doi:10.1007/s002220050143 1997

  5. [5]

    Besser, http://dx.doi.org/10.1007/s11856-011-0188-0 On the syntomic regulator for K_1 of a surface , Israel J

    A. Besser, http://dx.doi.org/10.1007/s11856-011-0188-0 On the syntomic regulator for K_1 of a surface , Israel J. Math. 190 (2012), no. 1, 29--66. 2956231

    work page doi:10.1007/s11856-011-0188-0 2012

  6. [6]

    Besser, D

    A. Besser, D. Loeffler, and S. L. Zerbes, http://dx.doi.org/10.1007/s40316-015-0041-7 Finite polynomial cohomology for general varieties , Ann. Math. Qu\' e . 40 (2016), no. 1, 203--220. 3512529

    work page doi:10.1007/s40316-015-0041-7 2016

  7. [7]

    Brown and C

    F. Brown and C. Dupont, http://arxiv.org/abs/1810.07682 Single-valued integration and superstring amplitudes in genus zero , preprint, 2018, arXiv:1810.07682

    work page arXiv 2018

  8. [8]

    D \'e glise, Around the G ysin triangle

    F. D \'e glise, Around the G ysin triangle. II , Doc. Math. 13 (2008), 613--675. 2466188

    work page 2008

  9. [9]

    Deligne and L

    P. Deligne and L. Illusie, http://dx.doi.org/10.1007/BF01389078 Rel\`evements modulo p^2 et d\' e composition du complexe de de R ham , Invent. Math. 89 (1987), no. 2, 247--270. 894379

    work page doi:10.1007/bf01389078 1987

  10. [10]

    Dimitrov, F

    M. Dimitrov, F. Januszewski, and A. Raghuram, http://arxiv.org/abs/1802.10064 L -functions of GL (2n) : p -adic properties and non-vanishing of twists , preprint, 2018, arXiv:1802.10064

    work page arXiv 2018

  11. [11]

    Ertl and K

    V. Ertl and K. Yamada, http://arxiv.org/abs/1805.04974v1 Comparison between rigid syntomic and crystalline syntomic cohomology for strictly semistable log schemes with boundary , preprint, 2018, arXiv:1805.04974v1

    work page arXiv 2018

  12. [12]

    , Poincare duality for H yodo-- K ato cohomology , preprint, 2019

    work page 2019

  13. [13]

    Faltings, Crystalline cohomology and p -adic G alois-representations , Algebraic analysis, geometry, and number theory ( B altimore, MD , 1988), Johns Hopkins Univ

    G. Faltings, Crystalline cohomology and p -adic G alois-representations , Algebraic analysis, geometry, and number theory ( B altimore, MD , 1988), Johns Hopkins Univ. Press, 1989, pp. 25--80. 1463696

    work page 1988

  14. [14]

    Faltings and C.-L

    G. Faltings and C.-L. Chai, http://dx.doi.org/10.1007/978-3-662-02632-8 Degeneration of abelian varieties , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 22, Springer, 1990. 1083353

    work page doi:10.1007/978-3-662-02632-8 1990

  15. [15]

    Genestier and J

    A. Genestier and J. Tilouine, Syst\`emes de T aylor- W iles pour GSp _4 , Ast \'e risque 302 (2005), 177--290, Formes automorphes. II. Le cas du groupe GSp (4) . 2234862

    work page 2005

  16. [16]

    o nne, de R ham- K ohomologie in der rigiden A nalysis , Ph.D. thesis, Universit\

    E. Grosse-Kl \"o nne, de R ham- K ohomologie in der rigiden A nalysis , Ph.D. thesis, Universit\"at M\"unster, 1998

    work page 1998

  17. [17]

    Reine Angew

    , http://dx.doi.org/10.1515/crll.2000.018 Rigid analytic spaces with overconvergent structure sheaf , J. Reine Angew. Math. 519 (2000), 73--95. 1739729

    work page doi:10.1515/crll.2000.018 2000

  18. [18]

    , http://dx.doi.org/10.1215/S0012-7094-02-11312-X Finiteness of de R ham cohomology in rigid analysis , Duke Math. J. 113 (2002), no. 1, 57--91. 1905392

    work page doi:10.1215/s0012-7094-02-11312-x 2002

  19. [19]

    Grosse-Kl\" o nne, https://0-doi-org.pugwash.lib.warwick.ac.uk/10.1090/S0002-9947-07-04138-4 The C ech filtration and monodromy in log crystalline cohomology , Trans

    E. Grosse-Kl\" o nne, https://0-doi-org.pugwash.lib.warwick.ac.uk/10.1090/S0002-9947-07-04138-4 The C ech filtration and monodromy in log crystalline cohomology , Trans. Amer. Math. Soc. 359 (2007), no. 6, 2945--2972. 2286064

    work page doi:10.1090/s0002-9947-07-04138-4 2007

  20. [20]

    Harris, Occult period invariants and critical values of the degree four L -function of GSp (4) , Contributions to automorphic forms, geometry, and number theory (in honour of J

    M. Harris, Occult period invariants and critical values of the degree four L -function of GSp (4) , Contributions to automorphic forms, geometry, and number theory (in honour of J. Shalika), Johns Hopkins Univ. Press, 2004, pp. 331--354. 2058613

    work page 2004

  21. [21]

    Kings, D

    G. Kings, D. Loeffler, and S. L. Zerbes, http://dx.doi.org/10.4310/CJM.2017.v5.n1.a1 R ankin-- E isenstein classes and explicit reciprocity laws , Cambridge J. Math. 5 (2017), no. 1, 1--122. 3637653

    work page doi:10.4310/cjm.2017.v5.n1.a1 2017

  22. [22]

    , https://preprint.press.jhu.edu/ajm/issue/volume-142-number-1-february-2020 R ankin-- E isenstein classes for modular forms , Amer. J. Math. 142 (2020), no. 1

    work page 2020

  23. [23]

    Lan, Integral models of toroidal compactifications with projective cone decompositions, Int

    K.-W. Lan, Integral models of toroidal compactifications with projective cone decompositions, Int. Math. Res. Not. 2017 (2017), no. 11, 3237--3280. 3693649

    work page 2017

  24. [24]

    Lan and P

    K.-W. Lan and P. Polo, http://dx.doi.org/10.4310/mrl.2018.v25.n1.a5 Dual BGG complexes for automorphic bundles , Math. Res. Lett. 25 (2018), no. 1, 85--141. 3818616

    work page doi:10.4310/mrl.2018.v25.n1.a5 2018

  25. [25]

    Lan and B

    K.-W. Lan and B. Stroh, https://0-doi-org.pugwash.lib.warwick.ac.uk/10.1017/fms.2018.20 Compactifications of subschemes of integral models of S himura varieties , Forum Math. Sigma 6 (2018), e18, 105. 3859178

    work page doi:10.1017/fms.2018.20 2018

  26. [26]

    Le Stum, http://dx.doi.org/10.1017/CBO9780511543128 Rigid cohomology , Cambridge Tracts in Mathematics, vol

    B. Le Stum, http://dx.doi.org/10.1017/CBO9780511543128 Rigid cohomology , Cambridge Tracts in Mathematics, vol. 172, Cambridge Univ. Press, 2007. 2358812

    work page doi:10.1017/cbo9780511543128 2007

  27. [27]

    Loeffler, V

    D. Loeffler, V. Pilloni, C. Skinner, and S. L. Zerbes, Higher H ida theory and p -adic L -functions for GSp _4 , preprint, 2019

    work page 2019

  28. [28]

    Loeffler, C

    D. Loeffler, C. Skinner, and S. L. Zerbes, http://arxiv.org/abs/1608.06112 Syntomic regulators of A sai-- F lach classes , preprint, 2016, arXiv:1608.06112

    work page arXiv 2016

  29. [29]

    , http://arxiv.org/abs/1706.00201 Euler systems for GSp (4) , to appear in JEMS, 2017, arXiv:1706.00201

    work page arXiv 2017

  30. [30]

    Mazur and K

    B. Mazur and K. Rubin, Introduction to K olyvagin systems , Stark's conjectures: recent work and new directions, Contemp. Math., vol. 358, Amer. Math. Soc., Providence, RI, 2004, pp. 207--221. 2088718

    work page 2004

  31. [31]

    Mieda, Cycle classes, L efschetz trace formula and integrality for p -adic cohomology , Algebraic number theory and related topics 2007, RIMS K\^ o ky\^ u roku Bessatsu, B12, Res

    Y. Mieda, Cycle classes, L efschetz trace formula and integrality for p -adic cohomology , Algebraic number theory and related topics 2007, RIMS K\^ o ky\^ u roku Bessatsu, B12, Res. Inst. Math. Sci. (RIMS), Kyoto, 2009, pp. 57--66. 2605773

    work page 2007

  32. [32]

    Nekov \'a r and W

    J. Nekov \'a r and W. Nizio , http://dx.doi.org/10.2140/ant.2016.10.1695 Syntomic cohomology and p -adic regulators for varieties over p -adic fields , Algebra & Number Theory 10 (2016), no. 8, 1695--1790, with appendices by Laurent Berger and Fr\'ed\'eric D\'eglise. 3556797

    work page doi:10.2140/ant.2016.10.1695 2016

  33. [33]

    Ohta, On the p -adic E ichler- S himura isomorphism for -adic cusp forms , J

    M. Ohta, On the p -adic E ichler- S himura isomorphism for -adic cusp forms , J. Reine Angew. Math. 463 (1995), 49--98. 1332907

    work page 1995

  34. [34]

    Local Whittaker-Newforms for GSp(4) matching to Langlands parameters

    T. Okazaki, http://arxiv.org/abs/1902.07801 Local W hittaker-newforms for GSp (4) matching to L anglands parameters , preprint, 2019, arXiv:1902.07801

    work page internal anchor Pith review Pith/arXiv arXiv 1902

  35. [35]

    I. I. Piatetski-Shapiro, http://dx.doi.org/10.2140/pjm.1997.181.259 L -functions for GSp _4 , Pacific J. Math. 181 (1997), no. 3, 259--275, Olga Taussky-Todd: in memoriam. 1610879

    work page doi:10.2140/pjm.1997.181.259 1997

  36. [36]

    Pilloni, https://hal.archives-ouvertes.fr/hal-01393374/ Higher coherent cohomology and p -adic modular forms of singular weight , to appear in Duke Math

    V. Pilloni, https://hal.archives-ouvertes.fr/hal-01393374/ Higher coherent cohomology and p -adic modular forms of singular weight , to appear in Duke Math. Jour., 2017

    work page 2017

  37. [37]

    , Higher C oleman T heory , in preparation, 2020

    work page 2020

  38. [38]

    Roberts and R

    B. Roberts and R. Schmidt, http://dx.doi.org/10.1007/978-3-540-73324-9 Local newforms for GSp (4) , Lecture Notes in Mathematics, vol. 1918, Springer, 2007. 2344630

    work page doi:10.1007/978-3-540-73324-9 1918

  39. [39]

    R\"osner and R

    M. R\"osner and R. Weissauer, http://arxiv.org/abs/1711.07409 Regular poles for spinor L -series attached to split B essel models of GSp (4) , preprint, 2017, arXiv:1711.07409

    work page arXiv 2017

  40. [40]

    , http://arxiv.org/abs/1810.09419 Regular poles of local L -functions for GSp (4) with respect to split B essel models (the subregular cases) , preprint, 2018, arXiv:1810.09419

    work page arXiv 2018

  41. [41]

    Rubin, Euler systems, Annals of Mathematics Studies, vol

    K. Rubin, Euler systems, Annals of Mathematics Studies, vol. 147, Princeton Univ. Press, 2000. 1749177

    work page 2000

  42. [42]

    Tilouine, http://0-aif.cedram.org.pugwash.lib.warwick.ac.uk/item?id=AIF_2012__62_4_1383_0 Formes compagnons et complexe BGG dual pour GSp_4 , Ann

    J. Tilouine, http://0-aif.cedram.org.pugwash.lib.warwick.ac.uk/item?id=AIF_2012__62_4_1383_0 Formes compagnons et complexe BGG dual pour GSp_4 , Ann. Inst. Fourier (Grenoble) 62 (2012), no. 4, 1383--1436. 3025747

    work page 2012

  43. [43]

    Tilouine, Siegel varieties and p -adic S iegel modular forms , Doc

    J. Tilouine, Siegel varieties and p -adic S iegel modular forms , Doc. Math. (2006), no. Extra Vol., 781--817. 2290605

    work page 2006

  44. [44]

    Urban, Sur les repr\'esentations p -adiques associ\'ees aux repr\'esentations cuspidales de GSp _4 / , Ast \'e risque 302 (2005), 151--176, Formes automorphes

    E. Urban, Sur les repr\'esentations p -adiques associ\'ees aux repr\'esentations cuspidales de GSp _4 / , Ast \'e risque 302 (2005), 151--176, Formes automorphes. II. Le cas du groupe GSp (4) . 2234861

    work page 2005

  45. [45]

    Waldspurger, Une variante d'un r\'esultat de A izenbud, G ourevitch, R allis et S chiffmann , Ast \'e risque 346 (2012), 313--318, Sur les conjectures de Gross et Prasad

    J.-L. Waldspurger, Une variante d'un r\'esultat de A izenbud, G ourevitch, R allis et S chiffmann , Ast \'e risque 346 (2012), 313--318, Sur les conjectures de Gross et Prasad. I. 3202559

    work page 2012