[论文解读] On the equivalence of linear sets

Bence Csajbók, Corrado Zanella|arXiv (Cornell University)|Jan 14, 2015

graph theory and CDMA systems参考文献 8被引用 2

一句话总结

本文证明了在 t = 5 或 t > 6 时，PG(1, qt) 中伪规既型线性集等价性并不要求投影构型之间存在射影变换，尽管 Lavrauw 和 Van de Voorde（2010）定理 1.3 中声称这是必要条件。通过利用典型子几何与不相交中心的投影构造显式反例，作者表明线性集等价性可在无此类射影变换的情况下发生，并刻画了该条件实际必要的线性集类别。

ABSTRACT

Let $L$ be a linear set of pseudoregulus type in a line $\ell$ in $\Sigma^*=\mathrm{PG}(t-1,q^t)$, $t=5$ or $t>6$. We provide examples of $q$-order canonical subgeometries $\Sigma_1,\, \Sigma_2 \subset \Sigma^*$ such that there is a $(t-3)$-space $\Gamma \subset \Sigma^*\setminus (\Sigma_1 \cup \Sigma_2 \cup \ell)$ with the property that for $i=1,2$, $L$ is the projection of $\Sigma_i$ from center $\Gamma$ and there exists no collineation $\phi$ of $\Sigma^*$ such that $\Gamma^{\phi}=\Gamma$ and $\Sigma_1^{\phi}=\Sigma_2$. Condition (ii) given in Theorem 3 in Lavrauw and Van de Voorde (Des. Codes Cryptogr. 56:89-104, 2010) states the existence of a collineation between the projecting configurations (each of them consisting of a center and a subgeometry), which give rise by means of projections to two linear sets. It follows from our examples that this condition is not necessary for the equivalence of two linear sets as stated there. We characterize the linear sets for which the condition above is actually necessary.

研究动机与目标

• 挑战 Lavrauw 和 Van de Voorde（2010）定理 1.3 中条件 (ii) 的必要性，该条件断言：为实现线性集等价性，必须存在保持中心和子几何的射影变换。
• 构造显式反例，其中两个线性集通过投影实现等价，但其各自投影构型之间不存在此类射影变换。
• 刻画射影变换条件在定理 1.3 中实际必要的线性集类别。
• 分析域约化与典型子几何在有限射影空间中伪规既型线性集构造中的作用。
• 澄清线性集为伪规既型时，其作为子几何投影出现的几何与代数条件，特别是在 t = 5 或 t > 6 的情形下。

提出的方法

• 在 PG(t−1, qt) 中构造两个典型子几何 Σ₁ 和 Σ₂，其中 t = 5 或 t > 6，二者均通过公共中心 Γ 投影到同一个伪规既型线性集 L。
• 利用域约化映射 Fr,t,q 将 PG(t−1, qt) 中的点与 PG(rt−1, q) 中的 (t−1) 维子空间关联，从而通过 Fq-子空间 S 将线性集表征为 B(S)。
• 定义从中心 Γ 到轴 Λ 的投影 pΓ,Λ(Σi)，表明即使不存在满足 Γβ = Γ 且 Σ₁β = Σ₂ 的射影变换 β，仍有 L = pΓ,Λ(Σ₁) = pΓ,Λ(Σ₂)。
• 在 PG(4, q⁵) 和 PG(rt−1, q) 中使用半线性映射与射影变换，分析子几何及其在自同构下的像的结构。
• 应用 [5] 中关于超曲面 Qt−1,q 的结果，描述其包含的线性子空间，并利用此结果证明不存在满足要求类型的射影变换。
• 引入条件 (A) 作为定理 1.3 中 (i) ⇒ (ii) 成立的充要条件，并证明当 t = 5 或 t > 6 时，伪规既型散线性集的该条件不成立。

实验结果

研究问题

• RQ1 是否存在一个射影变换，同时保持中心与子几何，是两个通过投影构造的线性集等价性的必要条件？
• RQ2 在 PG(1, qt) 中，两个伪规既型线性集是否可能通过投影实现等价，即使其各自投影构型之间不存在将它们相互映射的射影变换？
• RQ3 何种几何或代数条件可确保定理 1.3 中的射影变换条件实际必要？
• RQ4 典型子几何及其投影的性质如何与 PG(rt−1, q) 中的 Desarguesian 极射线束结构相关联？
• RQ5 对于哪些伪规既型线性集，条件 (A) 成立？其在该类集合分类中的意义为何？

主要发现

• 本文在 PG(4, q⁵) 中构造了显式反例，其中两个伪规既型线性集通过投影实现等价，但其对应中心与子几何之间不存在将它们相互映射的射影变换。
• 证明了定理 1.3 中条件 (ii)（即要求存在保持中心与子几何的射影变换）并非线性集等价性的必要条件，从而与原始断言相矛盾。
• 作者表明，当 t = 5 或 t > 6 时，PG(1, qt) 中伪规既型散线性集的条件 (A) 不成立，因此 (i) ⇒ (ii) 的蕴含关系不成立。
• 给出了一个刻画：(i) ⇒ (ii) 成立当且仅当条件 (A) 成立，其中条件 (A) 涉及存在一个保持 Desarguesian 极射线束并映射对应子空间的射影变换。
• 对于 PG(1, q³) 中的秩三线性集，条件 (A) 成立，因此 (i) ⇒ (ii) 成立，这解释了为何此类集合与高阶伪规既型集合行为不同。
• 本文确立了当 t = 5 或 t > 6 时，PG(1, qt) 中伪规既型散线性集无法作为与该类射影变换相关的构型的投影嵌入，凸显了其自同构性质中的结构性差异。