Pith. sign in

REVIEW 3 major objections 5 minor 23 references

Log $p$-divisible groups associated with semi-abelian degeneration

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read This paper proves that the p-divisible group of an abelian scheme degenerating along a normal crossings divisor extends uniquely to a log p-divisible group over the regular base.

desk verdict A useful and likely correct generalization of Kato-Zhao, but Theorem 4.7's proof has a real gap in the finite-level uniqueness for p-power torsion. read the letter →

arxiv 2505.03993 v2 pith:4R67OIGG submitted 2025-05-06 math.AG math.NT

Kentaro Inoue This is my paper · ORCID
classification math.AGmath.NT MSC 14K1014L1514F3514G20
keywords logp-divisiblegroupssemi-abeliandegeneration1-motivesfinitegroupschemesKummerflattopologynormalcrossingsdivisortheoryofabelianvarieties
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 establishes a higher-dimensional generalization of a known one-dimensional result: when an abelian scheme degenerates to a semi-abelian scheme along a normal crossings divisor (locally a union of coordinate hyperplanes) in a regular base, the $p$-divisible group of the abelian scheme extends uniquely to a log $p$-divisible group over the whole base. The analogous statement holds for the $n$-torsion when $n$ is invertible at the generic points of the divisor. This matters because the naive torsion of the semi-abelian scheme is only quasi-finite and loses the monodromy information of the degeneration, whereas the log object is finite flat after suitable covers and records that information. The reader should take away that degenerating abelian varieties still carry a well-behaved torsion theory in the logarithmic world.

What carries the argument

The central object is a log 1-motive, a homomorphism $Y \to G_{\log}$ from a locally constant lattice $Y$ to the log-semi-abelian sheaf attached to a split semi-abelian scheme $G$; its torsion $Q_{\log}[n]$ is a log finite group scheme. The workhorse is the equivalence $\mathrm{DEG}(X,U)\simeq \mathrm{DD}(X,U)\simeq \mathrm{DD}^{\log}(X,U)$ over complete regular local rings, which converts degeneration data into log 1-motives; the $n$-torsion (or the $p$-power torsion) of the resulting log 1-motive is the required canonical extension. Uniqueness is carried by fully faithful restriction functors (Lemma 4.1 over discrete valuation rings, Corollary 4.5 in codimension at least 2), so any two candidate extensions agree as soon as they agree on the generic fiber.

What would settle it

Find two log finite group schemes over a discrete valuation ring, killed by an integer $n$ invertible on the ring, that are isomorphic over the fraction field but not over the log scheme; such a pair would contradict Lemma 4.1(1) and break the uniqueness part of both main theorems. Equivalently, produce a Kummer log étale cover of $\operatorname{Spec} R$ not dominated by any Galois cover of the fraction field.

Watch

Extended reading notes

Core claim

Theorem 4.7 states that, for an fs log scheme $(X,M_X)$ (a fine and saturated log scheme) defined by a locally noetherian regular scheme $X$ and a normal crossings divisor $D$, if $A$ is a semi-abelian scheme over $X$ whose restriction to $U=X\setminus D$ is an abelian scheme, then the $p$-divisible group $A_U[p^\infty]$ over $U$ uniquely extends to a log $p$-divisible group over $(X,M_X)$. Theorem 4.6 gives the same uniqueness for the $n$-torsion $A_U[n]$ when $n$ is invertible at the generic points of $D$. The extension is not the naive system $\{A[p^n]\}$ of quasi-finite flat group schemes attached to the semi-abelian scheme; it is a log finite group scheme in the Kummer log flat topology, the topology generated by adjoining roots of monomials, and it retains the monodromy information that the naive system loses.

Load-bearing premise

The load-bearing premise is the claim that over a discrete valuation ring the absolute Galois group of the fraction field maps onto the Kummer log étale fundamental group of the log ring, together with the extension of a known full-faithfulness theorem for log $p$-divisible groups beyond the hypotheses under which it was stated.

Editorial extensions

