Pith. sign in

REVIEW 3 major objections 4 minor 30 references

A Hasse principle for the higher Chow groups of curves over a global field

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The mod-l structure of the kernel of the higher Chow group boundary map of a curve is determined by the l-torsion of its Jacobian and local reduction data.

desk verdict Theorem 1.1's trivial-image clause is false, contradicted by the paper's own Theorem 4.6 via a constant elliptic curve, but the exact sequence is new and worth salvaging. read the letter →

arxiv 2507.22319 v4 pith:MFS7M6WX submitted 2025-07-30 math.NT

Toshiro Hiranouchi This is my paper · ORCID
classification math.NT MSC 11G0514C1519D45
keywords higherChowgroupsglobalfieldsellipticcurvesJacobianvarietiesmod-lGaloisrepresentationsSomekawaK-groupsboundarymapBloch'sconjecture
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

The paper proves a Hasse principle for the higher Chow group $\mathrm{CH}^2(X,1)$ of a smooth projective curve $X$ over a global field: the mod-$l$ quotient of the kernel $V(X)$ of the push-forward to $F^\times$ is governed by the mod-$l$ Galois representation on the $l$-torsion of the Jacobian $J$ of $X$ and by local reduction data. The main result is an exact sequence $0\to\mathrm{Ker}(\partial^{\mathrm{good}}_{X,l})\to V(X,l)\to J[l]_{G_F}\to\mathrm{Coker}(\partial^{\mathrm{good}}_{X,l})\to 0$ for odd primes $l\neq\mathrm{char}(F)$, which says that the boundary map's failure to be an isomorphism is measured exactly by special local terms and by the Galois coinvariant quotient of $J[l]$. When the mod-$l$ Galois image contains $\mathrm{Sp}_{2g}(\mathbb{F}_l)$ or is trivial, the boundary map is bijective; for elliptic curves the sequence is unconditional and gives explicit computations of the kernel and cokernel. The result makes the mod-$l$ structure of these torsion groups an explicit function of computable arithmetic data, placing higher Chow groups of curves on the same footing as the classical Milnor $K$-group $K_2$ of a number field.

What carries the argument

The machinery is the boundary map $\partial_X\colon V(X)\to\bigoplus_v A_0(X_v)$ supplied by the class field theory of arithmetic surfaces, together with the global-to-local exact sequence of Proposition 4.1(ii) (the 'Bloch sequence') $V(X)/m\to\bigoplus_v V(X_v)/m\to T(X)_{G_F}\to 0$, which reduces mod $l$ to identify the final term with the Galois coinvariants $J[l]_{G_F}$. The other load-bearing ingredient is a Hasse principle in Galois cohomology: when $X^1(G,J[l]^\vee)=0$, the localization map $\mathrm{loc}_l$ is injective, and for elliptic curves this vanishing is unconditional via Ramakrishnan's cohomological Hasse principle and Chebotarev. A snake-lemma chase over the commutative diagram relating the global sequence to the sum of local boundary maps then yields the four-term exact sequence, with the vanishing of kernels of local boundary maps at good places (Lemma 3.5) and the explicit computations for Tate curves at bad places (Lemma 3.6, Proposition 3.10) supplying the local terms.

What would settle it

For the elliptic curve 14a1 at $l=3$, compute the four $\mathbb{F}_3$-vector spaces in the exact sequence (4.6) — $\mathrm{Ker}(\partial^{\mathrm{good}}_{E,3})$, $V(E,3)$, $E[3]_{G_\mathbb{Q}}$, and $\mathrm{Coker}(\partial^{\mathrm{good}}_{E,3})$ — from the paper's local formulas and independently from a direct computation of the Somekawa $K$-group $V(E)/3$; exactness forces the alternating sum of their dimensions to be zero, so any non-zero value would disprove the central claim.

Watch

Extended reading notes

Core claim

