arxiv: 2604.20415 · v1 · submitted 2026-04-22 · 🧮 math.GR · math.LO

Recognition: unknown

On generic and supertight automorphisms

P{\i}nar U\u{g}urlu Kowalski, Piotr Kowalski

Pith reviewed 2026-05-09 23:03 UTC · model grok-4.3

classification 🧮 math.GR math.LO

keywords stable groupsgeneric automorphismssupertight automorphismsfinite Morley rankPGL_2pseudofinite structuresmodel theory of groups

0 comments

The pith

Generic automorphisms of stable groups are supertight in a strong sense.

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

The paper establishes that generic automorphisms of any stable group satisfy the stronger supertight property. This immediately yields the existence of supertight automorphisms without additional construction. It also settles the precise link between supertight automorphisms on PGL_2(K) and generic automorphisms of the base field K. Finally it supplies concrete evidence that fixed-point sets under such automorphisms behave like pseudofinite structures when the group is simple of finite Morley rank.

Core claim

We show that generic automorphisms of stable groups are supertight in a strong sense. In particular, we obtain the existence of supertight automorphisms. We also answer a question concerning the relationship between supertight automorphisms of PGL_2(K) and generic automorphisms of the underlying field K. Moreover, we provide partial evidence toward the principle that fixed points are pseudofinite in the setting of generic automorphisms of simple groups of finite Morley rank.

What carries the argument

The supertight automorphism, a strengthening of the generic automorphism that imposes tight control on fixed-point sets and conjugacy classes inside the group.

If this is right

Supertight automorphisms exist in every stable group.
The supertight automorphisms of PGL_2(K) stand in direct correspondence with generic automorphisms of the field K.
Fixed-point sets of generic automorphisms in simple groups of finite Morley rank satisfy the pseudofinite property in the cases examined.
The supertight condition propagates from genericity once stability is assumed.

Where Pith is reading between the lines

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

Stability may be the minimal hypothesis needed to guarantee supertight behavior, suggesting tests in nearby unstable classes such as simple groups of finite Morley rank that are not stable.
The pseudofinite fixed-point observation could be used to constrain possible automorphism actions in broader classification problems for groups with generic automorphisms.
The result supplies a uniform way to produce automorphisms whose fixed structures mimic pseudofinite models, potentially useful for transferring properties between model theory and group theory.

Load-bearing premise

The groups under study are stable and the definitions of generic and supertight automorphisms match those used in earlier work on groups in model theory.

What would settle it

An explicit stable group together with one of its generic automorphisms whose fixed-point set or orbit structure violates the supertight conditions.

read the original abstract

We show that generic automorphisms of stable groups are supertight in a strong sense. In particular, we obtain the existence of supertight automorphisms. We also answer a question concerning the relationship between supertight automorphisms of $\mathrm{PGL}_2(K)$ and generic automorphisms of the underlying field $K$. Moreover, we provide partial evidence-already suggested by Hrushovski-toward the principle that ``fixed points are pseudofinite'' in the setting of generic automorphisms of simple groups of finite Morley rank.

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

The paper proves generic automorphisms of stable groups are supertight and settles the open question on PGL2(K).

read the letter

The main advance is showing that generic automorphisms of stable groups are supertight in a strong sense, which directly yields existence of supertight automorphisms. They also give a concrete answer to the question about the link between supertight automorphisms of PGL2(K) and generic automorphisms of the field K. In addition, they supply partial evidence, following Hrushovski's earlier suggestion, that fixed points of generic automorphisms on simple groups of finite Morley rank are pseudofinite. The new proofs for supertightness and existence are the clearest contribution, and the PGL2 resolution looks like a direct response to a prior open point. The partial evidence section is presented with appropriate caution rather than overclaiming. The soft spots are limited. The work stays inside the model theory of stable groups, so its reach is narrow, but the abstract indicates the arguments follow standard definitions without visible circularity or ad-hoc choices. No load-bearing gaps show up in the stated claims. This is for people already working on stable groups, finite Morley rank, or automorphisms in model theory. A reader focused on algebraic groups or pseudofinite structures might find the PGL2 and fixed-point parts useful. It deserves peer review because it resolves specific open questions with what appear to be independent results.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that generic automorphisms of stable groups are supertight in a strong sense, thereby establishing the existence of supertight automorphisms. It resolves a question on the relationship between supertight automorphisms of PGL_2(K) and generic automorphisms of the field K. It also supplies partial evidence, following a suggestion of Hrushovski, that fixed points of generic automorphisms of simple groups of finite Morley rank are pseudofinite.

