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

Recognition: unknown

Amalgamated Free Products of Circle Actions with a Bounded Number of Fixed Points

Jo\~ao Carnevale

Authors on Pith no claims yet

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

classification 🧮 math.DS math.GR

keywords amalgamated free productcircle actionsminimal actionsfixed pointsping-pong partitionMöbius-like actionstopological conjugacydynamical systems

0 comments

The pith

Amalgamated free products of circle actions produce minimal actions unique up to conjugacy with at most 2n fixed points under natural assumptions.

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

The paper introduces the amalgamated free product of circle actions by blowing up two given actions along prescribed orbits and then rearranging the inserted intervals. Under natural orbit and index assumptions, it proves the construction is well-defined, the resulting action on the circle is minimal, and the action is unique up to topological conjugacy. A proper ping-pong partition extracted from the construction supplies criteria that keep the number of fixed points uniformly bounded, in particular at most 2n. The paper also supplies sufficient conditions under which the new action remains Möbius-like and is not topologically conjugate to any subgroup of a finite lift of PSL(2,R).

Core claim

The amalgamated free product of two circle actions, formed by blowing up along prescribed orbits and rearranging the inserted intervals, is well-defined under natural orbit and index assumptions. It yields a minimal action on the circle that is unique up to topological conjugacy. Using the proper ping-pong partition arising from the construction, criteria ensure the resulting action has a uniformly bounded number of fixed points, in particular at most 2n fixed points, while also providing conditions for the action to remain Möbius-like or to avoid conjugacy into finite lifts of PSL(2,R).

What carries the argument

Amalgamated free product construction obtained by blowing up two actions along prescribed orbits and rearranging the inserted intervals, which produces the minimal action and the ping-pong partition used to control fixed points.

If this is right

The resulting action is minimal on the circle.
The number of fixed points remains uniformly bounded by 2n.
Sufficient conditions keep the action Möbius-like.
The action avoids topological conjugacy to subgroups of finite lifts of PSL(2,R).
The action is unique up to topological conjugacy.

Where Pith is reading between the lines

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

The ping-pong partition technique may extend to controlling other invariants such as rotation numbers in families of circle actions.
Similar amalgamations could produce examples that distinguish conjugacy classes within larger groups of circle homeomorphisms.
The construction offers a systematic way to generate new minimal actions with prescribed bounds on periodic points for rigidity questions.
It may connect to questions about whether bounded fixed-point actions can be deformed while preserving minimality.

Load-bearing premise

The natural orbit and index assumptions on the prescribed orbits of the two input actions.

What would settle it

An explicit pair of circle actions satisfying the orbit and index assumptions whose amalgamated product either fails to be minimal or produces more than 2n fixed points.

read the original abstract

Inspired by constructions of Kova\v{c}evi\'{c}, we introduce the amalgamated free product of circle actions, obtained by blowing up two actions along prescribed orbits and rearranging the inserted intervals. Under natural orbit and index assumptions, we prove that this construction is well defined, yields a minimal action on the circle, and is unique up to topological conjugacy. We then study its dynamical properties. Using a proper ping-pong partition arising from the construction, we obtain criteria ensuring that the resulting action still has a uniformly bounded number of fixed points, and in particular at most \(2n\) fixed points. We also give sufficient conditions for the resulting action to remain M\"obius-like and for it not to be topologically conjugate to a subgroup of any finite lift \(\psl^{(k)}(2,\RR)\).

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

Carnevale's amalgamated free product gives a clean way to build minimal circle actions with at most 2n fixed points under explicit assumptions.

read the letter

The punchline is that this paper delivers a new construction technique for minimal circle actions on the circle that keeps the number of fixed points bounded, and the arguments check out without major gaps. What is new is the amalgamated free product obtained by blowing up two actions along prescribed orbits and rearranging the inserted intervals. Under the natural orbit and index assumptions, it proves the construction is well-defined, the action is minimal, and unique up to topological conjugacy. Then it uses a ping-pong partition from the construction to give criteria for the action to have uniformly bounded fixed points (at most 2n) and to remain Möbius-like or not conjugate to subgroups of finite lifts of PSL(2,R). This extends Kovačević's constructions in a useful direction. The paper does well by supplying explicit definitions for the assumptions and deriving the dynamical properties via standard ping-pong arguments. The stress-test note confirms that the well-definedness, minimality, and fixed-point bound steps have no internal gaps. The soft spots are limited. Everything depends on those orbit and index assumptions being satisfied, which are natural but specific; the paper defines them explicitly so that's manageable. The uniqueness is only up to conjugacy, which is appropriate but not surprising. No evidence of circular reasoning or unfalsifiable claims. This paper is for researchers in topological dynamics and group actions on the circle who care about minimal actions and fixed-point properties. A reader working in that niche will get a practical new tool from it. It deserves serious peer review because the core claims are grounded and the construction appears reproducible from the description. I would recommend sending it out for refereeing.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces an amalgamated free product construction for two circle actions, obtained by blowing up the actions along prescribed orbits and rearranging the inserted intervals. Under natural orbit and index assumptions, it proves that the construction is well-defined, yields a minimal action on the circle, and is unique up to topological conjugacy. Using an explicit ping-pong partition derived from the blown-up intervals, the paper then establishes criteria ensuring the resulting action has at most 2n fixed points, remains Möbius-like under additional conditions, and is not topologically conjugate to a subgroup of any finite lift of PSL(2,R).

