Pith. sign in

REVIEW 4 major objections 5 minor 2 references

On Chamber-regular $\tilde C_2$-Lattices

T0 review · 4 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read There are exactly 3044 chamber-regular lattices on the new C2-buildings constructed here, the first known examples.

desk verdict First chamber-regular ~C2-lattices with a sharp count, but the exact 3044 depends on unshipped GAP code. read the letter →

arxiv 2511.08312 v2 pith:DTTC6ISG submitted 2025-11-11 math.GR

Franziska Stamer , Thomas Titz Mite This is my paper · ORCID
classification math.GR MSC 20E4251E12
keywords chamber-regularlatticesaffinebuildingsC2-buildingsgeneralizedquadranglestrianglesofgroupsexoticKantor'sconjecturelatticeactions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper constructs the first chamber-regular lattices acting on two-dimensional affine buildings of type C2, and counts them: exactly 3044 isomorphism classes. Chamber-regular means the group permutes the chambers (triangular 2-simplices) freely and transitively. The buildings have all special-vertex links equal to the unique generalized quadrangle of order (3,5), which is not a Moufang polygon; hence none of these buildings is a Bruhat-Tits building, and all the lattices are exotic. The construction and classification are carried out by encoding the actions as triangles of groups and exhaustively classifying the local edge-regular actions on the quadrangle and on the complete bipartite graphs K4,4 and K6,6. If a standard conjecture in finite geometry holds, these 3044 lattices are in fact all chamber-regular lattices on locally finite C2-buildings.

What carries the argument

The key machinery is the triangle of groups: a commutative diagram of seven finite groups (one face group, three edge groups, three vertex groups) that encodes a group action on a simply connected 2-complex transitive on triangles. When the local actions are non-positively curved and the angle sum is exactly π, the development is an affine building. The vertex stabilizers are the 11 chamber-regular groups on Q(3,5), the 10 groups on K4,4, and the 14 groups on K6,6. Isomorphism classes of triangles of groups with fixed local actions correspond to double cosets in products of automorphism groups, and these the paper computes explicitly, yielding the count.

What would settle it

Re-running the exhaustive search over the automorphism groups of Q(3,5), K4,4 and K6,6 and finding an edge-regular action not listed in the tables, or finding two triangle-of-groups classes in the same family that produce isomorphic lattices, would change the 3044 count.

Watch

Extended reading notes

Core claim

The central discovery is that chamber-regular lattices on C2-buildings exist and are completely determined by finite combinatorial data: three edge-transitive local actions on the generalized quadrangle Q(3,5) and on the complete bipartite graphs K4,4 and K6,6, together with the gluing isomorphisms among edge stabilizers. The paper shows there are 11 chamber-regular actions on Q(3,5), and then classifies all compatible triangles of groups. After counting type-preserving isomorphism classes and then full isomorphism classes, exactly 3044 isomorphism classes of lattices survive, and each such group admits only one chamber-regular action on its building.

Load-bearing premise

The exhaustive computer classification of edge-regular actions on Q(3,5), K4,4 and K6,6 is complete and correct, but the paper ships no code or certificates to check it.

Editorial extensions

If this is right

  • If correct, these are the first chamber-regular lattices on C2-buildings, settling an open existence question.
  • Under Kantor's conjecture, the list of 3044 lattices is a complete classification of type-preserving chamber-regular lattices on locally finite C2-buildings.
  • The 11 chamber-regular actions on Q(3,5) are the first (and conjecturally the only) chamber-regular actions on a finite generalized quadrangle.
  • Because Q(3,5) is not Moufang, the resulting buildings are not Bruhat-Tits; the lattices are the first non-algebraic, exotic building lattices of this kind.
  • Each of the 3044 groups admits a unique chamber-regular action, meaning the action can be reconstructed from the abstract group structure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same triangle-of-groups assembly method could be applied to other generalized polygons with chamber-transitive groups, such as the Lunelli-Sce quadrangle; testing whether any chamber-regular actions arise there would provide an independent check of Kantor's conjecture.
  • The exhaustive computer classification of local actions is the load-bearing step; releasing the search code or certificates would let the 3044 count be independently verified and reused on neighbouring problems.
  • The uniqueness of the action may have uses beyond enumeration: the building can be recovered group-theoretically from the lattice, which could feed into rigidity or quasi-isometric rigidity questions for these groups.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper uses triangles of groups to construct the first examples of chamber-regular lattices on two-dimensional affine buildings of type ~C2. It starts from the unique generalized quadrangle Q of order (3,5), classifies edge-regular actions on Q, K4,4, and K6,6 by computer (Lemmas 31–33), combines compatible local actions into developable, non-positively curved triangles of groups (Lemmas 37–38), and counts isomorphism classes using double-coset methods (Lemmas 41–45). This yields 3144 type-preserving isomorphism classes and, after identifying mirror isomorphisms, 3044 isomorphism classes (Proposition 44, Theorem 46). The authors prove (Proposition 26) that the acting group determines the triangle of groups, so the count is interpreted as a count of distinct lattices, each with a unique chamber-regular action. Conditional on Kantor's conjecture, these are claimed to be the only chamber-regular lattices on locally finite ~C2-buildings. The paper includes explicit matrix generators for two local actions and presentations for all 35 local actions.

