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.
- Topological invariants of a fan associated to a toric variety
- Quotients of Fano surfaces
- On Fano schemes of toric varieties
- scientific article; zbMATH DE number 1975176
- On the fibres of a toroidal resolution
- Torus rational fibrations
- Projective toric varieties and associated fibers
- Fano Varieties in Mori Fibre Spaces
- Toric Fano varieties and Chern-Simons quivers
- TOROIDAL FANO VARIETIES AND ROOT SYSTEMS
- Combinatorics and quotients of toric varieties
- Fiber polytopes for the projections between cyclic polytopes
- Families of pointed toric varieties and degenerations
- Polyhedral divisors of Cox rings
- Kähler-Einstein metrics on symmetric Fano \(T\)-varieties
- Quotients of an affine variety by an action of a torus
- Toric vector bundles, branched covers of fans, and the resolution property
- ON TORUS ACTIONS OF HIGHER COMPLEXITY
- The fan of the main component of the toric Hilbert scheme
- Cellular resolutions of noncommutative toric algebras from superpotentials.
- Unbounded matroids
- Higher-dimensional Losev-Manin spaces and their geometry
- Polyhedra, lattice structures, and extensions of semigroups
- Moduli of G-constellations and crepant resolutions. II: The Craw-Ishii conjecture.
- On Chow quotients of torus actions
- The main component of the toric Hilbert scheme
This page was built for publication: Fiber fans and toric quotients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878068)
