4
$\begingroup$

In the book of Kra and Farkas on Riemann surfaces the following (slightly unusual) definition is given:

Definition IV.3.2 (Section IV.3). Let $M$ be a Riemann surface. We will call $M$ elliptic if and only if $M$ is compact. We will call $M$ parabolic if and only if $M$ is not compact and $M$ doesn't carry a non-negative subharmonic function. We will call $M$ hyperbolic if and only if $M$ does carry a negative non-constant subharmonic function.

Question. Is there some geometric way to characterise parabolic and hyperbolic surfaces? For example, suppose $M$ is a compact Riemann surface and $x_1,\ldots, x_n$ are points on it. Is the surface $M\setminus \{x_1,\ldots, x_n\}$ parabolic?

$\endgroup$
3
  • 4
    $\begingroup$ Strange definition, indeed. Usually, compact Riemann surfaces of genus $\geq 2$ are called hyperbolic, because they are uniformized by the upper half-space (or, equivalently, by the disk). $\endgroup$ Aug 17, 2020 at 10:04
  • 3
    $\begingroup$ Should the second occurrence of $M$ in each of the defining sentences be $\widetilde{M}$, the universal cover of $M$? $\endgroup$ Aug 17, 2020 at 10:28
  • 1
    $\begingroup$ No Michael, I've just copied the definition from the book. And I am certain that this is exactly what they meant. $\endgroup$
    – aglearner
    Aug 17, 2020 at 10:50

1 Answer 1

2
$\begingroup$

This is somewhat unusual terminology, but it is common in the theory of classification of open Riemann surfaces. The more standard notation is $P_G$ for "parabolic", and $O_G$ for "hyperbolic".

The surface $M\backslash\{ x_1,\ldots,x_n\}$ is parabolic in this sense, by the "removable singularity theorem" (a subharmonic function which is bounded from above in a punctured neighborhood of the point extends to a subharmonic function in the full neighborhood).

There are some criteria, especially, for surfaces of the form $M\backslash E$, where $M$ is compact and $E$ is a closed subset. But these criteria are not very geometric: they use capacity. Some results can be given in terms of Hausdorff measures of $E$ but they are not "necessary and sufficient".

Classical results can be found in the books

M. Tsuji, Potential theory in modern function theory, Maruzen, Tokyo, 1959 (there is an AMS reprint).

Ahlfors, Sario, Riemann surfaces, Princeton UP, 1960.

$\endgroup$
2
  • $\begingroup$ Can you give me some references on the "removable singularity theorem" for subharmonic functions? I can only find references on this theorem for harmonic functions. $\endgroup$
    – gaoqiang
    Dec 27, 2023 at 16:42
  • $\begingroup$ L. Carleson, Selected Problems on Exceptional Sets. $\endgroup$ Dec 28, 2023 at 14:40

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.