Are there explicit examples of triangulations of exotic 4spheres?

8$\begingroup$ I was unaware that exotic 4spheres existed. That seems to be the smooth Poincaré conjecture. $\endgroup$ – S. Carnahan♦ May 29 '10 at 8:14

3$\begingroup$ en.wikipedia.org/wiki/Exotic_sphere#Gluck_twists $\endgroup$ – Spinorbundle May 29 '10 at 8:25

$\begingroup$ OK, thanks. And what about higherdimensional exotic spheres? $\endgroup$ – John Vrem May 29 '10 at 15:03

$\begingroup$ The section on "Explicit examples of exotic spheres" in the wikipedia article describes Milnor's 7sphere. $\endgroup$ – j.c. May 29 '10 at 17:21

$\begingroup$ I thought "exotic sphere" just meant a differentiable structure on the standard topological sphere which is inequivalent to the standard differentiable structure. So all you have to do is triangulate the standard topological sphere. Am I making a dumb mistake? $\endgroup$ – Todd Trimble♦ May 29 '10 at 18:59
Here is my comment expanded to answer form: The question of existence of exotic 4spheres (i.e., the smooth Poincaré conjecture) is still open, and (according to Wikipedia) the existence of exotic PL structures is equivalent to it. Therefore, the answer is that no such explicit triangulations are known.
In general, explicit triangulations of higher dimensional manifolds seem to be difficult to write down. I've heard from computer algebra specialists that no one has even written an explicit triangulation of $\mathbb{CP}^3$. The chaos surrounding this earlier question might suggest that the problem is subtle.

$\begingroup$ I somehow doubt that exhibiting vertices of an explicit triangulation of $\mathbb{CP}^3$ is hard. Of course, any statement of the form "no one has ever written blah" needs to be interpreted cautiously. $\endgroup$ – Victor Protsak May 29 '10 at 22:11

$\begingroup$ The specific context in which I heard the claim was at a talk 3 weeks ago by John Palmieri on algebraic topology computations using SAGE. The speaker said that gluing triangulated manifolds in a way that guarantees you get the homeomorphism type you want is a process that tends to require subdivisions, and when dimension is big, this can make the vertex count very large. $\endgroup$ – S. Carnahan♦ May 29 '10 at 23:39

$\begingroup$ Thank you for clarifying! So if I understand correctly, they are trying to $\textit{glue}$ a manifold from small pieces, whereas the most natural way in the case of $\mathbb{CP}^n$ would seem to be to $\textit{subdivide}$ it until one gets convex polyhedra (and there may well be other ways). Of course, the point about the vertex count is a valid one. $\endgroup$ – Victor Protsak May 30 '10 at 6:14

$\begingroup$ Upon further reflection, I think the vertex count isn't so bad, but the (dim/2)simplices can crush lesser machines. $\endgroup$ – S. Carnahan♦ Aug 12 '10 at 16:36
The current status of the smooth Poincare conjecture in dimension 4 is presented in the paper: Michael Freedman, Robert Gompf, Scott Morrison and Kevin Walker "Man and machine thinking about the smooth 4dimensional Poincare conjecture" in Quantum Topology, Volume 1, Issue 2 (2010), pp. 171–208 (arXiv) Thus the CappelShaneson approach seem to fail by Akbuluts work. Now there is only possible construction via the Gluck twist with a real 2knot (i.e. knotted 2sphere), i.e. a knot not coming from a 3dimensional (classical) knot.