Significance. If the derivations hold, the paper supplies a concrete existence theorem for supertight automorphisms in the stable setting and a precise answer to a question about PGL_2(K). The partial evidence toward the pseudofiniteness principle is a useful incremental step in the model theory of groups of finite Morley rank. The work relies on standard notions of stability and genericity without introducing free parameters or ad-hoc constructions.

minor comments (2)

[Introduction] The precise definition of 'supertight in a strong sense' (mentioned in the abstract) should be stated explicitly in the introduction or §2 with a forward reference to the main theorem.
[Section on PGL_2(K)] In the discussion of PGL_2(K), clarify whether the answer to the question is an equivalence or a one-way implication between supertight and generic automorphisms.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, which correctly highlights the main theorems on supertight generic automorphisms in stable groups, the resolution of the question about PGL_2(K), and the partial evidence toward pseudofiniteness of fixed points. We are pleased by the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation relies on standard model-theoretic notions of stability, genericity, and supertightness applied to groups, with proofs that establish the main claims independently. References to prior suggestions by Hrushovski are contextual and not load-bearing for the new results on supertight automorphisms or the PGL_2(K) question. No steps reduce by definition, by fitting parameters renamed as predictions, or by self-citation chains; the argument is self-contained against external benchmarks in the literature.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No explicit free parameters, axioms, or invented entities are identifiable from the abstract alone; the work relies on standard notions from model theory of groups.

pith-pipeline@v0.9.0 · 5382 in / 1126 out tokens · 45584 ms · 2026-05-09T23:03:19.961885+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references · 3 canonical work pages

[1]

Altınel, A

T. Altınel, A. Borovik, and G.L. Cherlin.Simple Groups of Finite Morley Rank. Mathemat- ical surveys and monographs. American Mathematical Soc
[2]

Generic expansions of countable models.Notre Dame J

Silvia Barbina and Domenico Zambella. Generic expansions of countable models.Notre Dame J. Form. Log., 53(4):511–523, 2012

2012
[3]

Some definability results in abstract Kum- mer theory.Int

Martin Bays, Misha Gavrilovich, and Martin Hils. Some definability results in abstract Kum- mer theory.Int. Math. Res. Not. IMRN, (14):3975–4000, 2014. GENERIC AND SUPERTIGHT AUTOMORPHISMS 13

2014
[4]

Chatzidakis and A

Z. Chatzidakis and A. Pillay. Generic structures and simple theories.Annals of Pure and Applied Logic, 95:71–92, 1998

1998
[5]

Model theory of difference fields.Trans

Zo´ e Chatzidakis and Ehud Hrushovski. Model theory of difference fields.Trans. AMS, 351(8):2997–3071, 2000

2000
[6]

Groups of small Morley rank.Ann

Gregory Cherlin. Groups of small Morley rank.Ann. Math. Logic, 17(1-2):1–28, 1979

1979
[7]

Simple groups of Morley rank 3 are algebraic.J

Olivier Fr´ econ. Simple groups of Morley rank 3 are algebraic.J. Amer. Math. Soc., 31(3):643– 659, 2018

2018
[8]

Fried and M

M.D. Fried and M. Jarden.Field Arithmetic. Ergebnisse der Mathematik und ihrer Grenzge- biete. 3. Folge / A Series of Modern Surveys in Mathematics. 4th Edition, Springer, 2023

2023
[9]

Hodges.Model Theory

W. Hodges.Model Theory. Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1993

1993
[10]

PAC structures as invariants of finite group ac- tions.Journal of Symbolic Logic, 90(3):1340–1375, 2025

Daniel Max Hoffmann and Piotr Kowalski. PAC structures as invariants of finite group ac- tions.Journal of Symbolic Logic, 90(3):1340–1375, 2025

2025
[11]

Of model complete- ness and algebraic groups

