The Hexagonal Tiling Honeycomb

John C. Baez

REVIEW 3 major objections 5 minor 6 references

The Hexagonal Tiling Honeycomb

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Hexagon centers of {6,3,3} are exactly principal polarizations

desk verdict An attractive expository note that states a striking correspondence between a hyperbolic honeycomb and principal polarizations, but the key identification is outsourced to the author's blog and not proved in the paper. read the letter →

arxiv 2412.00048 v1 pith:PAIBX6VD submitted 2024-11-23 math.HO math.AGmath.MG

John C. Baez This is my paper · ORCID

classification math.HOmath.AGmath.MG MSC 51M1014K0511R04

keywords hexagonaltilinghoneycomb{633}hyperbolicgeometryEisensteinintegershermitianmatricesabeliansurfacesprincipalpolarizationsNéron–Severigroup

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

This paper sets out to show that a highly symmetric object in 3-dimensional hyperbolic geometry, the hexagonal tiling honeycomb $\{6,3,3\}$, is the same mathematical object as a familiar one in algebraic geometry: the principal polarizations of the abelian surface $\mathbb{C}^2/\mathbb{E}^2$, where $\mathbb{E}$ is the Eisenstein integers. The bridge is the lattice $\mathfrak{h}_2(\mathbb{E})$ of $2 \times 2$ hermitian matrices with Eisenstein integer entries, which sits inside Minkowski spacetime. The central assertion is that the centers of the honeycomb's hexagons are precisely the points of $\mathfrak{h}_2(\mathbb{E})$ lying on the hyperboloid $\det(A) = 1$, $\mathrm{tr}(A) > 0$, and that these points correspond exactly to the principal polarizations of $\mathbb{C}^2/\mathbb{E}^2$. The paper is an exposition, but its aim is to make the reader see the honeycomb and the polarization lattice as one and the same structure. If the correspondence holds, algebraic geometry gains a concrete visual model for principal polarizations, and hyperbolic geometry gains an arithmetic interpretation for its discretized lattices.

What carries the argument

The load-bearing object is the lattice $\mathfrak{h}_2(\mathbb{E})$, the set of $2\times2$ hermitian matrices whose entries are Eisenstein integers, embedded in Minkowski spacetime via the determinant form. Hyperbolic space is modeled as the hyperboloid $H = \{A \in \mathfrak{h}_2(\mathbb{C}) \mid \det(A)=1,\ \mathrm{tr}(A)>0\}$. The paper's central identity is that the hexagon centers of the honeycomb $\{6,3,3\}$ coincide with the points of $\mathfrak{h}_2(\mathbb{E}) \cap H$; this is the 'minor miracle' that links the geometric honeycomb to the N\'eron--Severi group (the group of line-bundle classes up to deformation) of $\mathbb{C}^2/\mathbb{E}^2$ through the standard correspondence between hermitian matrices and line-bundle classes on complex tori.

What would settle it

Take a finite patch of the honeycomb, compute the coordinates of every hexagon center in the hyperboloid model, and check whether each is a $2\times2$ hermitian matrix with Eisenstein integer entries, determinant 1, and positive trace. A single center that fails this test would disprove the claimed bijection; a more systematic version would enumerate all such lattice points up to a large trace bound and compare with the centers in the corresponding hyperbolic ball.

Watch

Extended reading notes

Core claim

For the hexagonal tiling honeycomb $\{6,3,3\}$ in hyperbolic 3-space, the centers of its hexagons are exactly the points $A$ in the lattice $\mathfrak{h}_2(\mathbb{E})$ of $2\times 2$ hermitian matrices over the Eisenstein integers that satisfy $\det(A) = 1$ and $\mathrm{tr}(A) > 0$. The paper states this equality as a 'minor miracle' and refers to two proofs given elsewhere. Interpreting $A$ as an element of the N\'eron--Severi group of the abelian surface $\mathbb{C}^2/\mathbb{E}^2$, the conditions $\mathrm{tr}(A) > 0$ and $\det(A) > 0$ characterize ample line bundles, and the additional condition $\det(A) = 1$ characterizes principal polarizations. Hence the honeycomb's hexagon centers are the same set as the principal polarizations of $\mathbb{C}^2/\mathbb{E}^2$.

Load-bearing premise

The paper assumes that the points at the centers of the hexagons in the honeycomb are exactly the Eisenstein-integer matrices on the unit hyperboloid, and it refers to a blog post for the proof rather than proving it here.

Editorial extensions

If this is right

