Abstract:We study the closure of the graph of the birational map from a projective space to a Grassmannian. We provide explicit description of the graph closure and compute the fibers of the natural projection to the Grassmannian. We construct embeddings of the graph closure to the projectivizations of certain cyclic representations of a degenerate special linear Lie algebra and study algebraic and combinatorial properties of these representations. In particular, we describe monomial bases, generalizing the FFLV bases. The proof relies on combinatorial properties of a new family of poset polytopes, which are of independent interest. As a consequence we obtain flat toric degenerations of the graph closure studied by Borovik, Sturmfels and Sverrisdóttir.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the study of the closure of the birational mapping graph from projective space to Grassmann manifolds. Specifically, the author studies the properties of the closure \( G(d,n) \) of such mapping graphs and provides a specific description of the closure. In addition, the paper also explores the fiber structure of the natural projection onto the Grassmann manifold and constructs the embedding of these closures in the projectivization of the cyclic representations of certain degenerate special linear Lie algebras. By studying the algebraic and combinatorial properties of these representations, the author describes the monomial basis and generalizes the FFLV basis. The proof relies on the combinatorial properties of a new set of poset polytopes, which are of independent interest. As a result, the author obtains the flat torus degeneration of the graph closure studied by Borovik, Sturmfels and Sverrisdóttir.
### Main Contributions
1. **Specific Description of the Closure**: The author provides a specific description of the closure \( G(d,n) \) of the birational mapping graph from projective space to Grassmann manifolds.
2. **Fiber Structure**: The fiber structure of the natural projection \( \phi: G(d,n) \to \text{Gr}(d,n) \) is described in detail. In particular, when \( k \geq 2 \), the mapping \( \phi \) is a fiber bundle on \( X_k \), and its fiber is isomorphic to the projective space \( \mathbb{P}^{k^2 - 1} \).
3. **Representation Theory**: The embedding of \( G(d,n) \) in the projectivization of the cyclic representations of certain degenerate special linear Lie algebras is constructed, and the algebraic and combinatorial properties of these representations are studied.
4. **Monomial Basis**: The monomial basis is described, the FFLV basis is generalized, and the combinatorial properties of these bases are studied.
5. **Poset Polytopes**: A new class of poset polytopes is introduced, and their integer decomposition properties are proved, which helps to understand the geometric properties of \( G(d,n) \).
### Key Theorems
- **Theorem 0.1**: The mapping \( \phi \) is one - to - one on \( X_0\sqcup X_1 \), and for \( k \geq 2 \), the mapping \( \phi \) is a fiber bundle on \( X_k \), and its fiber is isomorphic to the projective space \( \mathbb{P}^{k^2 - 1} \).
- **Theorem 0.3**: The element \( \prod_{\alpha \in P} f_\alpha^{s_\alpha} \) applied to the cyclic vector forms the basis of \( L_{m,M} \), where \( (s_\alpha)_{\alpha \in P} \) satisfies the condition:
\[
\sum_{\alpha \in P'} s_\alpha \leq m\cdot w(P') + M\quad \text{for all } P' \subset P
\]
where \( w(P') \) is the width of the sub - poset \( P' \).
- **Theorem 0.4**: For any finite poset \( P \), the polytope \( X(m,M) \) is a lattice - point polytope, and satisfies:
\[
X(m_1, M_1)+X(m_2, M_2)=X(m_1 + m_2, M_1 + M_2)
\]
These polytopes have integer decomposition properties.
### Conclusion
Through these studies, the author not only provides a detailed description of the closure of the birational mapping graph from projective space to Grassmann manifolds, but also reveals the geometric and algebraic properties of these closures, especially the applications in representation theory and combinatorics. These results provide an important theoretical basis for further research on mathematical problems in related fields.