Significance. If the classification and the computer enumerations are correct, these are the first chamber-regular lattices on ~C2-buildings; they are exotic (non-Bruhat–Tits) because Q is non-Moufang, and under Kantor's conjecture they form a complete list. The general CAT(0)/triangles-of-groups framework is standard, and the internal arithmetic is consistent: the contributions in Lemmas 41–43 sum to 3144, and the reductions in Lemma 45 give 3044. The authors also provide concrete data (matrices in Table 1 and presentations in Appendix A). The main weakness is that the exhaustive classifications and the double-coset counts are asserted to be computer-checked without shipping code or certificates, so the exact numerical claims are not independently verifiable as submitted. A further issue is that the unqualified theorem statements appear to exceed the 'type-preserving' scope of the method.

major comments (4)
  1. [§5, Prop. 29 and Lemmas 31–33] The exhaustive classifications of edge-regular actions on Q(3,5), K_{4,4}, and K_{6,6} are load-bearing for the exact count, but they are asserted only as computer calculations ('The following proposition was checked with a computer'; 'The tables ... have been calculated with a computer'). No GAP code, scripts, certificates, or output are provided. A missed conjugacy class in any of the three graphs would change the allowed families in Lemmas 37–38 and the double-coset counts in Lemmas 41–43, hence the 3144/3044 totals and the uniqueness claims. The presentations in Tables 2–4 do not by themselves prove that the abstract groups act on the named graphs, nor do they prove completeness. Please supply the code and verification data, or replace these assertions by human-checkable enumerations.
  2. [§5, proofs of Lemmas 41–43, Appendix B] The counts of type-preserving isomorphism classes in Lemmas 41–43 (which sum to 3144) are justified only by 'We just applied Lemma 40 to each case.' The Appendix B tables of local automorphism groups Σ_i are not sufficient to reproduce the class numbers 1, 2, 3, 5, 6, 9, 12, 18, 24 without the intermediate double-coset computations. Because these counts are the core numerical output, the manuscript needs reproducible computational evidence (code, certificates, or explicit representative systems) to allow an independent check of the exact totals.
  3. [§1, Theorem 1; §5, Theorem 46] The classification pipeline enumerates type-preserving actions: Definition 11 requires Γ to be a group of type-preserving isometries, and every triangle-of-groups action is type-preserving. A chamber-regular action that is not type-preserving need not have edge-regular vertex-stabilizer actions on links, so it would not be detected by Lemmas 31–33. The abstract correctly says 'type-preserving ..., chamber-regular ..., lattices', but Theorem 1 and the second sentence of Theorem 46 omit this qualifier and claim 'exactly 3044 chamber-regular lattices' / 'the only lattices that act chamber-regularly'. Either the theorems should be restricted to type-preserving actions, or a proof should be given that every chamber-regular lattice on a locally finite ~C2-building is type-preserving.
  4. [§3.3, Proposition 26] This proposition is the bridge from triangles of groups to pairwise non-isomorphic lattices with a unique action. The proof is too compressed at a load-bearing point: after the Flat Triangle Lemma, the claim 'If Δ is not a chamber, V1,V2,V3 do not generate Γ' is justified by saying that Γ' = ⟨V1,V2,V3⟩ acts regularly on the orbit of Δ and is therefore not as transitive as Γ. But when Δ is not a chamber it is not a fundamental chamber, and it is not shown that the orbit of Δ is a chamber complex on which Γ' acts regularly. Please expand this argument or supply a reference.
