2211.04554
ON THE LATTICE OF BOUNDARIES AND THE ENTROPY SPECTRUM OF HYPERBOLIC GROUPS
Samuel Dodds
incompletehigh confidence
- Category
- Not specified
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper states Theorem B with the strong join identity B_α ∨ B_β = B_{α∧β}, but in the proof of §6 it only constructs a tree of hyperbolic quotients and shows distinctness/embedding; it does not justify the join identity or the kernel-equality it would require. The proof ends by observing distinct essential stabilizers, concluding only that N^{<∞} embeds into BL(Γ, μ) (see Proposition 6.1 and the subsequent proof sketch of Theorem B) . The candidate solution repairs the property-(T) citation but relies on an unproven kernel–join lemma and misattributes a crucial kernel-intersection property to Proposition 6.1 (which does not assert it), and also incorrectly treats products of boundaries as boundaries. Hence both the paper and the model leave key steps unjustified.
Referee report (LaTeX)
\textbf{Recommendation:} major revisions \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The central structural claim (the join identity) is attractive but currently unsupported by the written proof, which establishes only an embedding of the index tree into the boundary lattice. The quotient-tree construction is plausible and the entropy-gap mechanism via property (T) is sound in spirit, but precise control of kernels/intersections and a rigorous argument connecting joins in BL(Γ, μ) to group-quotient kernels are missing. Clarifying these issues and tightening citations would materially improve correctness and clarity.