Skip to main content
Edited to add more details about the way to make the fan simplicial.
Source Link
Hugh Thomas
  • 6.3k
  • 27
  • 50

Yes. Let $\Sigma$ be the fan corresponding to $P$. Section 2.6 of Fulton's "Introduction to Toric Varieties" explains how to perform toric resolution of singularities on $\Sigma$ so as to produce a fan $\Sigma'$ whose toric variety is smooth and which refines $\Sigma$. This can be done in such a way that each step corresponds to adding a ray in the interior of some cone $C$ of $\Sigma$ and subdividing the faces of $\Sigma$ that include $C$ as necessary so that what you have stays a fan. (For instance, you can subdivide all the maximal-dimensional cones, then all those of dimension one less, and so on, until you have produced the barycentric subdivision of the original fan, which is simplicial. Then follow the instructions in Fulton as to how to subdivide further so as to get a smooth fan.)

On the polytope side, thisthe step of adding a ray in the interior of a face is equivalent to introducing a new hyperplane that shaves off the face corresponding to $C$. This can be done in a way that only modifies $P$ within a distance $\epsilon$ of $C$. Since this applies to each step, it also applies to the whole process.

Yes. Let $\Sigma$ be the fan corresponding to $P$. Section 2.6 of Fulton's "Introduction to Toric Varieties" explains how to perform toric resolution of singularities on $\Sigma$ so as to produce a fan $\Sigma'$ whose toric variety is smooth and which refines $\Sigma$. This can be done in such a way that each step corresponds to adding a ray in the interior of some cone $C$ of $\Sigma$ and subdividing the faces of $\Sigma$ that include $C$ as necessary so that what you have stays a fan. On the polytope side, this step is equivalent to introducing a new hyperplane that shaves off the face corresponding to $C$. This can be done in a way that only modifies $P$ within a distance $\epsilon$ of $C$. Since this applies to each step, it also applies to the whole process.

Yes. Let $\Sigma$ be the fan corresponding to $P$. Section 2.6 of Fulton's "Introduction to Toric Varieties" explains how to perform toric resolution of singularities on $\Sigma$ so as to produce a fan $\Sigma'$ whose toric variety is smooth and which refines $\Sigma$. This can be done in such a way that each step corresponds to adding a ray in the interior of some cone $C$ of $\Sigma$ and subdividing the faces of $\Sigma$ that include $C$ as necessary so that what you have stays a fan. (For instance, you can subdivide all the maximal-dimensional cones, then all those of dimension one less, and so on, until you have produced the barycentric subdivision of the original fan, which is simplicial. Then follow the instructions in Fulton as to how to subdivide further so as to get a smooth fan.)

On the polytope side, the step of adding a ray in the interior of a face is equivalent to introducing a new hyperplane that shaves off the face corresponding to $C$. This can be done in a way that only modifies $P$ within a distance $\epsilon$ of $C$. Since this applies to each step, it also applies to the whole process.

Source Link
Hugh Thomas
  • 6.3k
  • 27
  • 50

Yes. Let $\Sigma$ be the fan corresponding to $P$. Section 2.6 of Fulton's "Introduction to Toric Varieties" explains how to perform toric resolution of singularities on $\Sigma$ so as to produce a fan $\Sigma'$ whose toric variety is smooth and which refines $\Sigma$. This can be done in such a way that each step corresponds to adding a ray in the interior of some cone $C$ of $\Sigma$ and subdividing the faces of $\Sigma$ that include $C$ as necessary so that what you have stays a fan. On the polytope side, this step is equivalent to introducing a new hyperplane that shaves off the face corresponding to $C$. This can be done in a way that only modifies $P$ within a distance $\epsilon$ of $C$. Since this applies to each step, it also applies to the whole process.