pith. sign in

arxiv: 2004.14916 · v4 · pith:X54R33DYnew · submitted 2020-04-30 · 🧮 math.NT · math.AG

Arithmetic level raising on triple product of Shimura curves and Gross--Kudla--Schoen Diagonal cycles II: Bipartite Euler system

Haining Wang This is my paper

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

classification 🧮 math.NT math.AG
keywords Gross-Kudla-Schoen diagonal cyclesbipartite Euler systemsymmetric cube motivearithmetic level raisingShimura curvesBloch-Kato conjecturereciprocity lawAbel-Jacobi map
0
0 comments X

The pith

Gross-Kudla-Schoen diagonal cycles form a bipartite Euler system for the symmetric cube motive of a modular form.

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

The paper establishes an unramified arithmetic level raising theorem for the cohomology of the triple product of Shimura curves at places of good reduction. It derives from this a reciprocity law relating the Abel-Jacobi image of the diagonal cycle to a Gross-Kudla type period integral. Combined with the first reciprocity law from earlier work, the diagonal cycles are shown to form a bipartite Euler system for the symmetric cube motive attached to a modular form. This supplies evidence for the rank-one case of the Bloch-Kato conjecture for the same motive.

Core claim

By proving the unramified arithmetic level raising theorem for the cohomology of the triple product and the associated reciprocity law that equates the Abel-Jacobi image of the Gross-Kudla-Schoen diagonal cycle with a Gross-Kudla period integral, and combining both with the prior reciprocity law, the diagonal cycles form a bipartite Euler system for the symmetric cube motive of a modular form, which yields evidence toward the rank-one Bloch-Kato conjecture for that motive.

What carries the argument

The Gross-Kudla-Schoen diagonal cycle on the triple product of Shimura curves, whose Abel-Jacobi image and reciprocity properties allow it to satisfy the defining relations of a bipartite Euler system.

If this is right

  • The Abel-Jacobi image of the diagonal cycle equals the Gross-Kudla period integral via the new reciprocity law.
  • The diagonal cycles satisfy the Euler-system norm relations in the bipartite setting for the symmetric cube motive.
  • The construction supplies concrete evidence supporting the Bloch-Kato conjecture when the analytic rank of the symmetric cube is one.
  • The level-raising result applies directly to the cohomology groups of the triple product at good places.

Where Pith is reading between the lines

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

  • The bipartite Euler-system construction could be tested numerically by computing the diagonal cycle and period integral for a small modular form at a few good primes.
  • The same level-raising and reciprocity techniques might adapt to other motives attached to higher-weight forms or different Shimura varieties.
  • If the Euler system is nontrivial, it could bound the Selmer rank of the symmetric cube motive in additional cases beyond rank one.

Load-bearing premise

The unramified arithmetic level raising theorem holds for the cohomology of the triple product at a place of good reduction.

What would settle it

An explicit modular form and good prime where the Abel-Jacobi image of the corresponding Gross-Kudla-Schoen diagonal cycle does not equal the predicted Gross-Kudla period integral.

read the original abstract

In this article, we study the Gross--Kudla--Schoen diagonal cycle on the triple product of Shimura curves at a place of good reduction and prove an unramified arithmetic level raising theorem for the cohomology of this triple product. We deduce from it a reciprocity law which relates the image of the diagonal cycle under the Abel--Jacobi map to certain period integral of Gross--Kudla type. Combing this with the first reciprocity law we proved in a previous work, we show that the Gross--Kudla--Schoen diagonal cycles form a bipartite Euler system for the symmetric cube motive of a modular form. As an application we provide some evidence for the rank one case of the Bloch--Kato conjecture for the symmetric cube motive of a modular form.

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

Summary. The manuscript proves an unramified arithmetic level raising theorem for the cohomology of the triple product of Shimura curves at a place of good reduction. It deduces a reciprocity law relating the image of the Gross--Kudla--Schoen diagonal cycle under the Abel--Jacobi map to a Gross--Kudla type period integral. Combining this with the reciprocity law from part I, the paper shows that the Gross--Kudla--Schoen diagonal cycles form a bipartite Euler system for the symmetric cube motive of a modular form. As an application, it provides evidence for the rank one case of the Bloch--Kato conjecture for this motive.

