Fixed point theorem for cluster modular groups

Tsukasa Ishibashi

arxiv: 2603.14338 · v2 · submitted 2026-03-15 · 🧮 math.GT · math.CO· math.GR

Fixed point theorem for cluster modular groups

Tsukasa Ishibashi This is my paper

Pith reviewed 2026-05-15 11:45 UTC · model grok-4.3

classification 🧮 math.GT math.COmath.GR

keywords cluster modular groupfixed point theoremcluster varietiesNielsen realizationconvexityDT transformationmutation types

0 comments

The pith

Finite subgroups of cluster modular groups have fixed points in the positive cluster manifolds A_s(R>0) and X_s(R>0) under a convexity condition.

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

The paper proves that any finite subgroup of a cluster modular group admits fixed points on the positive real points of the associated cluster varieties A and X. The argument adapts Kerckhoff's convexity method from the classical Nielsen realization theorem for mapping class groups on Teichmüller space. It applies whenever the cluster structure admits a DT transformation or belongs to a finite mutation class except X_7. This shows that finite symmetries in cluster algebra settings always preserve some positive configuration when the stated condition holds.

Core claim

Any finite subgroup G ⊂ Γ_s of the cluster modular group has fixed points in the cluster manifolds A_s(R>0) and X_s(R>0) under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem for the mapping class group action on the Teichmüller space. The condition holds whenever Γ_s admits a cluster DT transformation, and it can be also verified for all finite mutation types except for X_7. The proof closely follows Kerckhoff's argument, based on the convexity of log-cluster variables.

What carries the argument

Convexity of log-cluster variables on the positive real space, which allows a fixed-point theorem to apply to the action of finite subgroups.

If this is right

Finite subgroups fix points in both A and X positive loci whenever the convexity condition holds.
The theorem covers every finite mutation type except X_7.
Existence of a cluster DT transformation is sufficient for the fixed-point property.
The result transfers the classical fixed-point conclusion from surface mapping class groups to cluster modular groups.

Where Pith is reading between the lines

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

The same convexity check could be performed for additional exceptional mutation types to enlarge the theorem's scope.
Fixed points under finite symmetries may produce invariant positive bases or canonical cluster coordinates.
The argument might extend to other positivity structures on algebraic varieties if analogous convexity can be shown.

Load-bearing premise

The log-cluster variables must be convex functions on the positive real points of the cluster manifold.

What would settle it

A finite subgroup G of some Γ_s that admits a DT transformation but fixes no point in A_s(R>0) would disprove the claim.

read the original abstract

We prove that any finite subgroup $G \subset \Gamma_{{\boldsymbol{s}}}$ of the cluster modular group has fixed points in the cluster manifolds $\mathcal{A}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ and $\mathcal{X}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem [Ker83] for the mapping class group action on the Teichm\"uller space. The condition holds whenever $\Gamma_{\boldsymbol{s}}$ admits a cluster DT transformation, and it can be also verified for all finite mutation types except for $X_7$. Our proof closely follows Kerckhoff's argument, based on the convexity of log-cluster variables.

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 gives a new fixed-point theorem for finite subgroups of cluster modular groups by adapting Kerckhoff's convexity argument to log-cluster variables.

read the letter

The paper proves that finite subgroups of the cluster modular group have fixed points on the positive parts of the A_s and X_s cluster manifolds, provided the group admits a cluster DT transformation or the mutation type is finite except for X_7. This generalizes Kerckhoff's theorem from mapping class groups acting on Teichmüller space. What is new is the fixed point statement itself in the cluster modular group context. The paper does well by sticking to Kerckhoff's convexity argument and showing that the convexity of log-cluster variables works in this algebraic setting. They also verify the condition for the listed cases, making the theorem applicable broadly. The soft spots are minor. The convexity needs to be checked for each mutation type, and the abstract says it holds except for X_7, but a referee would want to see those checks spelled out to confirm there are no hidden issues. There is no circularity in the argument, which is a plus. This paper is for researchers in cluster algebras, quiver representations, and geometric topology who are interested in group actions on moduli spaces. It would be useful for anyone working on generalizations of Teichmüller theory or fixed point theorems in algebraic geometry. It deserves a serious referee because the claim is clear and the method is established. I would recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that any finite subgroup G ⊂ Γ_s of the cluster modular group has fixed points in the cluster manifolds A_s(R>0) and X_s(R>0) under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem for the mapping class group action on Teichmüller space. The condition holds whenever Γ_s admits a cluster DT transformation, and it can also be verified for all finite mutation types except X_7. The proof closely follows Kerckhoff's argument based on the convexity of log-cluster variables.

Significance. If the result holds, this provides a meaningful extension of classical fixed-point results from Teichmüller theory to the setting of cluster varieties and cluster modular groups. The direct adaptation of the convexity method to log-cluster variables, together with explicit verification for the listed mutation types, strengthens the contribution and offers a concrete bridge between mapping class group actions and cluster algebra structures.

minor comments (3)

[Introduction] The precise definition of a 'cluster DT transformation' should be stated explicitly in the introduction or §2, including its relation to the DT transformation in the cluster algebra literature, to avoid ambiguity for readers unfamiliar with the term.
[Theorem 1.1] In the statement of the main theorem, clarify whether the fixed-point existence in A_s(R>0) and X_s(R>0) requires the same condition or if one manifold needs an additional hypothesis.
[§5] The manuscript should include a brief remark on why X_7 is excluded, even if the verification fails, to complete the classification of finite mutation types.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. The report correctly captures the main result and its relation to Kerckhoff's theorem. Since no specific major comments or requested changes are listed, we have no points to address point-by-point at this stage.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation adapts Kerckhoff's convexity argument to log-cluster variables on the positive cluster manifolds, with the fixed-point conclusion following from the stated condition (cluster DT transformation or finite mutation type except X_7). The convexity property is treated as an independent input rather than defined in terms of the fixed points themselves, and the proof chain does not reduce any central claim to a self-citation, fitted parameter, or self-referential definition. No load-bearing step collapses by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that log-cluster variables are convex and on the existence of cluster DT transformations for the stated condition.

axioms (1)

domain assumption Convexity of log-cluster variables
The proof is explicitly based on this convexity property as stated in the abstract.

pith-pipeline@v0.9.0 · 5407 in / 1104 out tokens · 40887 ms · 2026-05-15T11:45:04.977503+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Lemma 2.5. The function (2.4) is convex on R^n. ... By the Cauchy–Schwarz proof...
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean J_uniquely_calibrated_via_higher_derivative echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Proposition 2.8. ... the sublevel sets of the function f(x) := max fk(x) are compact. ... f attains a minimum
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 4.8 (Nielsen realization). Assume that there exists a filling set Λ ⊂ U⁺_s. Then any finite subgroup G ⊂ Γ_s has a fixed point in A_s(R>0).

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.