Extremal disks and modular surfaces (Q1355492)

Soit \(X\) une surface de Riemann compacte, de genre \(g\geq 2\), munie de la métrique \(\rho\) de Poincaré qui lui donne la courbure constante \(-1\). Avec les notations \(\beta_g=\pi/6(2g-1)\) et \(B(x,R)=\{y\in X:\rho(x,y)<R\}\), \(\forall x\in X\) on a \(\sup\{R\in\mathbb{R}^*_+: B(x,R)\) homéomorphe à un disque ouvert du plan\}\(\leq\arg\text{ch }1/2\sin\beta_g\) et \(\sup_{y\in X}\rho(x,y)\geq\arg\text{ch }1/\sqrt 3\text{ tg }\beta_g\); si l'une de ces inégalités devient égalité en un point \(x\), l'autre aussi devient égalité au même point \(x\). Pour \(X\) donnée, les égalités peuvent apparaître en plusieurs points, en nombre fini, et \(\forall g\geq 2\) on construit une \(X\) où les égalités apparaissent effectivement. Les preuves reposent sur des estimations de la densité des empilements et des recouvrements dans le plan hyperbolique.