CP^1

CP^1
Name	CP^1
Dimension	1 Complex dimension
Type	Complex projective line
Notable	Riemann sphere, Fubini–Study metric, Hopf fibration

CP^1 CP^1 is the complex projective line, a one-dimensional complex projective space that appears throughout Bernhard Riemann's theory of surfaces, Felix Klein's work on automorphic functions, and modern algebraic geometry such as in texts by Alexander Grothendieck, David Mumford, and Jean-Pierre Serre. It serves as the simplest nontrivial example in studies involving the Riemann sphere, the Hopf fibration, and the Fubini–Study metric, and is central to constructions in Hodge theory, Calabi–Yau model building, and conformal field theory associated to Isaac Newton's complex dynamics.

Definition and basic properties

As a complex projective space of complex dimension one, CP^1 is defined by taking nonzero pairs (z0,z1) in C^2 and quotienting by the action of nonzero complex scalars, a construction linked historically to Plücker coordinates and formalized in Grothendieck's work on schemes. Its algebraic incarnation is a smooth projective curve of genus zero, placing it in classifications related to Riemann–Roch theorem applications and to moduli spaces such as those considered by David Mumford and Pierre Deligne. CP^1 is compact and simply connected, properties exploited in the uniformization theorem of Henri Poincaré and in proofs by Bernhard Riemann about meromorphic functions on compact Riemann surfaces. It admits a transitive action by the projective linear group PGL(2,C), with stabilizers isomorphic to the affine group studied by Évariste Galois and appearing in monodromy representations in the work of Kurt Friedrichs.

Complex structure and topology

The complex structure on CP^1 endows it with the structure of a Riemann surface, an arena for classical results by Riemann and later developments by Lars Ahlfors and Raghavan Narasimhan. Topologically, CP^1 is homeomorphic to the two-sphere S^2, a fact appearing in discussions by Henri Poincaré and in the classification of compact surfaces used by William Thurston. Its Betti numbers match those in examples treated by Hodge and exploited in Hodge decomposition theorems popularized by Phillip Griffiths and Joseph Harris. The fundamental group is trivial, aligning with results in algebraic topology from Henri Poincaré and computations in singular homology found in expositions by Hatcher.

Coordinate charts and stereographic projection

CP^1 is covered by two standard affine charts, constructions reminiscent of local coordinate methods used by Bernhard Riemann and applied in complex analysis by Lars Ahlfors and Rudolf Nevanlinna. One chart identifies points with the complex coordinate z = z1/z0 on an affine line related to the work of Augustin-Louis Cauchy on analytic continuation; the other chart uses w = z0/z1, echoing techniques in Oscar Zariski's approach to birational geometry. The identification of CP^1 with the two-sphere via stereographic projection connects to maps studied by Henri Poincaré and is instrumental in visualizations used by John Milnor in dynamics and by Michael Atiyah in gauge theory contexts.

Projective and homogeneous coordinates

Points of CP^1 are represented by homogeneous coordinates [z0:z1], a notation rooted in projective geometry of Jean-Victor Poncelet and later formalized in algebraic geometry by Grothendieck and Serre. Linear fractional transformations acting on homogeneous coordinates produce the Möbius group, identified with PSL(2,C), whose elements correspond to automorphisms analyzed by Felix Klein and appearing in the theory of Kleinian groups developed by Poincaré and Henri Poincaré's school. Homogeneous polynomials in z0,z1 define divisors and morphisms to projective spaces, concepts central in the work of Oscar Zariski and André Weil.

Relation to the Riemann sphere and complex plane

Under the standard identification, CP^1 is the compactification of the complex plane C by a point at infinity, a compactification technique used by Bernhard Riemann and by Peter Deligne in moduli problems. The Riemann sphere model makes meromorphic functions on CP^1 correspond to rational maps studied intensively by Pierre Fatou and Gaston Julia in complex dynamics and by John Milnor in modern expositions. This compact model underlies scattering constructions in mathematical physics pursued by Roger Penrose and in string theory contexts by Edward Witten.

Line bundles and holomorphic sections on CP^1

Holomorphic line bundles on CP^1 are classified by their Chern class, an approach inherited from the intersection theory of Hirzebruch and from Grothendieck's classification theorem which identifies every holomorphic vector bundle as a sum of line bundles, a result often attributed to Grothendieck and discussed by Atiyah and Bott. The sheaf O(n) has global sections corresponding to homogeneous polynomials of degree n in z0,z1; these spaces are finite-dimensional representations appearing in the representation theory of SL(2,C) and in the Borel–Weil theorem explored by Harish-Chandra and Bertram Kostant. Divisor theory on CP^1 is elementary yet foundational for treatments by David Mumford and Joe Harris.

Metrics and curvature (Fubini–Study metric)

The canonical metric on CP^1 is the Fubini–Study metric, originally formulated by Vittorio Fubini and Eduardo Study and extensively used by Chern and Weil in curvature computations. This Kähler metric has constant positive Gaussian curvature, a property exploited in comparison theorems by S.-S. Chern and used in the study of Einstein metrics in discussions by Shing-Tung Yau. The metric is invariant under the action of SU(2), linking to harmonic analysis on spheres developed by Harmonic analysts such as Elias Stein and to the Hopf fibration constructions associated to Heinz Hopf.

Category:Complex projective spaces