Abstract:Matching fields were introduced by Sturmfels and Zelevinsky to study certain Newton polytopes and more recently have been shown to give rise to toric degenerations of various families of varieties. Whenever a matching field gives rise to a toric degeneration, the associated polytope of the toric variety coincides with the matching field polytope. We study combinatorial mutations, which are analogues of cluster mutations for polytopes, of matching field polytopes and show that the property of giving rise to a toric degeneration of the Grassmannians, is preserved by mutation. Moreover the polytopes arising through mutations are Newton-Okounkov bodies for the Grassmannians with respect to certain full-rank valuations. We produce a large family of such polytopes, extending the family of so-called block diagonal matching fields.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: which matching fields can produce toric degenerations of Grassmannians. Specifically, the author studied the combinatorial mutations of matching field polytopes and proved that the new polytopes generated by these polytopes through combinatorial mutations can still produce toric degenerations of Grassmannians. In addition, the author also extended the so - called block - diagonal matching fields family and proved that these matching field polytopes can be transformed into each other through a series of combinatorial mutations.
### Background and Motivation
Toric degeneration is a valuable tool for analyzing algebraic varieties. By degenerating an algebraic variety into a toric variety, the geometric properties of the toric variety can be used to understand the properties of the original algebraic variety. A toric variety has a polytope or a polyhedral fan, and its combinatorial data reveals the geometric invariants of the toric variety. Moreover, a toric variety is an important example of an irreducible variety, and its defining equations are binomials. Therefore, degenerating an algebraic variety into a toric variety enables us to extend the computational techniques in toric geometry to arbitrary algebraic varieties.
### Main Contributions
1. **Combinatorial Mutations and Matching Field Polytopes**:
- The author introduced the concept of combinatorial mutations and applied it to matching field polytopes.
- Proved that after combinatorial mutations, matching field polytopes can still produce toric degenerations of Grassmannians.
2. **Extension of Block - Diagonal Matching Fields**:
- Extended the block - diagonal matching fields family and proved that these matching field polytopes can be transformed into each other through a series of combinatorial mutations.
3. **Theoretical Results**:
- **Theorem 1**: If a matching field polytope can be obtained from a Gelfand - Tsetlin polytope through a series of combinatorial mutations, then this matching field can produce toric degenerations of Grassmannians.
- **Theorem 2**: Any two block - diagonal matching field polytopes can be transformed into each other through a series of combinatorial mutations.
### Technical Details
- **Combinatorial Mutations**: Combinatorial mutations are local transformations that can be applied to lattice polytopes. Through combinatorial mutations, the shape of a polytope can be changed while its volume remains unchanged.
- **Matching Fields**: A matching field is a mapping that maps each Plücker variable to a permutation and can be regarded as the choice of the initial term of the corresponding Plücker form.
- **Toric Ideals**: Each matching field has a corresponding toric ideal, and its polytope is called a matching field polytope.
### Applications and Significance
- **Extension of Computational Techniques**: By degenerating an algebraic variety into a toric variety, the efficient algorithms in toric geometry can be used to process algebraic varieties.
- **New Families of Matching Fields**: Through combinatorial mutations, new matching fields can be systematically generated, thus producing more toric degenerations.
### Conclusion
This paper extended the block - diagonal matching fields family by studying the combinatorial mutations of matching field polytopes and proved that these matching fields can produce toric degenerations of Grassmannians. These results not only enrich the matching field theory but also provide new tools and methods for the computation of algebraic varieties.