REVIEW 1 major objections 3 minor 2 references
Equisingular lifting of semi-log canonical $F$-split $K$-trivial surfaces
T0 review · 1 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Every globally F-split semi-log canonical K-trivial surface in characteristic p>2 lifts equisingularly over the Witt vectors.
desk verdict Real extension of the normal-surface result to the non-normal slc boundary; the proof is credible, but the char-p transfer of the involution classification in Lemma 7.7 is under-justified. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the normalization triple (X^\nu, D, τ): X^\nu is the normalization of the demi-normal surface X, D is the conductor divisor (the double locus), and τ is the induced involution on the normalization D^\nu of D, a log involution of (D^\nu, Diff_{D^\nu}(0)). The proof's criterion (Proposition 4.9) says that a strong slc lifting of X is exactly a strong log lifting of (X^\nu, D) with K_{X^\nu}+D Q-Cartier together with a lift of τ. To lift τ, the paper builds canonical liftings of the two boundary types that matter: ordinary genus-one curves, using the classical canonical lift with Frobenius, and the four-marked rational pair (\mathbb{P}^1, \frac{1}{2}\sum_{i=1}^4 q_i), whose canonical lift is obtained from a degree-two cover by an ordinary elliptic curve. In the hardest case, where D has a 4A1-curve (a rational component along which S has four A1-singularities), the proof passes to the index-one cover, classifies its μ2-equivariant minimal models — del Pezzo surfaces of degree 1 or 2, the projective plane, the product of two projective lines, or conic bundles — and lifts each model equivariantly over W(k).
What would settle it
Look for a projective globally F-split slc surface X over an algebraically closed field of characteristic p>2 with K_X ≡ 0 whose normalization pair has a rational boundary component with four A1-singularities, and compute the μ2-equivariant minimal model of its index-one cover: if that model is not one of the five types in Lemma 7.7, or if the four branch points on the canonical lift of (\mathbb{P}^1, \frac{1}{2}\sum q_i) carry no involution lifting τ, then Theorem 1.1 is false.
Extended reading notes
Core claim
On the paper's own terms, the discovery is Theorem 1.1: if k is algebraically closed of characteristic p>2 and X is a projective semi-log canonical, globally F-split surface with K_X ≡ 0, then there exists a proper strong semi-log canonical lifting X of X over W(k). A strong slc lifting is an equisingular deformation in the precise sense of Section 4: the special fiber is X, the total space is demi-normal, and its normalization is a strong log lifting of the normalization pair of X, with K_{X^\nu}+D Q-Cartier. Equivalently, the paper shows that the normalization pair can be lifted together with the order-two gluing involution τ on the conductor double cover, so that the quotient of the lifted pair reconstructs a lift of X.
Load-bearing premise
The proof leans on a classification of the double-cover surfaces that arise when a rational boundary curve carries four singularities; if some globally F-split surface in characteristic p>2 produced a cover outside the listed types, the lifted gluing involution could fail to exist.
Editorial extensions
If this is right
- Every globally F-split slc K-trivial surface in characteristic p>2 becomes the special fiber of a proper, locally stable family over W(k); the singularities, including the four A1 points on each 4A1-curve, deform equisingularly rather than smoothing.
- In the 4A1 case the proof forces the Cartier index of K_{X^\nu}+D to be exactly 2; index-4 covers cannot occur, so only μ2-equivariant models are needed.
- If the normalization boundary has no four-marked rational component, lifting the gluing involution is automatic, so the non-normal theorem follows directly from the normal case.
- For moduli theory, the F-split slc K-trivial surfaces in characteristic p>2 are specializations of the characteristic-0 slc boundary, assuming the relevant moduli space is proper.
- The theorem stops at p>2 and K-triviality; p=2 and non-CY cases are explicitly left open, with the paper noting that in p=2 inseparable nodes are already excluded by F-splitting.
Reading between the lines
- The construction singles out the four-marked rational boundary as the only genuine obstruction: a natural next test is to classify F-split slc K-trivial surfaces whose boundary is exactly one 4A1-curve and to check whether the canonical lift produced here is forced or admits alternatives.
- The canonical lift of (\mathbb{P}^1, \frac{1}{2}\sum q_i) via an ordinary elliptic double cover is a transferable tool; it should apply to other log Calabi–Yau pairs and to Enriques-type quotients in positive characteristic, where the liftability problem has the same flavor.
- The theorem is evidence for the broader expectation that globally F-split varieties lift over W(k); the strategy suggests that in higher dimensions the analogous obstruction would be the equivariant classification of index-one covers, not Frobenius-positivity itself.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that every projective semi-log canonical globally F-split surface X over an algebraically closed field of characteristic p>2 with K_X numerically trivial admits a strong semi-log canonical (equisingular) lifting over the Witt vectors W(k). The proof reduces the non-normal case to the normal case of [BBKW24] by showing, in Proposition 4.9, that a strong slc lift is equivalent to a strong log lift of the normalization pair together with a lift of the gluing involution. The main technical work is the 4A1 case: the authors introduce a canonical lifting of the log pair (P^1, 1/2 sum of four points) via an ordinary elliptic double cover, analyze the index-one cover of the normalization pair, classify its equivariant minimal models, and construct equivariant liftings for each model type in Sections 7.6-7.11. A separate argument in Section 7.11 excludes the index-four case, completing the proof of Theorem 6.3 and hence of Theorem 1.1.
Significance. If correct, the theorem confirms, for slc K-trivial surfaces, the expectation that globally F-split varieties admit equisingular deformations to characteristic zero, extending the normal surface result of [BBKW24] to a non-normal setting that is central for moduli theory of K-trivial surfaces in mixed characteristic. The paper is structurally careful: the main theorem is reduced to a small number of explicit geometric classifications, and the authors give constructive lifting arguments for each case, using canonical lifts of ordinary elliptic curves as the key functorial input. The proof is essentially self-contained modulo the cited normal-surface and canonical-lift results, and I found no circularity: the inputs [BBKW24], [MS87], and the MMP references are independent prior results. The main uncertainty is the completeness of the equivariant minimal-model classification in characteristic p>2, discussed below.
major comments (1)
- [§7.4, Lemma 7.7] The five-case classification of the μ2-equivariant minimal model U is justified only by the sentence 'Since U is rational and minimal, the action U ⟲ μ2 is one of those listed in [BB00, Theorem 1.4].' The cited theorem of Bayle–Beauville is, as usually stated, a classification of birational involutions of the complex projective plane, whereas the paper works over an algebraically closed field k of characteristic p>2. No positive-characteristic analogue is given, and [Pro21] is cited for general equivariant MMP facts rather than for this enumerative classification. This issue is load-bearing: Propositions 7.12 and 7.14 reduce the 4A1 lifting problem exactly to the models listed in Lemma 7.7, and Sections 7.6-7.11 cover precisely that list and no others. The authors should either cite a classification that is valid over algebraically closed fields of characteristic p>2, or add a short proof (for instance, by observing that a smooth G-minimal del Pezzo surface with ρ^G=1 and an order-two automorphism can only have degree 1 or 2, since orbit sums of lines give invariant classes independent of K, and otherwise the surface is a conic bundle).
minor comments (3)
- [Abstract] The abstract in the submission metadata states 'characteristic p>0', while Theorem 1.1 and the body of the paper require p>2; please make these statements consistent.
- [§7] The section title contains the typo 'lifings'; it should read 'liftings'.
- [§7.5, Proposition 7.14, footnote 9] The footnote says that a point on a component of Γ_Ui can be lifted because 'they are rational', but Lemma 7.9 allows Γ_U to be a regular curve of genus one. The lifting argument is still valid by Hensel's lemma since the relevant divisors are smooth over W(k), so the justification should be corrected rather than the conclusion changed.
Circularity Check
No circularity found: the proof imports independent prior results and does not define its outputs in terms of its inputs.
full rationale
The paper's derivation chain is self-contained relative to established prior work. The main theorem reduces the non-normal case to (1) a strong log lifting of the normalization pair, provided by [BBKW24, Theorem 6.8], and (2) a lift of the gluing involution τ. The lift of τ for components with ≤3 boundary points uses Corollary 2.26 and the elementary Proposition 2.25; for genus-one components it uses the canonical liftings of [MS87, Appendix]; for 4A1-curves it uses the canonical lift of (P1, 1/2 Σ qi) constructed in Proposition 3.8 from the canonical lift of an ordinary elliptic curve. These are external, published inputs with stated assumptions that do not include the theorem being proved. The equivariant minimal model classification in Lemma 7.7 cites [BB00, Theorem 1.4], an external classification of birational involutions of P2; even if that classification is stated in characteristic zero, invoking it is a correctness/scope concern, not circularity, because the paper does not define the allowed models in terms of the lifting statement. The authors do cite prior work by one of the authors ([BBKW24], [Pos25]), but those citations are used as black boxes for previously established results, not as assumptions equivalent to Theorem 1.1. No fitted parameter is renamed as a prediction, and no equation is defined in terms of the target result. Thus the central claim retains independent content and is not forced by self-citation or by construction.
Assumptions & free parameters
assumptions (5)
- domain assumption Surface MMP over algebraically closed fields of characteristic p > 2 is valid, including equivariant contractions and Mori fiber spaces.
- domain assumption The Kollár-Shokurov connectedness principle holds for the log surface pairs considered in characteristic p > 2.
- standard math The canonical lift of an ordinary elliptic curve over k to W(k), including lifts of Frobenius and of endomorphisms, exists and is unique as in [MS87, Appendix].
- standard math Deformation theory of log smooth pairs over W(k): liftings are torsors under H^1(T_V(-log)) and formal deformations algebraize when H^2(V,O_V)=0.
- domain assumption The classification of birational involutions of P2 and of µ2-actions on minimal rational surfaces over algebraically closed fields is as stated in [BB00, Theorem 1.4].
Cite this review
Pith. "Pith review of Equisingular lifting of semi-log canonical $F$-split $K$-trivial surfaces." pith.science (2026). https://pith.science/paper/TSUD5CAR
@misc{pith2026250601007,
author = {Pith},
title = {Pith review of: Equisingular lifting of semi-log canonical $F$-split $K$-trivial surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/TSUD5CAR}},
note = {Machine review of arXiv:2506.01007}
}
abstract
We show that a projective globally $F$-split semi-log canonical $K$-trivial surface over an algebraically closed field of characteristic $p>0$ admits an equisingular lifting over the ring of Witt vectors.
Reference graph
Works this paper leans on
-
[340]
MR3888690 [BT25] L. Brantner and L. Taelman, Deformations and lifts of Calabi-Yau varieties in characteristic p (2025), available at 2407.09256. [CGP15] B. Conrad, O. Gabber, and G. Prasad, Pseudo-reductive groups, Second, New Mathematical Mono- graphs, vol. 26, Cambridge University Press, Cambridge, 2015. MR3362817 [CT18] P. Cascini and H. Tanaka, Smooth...
arXiv 2025
-
[669]
MR3084720 EQUISINGULAR LIFTING OF F -SPLIT SLC CY SURF ACES 59 [Sch03] S. Schr¨ oer,Logarithmic deformations of normal crossing Enriques surfaces in characteristic two , Math. Proc. Cambridge Philos. Soc. 134 (2003), no. 2, 207–228. MR1972135 [Sch04] , Some Calabi-Yau threefolds with obstructed deformations over the Witt vectors , Compos. Math. 140 (2004)...
work page 2003
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.