pith. sign in

arxiv: 2605.10883 · v2 · submitted 2026-05-11 · 🧮 math.GT · math.SG

Hyperbolic space groups and edge conditions for their domains

Milica Stojanovi\'c This is my paper

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

classification 🧮 math.GT math.SG
keywords hyperbolic space groupsfundamental domainssimplicial polyhedraedge conditionsspace groups realizationfamily F12geometric topologypolyhedral domains
0
0 comments X

The pith

Symmetries of fundamental polyhedra impose edge conditions that determine hyperbolic realizations of simplicial domains.

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

This paper investigates the realization spaces of fundamental domains for space groups, particularly simplicial ones in family F12. It proposes that symmetries of the fundamental polyhedron yield additional constraints, termed edge conditions, which help identify when these domains can be realized in hyperbolic space with vertices outside the absolute. If true, this would provide a new method to classify hyperbolic space groups beyond conventional approaches for checking realization spaces. A reader would care because it refines our understanding of which abstract groups correspond to actual hyperbolic geometries.

Core claim

The symmetries of the fundamental polyhedron can give new restricted conditions, here called edge conditions. For simplicial fundamental domains belonging to Family F12, these edge conditions are considered to find out in which cases they are hyperbolic with vertices out of the absolute.

What carries the argument

Edge conditions derived from the symmetries of the simplicial fundamental polyhedron, which restrict the space of realization to hyperbolic cases.

If this is right

  • If the edge conditions are met, the corresponding space group is hyperbolic.
  • Simplicial fundamental domains in F12 can be checked for hyperbolicity using these symmetry-based conditions in addition to usual methods.
  • The vertices being out of the absolute confirms the hyperbolic nature of the realization.
  • New restricted conditions supplement standard investigation methods for the space of realization.

Where Pith is reading between the lines

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

  • These edge conditions might be applicable to other families of fundamental domains to expand the classification of hyperbolic groups.
  • Computational geometry tools could implement these conditions to automate the search for hyperbolic realizations.
  • Links to broader problems in geometric group theory regarding discrete groups acting on hyperbolic space.
  • The method could lead to new examples or counterexamples in the study of space groups.

Load-bearing premise

The symmetries of the simplicial fundamental domain validly restrict the space of realization to hyperbolic cases with vertices out of the absolute.

What would settle it

A counterexample where a simplicial domain in F12 satisfies the edge conditions but is realized in Euclidean or spherical space, or one that is hyperbolic but violates the edge conditions.

Figures

Figures reproduced from arXiv: 2605.10883 by Milica Stojanovi\'c.

Figure 1
Figure 1. Figure 1: The simplices T19, T46, T59 and T31 Based on the Coxeter-Schl¨afli matrix, for the general case of the simplex T considered here, it was established in [8] that if a = 1, the simplex is realized in S 3 , if (a, b) = (2, 2) the simplex is in H3 , with ideal vertices, while in other cases it is hyperbolic with outer vertices. In [18] was also established that a = 1 leads to S 3 . Therefore, for our considera… view at source ↗
read the original abstract

Looking to the fundamental domains of space groups we can investigate in which space they can be realized. If this space is hyperbolic, then the corresponding space group is also hyperbolic. In addition to the usual methods for investigating space of realization, the symmetries of the fundamental polyhedron can give new restricted conditions, here called edge conditions. The aim of the research is to find out in which cases simplicial fundamental domains are hyperbolic with vertices out of the absolute. For this reason, edge conditions for simplicial fundamental domains belonging to Family F12 by the notation of E. Moln\'ar et all in 2006, are considered.

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.

Referee Report

2 major / 2 minor

Summary. The paper investigates realizations of simplicial fundamental domains for space groups in family F12 (Molnár et al. 2006). It claims that symmetries of the fundamental polyhedron yield new 'edge conditions' that restrict the realization space to hyperbolic geometry with all vertices strictly outside the absolute.

Significance. If the edge conditions can be rigorously derived and shown to enforce negative curvature and proper vertex placement, the approach would offer a symmetry-based shortcut for classifying hyperbolic space groups, complementing existing Gram-matrix and dihedral-angle methods. The manuscript does not yet demonstrate this.

