Recognition: no theorem link
On Ramanujam's Theorem About Finite Fimensional Groups of Automorphisms
Pith reviewed 2026-05-14 17:57 UTC · model grok-4.3
The pith
Any connected finite-dimensional subgroup of Aut(X) for an arbitrary variety X is naturally an algebraic group.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any connected finite-dimensional subgroup of the automorphism group Aut(X) of an arbitrary variety X is an algebraic group, in a natural way.
What carries the argument
The extended notion of dimension for subgroups of Aut(X) that works for possibly reducible varieties and carries the proof that such a subgroup carries a natural algebraic-group structure.
If this is right
- The algebraic-group conclusion applies to reducible varieties without extra hypotheses.
- Automorphism groups of arbitrary varieties inherit the same finite-dimensional algebraic structure as in the irreducible case.
- Arguments that rely on algebraicity of connected components in Aut(X) now cover a larger class of spaces.
Where Pith is reading between the lines
- The uniform definition may simplify explicit computations of automorphism groups for singular or reducible spaces.
- Similar dimensional arguments could be tested on specific examples such as unions of curves or surfaces.
- The approach might suggest ways to handle non-connected or infinite-dimensional components with analogous tools.
Load-bearing premise
A coherent notion of dimension can be defined for subgroups of Aut(X) even when the underlying variety is reducible.
What would settle it
A concrete counter-example would be a connected finite-dimensional subgroup of Aut(X) for some reducible variety X that cannot be equipped with the structure of an algebraic group.
read the original abstract
Ramanujam's theorem states that any connected finite-dimensional subgroup of the automorphism group $\mathrm{Aut}(X)$ of an irreducible variety $X$ is an algebraic group, in a natural way. In this note, we discuss the notion of dimension and extend Ramanujam's theorem to arbitrary (not necessarily irreducible) varieties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends Ramanujam's theorem, which states that any connected finite-dimensional subgroup of Aut(X) for an irreducible variety X is an algebraic group, to arbitrary (possibly reducible) varieties X by discussing a suitable notion of dimension for such subgroups of Aut(X).
Significance. If the extension is valid, the result would broaden the scope of Ramanujam's theorem to reducible varieties, which arise frequently in algebraic geometry, and could support further work on automorphism groups of singular or non-irreducible spaces. The paper's focus on defining dimension supplies the key technical step needed for the generalization.
major comments (1)
- [Discussion of dimension] The central extension relies on the definition of dimension for subgroups of Aut(X) when X is reducible. This definition must be shown to guarantee that the group law is algebraic, particularly when the action permutes irreducible components; without an explicit replacement for the orbit map or function-field argument used in the irreducible case, the algebraic-group conclusion does not follow automatically.
minor comments (1)
- [Definition of dimension] Clarify the precise relationship between the new dimension notion and the Lie algebra of derivations or tangent space at the identity, including any dependence on the choice of base point when X is reducible.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need to explicitly verify that the proposed dimension ensures the group law remains algebraic on reducible varieties. We address this point below and will strengthen the manuscript accordingly.
read point-by-point responses
-
Referee: The central extension relies on the definition of dimension for subgroups of Aut(X) when X is reducible. This definition must be shown to guarantee that the group law is algebraic, particularly when the action permutes irreducible components; without an explicit replacement for the orbit map or function-field argument used in the irreducible case, the algebraic-group conclusion does not follow automatically.
Authors: We agree that the algebraic-group property does not follow automatically from the dimension definition alone and requires explicit justification when components are permuted. In the manuscript we define dim(G) for a connected finite-dimensional subgroup G ≤ Aut(X) as the maximum of the dimensions of the projected images of G in Aut(X_i) over the irreducible components X_i, together with the finite permutation representation of G on the set of components. To close the argument we will add a dedicated paragraph (or short subsection) that replaces the classical orbit map by a componentwise orbit map on each X_i, combined with the finite wreath-product action on the components; the function-field argument is then applied separately on each component and glued using the finite permutation group. This explicit replacement will be included in the revised version. revision: yes
Circularity Check
No circularity: extension relies on independent prior theorem plus explicit discussion of dimension
full rationale
The paper cites Ramanujam's theorem as an established prior result for irreducible varieties and states that it extends the result to arbitrary varieties by discussing the notion of dimension. No equations or definitions in the provided abstract or description reduce the central claim to a self-referential fit, a renamed input, or a load-bearing self-citation. The cited theorem is external (Ramanujam, not overlapping authors), and the extension step is presented as a definitional clarification rather than a derivation that collapses to its own assumptions by construction. This is the normal non-circular case.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The automorphism group Aut(X) and its subgroups admit a well-defined notion of dimension that extends from irreducible to arbitrary varieties.
Reference graph
Works this paper leans on
-
[1]
Grothendieck, Alexander and Raynaud, Mich. Rev\^. 2003 , bdsk-url-1 =
work page 2003
-
[2]
Group theoretical characterizations of rationality , volume =
Regeta, Andriy and Urech, Christian and van Santen, Immanuel , date-added =. Group theoretical characterizations of rationality , volume =. Invent. Math. , keywords =. 2025 , zbmath =. doi:10.1007/s00222-025-01348-7 , fjournal =
-
[3]
The structure of algebraic families of birational transformations , volume =
Regeta, Andriy and Urech, Christian and van Santen, Immanuel , date-added =. The structure of algebraic families of birational transformations , volume =. Adv. Math. , keywords =. 2025 , zbmath =. doi:10.1016/j.aim.2025.110354 , fjournal =
-
[4]
On the triviality of a family of linear hyperplanes , volume =
Ghosh, Parnashree and Gupta, Neena , fjournal =. On the triviality of a family of linear hyperplanes , volume =. Adv. Math. , pages =. 2023 , bdsk-url-1 =
work page 2023
-
[5]
On Zariski's cancellation problem in positive characteristic , volume =
Gupta, Neena , fjournal =. On Zariski's cancellation problem in positive characteristic , volume =. Adv. Math. , pages =. 2014 , bdsk-url-1 =
work page 2014
-
[6]
Representations of algebraic groups , volume =
Jantzen, Jens Carsten , date-added =. Representations of algebraic groups , volume =
-
[7]
Additive group actions on affine
Langlois, Kevin and Liendo, Alvaro , date-added =. Additive group actions on affine. J. Algebra , mrclass =. 2016 , bdsk-url-1 =. doi:10.1016/j.jalgebra.2015.11.019 , fjournal =
-
[8]
On the topologies on ind-varieties and related irreducibility questions , url =
Stampfli, Immanuel , date-added =. On the topologies on ind-varieties and related irreducibility questions , url =. J. Algebra , mrclass =. 2012 , bdsk-url-1 =. doi:10.1016/j.jalgebra.2012.08.019 , fjournal =
-
[9]
Popov, Vladimir L. , date-added =. Group varieties and group structures , url =. Izv. Ross. Akad. Nauk Ser. Mat. , mrclass =. 2022 , bdsk-url-1 =. doi:10.4213/im9272 , fjournal =
-
[10]
van der Kulk, W. , date-added =. On polynomial rings in two variables , volume =. Nieuw Arch. Wisk. (3) , mrclass =
-
[11]
Gutwirth, A. , date-added =. The action of an algebraic torus on the affine plane , url =. Trans. Amer. Math. Soc. , mrclass =. 1962 , bdsk-url-1 =. doi:10.2307/1993728 , fjournal =
-
[12]
Miyanishi, Masayoshi , date-added =. Nagoya Math. J. , mrclass =. 1971 , bdsk-url-1 =
work page 1971
-
[13]
Pseudo-reductive groups , url =
Conrad, Brian and Gabber, Ofer and Prasad, Gopal , date-added =. Pseudo-reductive groups , url =. 2010 , bdsk-url-1 =. doi:10.1017/CBO9780511661143 , isbn =
-
[14]
Approximation theory and the rank of abelian varieties over large algebraic fields , url =
Frey, Gerhard and Jarden, Moshe , date-added =. Approximation theory and the rank of abelian varieties over large algebraic fields , url =. Proc. London Math. Soc. (3) , mrclass =. 1974 , bdsk-url-1 =. doi:10.1112/plms/s3-28.1.112 , fjournal =
- [15]
-
[16]
On fixed point schemes of actions of multiplicative and additive groups , url =
Bia. On fixed point schemes of actions of multiplicative and additive groups , url =. Topology , mrclass =. 1973 , bdsk-url-1 =. doi:10.1016/0040-9383(73)90024-4 , fjournal =
-
[17]
Bass, H. and Connell, E. H. and Wright, D. L. , date-added =. Locally polynomial algebras are symmetric algebras , url =. Invent. Math. , mrclass =. 1976/77 , bdsk-url-1 =. doi:10.1007/BF01403135 , fjournal =
-
[18]
Bardsley, Peter and Richardson, R. W. , date-added =. \'Etale slices for algebraic transformation groups in characteristic. Proc. London Math. Soc. (3) , mrclass =. 1985 , bdsk-url-1 =. doi:10.1112/plms/s3-51.2.295 , fjournal =
-
[19]
Automorphism groups of affine varieties consisting of algebraic elements , url =
Perepechko, Alexander and Regeta, Andriy , doi =. Automorphism groups of affine varieties consisting of algebraic elements , url =. Proc. Amer. Math. Soc. , number =. 2024 , bdsk-url-1 =
work page 2024
-
[20]
Sous-groupes alg\'ebriques de rang maximum du groupe de
Demazure, Michel , date-added =. Sous-groupes alg\'ebriques de rang maximum du groupe de. Ann. Sci. \'Ecole Norm. Sup. (4) , mrclass =. 1970 , bdsk-url-1 =
work page 1970
-
[21]
Op\'erations du groupe additif sur le plan affine , volume =
Rentschler, Rudolf , date-added =. Op\'erations du groupe additif sur le plan affine , volume =. C. R. Acad. Sci. Paris S\'er. A-B , mrclass =
-
[22]
Bass, Hyman , date-added =. A nontriangular action of. J. Pure Appl. Algebra , mrclass =. 1984 , bdsk-url-1 =. doi:10.1016/0022-4049(84)90019-7 , fjournal =
-
[23]
Dynamical properties of plane polynomial automorphisms , url =
Friedland, Shmuel and Milnor, John , doi =. Dynamical properties of plane polynomial automorphisms , url =. Ergodic Theory Dynam. Systems , mrclass =. 1989 , bdsk-url-1 =
work page 1989
-
[24]
On the maximality of the triangular subgroup , url =
Furter, Jean-Philippe and Poloni, Pierre-Marie , date-added =. On the maximality of the triangular subgroup , url =. Ann. Inst. Fourier (Grenoble) , mrclass =. 2018 , bdsk-url-1 =. doi:10.5802/aif.3165 , fjournal =
-
[25]
Liendo, Alvaro , date-added =. Affine. Transform. Groups , mrclass =. 2010 , bdsk-url-1 =. doi:10.1007/s00031-010-9089-2 , fjournal =
-
[26]
Contributions to the Essential Dimension of Finite and Algebraic Groups , url =
Loetscher, Roland , date-added =. Contributions to the Essential Dimension of Finite and Algebraic Groups , url =. 2010 , bdsk-url-1 =
work page 2010
-
[27]
Suprunenko, D. A. , date-added =. Matrix groups , volume =
-
[28]
Hartshorne, Robin , date-added =. Algebraic geometry. 1983 , zbl =
work page 1983
- [29]
-
[30]
Characterizing smooth affine spherical varieties via the automorphism group , url =
Regeta, Andriy and van Santen, Immanuel , date-added =. Characterizing smooth affine spherical varieties via the automorphism group , url =. J. \'Ec. polytech. Math. , mrclass =. 2021 , bdsk-url-1 =. doi:10.5802/jep.149 , fjournal =
-
[31]
Berest, Yuri and Eshmatov, Alimjon and Eshmatov, Farkhod , doi =. Dixmier groups and. Adv. Math. , mrclass =. 2016 , bdsk-url-1 =
work page 2016
-
[32]
Remarks on the action of an algebraic torus on
Bia. Remarks on the action of an algebraic torus on. Bull. Acad. Polon. Sci. S\'er. Sci. Math. Astronom. Phys. , mrclass =
-
[33]
Linear algebraic groups , url =
Borel, Armand , doi =. Linear algebraic groups , url =. 1991 , bdsk-url-1 =
work page 1991
-
[34]
Homogeneous varieties under split solvable algebraic groups , url =
Brion, Michel , doi =. Homogeneous varieties under split solvable algebraic groups , url =. Indag. Math. (N.S.) , mrclass =. 2021 , bdsk-url-1 =
work page 2021
- [35]
-
[36]
Families of commuting automorphisms, and a characterization of the affine space , url =
Cantat, Serge and Regeta, Andriy and Xie, Junyi , doi =. Families of commuting automorphisms, and a characterization of the affine space , url =. Amer. J. Math. , mrclass =. 2023 , bdsk-url-1 =
work page 2023
-
[37]
Demazure, Michel and Gabriel, Pierre , mrclass =. Groupes alg\'ebriques
-
[38]
Computing invariants of algebraic groups in arbitrary characteristic , url =
Derksen, Harm and Kemper, Gregor , doi =. Computing invariants of algebraic groups in arbitrary characteristic , url =. Adv. Math. , mrclass =. 2008 , bdsk-url-1 =
work page 2008
-
[39]
Actions and invariants of algebraic groups , url =
Ferrer Santos, Walter Ricardo and Rittatore, Alvaro , doi =. Actions and invariants of algebraic groups , url =. 2017 , bdsk-url-1 =
work page 2017
-
[40]
On the geometry of automorphism groups of affine varieties , url =
Furter, Jean-Philippe and Kraft, Hanspeter , pages =. On the geometry of automorphism groups of affine varieties , url =. 2018 , bdsk-url-1 =
work page 2018
-
[41]
On the maximality of the triangular subgroup , url =
Furter, Jean-Philippe and Poloni, Pierre-Marie , doi =. On the maximality of the triangular subgroup , url =. Ann. Inst. Fourier (Grenoble) , mrclass =. 2018 , bdsk-url-1 =
work page 2018
-
[42]
G\"ortz, Ulrich and Wedhorn, Torsten , doi =. Algebraic geometry. [2020] 2020 , bdsk-url-1 =
work page 2020
-
[43]
Geometric quotients of unipotent group actions , url =
Greuel, Gert-Martin and Pfister, Gerhard , doi =. Geometric quotients of unipotent group actions , url =. Proc. London Math. Soc. (3) , mrclass =. 1993 , bdsk-url-1 =
work page 1993
-
[44]
\'El\'ements de g\'eom\'etrie alg\'ebrique
Grothendieck, Alexander , date-modified =. \'El\'ements de g\'eom\'etrie alg\'ebrique. Inst. Hautes \'Etudes Sci. Publ. Math. , mrclass =. 1961 , bdsk-url-1 =
work page 1961
-
[45]
\'El\'ements de g\'eom\'etrie alg\'ebrique
Grothendieck, Alexander , date-modified =. \'El\'ements de g\'eom\'etrie alg\'ebrique. Inst. Hautes \'Etudes Sci. Publ. Math. , mrclass =. 1965 , bdsk-url-1 =
work page 1965
-
[46]
\'El\'ements de g\'eom\'etrie alg\'ebrique
Grothendieck, Alexander , date-modified =. \'El\'ements de g\'eom\'etrie alg\'ebrique. Inst. Hautes \'Etudes Sci. Publ. Math. , mrclass =. 1966 , bdsk-url-1 =
work page 1966
-
[47]
Gubeladze, I. Dzh. , fjournal =. The. Soobshch. Akad. Nauk Gruzin. SSR , mrclass =
-
[48]
Hochster, Melvin and Roberts, Joel L. , doi =. Rings of invariants of reductive groups acting on regular rings are. Advances in Math. , mrclass =. 1974 , bdsk-url-1 =
work page 1974
-
[49]
A complement of a hypersurface in affine variety , volume =
Jelonek, Zbigniew , fjournal =. A complement of a hypersurface in affine variety , volume =. Bull. Polish Acad. Sci. Math. , mrclass =
-
[50]
The set of fixed points of a unipotent group , volume =
Jelonek, Zbigniew and Laso. The set of fixed points of a unipotent group , volume =. J. of Algebra , number =
-
[51]
Jung, Heinrich W. E. , date-modified =. J. Reine Angew. Math. , mrclass =. 1942 , bdsk-url-1 =. doi:10.1515/crll.1942.184.161 , fjournal =
-
[52]
On automorphism groups of affine surfaces , url =
Kovalenko, Sergei and Perepechko, Alexander and Zaidenberg, Mikhail , booktitle =. On automorphism groups of affine surfaces , url =. 2017 , bdsk-url-1 =. doi:10.2969/aspm/07510207 , isbn =
- [53]
-
[54]
Is the affine space determined by its automorphism group? , url =
Kraft, Hanspeter and Regeta, Andriy and van Santen, Immanuel , doi =. Is the affine space determined by its automorphism group? , url =. Int. Math. Res. Not. IMRN , mrclass =. 2021 , bdsk-url-1 =
work page 2021
-
[55]
Algebraically generated groups and their
Kraft, Hanspeter and Zaidenberg, Mikhail , doi =. Algebraically generated groups and their. J. Lond. Math. Soc. (2) , mrclass =. 2024 , bdsk-url-1 =
work page 2024
-
[56]
Lamy, St\'ephane , date-modified =. L'alternative de. J. Algebra , mrclass =. 2001 , bdsk-url-1 =. doi:10.1006/jabr.2000.8701 , fjournal =
- [57]
-
[58]
Luna, Domingo , booktitle =. Slices \'etales , url =. 1973 , bdsk-url-1 =. doi:10.24033/msmf.110 , mrclass =
-
[59]
Commutative ring theory , volume =
Matsumura, Hideyuki , edition =. Commutative ring theory , volume =
-
[60]
Mostow, G. D. , doi =. Fully reducible subgroups of algebraic groups , url =. Amer. J. Math. , mrclass =. 1956 , bdsk-url-1 =
work page 1956
-
[61]
The red book of varieties and schemes , url =
Mumford, David , doi =. The red book of varieties and schemes , url =. 1999 , bdsk-url-1 =
work page 1999
-
[62]
Nagata, Masayoshi , booktitle =. On the fourteenth problem of
-
[63]
Lectures on the fourteenth problem of
Nagata, Masayoshi , date-modified =. Lectures on the fourteenth problem of
-
[64]
Neeman, Amnon , doi =. Steins, affines and. Ann. of Math. (2) , mrclass =. 1988 , bdsk-url-1 =
work page 1988
-
[65]
Structure of connected nested automorphism groups , volume =
Perepechko, Alexander , journal =. Structure of connected nested automorphism groups , volume =
-
[66]
Perrin, Daniel , doi =. Algebraic geometry , url =. 2008 , bdsk-url-1 =
work page 2008
-
[67]
Popov, Vladimir L. , doi =. On infinite dimensional algebraic transformation groups , url =. Transform. Groups , mrclass =. 2014 , bdsk-url-1 =
work page 2014
-
[68]
Ramanujam, C. P. , doi =. A note on automorphism groups of algebraic varieties , url =. Math. Ann. , mrclass =. 1964 , bdsk-url-1 =
work page 1964
-
[69]
Group theoretical characterizations of rationality , url =
Regeta, Andriy and Urech, Christian and van Santen, Immanuel , journal =. Group theoretical characterizations of rationality , url =. 2024 , bdsk-url-1 =
work page 2024
-
[70]
Some basic theorems on algebraic groups , url =
Rosenlicht, Maxwell , doi =. Some basic theorems on algebraic groups , url =. Amer. J. Math. , mrclass =. 1956 , bdsk-url-1 =
work page 1956
-
[71]
Toroidal algebraic groups , url =
Rosenlicht, Maxwell , doi =. Toroidal algebraic groups , url =. Proc. Amer. Math. Soc. , mrclass =. 1961 , bdsk-url-1 =
work page 1961
-
[72]
On quotient varieties and the affine embedding of certain homogeneous spaces , url =
Rosenlicht, Maxwell , doi =. On quotient varieties and the affine embedding of certain homogeneous spaces , url =. Trans. Amer. Math. Soc. , mrclass =. 1961 , bdsk-url-1 =
work page 1961
- [73]
-
[74]
An example of a nice variety whose ring of global sections is not finitely generated , url =
Vakil, Ravi , journal =. An example of a nice variety whose ring of global sections is not finitely generated , url =. 1958 , bdsk-url-1 =
work page 1958
-
[75]
Invariant rings and quasiaffine quotients , url =
Winkelmann, J\"org , doi =. Invariant rings and quasiaffine quotients , url =. Math. Z. , mrclass =. 2003 , bdsk-url-1 =
work page 2003
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.