arxiv: 2605.03115 · v1 · submitted 2026-05-04 · 🧮 math.AG

Recognition: unknown

Theorems of Bertini and Chevalley

J\'anos Koll\'ar

Pith reviewed 2026-05-08 17:09 UTC · model grok-4.3

classification 🧮 math.AG

keywords Chevalley theoremBertini theoremalgebraic groupsAbelian varietieslinear algebraic groupsgroup extensionsirreducibility

0 comments

The pith

Every algebraic group is an extension of an Abelian variety by a linear algebraic group.

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

The paper offers a concise proof of Chevalley's theorem, which states that every algebraic group fits into an exact sequence with a linear algebraic group as kernel and an Abelian variety as quotient. This decomposition organizes the geometry of algebraic groups by separating their linear and Abelian features. The argument also establishes Bertini's irreducibility theorem to control how general hyperplane sections preserve irreducibility. A reader would care because the result supplies a standard structure theorem that reduces many questions about group actions and quotients to the linear and Abelian cases separately.

Core claim

Every algebraic group over an algebraically closed field is an extension of an Abelian variety by a linear algebraic group. The short proof proceeds by first applying Bertini's theorem to produce suitable irreducible sections and then constructing the extension sequence directly from the geometry of the group.

What carries the argument

The exact sequence 1 to linear algebraic group to algebraic group to Abelian variety to 1, whose existence is proved using Bertini's irreducibility theorem to guarantee the needed irreducible divisors.

If this is right

Every algebraic group admits a canonical filtration with linear kernel and Abelian quotient.
Questions about representations or cohomology of algebraic groups reduce to separate linear and Abelian pieces.
Bertini's theorem can be invoked to preserve irreducibility when cutting algebraic groups by general divisors.
The structure theorem organizes the classification of algebraic group actions on varieties.

Where Pith is reading between the lines

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

The same short proof technique might adapt to give structure results for group schemes over non-closed fields.
The decomposition could simplify arguments about moduli spaces that involve algebraic group actions.
Connections to the theory of abelian schemes and their linear parts become more direct once the extension is established.

Load-bearing premise

The argument assumes the standard framework of algebraic geometry over an algebraically closed field together with the usual properties of varieties and group schemes.

What would settle it

An algebraic group over an algebraically closed field whose only normal linear subgroups yield quotients that are not Abelian varieties would serve as a counterexample.

read the original abstract

We give a short proof of Chevalley's theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini's irreducibility theorem.

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

Kollár offers a short proof of the classical Chevalley theorem on algebraic groups plus notes on Bertini, which is handy for reference but adds little new.

read the letter

Kollár's paper gives a short proof of Chevalley's theorem that every algebraic group over an algebraically closed field is an extension of an abelian variety by a linear algebraic group, and it treats Bertini's irreducibility theorem along the way. That is the main thing to know: the contribution is the compactness of the argument rather than any new statement. The theorem itself has been standard for decades, and the paper cites the expected prior sources. What it does well is keep the reasoning direct and within the usual setup of varieties and group schemes, without extra layers of machinery. A reader who needs a compact version for teaching or quick recall can get value from that. The steps appear to use familiar properties of irreducibility and group extensions, which keeps the length down. The soft spots are minor and expected for this kind of note. Because the result is classical, the paper's impact stays limited to presentation; anyone looking for new theorems or applications will not find them. The proof details would need referee checking to confirm there are no small gaps in the Bertini application or the extension construction, but nothing in the structure suggests circularity or unsupported claims. The citation pattern is appropriate and does not rely on self-reference in a problematic way. This is for algebraic geometers who want a streamlined write-up of foundational facts. It could fit a reading group discussion on proof simplification, but it is not essential reading for most researchers. I would not cite it in my own work in the next year, since the theorem is already covered in standard texts. It does deserve peer review so the short proof can be verified for accuracy; if it holds, the note is a reasonable addition to the literature for accessibility.

Referee Report

0 major / 2 minor

Summary. The manuscript presents a short proof of Chevalley's theorem asserting that every algebraic group (over an algebraically closed field) is an extension of an abelian variety by a linear algebraic group. It also develops a treatment of Bertini's irreducibility theorem in the course of the argument.

Significance. Chevalley's theorem is a foundational result in the theory of algebraic groups. A genuinely short, self-contained proof within the standard framework of algebraic geometry over algebraically closed fields would be a useful contribution for both research and exposition. The simultaneous treatment of Bertini's theorem provides a natural connection between two classical results.

minor comments (2)

[Abstract] The abstract and introduction should explicitly state the base field and the precise category of groups (e.g., affine group schemes or smooth group varieties) to avoid any ambiguity for readers unfamiliar with the conventions.
Ensure that citations to standard references (e.g., for the definition of abelian varieties or linear groups) are included at the first use of each notion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript. We are gratified that the short proof of Chevalley's theorem, together with the treatment of Bertini's irreducibility theorem, is regarded as a useful contribution to the literature.

Circularity Check

0 steps flagged

No circularity in standard proof of known theorem

full rationale