major comments (2)
  1. [Abstract and main text] The central claim (symmetries of the simplicial domain produce edge conditions that guarantee hyperbolic realizations with vertices out of the absolute) is stated in the abstract and introduction but is never derived. No equations, Gram matrix, or explicit angle constraints appear for family F12, so it is impossible to verify whether the symmetry action actually determines the metric signature.
  2. [Introduction / Family F12 discussion] The manuscript references the 2006 classification but does not re-derive or list the free parameters of the F12 family. Without this, it is unclear whether the proposed edge conditions are independent of or redundant with the existing realization parameters, leaving open the possibility that Euclidean or spherical solutions still satisfy the stated conditions.
minor comments (2)
  1. Notation for the fundamental polyhedron and its symmetry group is introduced without a diagram or coordinate description, making it difficult to follow how edge conditions are extracted from the symmetry action.
  2. The paper should include at least one concrete example (e.g., a specific set of dihedral angles or edge lengths satisfying the new conditions) together with a verification that the resulting quadratic form is Lorentzian and all vertices lie outside the absolute.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. The comments highlight areas where the derivations and background can be strengthened for clarity. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract and main text] The central claim (symmetries of the simplicial domain produce edge conditions that guarantee hyperbolic realizations with vertices out of the absolute) is stated in the abstract and introduction but is never derived. No equations, Gram matrix, or explicit angle constraints appear for family F12, so it is impossible to verify whether the symmetry action actually determines the metric signature.

    Authors: We acknowledge that the explicit derivation of the edge conditions from the polyhedron symmetries was not included in sufficient detail. In the revised version we will add a new section that derives these conditions step by step for family F12, presenting the relevant Gram-matrix entries, the action of the symmetry group on the edges, and the resulting dihedral-angle constraints that force negative curvature and place all vertices strictly outside the absolute. revision: yes

  2. Referee: [Introduction / Family F12 discussion] The manuscript references the 2006 classification but does not re-derive or list the free parameters of the F12 family. Without this, it is unclear whether the proposed edge conditions are independent of or redundant with the existing realization parameters, leaving open the possibility that Euclidean or spherical solutions still satisfy the stated conditions.

    Authors: We agree that a brief recap of the free parameters is needed for self-contained reading. The revision will insert a short paragraph summarizing the free parameters of family F12 from Molnár et al. (2006) and will explicitly show that the new symmetry-based edge conditions are independent additional constraints that exclude Euclidean and spherical realizations. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external classification without internal reduction

full rationale

The paper defines edge conditions from symmetries of simplicial fundamental domains in family F12 (Molnár et al. 2006) to restrict realizations to hyperbolic cases with vertices outside the absolute. No equations, fitted parameters, or self-referential derivations appear in the provided text that would make any prediction equivalent to its inputs by construction. The central approach builds on an external 2006 classification and notation without re-deriving or tautologically renaming its own assumptions. This qualifies as a normal non-circular use of prior literature, consistent with the reader's assessment of score 2.0 and absence of visible internal reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the work appears to rest on standard hyperbolic geometry and the cited 2006 classification.

