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
|