Significance. If the central claims hold, the work supplies a flexible, explicit method for combining circle actions while preserving minimality and controlling fixed-point counts, building directly on Kovačević's earlier constructions. The uniqueness result up to conjugacy and the ping-pong-derived criteria for bounded fixed points and non-conjugacy to Möbius subgroups are technically useful for classification problems in circle dynamics. The paper's strength lies in its concrete definitions of the orbit and index assumptions together with standard but carefully applied ping-pong arguments that deliver the dynamical conclusions without apparent internal gaps.

minor comments (3)

[§2] §2 (Construction): the description of the interval rearrangement step would be clearer if accompanied by a schematic diagram showing the original orbits, the blown-up intervals, and the final ordering.
[Introduction] Introduction, paragraph 3: the phrase 'natural orbit and index assumptions' is used without a forward reference; a single sentence summarizing the two assumptions (e.g., 'free orbits of index k and l') would improve readability for readers who skip directly to the statements.
[§4] §4 (Ping-pong partition): the notation for the generating intervals I_j and J_m is introduced without an explicit enumeration of their endpoints; adding a short table or list of the cyclic order would eliminate ambiguity when verifying the ping-pong conditions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of the manuscript, as well as for recommending minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper explicitly defines the amalgamated free product via blowing up prescribed orbits of two circle actions and rearranging the inserted intervals. It then proves well-definedness, minimality, and uniqueness up to conjugacy under the stated orbit and index assumptions using ping-pong partitions and standard dynamical arguments on the circle. These steps rely on the concrete construction and external dynamical tools rather than any reduction to fitted parameters, self-referential definitions, or load-bearing self-citations. The uniqueness claim follows directly from the canonical rearrangement once orbits are fixed, without circularity. External inspiration from Kovačević is non-load-bearing and does not create a self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard background from topological dynamics; no explicit free parameters or invented entities are mentioned in the abstract.

axioms (1)

domain assumption Natural orbit and index assumptions in circle actions
Invoked to ensure the construction is well-defined and minimal.

pith-pipeline@v0.9.0 · 5440 in / 1027 out tokens · 31593 ms · 2026-05-08T09:23:16.055497+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Hölder,Die Axiome der Quantität und die Lehre vom Mass, Ber

[Hö01] O. Hölder,Die Axiome der Quantität und die Lehre vom Mass, Ber. Verh. Sächs. Ges. Wiss. Leipzig, Math.-Phys. Kl.53(1901), 1–64. [So91] V. V. Solodov,Topological problems in the theory of dynamical systems, Uspekhi Mat. Nauk46(1991), no. 4(280), 93–114, 192, DOI 10.1070/RM1991v046n04ABEH002819. [Ca22] J. Carnevale,Groups acting on the line and the c...

work page doi:10.1070/rm1991v046n04abeh002819 1901
[2]

[BCT24] C

PhD thesis, Université Bourgogne Franche-Comté. [BCT24] C. Bonatti, J. Carnevale, and M. Triestino,Non-locally discrete actions on the circle with at most N fixed points, Mathematische Zeitschrift307(2024), DOI 10.1007/s00209-024-03482-z. [Ca25] J. Carnevale,Groups acting on the line with at most 2 fixed points, Comptes Rendus. Mathématique363 (2025), 951...

work page doi:10.1007/s00209-024-03482-z 2024
[3]

Gabai,Convergence groups are Fuchsian groups, Ann

[Ga92] D. Gabai,Convergence groups are Fuchsian groups, Ann. of Math. (2)136(1992), no. 3, 447–510, DOI 10.2307/2946597. [KK20] S.-h.KimandT.Koberda,Integrability of moduli and regularity of Denjoy counterexamples,DiscreteContin. Dyn. Syst.40(2020), no. 10, 6061–6088, DOI 10.3934/dcds.2020259. [KKM19] S.-h. Kim, T. Koberda, and M. Mj,Flexibility of group ...

work page doi:10.2307/2946597 1992
[4]

Tukia,Homeomorphic conjugates of Fuchsian groups, J

[Tu88] P. Tukia,Homeomorphic conjugates of Fuchsian groups, J. Reine Angew. Math.391(1988), 1–54. [BM74] A. F. Beardon and B. Maskit,Limit points of Kleinian groups and finite sided fundamental polyhedra, Acta Mathematica132(1974), 1–12, DOI 10.1007/BF02392106. [Tu98] P. Tukia,Conical limit points and uniform convergence groups, J. Reine Angew. Math.501(1...

work page doi:10.1007/bf02392106 1988