Open Problems in Integrable Systems — Bi-Poisson vector spaces

Definitions and mathematical statement

Shared notation.

$\mathbb N=\{1,2,\ldots\}$, and $\mathbb Z,\mathbb Q,\mathbb R,\mathbb C$ denote the integers, rationals, reals and complex numbers. Any other conventions are specified locally.

Let $V$ be a finite-dimensional complex vector space with alternating bilinear forms $A,B$, and let $J=\{A+\lambda B:\lambda\in\mathbb C\}\cup\{B\}$. Its generic corank $c$ is the minimum corank of these forms. Define \[\operatorname{Aut}(V,J)=\{T\in GL(V):A(Tu,Tv)=A(u,v),\ B(Tu,Tv)=B(u,v)\ \forall u,v\in V\}.\] Thus the automorphisms preserve each form, not merely the pencil as an unparameterized set. The Grassmannian $\operatorname{Gr}_k(V)$ consists of $k$-dimensional linear subspaces.

Statement recorded in the supplied source.

Describe the orbits of $\operatorname{Aut}(V,J)$ on $V$ and, for every $0\le k\le\dim V$, on $\operatorname{Gr}_k(V)$. Determine orbit invariants and the fixed points of the Grassmannian action, that is, the subspaces invariant under every pencil automorphism. [S2]

Short English statement

Classify vectors and subspaces under the linear group preserving a pair of alternating forms, including all invariant subspaces.

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 2100501 (AMR-020-0501). CC BY 4.0. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 A. Bolsinov, V. S. Matveev, E. Miranda and S. Tabachnikov, Open Problems, Questions, and Challenges in Finite-Dimensional Integrable Systems (2018), arXiv:1804.03737, Problem 5.2 and automorphism definition. https://arxiv.org/abs/1804.03737.