Geometry of bi-Lagrangian Grassmannian

I. K. Kozlov
2024-09-16
Abstract:This paper explores the structure of bi-Lagrangian Grassmanians for pencils of $2$-forms on real or complex vector spaces. We reduce the analysis to the pencils whose Jordan-Kronecker Canonical Form consists of Jordan blocks with the same eigenvalue. We demonstrate that this is equivalent to studying Lagrangian subspaces invariant under a nilpotent self-adjoint operator. We calculate the dimension of bi-Lagrangian Grassmanians and describe their open orbit under the automorphism group. We completely describe the automorphism orbits in the following three cases: for one Jordan block, for sums of equal Jordan blocks and for a sum of two distinct Jordan blocks.
Rings and Algebras,Symplectic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the structure of the bi - Lagrangian Grassmannian, especially for the bi - Lagrangian Grassmannian generated by 2 - form pencils on real or complex vector spaces. Specifically, the author reduces the analysis to those pencils whose Jordan - Kronecker normal form consists only of Jordan blocks with the same eigenvalue, and shows that this is equivalent to studying Lagrangian subspaces invariant under nilpotent self - adjoint operators. The following is a detailed explanation of this problem: 1. **Research Object**: The paper mainly focuses on the bi - Lagrangian Grassmannian (BLG), that is, the set of all subspaces that satisfy specific conditions. These conditions include: - The subspace \( L \) is bi - isotropic, that is, it is isotropic with respect to both 2 - forms \( A \) and \( B \) in the pencil. - The dimension of the subspace \( L \) reaches the maximum possible value, that is, \[ \dim L=\dim V - \frac{1}{2} \max_{\lambda \in \overline{\mathbb{C}}} \operatorname{rk}(A + \lambda B) \] 2. **Simplified Analysis**: The author simplifies the problem to consider only Jordan blocks with the same eigenvalue through the Jordan - Kronecker theorem. This simplification enables the study to focus on invariant Lagrangian subspaces under nilpotent self - adjoint operators. 3. **Objective**: The objective of the paper is to calculate the dimension of the bi - Lagrangian Grassmannian and describe its open orbits under the action of the automorphism group. In addition, the author fully describes the structure of the automorphism orbits in the following three cases: - One Jordan block - The sum of identical Jordan blocks - The sum of two different Jordan blocks 4. **Motivation**: Although the bi - Lagrangian Grassmannian has independent mathematical significance in itself, the author's research is mainly driven by its relationship with bi - Hamiltonian systems. Bi - Hamiltonian systems are widely present in mathematical physics, geometry, and mechanics, and are usually symmetrically integrable. However, an interesting asymmetry arises: these systems are Hamiltonian with respect to two compatible Poisson pencils, but the integrability is usually achieved only under one Poisson pencil. Therefore, the author attempts to find a natural method to construct a complete family of functions that are in involution with respect to both Poisson pencils. In summary, this paper aims to deeply explore the structure of the bi - Lagrangian Grassmannian and its application in bi - Hamiltonian systems, especially the properties under different types of Jordan block combinations.