gptkbp:instanceOf
|
gptkb:algebraic_geometry
surface
Kähler manifold
|
gptkbp:automorphismGroup
|
can be infinite
|
gptkbp:Betti_number_b2
|
22
|
gptkbp:can_be_defined_over
|
complex numbers
finite fields
number fields
|
gptkbp:dimensions
|
2
|
gptkbp:discoveredBy
|
1950s
|
gptkbp:Euler_characteristic
|
24
|
gptkbp:example
|
gptkb:Kummer_surface
double cover of P^2 branched along a smooth sextic
quartic surface in P^3
|
gptkbp:first_Chern_class
|
0
|
gptkbp:fundamentalGroup
|
trivial
|
gptkbp:has_global_Torelli_theorem
|
yes
|
gptkbp:has_lattice_structure
|
yes
|
gptkbp:has_moduli_space
|
20-dimensional
|
gptkbp:has_no_holomorphic_1-forms
|
yes
|
gptkbp:has_polarization
|
yes
|
gptkbp:has_Ricci-flat_metric
|
yes
|
gptkbp:has_Torelli_theorem
|
yes
|
gptkbp:has_trivial_canonical_bundle
|
yes
|
gptkbp:has_unique_(up_to_scale)_holomorphic_2-form
|
yes
|
gptkbp:hasConnection
|
yes
|
gptkbp:Hodge_number_h^{1,0}
|
0
|
gptkbp:Hodge_number_h^{2,0}
|
1
|
https://www.w3.org/2000/01/rdf-schema#label
|
K3 surface
|
gptkbp:is_a_surface_of_general_type
|
no
|
gptkbp:is_a_surface_with_trivial_canonical_bundle
|
yes
|
gptkbp:is_minimal_surface
|
yes
|
gptkbp:Kodaira_dimension
|
0
|
gptkbp:namedAfter
|
gptkb:Erich_Kähler
gptkb:Kunihiko_Kodaira
gptkb:Ernst_Kummer
|
gptkbp:Néron–Severi_group
|
rank 0 to 20
|
gptkbp:Picard_number
|
0 to 20
|
gptkbp:relatedTo
|
gptkb:Calabi–Yau_threefold
gptkb:Enriques_surface
gptkb:abelian_surface
gptkb:elliptic_curve
|
gptkbp:universalCover
|
itself
|
gptkbp:used_in
|
gptkb:algebraic_geometry
gptkb:string_theory
complex geometry
|
gptkbp:bfsParent
|
gptkb:algebraic_geometry
gptkb:Algebraic_geometry
gptkb:Kähler_manifold
gptkb:elliptic_curve
|
gptkbp:bfsLayer
|
5
|