The manuscript supplies a short proof of the classical Chevalley theorem (every algebraic group over an algebraically closed field is an extension of an abelian variety by a linear group) together with a treatment of Bertini irreducibility. All steps rest on the usual properties of varieties, group schemes, and morphisms in algebraic geometry; no equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. The derivation is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available. No free parameters, specific axioms, or invented entities are mentioned. The work operates within the standard axioms of algebraic geometry.

pith-pipeline@v0.9.0 · 5301 in / 998 out tokens · 29655 ms · 2026-05-08T17:09:08.886866+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

42 extracted references · 1 canonical work pages

[1]

Iacopo Barsotti, Un teorema di struttura per le variet\`a gruppali , Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 18 (1955), 43--50. 76427

1955
[2]

Balaji and J \'a nos Koll \'a r, Restrictions of stable bundles, Compact moduli spaces and vector bundles, Contemp

V. Balaji and J \'a nos Koll \'a r, Restrictions of stable bundles, Compact moduli spaces and vector bundles, Contemp. Math., vol. 564, Amer. Math. Soc., Providence, RI, 2012, pp. 177--184. 2894633

2012
[3]

21, Springer-Verlag, Berlin, 1990

Siegfried Bosch, Werner L \"u tkebohmert, and Michel Raynaud, N\'eron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 21, Springer-Verlag, Berlin, 1990. 1045822 (91i:14034)

1990
[4]

126, Springer-Verlag, New York, 1991

Armand Borel, Linear algebraic groups, second ed., Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York, 1991. 1102012 (92d:20001)

1991
[5]

21, American Mathematical Society, Providence, RI; London Mathematical Society, Cambridge, 2001

, Essays in the history of L ie groups and algebraic groups , History of Mathematics, vol. 21, American Mathematical Society, Providence, RI; London Mathematical Society, Cambridge, 2001. 1847105

2001
[6]

Math., vol

Michel Brion, Some basic results on actions of nonaffine algebraic groups, Symmetry and spaces, Progr. Math., vol. 278, Birkh\"auser Boston, Boston, MA, 2010, pp. 1--20. 2562620

2010
[7]

Uma, Lectures on the structure of algebraic groups and geometric applications, CMI Lecture Series in Mathematics, vol

Michel Brion, Preena Samuel, and V. Uma, Lectures on the structure of algebraic groups and geometric applications, CMI Lecture Series in Mathematics, vol. 1, Hindustan Book Agency, New Delhi; Chennai Mathematical Institute (CMI), Chennai, 2013. 3088271

2013
[8]

Chevalley, Une d\'emonstration d'un th\'eor\`eme sur les groupes alg\'ebriques, J

C. Chevalley, Une d\'emonstration d'un th\'eor\`eme sur les groupes alg\'ebriques, J. Math. Pures Appl. (9) 39 (1960), 307--317. 126447

1960
[9]

Ramanujan Math

Brian Conrad, A modern proof of C hevalley's theorem on algebraic groups , J. Ramanujan Math. Soc. 17 (2002), no. 1, 1--18. 1906417

2002
[10]

Fran c ois Charles and Bjorn Poonen, Bertini irreducibility theorems over finite fields, J. Amer. Math. Soc. 29 (2016), no. 1, 81--94. 3402695

2016
[11]

MR2001b:14010

Hubert Flenner, Liam O'Carroll, and Wolfgang Vogel, Joins and intersections, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 1999. MR2001b:14010

1999
[12]

MR507725 (80b:14001)

Phillip Griff i ths and Joseph Harris, Principles of algebraic geometry, Wiley-Interscience, John Wiley & Sons, New York, 1978, Pure and Applied Mathematics. MR507725 (80b:14001)

1978
[13]

Alexander Grothendieck, \' E l\'ements de g\'eom\'etrie alg\'ebrique. I--IV . , Inst. Hautes \'Etudes Sci. Publ. Math. (1960), no. 4,8,11,17,20,24,28,32

1960
[14]

[ E xtraits du S \'eminaire B ourbaki, 1957--1962.] , Secr\'etariat math\'ematique, Paris, 1962

, Fondements de la g\'eom\'etrie alg\'ebrique. [ E xtraits du S \'eminaire B ourbaki, 1957--1962.] , Secr\'etariat math\'ematique, Paris, 1962. MR0146040 (26 \#3566)

1957
[15]

Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977, Graduate Texts in Mathematics, No. 52. 0463157 (57 \#3116)

1977
[16]

W. V. D. Hodge and D. Pedoe, Methods of A lgebraic G eometry. V ols. I--III. , Cambridge, at the University Press, 1947. 0028055 (10,396b)

1947
[17]

Humphreys, Linear algebraic groups, Springer-Verlag, New York, 1975, Graduate Texts in Mathematics, No

James E. Humphreys, Linear algebraic groups, Springer-Verlag, New York, 1975, Graduate Texts in Mathematics, No. 21. 0396773 (53 \#633)

1975
[18]

42, Birkh\" a user Boston, Inc., Boston, MA, 1983

Jean-Pierre Jouanolou, Th\' e or\`emes de B ertini et applications , Progress in Mathematics, vol. 42, Birkh\" a user Boston, Inc., Boston, MA, 1983. 725671

1983
[19]

Kleiman, Bertini and his two fundamental theorems, Rend

Steven L. Kleiman, Bertini and his two fundamental theorems, Rend. Circ. Mat. Palermo (2) Suppl. (1998), no. 55, 9--37, Studies in the history of modern mathematics, III. 1661859

1998
[20]

395--440

, What is A bel's theorem anyway? , The legacy of N iels H enrik A bel, Springer, Berlin, 2004, pp. 395--440. 2077579

2004
[21]

J \'a nos Koll \'a r, Effective N ullstellensatz for arbitrary ideals , J. Eur. Math. Soc. (JEMS) 1 (1999), no. 3, 313--337

1999
[22]

231, Cambridge University Press, Cambridge, 2023, With the collaboration of Klaus Altmann and S \'a ndor Kov \'a cs

, Families of varieties of general type, Cambridge Tracts in Mathematics, vol. 231, Cambridge University Press, Cambridge, 2023, With the collaboration of Klaus Altmann and S \'a ndor Kov \'a cs. 4566297

2023
[23]

Teruhisa Matsusaka, On the algebraic construction of the P icard variety. I , Jpn. J. Math. 21 (1951), 217--235. 62470

1951
[24]

II , Jpn

, On the algebraic construction of the P icard variety. II , Jpn. J. Math. 22 (1952), 51--62. 62471

1952
[25]

Hideyuki Matsumura, On algebraic groups of birational transformations, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 34 (1963), 151--155. 159825

1963
[26]

Milne, Jacobian varieties, Arithmetic geometry ( S torrs, C onn., 1984), Springer, New York, 1986, pp

James S. Milne, Jacobian varieties, Arithmetic geometry ( S torrs, C onn., 1984), Springer, New York, 1986, pp. 167--212. 861976

1984
[27]

, A proof of the B arsotti- C hevalley theorem on algebraic groups , https://arxiv.org/abs/1311.6060, 2013

work page arXiv 2013
[28]

David Mumford, Lectures on curves on an algebraic surface, With a section by G. M. Bergman. Annals of Mathematics Studies, No. 59, Princeton University Press, Princeton, N.J., 1966. 0209285 (35 \#187)

1966
[29]

5, Published for the Tata Institute of Fundamental Research, Bombay, 1970

, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, No. 5, Published for the Tata Institute of Fundamental Research, Bombay, 1970. 0282985 (44 \#219)

1970
[30]

Masayoshi Nagata, Imbedding of an abstract variety in a complete variety, J. Math. Kyoto Univ. 2 (1962), 1--10. MR0142549 (26 \#118)

1962
[31]

Maxwell Rosenlicht, Some basic theorems on algebraic groups, Amer. J. Math. 78 (1956), 401--443. 82183

1956
[32]

Seidenberg, The hyperplane sections of normal varieties, Trans

A. Seidenberg, The hyperplane sections of normal varieties, Trans. Amer. Math. Soc. 69 (1950), 357--386. 37548

1950
[33]

Francesco Severi, Il teorema d' A bel sulle superficie algebriche , Annali di Mat (3) 12 (1905), 55--79

1905
[34]

, Intorno al teorema d' A bel sulle superficie algebriche ed alla riduzione a forma normale degli integrali di P icard , Rend. Cir. Palermo 21 (1906), 257--282

1906
[35]

, Sulla teoria degli integrali semplici di 1^a specie appartenenti ad una superficie algebrica (7 note) , Rend. Acc. Lincei (5) 30 (1921), 163 ... 367

1921
[36]

Shafarevich, Basic algebraic geometry, Springer-Verlag, New York, 1974, Die Grundlehren der mathematischen Wissenschaften, Band 213

Igor R. Shafarevich, Basic algebraic geometry, Springer-Verlag, New York, 1974, Die Grundlehren der mathematischen Wissenschaften, Band 213

1974
[37]

I--III , Translated from the original German, Wiley-Interscience A Division of John Wiley & Sons, New York-London-Sydney, 1969

Carl Ludwig Siegel, Topics in complex function theory. I--III , Translated from the original German, Wiley-Interscience A Division of John Wiley & Sons, New York-London-Sydney, 1969. 0257326

1969
[38]

Stacks Project Authors , S tacks P roject , http://stacks.math.columbia.edu, 2025

2025
[39]

Hideyasu Sumihiro, Equivariant completion, J. Math. Kyoto Univ. 14 (1974), 1--28. 337963

1974
[40]

8, Hermann & Cie, Paris, 1948, Actualit\'es Scientifiques et Industrielles, No

Andr\'e Weil, Vari\'et\'es ab\'eliennes et courbes alg\'ebriques, Publications de l'Institut de Math\'ematiques de l'Universit\'e de Strasbourg, vol. 8, Hermann & Cie, Paris, 1948, Actualit\'es Scientifiques et Industrielles, No. 1064. 29522

1948
[41]

, Criteria for linear equivalence, Proc. Nat. Acad. Sci. U.S.A. 38 (1952), 258--260. 47368

1952
[42]

, On algebraic groups of transformations, Amer. J. Math. 77 (1955), 355--391. 74083

1955