pith. sign in

arxiv: 2310.01289 · v3 · submitted 2023-10-02 · 🧮 math.NT · math.AG

Chai's conjectures on base change conductors

Otto Overkamp , Takashi Suzuki This is my paper

Pith reviewed 2026-05-24 06:15 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords base change conductorsemiabelian varietyNéron modeladditivitydualityisogenylocal fieldtorus
0
0 comments X

The pith

The base change conductor is additive in short exact sequences of semiabelian varieties over local fields.

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

The paper examines the base change conductor, an invariant for semiabelian varieties over local fields that quantifies the failure to acquire semiabelian reduction after base change. It establishes additivity of this conductor along short exact sequences, which confirms Chai's conjecture on the topic. The same methods show that a natural proposed generalization of the conjecture does not hold in general. The conductor is also shown to be invariant under duality for abelian varieties when the characteristic is positive and the same on both sides, and a short proof is given for the known formula expressing the conductor of a torus via its rational cocharacter module.

Core claim

The base change conductor satisfies additivity in short exact sequences of semiabelian varieties. A proposed generalisation of this additivity property fails. The conductor remains unchanged under duality of abelian varieties in equal positive characteristic. The conductor of a torus equals an explicit expression built from its rational cocharacter module.

What carries the argument

The base change conductor of a semiabelian variety, extracted from the identity component of the special fibre of its Néron model over the local field.

If this is right

  • The base change conductor is additive along any short exact sequence of semiabelian varieties.
  • A proposed extension of additivity beyond short exact sequences does not hold.
  • The base change conductor of an abelian variety equals that of its dual when the characteristic is positive and equal.
  • The formula for the base change conductor of a torus in terms of its rational cocharacter module admits a short proof via the same techniques used for additivity.

Where Pith is reading between the lines

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

  • Additivity allows reduction of conductor computations to simpler varieties that appear in exact sequences.
  • The failure of the proposed generalization indicates that additivity is tied specifically to the exactness condition rather than to broader structural properties.

Load-bearing premise

Semiabelian varieties over local fields have Néron models with the usual definitions of base change conductors, and duality statements require equal positive characteristic.

What would settle it

An explicit short exact sequence of semiabelian varieties over a local field in which the base change conductors of the three terms fail to add would disprove the additivity claim.

read the original abstract

The base change conductor is an invariant introduced by Chai which measures the failure of a semiabelian variety to have semiabelian reduction. We investigate the behaviour of this invariant in short exact sequences, as well as under duality and isogeny. Our results imply Chai's conjecture on the additivity of the base change conductor in short exact sequences, while also showing that a proposed generalisation of this conjecture fails. We use similar methods to show that the base change conductor is invariant under duality of Abelian varieties in equal positive characteristic (answering a question of Chai), as well as giving a new short proof of a formula due to Chai, Yu, and de Shalit which expresses the base change conductor of a torus in terms of its (rational) cocharacter module.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript investigates the base change conductor for semiabelian varieties over local fields. It establishes additivity of this invariant in short exact sequences (thereby implying Chai's conjecture), constructs an explicit counterexample showing that a proposed generalization of the conjecture does not hold in general, proves invariance of the base change conductor under duality for abelian varieties when the base fields have equal positive characteristic, and supplies a new short proof of the Chai-Yu-de Shalit formula expressing the base change conductor of a torus in terms of its rational cocharacter module.

Significance. If the derivations hold, the work resolves a conjecture of Chai on additivity, answers an open question of Chai on duality invariance, and simplifies an earlier formula for tori. These results strengthen the toolkit for studying reduction properties of semiabelian varieties and Néron models in arithmetic geometry.

minor comments (2)
  1. [Abstract] The abstract states the duality result holds 'in equal positive characteristic' but does not define the phrase; a brief parenthetical clarification (e.g., same residue characteristic for the two varieties) would aid readers.
  2. [Introduction] The counterexample to the proposed generalization is described as explicit, but the precise semiabelian varieties and local fields used could be stated in the introduction for immediate visibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of our results on additivity, the counterexample, duality invariance, and the new proof for tori, as well as for the recommendation to accept. We appreciate the recognition that these results resolve Chai's conjecture on additivity and answer the open question on duality invariance.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper consists of mathematical proofs deriving Chai's additivity conjecture for base change conductors in short exact sequences of semiabelian varieties, an explicit counterexample to a proposed generalization, duality invariance in equal positive characteristic, and a new proof of the Chai-Yu-de Shalit formula for tori. These steps rest on standard definitions of Néron models, base change conductors, and semiabelian varieties over local fields, together with explicit constructions and duality arguments; no step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation whose content is presupposed by the present work. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms and definitions of algebraic geometry and number theory for semiabelian varieties, Néron models, and Galois modules; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)
  • domain assumption Standard properties of semiabelian varieties, Néron models, and base change conductors over local fields
    The investigation is conducted inside the usual framework of arithmetic geometry.