The honeycomb gives a concrete visual model for the principal polarizations of $\mathbb{C}^2/\mathbb{E}^2$: each hexagon center corresponds to one such polarization.
The symmetry group of the honeycomb (a Coxeter group) acts on the set of principal polarizations, so the polarizations carry a large discrete symmetry that can be studied geometrically.
The points of $\mathfrak{h}_2(\mathbb{E})$ with $\det(A)=1$ provide a symmetric discretization of Minkowski spacetime, compatible with the honeycomb structure.
Statements about principal polarizations on $\mathbb{C}^2/\mathbb{E}^2$ can be translated into statements about hexagon centers, and vice versa, giving two languages for the same mathematics.

Reading between the lines

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

A finite computational check could settle the correspondence independently: enumerate all $A \in \mathfrak{h}_2(\mathbb{E})$ with $\det(A) = 1$ and $\mathrm{tr}(A) \le T$, compare with the hexagon centers inside the ball of matching hyperbolic radius, and count them.
If this 'minor miracle' extends by analogy, other imaginary quadratic rings such as the Gaussian integers may give similar correspondences between regular honeycombs and principal polarizations of their associated abelian surfaces.
The paper's viewpoint suggests that the honeycomb can serve as a combinatorial skeleton for the moduli space of principally polarized abelian surfaces with multiplication by $\mathbb{E}$, making a high-dimensional abstract space visually tractable.

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.

Desk Editor's Note

read the letter

This is a short, readable note that does what it sets out to do: it states a beautiful connection between the {6,3,3} honeycomb and the arithmetic of Eisenstein integers, then ties it to principal polarizations on C^2/E^2. The prose is clear, the algebraic geometry is standard and correctly quoted from Birkenhake–Lange, and the visuals are genuinely helpful. It is openly expository—no new theorem is claimed, and the author points to [1] for proofs. As a piece of mathematical communication, it works well.

The soft spot is exactly where the stress-test note lands: the central assertion that hexagon centers are precisely the points of h2(E) on the hyperboloid H is introduced as a 'minor miracle' and then referred to the author's own blog post. Within the manuscript there is no construction of the honeycomb in the hyperboloid model, no definition of the map from matrices to hexagon centers, and no proof of either inclusion. That is a big omission, even for an expository note, because the whole point is that this correspondence is true. The self-citation is not automatically a flaw, but when the key claim rests entirely on a non-peer-reviewed source, the reader cannot verify the hinge without going off-page. A short appendix or even a sketch of the two inclusion directions would have made this self-contained and much more convincing.

I have no reason to think the correspondence is false—it fits the known pattern of arithmetic Coxeter groups and quadratic integers, and the cited references look credible. But the manuscript as written does not demonstrate it. The algebraic geometry side is solid, and the expository framing is honest about where the burden lies.

Who is this for? A reader who wants a quick, well-illustrated route into the connection between hyperbolic honeycombs and algebraic geometry. It is not a research paper, but it is a useful pointer. I would send it to peer review at a venue that accepts expository work, with a clear request to either add a proof sketch or tighten the reference to a citable, accessible source. If submitted as a research paper, it would need substantial expansion.

Referee Report

3 major / 5 minor

Summary. The paper is a short expository note claiming that the centers of the hexagons in the hyperbolic honeycomb {6,3,3} are precisely the points of the Eisenstein lattice h2(E) that lie on the hyperboloid H = {A | det A = 1, tr A > 0}. It further identifies these points with line bundles on the abelian surface C^2/E^2, in particular with principal polarizations. The algebraic-geometry side is standard and is referenced to Birkenhake and Lange, but the geometric side, the correspondence between hexagon centers and lattice points on H, is introduced as a 'minor miracle' and is supported only by a reference to the author's own blog post [1]. The manuscript does not prove or precisely formulate that correspondence, making it the single load-bearing hinge of the paper.

Significance. If the claimed correspondence is correct, the paper offers a striking and visually appealing bridge between hyperbolic geometry and algebraic geometry: the discrete set of hexagon centers in a regular hyperbolic honeycomb becomes the set of principal polarizations of an abelian surface. The expository style is clear, the standard facts about Neron-Severi groups are correctly summarized, and the references to Birkenhake and Lange are appropriate. However, because the central geometric correspondence is not proved or even precisely defined in the manuscript, the significance is conditional. The paper does not provide an independent verification of its main claim; it defers entirely to a non-peer-reviewed source.

major comments (3)

