The Tate conjecture for surfaces of geometric genus one -- embracing singularities

Haoyang Guo; Ziquan Yang

REVIEW 4 major objections 5 minor 28 references

The Tate conjecture for surfaces of geometric genus one -- embracing singularities

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

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

Pith's one-line read The paper proves the Tate conjecture for the minimal resolutions of surfaces of geometric genus one whose natural models are singular, and derives the Birch–Swinnerton-Dyer conjecture for every height-one elliptic curve over a genus-one…

desk verdict A serious, detailed proof of new Tate/BSD cases that hinges on a delicate crystalline matching over singular boundaries; deserves a careful referee. read the letter →

arxiv 2501.18541 v2 pith:QXTAWUO4 submitted 2025-01-30 math.AG

Haoyang Guo , Ziquan Yang This is my paper · ORCID

classification math.AG MSC 14C2514F3014G1714J2711G40

keywords TateconjectureBirch–Swinnerton-DyergeometricgenusoneKuga–SatakeperiodmorphismrationaldoublepointsF-crystalspositivecharacteristic

topics Birch and Swinnerton-Dyer

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 paper aims to prove the Tate conjecture for divisor classes on smooth projective surfaces of geometric genus one, in the cases where the natural or canonical model of the surface is singular. Its central claim is that the period-morphism strategy based on the Kuga–Satake construction, previously confined to smooth families such as K3 surfaces, can be extended across the singular locus of the moduli space as long as the singularities are only rational double points and the moduli base satisfies two mild genericity conditions. A sympathetic reader would care because the payoff is concrete and unconditional: every elliptic curve of height one over a global function field of genus one and characteristic $p \ge 11$ satisfies the Birch–Swinnerton-Dyer conjecture, and every minimal surface with $p_g=1$, $K^2=1$, and $q=0$ over a finitely generated field of characteristic $p \ge 5$ satisfies the Tate conjecture.

What carries the argument

The central object is the extended period morphism (Definition 4.3): a map from a normal scheme $T$ over the moduli space $M$ to the Kuga–Satake Shimura variety $S$ that lifts the ordinary period morphism on the smooth locus and is defined only over subschemes on which the family of surfaces admits a simultaneous resolution. The argument is carried by four mechanisms: rigidity of F-crystals, so that crystalline matching isomorphisms extend over the boundary; simultaneous resolution for rational double point singularities; a gluing lemma for projective schemes; and the minimal model program for threefolds in characteristic $p \ge 5$, whose flop decomposition yields the key fact that any curve contracted by the projection to the moduli space is also contracted by the extended period morphism.

What would settle it

Construct a constant family $X_0 \times C$ where $X_0$ has a rational double point and $C$ is a smooth curve, and check whether every simultaneous resolution is isomorphic to the constant resolution $\breve{X}_0 \times C$; a nonconstant simultaneous resolution in characteristic $p \ge 5$ would refute the paper's Corollary 2.18 and, with it, the argument at the worst singular locus.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the singularities of the natural model are not merely tolerated but are structurally necessary: the exceptional divisors on the resolution are themselves sources of algebraic classes, and the singular fibers are what create the geometric monodromy that makes the period map nontrivial. The proof constructs an extended period morphism (Definition 4.3) that agrees with the ordinary Kuga–Satake period morphism on the smooth locus and extends over the discriminant locus after a simultaneous resolution of the family. It then shows, through rigidity of F-crystals and a flop decomposition of birational maps from the minimal model program, that any curve contracted by the projection to the moduli space is also contracted by the extended period morphism; this uniqueness of periods is what allows special endomorphisms of the associated abelian variety to be compared with divisor classes on the resolution, completing the reduction of the Tate conjecture to a known Tate theorem for special endomorphisms.

Load-bearing premise

The proof for the most singular fibers depends on the claim that any curve the moduli projection collapses is also collapsed by the period map, a claim proved via flop decompositions and constancy of simultaneous resolutions; if that claim fails for a surface in the stated class, the strategy of giving degenerate fibers unique periods would collapse.

Editorial extensions

If this is right

