УДК 514.146
MSC: 51E20, 05B25
DOI: 10.21538/0134-4889-2018-24-2-158-172
Полный текст статьи
Работа выполнена при поддержке РФФИ в рамках научного проекта № 17-301-50004 “мол_нр”.
Классом Камерона - Либлера прямых с параметром $x$ в конечной проективной геометрии $\mathrm{PG}(n, q)$ размерности $n$ над полем из $q$ элементов называется множество $\mathcal{L}$ прямых такое, что любая прямая $\ell$ пересекает $x (q + 1) + \chi_{\mathcal{L}}(\ell) (q^{n-1} + \dots + q^2 - 1)$ прямых из $\mathcal{L}$, где $\chi_{\mathcal{L}}$ - характеристическая функция множества $\mathcal{L}$. Обобщенная гипотеза Камерона - Либлера утверждает, что при $n > 3$ все классы Камерона - Либлера известны и имеют в некотором смысле тривиальное строение (а именно, с точностью до дополнения, пустое множество, пучок прямых через точку, все прямые гиперплоскости и объединение двух последних для неинцидентных точки и гиперплоскости). Справедливость гипотезы была ранее подтверждена другими авторами для случаев $q = 2, 3, 4$. В данной работе описывается подход, позволяющий доказать справедливость гипотезы при заданном $q$ в предположении, что все классы Камерона - Либлера в $\mathrm{PG}(3, q)$ известны. С помощью этого подхода доказана справедливость обобщенной гипотезы Камерона - Либлера в случае $q = 5$.
Ключевые слова: конечная проективная геометрия, классы Камерона - Либлера прямых.
СПИСОК ЛИТЕРАТУРЫ
1. Cameron P.J., Liebler R. A. Tactical decompositions and orbits of projective groups // Linear Algebra Appl. 1982. Vol. 46. P. 91–102. doi: 10.1016/0024-3795(82)90029-5 .
2. Bamberg J., Penttila T. Overgroups of cyclic Sylow subgroups of linear groups // Comm. Alg. 2008. Vol. 36, no. 7. P. 2503–2543. doi: 10.1080/00927870802070108 .
3. Penttila T. Cameron-Liebler line classes in PG(3,q) // Geom. Dedicata. 1991. Vol. 37, no. 3. P. 245–252. doi: 10.1007/BF00181401 .
4. Drudge K. On a conjecture of Cameron and Liebler // European J. Combin. 1999. Vol. 20, no. 4. P. 263–269. doi: 10.1006/eujc.1998.0265 .
5. Bruen A.A., Drudge K. The construction of Cameron–Liebler line classes in PG(3,q) // Finite Fields Appl. 1999. Vol. 5, no. 1. P. 35–45. doi: 10.1006/ffta.1998.0239 .
6. A new family of tight sets in $Q^+(5,q)$ / J. De Beule, J. Demeyer, K. Metsch, M. Rodgers // Des. Codes Cryptogr. 2016. Vol. 78, no. 3. P. 655–678. doi: 10.1007/s10623-014-0023-9 .
7. Feng T., Momihara K., Xiang Q. Cameron–Liebler line classes with parameter $x = (q^2-1)/2$ // J. Combin. Theory Ser. A. 2015. Vol. 133. P. 307–338. doi: 10.1016/j.jcta.2015.02.004 .
8. Gavrilyuk A.L., Matkin I., Penttila T. Derivation of Cameron–Liebler line classes // Des. Codes Cryptogr. 2018. Vol. 86, no. 1. P. 231–236. doi: 10.1007/s10623-017-0338-4 .
9. Gavrilyuk A.L., Metsch K. A modular equality for Cameron–Liebler line classes // J. Combin. Theory Ser. A. 2014. Vol. 127. P. 224–242. doi: 10.1016/j.jcta.2014.06.004 .
10. Govaerts P., Penttila T. Cameron–Liebler line classes in PG(3,4) // Bull. Belg. Math. Soc. Simon Stevin. 2006. Vol. 12, no. 5. P. 793–804 .
11. Rodgers M. Cameron-Liebler line classes // Des. Codes Cryptogr. 2013. Vol. 68, no. 1–3. P. 33–37. doi: 10.1007/s10623-011-9581-2 .
12. Drudge K. Extremal sets in projective and polar spaces: Thesis (Ph.D.)–The University of Western Ontario (Canada). 1998. 111 p.
13. Gavrilyuk A.L., Mogilnykh I.Yu. Cameron–Liebler line classes in PG(n,4) // Des. Codes Cryptogr. 2014. Vol. 73, no. 3. P. 969–982. doi: 10.1007/s10623-013-9838-z .
14. Gavrilyuk A.L., Matkin I. Cameron–Liebler line classes in PG(3,5) [e-resource]. 19 p. URL: https://arxiv.org/pdf/1803.10442.pdf .
Поступила 16.02.2018
Маткин Илья Александрович
старший преподаватель
Челябинский государственный университет
e-mail: ilya.matkin@gmail.com
English
I.A. Matkin. Cameron–Liebler line classes in PG(n, 5)
A Cameron-Liebler line class with parameter $x$ in a finite projective geometry PG$(n, q)$ of dimension $n$ over a field with $q$ elements is a set $\mathcal{L}$ of lines such that any line $\ell$ intersects $x(q+1)+\chi_{\mathcal{L}}(\ell)(q^{n-1}+\dots+q^2-1)$ lines from $\mathcal{L}$, where $\chi_{\mathcal{L}}$ is the characteristic function of the set $\mathcal{L}$. The generalized Cameron-Liebler conjecture states that for $n>3$ all Cameron-Liebler classes are known and have a trivial structure in some sense (more exactly, up to complement, the empty set, a point-pencil, all lines of a hyperplane, and the union of the last two for nonincident point and hyperplane). The validity of the conjecture was proved earlier by other authors for the cases $q=2$, 3, and 4. In the present paper we describe an approach to proving the conjecture for given $q$ under the assumption that all Cameron-Liebler classes in PG$(3,q)$ are known. We use this approach to prove the generalized Cameron-Liebler conjecture in the case $q=5$.
Keywords: finite projective geometry, Cameron-Liebler line classes.
The paper was received by the Editorial Office on February, 16, 2018.
Funding Agency:
Russian Foundation for Basic Research (Grant Number: 17-301-50004).
Il’ya Aleksandrovich Matkin, Faculty of Mathematics, Chelyabinsk State University, Chelyabinsk, 454001 Russia, e-mail: ilya.matkin@gmail.com.
[References on the English button bottom right]