Significance. If the results hold, the construction of a bipartite Euler system via diagonal cycles on the triple product of Shimura curves is a notable technical advance for motives of higher symmetric powers. The explicit unramified level raising theorem at good reduction places and the resulting reciprocity laws supply the necessary arithmetic input. The logical combination of the new reciprocity with the prior one from part I to obtain the Euler system is a clear strength, as is the direct application to evidence for Bloch--Kato in the rank-one case.

minor comments (3)
  1. Abstract: 'Combing this with' is a typographical error and should read 'Combining this with'.
  2. Introduction: the precise definition of a 'bipartite Euler system' (including the two families of classes and the required norm-compatibility relations) should be recalled or cross-referenced explicitly, since the manuscript is presented as a sequel.
  3. The notation for the triple product Shimura curve and the diagonal cycle should be fixed consistently between the abstract and the main text to avoid minor confusion for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the clear summary of its contributions, and the recommendation of minor revision. No major comments appear in the report, so there are no specific points requiring point-by-point rebuttal or revision.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper proves a new unramified arithmetic level raising theorem for the triple product cohomology at good reduction places and deduces a reciprocity law from it. It then combines the new reciprocity with one from a prior separate paper (part I) to conclude that the GKS cycles form a bipartite Euler system. This is a standard sequential argument in a sequel; the central claim rests on the independent new theorem proved here rather than reducing by definition, fit, or self-citation chain to the paper's own inputs. No self-definitional steps, fitted predictions presented as results, or load-bearing internal loops are present.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard properties of Shimura curves, motives, and Abel-Jacobi maps that are assumed from prior literature; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • domain assumption Properties of the cohomology of triple products of Shimura curves at places of good reduction
    Invoked in the statement of the level raising theorem (abstract paragraph 1)
  • domain assumption Existence and basic properties of the Gross-Kudla-Schoen diagonal cycle and the Abel-Jacobi map
    Used to define the image whose reciprocity is studied

