arxiv: 2605.07009 · v1 · submitted 2026-05-07 · 🧮 math.AG

Recognition: no theorem link

Weight of the De Rham-Betti Structures of Abelian Varieties

Zekun Ji

Pith reviewed 2026-05-11 01:10 UTC · model grok-4.3

classification 🧮 math.AG

keywords abelian varietiesde Rham-Betti structureshomothetiesmultiplicative groupcohomology classesalgebraic closure of rationalsodd-degree cohomology

0 comments

The pith

Any abelian variety over the algebraic closure of the rationals has a de Rham-Betti group containing the multiplicative group as homotheties.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the de Rham-Betti group of an abelian variety defined over the algebraic closure of the rationals must contain the multiplicative group acting as homotheties. This forces all de Rham-Betti classes in odd-degree cohomology to be zero. A sympathetic reader would care because the result imposes a rigid constraint on the possible nonzero classes that can arise when de Rham and Betti structures are combined on the cohomology of these varieties.

Core claim

For any abelian variety defined over the algebraic closure of the rationals, its de Rham-Betti group necessarily contains the multiplicative group as the group of homotheties. This rules out the existence of non-zero de Rham-Betti classes in odd-degree cohomology groups of abelian varieties over the algebraic closure of the rationals.

What carries the argument

The de Rham-Betti group, which records the compatibility between the de Rham and Betti realizations of cohomology, specifically the subgroup of homotheties inside it.

If this is right

The homothety action by the multiplicative group is present in every such de Rham-Betti group.
All odd-degree de Rham-Betti cohomology classes vanish for abelian varieties over the algebraic closure of the rationals.
The conclusion holds uniformly for every abelian variety defined over the algebraic closure of the rationals.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The homothety inclusion may fix the weight filtration on the de Rham-Betti cohomology in a way that determines the possible nonzero classes completely.
The result could be used to test whether a given class in the cohomology of an abelian variety can arise from a de Rham-Betti structure at all.

Load-bearing premise

The de Rham-Betti structures are defined so that their group always includes the homotheties from the multiplicative group for every abelian variety over the algebraic closure of the rationals.

What would settle it

An explicit abelian variety over the algebraic closure of the rationals whose de Rham-Betti group lacks the multiplicative group as homotheties, or that admits a nonzero de Rham-Betti class in an odd-degree cohomology group, would falsify the claim.

read the original abstract

In this note, we prove that for any abelian variety defined over $\overline{\mathbb{Q}}$, its de Rham-Betti (dRB) group necessarily contains $\mathbb{G}_{m}$ as the group of homotheties. Consequently, this rules out the existence of non-zero dRB classes in odd-degree cohomology groups of abelian varieties over $\overline{\mathbb{Q}}$. This generalises results of the first part of arXiv:2511.01072.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This short note extends the author's earlier dRB claim from special cases to all abelian varieties over bar Q, but the argument leans entirely on the prior framework without new checks for general endomorphism rings.

read the letter

The core takeaway is that for any abelian variety A over bar Q the de Rham-Betti group is said to contain G_m as the homotheties, which forces the vanishing of nonzero dRB classes in odd-degree cohomology. This is presented as a direct generalization of the first part of arXiv:2511.01072 to the unrestricted setting. The paper does one thing cleanly: it states the uniform consequence for the scaling action on H^*(A) and records that the result now covers every A rather than a subclass. That extension is the only new content. The rest of the note consists of invoking the definitions and group-scheme actions from the earlier preprint. The soft spot is exactly the one the stress-test flags. The identification of the homothety subgroup and the resulting weight filtration on odd cohomology need to be functorial when End(A) is larger than Z or when A is not simple. The abstract gives no sign that these cases were re-verified rather than assumed to follow from the prior work. If the full derivation simply cites the earlier constructions without additional lemmas, the generalization is formal but not independently checked. Readers already inside the dRB framework will see the statement as a useful bookkeeping result. Outsiders will find it hard to evaluate without first digesting arXiv:2511.01072. The paper is coherent on its own terms and makes a falsifiable claim, so it deserves a serious referee who can compare the two preprints side by side. I would send it to review rather than desk-reject.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to prove that for any abelian variety A defined over the algebraic closure of the rationals, its de Rham-Betti group necessarily contains the multiplicative group G_m as the group of homotheties. As a direct consequence, this rules out the existence of non-zero dRB classes in the odd-degree cohomology groups of such abelian varieties. The result is presented as a generalization of the first part of the author's earlier preprint arXiv:2511.01072.

