arxiv: 2604.22635 · v1 · submitted 2026-04-24 · 🧮 math.GR · math.AG· math.DS

Recognition: unknown

Decent actions of groups on restricted products

Chris Karpinski

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

classification 🧮 math.GR math.AGmath.DS

keywords decent actionrestricted productautomorphism groupprojective planegroup actionfixed point

0 comments

The pith

The automorphism group of the restricted product with base the projective plane over any field acts decently on the product.

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

A decent group action on a set requires that any subgroup with a finite orbit must fix some point and that any finitely generated subgroup in which every element fixes a point must itself fix a point globally. The paper proves that this decency holds for the natural action of the automorphism group on a restricted product built from the projective plane P²(k) over an arbitrary field k. The proof relies on the geometric features of the projective plane to control fixed points under the restricted product construction. This extends an earlier result for different base spaces and shows how the choice of base determines fixed-point behavior for the full automorphism group.

Core claim

The action of the automorphism group of the restricted product with base space the projective plane P²(k) over a field k is decent: every subgroup with a finite orbit fixes a point, and every finitely generated subgroup in which each element fixes a point has a global fixed point.

What carries the argument

The decency condition on the action, which forces fixed points for subgroups with finite orbits and for finitely generated pointwise stabilizers, established via the geometry of the projective plane inside the restricted product.

If this is right

Any subgroup with a finite orbit in the action must fix a point.
Any finitely generated subgroup whose elements each fix a point must share a common fixed point.
The decency property holds for this base space over every field k.

Where Pith is reading between the lines

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

The result suggests decency may hold for restricted products over other projective varieties if similar geometric controls apply.
It raises the question whether decency persists when the base space is replaced by higher-dimensional projective spaces.
The fixed-point controls might extend to related actions on products or quotients built from the same base.

Load-bearing premise

Decency follows from the standard restricted product construction and the geometric properties of the projective plane without extra restrictions on the field.

What would settle it

A subgroup of the automorphism group that has a finite orbit but fixes no point in the restricted product, or a finitely generated subgroup in which each element fixes a point but the subgroup fixes none.

Figures

Figures reproduced from arXiv: 2604.22635 by Chris Karpinski.

**Figure 1.** Figure 1: The dynamics of case 1. We will show by induction on m ≥ 1 that (t n f) m(r) ∈ U+ \ p+, which will imply that (t n f) m(r) ∈/ B for all m > 0. Since f(r) ∈/ Nε1 (P−) and since ε < ε1, we have f(r) ∈/ Nε(P−) and so by Lemma 3.4 and our choice of n, we have t n f(r) ∈ U+ \ p+. Suppose (t n f) m(r) ∈ U+ \ p+ for some m > 0. Then f(t n f) m(r) ∈ f(U+) ⊂ Bε1 (f(p+)) which is disjoint from Nε(P−) by our choice o… view at source ↗

**Figure 2.** Figure 2: The dynamics of case 2. Let U = Bε4 (p+) and V = Bε2 (p). We now show by induction on i ∈ N that for all i > 0, we have (t N f tn f) i (r) ∈ V \ p and for all i ≥ 0, we have t n f(t N f tn f) i (r) ∈ U \ p+. These 13 view at source ↗

read the original abstract

An action of a group $G$ on a set $X$ is called ``decent'' if every subgroup of $G$ with a finite orbit in $X$ fixes a point in $X$ and every finitely generated subgroup of $G$ such that every element of the subgroup fixes a point of $X$ must itself have a global fixed point. In this article, we study conditions on when actions of groups on restricted products are ``decent''. We prove that the action of the automorphism group of a restricted product with base space the projective plane $\mathbb{P}^2(k)$ over a field $k$ is decent, generalizing a result of Lonjou--Przytycki--Urech.

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

Extends the decency theorem to restricted products over P^2(k) but the finite field case looks problematic.

read the letter

The paper proves that the action of the automorphism group on the restricted product of the projective plane P^2(k) is decent. This is a direct generalization of the Lonjou--Przytycki--Urech theorem to this product setting. The construction is standard: the restricted product Y consists of all sequences in P^2(k) that are equal to a fixed base point except for finitely many coordinates. The group acts by applying field automorphisms or projective linear transformations coordinatewise, but only finitely many at a time. The decency conditions are then checked by reducing to the geometry of lines and points in P^2. This works well as an extension because the incidence geometry carries over nicely to the product. It supplies a new class of examples where you have decent actions coming from algebraic varieties. Readers working on similar fixed point problems will appreciate the concrete case. The soft spot is the scope over all fields k. The stress test raises a good point about finite fields. When k is finite, P^2(k) is finite, the automorphism group is finite, and the restricted product is a countable set with finitary action. It is straightforward to find a finitely generated subgroup where each element fixes a point but there is no common fixed point for the subgroup. For instance, generators that permute distinct coordinates independently. The arguments based on general position or infinite choices of points probably do not go through. If the paper's proof does not explicitly handle or exclude finite k, then the statement as is has a gap. The paper is for people in geometric group theory or algebraic geometry who study group actions with fixed point properties. It is a specialized but solid piece of work. I would send this to peer review. The generalization is interesting and the setup looks careful, so it is worth having referees look at the details of the proof.

Referee Report

1 major / 2 minor

Summary. The manuscript defines a 'decent' action of a group G on a set X (every subgroup with a finite orbit fixes a point; every f.g. subgroup in which each element fixes a point has a global fixed point). It proves that the natural action of Aut(Y) on the restricted product Y of P²(k) (over an arbitrary field k) is decent, generalizing a result of Lonjou--Przytycki--Urech.