[The paragraph beginning 'Then comes a minor miracle'] The central claim that the hexagon centers of {6,3,3} coincide with h2(E) ∩ H is the hinge of the paper, but it is not proved here. The manuscript does not construct the honeycomb inside the hyperboloid model, does not define a map from individual hexagon centers to matrices in h2(E), and does not prove either inclusion of the claimed equality. The only support is the author's own blog post [1], which is not a peer-reviewed or published reference. Because both inclusions are needed for the advertised conclusion about principal polarizations, this gap is load-bearing. The author should either include a proof in the manuscript or replace [1] with a published, independent reference that establishes the correspondence.
[The paragraph beginning 'Then comes a minor miracle'] The term 'centers of the hexagons' is not defined for the hexagonal tiling honeycomb. Since the honeycomb is described via flat Euclidean planes tiled by regular hexagons embedded in hyperbolic space, 'center' is not an affine notion in the ambient hyperboloid model. A precise definition is needed, for example, as the unique point equidistant from all vertices of a hexagonal face, or as the intersection of its symmetry axes, before the claimed equality with h2(E) ∩ H can be checked. Without such a definition, the statement 'these points are precisely the centers' is ambiguous and cannot be verified from the text.
[References] The paper says 'For two proofs see [1]', but reference [1] is a blog post from the author's own website from 2024, and the URL as printed is broken across lines and contains a space ('...p 2.html'). A journal manuscript should not rest its main theorem on a non-peer-reviewed citation with an unstable URL. At minimum, the proof should be written out in the manuscript, or a stable published reference should be supplied.

minor comments (5)

[p. 1, Section 1] The phrase 'a bare integers' should read 'a and b are integers'.
[Throughout] The name 'Néron' appears as 'N´ eron' with a garbled accent; please use proper Unicode encoding.
[References, [1]] The URL for reference [1] is split across two lines and contains a space; it should be given as a working hyperlink with the correct URL.
[p. 1, paragraph on abelian surfaces] The expression 'C/E × C/E ∼= C2/E2' is imprecise; it is the product (C/E)^2, which is isomorphic to C^2/E^2, not a quotient by E^2 in the usual sense. Please rewrite for clarity.
[Opening paragraph] The paper refers to 'this picture' by Roice Nelson, but no image is visible in the provided version. If the figure was accidentally omitted, it should be embedded.

Circularity Check

1 steps flagged · score 7.0 of 10

Central hexagon-center/lattice correspondence rests entirely on the author's own blog post [1], with no proof in the manuscript; this load-bearing self-citation drives the algebraic-geometry punchline.

self citation load bearing [Paragraph beginning 'Then comes a minor miracle' after the definition of H = {A in h2(C) | det A = 1, tr A > 0}]
"Then comes a minor miracle: the points at the centers of hexagons in the hexagonal tiling honeycomb are precisely those points in the lattice h2(E) that lie on the hyperboloid H. For two proofs see [1]."

This equality is the hinge connecting the hyperbolic honeycomb to the algebraic-geometry discussion: without it, the final sentence "But these points are precisely the centers of the hexagons" has no geometric bridge. The manuscript supplies no construction of the honeycomb inside H, no correspondence between individual hexagon centers and matrices in h2(E), and no proof of either inclusion of the asserted equality. The only support offered is reference [1], the author's own blog post. Thus the paper's central geometric/algebraic claim is carried by a self-citation that is not independently verified in the manuscript; it does not derive the equality from stated premises. This is load-bearing rather than incidental, though it is not a definitional identity.

full rationale

The algebraic-geometry half of the paper is not circular: the Neron-Severi identification and the principal-polarization characterization are standard textbook material cited to Birkenhake-Lange [2]. The geometric half is also not circular: the {6,3,3} honeycomb is a known Coxeter object cited to Coxeter [3]. The circularity is located in the bridge between them, the 'minor miracle' equality. This equality is the load-bearing premise for the paper's advertised conclusion, and it is the one place the paper does no derivational work: it states the equality and refers to the author's own blog [1]. Removing that reference leaves the manuscript without any proof that hexagon centers are exactly h2(E) ∩ H, so the final identification with principal polarizations is unsupported. Because the load-bearing step is a self-citation rather than an internal derivation, I score it 7 rather than 0-2; no further definitional circularity is present.

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

The paper rests on standard models of hyperbolic space and abelian variety theory, but the load-bearing honeycomb-to-lattice correspondence is assumed from a self-cited blog post, not demonstrated.

assumptions (5)

