Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:concerns |
classification of 4-manifolds
|
| gptkbp:field |
gptkb:topology
differential topology geometric topology |
| https://www.w3.org/2000/01/rdf-schema#label |
4-manifold theory
|
| gptkbp:notableAchievement |
existence of exotic R^4
|
| gptkbp:notablePerson |
gptkb:Michael_Freedman
gptkb:Simon_Donaldson gptkb:Andrew_Casson gptkb:Clifford_Taubes gptkb:Robion_Kirby |
| gptkbp:relatedConcept |
gptkb:h-cobordism_theorem
gptkb:topology gptkb:K3_surface gptkb:Riemannian_manifold gptkb:Donaldson_polynomial_invariants gptkb:Seiberg–Witten_invariants gptkb:Kirby–Siebenmann_invariant surgery theory smooth structure exotic R^4 intersection form |
| gptkbp:studies |
4-manifolds
|
| gptkbp:uses |
gptkb:Donaldson's_theorem
gptkb:gauge_theory gptkb:Seiberg–Witten_invariants gptkb:Kirby_calculus surgery theory intersection forms handlebody theory |
| gptkbp:bfsParent |
gptkb:Donaldson's_theorem
|
| gptkbp:bfsLayer |
5
|