Over a global function field of genus one and characteristic $p \ge 11$, every elliptic curve of height one satisfies the Birch–Swinnerton-Dyer conjecture (Theorem 4.33).
A minimal smooth projective surface over a finitely generated field of characteristic $p \ge 5$ with $p_g=1$, $K^2=1$, and $h^{1,0}=h^{0,1}=0$ satisfies the Tate conjecture (Theorem 1.2).
Under the general hypotheses of Theorem 4.2, the minimal resolution of any fiber of a family of surfaces of geometric genus one satisfies the Tate conjecture whenever its Hodge diamond matches the generic fiber or it is non-supersingular.
The method covers singular fibers of type $\mathrm{IV}^*$ with $E_6$ singularities even when $p=5$ divides the order of the Weyl group, a case where local monodromy results fail (Example 4.34).
If Newton-stratification purity holds on the moduli space, the remaining $p=5,7$ exceptional inseparable $j$-invariant cases for BSD would also follow (Remark 4.35).

Reading between the lines

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

A natural next test is to run the same extended-period programme on other families listed as amenable in the paper, such as canonical models of surfaces with $p_g=1$ and $q=1$; the paper indicates only routine modifications are needed.
The bottleneck for the remaining $p=5,7$ cases is the purity of the Newton stratification for resolutions of this family, a question the paper raises explicitly; a purity theorem there would close the last BSD gap.
The p-adic Riemann–Hilbert matching used here may work more broadly as a tool to compare crystalline and de Rham realizations in Kuga–Satake-type arguments without assuming the underlying motives are abelian, which could be useful for other Shimura-variety constructions.

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.

Desk Editor's Note

read the letter

You should read this before the next seminar. Guo and Yang prove unconditional Tate conjecture for a large class of surfaces of geometric genus one with singular natural models, and as a corollary BSD for height-one elliptic curves over genus-one function fields in characteristic p >= 11. Both are new, and the architecture is coherent. The key new idea is the extended period morphism over singular fibers and the principle that any pi-exceptional curve is tau-exceptional. That is a genuine contribution, not a repackaging.

The paper is also honest about where it departs from prior work. It avoids Blasius by matching crystalline and de Rham realizations through the p-adic Riemann-Hilbert functor; Lemma 3.10 is the hinge. The examples in Section 4.8 verify the hypotheses of Theorem 4.2 in enough detail to be convincing.

Soft spots: the D^- case is the only place singular models truly matter, and the proof there depends on the crystalline matching extending over the singular boundary. The compatibility in Lemma 3.10 is proved by analytic density of Noether-Lefschetz loci; it is plausible, but the argument is compressed and the paper itself notes it is addressing something close to [DLLZ23, Conj. 1.4]. Proposition 4.20 also adapts Maulik and van der Geer-Katsura without full details. These are not fatal, but they are the spots to check first. The p=5,7 supersingular cases remain conditional on a Newton purity conjecture, which is stated clearly.

Overall this is a serious paper with a load-bearing technical step that deserves careful refereeing. The main theorems are significant enough that refereeing should happen, and a good referee will either tighten Lemma 3.10 or find a real gap. I would send it out.

Referee Report

4 major / 5 minor

Summary. The paper proposes a general framework (Theorem 4.2) for proving the Tate conjecture for divisors on minimal resolutions of fibers of a family of surfaces of geometric genus one over a Z_(p)-scheme, subject to conditions on the discriminant locus, relative boundary, Kodaira–Spencer map, and rational double point singularities. The proof constructs extended period morphisms to orthogonal Shimura varieties and establishes motivic alignment of special endomorphisms with divisor classes, using separate arguments for the smooth/mildly singular locus D^+ and the worse singular locus D^-. Applications include the Birch–Swinnerton-Dyer conjecture for every height-one elliptic curve over a genus-one global function field in characteristic p ≥ 11 (Theorem 1.1) and the Tate conjecture for minimal surfaces with p_g = K^2 = 1 and q = 0 (Theorem 1.2).

