Pith. sign in

REVIEW 4 major objections 4 minor 27 references

The Tate-Shafarevich group of a polarised K3 surface

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

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

Pith's one-line read A bijection identifies the Tate–Šafarevič group of a polarised K3 surface with the 'good' hyperkähler compactifiable torsors of its generic curve's Jacobian.

desk verdict New geometric characterization of the Tate–Shafarevich group of a polarized K3 surface, plausible and useful, but the proof leans on two sketched or imported steps that need referee scrutiny. read the letter →

arxiv 2507.22703 v1 pith:6LNTJI6D submitted 2025-07-30 math.AG

Daniel Huybrechts , Dominique Mattei This is my paper · ORCID
classification math.AG MSC 14J2814J4214D1014F22
keywords Tate–ŠafarevičgrouppolarisedK3surfaceshyperkählercompactificationsLagrangianfibrationsNéronmodelstwistedPicardschemesBrauerWeil–Châtelet
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

This note proves that for a complex K3 surface with an ample primitive polarisation $h$, the Tate–Šafarevič group $X(S,h)$, introduced cohomologically via the special Brauer group, parametrises exactly the $\operatorname{Pic}^0(C_\eta)$-torsors that admit a 'good' hyperkähler model: a Lagrangian fibration over $|h|$ whose generic fibre is the torsor and every closed fibre has a smooth point. This is the analogue for polarised K3 surfaces of the classical fact that for an elliptic K3 surface, the Tate–Šafarevič group is the subgroup of the Weil–Châtelet group consisting of twists that can be compactified to a K3 surface. The point of the theorem is to show that a cohomologically defined group has a purely geometric content: an element of $X(S,h)$ is exactly a torsor that can be compactified by a good Lagrangian fibration.

What carries the argument

The load-bearing object is the special Brauer group $\operatorname{SBr}(S,h)\subset H^2(S,\mathbb{Q}/\mathbb{Z})$ and the $\alpha$-twisted Picard schemes $\operatorname{Pic}^0_\alpha(C_\eta)$ that it produces. These torsors are compactified by moduli spaces $M_\alpha$ of stable $\alpha$-twisted sheaves with Mukai vector $(0,h,-h^2/2)$, which are Lagrangian fibrations over $|h|$. On the compactification side the key tool is the Néron model of the relative Jacobian: the paper imports from [19] the theorem that a good Lagrangian fibration admits a Néron model $P\to|h|$, proves $X(S,h)\cong H^1(|h|,\operatorname{Pic}^{r0s})$ via diagram (5.7), and shows that this group surjects onto $H^1(|h|,P)$; restricting to the generic fibre recovers the torsor class. Here $\operatorname{Pic}^{r0s}$ denotes the étale sheaf of sections of the non-separated relative Picard scheme of total degree zero.

What would settle it

For a concrete polarised K3 surface, e.g. one with Picard number one, compute the Néron model $P$ of a good Lagrangian fibration over $|h|$ and compare the image of $H^1(|h|,P)$ under restriction to the generic point with the image of $X(S,h)$ in $H^1(\eta,\operatorname{Pic}^0(C_\eta))$; a torsor class in the difference would disprove surjectivity. Finding two distinct classes $\alpha_1,\alpha_2\in X(S,h)$ with isomorphic $\operatorname{Pic}^0_{\alpha_i}(C_\eta)$ would disprove injectivity.

Watch

Extended reading notes

Core claim

Theorem 1.1 states that for a complex K3 surface $(S,h)$ with $h$ ample and primitive, there is a natural bijection between the Tate–Šafarevič group $X(S,h)$ and the set of isomorphism classes of $\operatorname{Pic}^0(C_\eta)$-torsors admitting a good hyperkähler model. Injectivity is proved by showing that two special Brauer classes producing isomorphic torsors must coincide in $X(S,h)$, using hyperkähler moduli spaces of stable twisted sheaves and a comparison of their transcendental Hodge structures. Surjectivity is proved by starting with any good hyperkähler model, taking its Néron model, and using the identification of $X(S,h)$ with $H^1(|h|,\operatorname{Pic}^{r0s})$ to show that the generic fibre of the model is a torsor coming from a special Brauer class.

