Decent actions of groups on restricted products

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 aredecent''. We prove that the action of the automorphism group of a restricted product with base space the projective plane $\mathbb{P}<sup>2(k)$ over a field $k$ is decent, generalizing a result of Lonjou--Przytycki--Urech.

• The paper introduces decentness criteria linking local finite orbits to global fixed points for group actions on restricted products.
• It extends fixed-point theorems from projective lines to projective planes using proximal dynamics and detailed spectral analysis.
• The study bridges algebraic group theory and geometric dynamics, offering new insights for classifying Cremona groups and related fixed-point phenomena.

Decentness Criteria and Group Actions on Restricted Products

Overview and Motivation

The paper "Decent actions of groups on restricted products" (2604.22635) introduces and explores the notion of "decent" actions for groups acting on sets and, in particular, on restricted product spaces. A group action is decent if every subgroup with a finite orbit has a global fixed point, and any finitely generated subgroup that acts purely elliptically (i.e., each group element fixes a point) is elliptic (i.e., the subgroup fixes a point). This property is motivated by fixed-point phenomena across geometric contexts—especially non-positively curved spaces and Cremona groups—and aims to generalize the structural understanding of group actions, linking local fixed-point behaviors to global properties.

Restricted Products and Their Automorphism Groups

Restricted products $X = \oplus_{p \in P}(X_p, x_p)$ are sets of sequences indexed by $P$ in which all but finitely many entries equal a distinguished basepoint $x_p$. If a group $G_0$ acts decently on $X_0$ and another group $H$ acts on $P$, the automorphism group $G^{\oplus}$ consists of group elements acting "locally" except where indexed finitely far from the basepoints. This construction yields rich combinatorial and group-theoretic dynamics, especially as the base spaces $(X_p, x_p)$ host geometric or algebraic structures.

Main Theorem: Decent Actions on Restricted Products over Projective Planes

The central theorem extends a previous result for projective lines to projective planes: if $G_0$ acts decently on $P$0 (with basepoint $P$1), and $P$2 is the projective plane $P$3 over a field $P$4 with automorphism group $P$5, then $P$6 acts decently on the restricted product $P$7. This generalization is nontrivial, as the higher-dimensional geometric structure of $P$8 introduces additional complexity in orbit stratification and subgroup projections.

Fixed-Point Arguments and Cases

The proof is partitioned by the algebraic and geometric properties of the subgroup projection $P$9:

• Case 1: $x_p$0 has a finite index subgroup fixing a point of $x_p$1. If $x_p$2 is virtually solvable or nilpotent, a finite index subgroup can be conjugated into a subgroup of upper-triangular matrices, ensuring the existence of a global fixed point. This invokes classical structural results in algebraic group theory.
• Case 2: $x_p$3 contains a very proximal element. Here, elements act with unique dominant and minimal eigenvalues (proximal dynamics), yielding highly regular orbits except at exceptional points. The study of dynamics Figure 1 on infinite orbits shows that the presence of persistent fibers (where actions are not biregular for arbitrarily long sequences) leads to contradictions under decentness, enforcing that subgroups must have global fixed points.

Figure 1: The dynamics of case 1, where group actions cycle through neighborhoods, guaranteeing infinite orbits and enforcing fixed-point constraints.

• Case 3: Absence of proximal elements. The paper proves that if $x_p$4 lacks proximal elements over any local field extension, then all eigenvalues are roots of unity, and $x_p$5 is virtually nilpotent. This invokes the Tits alternative, Zariski closure arguments, and classical reduction theory, connecting dynamical properties to algebraic group decompositions.

Figure 2: The dynamics of case 2, where very proximal elements produce strong contraction-expansion behaviors, facilitating fixed-point analysis over restricted product fibers.

Generalizations and Algebraic Criteria

Several lemmas further broaden the decentness criteria:

• Virtually Nilpotent and Solvable Projections: If the group projection onto $x_p$6 is virtually nilpotent or has suitable normal abelian subgroups, the action remains decent due to the infinite orbit structure and persistence of fixed points in the restricted product.
• Biregularity and Singularities: The analysis extends to characterizing actions as biregular or singular over index points, establishing that persistent singular behavior (fiber non-regularity) contradicts decentness. The structure of exceptional sets—finite or infinite—plays a critical role.
• Questions for Higher Dimensions: The paper raises open questions concerning the extension of fixed-point and decentness results to higher-dimensional projective spaces and more general group actions.

Implications and Prospects

The results bridge algebraic group theory, geometric dynamics, and the study of birational transformation groups (especially Cremona groups). Decentness serves as a unifying property that translates between local orbit-fixing and global structural phenomenon, with direct applications to boundedness criteria for subgroups, classification of geometric group actions, and rigidity results. The general methodology—analyzing dynamics via proximal elements, orbit structure, and spectral properties—can be adapted to contexts such as CAT(0) spaces, buildings, and algebraic varieties.

The theoretical implications are significant for understanding when local elliptic actions aggregate to global fixed points, leading to boundedness and structural decompositions. Practically, this can inform algorithmic approaches in computational algebra, classify automorphism groups in algebraic geometry, and contribute to fixed-point theory in topological and metric settings.

Conclusion

This paper establishes robust criteria for decent actions of groups on restricted products, extending previous results to projective planes and systematically analyzing group actions via algebraic and dynamical lenses. The methods combine spectral theory, geometric dynamics, and structural group-theoretic arguments. The implications extend to geometric group theory, algebraic geometry, and dynamical systems, suggesting further research directions in generalizing decentness and fixed-point phenomena to higher dimensions and broader classes of spaces.