If this is right

  • The log $p$-divisible group $A[p^\infty]^{\log}$ is independent of auxiliary choices: any two semi-abelian models of the same abelian scheme over $U$ yield isomorphic log $p$-divisible groups, because the extension is unique.
  • For every $n$ invertible at the generic points of $D$, the finite flat group scheme $A_U[n]$ extends canonically to a log finite group scheme over $(X,M_X)$.
  • The objects $A[p^n]^{\log}$ assemble into a log $p$-divisible group with exact sequences and Weil pairings inherited from the log 1-motive, so structural results for $p$-divisible groups transfer to these degenerations.
  • Over complete regular local rings, degeneration data for semi-abelian schemes are equivalent to log 1-motives ($\mathrm{DEG}\simeq\mathrm{DD}\simeq\mathrm{DD}^{\log}$), giving a log-geometric description of the monodromy pairing.
  • The canonical log extension is available even where the semi-abelian torsion system has non-constant rank, which makes it the right input for log versions of Dieudonné theory and for arithmetic compactifications.

Reading between the lines

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

  • The uniqueness suggests the log $p$-divisible group is intrinsic to the generic abelian scheme together with the chosen normal crossings compactification, and should be unchanged under modifications of the divisor that do not change $U$.
  • A testable extension would be to non-regular bases: after passing to a log regular resolution, the same argument should produce a log $p$-divisible group, and the question would be whether the result is independent of the resolution.
  • If Theorem 4.7 is combined with log Dieudonné theory, each semi-abelian degeneration should give a semi-stable or log prismatic Galois representation whose monodromy is the pairing encoded in the log 1-motive.
  • The proof strategy also suggests that the natural question of whether every such degeneration comes from a log abelian scheme (Question 1.1 in the paper) should have an affirmative answer in general, since the torsion-level structure already exists canonically.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proves two extension statements for torsion of abelian schemes degenerating to semi-abelian schemes over a regular base with a normal crossings divisor. Theorem 4.6 (Theorem B) states that for an integer n that is invertible at the generic points of the divisor, the finite flat group scheme A_U[n] extends uniquely to a log finite group scheme over the log scheme (X, M_X). Theorem 4.7 (Theorem A) states that the p-divisible group A_U[p^∞] extends uniquely to a log p-divisible group, without any invertibility hypothesis on p. The strategy is to reinterpret Mumford's degeneration theory over a complete regular local base in terms of log 1-motives (Theorem 3.20), then to pass to discrete valuation rings using Beauville-Laszlo gluing, and finally to globalize by purity and strict fpqc descent. The paper is clearly written and the choice of tools is coherent, but the proof of Theorem 4.7 contains a finite-level uniqueness step that is not supported by the stated results.

Significance. If the main theorems are correct, they give a canonical log p-divisible group attached to any semi-abelian degeneration of an abelian scheme over a regular base with normal crossings divisor, extending the DVR results of Kato, Zhao, and Würthen-Zhao to higher-dimensional bases. The paper also contributes a new categorical equivalence, Theorem 3.20, between Mumford's degeneration data and log 1-motives, which is a useful reinterpretation and may be of independent interest. The approach avoids the full theory of log abelian varieties and is therefore likely to be more accessible. The paper does not rely on circular reasoning: the construction is validated by the known rigidity of Mumford's degeneration theory and by the log 1-motive interpretation. However, the p-power finite-level uniqueness argument in Theorem 4.7 is a genuine gap, and the citation for a key full-faithfulness input exceeds the stated hypotheses of the cited theorem.

