Talk:Dual Thurston polytope of the 3-torus (Ex)
From Manifold Atlas
Let . Fix a basis of . View as a map from to . Then the kernel of is (at least) rank ; rechoose the basis so that . Then in -coordinates, we have , where is the Poincaré dual of . Thus, the dual to is represented by a disjoint union of tori, so .
Let . We have if and only if for all . Since , we have if and only if for all . Therefore, if and only if .
Thus, the dual Thurston polytope is the single point .