The Bloch constant is strictly smaller than the Ahlfors--Grunsky value
Teng Zhang
Abstract
We prove that the classical Bloch constant is strictly smaller than the Ahlfors--Grunsky value, disproving the famous Bloch constant conjecture. The Lean 4 formalization of the main results are also provided.
Create a lesson
Related papers
Oka realizations, fundamental groups, and holomorphic cofibrations
Bin Guo, Yuta Kusakabe, Peng-Chao Wang
The Fekete-Szegö problem for starlike mappings of order α and quasi-convex mappings of type B in the unit balls of complex Banach spaces
Sujoy Majumder, Abhijit Banerjee, Goutam Haldar et al.
On Mok's uniqueness problem of holomorphic isometries from complex unit balls of maximal dimension into classical domains
Cong Ding, Yuan Yuan
Toeplitz determinants for starlike mappings of order α in several complex variables
Shantanu Panja, Sujoy Majumder, Abhijit Banerjee
Oka complements in algebraic tori and their logarithmic covers
Yun-Heng Du, Bin Guo, Peng-Chao Wang et al.
The sharp constant in the Chang--Marshall inequality
Rupert L. Frank, Paata Ivanisvili