7-2-71. H. Poincaré to Felix Klein, English translation

Nancy, 22 September 1882

Sir,

Here are a few details concerning functions whose natural limit is formed by an infinity of circles, and about which I spoke in my note in the Annalen. To simplify the exposition, I shall take by way of example a very special case. Suppose we have four points $a$, $b$, $c$, $d$ on the fundamental circle and four circles meeting it orthogonally: the 1${}^{\text{st}}$ at $a$ and $b$, the 2${}^{\text{nd}}$ at $b$ and $c$, the 3${}^{\text{rd}}$ at $c$ and $d$, and the 4${}^{\text{th}}$ at $d$ and $a$. We have thereby a curvilinear quadrilateral. Let us consider two substitutions (hyperbolic or parabolic), the 1${}^{\text{st}}$ sending the circle $a\,b$ to the circle $a\,d$, the 2${}^{\text{nd}}$ sending the circle $c\,b$ to the circle $c\,d$. The Wiederholungen of our quadrilateral will cover the surface of the fundamental circle or only part of that surface; but in every case the group will obviously be discontinuous. It is easy to see that the fundamental circle will be entirely covered in one case only: when the four points $a\,b\,c\,d$ are harmonic and the two substitutions $(ab,ad)$ and $(cb,cd)$ are parabolic. We are dealing here with the modular function. In every other case, we find that the Wiederholungen in question cover only a region bounded by an infinity of circles. Now the whole plane can be abgebildet on our quadrilateral and in such a way that two corresponding points on the perimeter correspond to the same point of the plane. This Abbildung defines a function that exists only in the region covered by the Wiederholungne. Here, however, there is an important remark that must be made. The group generated by the two substitutions $(ab,ad)$ and $(cb,cd)$ may be considered as generated in another way. Let’s consider four circles $C_{1}$, $C_{2}$, $C_{3}$, $C_{4}$ meeting the fundamental circle orthogonally and not intersecting each other such that any is exterior. Consider two substitutions changing $C_{1}$ to $C_{2}$ and $C_{3}$ to $C_{4}$; the group they generate is obviously discontinuous and, for a suitable choice of the 4 circles, it will be the same as the group considered above. The part of the plane exterior to the 4 circles is a quadrilateral of sorts which can be abgebildet on a Riemann surface of genus 2 and which thereby determines a function defined on the whole plane. Here we have one and the same group giving rise to two essentially different functions. One can ask in this connection a great many delicate questions which I can not go into here.

In summary, you see that we can indeed have functions defined only in a region bounded by an infinity of circles and yet which are still “Fuchsian functions”, since all the group’s substitutions preserve the fundamental circle. Each of the circles of the boundary is preserved by one of the substitutions from the group, which also preserves the fundamental circle. You know, of course, that every hyperbolic substitution preserves all circles passing through the two double points.

I learn with pleasure that you are preparing a substantial piece of work of the topic of mutual interest. I shall read it with the greatest pleasure. As Mr. Mittag-Leffler told you, I am writing a paper on that theme myself; in light of its length I divided it in five memoirs:

• The 1${}^{\text{st}}$ will appear this year, on groups of real substitutions (those I called Fuchsian groups)

• the 2${}^{\text{nd}}$ on Fuchsian functions; I will soon finish writing this up

• the 3${}^{\text{rd}}$ on the more general groups and functions that I call Kleinian.

• In the 4${}^{\text{th}}$, I will address a range of issues sidelined in the second memoir, i.e., the proof of the existence of functions satisfying certain conditions, for instance the proof of the fact that to every Riemann surface there corresponds an analogous function and the determination of the relevant constants.

• Finally, in the 5${}^{\text{th}}$, I will discuss Zetafuchsian functions and the integration of linear equations.

I have to return to Paris the day after tomorrow, so I will be there Mr. Lie’s visit. I would be sad to miss the opportunity to meet this famous geometer.

You should have received the first part of my paper on curves defined by differential equations. I will send you the second part shortly, along with my memoir on cubic forms.

Please be assured, sir, of my highest regard,

Poincaré

PTrL. Translated by R. Burns in Saint-Gervais (2016) from the original French (§ 4-47-26), with minor revisions by S.A. Walter.

Time-stamp: "15.05.2021 23:30"

Notes

• 1 See Poincaré (1882c), and Klein’s letter to Poincaré of 19 September, where he claims to know “sehr wohl” such functions (§ 4-47-25).
• 2 Poincaré (1882e).
• 3 Poincaré (1882b).
• 4 Poincaré (1883).
• 5 Poincaré (1884b).
• 6 Poincaré (1884a).
• 7 Poincaré (1881a), (1882a), (1881b), (1882d).