major comments (3)
  1. [§4, Lemma 4.1(1)] The proof of Lemma 4.1(1) rests on the assertion that the natural map Gal(Kbar/K) → π_1^{két}(Spec R, M_R) is surjective, stated without proof or citation. This is not a purely formal fact: for the standard log structure on a discrete valuation ring, the Kummer étale fundamental group is related to the tame quotient, and the identification requires an argument. This surjectivity is load-bearing because it is the uniqueness mechanism for n-torsion extensions in Proposition 4.2(1) and in the first paragraph of Theorem 4.6. Please provide a proof or a precise reference; if only a tameness-restricted statement is true, the uniqueness statements need to be reformulated accordingly.
  2. [§4, Theorem 4.7] The sentence "For every n≥1, by the same argument as Theorem 4.6" is not justified. In Theorem 4.6 the hypotheses that n is finite and invertible at the generic points of D are used through Lemma 4.1(1) to obtain unique finite-level extensions. For n = p^r, that invertibility hypothesis is not assumed and may fail; the argument of Theorem 4.6 therefore does not apply to the finite levels A[p^r]^log. Lemma 4.1(2), the only p-power replacement offered, gives full faithfulness for entire log p-divisible groups, not for truncated log finite group schemes killed by p^r. Full faithfulness for p-divisible groups does not formally imply full faithfulness for each p^r-torsion level: a map on the generic fiber of A[p^r]^log need not come from a compatible system of maps of p-divisible groups. This finite-level uniqueness and gluing step is load-bearing, since it is exactly what allows the direct system A[p^r]^log to be formed and then identified with Qlog[p^r]. The proof needs either a p-power analogue of Lemma 4.1(1) at finite levels or a different strategy that constructs the p-divisible extension before passing to p^r-kernels.
  3. [§4, Lemma 4.1(2)] The invocation of [BWZ24, Theorem 5.19] goes beyond the hypotheses stated there: that theorem assumes mixed characteristic (0,p) and a perfect residue field. The parenthetical remark that [BWZ24, Lemma 4.8] works without these assumptions is a claim, not a proof. Since Proposition 4.2(2) uses this full-faithfulness statement to obtain uniqueness of the DVR-level p-divisible extension, and Theorem 4.7 ultimately depends on it, this point needs to be substantiated by a proof or by a reference whose hypotheses cover the same class of discrete valuation rings used in the paper.
minor comments (5)
  1. [§4, Theorem 4.7, last paragraph] The proof cites Proposition 3.14(3), but the statement that Qlog[p^∞] is a log p-divisible group is Proposition 3.14(4). Please correct the citation or explain the intended reference.
  2. [Corollary 4.5] The heading contains the typo "fnite"; it should read "finite".
  3. [Introduction, first paragraph] The sentence "It is an important to understand degeneration of abelian varieties" is grammatically incomplete; please rephrase.
  4. [Theorems 4.6 and 4.7] The condition that D⊗Z Z[1/n] be dense in D is used without defining the tensor notation. Please spell out its meaning at first use.
  5. [Proposition 2.7] The proof states that the same argument as in [Kat21] gives strict fpqc descent although loc. cit. proves strict fppf descent. Since this is used for the Beauville-Laszlo gluing, please provide the few-line argument or a precise reference for strict fpqc descent of finite Kummer log flat schemes.

Circularity Check

0 steps flagged · score 2.0 of 10

No circularity found: the main extension is built from Mumford's external degeneration theory and log 1-motives; only minor self-citations and an unsupported p-power finite-level uniqueness step are noted.

full rationale

The derivation is not circular. Theorem 4.6 and Theorem 4.7 construct A[n]^log and A[p^∞]^log as Qlog[n] and Qlog[p^∞] for the log 1-motive Qlog attached to A by Mumford's degeneration theory (Theorem 3.19 citing [FC90, Mad19]); the equality on U is Proposition 3.21, citing [FC90, Ch.III, Cor. 7.3] and [Mad19, (1.2.2.1)], an external benchmark. The p-divisible group property of Qlog[p^∞] is proved in Proposition 3.14(4), not imported from the theorem being proved. Local uniqueness uses Lemma 4.1(1) for n invertible and Lemma 4.1(2) from [BWZ24] for log p-divisible groups; neither is a self-citation. The author's own [Ino23] is cited for technical facts (Lemma 2.3, Lemma 2.13, the limit argument); these are auxiliary and do not carry the central claim, so at most a minor self-citation issue. The flagged weakness is a correctness gap rather than circularity: in Theorem 4.7 the sentence 'For every n≥1, by the same argument as Theorem 4.6...' asserts finite-level p^n uniqueness although Theorem 4.6's argument requires n invertible at the generic points of D, and Lemma 4.1(2) supplies full faithfulness only for whole log p-divisible groups, not for each truncated G[p^n]. Also the final citation should be Proposition 3.14(4), not (3). These omissions do not make the derivation self-referential.

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

