Abstract:In this paper we develop an integer-affine classification of three-dimensional multistory completely empty convex marked pyramids. We apply it to obtain the complete lists of compact two-dimensional faces of multidimensional continued fractions lying in planes with integer distances to the origin equal 2, 3, 4 ... The faces are considered up to the action of the group of integer-linear transformations. In conclusion we formulate some actual unsolved problems associated with the generalizations for n-dimensional faces and more complicated face configurations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the geometric structure of multi - dimensional continued fractions, especially the study of pyramids on completely empty integer lattices and the two - dimensional faces of multi - dimensional continued fractions. Specifically:
1. **Classification of three - dimensional multi - layer completely empty convex marked pyramids**: The author aims to develop an integer affine classification method for classifying three - dimensional multi - layer completely empty convex marked pyramids. For this type of pyramids, when the integer distance from the vertex to the base plane is greater than 1, their interiors do not contain other integer points.
2. **Classification of two - dimensional faces of multi - dimensional continued fractions**: Based on the above classification, the author further applies these results to obtain a complete list of compact two - dimensional faces of multi - dimensional continued fractions located on specific planes. The integer distances from the planes where these faces are located to the origin are 2, 3, 4, etc., and the effect of integer linear transformations is considered.
3. **Study of geometric properties**: By studying these pyramids and two - dimensional faces, the author hopes to reveal the geometric structure and combinatorial characteristics of multi - dimensional continued fractions. This not only helps to understand the algorithmic calculation of multi - dimensional continued fractions, but also lays the foundation for further research on the topological and combinatorial properties of multi - dimensional continued fractions.
### Formulas and Definitions
- **Completely empty integer convex polyhedron**:
- Definition: An integer convex polyhedron is called completely empty if it does not contain other integer points except for its vertices.
- **Integer distance**:
- Let \( l \) be the Euclidean distance from an integer point to a given integer plane, and \( l_0 \) be the minimum non - zero Euclidean distance from all integer points on this plane to this plane. Then \( l/l_0 \) is called the integer distance from this integer point to this integer plane.
- **Multi - layer pyramid**:
- Definition: An integer convex marked pyramid is called an \( l \)-layer pyramid if the integer distance from its vertex to the base plane is equal to \( l \). If \( l>1 \), it is called a multi - layer pyramid; if \( l = 1 \), it is called a single - layer pyramid.
### Main Results
- **Theorem A**: Any multi - layer completely empty convex three - dimensional marked pyramid is integer affine equivalent to one of the pyramids in the following list:
- The quadrangle - marked pyramid \( M_{a,b} \), where \( b\geq a\geq1 \)
- The triangle - marked pyramid \( T_{\xi,a,r} \), where \( a\geq1 \), and \( \xi \) and \( r \) are coprime, satisfying \( r\geq2 \) and \( 0 <\xi\leq r/2 \)
- The triangle - marked pyramid \( U_b \), where \( b\geq1 \)
- The triangle - marked pyramid \( V \)
- The triangle - marked pyramid \( W \)
- **Theorem B**: Any compact two - dimensional face located on a plane with an integer distance greater than 1 is integer linearly equivalent to one of the faces in the following list:
- For two - dimensional continued fractions:
- Triangle face
- For \( n \)-dimensional continued fractions (\( n\geq3 \)):
- Quadrangle face
- Triangle face
### Conclusion
Through these classifications and theorems, the author provides new insights into the geometric structure of multi - dimensional continued fractions and proposes several unsolved problems for future research, such as generalization to higher - dimensional cases and more complex face configurations.