Load-bearing premise

The load-bearing premise is the validity of the Néron-model theorems for Lagrangian fibrations satisfying the 'good fibre' condition, imported from reference [19], together with the identification $X(S,h)\cong H^1(|h|,\operatorname{Pic}^{r0s})$ from reference [17], which is sketched rather than fully proved in this note.

Editorial extensions

If this is right

  • Every class in $X(S,h)$ is witnessed by a good hyperkähler model, so the group is not merely cohomological: its elements are exactly the geometrically compactifiable torsors.
  • Conversely, every $\operatorname{Pic}^0(C_\eta)$-torsor with a good hyperkähler model is of the form $\operatorname{Pic}^0_\alpha(C_\eta)$ for a unique $\alpha\in X(S,h)$.
  • The short exact sequence $0\to\mathbb{Z}/m\mathbb{Z}\to X(S,h)\to Br(S)\to 0$ remains available, so the group is an extension of the Brauer group by the divisibility of $h$; the theorem attaches geometric meaning to that extension.
  • When all curves in $|h|$ are integral, the Néron model of the Jacobian is $\operatorname{Pic}^0(C/|h|)$, so $X(S,h)$ can be computed as $H^1(|h|,\operatorname{Pic}^0(C/|h|))$.
  • For a non-primitive polarisation the theorem does not apply; the paper suggests that injectivity may persist but a geometric description of the image is still open.

Reading between the lines

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

  • A test the authors leave implicit: naturality of the bijection should make $X(S,h)$ into a local system over the moduli space of polarised K3 surfaces, so monodromy would act on the set of good hyperkähler models, and this action might distinguish birational models.
  • The paper's suspicion that every hyperkähler compactification is good can be checked by searching for a $\operatorname{Pic}^0(C_\eta)$-torsor with a Lagrangian fibration over $|h|$ whose closed fibre is everywhere non-reduced; such a torsor would fall outside the current theorem.
  • The description $X(S,h)\cong H^1(|h|,\operatorname{Pic}^{r0s})$ opens a purely sheaf-theoretic route to computing the group without constructing moduli spaces; comparing this cohomology with the Néron-model cohomology in examples would test how much of the 'good' condition is needed.
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

4 major / 4 minor

Summary. The paper proves Theorem 1.1: for a complex K3 surface (S,h) with h ample and primitive, there is a natural bijection between the Tate–Shafarevich group X(S,h), defined cohomologically via the special Brauer group, and the set of isomorphism classes of Pic^0(C_η)-torsors admitting a good hyperkähler model, i.e. a Lagrangian fibration X → |h| whose generic fibre is the given torsor and whose every closed fibre contains a smooth point. The injectivity direction is proved in Section 4 by comparing moduli spaces of twisted sheaves and using Hodge isometries and lattice arguments. The surjectivity direction is proved in Section 5 using Kim's recent theory of Néron models of Lagrangian fibrations and a commutative diagram (5.7) identifying X(S,h) with H^1(|h|, Pic^{r0s}). The paper also includes Lemma 5.3, which constructs good hyperkähler models for all classes in X(S,h), and Corollary 5.8, which supplies the key surjectivity of a cohomology map.

Significance. If the proof is correct, the paper gives a clean geometric interpretation of the Tate–Shafarevich group of a polarised K3 surface: it is not merely a cohomological invariant but precisely the group of Pic^0(C_η)-torsors admitting a geometrically well-behaved compactification. This is a natural analogue of the classical description for elliptic K3 surfaces and is likely to be useful for further work on Lagrangian fibrations, twisted sheaves, and Brauer groups. The injectivity part is largely self-contained and relies on standard moduli-space and Hodge-theoretic tools. The surjectivity part is thought-provoking but imports several load-bearing results from the recent preprint [19] and from the authors' earlier work [17]; those imports are identified explicitly, so the argument is transparent about its dependencies.