The central claim is the exact sequence (4.6): for an odd prime $l\neq\mathrm{char}(F)$, assuming the localization map $\mathrm{loc}_l$ is injective, there is an exact sequence of finite-dimensional $\mathbb{F}_l$-vector spaces $0\to\mathrm{Ker}(\partial^{\mathrm{good}}_{X,l})\to V(X,l)\to J[l]_{G_F}\to\mathrm{Coker}(\partial^{\mathrm{good}}_{X,l})\to 0$, where $\partial^{\mathrm{good}}_{X,l}$ is the mod-$l$ boundary map at places of good reduction, $V(X,l)$ is built from kernels of local boundary maps at places dividing $l$ and from $V(X_v)/l$ at bad places, and $J[l]_{G_F}$ is the Galois coinvariant quotient of the $l$-torsion of the Jacobian. In particular, the kernel and cokernel of the boundary map are governed by local reduction data and the representation on $J[l]$. Two consequences the paper draws are that the boundary map is bijective whenever the image of $\rho_{J,l}$ contains $\mathrm{Sp}_{2g}(\mathbb{F}_l)$ or is trivial, and that for elliptic curves the sequence is unconditional, with explicit computations of the mod-$l$ kernel for the conductor-11 and conductor-14 curves in Section 5.

Load-bearing premise

The load-bearing premise is that the localization map $\mathrm{loc}_l\colon V(X)/l\to\bigoplus_v V(X_v)/l$ is injective, a Hasse-principle condition the paper proves for elliptic curves and for Jacobians with large or trivial Galois image, but which is not established for arbitrary curves of genus at least two; if it fails, the exact sequence (4.6) is not known to hold.

Editorial extensions

If this is right

  • For an elliptic curve $E$ over a global field, whenever the mod-$l$ Galois representation contains $\mathrm{SL}_2(\mathbb{F}_l)$, one has $E[l]_{G_F}=0$, so the mod-$l$ boundary map is surjective and its kernel is exactly the explicit local group $V(E,l)$.
  • If $\mathrm{End}_{\overline F}(J)=\mathbb{Z}$ and $J$ has semistable reduction of toric dimension one at some place, then $\partial^{\mathrm{good}}_{X,l}\colon V(X)/l\to\bigoplus_{v\text{ good}}J_v(F_v)/l$ is an isomorphism for all but finitely many primes $l\neq\mathrm{char}(F)$.
  • Computing the mod-$l$ structure of $V(X)$ reduces to finitely many local calculations (Tate periods, reduction types, residue fields) plus the dimension of the Galois coinvariant space $J[l]_{G_F}$; the Section 5 examples exhibit the resulting isomorphisms for conductor-11 and conductor-14 elliptic curves.
  • In the function-field case, if $E[l]\subset E(F)$ or the isogeny condition $(SC_l)$ of the paper holds, the boundary map $\partial^{\mathrm{good}}_{E,l}$ is surjective, giving a positive-characteristic analogue of the number-field theorem.
  • The exact sequence determines the boundary map's behaviour at bad and archimedean places: a good place $v$ with $v\mid l$ contributes nothing under mild ramification assumptions (Lemma 3.5), and real places contribute nothing for odd $l$.

Reading between the lines

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

  • An implicit corollary of the four-term exact sequence is an Euler-characteristic identity $\dim\mathrm{Ker}(\partial^{\mathrm{good}}_{X,l})-\dim V(X,l)+\dim J[l]_{G_F}-\dim\mathrm{Coker}(\partial^{\mathrm{good}}_{X,l})=0$, which a reader could verify numerically for any explicit curve with a computable mod-$l$ representation; this is the cleanest testable footprint of the theorem.
  • Because the only global hypothesis is injectivity of $\mathrm{loc}_l$, the theorem suggests that any failure of the Hasse principle for higher Chow groups of curves of genus $\ge 2$ would be purely Galois-cohomological in origin, not geometric; searching for a genus-2 Jacobian with reducible mod-$l$ image and non-vanishing $X^1(G,J[l]^\vee)$ would probe that boundary.
  • The parallel with $K_2$ of a global field, whose tame-symbol kernel is finite and connected to special $L$-values, suggests that the mod-$l$ boundary map may lead to analytic formulas for the size of its kernel in terms of $L$-functions of $J$, especially when combined with the cited function-field relation between $V(E)/l$ and $L(E,0)$.
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