minor comments (5)
  1. [Appendix A, Table 3 (L19)] The relator 'ab1a^{-1}b' contains an undefined generator b; the generating set is {a,b1,b2}. Please correct (presumably to 'ab1a^{-1}b1' or 'ab1a^{-1}b2') and re-check the other presentations in Tables 2–4 for similar transcription errors, since these tables are the encoded output of the classification.
  2. [§5, Lemma 38] Items 8 and 9 use the notation T^{(1)} for t∈{30,…,35}; by Notation 36 the superscript should be T^{(2)} for those vertex groups.
  3. [§2.2, Observation 20] 'monomorphisms from ∏_i E_i' should presumably read 'from ∏_i Aut(E_i)'.
  4. [Appendix A, Table 2 (L2)] The generating set lists 'a1, a1, b1, b2'; the second generator should be a2.
  5. [Throughout] There are several typos: 'develobality', 'simplical', 'regulary', 'previuos', 'cellar complexes', 'isomorphism of between'. Also the proof of Lemma 25 refers to 'the universal cover is of type ~C2' where the universal cover is the development; the terminology could be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the 3044 count is a genuine double-coset enumeration; Kantor's conjecture is a conditional external input, not a derived premise.

full rationale

The paper's derivation chain is not circular. The central input is the computer-enumerated list of edge-regular actions on Q(3,5), K4,4 and K6,6 (Proposition 29, Remark 30, Lemmas 31–33, Appendix A), and the central output is the count 3044 of chamber-regular lattices obtained by enumerating compatible triangles of groups and counting type-preserving and non-type-preserving isomorphism classes via double cosets (Observation 16/20, Lemma 40, Lemmas 41–43, Proposition 44, Lemma 45, Theorem 46). No parameter is fitted to a target result, and no claimed prediction is identical to an assumed input. The GAP computations are evidence supplied as input data, not a fitted substitute for the theorem; the lack of shipped code or certificates is a reproducibility/correctness concern, not circularity under the stated rules. The only unproved external premise, Kantor's conjecture, is used solely to add a conditional uniqueness clause and is explicitly flagged as a conjecture rather than as a result of this paper. There are no load-bearing self-citations and no uniqueness theorem from the authors' prior work is invoked to force the classification. The paper's internal mathematical structure—local actions fixed, then all compatible triangles counted—gives the claimed classification independent content. Therefore the appropriate finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No fitted parameters or invented entities; the construction is deterministic once Q and the local actions are fixed. The central count rests on standard building/CAT(0) theory plus three external inputs: uniqueness of Q(3,5), the unproved Kantor conjecture (only for the uniqueness clause), and the correctness of unshipped GAP computations.

assumptions (6)
  • domain assumption Kantor's conjecture: the only finite non-Moufang quadrangles with chamber-transitive automorphism group are Q(3,5) and the Lunelli-Sce quadrangle.
    Used in Theorem 46 to pass from 'there are 3044' to 'these are all locally finite ~C2 chamber-regular lattices'. Explicitly flagged as unproved.
  • domain assumption The GAP computations exhaustively and correctly classify edge-regular actions on Q, K4,4 and K6,6 (Lemmas 31-33) and verify Proposition 29.
    Load-bearing for the exact count; no code or certificates shipped, only result tables. The paper itself says 'checked with a computer'.
  • standard math Tits' local recognition theorem: a simply connected 2-complex with generalized-polygon links and angle sum 1 is a Euclidean building.
    Invoked as Proposition 23/Corollary 24 to turn triangle-of-groups developments into ~C2-buildings.
  • standard math Bridson-Haefliger CAT(0) triangle-of-groups theory: non-positively curved triangles of groups are developable and yield CAT(0) spaces.
    Background for development, local actions, and the lattice property; cited to [BH99].
  • domain assumption Q(3,5) is the unique generalized quadrangle of order (3,5).
    Used throughout; cited to [DZ76] and [PT09].
  • standard math Seitz's theorem: a finite quadrangle with a chamber-regular action is necessarily non-Moufang.
    Used to infer the constructed buildings are not Bruhat-Tits buildings; cited to [Sei73]/[Mal98].

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Chamber-regular $\tilde C_2$-Lattices." pith.science (2026). https://pith.science/paper/DTTC6ISG