major comments (4)
  1. [§5.4, diagram (5.7)] The isomorphism X(S,h) ≅ H^1(|h|, Pic^{r0s}) is the key bridge between the cohomological definition of X(S,h) and the geometric torsor class rX^n s used in the surjectivity proof. The text only says that 'imitating the discussion in [17, §5.2]' completes the diagram. Since [17, §5.2] concerns elliptic K3 fibrations, the vertical maps and the identification of the kernels Z/mZ in the two exact sequences need to be written out for the present linear system |h|, or a precise statement in [17] that covers this case must be quoted. Without a proof of (5.7), Proposition 5.9 does not produce a class α ∈ X(S,h) from a good hyperkähler model, so this is a load-bearing gap.
  2. [§5.1, Lemma 5.3] In the proof of Lemma 5.3, after extending the generic lift to a trait ψ : Spec(R) → M_α, the text asserts that the closed point ψ(0) is 'necessarily a smooth point' of the fibre M_{α,t}. This is not evident: a section of a proper morphism can specialise to a singular point of the special fibre. Since condition (ii) of Definition 5.1 is exactly this smooth-point condition and is also the hypothesis needed to apply Kim's Néron-model results, this step needs a proof or an explicit reference.
  3. [§5.3, Corollary 5.8] The proof of the surjectivity of (5.3) is compressed. From Remark 5.7 with Z = M^n one obtains a morphism φ : M^n → Pic^{r0s}; from the defining property of the Néron model M^n, applied to Z = Pic^{r0s}, one obtains the morphism (5.2) Pic^{r0s} → M^n. The text should state explicitly that these are the two morphisms being composed and that their composition is the identity by uniqueness of the Néron extension. As written, 'to the inclusion φ0 : Z0 = Pic^0(C/|h|^sm) ↪ Pic^{r0s}(C/|h|) and its compactification Z = M^n' conflates the two different extension properties and makes the proof hard to check.
  4. [§5.2 and §5.4, use of [19]] Proposition 5.9 imports several results from the preprint [19]: the existence and surjectivity of the Néron model P, the identification P ≅ M^n, and Prop. 6.32 used for injectivity of H^1(|h|,P) → H^1(η,P_η). The manuscript does not verify for each application that the hypotheses of the quoted theorems are satisfied by the specific moduli spaces M_α → |h| beyond the 'good fibre' condition. Since the surjectivity half of Theorem 1.1 collapses if any of these imported statements does not apply, the authors should state explicitly which theorem from [19] is used at each step and confirm that its hypotheses are met, especially over the discriminant locus.
minor comments (4)
  1. [§1] There is a typo in 'for the the surjectivity in (ii)', which should read 'for the surjectivity in (ii)'.
  2. [§5.1, Definition 5.1] In Definition 5.1(ii), the equivalence between 'contains a smooth point' and 'has at least one generically reduced irreducible component' is stated informally via [5, Rem. 1.3]; adding the precise scheme-theoretic formulation would avoid ambiguity, especially because the paper later discusses non-reduced fibres.
  3. [§5.3] The notation Pic^{r0s}(C/|h|) is introduced by analogy with [13], but the superscript 'r0s' is not explained; a one-sentence gloss (total degree zero, as opposed to component-wise degree zero) would improve readability.
  4. [§5.4] In the paragraph after Corollary 5.8, the statement 'as an aside, we observe that the surjection (5.8) is in fact always an isomorphism X(S,h) ≅ H^1(|h|,P)' is interesting but appears to use Corollary 4.4 and [19, Prop. 6.32]; it would be helpful to separate this observation from the proof of Proposition 5.9, since it is not needed for Theorem 1.1.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the two sides of the bijection are defined independently, though the surjectivity proof imports load-bearing results from Kim [19] and a sketched identification from the authors' prior work [17].

full rationale