3 major / 4 minor

Summary. The paper studies the kernel V(X) of the push-forward map CH^2(X,1) -> F^× for a smooth projective curve X over a global field F. Combining Bloch's exact sequence, local class field theory for curves, and a cohomological Hasse principle for the mod-l Galois representation on J[l], the author derives an exact sequence (Theorem 4.6) relating the kernel and cokernel of the mod-l boundary map ∂^good_{X,l} to local data V(X,l) and the coinvariants J[l]_{G_F}, under an injectivity assumption loc_l. It then claims (Theorem 1.1) that ∂^good is bijective when the image of ρ_{J,l} is either sufficiently large or trivial, and it gives local computations for elliptic curves, including split and non-split multiplicative reduction and worked examples over Q.

Significance. If the exact sequence in Theorem 4.6 is correct, it provides a genuine Hasse-principle framework for the mod-l structure of V(X): the failure of ∂^good to be an isomorphism is measured by bad-reduction local terms and by J[l]_{G_F}. The derivation from Bloch's exact sequence and standard duality theorems is transparent, and the local computations for Tate curves are useful. However, the advertised trivial-image clause of Theorem 1.1 is false, and Proposition 4.11's E[l]⊂E(F) surjectivity claim is false; these must be corrected. The core exact sequence appears salvageable and, after removing the false claims, the paper would be a worthwhile contribution.

major comments (3)
  1. [§1, Theorem 1.1; §4.2, Theorem 4.6] The trivial-image case is internally inconsistent with the paper's own refinement. Let E0 be y^2+y=x^3 over F_4; one checks #E0(F_4)=9, so E0[3]⊂E0(F_4). Put F=F_4(t), E=E0⊗_{F_4}F, and l=3. The discriminant of this model is 1, so E has good reduction at every finite place; hence the function-field definition in Theorem 4.6 gives V(E,3)=0. Since G_F acts trivially on E[3], E[3]_{G_F} is a 2-dimensional F_3-vector space. The image of ρ_E,3 is trivial, so loc_3 is injective by Lemma 4.2 and Proposition 4.3(ii). Substituting into (4.6) yields 0→0→0→E[3]→Coker(∂^good_{E,3})→0, forcing Coker(∂^good_{E,3})≅E[3], which is nonzero. This contradicts the bijectivity claimed in Theorem 1.1. The flaw is structural: with trivial image the coinvariant quotient J[l]_{G_F} need not vanish, and it must be hit by V(X,l) before an isomorphism can occur.
  2. [§4.3, Proposition 4.11] The assertion that E[l]⊂E(F) implies ∂^good_{E,l} is surjective is false; the same constant elliptic curve satisfies E[3]⊂E(F) but has Coker(∂^good_{E,3})≅E[3] by the exact sequence. The local-approximation proof cannot be valid globally, since it would conflict with the global reciprocity constraint encoded in (4.6). Please remove this case or replace it with the exact statement supplied by Theorem 4.6.
  3. [§4.2, Theorem 4.6 and hypothesis loc_l] Theorem 4.6 is stated under the assumption that loc_l: V(X)/l → ⊕_v V(X_v)/l is injective. This hypothesis is not mentioned in the abstract or in the statements of Theorems 1.1 and 1.2 that depend on Theorem 4.6. Even after removing the false trivial-image clause, the remaining statements should explicitly include this hypothesis or prove it under their hypotheses; as written, the reader cannot tell when the advertised Hasse principle is conditional.