Significance. If the proof is correct, Theorem 1.1 is a substantial new unconditional BSD result, and Theorem 1.2 significantly extends the earlier results of [HYZ25] by allowing singular natural models. The paper is also valuable for introducing and combining several technical tools: Artin–Brieskorn simultaneous resolutions, the minimal model program for threefolds in positive characteristic, a Beauville–Laszlo gluing criterion, rigidity of F-crystals, and a p-adic Riemann–Hilbert matching for non-abelian motives. The authors are transparent about the conditional status of the remaining p = 5, 7 cases (Remark 4.35) and about the insensitivity of their method to the type of RDP with respect to p (Remark 1.8). However, several load-bearing arguments are only sketched, and at least one proof contains an incorrect Riemann–Hurwitz computation; the main theorems as stated also overclaim characteristic zero cases that the proof does not treat.

major comments (4)

[§2.8, Proposition 2.26, equations (10)–(16)] The proof of Proposition 2.26 is not valid for wildly ramified covers, which are explicitly allowed by Remark 1.8. The equality (10) and the subsequent comparison (12) use the contribution (m_Q − 1)·e_Q to the Euler characteristic difference, but this is the tame-ramification formula; for wild ramification the different contributes a larger term. The appeal to relative Abhyankar’s lemma (Proposition 2.25) only gives tameness if the cover of the geometric generic fibre is already tame, and that hypothesis is not present in Proposition 2.26. Since Proposition 2.26 is used in Step 2 of Theorem 4.18 to ensure that the reduced subschemes of the pullback of the boundary are étale over W, this gap directly affects the D^+ case and the verification of motivic alignment in Corollary 4.29. The authors should either add an explicit tameness hypothesis and verify it in the applications, or replace the Riemann–Hurwitz argument with a correct one that handles wild ramification.
[Theorem 4.2 and §4.7] Theorem 4.2 is stated for an arbitrary point s ∈ M with residue field k := k(s), which includes points of the generic fibre over Q_p. The proof, however, only treats characteristic p: Corollary 4.19 and Corollary 4.29 assume k is a perfect field of characteristic p, and the entire D^- construction in §4.7 uses crystalline cohomology and Frobenius in an essential way. As written, the theorem would claim the Tate conjecture for all such surfaces over number fields, which is not established by the arguments in the paper. The statement should be restricted to points lying over the special fibre M_{F_p} (or an equivalent characteristic-p hypothesis), with the characteristic-zero case either removed or treated separately.
[§4.6, Proposition 4.20] Proposition 4.20 is load-bearing for Theorem 4.2(ii), the non-supersingular case, but its proof is only a sketch: it says that the Hodge bundle λ is positive on orthogonal Shimura varieties and that the height stratification has the same properties as in [GK00, Thm. 15.1] by “suitably adapting” the K3-surface arguments. No details are given for the general orthogonal Shimura variety, and the proportionality λ = Q_+·λ_A is asserted without proof. Since the headline applications (Theorems 1.1 and 1.2) proceed through condition (iii) rather than (ii), this is not fatal to those theorems, but it is a gap in Theorem 4.2 as stated. The proof should be completed or the proposition should be replaced by a precise citation of a general result.
[§3.3, Lemma 3.10] Lemma 3.10 is the key new step that replaces Blasius’ theorem for the matching of de Rham and p-adic realizations, and its proof is only sketched. In particular, the application of Lemma 3.9 to an arbitrary basis of rational classes requires that the vectors lie in the open ball produced by Lemma 3.9 and that there exists a point with a Hodge class whose Kodaira–Spencer map is surjective; neither point is justified in the text. The argument can likely be repaired using density of rational vectors and the fact that h^{2,0}=1, but as written the compatibility between α_dR and α^†_{dR,C} is not fully established. This matters because Proposition 3.11 and the boundary extension of α_crys in the D^- case depend on it.

minor comments (5)