pith-pipeline@v0.9.0 · 5393 in / 941 out tokens · 47495 ms · 2026-05-15T05:09:51.332016+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    M. Eper, J. Szirmai, Coverings with horo- and hyperballs generat ed by simply truncated orthoschmes, Novi Sad J. Mah. 53 (1) (2023) 16 5-182, DOI:10.30755/NSJOM.12697

    work page doi:10.30755/nsjom.12697 2023

  2. [2]

    Maskit, On Poincar´ e’s theorem for fundamental polygons, A dv

    B. Maskit, On Poincar´ e’s theorem for fundamental polygons, A dv. in Math. 7 (1971) 219–230

    work page 1971

  3. [3]

    Moln´ ar, Eine Klasse von hyperbolischen Raumgruppen, Beitr¨age zur Algebra und Geometrie 30 (1990) 79–100

    E. Moln´ ar, Eine Klasse von hyperbolischen Raumgruppen, Beitr¨age zur Algebra und Geometrie 30 (1990) 79–100

    work page 1990

  4. [4]

    Moln´ ar, The projective interpretations of the eight 3-dimen sional homo- geneous geometries, Beitr¨ age zur Algebra und Geometrie (Contr ibutions Alg

    E. Moln´ ar, The projective interpretations of the eight 3-dimen sional homo- geneous geometries, Beitr¨ age zur Algebra und Geometrie (Contr ibutions Alg. Geom.) 38 (2) (1997) 261–288

    work page 1997

  5. [5]

    Moln´ ar and I

    E. Moln´ ar and I. Prok, A polyhedron algorithm for finding space g roups, pro- ceedings of Third Int. Conf. On Engineering Graphics and Descriptiv e Geometry, Vienna 2 (1988) 37–44

    work page 1988

  6. [6]

    Moln´ ar and I

    E. Moln´ ar and I. Prok, Classification of solid transitive simplex tiling s in sim- ply connected 3-spaces, Part I, Colloquia Math. Soc. J´ anos Bolya i 63. Intuitive Geometry, Szeged (Hungary), 1991. North-Holland (1994), 311 –362

    work page 1991

  7. [7]

    Moln´ ar, I

    E. Moln´ ar, I. Prok and J. Szirmai, Classification of solid transitive simplex tilings in simply connected 3-spaces, Part II, Periodica Math. Hung. 35 (1-2) (1997) 47–94

    work page 1997

  8. [8]

    Moln´ ar, I

    E. Moln´ ar, I. Prok and J. Szirmai, Classification of tile-transitive 3-simplex tilings and their realizations in homogeneous spaces, Non-Euclidean G eometries, J´ anos Bolyai Memorial Volume, Editors: A. Pr´ ekopa and E. Moln´ ar, Mathematics and Its Applications, Springer 581 (2006) 321–363

    work page 2006

  9. [9]

    Moln´ ar, M

    E. Moln´ ar, M. Stojanovi´ c and J. Szirmai, Non-fundamental trunc-simplex tilings and their optimal hyperball packings and coverings in hyperbolic spa ce, I. For families F1-F4, Filomat 37 (5) (2023) 1409–1448, DOI: 10.2298/FIL 2305409M

    work page doi:10.2298/fil 2023

  10. [10]

    Moln´ ar, J

    E. Moln´ ar, J. Szirmai, Dense ball packings by tube manifolds as n ew models for hyperbolic crystalography, Matematiˇ cki Vesnik 76 (1-2) (2024) 118-135. DOI: 10.57016/MV-H6RCD277 16 M. Stojanovi´ c

    work page doi:10.57016/mv-h6rcd277 2024

  11. [11]

    Stojanovi´ c, Some series of hyperbolic space groups, Ann ales Univ

    M. Stojanovi´ c, Some series of hyperbolic space groups, Ann ales Univ. Sci. Budapest, Sect. Math. 36 (1993) 85–102

    work page 1993

  12. [12]

    Stojanovi´ c, Hyperbolic space groups, PhD

    M. Stojanovi´ c, Hyperbolic space groups, PhD. Thesis, Belgr ade, 1995. (in Ser- bian)

    work page 1995

  13. [13]

    Stojanovi´ c, Hyperbolic realizations of tilings by Zhuk simplice s, Matemati- ˇ cki Vesnik 49 (1997) 59–68

    M. Stojanovi´ c, Hyperbolic realizations of tilings by Zhuk simplice s, Matemati- ˇ cki Vesnik 49 (1997) 59–68

    work page 1997

  14. [14]

    Stojanovi´ c, Four series of hyperbolic space groups with s implicial domains, and their supergroups, Krag

    M. Stojanovi´ c, Four series of hyperbolic space groups with s implicial domains, and their supergroups, Krag. J.Math. 35 (2) (2011) 303–315

    work page 2011

  15. [15]

    Stojanovi´ c, Hyperbolic space groups with truncated simp lices as fundamen- tal domains, Filomat, 33 (4) (2019), 1107-1116, DOI: 10.2298/FI L1904107S

    M. Stojanovi´ c, Hyperbolic space groups with truncated simp lices as fundamen- tal domains, Filomat, 33 (4) (2019), 1107-1116, DOI: 10.2298/FI L1904107S

    work page doi:10.2298/fi 2019

  16. [16]

    Szirmai, Hyperball packings in hyperbolic 3-space, Matemati ˇ cki Vesnik 70 (3) (2018) 211–221

    J. Szirmai, Hyperball packings in hyperbolic 3-space, Matemati ˇ cki Vesnik 70 (3) (2018) 211–221

    work page 2018

  17. [17]

    E. B. Vinberg, (Ed.) Geometry II. Spaces of Constant Curvat ure, Spriger, 1993

    work page 1993

  18. [18]

    I. K. Zhuk, Fundamental tetrahedra in Euclidean and Lobache vsky spaces, Soviet Math. Dokl. 270 (3) (1983) 540–543

    work page 1983