minor comments (4)
  1. [§4.2, diagram (4.8)] The commutative diagram used for the snake lemma is not fully typeset; the vertical maps from the top row to the bottom row and the source of the arrow to J[l]_{G_F} are missing. Please redraw the diagram so that the application of the snake lemma is checkable.
  2. [§4.3, Lemma 4.7] Lemma 4.7 is cited from the unpublished preprint [Hir], although a proof is given in the text. Please state explicitly that the proof is self-contained, so the main theorem does not depend on unpublished work.
  3. [Section 5, Examples 5.1 and 5.2] The examples invoke [Hir, Lemma 4.1] for surjectivity in the (SC_l) case over Q; since [Hir] is unpublished, please either include a proof of the needed number-field statement or clearly label those example conclusions as conditional on [Hir].
  4. [Abstract and Introduction] The phrase 'or is trivial' in Theorem 1.1 and the matching claim in Proposition 4.11 should be deleted or replaced by the correct cokernel statement from Theorem 4.6, and the abstract should be amended accordingly.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction in the main exact sequence; only minor auxiliary self-citations, with a flagged correctness gap in the trivial-image clause of Theorem 1.1.

full rationale

No circular derivation was found. The central result, Theorem 4.6, is derived by applying the snake lemma to Bloch's exact sequence (Proposition 4.1(ii)), using the injectivity assumption on loc_l (Lemma 4.2, proved via global Tate duality and Chebotarev), the surjectivity of local boundary maps at good reduction (Lemma 3.4), and the vanishing of local kernels under the stated hypotheses (Lemma 3.5). The objects in the exact sequence (4.6) are not defined in terms of Ker(∂^good) or Coker(∂^good), and the coinvariant term J[l]_GF is a genuinely global input that is not manufactured from the local terms. The self-citations to the author's earlier work [Hir] are auxiliary rather than load-bearing: Lemma 4.7 is restated with a proof in this paper, and [Hir, Lemma 4.1] is used only in the worked number-field examples in Section 5 to assert surjectivity in the (SC_l) case, not in the proof of the main theorem. For completeness, the trivial-image clause of Theorem 1.1 is flagged as a potential correctness issue: it is asserted without a proof and appears inconsistent with Theorem 4.6 for a constant supersingular elliptic curve over F_4(t) at l=3, where the exact sequence forces a two-dimensional cokernel. That concern is a correctness or missing-proof matter, not a circularity. The main derivation chain is self-contained against the cited Bloch, Kato-Saito, and Galois-cohomology results.

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

The paper introduces no new free parameters or invented entities. It relies on standard theorems of class field theory and Galois cohomology, on the standing assumption X(F)≠∅, and on a conditional injectivity hypothesis for the Hasse principle. The main dependency with self-citation weight is [Hir], used for auxiliary lemma-level results.

assumptions (8)
  • standard math Bloch's exact sequence (Proposition 4.1(ii)): V(X)/m → ⊕_v V(X_v)/m → T(X)_{G_F}/m → 0 for m annihilating T(X)^{G_F}.
    Cited from [KS83, Section 5, Proposition 5]; used as the starting point for Theorem 4.6.
  • standard math Local class field theory for curves (Theorem 3.1): V(X)^{red} ≅ torsion of π_1^{ab}(X)^{geo}, boundary surjectivity and finiteness of the kernel.
    From [Blo81], [Sai85], [Yos03]; used throughout Section 3.
  • standard math Injective Galois symbol maps (2.8) for mod-l Somekawa K-groups.
    From [Yam05, Theorem 6.1]; used to prove Lemma 4.2 and local vanishing.
  • standard math Ramakrishnan's cohomological Hasse principle for elliptic curves in Proposition 4.3(i).
    First cited as [Ram, Proposition 1.2.1]; ensures X^1(G,E[l]^∨)=0.
  • standard math Big monodromy/open image theorem: for End(J)=Z with semistable toric dimension one at some place, Im(ρ_{J,l}) contains Sp_{2g}(F_l) for all large l.
    Cited [Hal11], [AdRGP13]; used for the abstract consequence.
  • domain assumption Assumption X(F)≠∅ throughout, to split the norm map and define V(X).
    Needed for SK_1(X)→F^× to be surjective; stated at the start of Section 1.
  • domain assumption In Theorem 4.6, the assumption that loc_l is injective.
    Hypothesis of the theorem; proved conditionally via X^1(G,J[l]^∨)=0 in Lemma 4.2.
  • ad hoc to paper The results of [Hir] for elliptic curves over number fields (Lemma 4.7 and [Hir, Lemma 4.1]).
    Self-cited, unpublished arXiv preprint used in examples; not independently checked here.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Hasse principle for the higher Chow groups of curves over a global field." pith.science (2026). https://pith.science/paper/MFS7M6WX

