K3 surface

GPTKB entity

Statements (51)
Predicate Object
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