The central claim rests on Mumford's degeneration theory, Kato's log flat topology and log finite group schemes, the torsion theory of log 1-motives from [WZ24], and the log Tate theorem from [BWZ24]. No free parameters or invented entities appear. Two load-bearing facts are asserted without proof inside this paper: the surjectivity claim in Lemma 4.1(1) and the extension of [BWZ24, Theorem 5.19] in Lemma 4.1(2).

assumptions (8)
  • domain assumption Mumford's degeneration theory: natural equivalence DEG(X,U) ≃ DD(X,U) for complete regular local rings ([Mad19, (1.2.2)]).
    Used as the starting point in Theorem 3.20 and Proposition 3.21 to associate a 1-motive to a semi-abelian degeneration; not reproved in this paper.
  • domain assumption Kato's log flat topology ([Kat21]): kfl site is subcanonical, Gm,log is a sheaf, and strict fpqc descent holds for finite Kummer log flat schemes.
    The definitions of log finite group schemes, kfl vector bundles, and the descent argument in Theorem 4.6 depend on these results.
  • domain assumption Kato's log finite group scheme theory ([Kat23, Proposition 2.3 and 2.15]): weak log finite group schemes correspond to Hopf algebra objects, and log finite group schemes are stable under the operations used.
    Invoked in Lemma 2.6 and Proposition 3.14(2) to show Q_log[n] is a log finite group scheme.
  • domain assumption Torsion of log 1-motives ([WZ24, Proposition 3.5]): Q_log[n] fits into 0 → G[n] → Q_log[n] → Y/nY → 0.
    Part (1) of Proposition 3.14 is cited from [WZ24]; this exact sequence underlies the finite-level extensions.
  • domain assumption Technical lemmas from the author's prior paper [Ino23]: Lemma 2.3 (kfl vector bundles become classical after a Kummer cover), Lemmas 2.13 and 2.14 (log regularity under Kummer base change), and the limit argument in [Ino23, Appendix].
    Self-citations used in Propositions 2.4 and 4.4 and in the limit arguments of Theorems 4.6 and 4.7.
  • domain assumption For a DVR R with standard log structure, the map Gal(Kbar/K) → π_1^{két}(Spec R, M_R) is surjective.
    Stated without proof or reference in Lemma 4.1(1); it yields the rigidity of n-torsion extensions over DVRs.
  • domain assumption The log Tate/de Jong full faithfulness for p-divisible groups over log DVRs ([BWZ24, Theorem 5.19]), and that the fully faithful part holds beyond the mixed-characteristic, perfect-residue hypotheses stated there.
    Used in Lemma 4.1(2) to get uniqueness of log p-divisible extensions over DVRs; the broader validity is asserted, not proved.
  • domain assumption Beauville-Laszlo gluing ([BL95]) for vector bundles, extended by the paper to kfl vector bundles and log finite group schemes (Propositions 2.4 and 2.7).
    Standard gluing theorem used to reduce from complete DVRs to general DVRs.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Log $p$-divisible groups associated with semi-abelian degeneration." pith.science (2026). https://pith.science/paper/4R67OIGG

@misc{pith2026250503993,
  author       = {Pith},
  title        = {Pith review of: Log $p$-divisible groups associated with semi-abelian degeneration},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4R67OIGG}},
  note         = {Machine review of arXiv:2505.03993}
}
read the original abstract

In this paper, we prove that, when an abelian scheme has semi-abelian degeneration along normal crossings divisor in a regular base scheme, a finite flat group scheme of torsion points of the abelian scheme degenerates to a log finite group scheme, which captures more information than a quasi-finite flat group scheme of torsion points of the semi-abelian scheme.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

  1. [1]

    A.\ Beauville, Y.\ Laszlo: Un lemme de descente, C.\ R.\ Acad.\ Sci.\ Paris S\' e r.\ I Math.\ 320 (1995), no.\ 3, 335-340

    work page 1995

  2. [2]

    A.\ Bertapelle, S.\ Wang, H.\ Zhao: Log p -divisible groups and semi-stable representations, 2024, arXiv:2302.11030

    work page Pith review arXiv 2024

  3. [3]

    P.\ Deligne: Th\' e orie de Hodge, III , Inst.\ Hautes.\ \' E tudes Sci.\ Publ.\ Math.\ No.\ 44 (1974), 5-77

    work page 1974

  4. [4]

    G.\ Faltings, C.-L.\ Chai: Degeneration of abelian varieties, Ergeb.\ Math.\ Grenzgeb.\ (3), 22, Springer-Verlag, Berlin, 1990

    work page 1990

  5. [5]

    K.\ Inoue: Slope filtrations of log p -divisible groups, 2023, arXiv:2307.04629

    work page arXiv 2023

  6. [6]

    K.\ Inoue Log prismatic Dieudonn\' e theory and its application to Shimura varieties , 2025, arXiv:2503.07379

    work page Pith review arXiv 2025

  7. [7]

    T.\ Kajiwara, K.\ Kato, C.\ Nakayama: Logarithmic abelian varieties. I. Complex analytic theory, J.\ Math.\ Sci.\ Univ.\ Tokyo 15 (2008), no.\ 1, 69-193

    work page 2008

  8. [8]

    T.\ Kajiwara, K.\ Kato, C.\ Nakayama: Logarithmic abelian varieties, Nagoya Math.\ J.\ 189 (2008), 63-138

    work page 2008