pith-pipeline@v0.9.0 · 5671 in / 1396 out tokens · 19910 ms · 2026-05-24T14:51:36.565349+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.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Boutot and H

    J.-F. Boutot and H. Carayol, Uniformisation p -adique des courbes de S himura: les th\' e or\`emes de C erednik et de D rinfeld , Courbes modulaires et courbes de Shimura (Orsay, 1987/1988), Ast\' e risque, (1991), 196-197 , 45--158

    work page 1987

  2. [2]

    Buzzard, Integral models of certain Shimura curves , Duke

    K. Buzzard, Integral models of certain Shimura curves , Duke. Math. J. 87 , (1997), no.3, 591--612

    work page 1997

  3. [3]

    Bertolini, H

    M. Bertolini, H. Darmon, Heegner points on M umford- T ate curves , Invent. Math. 126 , (1996), no.3, 413--456

    work page 1996

  4. [4]

    Bertolini, H

    M. Bertolini, H. Darmon, Heegner points, p -adic L -functions, and the C erednik- D rinfeld uniformization , Invent. Math. 131 , (1998), no.3, 453--491

    work page 1998

  5. [5]

    Bertolini, H

    M. Bertolini, H. Darmon, Iwasawa's main conjecture for elliptic curves over anticyclotomic Z_p -extensions , Ann. of Math. (2) 162 , (2005), 1--64

    work page 2005

  6. [6]

    Bosch, W

    S. Bosch, W. L\" u tkebohmert and M. Raynaud, N\' e ron models , Ergebnisse der Mathematik und ihrer Grenzgebiete 21 , Springer-Verlag, Berlin, 1990, x+325

    work page 1990

  7. [7]

    Boston, H

    N. Boston, H. Lenstra and K. Ribet, Quotients of group rings arising from two-dimensional representations, C. R. Acad. Sci. Paris S\' e r. I Math. 312 (1991), no. 4 , 323--328

    work page 1991

  8. [8]

    Bloch, K

    S. Bloch, K. Kato, L-functions and Tamagawa numbers of Motives , The Grothendieck Festschrift, Vol.I, Progr. Math., vol.86, 330--400

    work page

  9. [9]

    Caraiani, Local-global compatibility and the action of monodromy on nearby cycles , Duke Math

    A. Caraiani, Local-global compatibility and the action of monodromy on nearby cycles , Duke Math. J. (2012), 2311--2413

    work page 2012

  10. [10]

    Chida, M-L

    M. Chida, M-L. Hsieh, Special values of anticyclotomic L -functions for modular forms , Compos. Math. 151 , (2015), 863--897

    work page 2015

  11. [11]

    Chida, M-L

    M. Chida, M-L. Hsieh, Anticyclotomic Iwasawa main conjecture for modular forms , J. Reine Angew. Math. 741 , (2018), no.5, 87--131

    work page 2018

  12. [12]

    F. Diamond. The T aylor- W iles construction and multiplicity one. Invent. Math. , 128(2) , (1997), 379--391

    work page 1997

  13. [13]

    Darmon, F

    H. Darmon, F. Diamond and R. Taylor, Fermat's last theorem , Current Developments in Mathematics, 1995 (Cambridge, MA), 1--154, Internat. press, Cambridge, MA, 1994

    work page 1995

  14. [14]

    Darmon, V

    H. Darmon, V. Rotger, Diagonal cycles and E uler systems I : A p -adic G ross- Z agier formula , Ann. Sci. \' E c. Norm. Sup\' e r. 47 , (2014), no.4, 779--832

    work page 2014

  15. [15]

    Darmon, V

    H. Darmon, V. Rotger, Diagonal cycles and E uler systems II : T he B irch and S winnerton- D yer conjecture for H asse- W eil- A rtin L -functions , J. Amer. Math. Soc. 30 , (2017), no.3, 601--672

    work page 2017

  16. [16]

    Diamond and R

    F. Diamond and R. Taylor, Non-optimal level of mod l modular representations , Invent. Math. 115 , (1994), no.3, 435--462

    work page 1994

  17. [17]

    Gross, Kolyvagin's work on modular elliptic curves , L -functions and arithmetic ( D urham, 1989), London Math

    B.H. Gross, Kolyvagin's work on modular elliptic curves , L -functions and arithmetic ( D urham, 1989), London Math. Soc. Lecture Note Ser. 153 (1991), 235--256, Cambridge Univ. Press, Cambridge

    work page 1989

  18. [18]

    Gross, and S

    B.H. Gross, and S. Kudla, Heights and the central critical values of triple product L -functions , Compositio Math. 81 (1992), no. 2, 143--209

    work page 1992

  19. [19]

    Gross, and C

    B.H. Gross, and C. Schoen, The modified diagonal cycle on the triple product of a pointed curve , Ann. Inst. Fourier (Grenoble). 45 (1995), no. 3, 649--679

    work page 1995

  20. [20]

    Howard, Bipartite E uler systems , J

    B. Howard, Bipartite E uler systems , J. Reine Angew. Math. 597 (2006), 1--25

    work page 2006

  21. [21]

    Ichino, Trilinear forms and the central values of triple product L -functions , Duke Math

    A. Ichino, Trilinear forms and the central values of triple product L -functions , Duke Math. J. 145 (2008), no.2, 281--307

    work page 2008

  22. [22]

    Hsieh, Hida families and p-adic triple product L -functions , to appear in American J

    M. Hsieh, Hida families and p-adic triple product L -functions , to appear in American J. Math

    work page

  23. [23]

    Illusie, Autour du th\' e or\`eme de monodromie locale , P\' e riodes p -adiques (Bures-sur-Yvette, 1988), Ast\' e risque, (1994), 9--57

    L. Illusie, Autour du th\' e or\`eme de monodromie locale , P\' e riodes p -adiques (Bures-sur-Yvette, 1988), Ast\' e risque, (1994), 9--57

    work page 1988

  24. [24]

    Illusie, Sur la Formule de Picard-Lefschetz , Algebraic Geometry 2000, Azumino, Advanced studies in Pure Mathematics, (2002), 249--268

    L. Illusie, Sur la Formule de Picard-Lefschetz , Algebraic Geometry 2000, Azumino, Advanced studies in Pure Mathematics, (2002), 249--268

    work page 2000

  25. [25]

    Ito, Weight-monodromy conjecture for p -adically uniformized varieties , Invent

    T. Ito, Weight-monodromy conjecture for p -adically uniformized varieties , Invent. Math. 159 (2005), no.3, 607--656

    work page 2005

  26. [26]

    Liu, Hirzebruch- Z agier cycles and twisted triple product S elmer groups , Invent

    Y. Liu, Hirzebruch- Z agier cycles and twisted triple product S elmer groups , Invent. Math. 205 (2016) no.3 693--780

    work page 2016

  27. [27]

    Liu, Bounding cubic-triple product S elmer groups of elliptic curves , J

    Y. Liu, Bounding cubic-triple product S elmer groups of elliptic curves , J. Eur. Math. Soc. (JEMS). 21 (2017) no.5 1411--1508

    work page 2017

  28. [28]

    Liu and Y

    Y. Liu and Y. Tian, Supersingular locus of Hilbert modular varieties, arithmetic level raising and Selmer groups , Preprint. arXiv:1710.11492

    work page arXiv

  29. [29]

    Nekovar, p -adic Abel-Jacobi maps and p -adic heights , The arithmetic and geometry of algebraic cycles, CRM Proc

    J. Nekovar, p -adic Abel-Jacobi maps and p -adic heights , The arithmetic and geometry of algebraic cycles, CRM Proc. Lecture Notes, V ol. 24, Amer.Math.Soc, Providence, RI, 2000, 367--379

    work page 2000

  30. [30]

    Y. Liu, Y. Tian, L. Xiao, W. Zhang and X. Zhu, On the Beilinson-Bloch-Kato conjecture for Rankin-Selberg motives , Preprint. arXiv:1912.11942

    work page arXiv 1912

  31. [31]

    Kudla and M

    S. Kudla and M. Harris , The central critical value of a triple product L -function , Ann. of Math. 133 (1991) no.2 605--672

    work page 1991

  32. [32]

    Kudla and M

    S. Kudla and M. Rapoport , Height pairings on S himura curves and p -adic uniformization , Invent. Math. 142 (2000) no.1, 153--223

    work page 2000

  33. [33]

    Ribet, Congruence relations between modular forms , Proceedings of the I nternational C ongress of M athematicians, V ol

    K. Ribet, Congruence relations between modular forms , Proceedings of the I nternational C ongress of M athematicians, V ol. 1, 2 ( W arsaw, 1983) (1984), 503--514, PWN, Warsaw

    work page 1983

  34. [34]

    Ribet, On modular representations of Gal ( Q / Q ) arising from modular forms , Invent

    K. Ribet, On modular representations of Gal ( Q / Q ) arising from modular forms , Invent. Math. 100 (1990) no.2 431--476

    work page 1990

  35. [35]

    U ber die lokale Z etafunktion von S himuravariet\

    M. Rapoport and Th. Zink, \" U ber die lokale Z etafunktion von S himuravariet\" a ten. M onodromiefiltration und verschwindende Z yklen in ungleicher C harakteristik , Invent. Math. Vol.68 (1982), no.1, 21--101

    work page 1982

  36. [36]

    Saito, Weight spectral sequences and independence of l , J

    T. Saito, Weight spectral sequences and independence of l , J. Inst. Math. Jussieu. 2 (2003) no.4 583--634

    work page 2003

  37. [37]

    Wang, Arithmetic level raising on triple product of Shimura curves and Gross-Schoen Diagonal cycles I: Ramified case , Preprint, arXiv:2004.00555

    H. Wang, Arithmetic level raising on triple product of Shimura curves and Gross-Schoen Diagonal cycles I: Ramified case , Preprint, arXiv:2004.00555

    work page arXiv 2004

  38. [38]

    Xiao, Lectures at Morningside center

    L. Xiao, Lectures at Morningside center

    work page

  39. [39]

    X. Yuan, S. Zhang and W. Zhang, Triple product L-series and Gross-Kudla-Schoen cycles , preprint

    work page

  40. [40]

    Zink, \' U ber die schlechte R eduktion einiger S himuramannigfaltigkeiten , Compositio Math

    T. Zink, \' U ber die schlechte R eduktion einiger S himuramannigfaltigkeiten , Compositio Math. 45 (1982) no.1 15--107

    work page 1982

  41. [41]

    Zhang, Gross- S choen cycles and dualising sheaves , Invent

    S. Zhang, Gross- S choen cycles and dualising sheaves , Invent. Math. 179 (2010) no.1 1--73

    work page 2010

  42. [42]

    Zhang, Selmer groups and the indivisibility of H eegner points , Camb

    W. Zhang, Selmer groups and the indivisibility of H eegner points , Camb. J. Math. 2 (2014) no.2 191--253

    work page 2014