REVIEW
A holomorphic (2, 2)-Theorem for Abelian varieties of CM-type
Algebraic Geometry · Submitted 31 Aug 2026 · 9 references
Pith's verdict: New technique and a plausible architecture, but the load-bearing Lemma 5.7 is unreadable as printed; conditional engagement until the author supplies a readable proof.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A partial Hodge conjecture statement: on complex tori with algebraic normalized period matrix, including CM abelian varieties, the analytic Milnor K2 dlog map surjects onto rational (2,2) Hodge classes.
The reading
The proof avoids the classical tools, the Steinberg relations and the Leibniz rule, and turns the question into linear algebra. Using Amitsur's cosimplicial ring of a field extension and the torus's Hodge structure, the author builds cosimplicial dg-modules and argues that the surjectivity is equivalent to strictness of a filtered vector space map. For tori defined over a Galois extension of Q, strictness is reduced to spectral sequence injectivity for i=0,1, stated as Proposition 5.4.
As submitted, the argument is not checkable. Lemma 5.7, the decisive injectivity result, has its key computation replaced by a run of corrupted characters. Lemmas 4.4 and 4.7 are left to the reader. And 'algebraic normalized period matrix' is never defined, nor is the claim that CM abelian varieties have one supported by a citation. The author's footnote 2 concedes that the full Hodge conjecture for these varieties still needs a further step he does not know how to prove.
Extended reading notes
Core claim
Theorem 1.2: 'Let X be a complex torus with algebraic (normalized) period matrix. Then the morphism dlog: H^2(X, K_2^{M,an})_Q to H^{2,2} cap H^4(X, Q) is surjective.' The abstract asserts this applies 'in particular for Abelian varieties of CM-type.' If the theorem is correct, every rational (2,2) Hodge class on these tori is the dlog image of an analytic Milnor K2-cohomology class up to rational factors; with Hazama's reduction and the boundary-map step delta that the author leaves open (footnote 2), it would be a step toward the Hodge conjecture for CM abelian varieties.
Load-bearing premise
The premise that every torus in the theorem, in particular every CM abelian variety, has an algebraic normalized period matrix, so that d: V = H^1(X,C) to W = H^1(X,O_X) is defined over a finite Galois extension of Q. This is asserted in the abstract and used in the proof of Theorem 1.2 ('The algebraicity of the normalized period matrix implies that d is defined over a finite extension of Q'), but the term is never defined and no proof or citation is offered. If this premise fails for some CM abelian variety, the theorem's scope collapses; the strictness argument via Proposition 5.4 requires the Galois hypothesis.
Original abstract
For complex tori with algebraic normalized period matrix, in particular for Abelian varieties of CM-type, the map from the second cohomology group of the analytic sheaf of the second Milnor K-groups to the rational cohomology classes of Hodge type (2,2) is surjective (up to denominators).
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
For complex tori with algebraic normalized period matrix, in particular for Abelian varieties of CM-type, the map from the second cohomology group of the analytic sheaf of the second Milnor K-groups to the rational cohomology classes of Hodge type (2,2) is surjective (up to denominators).
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | For complex tori with algebraic normalized period matrix, in particular for Abelian varieties of CM-type, the map from the second cohomology group of the analytic sheaf of the second Milnor K-groups to the rational cohomology classes of Hodge type (2,2) is surjective (up to denominators). | result 0.99 | 0.74 | 0.91 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.