In mathematics, the Schwarz lemma, named after Hermann Amandus Schwarz, is a result in complex differential geometry that estimates the (squared) pointwise norm | ∂ f | 2 {\displaystyle |\partial f|^{2}} of a holomorphic map f : ( X , g X ) → ( Y , g Y ) {\displaystyle f:(X,g_{X})\to (Y,g_{Y})} between Hermitian manifolds under curvature assumptions on g X {\displaystyle g_{X}} and g Y {\displaystyle g_{Y}} . The classical Schwarz lemma is a result in complex analysis typically viewed to be about holomorphic functions from the open unit disk D := { z ∈ C : | z | < 1 } {\displaystyle \mathbb {D} :=\{z\in \mathbb {C} :|z|<1\}} to itself. The Schwarz lemma has opened several branches of complex geometry, and become an essential tool in the use of geometric PDE methods in complex geometry.
Statement of the classical Schwarz Lemma Let D = { z : | z | < 1 } {\displaystyle \mathbf {D} =\{z:|z|<1\}} be the open unit disk in the complex plane C {\displaystyle \mathbb {C} } centered at the origin, and let f : D → C {\displaystyle f:\mathbf {D} \rightarrow \mathbb {C} } be a holomorphic map such that f ( 0 ) = 0 {\displaystyle f(0)=0} and | f ( z ) | ≤ 1 {\displaystyle |f(z)|\leq 1} on D {\displaystyle \mathbf {D} } . Then | f ( z ) | ≤ | z | {\displaystyle |f(z)|\leq |z|} for all z ∈ D {\displaystyle z\in \mathbf {D} } , and | f ′ ( 0 ) | ≤ 1 {\displaystyle |f'(0)|\leq 1} . Moreover, if | f ( z ) | = | z | {\displaystyle |f(z)|=|z|} for some non-zero z {\displaystyle z} or | f ′ ( 0 ) | = 1 {\displaystyle |f'(0)|=1} , then f ( z ) = a z {\displaystyle f(z)=az} for some a ∈ C {\displaystyle a\in \mathbb {C} } with | a | = 1 {\displaystyle |a|=1} .
Proof of the classical Schwarz lemma The proof, which first appears in a paper by Carathéodory, where it is attributed to Erhard Schmidt, is a straightforward application of the maximum modulus principle on the function
g ( z ) = { f ( z ) z if z ≠ 0 f ′ ( 0 ) if z = 0 , {\displaystyle g(z)={\begin{cases}{\frac {f(z)}{z}}\,&{\mbox{if }}z\neq 0\\f'(0)&{\mbox{if }}z=0,\end{cases}}}
… excerpt ends here. Continue reading the full article.


