Jump to content

E8 manifold: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
add brief description of how to construct this, for now
more context
 
(39 intermediate revisions by 30 users not shown)
Line 1: Line 1:
{{Short description|Topological manifold in mathematics}}
{{wrongtitle|title=E<span style="font-family:Lucida Sans Unicode, sans-serif">₈</span> manifold}}<!-- fixes title display on older web browsers and operating systems -->
{{DISPLAYTITLE:''E''<sub>8</sub> manifold}}
In [[low-dimensional topology]], a branch of [[mathematics]], the '''''E''<sub>8</sub> manifold''' is the unique [[Compact space|compact]], [[simply connected]] topological [[4-manifold]] with [[Intersection form (4-manifold)|intersection form]] the [[E8 lattice|''E''<sub>8</sub> lattice]].


==History==
In [[mathematics]], the '''''E<sub>8</sub>'' manifold''' is the unique [[compact space|compact]], [[simply connected]] topological [[4-manifold]] with [[intersection form]] the [[E8 lattice|''E''<sub>8</sub> lattice]].


The ''E<sub>8</sub>'' manifold was discovered by [[Michael Freedman]] in 1982. [[Rokhlin's theorem]] shows that it has no [[smooth structure]] (as does [[Donaldson's theorem]]), and in fact, combined with the work of [[Andrew Casson]] on the [[Casson invariant]], this shows that the ''E<sub>8</sub>'' manifold is not even [[triangulation (topology)|triangulable]] as a [[simplicial complex]].
The <math>E_8</math> manifold was discovered by [[Michael Freedman]] in 1982. [[Rokhlin's theorem]] shows that it has no [[smooth structure]] (as does [[Donaldson's theorem]]), and in fact, combined with the work of [[Andrew Casson]] on the [[Casson invariant]], this shows that the <math>E_8</math> manifold is not even [[Triangulation (topology)|triangulable]] as a [[simplicial complex]].


==Construction==
The manifold can be constructed by first plumbing together disc bundles of Euler number 2 over the sphere, according to the Dynkin diagram for ''E<sub>8</sub>''. This results in ''P<sub>E<sub>8</sub></sub>'', a 4-manifold with boundary equal to the [[Poincare homology sphere]]. Freedman's theorem on [[fake 4-ball]]s then says we can cap off this homology sphere with a fake 4-ball to obtain the ''E<sub>8</sub>'' manifold.

The manifold can be constructed by first plumbing together disc bundles of [[Euler number (topology)|Euler number]] 2 over the [[sphere]], according to the [[Dynkin diagram]] for <math>E_8</math>. This results in <math>P_{E_8}</math>, a 4-manifold whose boundary is homeomorphic to the [[Poincaré homology sphere]]. Freedman's theorem on [[fake 4-ball]]s then says we can cap off this homology sphere with a fake 4-ball to obtain the <math>E_8</math> manifold.


==See also==
==See also==

*[[E₈ (mathematics)|E<sub>8</sub> (mathematics)]]
* {{annotated link|E8 (mathematics)|E<sub>8</sub> (mathematics)}}
* {{annotated link|Glossary of topology}}
* {{annotated link|List of geometric topology topics}}


==References==
==References==
* M.H. Freedman, ''The topology of four-dimensional manifolds'', [[Journal of Differential Geometry]] 17 (1982), pp. 357–453.


{{topology-stub}}
{{refbegin}}
* {{cite journal | last1=Freedman | first1=Michael Hartley | authorlink=Michael Freedman| title=The topology of four-dimensional manifolds | url=http://projecteuclid.org/euclid.jdg/1214437136 | mr=679066 | year=1982 | journal=[[Journal of Differential Geometry]] | issn=0022-040X | volume=17 | issue=3 | pages=357–453}}
[[Category:4-manifolds]]
* {{cite book|first=Alexandru |last=Scorpan|title=The Wild World of 4-manifolds|publisher=[[American Mathematical Society]] |year=2005| isbn=0-8218-3749-4}}
[[Category:Geometric topology]]
{{refend}}


{{Manifolds}}
[[eo:E8 dukto]]

{{DEFAULTSORT:E8 Manifold}}

[[Category:4-manifolds]]
[[Category:Geometric topology]]
[[Category:E8 (mathematics)|Manifold]]

Latest revision as of 00:11, 17 May 2024

In low-dimensional topology, a branch of mathematics, the E8 manifold is the unique compact, simply connected topological 4-manifold with intersection form the E8 lattice.

History

[edit]

The manifold was discovered by Michael Freedman in 1982. Rokhlin's theorem shows that it has no smooth structure (as does Donaldson's theorem), and in fact, combined with the work of Andrew Casson on the Casson invariant, this shows that the manifold is not even triangulable as a simplicial complex.

Construction

[edit]

The manifold can be constructed by first plumbing together disc bundles of Euler number 2 over the sphere, according to the Dynkin diagram for . This results in , a 4-manifold whose boundary is homeomorphic to the Poincaré homology sphere. Freedman's theorem on fake 4-balls then says we can cap off this homology sphere with a fake 4-ball to obtain the manifold.

See also

[edit]

References

[edit]
  • Freedman, Michael Hartley (1982). "The topology of four-dimensional manifolds". Journal of Differential Geometry. 17 (3): 357–453. ISSN 0022-040X. MR 0679066.
  • Scorpan, Alexandru (2005). The Wild World of 4-manifolds. American Mathematical Society. ISBN 0-8218-3749-4.