Abstract:In this paper, we develop a simple uniform picture incorporating the Kausz compactifications and the spaces of complete collineations by blowing up Grassmannians $G(p,n)$ according to a torus action $\mathbb G_m$. We show that each space of complete collineations is isomorphic to any maximal-dimensional connected component of the $\mathbb G_m$-fixed point scheme of a Kausz-type compactification. We prove that the Kausz-type compactification is the total family over the Hilbert quotient $G(p,n)/ \! \! / \mathbb G_m$ which is isomorphic to the space of complete collineations. In particular, the Kausz compactifications are toroidal embeddings of general linear groups in the sense of Brion-Kumar. We also show that the Kausz-type compactifications resolve the Landsberg-Manivel birational maps from projective spaces to Grassmannians, by comparing Kausz's construction with ours. As an application, by studying the foliation we derive resolutions of certain birational maps among projective bundles over Grassmannians. The results in this paper are partially taken from the first author's earlier arxiv post (Canonical blow-ups of grassmann manifolds, <a class="link-https" data-arxiv-id="2007.06200" href="https://arxiv.org/abs/2007.06200">arXiv:2007.06200</a>), which has been revised and expanded in collaboration with the second author.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the geometric properties of the Kausz compactification of Grassmannians and its relationship with spaces of complete collineations. Specifically, the authors explore the classical properties of the Kausz compactification by studying the blow - up guided by a specific torus action \(G_m\) of the Grassmannian \(G(p, n)\), and relate it to the spaces of complete collineations. The main contributions of the paper are as follows:
1. **Unified Framework**: The authors develop a simple and unified framework that combines the Kausz compactification and the spaces of complete collineations through the blow - up operation. They prove that each space of complete collineations is isomorphic to the \(G_m\)-fixed - point scheme of a certain maximal - dimensional connected component in the Kausz - type compactification.
2. **Smoothness and Projectivity**: The authors prove that the Kausz - type compactification \(T_{s,p,n}\) is smooth and projective, and there is a \(G\) - action on \(\text{Spec }\mathbb{Z}\). Moreover, they describe in detail the complements of the open \(G\)-orbits in \(T_{s,p,n}\), which are composed of 2r smooth prime divisors with simple normal crossings.
3. **Fiber Structure**: The authors study the fiber structure of the Kausz compactification and prove that \(T_{s,p,n}\) and \(M_{s,p,n}\) are locally trivial fiber bundles under certain conditions.
4. **Landsberg - Manivel Birational Map**: The authors show how the Kausz - type compactification resolves the Landsberg - Manivel birational map by comparing their construction with Kausz's construction.
5. **Toroidal Embedding**: The authors prove that the Kausz compactification is a toroidal embedding of the general linear group, which has important applications in representation theory and arithmetic geometry.
Overall, this paper aims to deeply study the geometric properties of the Kausz compactification through the blow - up operation and torus action, and relate it to the classical spaces of complete collineations, thereby providing a new perspective to understand these important geometric objects.