The theorem connects two independently defined objects: X(S,h) is a cohomological quotient of the special Brauer group SBr(S,h) introduced in the authors' earlier paper [17], while the right-hand side consists of isomorphism classes of Pic^0(C_eta)-torsors admitting a good hyperkähler model. The map alpha -> Pic^0_alpha(C_eta) is fixed and no parameter is fitted, so no prediction reduces to an input by construction. The injectivity proof (Prop. 4.1, Cor. 4.4) uses [17, Prop. 4.5] for one inclusion; this is a parameter-free result from an independent prior paper and does not assume the bijection being proved. The surjectivity proof (Prop. 5.9) imports Kim's Néron-model theorems [19] and uses the identification X(S,h) ≅ H^1(|h|, Pic^{r0s}) in diagram (5.7), which is justified only by 'Imitating the discussion in [17, §5.2]'. This is a load-bearing omission and a self-citation, and the paper explicitly acknowledges its reliance on [19]; however, it is a conditional dependence or unproved step, not a circular reduction: if (5.7) or Kim's theorems fail, the argument breaks rather than becoming tautologically true. The two sides of the claimed bijection remain semantically independent, so the circularity score is low.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The paper does not introduce free parameters. It builds on substantial external results: moduli space theory for twisted sheaves, Hodge isometries, Kim's Néron model theorems, and the authors' previous paper [17]. The new definition, 'good hyperkähler model', is a characterization device rather than an additional physical postulate. Correctness risk is concentrated in the correctness of the cited theorems and in the sketchy proof of diagram (5.7).

assumptions (5)
  • domain assumption Y.-J. Kim's Néron model theorems for Lagrangian fibrations (existence of Néron model, surjectivity, [19, Thm. 1.2, 1.3, 1.6, Prop. 6.32])
    Imported in Section 5.2 and used in Proposition 5.9 to control the Néron model M^n of the moduli space M and to prove surjectivity of H^1(|h|, Pic^{r0s}) to H^1(|h|, M^n). The preprint is recent and not verified here.
  • domain assumption Moduli spaces of stable (twisted) sheaves on K3 surfaces are smooth projective hyperkähler varieties with Hodge isometries T(M_α) ≅ T(S, arα) and T(M) ≅ T(S) (O'Grady [22], Yoshioka [26], Căldăraru [3], Huybrechts-Stellari [18])
    Used in the injectivity proof, Proposition 4.1(i), to compare transcendental lattices and deduce that a trivial torsor forces the Brauer class to be trivial.
  • domain assumption The special Brauer group framework from the authors' paper [17]: SBr(S,h) is the annihilator of h, X(S,h) sits in 0 to Z/mZ to X(S,h) to Br(S) to 0, and the assignment α to Pic^0_α(C_η) is well defined.
    The object X(S,h) and its map to torsors are imported from [17]; the present note complements rather than reproves that framework.
  • standard math Leray spectral sequence computations Br(S) ≅ Br(C) ≅ H^1(|h|, Pic), H^1(|h|, Z) = 0, and image(Pic(S)) to H^0(|h|, Z) = mZ (Grothendieck [10,11])
    Used in equations (5.6) and (5.7) to compare X(S,h) with H^1(|h|, Pic^{r0s}) and Br(S).
  • standard math Néron model existence and smoothness for abelian schemes over the smooth locus (Bosch-Lütkebohmert-Raynaud [4], Holmes-Molcho-Orecchia-Poiret [14])
    Used in Proposition 5.6 and Remark 5.7 to identify Pic^0(C{|h|}) with the Néron model M^n in the integral-fibre case.
invented entities (1)
  • Good hyperkähler model (Definition 5.1)
    purpose: Defines the class of compactifications used to characterize the image of X(S,h): a Lagrangian fibration X to |h| whose generic fibre is the torsor and whose closed fibres each have at least one generically reduced component.
    This is a new definition introduced in the paper. The 'good' condition is chosen so that the untwisted and twisted moduli spaces satisfy Lemma 5.3 and so that Kim's Néron model theorems apply. It has no testable prediction outside the paper, but it is a definitional device, not a postulated entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Tate-Shafarevich group of a polarised K3 surface." pith.science (2026). https://pith.science/paper/6LNTJI6D

@misc{pith2026250722703,
  author       = {Pith},
  title        = {Pith review of: The Tate-Shafarevich group of a polarised K3 surface},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6LNTJI6D}},
  note         = {Machine review of arXiv:2507.22703}
}
read the original abstract

