Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1912.11291

TeichmUller's work on the type problem (To appear in Vol. VII of the Handbook of Teichm{ü}ller theory, 2020)

Vincent Alberge·Melkana Brakalova-Trevithick·Athanase Papadopoulos
View original source ↗Read source document ↗Export metadata ↓

Abstract

The type problem is the problem of deciding, for a simply connected Riemann surface, whether it is conformally equivalent to the complex plane or to the unit dic in the complex plane. We report on Teichm{ü}ller's results on the type problem from his two papers Eine Anwendung quasikonformer Abbildungen auf das Typenproblem (An application of quasiconformal map-pings to the type problem) (1937) and Untersuchungen{ü}ber kon-forme und quasikonforme Abbildungen (Investigations on con-formal and quasiconformal mappings) (1938). They concern simply connected Riemann surfaces defined as branched covers of the sphere. At the same time, we review the theory of line complexes, a combinatorial device used by Teichm{ü}ller and others to encode branched coverings of the sphere. In the first paper, Teichm{ü}ller proves that any two simply connected Riemann surfaces which are branched coverings of the Riemann sphere with finitely many branch values and which have the same line complex are quasiconformally equivalent. For this purpose, he introduces a technique for piecing together quasi-conformal mappings. He also obtains a result on the extension of smooth orientation-preserving diffeomorphisms of the circle to quasiconformal mappings of the disc which are conformal at the boundary. In the second paper, using line complexes, Teichm{ü}ller gives a type criterion for a simply-connected surface which is a branched covering of the sphere, in terms of an adequately defined measure of ramification, defined by a limiting process. The result says that if the surface is ''sufficiently ramified'' (in a sense to be made precise), then it is hyperbolic. In the same paper, Te-ichm{ü}ller answers by the negative a conjecture made by Nevan-linna which states a criterion for parabolicity in terms of the value of a (different) measure of ramification, defined by a limiting process. Teichm{ü}ller's results in his first paper are used in the proof of the results of the second one.The final version of this paper will appear in Vol. VII of the Handbook of Teichm{ü}ller theory (European Mathematical Society Publishing House, 2020).

Explore related subjects

math.CVmath.GTmath.HO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vincent Alberge, Melkana Brakalova-Trevithick, Athanase Papadopoulos. 2019-12-24. TeichmUller's work on the type problem (To appear in Vol. VII of the Handbook of Teichm{ü}ller theory, 2020). https://arxiv.org/abs/1912.11291

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Explicit Estimates for the Bergman Kernel Form

Let $(L,e^{-ϕ})$ be a positive Hermitian holomorphic line bundle over a compact Riemann surface $X$, and let $ω=i\partial\overline{\partial}ϕ$. We obtain explicit pointwise estimates for the Bergman form of the tensor power $mL$. If $\mathrm{Ric}\,ω\leqω$ and the shortest nonconstant closed geodesic has length at least $2π$, then \[ K_{mϕ}\geq \frac{2m-1}{4π}\,ω, \] with sharpness holding for $(\mathbb P^1,\mathcal O_{\mathbb P^1}(2))$. We also obtain a local version, depending on an upper curvature bound and the injectivity radius, which recovers the first two terms of the Bergman expansion when the curvature is constant. We also find a higher dimensional version. Under the two-sided bound $-ω\leq\mathrm{Ric}\,ω\leqω$ and the same closed-geodesic hypothesis, we also prove \[ K_{mϕ}\leq \frac{mω}{2π} \left(1+\frac{3}{2m}\right). \] The lower estimates use the deformation to the tangent space version of the Ohsawa--Takegoshi theorem established by He, Wang, and the author, whereas the upper bound via Błocki--Zwonek and isoperimetric inequalities.

math.CV↗
arXiv2026

The Complete Crouzeix Conjecture in Dimension Three and the Clouâtre-Ostermann-Ransford conjecture

We settle the complete Crouzeix conjecture for matrices of order at most three and prove the Q-algebra case of the completely bounded Clouâtre--Ostermann--Ransford (COR) conjecture for homomorphisms into matrices of order at most three, via sharp abstract column and row estimates. Our approach also establishes the scalar COR conjecture in a stronger form, for homomorphisms with commutative range on Banach algebras with unity satisfying von Neumann's inequality. Under contractivity of the symmetrized map, this result holds on arbitrary Hilbert spaces without initial boundedness assumptions on the homomorphism or the antilinear map. For arbitrary operator algebras, we disprove the complete COR conjecture by an exact three-dimensional example with target matrix order two. We also prove the sharp complete bound for every matrix subalgebra containing the diagonal, in arbitrary matrix order and on arbitrary target Hilbert spaces. We also obtain column and row square-function inequalities with sharp norm bounds, strict scalar bounds for operators similar to normal operators, sharp complete spectral constants for scaled $q$-numerical ranges in dimensions two and three, and rigidity, stability, and representing-measure results.

math.CV↗
arXiv2026

Solving non-oscillatory solutions of the Hill equation via the Tumura--Clunie method

We consider the Hill equation $f''-(\sum_{i=-\mathbf{l}}^{\mathbf{k}}b_{i}e^{iz})f=0$ ($†$), where $\mathbf{k}\geq 1$ and $\mathbf{l}\geq 0$ are integers and $b_{-\mathbf{l}}$, $\cdots$, $b_{\mathbf{k}}$ are constants such that $b_{\mathbf{k}}\not=0$. We point out that there is a full correspondence between the class of non-oscillatory solutions such that $λ(f)<\infty$ of equation ($†$) and the class of Liouvillian solutions of equation $x^2u''-(\sum_{i=-\mathbf{l}}^{\mathbf{k}}b_{i}x^{i})u=0$ ($‡$). Then this paper has twofold purposes. First, parallel to Kovacic's algorithms to find the Liouvillian solutions of equation ($‡$), we develop the Tumura--Clunie method to find the non-oscillatory solutions of a higher order version of the Hill equation. Second, for the particular Hill equation $f''-(b_{\mathbf{k}}e^{\mathbf{k}z}+b_{\mathbf{s}}e^{\mathbf{s}z}+b_0)f=0$, where $\mathbf{k}>\mathbf{s}\geq 1$ are integers and $b_{\mathbf{k}}b_{\mathbf{s}}\not=0$, we use the Tumura--Clunie method to determine the non-oscillatory solution $f$ with an additional zero property.

math.CV↗