Abstract:Nicaise--Ottem introduced the notion of (stably) rational polytopes and studied this using a combinatorial description of the motivic volume. In this framework, we ask whether being non-stably rational is preserved under inclusions. We prove this holds for a large class of polytopes, leading to a combinatorial strategy for studying stable rationality of hypersurfaces in toric varieties. As a result, we obtain new bounds for non-stably rational hypersurface in projective space, improving the ones given by Schreieder when the field has characteristic 0. We also obtain similar bounds for double covers of projective space and some new classes of non-stably rational varieties in products of projective space.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the determination problem regarding the stable rationality of polyhedra. Specifically, the author explores whether the property of non - stable rationality remains invariant under the inclusion relation, that is, if a smaller polyhedron is non - stably rational, then whether the larger polyhedron that contains it is also non - stably rational. This problem is of great significance for understanding the geometric properties of certain algebraic varieties in high - dimensional spaces, especially when studying hypersurfaces in projective spaces and double covers of projective spaces.
### Overview of the Core Content of the Paper
1. **Background Introduction**:
- Stable rationality is a property of a complex algebraic variety \(X\). If there exist integers \(m, n\geq0\) such that \(X\times\mathbb{P}^n\) and \(\mathbb{P}^m\) are birationally equivalent, then \(X\) is said to be stably rational.
- Determining whether an algebraic variety is stably rational is a complex problem, and many new technical means have been developed in recent years to solve this problem.
2. **Main Problem**:
- This paper focuses on whether non - stable rationality remains invariant under the inclusion relation. Specifically, if a smaller polyhedron is non - stably rational, then whether the larger polyhedron that contains it is also non - stably rational.
3. **Methods and Results**:
- The author uses the motivic volume described combinatorially to study this problem.
- It is proved that for a large class of polyhedra, non - stable rationality does remain invariant under the inclusion relation.
- This result provides a combinatorial strategy for studying the stable rationality of hypersurfaces in projective varieties.
4. **Applications**:
- Through the above theory, the author improves Schreieder's bounds on non - stable rationality in the case of characteristic 0.
- New bounds are given for very general hypersurfaces in projective spaces and double covers of projective spaces.
- Some new classes of non - stably rational varieties are proved, especially in the product of projective spaces.
### Formulas and Concepts
- **Motivic Volume**:
\[
\text{Vol}_{\text{sb}}: \mathbb{Z}[\text{SB}_K]\to\mathbb{Z}[\text{SB}_k]
\]
where \(\text{SB}_K\) and \(\text{SB}_k\) respectively represent the rings of stable birational equivalence classes over \(K\) and \(k\).
- **Calculation of Motivic Volume**:
\[
\text{Vol}_{\text{sb}}([X_K]_{\text{sb}})=\sum_{E\in S(X)}(- 1)^{\text{codim}(E)}[E]_{\text{sb}}
\]
where \(S(X)\) represents the set of strata in the special fiber \(X_k\), and \(\text{codim}(E)\) represents the codimension of \(E\) in the special fiber.
- **Criterion for Non - Stable Rationality**:
\[
\text{Vol}_{\text{sb}}(X_K)\neq[\text{Spec }k]_{\text{sb}}
\]
If the above condition is satisfied, then \(X\) is not stably rational.
### Conclusion
Through the above methods and results, the author not only provides new bounds on non - stable rationality but also provides an effective combinatorial strategy for studying the stable rationality of high - dimensional algebraic varieties. These results are of great significance for understanding the geometric properties of hypersurfaces and double covers in projective spaces.