pith-pipeline@v0.9.0 · 5648 in / 1200 out tokens · 55004 ms · 2026-05-24T06:15:37.598030+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Anantharaman, S.Schémas en groupes, espaces homogènes et espaces algébriques sur une base de dimension 1. Bull. Soc. Math. France, Mémoire 33 (1973), pp. 5-79

    work page 1973

  2. [2]

    Mémoires de la S

    Bégueri, L.Dualité sur un corps local à corps résiduel algébriquement clos. Mémoires de la S. M. F., 2e série, tome 4, 1980

    work page 1980

  3. [3]

    Bertapelle, A., González-Avilés, C.-D.The Greenberg functor revisited. Eur. J. Math., 4(4):1340–1389, 2018

    work page 2018

  4. [4]

    Bosch, S.Component groups of abelian varieties and Grothendieck’s duality conjecture. Ann. inst. Fourier, tome 47, no 5, pp. 1257-1287, 1997

    work page 1997

  5. [5]

    Bosch, S., Lütkebohmert, W., Raynaud, M.Néron models. Ergeb. Math. Grenzgeb., Springer-Verlag, Berlin, Heidelberg, 1990

    work page 1990

  6. [6]

    Math Ann

    Bosch, S., Schlöter, K.Néron models in the setting of formal and rigid geometry. Math Ann. 301, pp. 339-362, 1995

    work page 1995

  7. [7]

    Component groups of Néron models via rigid uniformization

    Bosch, S., Xarles, X. Component groups of Néron models via rigid uniformization. Math. Ann. 306, pp. 459-486, 1996

    work page 1996

  8. [8]

    Néron models for semiabelian varieties: Congruence and change of base field

    Chai, C.-L. Néron models for semiabelian varieties: Congruence and change of base field. Asian J. Math. 4:4, pp. 715-736, 2000

    work page 2000

  9. [9]

    Chai, C.-L., Yu, J.-K.Congruences of Néron models for tori and the Artin conductor. Ann. of Math. 154, pp. 347-382, 2001

    work page 2001

  10. [10]

    Algebra Number Theory, Vol

    Cluckers, R., Loeser, F., Nicaise, J.Chai’s conjecture and Fubini properties of dimen- sional motivic integration. Algebra Number Theory, Vol. 7, No. 4, pp. 893-915, 2013

    work page 2013

  11. [11]

    H., Suzuki, T.Special values ofL-functions of one-motives over function fields

    Geisser, T. H., Suzuki, T.Special values ofL-functions of one-motives over function fields. J. Reine Angew. Math., 793:281–304, 2022. 43

    work page 2022

  12. [12]

    Groupes de monodromie en géométrie algébrique. I. Lecture Notes in Mathematics, Vol. 288. Springer-Verlag, Berlin-New York, 1972. Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 I), Dirigé par A. Grothendieck. Avec la collaboration de M. Raynaud et D. S. Rim

    work page 1972

  13. [13]

    H., Nicaise, J.Motivic zeta functions of abelian varieties, and the monodromy conjecture

    Halle, L. H., Nicaise, J.Motivic zeta functions of abelian varieties, and the monodromy conjecture. Adv. Math. 227, pp. 610-653, 2011

    work page 2011

  14. [14]

    H., Nicaise, J.Néron Models and Base Change

    Halle, L. H., Nicaise, J.Néron Models and Base Change. Lecture Notes in Math. 2156, Springer-Verlag, 2016

    work page 2016

  15. [15]

    Liu, Q., Lorenzini, D., Raynaud, M., Néron models, Lie algebras, and reduction of curves of genus one. Invent. Math. 157, pp. 455-518, 2004

    work page 2004

  16. [16]

    Liu, Q., Lorenzini, D., Raynaud, M.,Corrigendum to Néron models, Lie algebras, and reduction of curves of genus one and The Brauer group of a surface. Invent. Math. 214, pp. 593-604, 2018

    work page 2018

  17. [17]

    S., Arithmetic Duality Theorems

    Milne, J. S., Arithmetic Duality Theorems. Perspectives in Math., Vol. 1, Academic Press, Inc., 1986. Erratum available at: https://www.jmilne.org/math/Books/add/ADT2006.pdf

    work page 1986

  18. [18]

    Compositio Math

    Overkamp, O.Chai’s conjecture for semiabelian Jacobians. Compositio Math. 161(1), pp. 120-147, 2025

    work page 2025

  19. [19]

    Overkamp, O.Jumps and Motivic Invariants of Semiabelian Jacobians. Int. Math. Res. Not., Issue 20, pp. 6437-6479, 2019

    work page 2019

  20. [20]

    Overkamp, O.On Jacobians of geometrically reduced curves and their Néron models. Trans. Amer. Math. Soc., Vol. 377, Nr. 8, pp. 5863-5903, 2024

    work page 2024

  21. [21]

    Serre, J.-P.Groupes proalgébriques. Inst. Hautes Études Sci. Publ. Math., (7):67, 1960

    work page 1960

  22. [22]

    Columbia University

    Authors of the Stacks project.Stacks project. Columbia University

    work page

  23. [23]

    Grothendieck’s pairing on Néron component groups: Galois descent from the semistable case

    Suzuki, T. Grothendieck’s pairing on Néron component groups: Galois descent from the semistable case. Kyoto J. Math., Vol. 60, No. 2, pp. 593–716, 2020

    work page 2020

  24. [24]

    Preprint: arXiv:2504.04993v1, 2025

    Suzuki, T.Duality invariance of Faltings heights, Hodge line bundles and global periods. Preprint: arXiv:2504.04993v1, 2025

    work page arXiv 2025

  25. [25]

    Preprint: arXiv:2301.09073v3, 2023

    Tan, K.-S., Trihan, F., Tsoi, K.-W.The µ-invariant change for abelian varieties over finite p-extensions of global fields. Preprint: arXiv:2301.09073v3, 2023. Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf, Uni- versitätsstr. 1, 40225 Düsseldorf, Germany E-mail address: otto.overkamp@uni-duesseldorf.de Department of Mathematics, Chuo Un...

    work page arXiv 2023