Fiber fans and toric quotients (Q878068): Difference between revisions

Let \(\pi:\mathbb Z^n\to\mathbb Z^d\) be a surjective, linear map and \(P\subseteq\mathbb R^n\) a lattice polyhedron. For each \(u\in\pi(P)\), one obtains a slice \(P_u:=\pi^{-1}(u)\cap P\) -- but they share only finitely many normal fans. In [\textit{L.~J. Billera} and \textit{B.~Sturmfels}, Ann. Math. (2) 135, No. 3, 527--549 (1992; Zbl 0762.52003)], this situation led to the notion of the fiber polytope being the Minkowski sum average of these slices; its normal fan \(\mathcal N(P,\pi)\) is the coarsest common refinement of the normal fans of the above slices. Since the fiber polytope construction requires compactness of \(P\), the authors of the present paper prefer dealing with the fan \(\mathcal N(P,\pi)\) directly and call it the fiber fan of \((P,\pi)\). On the other hand, the coarsest common refinement of all images \(\pi(F)\) of faces \(F\leq P\) yields a polyhedral subdivision \(\mathcal P=\mathcal P(P,\pi)\) of \(\pi(P)\subseteq\mathbb R^d\), hence a fan \(\widetilde{\mathcal P}:=\overline{\mathbb R_{\geq 0}\cdot (\mathcal P,1)}\subseteq\mathbb R^{d+1}\). If \(P\) is a polyhedral cone, then \(\mathcal P\) was already a fan, and the authors explain the Gale duality \(\mathcal P(P,\pi)=\mathcal N(P^\vee,\pi^\vee)\) with \(\pi^\vee:(\mathbb Z^n)^*\to(\ker\pi)^*\cong\mathbb Z^{n-d}\) and \(P^\vee\subseteq(\mathbb R^n)^*\) being the dual cone. For arbitrary \(P\), the authors obtain \(\widetilde{\mathcal P}(P,\pi)=\mathcal N(\widetilde{P}^\vee,\widetilde{\pi}^\vee)\) with \(\widetilde{P}:=\overline{\mathbb R_{\geq 0}\cdot (P,1)}\) and \(\widetilde{\pi}:\mathbb Z^{n+1}\to\mathbb Z^{d+1}\). Geometrically, \((P,\pi)\) translates into a \(d\)-dimensional subtorus action on the \(n\)-dimensional toric variety \(X_P\). In this context, \(\mathcal P\) is known to be the GIT chamber system. On the other hand, generalizing the compact case treated in [\textit{M.~M. Kapranov, B.~Sturmfels} and \textit{A.~V. Zelevinsky}, Math. Ann. 290, No. 4, 643--655 (1991; Zbl 0762.14023)], the authors show that the toric variety associated to \(\mathcal N(P,\pi)\) equals the normalization of the so-called toric Chow quotient \(X_P^{\text{ch}} (\mathbb C^*)^d\). The latter is defined as the canonical component of the inverse limes of the GIT quotients.