Table of Contents
Fetching ...

A modular equality for Cameron-Liebler line classes in projective and affine spaces of odd dimension

Jan De Beule, Jonathan Mannaert

Abstract

In this article we study Cameron-Liebler line classes in PG$(n,q)$ and AG$(n,q)$, objects also known as boolean degree one functions. A Cameron-Liebler line class $\mathcal{L}$ is known to have a parameter $x$ that depends on the size of $\mathcal{L}$. One of the main questions on Cameron-Liebler line classes is the (non)-existence of these sets for certain parameters $x$. In particularly it is proven in [12] for $n=3$, that the parameter $x$ should satisfy a modular equality. This equality excludes about half of the possible parameters. We generalize this result to a modular equality for Cameron-Liebler line classes in PG$(n,q)$, and AG$(n,q)$ respectively. Since it is known that a Cameron-Liebler line class in AG$(n,q)$ is also a Cameron-Liebler line class in its projective closure, we end this paper with proving that the modular equality in AG$(n,q)$ is a stronger condition than the condition for the projective case.

A modular equality for Cameron-Liebler line classes in projective and affine spaces of odd dimension

Abstract

In this article we study Cameron-Liebler line classes in PG and AG, objects also known as boolean degree one functions. A Cameron-Liebler line class is known to have a parameter that depends on the size of . One of the main questions on Cameron-Liebler line classes is the (non)-existence of these sets for certain parameters . In particularly it is proven in [12] for , that the parameter should satisfy a modular equality. This equality excludes about half of the possible parameters. We generalize this result to a modular equality for Cameron-Liebler line classes in PG, and AG respectively. Since it is known that a Cameron-Liebler line class in AG is also a Cameron-Liebler line class in its projective closure, we end this paper with proving that the modular equality in AG is a stronger condition than the condition for the projective case.

Paper Structure

This paper contains 5 sections, 23 theorems, 45 equations.

Key Result

Theorem 1.1

MetschAndGavrilyuk Suppose that $\mathcal{L}$ is a Cameron-Liebler line class with parameter $x$ of $\mathop{\mathrm{\mathrm{PG}}}\nolimits(3,q)$. Then for every plane and every point of $\mathop{\mathrm{\mathrm{PG}}}\nolimits(3,q)$, where $m$ is the number of lines of $\mathcal{L}$ in the plane, respectively through the point.

Theorems & Definitions (38)

  • Theorem 1.1
  • Theorem 1.2: Me1, Corollary 4.3
  • Theorem 1.3
  • Theorem 1.4
  • Definition 2.1
  • Definition 2.2
  • Remark 2.3
  • Theorem 2.4
  • Lemma 2.5
  • Lemma 2.6
  • ...and 28 more