Complex projective line

GPTKB entity

Statements (49)
Predicate Object
gptkbp:instanceOf gptkb:algebraic_geometry
gptkb:mathematical_concept
gptkb:Riemannian_manifold
Complex manifold
gptkbp:alsoKnownAs gptkb:Riemann_sphere
Projective line over the complex numbers
gptkbp:automorphismGroup Projective linear group PGL(2,C)
gptkbp:BettiNumber0 1
gptkbp:BettiNumber1 0
gptkbp:BettiNumber2 1
gptkbp:canBe Two copies of the complex plane
gptkbp:compact true
gptkbp:containsGenus 0
gptkbp:degree 1
gptkbp:dimensions 1
gptkbp:Euler_characteristic 2
gptkbp:field gptkb:Complex_numbers
gptkbp:firstChernClass 2
gptkbp:fundamentalGroup Trivial
gptkbp:genus 0
gptkbp:hasConnection true
gptkbp:hasCoordinateChart z = z1/z0 except at infinity
gptkbp:homogeneousCoordinates [z0:z1]
https://www.w3.org/2000/01/rdf-schema#label Complex projective line
gptkbp:isAlgebraicCurve true
gptkbp:isCompactRiemannSurface true
gptkbp:isIrreducible true
gptkbp:isomorphicTo gptkb:Riemann_sphere
2-sphere S^2
gptkbp:isOneDimensionalComplexManifold true
gptkbp:isProjectiveVariety true
gptkbp:isQuotientOf C^2 \\ {0} by C^*
gptkbp:isSmooth true
gptkbp:notation P^1(C)
gptkbp:numberOfIssues true
gptkbp:PicardGroup Z
gptkbp:pointAtInfinity [1:0]
gptkbp:pointsSystem Equivalence classes of nonzero pairs (z0, z1) in C^2
gptkbp:relatedTo gptkb:geometry
gptkb:Riemann_sphere
Real projective line
gptkbp:simplyConnected true
gptkbp:topologicalType 2-sphere
gptkbp:universalCover Itself
gptkbp:usedIn gptkb:Algebraic_geometry
gptkb:Projective_geometry
Complex analysis
gptkbp:bfsParent gptkb:Linear_Fractional_Transformation
gptkbp:bfsLayer 8