[§4.6, Proposition 4.25 and Theorem 4.28] The proof of Proposition 4.25(a) uses the geometric connectedness of |τ^{-1}(Q)|, but this is not guaranteed for an arbitrary proper morphism from a surface to a curve; one should pass to the Stein factorization (or state an additional connectedness assumption) before invoking [Sta25, Tag 0AY8].
[§4.7, Theorem 4.28(c)] The notation “V_{π(t)} = V ×_S {π(t)}” in case (c) is confusing: π at that point is not the map to the Shimura variety, and the fiber should be over the relevant point of S or of U. Also, “an étale neighborhood of the point t” should be “an étale neighborhood of τ(t)”. These are presentation issues, but they make the argument hard to check.
[§3.3, Lemma 3.10] In the proof of Lemma 3.10, the phrase “the isomorphism α_B,s sends c1,p(ξ) to cl_p(ζ)” should read “α_B,s sends cl_p(ζ) to c1,p(ξ)”, since α_B maps the Shimura side to the cohomology side. The intended meaning is clear from the surrounding diagram, but the typo is confusing.
[§4.8, Construction 4.31] The notation M is overloaded: M denotes the smooth moduli scheme over Z_(p), its complement H, and also the projective compactification M. Consider using a different symbol for the projective bundle P(V_4 ⊕ V_6 ⊕ O) and its open subsets.
[Theorem 1.1 and Remark 4.35] The footnote about the cases p = 5, 7 is terse. It would be helpful to state explicitly that the three inseparable cases of Proposition 2.23 are excluded unless the purity hypothesis of Remark 4.35 holds, and to indicate whether Theorems 1.1 and 4.33 are meant to include those cases.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the singular-fiber argument is a genuine extension whose key reduction lands in Madapusi Pera's independent Tate theorem for special endomorphisms.

full rationale

The paper's derivation chain is not circular. Theorem 4.2 is reduced in Lemma 4.10 to constructing an extended period morphism at which special endomorphisms of the Kuga-Satake abelian variety match divisor classes of the minimal resolution; the target statement is supplied by Madapusi Pera's Tate theorem for special endomorphisms, an external result. The construction for the smooth and mild-singularity loci (Corollary 4.19) follows an admissible-curve and mixed-characteristic deformation argument, while the worse-singularity locus D^- (Corollary 4.29 and Theorem 4.28) is handled by Artin-Brieskorn resolution, the MMP flop decomposition of Theorem 2.17, Corollary 2.18, and the rigidity of F-crystals. The crystalline matching Proposition 3.11 is built from the p-adic Riemann-Hilbert functor of [GY24], Scholze's de Rham comparison, Bhatt-Morrow-Scholze integral p-adic Hodge theory, and Voisin's density of Hodge loci; none of these inputs assume the Tate conjecture being proved. The paper does rely on the authors' previous work [HYZ25] for the period morphism over the smooth locus and for monodromy estimates, but [HYZ25] established the Tate conjecture only for smooth Weierstrass models, which is a strictly smaller case than the singular natural models treated here, so this self-citation is independent support rather than a circular premise. The D^- argument is delicate, especially the extension of the crystalline period matching over the boundary used to prove constancy of L_crys in Proposition 4.27, but fragility of a step is not identity with the target result; no equation is defined in terms of the conclusion and no fitted parameter is relabeled as a prediction.

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

No numerical parameters are fitted to data; the invariants p, g=1, height=1, and K^2=1 are fixed inputs of the theorems. Auxiliary choices such as level structures and degrees d_i are existence choices, not fitted values. The axioms are external theorems and domain assumptions on which the central claim rests.

assumptions (7)