standard math The model of hyperbolic space as the hyperboloid {A in h2(C) | det A = 1, tr A > 0}
Used to set the ambient space H. This is a standard model of hyperbolic 3-space.
standard math Coxeter's classification of regular honeycombs, including existence and regularity of {6,3,3}
The paper relies on the geometric fact that the hexagonal tiling honeycomb is a regular honeycomb; cited to Coxeter [3].
domain assumption The Néron-Severi group of the abelian surface C^2/E^2 is isomorphic to h2(E)
This is a standard theorem on abelian varieties, cited to Birkenhake and Lange [2].
domain assumption Points A in h2(E) with tr A > 0 and det A > 0 come from ample line bundles, and det A = 1 corresponds to principal polarizations
The algebraic geometry characterization is cited to [2, Chap. 5].
ad hoc to paper The correspondence between hexagon centers of {6,3,3} and points of h2(E) on H
This is the key unproved-in-text assumption; the paper refers to the author's own blog post [1] for proofs, without reproducing them.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Hexagonal Tiling Honeycomb." pith.science (2026). https://pith.science/paper/PAIBX6VD

@misc{pith2026241200048,
  author       = {Pith},
  title        = {Pith review of: The Hexagonal Tiling Honeycomb},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PAIBX6VD}},
  note         = {Machine review of arXiv:2412.00048}
}

abstract

The hexagonal tiling honeycomb is a beautiful structure in 3-dimensional hyperbolic space. It is called {6,3,3} because each hexagon has 6 edges, 3 hexagons meet at each vertex in a Euclidean plane tiled by regular hexagons, and 3 such planes meet along each edge of this honeycomb. It also appears naturally in algebraic geometry. If $\mathbb{E}$ denotes the Eisenstein integers, the N\'eron-Severi group of the abelian surface $\mathbb{C}^2/\mathbb{E}^2$ is isomorphic to the lattice $\mathfrak{h}_2(\mathbb{E})$ consisting of $2 \times 2$ hermitian matrices with Eisenstein integer entries. The points $A \in \mathfrak{h}_2(\mathbb{E})$ with $\mathrm{tr}(A) \gt 0$ and $\det(A) \gt 0$ come from ample line bundles on $\mathbb{C}^2/\mathbb{E}^2$, and among these points, those with $\det(A) = 1$ correspond to principal polarizations. But these points are precisely the centers of the hexagons in the hexagonal tiling honeycomb!

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

J. C. Baez, Line bundles on complex tori (part 5),The n-Category Caf´ e, 2024. Available at https://golem.ph.utexas.edu/category/2024/04/linebundles on complex tori p 2.html

work page 2024
[2]

Birkenhake and H

C. Birkenhake and H. Lange,Complex Abelian Varieties, Springer, Berlin, 2013

work page 2013
[3]

H. S. M. Coxeter, Regular honeycombs in hyperbolic space,Proceedings of the International Congress of Math- ematicians, Vol. 3., North-Holland, Amsterdam, 1954, pp. 155–169

work page 1954
[4]

C. W. L. Garner, Coordinates for vertices of regular honeycombs in hyperbolic space,Proc. Roy. Soc. London A, 293 (1966), 94–107

work page 1966
[5]

N. W. Johnson and A. I. Weiss, Quadratic integers and Coxeter groups,Canad. J. Math. 51 (1999), 1307–1336

work page 1999
[6]

The arithmetic of arithmetic Coxeter groups

S. Milea, C. D. Shelley and M. H. Weissman, Arithmetic of arithmetic Coxeter groups,PNAS 116 (2019), 442–449. Also available as arXiv:1809.04181. 2

work page Pith review arXiv 2019

Pith tools

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

[1] [1]

J. C. Baez, Line bundles on complex tori (part 5),The n-Category Caf´ e, 2024. Available at https://golem.ph.utexas.edu/category/2024/04/linebundles on complex tori p 2.html

work page 2024

[2] [2]

Birkenhake and H

C. Birkenhake and H. Lange,Complex Abelian Varieties, Springer, Berlin, 2013

work page 2013

[3] [3]

H. S. M. Coxeter, Regular honeycombs in hyperbolic space,Proceedings of the International Congress of Math- ematicians, Vol. 3., North-Holland, Amsterdam, 1954, pp. 155–169

work page 1954

[4] [4]

C. W. L. Garner, Coordinates for vertices of regular honeycombs in hyperbolic space,Proc. Roy. Soc. London A, 293 (1966), 94–107

work page 1966

[5] [5]

N. W. Johnson and A. I. Weiss, Quadratic integers and Coxeter groups,Canad. J. Math. 51 (1999), 1307–1336

work page 1999

[6] [6]

The arithmetic of arithmetic Coxeter groups

S. Milea, C. D. Shelley and M. H. Weissman, Arithmetic of arithmetic Coxeter groups,PNAS 116 (2019), 442–449. Also available as arXiv:1809.04181. 2

work page Pith review arXiv 2019