In an earlier paper we generalised the notion of the Tate-Shafarevich group of an elliptic K3 surface to the Tate-Shafarevich group of a polarised K3 surface. In the present note, we complement the result by proving that the Tate-Shafarevich group of a polarised K3 surface (S,h) with h primitive parametrises bijectively all torsors for the Jacobian of the generic curve in the linear system |h| that admit a good hyperk\"ahler compactification. The result is seen as the analogue of the classical fact that the Tate-Shafarevich group of an elliptic K3 surface is the subgroup of the Weil-Ch\^atelet group of all twists that can be compactified to a K3 surface.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 21 canonical work pages

  1. [17]

    Huybrechts, M

    D. Huybrechts, M. LehnThe geometry of moduli spaces of sheaves.2nd edition. Cambridge Mathematical Library, 2010. 8

    work page 2010

  2. [19]

    Huybrechts, P

    D. Huybrechts, P. StellariEquivalences of twisted K3 surfaces.Math. Ann. 332 (2005), 901–936. 7

    work page 2005

  3. [1]

    AbashevaŠafarevič–Tate groups of holomorphic Lagrangian fibrations II.arXiv:2407.09178

    A. AbashevaŠafarevič–Tate groups of holomorphic Lagrangian fibrations II.arXiv:2407.09178. 10

    arXiv

  4. [2]

    Abasheva, V

    A. Abasheva, V. RogovŠafarevič–Tate groups of holomorphic Lagrangian fibrations.arxiv:2112.10921. 10

    work page arXiv

  5. [3]

    CăldăraruDerived categories of twisted sheaves on Calabi–Yau manifolds.PhD thesis, Cornell University, May 2000

    A. CăldăraruDerived categories of twisted sheaves on Calabi–Yau manifolds.PhD thesis, Cornell University, May 2000. 7

    work page 2000

  6. [4]

    S.Bosch, W.Lütkebohmert, M.Raynaud Néron models.ErgebnissederMathematikundihrerGrenzgebiete

    work page

  7. [5]

    12, 13, 14

    Folge, volume 21, 1990. 12, 13, 14

    work page 1990

  8. [6]

    CampanaFibres multiples sur les surfaces: aspects geométriques, hyperboliques et arithmétiques.Manus

    F. CampanaFibres multiples sur les surfaces: aspects geométriques, hyperboliques et arithmétiques.Manus. math. 117 (2005), 429–461. 9

    work page 2005