standard math Madapusi Pera's Tate theorem for special endomorphisms of Kuga-Satake abelian varieties ([Mad15, Thm. 6.4]).
Used in Lemma 4.10 to convert motivic alignment into the Tate conjecture for the surface.
standard math Threefold minimal model program in characteristic p >= 5: birational maps between relative minimal models decompose into flops (Theorem 2.17, using [HX15], [HW22], [ABL22]).
Underpins Corollary 2.18 and the pi-exceptional implies tau-exceptional observation.
standard math Kisin's integral canonical models for Shimura varieties of abelian type exist and satisfy the extension property ([Kis10]).
Used to construct the integral period morphism target and to extend period morphisms over boundary curves.
standard math p-adic Riemann-Hilbert functors of Liu-Zhu and Diao-Lan-Liu-Zhu, together with integral p-adic Hodge theory of Bhatt-Morrow-Scholze, give the crystalline/de Rham matching.
Used in Section 3.3 to match L_crys with primitive crystalline cohomology, essential for points over D^-.
standard math Artin-Brieskorn simultaneous resolution: after a surjective generically etale base change, a family of surfaces with RDP fibers is Zariski-locally resolvable (Proposition 2.6, [Art74a]).
Provides the resolutions used to define extended period morphisms.
domain assumption Set-up 4.1 conditions (a)-(f), especially generic reducedness of discriminant and boundary mod p and the rank at least 2 Kodaira-Spencer condition, hold for the universal Weierstrass family and the canonical-model family.
The general theorem is conditional on these hypotheses; they are checked in Section 4.8 for the two main applications.
domain assumption In characteristic p >= 5, a minimal surface with p_g=1, K^2=1, and q=0 has canonical model a complete intersection of two sextics in P(1,2,2,3,3), as argued via [Cat80], [Tod80], and [HYZ25].
This is the input for Construction 4.36 and hence for Theorem 1.2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Tate conjecture for surfaces of geometric genus one -- embracing singularities." pith.science (2026). https://pith.science/paper/QXTAWUO4

@misc{pith2026250118541,
  author       = {Pith},
  title        = {Pith review of: The Tate conjecture for surfaces of geometric genus one -- embracing singularities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QXTAWUO4}},
  note         = {Machine review of arXiv:2501.18541}
}

abstract

In this article, we aim to largely complete the program of proving the Tate conjecture for surfaces of geometric genus one, by introducing techniques to analyze those surfaces whose "natural models" are singular. As an application, we show that every elliptic curve of height one over a global function field of genus one and characteristic $p \ge 11$ satisfies the Birch--Swinnerton-Dyer conjecture.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 25 canonical work pages

[1]

On the Kawamata-Viehweg vanishing theorem for log del Pezzo surfaces in positive characteristic

[ABL22] E. Arvidsson, F. Bernasconi, and J. Lacini. “On the Kawamata-Viehweg vanishing theorem for log del Pezzo surfaces in positive characteristic”. In:Compos. Math.158.4 (2022), pp. 750–763. [AGHM18] F. Andreatta, E. Z. Goren, B. Howard, and K. Madapusi Pera. “Faltings heights of abelian varieties with complex multiplication”. In:Ann. of Math. (2)187.2...

work page 2022
[3]

On a stratification of the moduli ofK3 surfaces

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 1998, pp. xiv+470. [GK00] G. van der Geer and T. Katsura. “On a stratification of the moduli ofK3 surfaces”. In:J. Eur. Math. Soc. (JEMS)2.3 (2000), pp. 259–290. [Gro71] A. Grothendiec...

work page 2000
[6]

Reduction and lifting of finite covers of curves

Oxford Graduate Texts in Mathematics. Trans- lated from the French by Reinie Erné, Oxford Science Publications. Oxford University Press, Oxford, 2002, pp. xvi+576. [Liu03] Q. Liu. “Reduction and lifting of finite covers of curves”. In: Proceedings of the 2003 Workshop on Cryptography and Related Mathematics. Chuo University, 2003, pp. 161–180. [LP92] M. L...

work page 1992
[13]

Arithmetic of Borcherds products

arXiv:2409.19742 [math.AG]. [HM20] B. Howard and K. Madapusi Pera. “Arithmetic of Borcherds products”. In:Astérisque421, Diviseurs arithmétiques sur les variétés orthogonales et unitaires de Shimura (2020), pp. 187–297. [HW22] C. Hacon and J. Witaszek. “The minimal model program for threefolds in characteristic 5”. In:Duke Math. J.171.11 (2022), pp. 2193–...

arXiv 2020
[19]

Eisenbud and J

[EH16] D. Eisenbud and J. Harris.3264 and all that—a second course in algebraic geometry. Cambridge Uni- versity Press, Cambridge, 2016, pp. xiv+616. REFERENCES 51 [FLTZ22] L. Fu, Z. Li, T. Takamatsu, and H. Zou.Unpolarized Shafarevich conjectures for hyper-Kähler varieties

work page 2016
[21]

