Boolean degree 1 classification conjecture for families of lines in polar spaces

From papers

Let P{\mathcal P} be a rank dd polar space, and let YY be a family of lines with characteristic vector χYj+V10+V11\chi_Y \in \langle \bm{j}\rangle + V_{10} + V_{11}. Consider the examples consisting of the sets of all lines through a point, all lines in a degenerate hyperplane, or all lines in a nondegenerate hyperplane, together with the operations of taking complements, set differences for nested families, and unions of disjoint families. Boolean degree 1 classification conjecture. There exists a constant d0(q)d_0(q) such that if dd0(q)d \geq d_0(q), then YY can be obtained by combining these examples with these operations, with W=V10+V11W=V_{10}+V_{11}. This predicts that, in sufficiently large rank, all Boolean degree 1 functions on lines are generated by the known elementary constructions. The claim is presented as a paraphrase of Conjecture 5.1 in the cited work; no resolution is given here.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ferdinand Ihringer and Morgan Rodgers, “Regular sets of lines in rank 3 polar spaces”, arXiv:2312.02397 (2024).

Solutions 0

No solutions have been posted yet.