Show all 27 references
  1. [7]

    Colliot-Thélène, A

    J.-L. Colliot-Thélène, A. SkorobogatovThe Brauer–Grothendieck group.Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, volume 71, 2021. 10, 14

    2021

  2. [8]

    de Cataldo, A

    M. de Cataldo, A. Rapagnetta, G. SaccàThe Hodge numbers of O’Grady 10 via Ngô strings.J. Math. Pures Appl. 156 (2021), 125–178. 8, 17

    2021

  3. [9]

    Dutta, D

    Y. Dutta, D. Mattei, E. ShinderTwists of intermediate Jacobian fibrations.arXiv:2411.01953. 16

    arXiv

  4. [10]

    Friedman, J

    R. Friedman, J. MorganSmooth four-manifolds and complex surfaces.Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, volume 27, 1994. 3

    1994

  5. [11]

    GrothendieckLe groupe de Brauer II

    A. GrothendieckLe groupe de Brauer II. Théorie cohomologique.in: Dix Exposés sur la cohomologie des schémas. volume 3 of Adv. Stud. in Pure Maths. North Holland Amsterdam (1968), 66–87. 16

    1968

  6. [12]

    GrothendieckLe groupe de Brauer III

    A. GrothendieckLe groupe de Brauer III. Exemples et compléments.in: Dix exposés sur la cohomologie des schémas. volume 3 of Adv. Stud. in Pure Maths. North Holland Amsterdam (1968), 88–188. 1, 3, 14

    1968

  7. [13]

    Hellmann The nilpotent cone in the Mukai system of rank two and genus two.Math

    I. Hellmann The nilpotent cone in the Mukai system of rank two and genus two.Math. Ann. 380 (2021), 1687–1711. 8, 17

    2021

  8. [14]

    Holmes Néron models of jacobians over base schemes of dimension greater than 1.Crelle J

    D. Holmes Néron models of jacobians over base schemes of dimension greater than 1.Crelle J. reine und angew. Math. 747 (2019), 109–145. 12

    2019

  9. [15]

    Holmes, S

    D. Holmes, S. Molcho, G. Orecchia, T. PoiretModels of Jacobians of curves.arXiv:2007.10792. 11

    2007 arXiv

  10. [16]

    HuybrechtsLectures on K3 surfaces.Cambridge Studies in Advanced Mathematics volume 158, 2016

    D. HuybrechtsLectures on K3 surfaces.Cambridge Studies in Advanced Mathematics volume 158, 2016. 8, 9

    2016

  11. [18]

    Huybrechts, D

    D. Huybrechts, D. MatteiThe special Brauer group and twisted Picard varieties.arXiv:2310.04032. 1, 2, 4, 5, 6, 7, 8, 10, 16

    arXiv

  12. [20]

    KimThe Néron model of a higher-dimensional Lagrangian fibration.arXiv:2410.21193

    Y.-J. KimThe Néron model of a higher-dimensional Lagrangian fibration.arXiv:2410.21193. 2, 7, 8, 11, 12, 13, 14, 16, 17

    arXiv

  13. [21]

    volume 71 of Springer Proc

    E.Markman Lagrangian fibrations of holomorphic-symplectic varieties ofK3rns-type.AlgebraicandComplex Geometry. volume 71 of Springer Proc. Math. and Stat. (2014), 241–283. 10

    2014

  14. [22]

    Mattei, R

    D. Mattei, R. Meinsma Obstruction classes for moduli spaces of sheaves and Lagrangian fibrations. arXiv:2404.16652. 11

    arXiv

  15. [23]

    O’Grady The weight-two Hodge structure of moduli spaces of sheaves on K3 surfaces.JAG 6 (1997), 599–644

    K. O’Grady The weight-two Hodge structure of moduli spaces of sheaves on K3 surfaces.JAG 6 (1997), 599–644. 7

    1997

  16. [24]

    Soldatenkov, M

    A. Soldatenkov, M. Verbitsky Abundance and SYZ conjecture in families of hyperkähler manifolds. arxiv2409.09142. 10

    arXiv

  17. [25]

    https://stacks.math.columbia.edu

    The Stacks Project AuthorsStacks Project. https://stacks.math.columbia.edu. 9 THE TATE–ŠAFAREVIČ GROUP OF A POLARISED K3 SURFACE 19

  18. [26]

    TateOn the conjectures of Birch and Swinnerton-Dyer and a geometric analog.Séminaire Bourbaki, Vol

    J. TateOn the conjectures of Birch and Swinnerton-Dyer and a geometric analog.Séminaire Bourbaki, Vol. 9, Exp. No. 306 (1995), 415–440. 1, 3

    1995

  19. [27]

    YoshiokaModuli spaces of twisted sheaves on a projective variety.in Moduli spaces and arithmetic geo- metry, Adv

    K. YoshiokaModuli spaces of twisted sheaves on a projective variety.in Moduli spaces and arithmetic geo- metry, Adv. Stud. Pure Math. 45 (2006), 1–30. 7 DH: Mathematisches Institut & Hausdorff Center for Mathematics, Universität Bonn, En- denicher Allee 60, 53115 Bonn, Germany...

    2006

Pith tools

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