Picard's theorem

Picard's theorem
Geek3 · CC BY-SA 3.0 · source
Name	Picard's theorem
Field	Complex analysis
Discovered	1879
Discoverer	Émile Picard
Related	Great Picard theorem, Little Picard theorem, Picard modular surface

Picard's theorem

Picard's theorem is a pair of foundational results in complex analysis concerning the value-distribution of entire functions and holomorphic maps near essential singularities. Originating in the work of Émile Picard in the late 19th century, the theorems connect to problems studied by Bernhard Riemann, Karl Weierstrass, and Georg Cantor and have influenced later developments by Rolf Nevanlinna, Lars Ahlfors, and André Weil. The two classical formulations—commonly termed the Little and Great versions—have had lasting impact on the study of meromorphic functions, algebraic curves, and arithmetic geometry.

Introduction

Picard's results emerged in the context of investigations into singularities and entire functions by Émile Picard, building on techniques from Augustin-Louis Cauchy and Karl Weierstrass. The Little Picard theorem asserts a striking rigidity for nonconstant entire functions, while the Great Picard theorem addresses the behavior of holomorphic functions near essential singularities, refining earlier ideas by Sofia Kovalevskaya and Henri Poincaré. Picard's work prompted extensions by Rolf Nevanlinna in value-distribution theory and influenced the formulation of modern results by Paul Montel, Lars Ahlfors, and Gunnar Mittag-Leffler.

Statement of the Theorems

The Little Picard theorem: Every nonconstant entire function attains every complex value, with at most one exception. This statement is part of the lineage from work on Weierstrass factorization theorem and stands alongside classical results such as Liouville's theorem and the Fundamental theorem of algebra.

The Great Picard theorem: If a function has an essential singularity at a point, then in every neighborhood of that point the function attains every complex value, with at most one exception, infinitely often. The Great form refines earlier observations by Karl Weierstrass and is often contrasted with the Casorati–Weierstrass theorem associated with Felice Casorati and Karl Weierstrass.

Variants and corollaries include Picard-type statements for meromorphic functions on the Riemann sphere, relations with the Picard modular surface studied by Henri Poincaré and Eugenio Elia Levi, and arithmetic analogues anticipated by Gerd Faltings and developed by Paul Vojta.

Proofs and Methods

Original proofs by Émile Picard employed complex function theory techniques influenced by Cauchy and Weierstrass. Subsequent proofs exploit diverse methods: normal families introduced by Paul Montel, conformal mapping techniques from Lars Ahlfors, and value-distribution machinery developed by Rolf Nevanlinna. Montel's approach uses families of holomorphic functions and compactness properties in the space of holomorphic maps; it connects directly to the Montel theorem and to compactness arguments used later by Charles Fefferman in several complex variables.

Ahlfors provided geometric proofs using covering surface theory and extremal length concepts, linking to Teichmüller theory as developed by Oswald Teichmüller and connections with Kleinian groups studied by Henri Poincaré and Felix Klein. Nevanlinna's framework of deficiency and ramification gives quantitative generalizations that tie into diophantine approximation themes investigated by Kurt Mahler and Alexander Grothendieck-era arithmetic geometry. Modern treatments also use Zalcman’s lemma, introduced by Lawrence Zalcman, which furnishes a rescaling argument bridging normal families and Picard-type conclusions; this lemma has links to the work of John Littlewood and Paul Erdős on value distribution heuristics.

Applications and Consequences

Picard's theorems underpin many rigidity and classification results. In complex dynamics they constrain the possible Julia sets studied by Gustav Julia and Pierre Fatou. In algebraic geometry, Picard-type statements inspire finiteness theorems and influence the study of holomorphic maps between compact Riemann surfaces as in results by André Weil and Oscar Zariski. In differential equations, the theorems control the asymptotic behavior of solutions to complex ODEs studied by Sophie Kowalevski and Émile Picard himself, and they bear on monodromy problems analyzed by Henri Poincaré and Riemann.

In number theory and arithmetic geometry, analogues of Picard's conclusions appear in Vojta’s conjectures linking value distribution to diophantine approximation, an idea that resonated with the work of Gerd Faltings on rational points and with conjectures of Serge Lang. In several complex variables, Picard-type phenomena influence extension theorems associated with Oka and Kiyoshi Oka's coherence results and results of Henri Cartan regarding analytic continuation and sheaf cohomology.

Generalizations and Related Results

Generalizations include Nevanlinna theory providing quantitative measures such as the characteristic and deficiency functions developed by Rolf Nevanlinna and expanded by W. K. Hayman. The Picard theorem for holomorphic curves into complex projective spaces has been formulated by Mark Green and relates to the Second Main Theorem of Nevanlinna and to conjectures in value distribution by Paul Vojta. Extensions to holomorphic maps on complex manifolds intersect research by Shoshichi Kobayashi on hyperbolicity and by Serge Lang on diophantine analogues. Higher-dimensional analogues and arithmetic versions connect to work by Gerd Faltings, Paul Vojta, and Robert Langlands-inspired attempts to relate automorphic forms and value distribution.

Notable related theorems include the Casorati–Weierstrass theorem for essential singularities, the Big Picard theorem variants proven using Nevanlinna theory and Zalcman’s rescaling, and Montel-type normality criteria with extensions by Gaston Julia and Pierre Fatou in complex dynamics. The landscape of Picard-related research continues to intersect fields represented by André Weil, Alexander Grothendieck, and modern investigators of complex hyperbolicity such as Jean-Pierre Demailly.

Category:Complex analysis