My purpose is to verify an historical hypothesis i have on Gauss's tesselation of the unit disk as described in John Stilwell "Mathematics and its history". Looking at the relevant pages in Gauss's Nachlass (volume 8, p.102-105), I read that the commentor (Robert Fricke) on this fragment of Gauss says that Gauss's drawing (the (4 4 4) tesselation) is intended to be a geometrical illustration for composition of substitutions other then the fundamental generators of the modular group. The following sentences are a citation of Fricke about the substitutions Gauss used:

Gauss has repeatedly dealt with composition of other substitutions of the group defined from these generators. In addition to the information in fragment [i], the following formula should also be mentioned $$\frac{[\alpha, \beta,\dots,v]\theta + [\beta,\gamma,\dots,v]i}{-i[\alpha,\beta,\dots,\mu]\theta+[\beta,\gamma,\dots,\mu]}$$ which can be found in a booklet entitled “Cereri Palladi Junoni sacrum, Febr. 1805”. The continued fraction expansions of the two substitutions are given as examples:$$\frac{128\theta + 37i}{-45i\theta + 13}$$ $$ \frac{121\theta+36i}{-84i\theta+25}$$

Just to explain the words of Fricke, "the group defined from these generators" is the modular group (since the generators mentioned before this sentence are addition of $i$ and inversion with respect to the unit circle), and the $[,,\dots,]$ is the "Gaussian Brackets" notation (which Gauss defined in article 27 of Disquisitions Arithmeticae, and is connected directly to continued fractions). I think $\theta$ is just a notation for the complex variable that is transformed under the Mobius transformation.

Checking the determinants of these substitutions gave $-1$ for the first one and $+1$ for the second one, so this made me suspect that these are isometric Mobius transformations (the only thing that doesn't settle is that $a,b,c,d$ in the Mobius transformation should be real integers, not imaginary integers). One should also notice that the second Mobius transformation can be rewritten as:

$$\frac{121\theta+36i}{-84i\theta+25} = \frac{[3,2,1,3,3]\theta+[2,1,3,3]i}{-[3,2,1,3,2]i\theta+[2,1,3,2]}$$

, in exact accordance with Gauss's formula which uses the Gaussian Brackets notation (here $\alpha=3, \beta=2,\gamma=1, v=3, \mu=2$).

In addition, the diagonal elements of the second Mobius transformation ($121$ and $25$) are both reduced to $1$ modulo $12$, while the off-diagonal elements reduce to $0$ modulo $12$ (if one allows imaginary sizes for $b,c$). In other words, this shows that the second Mobius transform belongs to a congruence subgroup of level 12 in $SL_{2}(Z[i])$.

Although it seems at first that these Mobius transformations are just examples of a general principle of certain continued fractions developement, immediately after that Fricke says:

Both to explain the continued fraction development of the substitutions and to draw conclusions from the theory of functions, Gauss made use of the geometrical representation which has become the basis of the more recent theory of module functions. In the booklet just mentioned, Gauss drew the figure shown here. Since the above-mentioned continued fraction expansions of substitutions are also to be found, Gauss must have used the figure as a means to illustrate these continued fraction expansions. In fact, one has here the beginning of the well-known network of circular arc triangles, which is the basis of the theory of modulus functions. It's evident that Gauss generally understood the "principle of the symmetrical multiplication of curved triangles", which comes into consideration here, and even the character of the "natural limit" of a triangular network to be obtained in this way did not remain hidden... These are circular arc triangles of the angles $\frac{\pi}{4},\frac{\pi}{4},\frac{\pi}{4}$, and the orthogonal circle highlighted in the drawing represents their natural limit. In addition to the drawing, the following information was written by Gauss: "Center of the first circle: $2^{\frac{1}{4}}$, radius of the first circle: $\sqrt{\sqrt{2}-1}$, center of the second circle: $\frac{1}{2}(\sqrt{\sqrt{2}+1}+\sqrt{\sqrt{2}-1})$, radius of the second circle:$\frac{1}{2}(\sqrt{\sqrt{2}+1}-\sqrt{\sqrt{2}-1})$.

Therefore, it seems that these Mobius substitutions are actually the generators for some tiling of the hyperbolic disk. But this conclusion is a result of a very shallow reading of Fricke's comments and i lack the proffesional knowledge needed to verify my reading. In addition, there are two drawings in these pages (one on p.103 and the Gauss's tesselation on p.104), and i'm not sure to which drawing Fricke refers. Since Gauss's original notebook (Cereri Palladi Junoni sacrum) has not been published yet, it is virtually impossible for someone with my knowledge to write a conclusive answer.

I also found another reference to Gauss's hyperbolic tiling in p.198 of Schlesinger's essay on Gauss's researches in function theory, where he says:

The extent to which Gauss must also be regarded as a precursor to the theory of automorphic functions is shown not only by his construction of the fundamental domain for the modular function, but also by his interpretation of the linear fractional substitution $$t'=\frac{(\alpha +\beta i)t-(\gamma + \delta i)}{(\gamma - \delta i)t+(\alpha-\beta i)}$$ as a rotation of the spherical surface in itself, which is discussed in two notes printed in volume 8, p.354-356 the works, and that relates to a case of transcendent triangular functions that do not correspond to the modular functions, a polygonal network, found in the p.104 of volume 8 of the works, after a statement on a seperate page.

In other words, Gauss described (in the two notes mentioned) those Mobius transformations that correspond to pure rotations of the Riemann sphere.

**Historical significance of Gauss's results:**

Being the first drawing of it's kind, the tessellation drawed by Gauss and his related results have planted some the seeds of Felix Klein's "Erlangen program" (with the other influences being Galois's theory of equations and Riemann's geometric ideas). Klein read Gauss's fragments very closely and seems to have been influenced by them, so i think it's not an exaggeration to say that Gauss's drawing was one of his sources of inspiration.

Therefore i believe that for a correct historic appreciation of the roots of Erlangen program, it's important to know how Gauss arrived at the metrical relations in his tiling (the results stated by Gauss on the location and radiuses of the centres of the first and secondary circles in his tessellation are already confirmed by my posted answer - although it might not be the original method of Gauss).

**Questions**

Do Gauss's formulas for the radiuses of curvature of the first and second generation circles imply that he essentialy knew the Poincare disk model of the hyperbolic plane? I ask that because the derivation presented makes heavy use of the conception and machinery of this model. I find it unprobable, at least according to traditional accounts of Gauss's mathematical interests (the disk model is essentially a conformal model of the hyperbolic plane, and Gauss didn't think about conformal mappings until at least 1815).

It's more likely that he arrived at this result in the context of his analytic investigations, and not in the context of his "meditations" on non-Euclidean geometry.