(Co)isotropic triples and poset representations

TL;DR

This paper classifies indecomposable triples of (co)isotropic subspaces in symplectic vector spaces using poset representation theory, revealing split and non-split structures and developing a versatile symplectic poset framework.

Contribution

It introduces a classification of indecomposable (co)isotropic triples via poset representations and develops the framework of symplectic poset representations applicable to symplectic linear algebra.

Findings

Classification of indecomposable (co)isotropic triples into split and non-split types

Development of symplectic poset representation theory

Application to linear Hamiltonian vector fields

Abstract

We study triples of coisotropic or isotropic subspaces in symplectic vector spaces; in particular, we classify indecomposable structures of this kind. The classification depends on the ground field, which we only assume to be perfect and not of characteristic 2. Our work uses the theory of representations of partially ordered sets with (order reversing) involution; for (co)isotropic triples, the relevant poset is "$2 + 2 + 2$" consisting of three independent ordered pairs, with the involution exchanging the members of each pair. A key feature of the classification is that any indecomposable (co)isotropic triple is either "split" or "non-split". The latter is the case when the poset representation underlying an indecomposable (co)isotropic triple is itself indecomposable. Otherwise, in the "split" case, the underlying representation is decomposable and necessarily the direct sum of a dual pair of indecomposable poset representations; the (co)isotropic triple is a "symplectification". In the course of the paper we develop the framework of "symplectic poset representations", which can be applied to a range of problems of symplectic linear algebra. The classification of linear Hamiltonian vector fields, up to conjugation, is an example; we briefly explain the connection between these and (co)isotropic triples. The framework lends itself equally well to studying poset representations on spaces carrying a non-degenerate symmetric bilinear form; we mainly keep our focus, however, on the symplectic side.