Spherical polyhedron¶

A finite edge-to-edge covering of a round sphere by great-arc-bounded spherical polygon faces.

Version: v1 · 2026-10-17 · History
Domain-specific #: 14307
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Spherical Geometry → Mathematics

Core Idea¶

A spherical polyhedron, under the convention used here, is a finite edge-to-edge cellulation of one specified round two-sphere by spherical polygon faces bounded by great-circle arcs. The closed faces together cover the sphere. Their interiors are pairwise disjoint, while distinct closed faces may meet along shared boundary edges or vertices. The incidence must respect whole shared cells rather than leaving a partial edge overlap. Luk, Nedela and Purcell state the round-sphere, great-arc and edge-to-edge convention for their spherical tilings; Aranas and Loyola describe spherical realizations using vertices, open great-arc edges and open spherical-polygon facets.^[1]^[2]

This class admits spherical digons, or two-sided polygon faces. A regular spherical dodecahedron and a three-sided hosohedron therefore both qualify as whole-sphere constructions, though the second lacks a noncollapsed straight-edge, flat-face Euclidean realization of the corresponding type.^[1]^[2]^[3] Regularity, symmetry and a convex solid from which a tiling can be projected are properties of some examples, not extra requirements imposed on every member.

Structural Signature¶

Specified round spherical carrier. The surface being cellulated is one complete round two-sphere. A planar polygonal region or an arbitrary topological sphere without the declared round metric does not supply this carrier.^[1]^[2]
Finite great-arc edge and vertex network. Finitely many geodesic arc edges meet at their specified vertices. A flat chord inside the sphere or an arbitrary small-circle seam is not a great-circle arc on its surface.^[1]^[2]
Spherical polygon faces with shared-cell incidence. Face boundaries follow that network, and overlaps between closed faces are unions of shared whole boundary cells, potentially more than one edge or vertex. An isolated polygon or a crossing that ends partway through another face's edge fails the edge-to-edge convention.^[1]^[2]
Exhaustive surface cover. The union of the closed faces is the entire sphere and face interiors do not overlap. Boundary points are included in the cover even though adjacent closed faces share them. A local dome patch fails this global role.^[1]^[2]

Digon allowance states which spherical polygon faces this entry admits. It is an explicit convention, not a fifth component that must occur in every instance: the dodecahedral example has pentagonal faces, while the hosohedron is made of digons.^[1]^[3]

What It Is Not¶

This is a partition of a curved surface, not a flat-faced solid itself. Under the source's stated convexity and positioning conditions, projection from a suitable convex polyhedron produces a spherical tiling; the projected great-arc faces are the target structure, and the flat planar faces are the related construction.^[1] A drawing of a polyhedron's incidence graph, without a round metric and realized great arcs, also does not establish the spherical object.

Nor does a ball-like appearance suffice. An uncovered geodesic dome is only a patch, and an arbitrary panelled ball need not have great-circle seams or edge-to-edge face incidence. A spherical polyhedral surface with its own cone singularities may have a different intrinsic metric from one fixed round sphere. These are boundaries of the stated definition, not claims that a pictured dome or manufactured ball was a worked example in the cited sources.

Scope of Application¶

The literal scope is finite, complete, round-sphere polygonal cellulations with the great-arc and shared-cell conditions. The sources provide two contrasting whole examples:

Ordinary spherical dodecahedron. The Platonic tiling shown by Luk, Nedela and Purcell has twelve spherical pentagon faces on the full sphere. Aranas and Loyola separately give the abstract dodecahedral incidence counts of 20 vertices, 30 edges and 12 facets; these are combinatorial counts, not measurements inferred from a partly hidden image.^[1]^[2] Liu's thesis also names a spherical dodecahedron in its text and caption, without making its uninspected figure pixels evidence here.^[3]
Three-sided hosohedron. Three great semicircle meridians join two polar vertices and bound three spherical lune faces. The three digons cover the full sphere, with disjoint interiors and their meridians and poles as shared boundaries. This worked three-face hosohedron differs from a two-face dihedron; the source definitions can overlap for a two-digon hosohedron. Aranas and Loyola discuss faithful spherical great-semicircle realizations.^[1]^[2]^[3]

Other Platonic tilings are source-listed members of the regular subclass, but the target class is wider than regular tilings. No architecture, beach-ball manufacture, measured spherical shell or volume experiment follows from these formal cases.^[1]

Clarity¶

An edge here lies along a great circle of the chosen round sphere. Its image is curved in ambient three-dimensional space even when a related Euclidean polyhedron has straight chord edges. “Cover” uses the closed faces: their union includes edges and vertices. “Disjoint interiors” permits adjoining faces to share those boundary cells; saying that the closed faces are pairwise disjoint would misdescribe both examples.^[1]^[2]

For the hosohedron, two polar vertices can be joined by several distinct great semicircles, making two-sided lune faces. Luk, Nedela and Purcell define a spherical digon on PDF p. 6; their Figure 5 showing hosohedra and dihedra is on PDF p. 5.^[1] The complete spherical surface still bounds a ball. When Aranas and Loyola contrast it with straight segments that collapse in a flat-face Euclidean realization, the loss of positive three-dimensional volume belongs to that attempted Euclidean realization, not to the ball bounded by the spherical tiling.^[2]^[3]

