On representing contexts in line arrangements (Q1198486): Difference between revisions

A context is a triple \((G,M,J)\) in which \(G,M\) are nonempty sets and \(J\subseteq G\times M\) is an incidence relation. Considering arrangements of lines in the Euclidean plane \(E^ 2\) [see e.g. \textit{B. Grünbaum}, ``Arrangements and spreads'', Am. Math. Soc., 114 p. (1972; Zbl 0249.50011)] it is easy to see that with a finite set \({\mathcal L}=\{\ell_ 1,\ell_ 2,\dots,\ell_ n\}\) of \(n\) oriented lines in general position and a given \(k\)-element subset \({\mathcal T}=\{t_ 1,t_ 2,\dots,t_ k\}\) of the corresponding 2-dimensional cell complex, into which the lines of \({\mathcal B}\) decompose \(E^ 2\), there is associated the context \(({\mathcal T},{\mathcal L},J^*)\) with the incidence relation \(J^*\) defined as follows: \(t_ i\) is incident with \(\ell_ j\) if and only if \(t_ i\) lies on the positive side with respect to \(\ell_ j\). With regard to this fact, a context \((G,M,J)\) is said to be represented in an oriented line arrangement \({\mathcal L}\) (with respect to the set of topes \({\mathcal T})\) if and only if it is isomorphic to \(({\mathcal T},{\mathcal L},J^*)\), i.e. if there exist incidence preserving bijections \(p:G\to{\mathcal T}\) and \(q:M\to{\mathcal L}\), respectively. In this paper under review, the authors investigate the conditions for a context to be representable in a line arrangement. And moreover, they describe an infinite class of contexts that can not be represented in this way.