Arguesian identities in linear lattices (Q1302053)

Lattices of commuting equivalence relations are called linear lattices. The authors describe a certain class of inequalities in linear lattices which arises by considering so-called Arguesian identities of order 2 in a Grassmann-Cayley algebra. More precisely: Let \(F\) be an arbitrary field, \(V\) a vector space of dimension \(n\) equipped with a multilinear form, then it is well known that the exterior algebra \(\Lambda(V)\) may be equipped with two operations \(\vee\) and \(\wedge\) making it into a graded double algebra \(\text{GC}(n)\) called the Grassmann-Cayley algebra of step \(n\). Theorems on the projective space \(P\) of dimension \(n-1\) such as Desargues or Pappus theorem can be formulated as identities in \(\text{GC}(n)\) [cf. \textit{M. Hawrylycz}, Adv. Math. 122, No. 1, 1-48 (1996; Zbl 0858.15019)] and the literature cited there. Following M. Hawrylycz the authors define Arguesian polynomials \(P(a,X)\) of order 2 as polynomials on the \(n\)-sets \(a\) and \(X\) of vectors and variables, resp., using \(\vee\) and \(\wedge\) only, such that either (I) vectors from \(a\) occur exactly once, and variables from \(X\) occur exactly twice, or (II) the same holds with \(a\) and \(X\) interchanged. Arguesian identities \(P= Q\) of order 2 are such that \(P\) is of type (I) and \(Q\) is of type (II). Some of these identities may be produced using an incidence matrix technique. The main result is the following (4.8). From an Arguesian identity \(P= Q\) of order 2 which implies the theorem \({\mathcal R}\Leftrightarrow{\mathcal S}\) in the projective geometry \(P\) the authors produce two lattice inequalities -- so-called left/right lattice semi-analogues of \(P= Q\) -- which have the property to hold in any linear lattice and to imply the theorem \({\mathcal R}\Leftrightarrow{\mathcal S}\) thus settling partly a conjecture of Hawrylycz. Their method of proof uses the proof theory of linear lattices developed by \textit{M. Haiman} [Adv. Math. 58, 209-242 (1985; Zbl 0584.06003)] et al.