Manages Complexity¶

The four roles split a surface construction into testable questions. Fix the metric sphere; check that each proposed edge is a great arc with coherent endpoints; check that polygon faces share whole boundary cells; then check that closed faces cover every point without overlapping interiors. A well-formed local patch can pass the edge and face checks but still fail the global cover.

This structure also separates optional features from membership. The ordinary dodecahedron has a regular Platonic pattern and can be related to a suitable convex solid by projection under the source's conditions.^[1] The hosohedron instead uses digons and parallel pole-to-pole edges.^[1]^[2] Their shared class does not require every face to have at least three sides, every underlying graph to be a conventional polyhedral graph or every member to originate from a convex planar-faced solid.

Abstract Reasoning¶

To test a proposed instance, first specify the round metric, since “geodesic” depends on it. Next examine the edge endpoints and great-arc traces. Then inspect the closure of each face and all pairwise intersections: a legal meeting may involve shared edges, vertices or unions of whole boundary cells, but not a partial-edge overlap inconsistent with the cell network. Finally verify the global union and pairwise-disjoint interiors. This is a simultaneous membership check, not a tradeoff between local and global requirements.^[1]^[2]

The hosohedron is a useful counterexample to a stronger proposed condition. Its lune faces form an admitted whole-sphere tiling, yet its corresponding straight-edge, flat-face Euclidean realization collapses instead of enclosing positive volume as a proper solid.^[2]^[3] Therefore positive volume for such a planar-faced realization cannot be inferred from the spherical cellulation axioms.

Knowledge Transfer¶

The definition transfers literally among round-sphere tilings that preserve the same metric, great-arc and global-cover roles. A dodecahedral construction and a hosohedral construction differ sharply in face shape and Euclidean realization, while both pass those roles.^[1]^[2] The relation to planar convex polyhedra is conditional: Luk, Nedela and Purcell describe projection from a convex polyhedron suitably placed inside a unit ball, and the converse under convexity and an appropriate underlying graph. Neither direction says that every admitted spherical tiling has that planar-faced source.^[1]

The broader idea of partitioning helps explain exhaustive cover, but it cannot by itself replace the round metric or geodesic incidence. Any more general object type would need independent examples that preserve its own full role structure; the cited cases establish this specific spherical class.

Examples¶

In the ordinary spherical dodecahedron, the carrier is the entire round sphere. Great-arc edges and vertices follow a dodecahedral incidence network, and twelve spherical pentagons meet along those shared cells. Their closed union is the whole sphere and their interiors do not overlap.^[1]^[3] Aranas and Loyola's 20/30/12 vertex-edge-facet count identifies the dodecahedral abstract incidence used in this map.^[2] Regularity and convex projection characterize this case, not every spherical polyhedron.

In the three-sided hosohedron, the carrier is again the entire sphere, but the network has two poles and three great-semicircle edges between them. Each adjacent pair of meridians bounds a lune, yielding three digon faces whose closed union covers the surface. Their interiors are separate; boundaries meet at meridians and poles.^[1]^[2]^[3] Unlike the pentagonal example, this one actively uses the admitted digon convention. Its validity as a spherical tiling does not depend on a positive-volume planar-faced Euclidean version.^[2]^[3]

Structural Tensions¶

There is one bounded choice of object class. Keeping a digon-inclusive great-arc tiling class retains the hosohedron and its complete spherical surface, but gives up any universal guarantee that every member has a noncollapsed flat-faced Euclidean solid realization. Requiring such a proper Euclidean solid retains that positive-volume criterion and excludes the hosohedron's collapsed planar-faced realization.^[2]^[3] Neither convention makes the other internally inconsistent; they classify different objects.

The diagnostic is: when “polyhedron” is used, is the intended object the complete spherical cellulation or a proper straight-edge, flat-face Euclidean solid? The tension does not say that the hosohedron's spherical surface encloses zero volume. Local incidence and full cover, by contrast, are concurrent requirements inside the chosen spherical definition rather than opposing pressures.^[1]

Structural–Framed Character¶

This is a mathematical structure near the structural end of the structural–framed spectrum. Its round metric and digon-admitting convention are explicit framing choices, but membership is decided by great-arc incidence and exhaustive face cover rather than appearance or use.^[1]^[2]

Evaluative weight: Regularity and visual symmetry are optional properties, not a ranking built into the class.
Human practice: A geometer chooses the metric and convention; the resulting incidence and cover tests are mathematical.
Institutional origin: No institution confers membership, though terminology and publication conventions differ.
Vocabulary travel: The term travels literally among qualifying round-sphere tilings; a Euclidean-solid use of “polyhedron” can carry another volume condition.
Import versus recognition: Recognize a fixed carrier, actual great arcs and the full cover rather than importing identity from a ball-like drawing.

