4
$\begingroup$

The ratio of two linearly independent solutions of the Guass hypergeometric differential equation defines a map from the upper half plane to a Schwarz triangle. Everything I read tells me that this map is injective, but I cannot find a proof. Is there a simple proof? Also, can we similarly prove a similar result for the map $$\sigma:(x,y) \to (\frac{G(x,y)}{F(x,y)},\frac{H(x,y)}{F(x,y)})$$ where $F$, $G$, and $H$ are solutions of Appell's $F_1$ system?

$\endgroup$
1
  • $\begingroup$ I though it was clear that I was referring to the case where |1-c|, |c-a-b|, and |a-b| are all less than 1. Since you appeal to the Riemann mapping theorem, I am wondering how you would show injectivity of the two variable case where (x,y) is mapped to two ratios of solutions of Appell's F1 system. Any ideas on this problem? (of course with suitable restriction on the parameters a, b1, b2 and c) $\endgroup$
    – Dan
    Mar 7, 2014 at 2:34

1 Answer 1

4
$\begingroup$

"Everything you read" has it wrong: this map is not necessarily injective. For example, there exists a Schwarz equation whose solution is a ratio of two solutions of a Gauss equation, and the solution is $z^{10}$, which is not injective in the upper half-plane. The "triangle" in question has angles $10\pi,\pi,10\pi$. It is indeed a "triangle" in some sense, and you can even make a paper model. But it does not fit into the plane.

The correct result is the following. Suppose that you have an (honest) circular triangle in the plane. That is the sides are arcs of circles, and the angles are at most $2\pi$. Then (by the Riemann mapping theorem) there exists a conformal (injective) map of the upper half-plane onto this triangle. This map satisfies a Schwarz equation. All other solutions of this Schwarz equation also map the upper half-plane injectively onto triangles (obtained by a fractional-linear transformation of the original one).

But not all Schwarz equations occur in this way. Parameters of the Schwarz equations have to satisfy certain (simple) conditions for the solution to be injective in the upper half-plane.

There is one Complex Analysis textbook (in English) where this question is treated in great detail: C. Caratheodory, vol. II. For those who read German or Russian, also Hurwitz-Courant.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.