Show all 23 references
  1. [9]

    T.\ Kajiwara, K.\ Kato, C.\ Nakayama: Logarithmic abelian varieties, Part IV: Proper models, Nagoya Math.\ J.\ 219 (2015), 9-63

    2015

  2. [10]

    T.\ Kajiwara, K.\ Kato, C.\ Nakayama: Logarithmic abelian varieties, Part V: Projective models, Yokohama Math.\ J.\ 64 (2018), 21-82

    2018

  3. [11]

    T.\ Kajiwara, K.\ Kato, C.\ Nakayama: Logarithmic abelian varieties, Part VI: Local moduli and GAGF, Yokohama Math.\ J.\ 65 (2019), 53-75

    2019

  4. [12]

    T.\ Kajiwara, K.\ Kato, C.\ Nakayama: Logarithmic abelian varieties, part VII: moduli, Yokohama Math.\ J.\ 67 (2021), 9-48

    2021

  5. [13]

    T.\ Kajiwara, K.\ Kato, C.\ Nakayama: Moduli of logarithmic abelian varieties with PEL structure, 2022, arXiv:2205.10985

    2022 arXiv

  6. [14]

    K.\ Kato: Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988), 191-224, Johns Hopkins Univ.\ Press, Baltimore, MD, 1989

    1988

  7. [15]

    K.\ Kato: Toric singularities, Amer.\ J.\ Math.\ 116 (1994), no.\ 5, 1073-1099

    1994

  8. [16]

    II-Logarithmic flat topology

    K.\ Kato: Logarithmic structures of Fontaine-Illusie. II-Logarithmic flat topology. Tokyo J.\ Math.\ 44 (2021), no.\ 1, 125-155

    2021

  9. [17]

    K.\ Kato: Logarithmic Dieudonn\' e theory , 2023, arXiv:2306.13943

    2023 arXiv

  10. [18]

    K.-W.\ Lan: Arithmetic compactifications of PEL-type Shimura varieties, London Mathematical Society monographs 36, Princeton Univ.\ Press, 2013

    2013

  11. [19]

    K.\ Madapusi: Toroidal compactifications of integral models of Shimura varieties of Hodge type, Ann.\ Sci.\ \' E c.\ Norm.\ Sup\' e r.\ 52 (2019), no.\ 2, 393-514

    2019

  12. [20]

    A.\ Ogus: Lectures on logarithmic algebraic geometry, Cambridge Studies in Advanced Mathematics, 178.\ Cambridge University Press, Cambridge, 2018

    2018

  13. [21]

    M.\ W\" u rthen, H.\ Zhao: Log p -divisible groups associated with log 1 -motives, Canad.\ J.\ Math.\ 76 (2024), no.\ 3, 946-983

    2024

  14. [22]

    H.\ Zhao: Extending tamely ramified strict 1 -motives into k\' e t log 1 -motives , Forum Math.\ Sigma 9 (2021)

    2021

  15. [23]

    I , Lecture Notes in Math., 288, Springer, Berlin, 1972

    Groupes de monodromie en g\' e om\' e trie alg\' e brique. I , Lecture Notes in Math., 288, Springer, Berlin, 1972

    1972

Pith tools

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