Integralp-adic Hodge theory

Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1990, pp. x+325. [BMS18] B. Bhatt, M. Morrow, and P. Scholze. “Integralp-adic Hodge theory”. In:Publ. Math. Inst. Hautes Études Sci.128 (2018), pp. 219–397. [BO78] P. Berthelot and A. Ogus.Notes on crystalline cohomology. Princeton...

work page 2018
[23]

Monodromy of variations of Hodge structure

Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1994, pp. 461–483. [PS03] C. A. M. Peters and J. H. M. Steenbrink. “Monodromy of variations of Hodge structure”. In: vol

work page 1994
[26]

Purity results forp-divisible groups and abelian schemes over regular bases of mixed characteristic

Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2013, pp. 507–546. [VZ10] A. Vasiu and T. Zink. “Purity results forp-divisible groups and abelian schemes over regular bases of mixed characteristic”. In:Doc. Math.15 (2010), pp. 571–599. Haoyang GuoDepartment of Mathematics, The University of Chicago, Chicago, Illinois, USA. Email:ghy@uchicago.edu Ziqua...

work page 2010

Show all 28 references

[27]

Surfaces ofK3 type over number fields and the Mumford-Tate conjecture

[Tan90] S. G. Tankeev. “Surfaces ofK3 type over number fields and the Mumford-Tate conjecture”. In:Izv. Akad. Nauk SSSR Ser. Mat.54.4 (1990), pp. 846–861. [Tan95] S. G. Tankeev. “Surfaces ofK3 type over number fields and the Mumford-Tate conjecture. II”. In:Izv. Ross. Akad. Na...

1990
[55]

Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1994, pp. 293–308. [BLR90] S. Bosch, W. Lütkebohmert, and M. Raynaud.Néron models. V ol

1994
[64]

Hom -stacks and restriction of scalars

Astérisque. Soc. Math. France, Paris, 1979, pp. 3–86. [Ols06] M. C. Olsson. “Hom -stacks and restriction of scalars”. In:Duke Math. J.134.1 (2006), pp. 139–164. [Pan94] A. A. Panchishkin. “Motives for absolute Hodge cycles”. In:Motives (Seattle, WA, 1991). V ol

2006
[70]

Complexe de de Rham-Witt et cohomologie cristalline