Significance. If the central claim holds without hidden restrictions on k, the result supplies a new infinite family of decent actions arising from automorphism groups of restricted products over a classical geometric object. This strengthens the toolkit for studying fixed-point properties of group actions and provides a concrete geometric source for the decency condition.

major comments (1)

[Main theorem / abstract] The main theorem (as stated in the abstract and introduction) asserts decency for the Aut action on the restricted product of P²(k) for every field k. However, when k is finite, P²(k) is a finite set, Aut(P²(k)) is finite, and Y is a countable set equipped with a finitary wreath-product action. In this regime it is straightforward to construct a finitely generated subgroup H such that each generator fixes a point of Y yet H has no global fixed point, violating the second decency axiom. The geometric incidence arguments (lines, general position) used to prove decency become vacuous or finite in this case, so the reduction from the base space to Y does not carry over. The manuscript must either restrict the statement to infinite k or supply a separate argument that handles the finite case.

minor comments (2)

[Introduction] The definition of 'decent' appears only after the abstract; moving the definition to the first paragraph of the introduction would improve readability.
[§2] The construction of the restricted product Y is described as 'standard,' but the precise base point and the topology (or lack thereof) on Y should be stated explicitly in §2 to avoid ambiguity when k is finite.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying an important limitation in the scope of our main result. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Main theorem / abstract] The main theorem (as stated in the abstract and introduction) asserts decency for the Aut action on the restricted product of P²(k) for every field k. However, when k is finite, P²(k) is a finite set, Aut(P²(k)) is finite, and Y is a countable set equipped with a finitary wreath-product action. In this regime it is straightforward to construct a finitely generated subgroup H such that each generator fixes a point of Y yet H has no global fixed point, violating the second decency axiom. The geometric incidence arguments (lines, general position) used to prove decency become vacuous or finite in this case, so the reduction from the base space to Y does not carry over. The manuscript must either restrict the statement to infinite k or supply a separate argument that handles the finite case.

Authors: We agree with the referee. The arguments in the manuscript rely on the infinitude of k to invoke general position for lines and points in P²(k) and to ensure that local fixed-point properties lift to the restricted product Y. These incidence properties fail when k is finite. As the referee notes, the second decency condition is violated in that case by a suitable finitely generated subgroup of the wreath-product action. We do not possess a separate proof that would establish decency for finite k, and the claim as stated is incorrect in that regime. We will therefore revise the abstract, introduction, and statement of the main theorem to specify that k is infinite. This is the appropriate scope for the geometric result. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is an independent generalization of an external result

full rationale

The paper states it proves decency of the Aut action on the restricted product Y of P^2(k) for arbitrary field k, explicitly generalizing the external Lonjou--Przytycki--Urech result. No equations, definitions, or self-citations reduce the central claim to its inputs by construction; the decency conditions are derived from geometric incidence properties of the base space rather than fitted parameters or renamed prior outputs. The derivation chain is self-contained as a mathematical proof without self-referential load-bearing steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces the definition of a decent action and relies on standard facts from group theory and algebraic geometry about automorphism groups and fixed points; no new free parameters or invented entities are introduced beyond the definition itself.

axioms (1)

standard math Standard properties of automorphism groups of varieties and their actions on points and orbits hold as in classical algebraic geometry.
Invoked implicitly when discussing the action on the restricted product and its fixed-point behavior.

invented entities (1)

Decent action no independent evidence
purpose: A new technical condition on group actions that combines finite-orbit and pointwise-fixed-point requirements.
The definition is introduced in the paper to capture the desired fixed-point conclusion; it is not postulated as an existing object but defined for the purpose of the study.

pith-pipeline@v0.9.0 · 5408 in / 1371 out tokens · 36374 ms · 2026-05-08T08:51:36.326815+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 1 canonical work pages

[1]

EMS Textbooks in Mathematics

Oleg Bogopolski.Introduction to group theory. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich, 2008. Translated, revised and expanded from the 2002 Russian original

2008
[2]

On the joint spectral radius for isometries of non- positively curved spaces and uniform growth.Ann

Emmanuel Breuillard and Koji Fujiwara. On the joint spectral radius for isometries of non- positively curved spaces and uniform growth.Ann. Inst. Fourier (Grenoble), 71(1):317–391, 2021

2021
[3]

Bridson and André Haefliger.Metric spaces of non-positive curvature, volume 319 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

Martin R. Bridson and André Haefliger.Metric spaces of non-positive curvature, volume 319 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999

1999
[4]

American Mathematical Society, Providence, RI, 2018

Cornelia Dr¸ utu and Michael Kapovich.Geometric group theory, volume 63 ofAmerican Mathe- matical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2018. With an appendix by Bogdan Nica. 27

2018
[5]

Locally elliptic actions, torsion groups, and nonpositively curved spaces

Thomas Haettel and Damian Osajda. Locally elliptic actions, torsion groups, and nonpositively curved spaces. 2023. Preprint, accessible at: https://arxiv.org/pdf/2110.12431

work page arXiv 2023
[6]

Finitely generated subgroups of algebraic elements of plane cremona groups are bounded.J

Anne Lonjou, Piotr Przytycki, and Christian Urech. Finitely generated subgroups of algebraic elements of plane cremona groups are bounded.J. Éc. polytech. Math., 11:1011–1028, 2024

2024
[7]

Torsion groups do not act on 2-dimensional CAT(0) complexes.Duke Math

Sergey Norin, Damian Osajda, and Piotr Przytycki. Torsion groups do not act on 2-dimensional CAT(0) complexes.Duke Math. J., 171(6):1379–1415, 2022. 28

2022