Harvey Cohn published several articles in the 1960's analyzing geometric properties of fundamental domains for Hilbert modular surfaces.

- H. Cohn, "On the shape of the fundamental domain of the Hilbert modular group," Theory of Numbers, A. L. Whiteman (Ed.), Proc. Svmpos. Pure Math. Vol. 8, Amer. Math. Soc, Providence, R. I., 1965,pp. 190-202.
- Cohn, Harvey. "A numerical survey of the floors of various Hilbert fundamental domains." Mathematics of Computation 19.92 (1965): 594-605.
- Cohn, Harvey. "Note on how Hilbert modular domains become increasingly complicated." Journal of Mathematical Analysis and Applications 15.1 (1966): 55-59.
- Cohn, Harvey. "Some computer-assisted topological models of Hilbert fundamental domains." Mathematics of Computation 23.107 (1969): 475-487.

To clarify, he's studying certain fundamental domains for the quotient
$$(\mathcal{H}^2\times\mathcal{H}^2)/\mathrm{SL}_2(\mathbb{Z}_K)$$
where $\mathcal{H}^2$
is the upper half-plane,
$\mathbb{Z}_K$
is the ring of integers of a real quadratic field $K$,
and the group action is by Möbius transformations with a Galois twist.
These articles are concerned with nailing down precise geometric properties of the fundamental domains. Especially, he talks about a $3$-manifold boundary for the domain (as a subset of $\mathcal{H}^2\times\mathcal{H}^2$) that arrises in a natural way, which he calls the *floor* of the domain.

The results mostly talk about the complexity of the regions, some obstacles to describing them in general, and eventually move on to computer generated approximations about specific examples. For instance, the main theorem in the second article above is that $\mathbb{Q}(\sqrt 5)$ is the only UFD for which the floor has just one piece. The fourth article above crunches some data and some (circa 1969) computer generated images of cross-sections of floors for the cases $\mathbb{Q}(\sqrt n)$ with $n=2,3,5,6$.

My current research project has lead me to a result that allows me to say a lot more about what's happening here. (This wasn't really the plan, as research goes, but to me it is very interesting especially when I look back at what Cohn did.) I'm wondering if (or how much) these results might interest the community. There is a lot already known about these objects' arithmetic and topological properties, and what I have (so far) does not extend these. It does give a different way of seeing/explaining some known facts in a hands-on way, which is cool, but that's not exactly Theorem-(with a capital T)-worthy.

What I do have regards putting precise shapes to the objects, giving algorithms to compute sides, showing models for 3D cross-sections (in circa 2017 computer graphics -- interestingly I think Cohn would have noticed some stuff I noticed if he just had better resolution!) ... things like that. But I don't have a good sense of the relevance of these properties to the current study of Hilbert modular surfaces. So, who (if anyone) might find that kind of thing interesting, and why? Would it make a decent paper on its own? Can you direct me to some other relevant literature? Thanks in advance!