Abstract:We show how the notion of fantastacks can be used to effectively desingularize binomial varieties defined over algebraically closed fields. In contrast to a desingularization via blow-ups in smooth centers, we drastically reduce the number of steps and the number of charts appearing along the process. Furthermore, we discuss how our considerations extend to a partial simultaneous normal crossings desingularization of finitely many binomial hypersurfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the effective desingularization of binomial varieties over an algebraically closed field. Specifically, the author uses the concept of fantastacks in toric Artin stacks to achieve this goal. Compared with the traditional method of blowing up at smooth centers, this method can significantly reduce the number of required steps and the number of graphs that appear during the process. In addition, the paper also discusses how to extend these considerations to the partial simultaneous normal crossings desingularization of multiple binomial hypersurfaces.
### Main contributions:
1. **Effective desingularization**: The paper shows how to use fantastacks to effectively desingularize binomial varieties defined over an algebraically closed field. This method not only reduces the number of steps and graphs, but is also more efficient in calculating resolutions and p -adic and motivic integrals.
2. **Partial simultaneous normal crossings desingularization**: The paper also discusses how to extend these methods to the partial simultaneous normal crossings desingularization of multiple binomial hypersurfaces.
3. **Scope of application**: The method is applicable to algebraically closed fields of arbitrary characteristics, which makes it valuable for application in a wider range of mathematical fields.
### Specific technical details:
- **Fantastacks**: The paper introduces the concept of fantastacks proposed by Geraschenko and Satriano, which is an example of toric Artin stacks. By constructing a fantastack \( F_{\Sigma, \beta} \), the author is able to desingularize multiple binomials simultaneously.
- **Newton polyhedron**: For a binomial \( f \), the dual fan \( \Sigma_f \) of its Newton polyhedron \( \Delta(f) \) is used to construct the fantastack. A smooth subdivision of this dual fan can lead to the resolution of \( f = 0 \).
- **Desingularization process**: By choosing an appropriate subdivision \( \Sigma \) and the corresponding homomorphism \( \beta \), the paper proves that \( \rho^{-1}(X)_{\text{red}} \) is a schön binomial hypersurface and is a simple normal crossing divisor.
### Main results:
- **Theorem A**: For an algebraically closed field \( K \) of arbitrary characteristic \( p\geq0 \), given a finite number of binomials \( f_1,\ldots,f_a \), by choosing an appropriate subdivision \( \Sigma \), a simultaneous resolution of these binomials can be obtained on the toric Artin stack \( F_{\Sigma, \beta} \).
- **Theorem B**: For a binomial variety \( X \), by further subdividing \( \Sigma \), the pure binomial part \( X_{\text{pure}} \) of \( X \) can be made schön on the toric Artin stack \( F_{\Sigma, \beta} \), and \( \rho^{-1}(X)_{\text{red}} \) is in a simple normal position.
### Computational motivation:
In addition to theoretical interest, this research is also motivated by the explicit calculation of p -adic integrals. For example, when calculating the local subring zeta function, certain integrals need to be determined. By using fantastacks, the number of final graphs can be more effectively reduced, thereby simplifying the calculation process.
### Summary:
This paper provides a new method for effectively desingularizing binomial varieties by introducing the concept of fantastacks, which is applicable to algebraically closed fields of arbitrary characteristics. This method is not only of great theoretical significance, but also shows superiority in practical calculations.