pith. machine review for the scientific record. sign in

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

Recognition: 2 theorem links

· Lean Theorem

Hyperbolic space groups and edge conditions for their domains

Milica Stojanovi\'c

Pith reviewed 2026-05-12 03:33 UTC · model grok-4.3

classification 🧮 math.GT math.SG
keywords hyperbolic space groupsfundamental domainssimplicial polyhedraedge conditionssymmetriesrealization spacehyperbolic geometry
0
0 comments X

The pith

Edge conditions derived from symmetries determine which simplicial fundamental domains realize hyperbolic space with vertices outside the absolute.

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

The paper examines fundamental domains of space groups to determine the geometries in which they can be realized, with a focus on hyperbolic cases. It shows that symmetries of the fundamental polyhedron impose additional restrictions called edge conditions that go beyond standard methods for studying realization spaces. For simplicial domains in the family considered, these conditions identify the situations where the domain is hyperbolic and all vertices lie outside the absolute. A sympathetic reader would care because the approach uses the polyhedron's own symmetry to narrow the possibilities for hyperbolic space groups directly from their defining domains.

Core claim

The author claims that for simplicial fundamental domains in the family under study, edge conditions obtained from the symmetries of the polyhedron serve to find the cases in which the domains are realized in hyperbolic space with vertices out of the absolute, and thus the associated space groups are hyperbolic.

What carries the argument

Edge conditions: restricted conditions on the fundamental polyhedron that arise from its symmetries and limit the possible realization spaces.

If this is right

  • Domains satisfying the edge conditions realize hyperbolic space with vertices outside the absolute.
  • The space groups associated with those domains are hyperbolic.
  • Edge conditions supplement usual methods by providing symmetry-based restrictions on the realization space.
  • Only the configurations meeting the edge conditions qualify as hyperbolic among the simplicial cases examined.

Where Pith is reading between the lines

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

  • The same symmetry-derived conditions could be checked first in other families to reduce the search space for hyperbolic realizations.
  • This method suggests a practical filter that might be implemented computationally before solving full systems of realization equations.
  • Symmetry properties of the polyhedron may serve as early invariants to separate hyperbolic from Euclidean or spherical cases in broader classifications.

Load-bearing premise

The classification into families covers all relevant simplicial cases and the edge conditions derived from symmetries are necessary and sufficient to settle the hyperbolic realizations without further unstated geometric constraints.

What would settle it

A simplicial fundamental domain in the family that meets all stated edge conditions yet realizes a non-hyperbolic space or places at least one vertex inside the absolute.

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 examines simplicial fundamental domains of space groups in Family F12 (following the 2006 classification of Molnár et al.). It introduces 'edge conditions' obtained from the symmetries of the fundamental polyhedron and uses these to restrict the possible dihedral angles and edge lengths. The central aim is to identify the cases in which such domains admit a hyperbolic realization with all vertices lying outside the absolute.

Significance. If the edge conditions are shown to be both necessary and sufficient and the resulting inequalities are solved explicitly, the work supplies a concrete, symmetry-based refinement of the realization-space description for this family. This could aid systematic enumeration of hyperbolic space groups with simplicial fundamental domains and complement existing geometric and combinatorial classifications.

major comments (2)
  1. [§4] §4 (or the section deriving the edge conditions for F12): the manuscript states that the symmetry-derived inequalities restrict the realization space, but does not exhibit the explicit system of inequalities or the resulting parameter ranges that guarantee hyperbolicity with vertices outside the absolute. Without these calculations it is impossible to verify that the listed cases indeed satisfy the hyperbolic criterion.
  2. [Introduction / §2] The claim that the edge conditions are new restrictions beyond the Molnár et al. classification rests on the assumption that the 2006 list is exhaustive for simplicial domains; however, the paper does not provide a cross-check or reference confirming that no additional geometric constraints (e.g., convexity or link conditions at vertices) have been omitted.
minor comments (2)
  1. Notation for the dihedral angles and edge lengths is introduced without a consistent table or diagram; a single labeled figure showing the simplicial polyhedron with all symbols would improve readability.
  2. The abstract and introduction both refer to 'vertices out of the absolute' but the precise meaning (ideal vertices versus ultra-ideal) is not restated in the main text; a brief reminder would help readers unfamiliar with the terminology.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments, which will help improve the clarity and verifiability of our results on edge conditions for Family F12 simplicial fundamental domains. We address each major comment below.

read point-by-point responses

  1. Referee: [§4] §4 (or the section deriving the edge conditions for F12): the manuscript states that the symmetry-derived inequalities restrict the realization space, but does not exhibit the explicit system of inequalities or the resulting parameter ranges that guarantee hyperbolicity with vertices outside the absolute. Without these calculations it is impossible to verify that the listed cases indeed satisfy the hyperbolic criterion.

    Authors: We acknowledge that the derivation in §4 outlines how symmetries of the polyhedron yield restrictions on dihedral angles and edge lengths, but the explicit system of inequalities and the resulting solved parameter ranges were not presented in tabulated form. In the revised version we will add a subsection that lists the complete set of symmetry-derived inequalities and the explicit ranges of parameters for which the domains are hyperbolic with all vertices outside the absolute, thereby allowing direct verification of the cases discussed. revision: yes

  2. Referee: [Introduction / §2] The claim that the edge conditions are new restrictions beyond the Molnár et al. classification rests on the assumption that the 2006 list is exhaustive for simplicial domains; however, the paper does not provide a cross-check or reference confirming that no additional geometric constraints (e.g., convexity or link conditions at vertices) have been omitted.

    Authors: The 2006 classification of Molnár et al. is taken as the established enumeration of simplicial fundamental domains in Family F12, and our edge conditions are presented as additional symmetry-based restrictions within that setting. We agree that an explicit cross-check would strengthen the exposition. In the revision we will insert a short paragraph in the introduction that references the completeness of the Molnár et al. list with respect to convexity and vertex-link conditions, and we will clarify that the edge conditions supplement rather than replace those geometric requirements. revision: yes

Circularity Check

0 steps flagged

No significant circularity; external classification and symmetry-derived conditions form independent chain

full rationale

The paper takes the Molnár et al. 2006 classification of space groups into families as an external given and derives new edge conditions directly from the symmetries of the simplicial fundamental polyhedron for Family F12. These conditions are imposed on dihedral angles and edge lengths to obtain inequalities that characterize hyperbolic realizations with vertices outside the absolute. No equation or step reduces the claimed output to a fitted parameter renamed as prediction, a self-definition, or a load-bearing self-citation; the derivation introduces fresh geometric restrictions whose validity can be checked against the stated symmetry assumptions without circular reduction to the input classification.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the completeness of the 2006 family classification for simplicial domains and on standard axioms of hyperbolic geometry (constant negative curvature, absolute as boundary at infinity). No free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The classification of space groups into families by Molnár et al. (2006) is complete and correctly identifies Family F12 simplicial cases.
    Invoked when restricting attention to Family F12 without re-deriving the families.
  • standard math Hyperbolic 3-space has a well-defined absolute (boundary at infinity) and fundamental domains can be realized with vertices either inside or outside it.
    Used to state the target condition 'vertices out of the absolute'.

pith-pipeline@v0.9.0 · 5393 in / 1416 out tokens · 31978 ms · 2026-05-12T03:33:09.252361+00:00 · methodology

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.

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