Significance. If the central claim is established, the note would supply a uniform statement that forces vanishing of dRB classes in odd degrees for every abelian variety over bar Q, extending the scope of the prior work on de Rham-Betti structures. This could bear on questions about periods, weights, and the motivic cohomology of abelian varieties. The manuscript contains no machine-checked proofs, explicit computations, or parameter-free derivations.

major comments (2)

[Main argument] The identification of G_m inside the dRB group and the induced scaling action on odd-degree cohomology are invoked by direct reference to the framework of arXiv:2511.01072 without re-deriving or verifying that the homothety subgroup and weight filtration remain functorial when End(A) is larger than Z or when A is not simple. This step is load-bearing for the generalization asserted in the abstract.
[Abstract and introduction] No independent lemmas, case distinctions, or explicit checks are supplied for the general abelian variety; the argument consists essentially of an appeal to the constructions of the referenced preprint. The abstract states that a proof is given, yet the manuscript provides no steps that can be assessed independently of the prior work.

minor comments (1)

The dependence on the earlier preprint for all foundational definitions of de Rham-Betti structures should be stated more explicitly in the abstract and introduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and for highlighting the need for clearer justification of the generalization. The manuscript is a concise note whose core contribution is the observation that the main result of arXiv:2511.01072 applies verbatim to arbitrary abelian varieties over the algebraic closure of Q. We have revised the text to make the dependence on the prior framework explicit, to cite the relevant functoriality statements, and to clarify the abstract.

read point-by-point responses

Referee: The identification of G_m inside the dRB group and the induced scaling action on odd-degree cohomology are invoked by direct reference to the framework of arXiv:2511.01072 without re-deriving or verifying that the homothety subgroup and weight filtration remain functorial when End(A) is larger than Z or when A is not simple. This step is load-bearing for the generalization asserted in the abstract.

Authors: The constructions in arXiv:2511.01072 define the dRB group and its homothety subgroup via the natural actions on the de Rham and Betti realizations; these actions are functorial with respect to morphisms of abelian varieties and do not depend on the size of End(A) or on simplicity. The weight filtration is likewise part of the dRB structure and is preserved by homotheties by definition in that work. We have added an explicit paragraph in the introduction that quotes the relevant propositions from arXiv:2511.01072 establishing this functoriality for general abelian varieties, thereby making the load-bearing step verifiable without re-deriving the entire framework. revision: yes
Referee: No independent lemmas, case distinctions, or explicit checks are supplied for the general abelian variety; the argument consists essentially of an appeal to the constructions of the referenced preprint. The abstract states that a proof is given, yet the manuscript provides no steps that can be assessed independently of the prior work.

Authors: The note is deliberately short because the argument for the general case is identical to the one already given in arXiv:2511.01072; no new case distinctions arise when End(A) is larger or when A is not simple, since the homothety action and the vanishing in odd degrees follow from the same weight considerations. We have revised the abstract to read that the result follows by direct application of the prior work, and we have inserted a short outline section that lists the precise steps from arXiv:2511.01072 that carry over unchanged, allowing the reader to assess the argument without consulting the full preprint. revision: yes

Circularity Check

0 steps flagged

No circularity: generalization proof is independent of prior framework definitions

full rationale

The paper presents a claimed proof that the dRB group of any abelian variety over bar Q contains G_m as homotheties, generalizing a prior result. The framework is referenced from arXiv:2511.01072, but this is a standard citation to definitions rather than a reduction of the new claim to the prior result by construction. No equations, fits, or self-citations are shown to make the central statement tautological or statistically forced. The derivation is self-contained as a mathematical argument applying the framework to a broader class, with no evidence of the specific patterns like self-definitional loops or fitted inputs renamed as predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No explicit free parameters, axioms, or invented entities are stated in the abstract; the argument relies on the prior definition of dRB structures.

pith-pipeline@v0.9.0 · 5360 in / 1053 out tokens · 38652 ms · 2026-05-11T01:10:59.919708+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

On the Shafarevich and Tate conjectures for hyperk¨ ahler varieties