@misc{pith2026251108312,
  author       = {Pith},
  title        = {Pith review of: On Chamber-regular $\tilde C_2$-Lattices},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DTTC6ISG}},
  note         = {Machine review of arXiv:2511.08312}
}
abstract

We construct the first examples of chamber-regular lattices on $\tilde C_2$-buildings. Assuming a conjecture of Kantor, our list of examples becomes a classification for type-preserving, chamber-regular $\tilde C_2$-lattices on locally finite $\tilde C_2$-buildings. The links of special vertices in the buildings we construct, are all isomorphic to the unique generalized quadrangle Q of order (3,5). In particular, our constructions involve chamber-regular actions on Q. These actions on Q are the first and if Kantor's conjecture holds the only chamber-regular actions on a finite generalized quadrangle and therefore interesting in their own right. Moreover Q is not Moufang and therefore none of our examples are Bruhat-Tits buildings and all our lattices are exotic building lattices.

Figures

Figures reproduced from arXiv: 2511.08312 by the authors.

Figure 1
Figure 1. A triangle of groups. function, we can extend it to the set of edge groups by requiring that the edge group with type i embeds in the vertex groups with types j and k for {i, j, k} = {1, 2, 3}. For the rest of this section we fix T as the triangle of groups from [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. The triangle of groups T((γij )ij ). We denote this map by Θj i : σ j 7→ σ j i . Now define Θj : Σj → Aut(Ei) × Aut(Ek), σj 7→ (σ j i , σ j k ) and note that Θj is injective. Finally we define the group I := Q i Aut(Ei) × Q i Σ i and a left action of I on the family T . Definition 18. Let ϕ = (ϕEi )i × (ϕVi )i ∈ I and T := T((γij )ij ) ∈ T . Then we define ϕ.T ∈ T as follows. ϕ.T : = T  (Θj i (ϕVj ) | {z } ∈Aut(E… view at source ↗
Figure 3
Figure 3. The configuration of x1, x2, x3 in the proof of Proposition 26 in type C˜ 2. paths stabilized by the groups E1, E2, E3. The geodesics γi , γj only intersect in the vertex stabilized by Vk, because otherwise there would be at least two vertices fixed by ⟨Ei , Ej ⟩ and since Ei ̸= Ej neither Ei nor Ej would be maximal among the groups that are contained in two vertex stabilizers. In particular none of the angles in th… view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: The generalized quadrangle of order (5,3), the dual of [PITH_FULL_IMAGE:figures/full_fig_p014_4.png]
Figure 5
Figure 5. Figure 5: The triangle of groups T(V1, V2, V3, E1, E2, E3,(εij )ij ). 3. Let (r, s, t) be a triple with 1 ≤ r, s ≤ 11, 22 ≤ t ≤ 35 and such that Et ∼= im(κ r A) ∼= im(κ s A), Es ∼= im(κ r B) ∼= im(κ t B) and Er ∼= im(κ s B) ∼= im(κ t A), where Er, Es, Et are model edge groups. W…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 1 linked inside Pith

  1. [1998]

    Homomorphisms and Automorphism Groups, pp

    Chap. Homomorphisms and Automorphism Groups, pp. 135– 171.isbn: 978-3-0348-0271-0.doi:https://doi.org/10.1007/978- 3-0348-0271-0. [Opp24] Izhar Oppenheim.Property (T) for groups acting on affine buildings

    doi:10.1007/978-

  2. [2024]

    Flag-Transitive Subgroups of Chevalley Groups

    arXiv:2410 . 05716 [math.GR].url:https : / / arxiv . org / abs/2410.05716. [PT09] S.E. Payne and J.A. Thas.Finite Generalized Quadrangles. EMS se- ries of lectures in mathematics. European Mathematical Society, 2009. isbn: 9783037190661. [Sei73] G. M. Seitz. “Flag-Transitive Subgroups of Chevalley Groups”. In: Annals of Mathematics97.1 (1973), pp. 27–56.d...

    arXiv 2009

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.