REVIEW 2 major objections 5 minor 5 references
On Groups of Linear Fractional Transformations Stabilizing Finite Sets of Four Elements
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For any commutative field except the two-element field, the group of fractional-linear maps preserving any four points of the projective line is always one of V4, D4, A4, or S4.
desk verdict A correct and useful classification of four-point stabilizers, with a minor but real gap in the pairwise-distinctness step and a wrong citation; worth publishing after small fixes. 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 load-bearing object is the cross-ratio $[x_1,x_2,x_3,x_4]$, the value of $x_4$ under the unique homography that sends $x_1,x_2,x_3$ to $\infty,0,1$. The key fact, Lemma 2.7, is that a permutation of the four points is realizable by a homography exactly when the cross-ratio of the permuted quadruple equals the cross-ratio of the original quadruple. For the six permutations of the four points this produces six cross-ratio values, and the number of distinct values among them is exactly the index of the stabilizer inside the symmetric group $S_4$. Proposition 2.5 supplies the guaranteed Klein four-group from the three double transpositions, so once the coincidences among the six values are counted, the group is determined.
What would settle it
For $K=\mathbb{Q}$ and $\lambda=7$, the six cross-ratio values obtained by permuting $(\infty,0,1,7)$ should be pairwise distinct, so the stabilizer should have exactly four elements; finding two distinct permutations with equal cross-ratio, or finding a homography realizing one of the other permutations, would disprove the theorem's criterion.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for any field $K$ different from the two-element field and any $\lambda\in K$ with $\lambda\neq 0,1$, the stabilizer $G_\lambda$ of $\{\infty,0,1,\lambda\}$ in $\mathrm{PGL}_2(K)$ is isomorphic to the Klein four-group $V_4$ except in four listed situations. If $\mathrm{char}(K)=3$ and $\lambda=-1$, the stabilizer is the symmetric group $S_4$; if $\mathrm{char}(K)=2$ and $X^2+X+1$ splits with $\lambda$ one of its roots $j,j^2$, the stabilizer is the alternating group $A_4$; if the characteristic is neither $2$ nor $3$ and $\lambda\in\{-1,2,1/2\}$, the stabilizer is the dihedral group $D_4$; and if the characteristic is neither $2$ nor $3$, the polynomial $X^2+X+1$ splits, and $\lambda\in\{-j,-j^2\}$, the stabilizer is again $A_4$. Because every four-point set can be taken by a homography to $\{\infty,0,1,\lambda\}$ for some $\lambda$, the corollary is that every four-point stabilizer is one of these four groups.
Load-bearing premise
The whole classification rests on one test: a permutation of four points is realizable by a fractional-linear transformation exactly when the cross-ratio of the permuted points equals the cross-ratio of the original points, and the classification collapses if this equivalence fails in some characteristic.
Editorial extensions
If this is right
- For every commutative field other than the two-element field, the stabilizer of any four distinct projective points has order 4, 8, 12, or 24; no other finite group can occur.
- Every four-point stabilizer contains a Klein four-group, so there are always three nontrivial homographies acting as the three double transpositions on the four points.
- Over the rational numbers, a four-point set has dihedral stabilizer $D_4$ exactly when its cross-ratio is $-1$, $2$, or $1/2$, which Corollary 1.3 rewrites as a single quadratic condition on the four rational numbers; otherwise the stabilizer is $V_4$.
- In characteristic $3$ with $\lambda=-1$, all $24$ permutations of the special quadruple are realized by homographies, so $\mathrm{PGL}_2(K)$ acts on that quadruple as the full symmetric group.
- The exceptional values $\lambda=-1,2,1/2$ and $\lambda=-j,-j^2$ are exactly the values where the six cross-ratio values coincide, so a larger stabilizer is equivalent to a symmetry of the cross-ratio set.
Reading between the lines
- The same counting principle suggests a route to classifying $n$-point stabilizers for $n\ge 5$: the stabilizer still embeds in the symmetric group $S_n$, and unusually large stabilizers should occur exactly when the cross-ratio-type invariants of the configuration force coincidences among the permuted values.
- Because the theorem applies to finite fields as well, the stabilizer of any four points in a finite projective line over $\mathbb{F}_q$ is one of the same four small groups; in particular, large $q$ does not create new symmetry types for quadruples, which could simplify searching for configurations with prescribed automorphism groups.
- A natural testable extension is to replace the projective line by projective space $\mathbb{P}^n(K)$ and ask which finite permutation groups arise as full stabilizers of point configurations; the cross-ratio coincidences here suggest that the answer will be governed by full invariants of the configuration under the action of $\mathrm{PGL}_{n+1}(K)$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the group G_E of projective linear transformations (homographies) preserving a four-element subset E of the projective line over a commutative field K. The main theorem (Theorem 1.1) states that for E={∞,0,1,λ} the stabilizer G_λ is isomorphic to the Klein four-group V4 except in four explicitly listed cases: S4 in characteristic 3 with λ=-1; A4 in characteristic 2 with X^2+X+1 split and λ∈{j,j^2}; D4 in characteristic not 2 or 3 with λ∈{-1,2,1/2}; and A4 in characteristic not 2 or 3 with X^2+X+1 split and λ∈{-j,-j^2}. A corollary extends this to arbitrary four-point sets by conjugation, and a second corollary specializes the result to rational numbers. The proof uses the classical cross-ratio criterion (Lemma 2.7), constructs the Klein four-group inside G_E (Proposition 2.5), and solves equalities among cross-ratio values (Proposition 2.8).
Significance. If the proof gap described below is repaired, the classification is a clean and useful contribution. It gives a complete list of possible stabilizers, ties the exceptional cases to the characteristic and to the splitting of X^2+X+1, and yields an elementary criterion over Q. The use of standard tools (three-point transitivity, cross-ratio, conjugation) is appropriate, and the result is consistent with the known classification of finite subgroups of PGL2(K). The paper is concise and does not overclaim; it contains no fitted parameters and no circular reasoning. No machine-checked proofs or code are provided, but the argument is short enough to be verified by hand once the missing pairwise-distinctness step is supplied.
major comments (2)
- [§2, Proposition 2.8] The proof of Proposition 2.8 solves only the five equations c1=ci for i=2,...,6 and then asserts that in all other cases the six values c1,...,c6 are pairwise distinct. This assertion is load-bearing because the index of Gλ in S4 is identified with the number of distinct values in {c1,...,c6}; a coincidence among c2,...,c6 that does not involve c1 would also lower the index and change the conclusion. For example, over a field of characteristic not 2 or 3, the equality c2=c3 reads 1/t=1−t and its solutions are the primitive sixth roots of unity, which are exactly −j and −j^2 when X^2+X+1 splits; this is one of the listed exceptional cases, but the proof as written does not show that every such pairwise coincidence forces one of the five equations in (1). Please add an explicit argument: either solve all 15 pairwise equalities among c1,...,c6, or note that the S3-action on the six cosets of V4 is transitive, so any coalescence of two cosets yields a nontrivial stabilizer of c1 and hence reduces to one of the equations in (1). Without this, the generic V4 case is not proved.
- [§2, Proposition 2.8] The notation c1,...,c6 is introduced only by reference to 'Figure 1' ('following the notation in Figure 1'), but no figure appears in the manuscript received for review. Since the equalities in Proposition 2.8 and the index count in Theorem 1.1 depend on the exact assignment of these six values, please include the figure or define the c_i explicitly in the text, e.g., c1=λ, c2=1/λ, c3=1−λ, c4=λ/(λ−1), c5=1/(1−λ), c6=(λ−1)/λ (with the convention matching Figure 1). As written, the proof of Proposition 2.8 cannot be checked without additional information.
minor comments (5)
- [Proof of Corollary 1.2] The proof cites Lemma 2.9, but the four-point conjugation result needed here is Lemma 2.10; Lemma 2.9 concerns three-point sets. The intended citation is clear and the conclusion is correct.
- [Proposition 2.5] The identity h3 = h2 ∘ h1 = h1 ∘ h2 is asserted without verification; a one-line check on the four points would remove any doubt.
- [Keywords] The keyword 'M¨obius' should be written 'Möbius' with the proper umlaut; the same typo appears in the abstract.
- [Displayed formula in Section 1] The piecewise definition of a homography is not formatted cleanly; the cases run together in the text. Please format it as a standard cases environment.
- [Theorem 1.1(iv)] The phrase 'the polynomial X^2+X+1 splits in K' should read 'splits in K[X]' for consistency with the rest of the paper.
Circularity Check
No circularity: the classification is derived from the standard cross-ratio criterion and explicit solution of equations, not from its own conclusion.
full rationale
The paper's derivation chain is self-contained against external benchmarks. The stabilizer Gλ is characterized by Lemma 2.7, quoted from Audin, which states that a permutation is realized by a homography exactly when the cross-ratio is preserved. The index of Gλ in S4 is then identified with the number of distinct cross-ratio values among the six cosets; this is a standard orbit–stabilizer consequence, not a hidden assumption. Proposition 2.8 explicitly solves the equations forcing c1 to equal the other cross-ratios, and the exceptional cases in Theorem 1.1 are read off from those solutions rather than assumed. No parameter is fitted to the target data, and no conclusion is used as an input. The references to prior work are genuine external sources (Audin, Samuel, Beardon), and there are no self-citations of the author's own results. The two apparent issues—the unsupported assertion that 'in all other cases, the 6 elements c1,...,c6 are pairwise distinct' and the incorrect citation of Lemma 2.9 in the proof of Corollary 1.2—are proof-gap and citation errors, not circularity. The pairwise-distinct assertion is an unproved mathematical step (fillable by a normality argument), but it is not equivalent to the theorem's conclusion by construction. Therefore no circular step is present.
Assumptions & free parameters
assumptions (4)
- standard math For any three distinct points in P1(K), there exists a unique homography mapping them to any other three distinct points (Lemma 2.1).
- standard math Two quadruples of distinct points are equivalent under PGL2(K) iff their cross-ratios are equal (Lemma 2.7).
- domain assumption The six permutations of a quadruple yield cross-ratio values λ, 1/λ, 1−λ, λ/(λ−1), 1/(1−λ), (λ−1)/λ (Figure 1), and all equalities among them are captured by the five equations in (1).
- standard math In PGL2(K), a transformation with a 2-cycle is an involution (Lemma 2.4).
Cite this review
Pith. "Pith review of On Groups of Linear Fractional Transformations Stabilizing Finite Sets of Four Elements." pith.science (2026). https://pith.science/paper/2UMSEPGA
@misc{pith2026250600729,
author = {Pith},
title = {Pith review of: On Groups of Linear Fractional Transformations Stabilizing Finite Sets of Four Elements},
year = {2026},
howpublished = {\url{https://pith.science/paper/2UMSEPGA}},
note = {Machine review of arXiv:2506.00729}
}
abstract
Let $E$ be a subset of the projective line over a commutative field $\mathbb{K}$. When $\mathbb{K}$ has infinite cardinality, it is well known that if $E$ contains at most three elements, then the group of linear fractional transformations preserving $E$ is either infinite or isomorphic to the symmetric group on three elements. In this work, we investigate the case where $E$ consists of four elements. We show that the group of projective linear transformations stabilizing $E$ is, depending on the characteristic of the field $\mathbb{K}$, isomorphic to either the Klein four-group $V_4$, the dihedral group $D_4$ of order eight, the alternating group $\mathfrak{A}_4$ of order twelve, or the symmetric group $\mathfrak{S}_4$ of order twenty-four.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
Marcel Berger Geometry. I, Universitext. Berlin Springer-Verlag. (1987). https://zbmath.org/0606.51001 https://www.ams.org/journals/proc/1988-102-02/S0002-9939-1988-0920981-1/ S0002-9939-1988-0920981-1.pdf
-
[4]
Gregory P. Dresden. There Are Only Nine Finite Groups of Fractional Linear Transformations with Integer Coefficients, Mathematics Magazine,2004, volume 77, pages. 211 - 218
work page 2004
-
[5]
Pierre Samuel. Projective geometry. Undergraduate Texts in Mathemat ics. New York, Springer-Verlag. (1988).https://zbmath.org/0679.51001 https://link.springer.com/book/9780387967523 Bowling Green State university Email address: nyadjop@bgsu.edu 7
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.