中文

有限域的自同态环上的射影线中的线性集

组合数学 2024-02-02 v1

摘要

PG(1,E)\mathrm{PG}(1,E) 为自同态环 E=Endq(Fqt)E=End_q({\mathbb F}_{q^t}) 上的射影线,该环是 Fq\mathbb F_q-向量空间 Fqt{\mathbb F}_{q^t} 的自同态环。众所周知,存在双射 Ψ:PG(1,E)G2t,t,q\Psi:\mathrm{PG}(1,E)\rightarrow{\cal G}_{2t,t,q} 对应于 PG(2t1,q)\mathrm{PG}(2t-1,q)(t1)(t-1)-子空间的格拉斯曼流形。本文中,对于任意 PG(1,qt)\mathrm{PG}(1,q^t) 中由 PG(2t1,q)\mathrm{PG}(2t-1,q)(t1)(t-1) 维子空间 TΨT^\Psi 确定的秩为 ttFq\mathbb F_q-线性集 LL,研究其子集 LTPG(1,E)L_T\subset \mathrm{PG}(1,E)。线性集的某些性质用环 EE 上的射影线表示。特别地,关注点集中于 LTL_T 与集合 LTL'_T 之间的关系,后者通过 Ψ\Psi 对应于一组两两斜交的 (t1)(t-1) 维子空间,且 TLTT\in L'_T,其中每个子空间确定 LL。这尤其导出了对伪正则型线性集的刻画。证明了对与 TPG(1,E)T\in\mathrm{PG}(1,E) 相关的散射线性集 LL,其为伪正则型当且仅当存在 PG(1,E)\mathrm{PG}(1,E) 的射影变换 φ\varphi 使得 LTφ=LTL_T^\varphi=L'_T

关键词

引用

@article{arxiv.1603.02232,
  title  = {Linear sets in the projective line over the endomorphism ring of a finite field},
  author = {Hans Havlicek and Corrado Zanella},
  journal= {arXiv preprint arXiv:1603.02232},
  year   = {2024}
}