pith. machine review for the scientific record. sign in

arxiv: 2605.13510 · v1 · submitted 2026-05-13 · 🧮 math.AG · math.GR

Recognition: no theorem link

On Ramanujam's Theorem About Finite Fimensional Groups of Automorphisms

Authors on Pith no claims yet

Pith reviewed 2026-05-14 17:57 UTC · model grok-4.3

classification 🧮 math.AG math.GR
keywords Ramanujam theoremautomorphism groupsalgebraic groupsvarietiesfinite-dimensional subgroupsalgebraic geometry
0
0 comments X

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.

Ramanujam's theorem shows that connected finite-dimensional subgroups of the automorphism group of an irreducible variety are algebraic groups. This paper defines a notion of dimension for subgroups of Aut(X) that works even when the variety is not irreducible. It then proves the same conclusion holds in this broader setting. A sympathetic reader would care because automorphism groups appear throughout algebraic geometry, and the result lets the algebraic-group structure apply uniformly without restricting to irreducible cases.

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

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

  • 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.

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

1 major / 1 minor

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)
  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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard definitions from algebraic geometry and group theory, with the key step being the extension of the dimension notion to non-irreducible cases.

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.
    The paper states it discusses the notion of dimension to enable the extension.

pith-pipeline@v0.9.0 · 5346 in / 1064 out tokens · 55716 ms · 2026-05-14T17:57:55.859197+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

75 extracted references · 75 canonical work pages

  1. [1]

    Grothendieck, Alexander and Raynaud, Mich. Rev\^. 2003 , bdsk-url-1 =

  2. [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. [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. [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 =

  5. [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 =

  6. [6]

    Representations of algebraic groups , volume =

    Jantzen, Jens Carsten , date-added =. Representations of algebraic groups , volume =

  7. [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. [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. [9]

    , date-added =

    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. [10]

    , date-added =

    van der Kulk, W. , date-added =. On polynomial rings in two variables , volume =. Nieuw Arch. Wisk. (3) , mrclass =

  11. [11]

    , date-added =

    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. [12]

    Nagoya Math

    Miyanishi, Masayoshi , date-added =. Nagoya Math. J. , mrclass =. 1971 , bdsk-url-1 =

  13. [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. [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. [15]

    Abelian varieties , volume =

    Mumford, David , date-added =. Abelian varieties , volume =

  16. [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. [17]

    and Connell, E

    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. [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. [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 =

  20. [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 =

  21. [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. [22]

    A nontriangular action of

    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. [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 =

  24. [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. [25]

    Liendo, Alvaro , date-added =. Affine. Transform. Groups , mrclass =. 2010 , bdsk-url-1 =. doi:10.1007/s00031-010-9089-2 , fjournal =

  26. [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 =

  27. [27]

    Suprunenko, D. A. , date-added =. Matrix groups , volume =

  28. [28]

    Algebraic geometry

    Hartshorne, Robin , date-added =. Algebraic geometry. 1983 , zbl =

  29. [29]

    , date-added =

    Humphreys, James E. , date-added =. Linear algebraic groups , volume =

  30. [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. [31]

    Dixmier groups and

    Berest, Yuri and Eshmatov, Alimjon and Eshmatov, Farkhod , doi =. Dixmier groups and. Adv. Math. , mrclass =. 2016 , bdsk-url-1 =

  32. [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. [33]

    Linear algebraic groups , url =

    Borel, Armand , doi =. Linear algebraic groups , url =. 1991 , bdsk-url-1 =

  34. [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 =

  35. [35]

    , isbn =

    Brion, Michel and Samuel, Preena and Uma, V. , isbn =. Lectures on the structure of algebraic groups and geometric applications , volume =

  36. [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 =

  37. [37]

    Groupes alg\'ebriques

    Demazure, Michel and Gabriel, Pierre , mrclass =. Groupes alg\'ebriques

  38. [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 =

  39. [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 =

  40. [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 =

  41. [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 =

  42. [42]

    Algebraic geometry

    G\"ortz, Ulrich and Wedhorn, Torsten , doi =. Algebraic geometry. [2020] 2020 , bdsk-url-1 =

  43. [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 =

  44. [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 =

  45. [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 =

  46. [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 =

  47. [47]

    Gubeladze, I. Dzh. , fjournal =. The. Soobshch. Akad. Nauk Gruzin. SSR , mrclass =

  48. [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 =

  49. [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. [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. [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. [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. [53]

    Algebraic

    Kraft, Hanspeter , note =. Algebraic. 2017 , bdsk-url-1 =

  54. [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 =

  55. [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 =

  56. [56]

    L'alternative de

    Lamy, St\'ephane , date-modified =. L'alternative de. J. Algebra , mrclass =. 2001 , bdsk-url-1 =. doi:10.1006/jabr.2000.8701 , fjournal =

  57. [57]

    Algebra , url =

    Lang, Serge , doi =. Algebra , url =. 2002 , bdsk-url-1 =

  58. [58]

    Slices \'etales , url =

    Luna, Domingo , booktitle =. Slices \'etales , url =. 1973 , bdsk-url-1 =. doi:10.24033/msmf.110 , mrclass =

  59. [59]

    Commutative ring theory , volume =

    Matsumura, Hideyuki , edition =. Commutative ring theory , volume =

  60. [60]

    Mostow, G. D. , doi =. Fully reducible subgroups of algebraic groups , url =. Amer. J. Math. , mrclass =. 1956 , bdsk-url-1 =

  61. [61]

    The red book of varieties and schemes , url =

    Mumford, David , doi =. The red book of varieties and schemes , url =. 1999 , bdsk-url-1 =

  62. [62]

    On the fourteenth problem of

    Nagata, Masayoshi , booktitle =. On the fourteenth problem of

  63. [63]

    Lectures on the fourteenth problem of

    Nagata, Masayoshi , date-modified =. Lectures on the fourteenth problem of

  64. [64]

    Steins, affines and

    Neeman, Amnon , doi =. Steins, affines and. Ann. of Math. (2) , mrclass =. 1988 , bdsk-url-1 =

  65. [65]

    Structure of connected nested automorphism groups , volume =

    Perepechko, Alexander , journal =. Structure of connected nested automorphism groups , volume =

  66. [66]

    Algebraic geometry , url =

    Perrin, Daniel , doi =. Algebraic geometry , url =. 2008 , bdsk-url-1 =

  67. [67]

    Popov, Vladimir L. , doi =. On infinite dimensional algebraic transformation groups , url =. Transform. Groups , mrclass =. 2014 , bdsk-url-1 =

  68. [68]

    Ramanujam, C. P. , doi =. A note on automorphism groups of algebraic varieties , url =. Math. Ann. , mrclass =. 1964 , bdsk-url-1 =

  69. [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 =

  70. [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 =

  71. [71]

    Toroidal algebraic groups , url =

    Rosenlicht, Maxwell , doi =. Toroidal algebraic groups , url =. Proc. Amer. Math. Soc. , mrclass =. 1961 , bdsk-url-1 =

  72. [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 =

  73. [73]

    Espaces fibr

    Serre, Jean-Pierre , journal =. Espaces fibr. 1958 , bdsk-url-1 =

  74. [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 =

  75. [75]

    Invariant rings and quasiaffine quotients , url =

    Winkelmann, J\"org , doi =. Invariant rings and quasiaffine quotients , url =. Math. Z. , mrclass =. 2003 , bdsk-url-1 =