Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
|
| gptkbp:borders |
false
|
| gptkbp:category |
gptkb:mathematics
gptkb:topology |
| gptkbp:compact |
true
|
| gptkbp:dimensions |
4
|
| gptkbp:first_constructed_by |
gptkb:Michael_Freedman
|
| gptkbp:hasConnection |
true
|
| gptkbp:homeomorphic_to |
topological 4-manifold with E_8 intersection form
|
| https://www.w3.org/2000/01/rdf-schema#label |
E 8 manifold
|
| gptkbp:intersection_form |
gptkb:E_8_lattice
|
| gptkbp:is_closed |
true
|
| gptkbp:is_orientable |
true
|
| gptkbp:is_smoothable |
false
|
| gptkbp:namedAfter |
gptkb:E_8_lattice
|
| gptkbp:not_diffeomorphic_to |
any smooth 4-manifold
|
| gptkbp:relatedTo |
gptkb:Donaldson's_theorem
gptkb:Freedman's_theorem topological 4-manifolds |
| gptkbp:year_of_construction |
1982
|
| gptkbp:bfsParent |
gptkb:E_8
|
| gptkbp:bfsLayer |
6
|