@misc{pith2026250722319,
  author       = {Pith},
  title        = {Pith review of: A Hasse principle for the higher Chow groups of curves over a global field},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MFS7M6WX}},
  note         = {Machine review of arXiv:2507.22319}
}
abstract

Let $X$ be a smooth projective curve over a global field $F$, and let $V(X)$ denote the kernel of the push-forward map $CH^2(X,1)\to F^\times$. We study the mod-$l$ structure of $V(X)$ by combining Bloch's exact sequence with a Hasse principle in Galois cohomology associated with the mod-$l$ representation of the Jacobian $J$ of $X$. We obtain an exact sequence that describes the kernel and cokernel of the boundary map in terms of local reduction data and the coinvariant quotient $J[l]_{G_F}$. As a consequence, if $\mathrm{End}_{\overline F}(J)=\mathbb{Z}$ and $J$ has semistable reduction of toric dimension one at some place of $F$, then the mod-$l$ boundary map is an isomorphism for all but finitely many primes $l\neq\mathrm{char}(F)$. We also give explicit computations for elliptic curves.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [3]

    Bandini, I

    A. Bandini, I. Longhi, and S. Vigni, Torsion points on elliptic curves over function fields and a theorem of I gusa , Expo. Math. 27 (2009), no. 3, 175--209

    work page 2009

  2. [1]

    Akhtar, Cycles on curves over global fields of positive characteristic, Trans

    R. Akhtar, Cycles on curves over global fields of positive characteristic, Trans. Amer. Math. Soc. 357 (2005), no. 7, 2557--2569 (electronic)

    work page 2005

  3. [2]

    Bloch, Algebraic K -theory and classfield theory for arithmetic surfaces , Ann

    S. Bloch, Algebraic K -theory and classfield theory for arithmetic surfaces , Ann. of Math. (2) 114 (1981), no. 2, 229--265

    work page 1981

  4. [4]

    A. C. Cojocaru and C. Hall, Uniform results for S erre's theorem for elliptic curves , Int. Math. Res. Not. (2005), no. 50, 3065--3080

    work page 2005

  5. [5]

    I. B. Fesenko and S. V. Vostokov, Local fields and their extensions, second ed., Translations of Mathematical Monographs, vol. 121, American Mathematical Society, Providence, RI, 2002, With a foreword by I. R. Shafarevich

    work page 2002

  6. [6]

    Gazaki and T

    E. Gazaki and T. Hiranouchi, Divisibility results for zero-cycles, European Journal of Math (2021), 1--44

    work page 2021

  7. [7]

    A Hasse principle for $GL_2(\mathbb{F}_p)$ and Bloch's exact sequence for elliptic curves over number fields

    T. Hiranouchi, A H asse principle for GL_2( F _p) and B loch's exact sequence for elliptic curves over number fields , arXiv:2504.05595

    work page Pith review arXiv

  8. [8]

    197 (2021), no

    , Galois symbol maps for abelian varieties over a p -adic field , Acta Arith. 197 (2021), no. 2, 137--157

    work page 2021