Daniel Max Hoffmann, Piotr Kowalski, Chieu-Minh Tran, and Jinhe Ye. Of model complete- ness and algebraic groups. Preprint, available onhttps://arxiv.org/abs/2312.08988

work page arXiv
[12]

The Elementary Theory of the Frobenius Automorphisms

Ehud Hrushovski. The Elementary Theory of the Frobenius Automorphisms. Preprint (6 March 2022), available onhttps://arxiv.org/abs/math/0406514

work page arXiv 2022
[13]

Strongly minimal expansions of algebraically closed fields.Israel Journal of Mathematics, 79:129–151, 1992

Ehud Hrushovski. Strongly minimal expansions of algebraically closed fields.Israel Journal of Mathematics, 79:129–151, 1992

1992
[14]

Pseudo-finite fields and related structures

Ehud Hrushovski. Pseudo-finite fields and related structures. In B´ elair et al., editor,Model Theory and Applications, volume 11 ofQuaderni di Matematica, pages 151–212. Aracne, Rome, 2005

2005
[15]

Binding groups for algebraic dynamics

Moshe Kamensky and Rahim Moosa. Binding groups for algebraic dynamics. Preprint, avail- able onhttps://arxiv.org/pdf/2405.06092, to appear in Algebra & Number Theory

work page arXiv
[16]

Fixed point subgroups of a supertight automorphism.Communications in Algebra, 53(3):1170–1180, 2025

Ulla Karhum¨ aki. Fixed point subgroups of a supertight automorphism.Communications in Algebra, 53(3):1170–1180, 2025

2025
[17]

Small groups of finite Morley rank with a su- pertight automorphism.J

Ulla Karhum¨ aki and Pınar U˘ gurlu Kowalski. Small groups of finite Morley rank with a su- pertight automorphism.J. Algebra, 647:884–905, 2024

2024
[18]

The definable multiplicity property and generic automor- phisms.Annals of Pure and Applied Logic, 106:263–273, 2000

Hirotaka Kikyo and Anand Pillay. The definable multiplicity property and generic automor- phisms.Annals of Pure and Applied Logic, 106:263–273, 2000

2000
[19]

On algebraicσ-groups.Transactions AMS, 359:1325–1337, 2007

Piotr Kowalski and Anand Pillay. On algebraicσ-groups.Transactions AMS, 359:1325–1337, 2007

2007
[20]

Malle and D

G. Malle and D. Testerman.Linear Algebraic Groups and Finite Groups of Lie Type. Cam- bridge Studies in Advanced Mathematics. Cambridge University Press, 2011

2011
[21]

An invitation to model-theoretic Galois theory

Alice Medvedev and Ramin Takloo-Bighash. An invitation to model-theoretic Galois theory. Bull. Symbolic Logic, 16(2):261–269, 2010

2010
[22]

On PAC and bounded substructures of a stable structure.The Journal of Symbolic Logic, 71(2):460–472, 2006

Anand Pillay and Dominika Polkowska. On PAC and bounded substructures of a stable structure.The Journal of Symbolic Logic, 71(2):460–472, 2006

2006
[23]

American Mathematical Society, Providence, RI, 2001

Bruno Poizat.Stable groups, volume 87 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2001. Translated from the 1987 French original by Moses Gabriel Klein

2001
[24]

DefiningRandG(R).J

Dan Segal and Katrin Tent. DefiningRandG(R).J. Eur. Math. Soc, 25(8):3325–3358, 2023

2023
[25]

J. K. Truss. Generic automorphisms of homogeneous structures.Proceedings of the London Mathematical Society, s3-65(1):121–141, 1992

1992
[26]

B. I. Zilber. Groups and rings whose theory is categorical.Fund. Math., 95(3):173–188, 1977

1977
[27]

B. I. Zilber. Some model theory of simple algebraic groups over algebraically closed fields. Colloq. Math., 48(2):173–180, 1984

1984
[28]

B. I. Zilber. The structure of models of uncountably categorical theories. InProceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), pages 359–368. PWN, Warsaw, 1984. ♢Instytut Matematyczny, Uniwersytet Wroc lawski, Wroc law, Poland Email address:pkowa@math.uni.wroc.pl URL:http://www.math.uni.wroc.pl/~pkowa/ ♡Istanbul Bilgi ...

1983