Its character: structural, because the explicit round-sphere convention fixes a mathematical object whose membership follows from incidence and coverage, not an evaluative or institutional judgment.

Structural Core vs. Domain Accent¶

The demonstrated core is a fixed round sphere, a finite network of geodesic edges and vertices, spherical polygon faces with shared-cell incidence, and an exhaustive closed-face cover with disjoint interiors. The dodecahedron's pentagon count, regularity, symmetry and convex projection route are case accents. The hosohedron's actual digons and collapsed planar-faced comparison are different case accents.^[1]^[2]^[3]

A hypothetical broader Prime for cellulation would need unlike, fully specified nonspherical cases preserving a carrier, boundary network, compatible cells and exhaustive cover. The present sources do not establish that transfer. If round-sphere great arcs are removed, the name and membership test of this entry change rather than simply becoming a domain-neutral restatement.

This entry is part of Topological Surface.

The complete round two-sphere covered by the faces is a Topological Surface carried inside this tiling.^[1] Its planar neighborhoods remain intact across great-arc edges and at hosohedron poles; polygon-face boundaries are seams within the sphere, not a boundary of the whole surface. The surface can exist without any such finite cellulation, while the cellulation requires it. The related Topological Space identity follows through the surface and does not supply a second direct carrier here.

Polyhedron and polytope are close through incidence and the conditional convex projection route, but a planar-faced solid is not automatically this curved surface tiling. Polygon supplies a local face idea; an individual polygon does not cover the sphere. Edge tessellation and simplicial sphere suggest other ways to organize surface cells, while a generic partition captures the cover idea but omits the round metric and great-arc condition.^[1]^[2]

These are conceptual neighbors. Their names or shared features alone do not establish that every instance satisfies each neighbor's full identity, especially when a candidate parent requires planar faces, a simplicial triangulation or disjoint closed parts. The open face, edge and vertex strata can be considered separately if a disjoint partition is needed; the closed faces of the present tiling overlap on their allowed boundaries.

Relationships to Other Abstractions¶

Current abstraction Spherical polyhedron Domain-specific

Parents (1) — more general patterns this builds on

Spherical polyhedron is part of Topological Surface Domain-specific

Every admitted round-sphere cellulation contains the connected boundaryless topological two-surface S² as its complete identity-bearing carrier.

Hierarchy paths (5) — routes to 3 parentless roots

Spherical polyhedron → Topological Surface → Topological Space → Closure

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Spherical polyhedron sits in a sparse region of the domain-specific corpus (84^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Euclidean & Geometric Structures (25 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-17

Not to Be Confused With¶

A flat-faced convex solid: suitable projection can produce a spherical tiling, but the solid and the curved face cellulation are distinct objects.^[1]
A geodesic dome patch: local great-arc edges do not by themselves cover the full sphere.
An arbitrary panelled ball: seams must satisfy the declared great-circle and shared-cell conditions.
An abstract polyhedron or simplicial sphere alone: incidence without a specified round metric does not realize great-circle arcs.^[2]
A spherical polyhedral surface with intrinsic cone singularities: that metric surface need not be a tiling of one fixed round sphere.
A two-face dihedron as a label for this worked three-face hosohedron: their face counts differ. The classes are not disjoint: a two-digon hosohedron can also be a dihedron under the cited definitions.^[1]

The convention admits digons but does not require one in every instance, and the cited regular-tiling classification is not a classification of all admitted spherical polyhedra.^[1]

References¶

[1] Hoi Ping Luk, Roman Nedela and Christopher Purcell. (2025). Tiling the Sphere with Regular Polygons (arXiv 2512.05577v1), arXiv:2512.05577v1, submitted 5 December 2025; manuscript cover dated 8 December 2025, original author preprint PDF. Relevant one-based PDF p. 2 Figure 1, p. 5 §2 spherical-tiling and conditional-projection paragraphs plus Figure 5, and p. 6 digon definition and Propositions 2.1–2.2. This is the inspected 44-page preprint; its regular-tiling theorem is narrower than the class defined here. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28

[2] Jonn Angel L. Aranas and Mark L. Loyola. (2020). “Geometric realizations of abstract regular polyhedra with automorphism group H3,” Acta Crystallographica Section A 76, 358–368, DOI: 10.1107/S2053273320001564, full original article. Relevant §2.3 abstract dodecahedral incidence; §3.2 after Theorem 3.1 hosohedron and collapsed straight-segment realization; §3.3.1 spherical vertices, open great-arc edges and open spherical-polygon facets. Its Figure 3(d) is a great-stellated, not ordinary, dodecahedral realization. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v

[3] Allen Liu. The Stars Above Us: Regular and Uniform Polytopes up to Four Dimensions. Undated in the inspected Harvard Mathematics-hosted thesis PDF. Relevant one-based PDF p. 26 §4 text and spherical-dodecahedron caption, pp. 26–27 hosohedron and dihedron discussion, and p. 27 flat-faced proper-volume convention. The cited thesis text and captions were inspected; its figure pixels and publication year were not verified. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k