Abstract:A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with respect to dilation using extensions to unbounded polyhedra and basic invariant theory.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the complete classification problem of unimodular valuations defined on the set of two - dimensional lattice - point polygons and taking values in the polynomial space and the formal power series space. Specifically, the authors aim to:
1. **Establish a complete classification of unimodular valuations**: By extending to unbounded polyhedra and using basic invariant theory, classify these valuations according to their behavior under dilation.
2. **Generalize the Betke - Kneser theorem**: Generalize the classical real - valued valuation classification to polynomial - valued unimodular valuations and provide specific representations of these valuations.
3. **Study higher - order Ehrhart coefficients**: Through the homogeneous decomposition of the discrete moment tensor, give specific expressions of higher - order Ehrhart coefficients and determine their properties.
### Specific problem description
The paper mainly focuses on how to classify the following two types of functions:
- **Polynomial - valued unimodular valuations**: That is, functions from the set of two - dimensional lattice - point polygons \(P(\mathbb{Z}^2)\) to the bivariate polynomial space \(\mathbb{R}[x, y]\).
- **Formal power - series - valued unimodular valuations**: That is, functions from the set of two - dimensional lattice - point polygons \(P(\mathbb{Z}^2)\) to the bivariate formal power series space \(\mathbb{R}[[x, y]]\).
These valuations need to satisfy the following conditions:
- **Translation - polynomiality**: For any \(P\in P(\mathbb{Z}^2)\) and \(v\in\mathbb{Z}^2\), the valuation \(Z(P + v)\) can be represented by the Taylor expansion of \(Z(P)\).
- **\(GL_2(\mathbb{Z})\) - equivariance**: For any \(\phi\in GL_2(\mathbb{Z})\) and \(P\in P(\mathbb{Z}^2)\), we have \(Z(\phi P)=\phi Z(P)\).
### Main results
The main results of the paper include:
- **Theorem 2**: Determined the dimension of \(\text{Val}_r^i\), where \(\text{Val}_r^i\) represents the space of unimodular valuations that are \(i\)-homogeneous and of rank \(r\).
- **Theorem 3**: Gave a basis for \(\text{Val}_r^1\) when the rank \(r\) is odd.
- **Theorem 4**: Provided the space dimension of exponential - type valuations of \(d\)-dilation and described the specific structures of these valuations.
### Application background
The research on these problems is not only of great significance in geometric combinatorics but also has wide applications in fields such as computational geometry and algebraic combinatorics. For example, Ehrhart theory has important applications in counting lattice points and calculating volumes, and the classification of unimodular valuations helps to understand the properties of these geometric objects more deeply.