REVIEW 2 major objections 2 minor 4 references
Hecke Triangle Groups and Special Hyperbolic Elements
T0 review · 2 major / 2 minor · reviewed 2026-06-29 · grok-4.3
Pith's one-line read The Hecke triangle group G_18 has infinitely many distinct orbits of fixed points of special hyperbolic elements.
desk verdict The paper reports new orbits of special hyperbolic elements in Hecke triangle groups G_q, with an infinite family for q=18 that supplies fresh examples of special affine pseudo-Anosovs on regular polygon unfoldings. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The action of special hyperbolic elements of G_q on the algebraic set λ_q ℚ(λ_q²) ∪ {∞}, which isolates fixed points that can be counted by algebraic number theory.
What would settle it
An exhaustive search or enumeration that produces only finitely many such orbits for q=18 would show the claim is false.
Extended reading notes
Core claim
When q=18, the group G_q admits infinitely many distinct orbits of fixed points of its special hyperbolic elements on the set λ_q ℚ(λ_q²) ∪ {∞}. New orbits are identified for other values of q as well. The results supply new examples of special affine pseudo-Anosov homeomorphisms on the unfoldings of regular q-gons; in the q=18 case there are infinitely many distinct Veech group orbits of directions invariant under such a map.
Load-bearing premise
The algebraic set is closed under the action of the special hyperbolic elements and the definition of 'special' isolates fixed points without further hidden constraints.
Editorial extensions
If this is right
- Infinitely many distinct Veech group orbits of directions invariant under a special affine pseudo-Anosov exist on the unfolding of the regular 18-gon.
- New special affine pseudo-Anosov homeomorphisms appear on the unfoldings of regular q-gons for several q besides 18.
- The algebraic set remains closed under the group action, permitting orbit counting for the chosen elements.
Reading between the lines
- The same algebraic counting method could locate infinite families for additional q once closure is verified.
- The orbits may label distinct invariant directions in the associated translation surfaces or billiards.
- Generating functions or recurrence relations among the orbits might be derivable from the group presentation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the action of Hecke triangle groups G_q on the set S = λ_q ℚ(λ_q²) ∪ {∞} with λ_q = 2 cos(π/q). For q=18 it proves the existence of infinitely many distinct orbits of fixed points belonging to special hyperbolic elements of G_q; it also reports new orbits for several other q. These are applied to produce new examples of special affine pseudo-Anosov homeomorphisms on the unfoldings of regular q-gons, including infinitely many distinct Veech-group orbits of invariant directions on the regular 18-gon unfolding.
Significance. If the orbit-counting argument and the preservation of S under the relevant elements are established, the result supplies an explicit infinite family of special hyperbolic elements for q=18 and thereby new infinite Veech orbits on a concrete translation surface. The algebraic-number-theoretic counting of fixed points on an explicitly described arithmetic set is a concrete strength; the construction also yields new examples outside the previously known finite lists for smaller q.
major comments (2)
- §3 (definition of special hyperbolic elements): the manuscript must verify that the fixed-point condition on S is compatible with the 'special' requirement without imposing extra arithmetic constraints that would make the orbit count finite; the current sketch leaves open whether the special condition is preserved under the group action or merely imposed post hoc.
- Theorem 4.2 (infinitude for q=18): the orbit-counting step relies on the set λ_q ℚ(λ_q²) being closed under the action; an explicit check that the generators of G_18 map S into itself (or a precise reference to a prior lemma) is needed to confirm that the fixed-point enumeration actually produces distinct orbits rather than a single orbit with multiplicity.
minor comments (2)
- Notation: the symbol λ_q is introduced in the abstract but the relation λ_q = 2 cos(π/q) should be restated at the first appearance in §2.
- Table 1 (new orbits for other q): the column headings for the trace field and the corresponding Veech surface should be clarified; several entries appear to reuse the same surface label without cross-reference.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on the manuscript. We address each major comment below and will revise the manuscript accordingly to strengthen the exposition.
read point-by-point responses
-
Referee: §3 (definition of special hyperbolic elements): the manuscript must verify that the fixed-point condition on S is compatible with the 'special' requirement without imposing extra arithmetic constraints that would make the orbit count finite; the current sketch leaves open whether the special condition is preserved under the group action or merely imposed post hoc.
Authors: We agree that an explicit verification is needed to confirm compatibility. In the revised manuscript we will insert a short lemma in §3 showing that if a hyperbolic element γ ∈ G_q fixes a point in S and satisfies the special condition (defined via the trace lying in ℤ[λ_q] with additional parity conditions), then the special property is preserved under conjugation by elements of G_q. This follows directly from the fact that the trace is conjugation-invariant and the action on S is by fractional linear transformations with coefficients in the ring ℤ[λ_q], imposing no further arithmetic restrictions that would force finiteness of the orbits. revision: yes
-
Referee: Theorem 4.2 (infinitude for q=18): the orbit-counting step relies on the set λ_q ℚ(λ_q²) being closed under the action; an explicit check that the generators of G_18 map S into itself (or a precise reference to a prior lemma) is needed to confirm that the fixed-point enumeration actually produces distinct orbits rather than a single orbit with multiplicity.
Authors: The proof of Theorem 4.2 enumerates fixed points in S and then quotients by the G_18-action; the invariance of S is used implicitly via the minimal polynomial of λ_18. To address the concern directly, the revised version will add an explicit verification (as a new lemma preceding Theorem 4.2) that the two standard generators of G_18 map S into itself. This computation uses the relation λ_18^2 + λ_18 - 1 = 0 and confirms that the resulting orbits are distinct by exhibiting an infinite family of fixed points with pairwise distinct cross-ratios or traces. revision: yes
Circularity Check
No significant circularity
full rationale
The central claim is an existence result: the action of G_q on the explicitly defined set S = λ_q ℚ(λ_q²) ∪ {∞} yields infinitely many orbits of fixed points of special hyperbolic elements when q=18, obtained by algebraic-number-theoretic counting. No equations or definitions reduce a claimed prediction to a fitted input by construction, no load-bearing self-citation chains are invoked to force the result, and the notion of 'special' is compatible with the field arithmetic without self-referential closure. The derivation is self-contained against standard facts about Hecke groups and quadratic fields.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Hecke Triangle Groups and Special Hyperbolic Elements." pith.science (2026). https://pith.science/paper/TXH7UK7I
@misc{pith2026260530064,
author = {Pith},
title = {Pith review of: Hecke Triangle Groups and Special Hyperbolic Elements},
year = {2026},
howpublished = {\url{https://pith.science/paper/TXH7UK7I}},
note = {Machine review of arXiv:2605.30064}
}
abstract
We study the action of the Hecke triangle groups $G_q$ on $\lambda_q \mathbb{Q}(\lambda_q^2) \cup \{\infty\}$ with $\lambda_q = 2 \cos (\pi / q)$. When $q = 18$, we show the existence of infinitely many distinct orbits of fixed points of special hyperbolic elements of $G_q$. We also find new orbits for several other values of $q$. These results provide new examples of special affine pseudo-Anosov homeomorphisms on the unfoldings of regular $q$-gons. In particular, on the unfolding of the regular $18$-gon, there are infinitely many distinct Veech group orbits of directions invariant under a special affine pseudo-Anosov.
Figures
Reference graph
Works this paper leans on
-
[1]
[AS] P. Arnoux and T. Schmidt. Veech surfaces with non-periodic directions in the trace field.J. Mod. Dyn.3(2009), 611–629. [AY] P. Arnoux and J.-C. Yoccoz. Construction de diff´ eomorphismes pseudo-Anosov.C. R. Acad. Sci. Paris S´ er. I Math.292(1981), 75–78. [ABHH] J. S. Athreya, N. B´ edaride, W. P. Hooper, and P. Hubert. Linear flows on translation pr...
-
[2]
Borho and G
[BR] W. Borho and G. Rosenberger. Eine Bemerkung zur Hecke-GruppeG(λ).Abh. Math. Sem. Univ. Hamburg39(1973), 83–87. [Bou] J. Boulanger. Central points of the double heptagon translation surface are not connection points. Bull. Soc. Math. France150(2022), 459–472. [CS1] K. Calta and T. Schmidt. Infinitely many lattice surfaces with special pseudo-Anosov ma...
1973
-
[3]
McMullen
[McM1] C. McMullen. Teichm¨ uller geodesics of infinite complexity.Acta Math.191(2003), 191–223. [McM2] C. McMullen. Uniformly diophantine numbers in a fixed real quadratic field.Compos. Math. 145(2009), 827–844. [McM3] C. McMullen. Billiards, heights, and the arithmetic of non-arithmetic groups.Invent. Math. 228(2022), 1309–1351. [McM4] C. McMullen. Bill...
2003
-
[4]
[Ros] D. Rosen. A class of continued fractions associated with certain properly discontinuous groups. Duke Math. J.21(1954), 549–563. [RT] D. Rosen and C. Towse. Continued fraction representations of units associated with certain Hecke groups.Arch. Math.77(2001), 294–302. [Vee] W. A. Veech. Teichm¨ uller curves in moduli space, Eisenstein series and an ap...
1954
Reviewed June 29, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.