Show all 30 references
  1. [9]

    Kyushu Inst

    , Galois symbol map for a T ate curve , Bull. Kyushu Inst. Technol. Pure Appl. Math. (2022), no. 69, 1--6

    2022

  2. [10]

    K-Theory 9 (2024), no

    , An additive variant of the differential symbol maps, Ann. K-Theory 9 (2024), no. 3, 499--518

    2024

  3. [11]

    N. M. Katz and S. Lang, Finiteness theorems in geometric classfield theory, Enseign. Math. (2) 27 (1981), no. 3-4, 285--319 (1982), With an appendix by Kenneth A. Ribet

    1981

  4. [12]

    Kato and S

    K. Kato and S. Saito, Unramified class field theory of arithmetical surfaces, Ann. of Math. (2) 118 (1983), no. 2, 241--275

    1983

  5. [13]

    R. J. S. McDonald, Torsion subgroups of elliptic curves over function fields of genus 0, J. Number Theory 193 (2018), 395--423. 3846816

    2018

  6. [14]

    J. S. Milne, Arithmetic duality theorems, second ed., BookSurge, LLC, Charleston, SC, 2006

    2006

  7. [15]

    Neukirch, Algebraic number theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

    J. Neukirch, Algebraic number theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 322, Springer-Verlag, Berlin, 1999, Translated from the 1992 German original and with a note by Norbert Schappacher, With a foreword by G. Harder

    1999

  8. [16]

    Neukirch, A

    J. Neukirch, A. Schmidt, and K. Wingberg, Cohomology of number fields, second ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 323, Springer-Verlag, Berlin, 2008

    2008

  9. [17]

    Ramakrishnan, Global galois symbols on E E , to appear in Indag

    R. Ramakrishnan, Global galois symbols on E E , to appear in Indag. Math., arXiv:2407.20468

    arXiv

  10. [18]

    Raskind, On K_1 of curves over global fields , Math

    W. Raskind, On K_1 of curves over global fields , Math. Ann. 288 (1990), no. 2, 179--193. 1075763

    1990

  11. [19]

    Raskind and M

    W. Raskind and M. Spiess, Milnor K -groups and zero-cycles on products of curves over p -adic fields , Compositio Math. 121 (2000), 1--33

    2000

  12. [20]

    Reverter and N

    A. Reverter and N. Vila, Images of mod p G alois representations associated to elliptic curves , Canad. Math. Bull. 44 (2001), no. 3, 313--322

    2001

  13. [21]

    Sage Developers , S age M ath, the S age M athematics S oftware S ystem , 2024

    2024

  14. [22]

    Saito, Class field theory for curves over local fields, J

    S. Saito, Class field theory for curves over local fields, J. Number Theory 21 (1985), no. 1, 44--80

    1985

  15. [23]

    Serre, Corps locaux, Hermann, Paris, 1968, Deuxi\`eme \'edition, Publications de l'Universit\'e de Nancago, No

    J.-P. Serre, Corps locaux, Hermann, Paris, 1968, Deuxi\`eme \'edition, Publications de l'Universit\'e de Nancago, No. VIII

    1968

  16. [24]

    J. H. Silverman, The arithmetic of elliptic curves, second ed., Graduate Texts in Mathematics, vol. 106, Springer, Dordrecht, 2009

    2009

  17. [25]

    151, Springer, Dordrecht, 2013

    , Advanced topic in the arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 151, Springer, Dordrecht, 2013

    2013

  18. [26]

    Somekawa, On M ilnor K -groups attached to semi-abelian varieties , K -Theory 4 (1990), no

    M. Somekawa, On M ilnor K -groups attached to semi-abelian varieties , K -Theory 4 (1990), no. 2, 105--119

    1990

  19. [27]

    Tate, Relations between K 2 and G alois cohomology , Invent

    J. Tate, Relations between K 2 and G alois cohomology , Invent. Math. 36 (1976), 257--274

    1976

  20. [28]

    Yamazaki, On C how and B rauer groups of a product of M umford curves , Math

    T. Yamazaki, On C how and B rauer groups of a product of M umford curves , Math. Ann. 333 (2005), 549--567

    2005

  21. [29]

    Yoshida, Abelian \'etale coverings of curves over local fields and its application to modular curves, thesis (2002)

    T. Yoshida, Abelian \'etale coverings of curves over local fields and its application to modular curves, thesis (2002)

    2002

  22. [30]

    Number Theory 101 (2003), no

    , Finiteness theorems in the class field theory of varieties over local fields, J. Number Theory 101 (2003), no. 1, 138--150

    2003

Pith tools

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