Abstract:We initiate the study of factorization centers of birational maps, and complete it for surfaces over a perfect field in this article. We prove that for every birational automorphism $\phi : X \dashrightarrow X$ of a smooth projective surface $X$ over a perfect field $k$, the blowup centers are isomorphic to the blowdown centers in every weak factorization of $\phi$. This implies that nontrivial L-equivalences of $0$-dimensional varieties cannot be constructed based on birational automorphisms of a surface. It also implies that rationality centers are well-defined for every rational surface $X$, namely there exists a $0$-dimensional variety intrinsic to $X$, which is blown up in any rationality construction of $X$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is whether the factor centers of birational maps of algebraic surfaces correspond in the sense of stable birational equivalence. Specifically, the paper explores for a birational automorphism $\phi: X \dashrightarrow X$ on a smooth projective surface $X$, whether its blow - up centers correspond to the exceptional divisors being blown down in the sense of stable birational equivalence. This problem can be formalized as:
**Problem 1.1**: Let $\phi: X \dashrightarrow X$ be a birational automorphism of a smooth projective variety $X$. Then, do the centers blown up by $\phi$ correspond to the exceptional divisors blown down by $\phi$ in the sense of stable birational equivalence?
The authors give a complete answer to this problem in the two - dimensional case and prove that for any smooth projective surface $X$ over an arbitrary perfect field, the blow - up centers of any birational automorphism $\phi$ correspond to its exceptional divisors being blown down in the sense of stable birational equivalence. This result implies:
1. **Non - trivial L - equivalence**: Non - trivial L - equivalence between zero - dimensional varieties cannot be constructed based on birational automorphisms of surfaces.
2. **Centers of rationality**: For every rational surface $X$, there exists an intrinsic zero - dimensional variety that will be blown up in any rational construction.
### Main Conclusions
**Theorem 1.3**: Let $k$ be a perfect field, $X/k$ be a smooth projective surface, and $\phi\in \text{Bir}(X)$ be a birational automorphism. For any decomposition of $\phi$ into a series of blow - ups and blow - downs on connected smooth zero - dimensional subvarieties, let $Z_1,\ldots,Z_r$ (respectively $Z'_1,\ldots,Z'_{r'}$) be the centers being blown up (respectively blown down). Then $r = r'$, and there exists a re - ordering such that for all $i = 1,\ldots,r$, we have $Z_i\cong Z'_i$.
### Methods and Techniques
To prove this result, the authors use the following techniques and tools:
1. **Two - dimensional minimal model program**: Analyze birational maps by studying the minimal models of surfaces and Sarkisov chains.
2. **Grothendieck ring**: Use the Grothendieck ring of algebraic varieties to express and compare the classes of different varieties.
3. **Gassmann equivalence**: Study Gassmann equivalence under the action of Galois groups to rule out the possibility of non - trivial L - equivalence.
4. **étale cohomology**: Study the action of Galois modules through étale cohomology groups to further verify Gassmann equivalence.
### Applications and Significance
This result not only solves an important problem in birational geometry but also provides new insights into the structure and properties of the Grothendieck ring. In particular, for the two - dimensional case, the authors prove:
- **Equivalence classes in the Grothendieck ring**: Equal equivalence classes of smooth projective varieties in the Grothendieck ring imply that these varieties are birationally equivalent.
- **L - equivalence**: In the two - dimensional case, L - equivalence is trivial.
- **Structure of the Grothendieck ring**: The Grothendieck ring in the two - dimensional case is a free abelian group.
These results lay the foundation for further research on similar problems in higher - dimensional cases.