Abstract:Baker and Bowler (2019) showed that the Grassmannian can be defined over a tract, a ring-like structure generalizing both partial fields and hyperfields. This notion unifies theories for matroids over partial fields, valuated matroids, and oriented matroids. We extend Baker-Bowler theory for the Lagrangian Grassmannian which is the set of maximal isotropic subspaces of a $2n$-dimensional symplectic vector space. By Boege et al. (2019), the Lagrangian Grassmannian is parameterized into the projective space of dimension $2^{n-2}(4+\binom{n}{2})-1$ and its image is exactly the solutions of quadrics induced by determinantal identities of principal and almost-principal minors of a symmetric matrix. From the idea that the strong basis exchange axiom of matroids captures the combinatorial essence of the Plücker relations, we define matroid-like objects, called antisymmetric matroids, from the quadrics for the Lagrangian Grassmannian. We also provide its cryptomorphic definition in terms of circuits capturing the orthogonality and maximality of vectors in a Lagrangian subspace. We define antisymmetric matroids over tracts in two equivalent ways, which generalize both Baker-Bolwer theory and the parameterization of the Lagrangian Grassmannian. It provides a new perspective on the Lagrangian Grassmannian over hyperfields, especially, the tropical Lagrangian Grassmannian. Our proof involves a homotopy theorem for graphs associated with antisymmetric matroids, generalizing Maurer's homotopy theorem for matroids. We also prove that if a point in the projective space satisfies $3$-/$4$-term quadrics for the Lagrangian Grassmannian and its supports form the bases of an antisymmetric matroid, then it satisfies all quadrics, which is motivated by the earlier work of Tutte (1958) for matroids and linear spaces.

Orthogonal matroids over tracts

Representability of orthogonal matroids over partial fields

Baker-Bowler theory for Lagrangian Grassmannians

Flag matroids with coefficients

Matroids over tropical extensions of tracts

Harish-Chandra's Orthogonality Relations for Admissible Representations

Representation theory over semifields and matroidal representations

Bilinear Forms with Trace Functions over Arbitrary Sets and Applications to Sato-Tate

Rational Orthogonal Matrices and Isomorphism of Graphs

An orthogonal realization of representations of the Temperley–Lieb algebra

Hom-orthogonal modules and brick-Brauer-Thrall conjectures

Orthogonal Systems in Vector Spaces over Finite Fields

Totally orthogonal finite simple groups

Low rank orthogonal bundles and quadric fibrations

Orthogonal stochastic duality functions from Lie algebra representations

Oriented Lagrangian Orthogonal Matroid Representations

Kloosterman sums on orthogonal groups

Orthogonal representations of twisted forms of SL2

Explicit Hilbert spaces for the unitary dual of rank one orthogonal groups and applications

Orthogonal projections in the plane over prime order fields

On a theorem of Lafforgue