Yves Andr´ e. “On the Shafarevich and Tate conjectures for hyperk¨ ahler varieties”. In:Math- ematische Annalen305.1 (1996), pp. 205–248

work page 1996
[2]

Une introduction aux motifs

Yves Andr´ e. “Une introduction aux motifs”. In:Panoramas et syntheses17 (2004)

work page 2004
[3]

Some remarks concerning the Grothendieck period conjecture

Jean-Benoˆ ıt Bost and Fran¸ cois Charles. “Some remarks concerning the Grothendieck period conjecture”. In:Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal)2016.714 (2016), pp. 175–208.doi:10.1515/crelle-2014-0025

work page doi:10.1515/crelle-2014-0025 2016
[4]

Tannakian categories

Pierre Deligne and James S Milne. “Tannakian categories”. In:Available at the author’s webpage(2012).url:https://www.jmilne.org/math/xnotes/tc2018.pdf

work page 2012
[5]

On the de Rham cohomology of algebraic varieties

Alexander Grothendieck. “On the de Rham cohomology of algebraic varieties”. In:Publica- tions Math´ ematiques de l’Institut des Hautes ´Etudes Scientifiques29.1 (1966), pp. 95–103. url:https://www.numdam.org/item/PMIHES_1966__29__95_0.pdf

work page 1966
[6]

Zekun Ji.De Rham-Betti Groups of Type IV Abelian Varieties. 2025. arXiv:2511 . 01072 [math.AG]

work page 2025
[7]

De Rham-Betti Groups of Type IV Abelian Varieties

Zekun Ji. “De Rham-Betti Groups of Type IV Abelian Varieties”. PhD thesis. Universiteit van Amsterdam, 2026.url:https://pure.uva.nl/ws/files/311471255/Thesis.pdf

work page arXiv 2026
[8]

Tobias Kreutz, Mingmin Shen, and Charles Vial.De Rham-Betti classes with coefficients

work page
[9]

arXiv:2206.08618 [math.AG].url:https://arxiv.org/abs/2206.08618. 13

work page arXiv
[10]

James D Lewis and B Brent Gordon.A Survey of the Hodge Conjecture Appendix B CRM Monograph Series. Vol. 10. American Mathematical Soc., 1999.url:https://arxiv.org/ pdf/alg-geom/9709030

work page arXiv 1999
[11]

2011.url: https://www.jmilne.org/math/CourseNotes/ALA.pdf

James S Milne.Algebraic Groups, Lie Groups, and their Arithmetic Subgroups. 2011.url: https://www.jmilne.org/math/CourseNotes/ALA.pdf

work page 2011
[12]

James S Milne.Algebraic groups: the theory of group schemes of finite type over a field. Vol. 170. Cambridge University Press, 2017.doi:10.1017/9781316711736

work page doi:10.1017/9781316711736 2017
[13]

Complex multiplication

James S Milne. “Complex multiplication”. In:Available at the author’s webpage(2006).url: https://www.jmilne.org/math/CourseNotes/CM.pdf

work page 2006
[14]

Notes on Mumford-Tate Groups

Ben Moonen. “Notes on Mumford-Tate Groups”. In:Available at the author’s webpage(1999). url:https://www.math.ru.nl/ ~bmoonen/Lecturenotes/CEBnotesMT.pdf

work page 1999
[15]

Tata Institute of Fundamental Research, Bombay, 1970

David Mumford.Abelian Varieties. Tata Institute of Fundamental Research, Bombay, 1970. isbn: 9780195605280.url:https : / / wstein . org / edu / Fall2003 / 252 / references / mumford-abvar/Mumford-Abelian_Varieties.pdf

work page 1970
[16]

On algebraic cycles on Abelian varieties

Sergei G Tankeev. “On algebraic cycles on Abelian varieties”. In:Mathematics of the USSR- Izvestiya12.3 (1978), p. 617

work page 1978
[17]

Algebraische punkte auf analytischen untergruppen algebraischer grup- pen

Gisbert W¨ ustholz. “Algebraische punkte auf analytischen untergruppen algebraischer grup- pen”. In:Annals of Mathematics129.3 (1989), pp. 501–517.doi:10.2307/1971515. 14

work page doi:10.2307/1971515 1989