[Ill79] L. Illusie. “Complexe de de Rham-Witt et cohomologie cristalline”. In:Ann. Sci. École Norm. Sup. (4) 12.4 (1979), pp. 501–661. [JO00] A. J. de Jong and F. Oort. “Purity of the stratification by Newton polygons”. English. In:J. Am. Math. Soc.13.1 (2000), pp. 209–241. [J...

1979
[75]

The effect of height on degenerations of algebraicK3 surfaces

1-3. Monodromy and differential equations (Moscow, 2001). 2003, pp. 183–194. [RZS82] A. N. Rudakov, T. Zink, and I. R. Shafarevich. “The effect of height on degenerations of algebraicK3 surfaces”. In:Izv. Akad. Nauk SSSR Ser. Mat.46.1 (1982), pp. 117–134,

1982
[76]

The moduli and the global period mapping of surfaces withK 2 =p g =1: a counterexample to the global Torelli problem

C.I.M.E. Summer Sch. Springer, Heidelberg, 2010, pp. 267–284. [Cat80] F. Catanese. “The moduli and the global period mapping of surfaces withK 2 =p g =1: a counterexample to the global Torelli problem”. In:Compositio Math.41.3 (1980), pp. 401–414. [CGM86] C. Cumino, S. Greco, ...

1980
[77]

Weyl group covers for Brieskorn’s resolutions in all characteristics and the integral cohomology ofG/P

REFERENCES 53 [She21] N. I. Shepherd-Barron. “Weyl group covers for Brieskorn’s resolutions in all characteristics and the integral cohomology ofG/P”. In:Michigan Math. J.70.3 (2021), pp. 587–613. [Sta25] T. Stacks project authors.The Stacks project.https://stacks.math.columbia.edu

2021
[134]

With the collaboration of C

Cambridge Tracts in Math- ematics. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. Cambridge University Press, Cambridge, 1998, pp. viii+254. [Kou23] J. Kountouridis.On simple singularities and Weyl monodromy actions in mixed c...

1998
[192]

p-adic Hodge theory for rigid-analytic varieties

[Sch13] P. Scholze. “p-adic Hodge theory for rigid-analytic varieties”. In:Forum Math. Pi1 (2013), e1,

2013
[224]

Springer-Verlag, Berlin-New York, 1971, pp

Séminaire de Géométrie Algébrique du Bois Marie 1960–1961 (SGA 1). Springer-Verlag, Berlin-New York, 1971, pp. xxii+447. [GY24] H. Guo and Z. Yang.Pointwise criteria of p-adic local systems

1960
[282]

Algebraic construction of Brieskorn’s resolutions

[Art74a] M. Artin. “Algebraic construction of Brieskorn’s resolutions”. In:J. Algebra29 (1974), pp. 330–348. [Art74b] M. Artin. “SupersingularK3 surfaces”. In:Ann. Sci. École Norm. Sup. (4)7 (1974), 543–567 (1975). [AS73] M. Artin and H. P. F. Swinnerton-Dyer. “The Shafarevich...

1974
[423]

Notes on isocrystals

[Ked22] K. S. Kedlaya. “Notes on isocrystals”. In:Journal of Number Theory237 (2022). Joint Special Issue: New Developments in the Theory of Modular Forms Over Function Fields: Conference in Pisa, 2018 / p-adic Cohomology and Arithmetic Applications: conference in Banff, 2017,...

2022
[741]

Liu.sections of the cotangent bundle of elliptic surfaces

[Liu] Q. Liu.sections of the cotangent bundle of elliptic surfaces. MathOverflow. (version: 2013-02-17). eprint:https://mathoverflow.net/q/122094. [Liu02] Q. Liu.Algebraic geometry and arithmetic curves. V ol

2013
[1971]

On the Shafarevich and Tate conjectures for hyper-Kähler varieties

[And96] Y . André. “On the Shafarevich and Tate conjectures for hyper-Kähler varieties”. In:Math. Ann.305.2 (1996), pp. 205–248. [Art73] M. Artin.Théorèmes de représentabilité pour les espaces algébriques. V ol. No. 44 (Été, 1970). Sémi- naire de Mathématiques Supérieures [Sem...

1996
[2005]

La conjecture de Weil pour les surfacesK3

[Del72] P. Deligne. “La conjecture de Weil pour les surfacesK3”. In:Invent. Math.15 (1972), pp. 206–226. [DK17] V . Drinfeld and K. S. Kedlaya. “Slopes of indecomposableF-isocrystals”. In:Pure Appl. Math. Q.13.1 (2017), pp. 131–192. [DLLZ23] H. Diao, K.-W. Lan, R. Liu, and X. ...

1972
[2013]

On a conjecture of Artin and Tate

[Mil75] J. S. Milne. “On a conjecture of Artin and Tate”. In:Ann. of Math. (2)102.3 (1975), pp. 517–533. [Mir89] R. Miranda.The basic theory of elliptic surfaces. Dottorato di Ricerca in Matematica. [Doctorate in Mathematical Research]. ETS Editrice, Pisa, 1989, pp. vi+108. [M...

1975
[2022]

To appear inAlgebr

arXiv:2203.10391 [math.AG]. To appear inAlgebr. Geom.. [Ful98] W. Fulton.Intersection theory. Second. V ol

arXiv
[2023]

On different notions of tameness in arithmetic geometry

arXiv:2312.09175 [math.AG]. [KS10] M. Kerz and A. Schmidt. “On different notions of tameness in arithmetic geometry”. English. In:Math. Ann.346.3 (2010), pp. 641–668. 52 REFERENCES [KT03] K. Kato and F. Trihan. “On the conjectures of Birch and Swinnerton-Dyer in characteristic...

2010 arXiv
[2024]

Algebraization and Tannaka duality

arXiv:2410 . 20500 [math.AG]. [Bha16] B. Bhatt. “Algebraization and Tannaka duality”. In:Camb. J. Math.4.4 (2016), pp. 403–461. [Bla94] D. Blasius. “Ap-adic property of Hodge classes on abelian varieties”. In:Motives (Seattle, WA, 1991). V ol

2016
[2025]

CM liftings ofK3 surfaces over finite fields and their applications to the Tate conjecture

arXiv:2207.11904 [math.AG]. To appear inJ. Reine Angew. Math. [IIK21] K. Ito, T. Ito, and T. Koshikawa. “CM liftings ofK3 surfaces over finite fields and their applications to the Tate conjecture”. In:Forum Math. Sigma9 (2021), Paper No. e29,

2021 arXiv

Pith tools

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

[1] [1]

On the Kawamata-Viehweg vanishing theorem for log del Pezzo surfaces in positive characteristic

[ABL22] E. Arvidsson, F. Bernasconi, and J. Lacini. “On the Kawamata-Viehweg vanishing theorem for log del Pezzo surfaces in positive characteristic”. In:Compos. Math.158.4 (2022), pp. 750–763. [AGHM18] F. Andreatta, E. Z. Goren, B. Howard, and K. Madapusi Pera. “Faltings heights of abelian varieties with complex multiplication”. In:Ann. of Math. (2)187.2...

work page 2022

[2] [3]

On a stratification of the moduli ofK3 surfaces

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 1998, pp. xiv+470. [GK00] G. van der Geer and T. Katsura. “On a stratification of the moduli ofK3 surfaces”. In:J. Eur. Math. Soc. (JEMS)2.3 (2000), pp. 259–290. [Gro71] A. Grothendiec...

work page 2000

[3] [6]

Reduction and lifting of finite covers of curves

Oxford Graduate Texts in Mathematics. Trans- lated from the French by Reinie Erné, Oxford Science Publications. Oxford University Press, Oxford, 2002, pp. xvi+576. [Liu03] Q. Liu. “Reduction and lifting of finite covers of curves”. In: Proceedings of the 2003 Workshop on Cryptography and Related Mathematics. Chuo University, 2003, pp. 161–180. [LP92] M. L...

work page 1992

[4] [13]

Arithmetic of Borcherds products

arXiv:2409.19742 [math.AG]. [HM20] B. Howard and K. Madapusi Pera. “Arithmetic of Borcherds products”. In:Astérisque421, Diviseurs arithmétiques sur les variétés orthogonales et unitaires de Shimura (2020), pp. 187–297. [HW22] C. Hacon and J. Witaszek. “The minimal model program for threefolds in characteristic 5”. In:Duke Math. J.171.11 (2022), pp. 2193–...

arXiv 2020

[5] [19]

Eisenbud and J

[EH16] D. Eisenbud and J. Harris.3264 and all that—a second course in algebraic geometry. Cambridge Uni- versity Press, Cambridge, 2016, pp. xiv+616. REFERENCES 51 [FLTZ22] L. Fu, Z. Li, T. Takamatsu, and H. Zou.Unpolarized Shafarevich conjectures for hyper-Kähler varieties

work page 2016

[6] [21]

Integralp-adic Hodge theory

Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1990, pp. x+325. [BMS18] B. Bhatt, M. Morrow, and P. Scholze. “Integralp-adic Hodge theory”. In:Publ. Math. Inst. Hautes Études Sci.128 (2018), pp. 219–397. [BO78] P. Berthelot and A. Ogus.Notes on crystalline cohomology. Princeton...

work page 2018

[7] [23]

Monodromy of variations of Hodge structure

Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1994, pp. 461–483. [PS03] C. A. M. Peters and J. H. M. Steenbrink. “Monodromy of variations of Hodge structure”. In: vol

work page 1994

[8] [26]

Purity results forp-divisible groups and abelian schemes over regular bases of mixed characteristic

Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2013, pp. 507–546. [VZ10] A. Vasiu and T. Zink. “Purity results forp-divisible groups and abelian schemes over regular bases of mixed characteristic”. In:Doc. Math.15 (2010), pp. 571–599. Haoyang GuoDepartment of Mathematics, The University of Chicago, Chicago, Illinois, USA. Email:ghy@uchicago.edu Ziqua...

work page 2010