[论文解读] The tangent splash in $\PG(6,q)$

S. G. Barwick, Wen‐Ai Jackson|arXiv (Cornell University)|May 29, 2013

Finite Group Theory Research参考文献 5被引用 4

一句话总结

本文通过在 $\mathrm{PG}(6,q)$ 中的 Bruck-Bose 表示法，研究了 $\mathrm{PG}(2,q^3)$ 中阶为 $q$ 的子平面所关联的切喷溅（tangent splash）——即无穷远线上 $q^2+1$ 个点的集合——的几何结构。它利用可展曲面和横截线，从给定的切喷溅和一个固定的阶为 $q$ 的子直线，构造出唯一的阶为 $q$ 的子平面，并通过三次扩张中的射影等价性证明了唯一性。

ABSTRACT

Let B be a subplane of PG(2,q^3) of order q that is tangent to $\ell_\infty$. Then the tangent splash of B is defined to be the set of q^2+1 points of $\ell_\infty$ that lie on a line of B. In the Bruck-Bose representation of PG(2,q^3) in PG(6,q), we investigate the interaction between the ruled surface corresponding to B and the planes corresponding to the tangent splash of B. We then give a geometric construction of the unique order-$q$-subplane determined by a given tangent splash and a fixed order-$q$-subline.

研究动机与目标

• 刻画表示阶为 $q$ 的子平面的可展曲面与对应于其切喷溅的平面在 $\mathrm{PG}(6,q)$ 中的相互作用。
• 在 Bruck-Bose 表示法中，提供从给定切喷溅和固定阶为 $q$ 的子直线几何构造唯一阶为 $q$ 的子平面的方法。
• 通过共享的准线和横截线，建立 $\mathrm{PG}(6,q)$ 中可展曲面与切子平面之间的对应关系。
• 通过三次扩张中的射影等价性，证明所构造的子平面由喷溅和子直线唯一确定。

提出的方法

• 通过 $\mathrm{PG}(5,q)$ 中的正则 2-族，使用 Bruck-Bose 构造法在 $\mathrm{PG}(6,q)$ 中表示 $\mathrm{PG}(2,q^3)$。
• 将阶为 $q$ 的子平面 $\mathscr{B}$ 映射为 $\mathrm{PG}(6,q)$ 中的一个可展曲面 $\mathcal{V}$，其准线为一条扭曲三次曲线和一条圆锥曲线。
• 将切喷溅 $\mathscr{S}_T$ 对应到 $\mathrm{PG}(6,q)$ 中 $q^2+1$ 个平面，每个平面与族元素 $[T]$ 相交。
• 利用正则族的横截线 $g$、$g^q$、$g^{q^2}$ 定义一个射影变换 $\phi$，将扭曲三次曲线 $\mathcal{N}$ 上的点映射到圆锥曲线 $\mathcal{C}$ 上的点。
• 将可展曲面 $\mathcal{V}$ 构造为一个射影变换 $\eta$ 的像，该变换将扭曲三次曲线 $\mathcal{N}$ 映射到圆锥曲线 $\mathcal{C}$，并保持横截线不变。
• 通过证明所构造的可展曲面 $\mathcal{V}$ 与对应于唯一子平面 $\mathscr{B}$ 的曲面 $[\mathscr{B}]$ 具有相同的准线和横截线，从而证明唯一性。

实验结果

研究问题

• RQ1 在 $\mathrm{PG}(6,q)$ 中，对应于切喷溅的平面如何与表示切阶为 $q$ 子平面的可展曲面相互作用？
• RQ2 在 $\mathrm{PG}(6,q)$ 中，能否通过几何构造唯一地从给定切喷溅和固定阶为 $q$ 的子直线恢复该阶为 $q$ 的子平面？
• RQ3 正则 2-族的横截线在刻画切子平面的可展曲面中起什么作用？
• RQ4 在 $\mathrm{PG}(6,q)$ 中，可展曲面上一点的切空间如何与 $\mathrm{PG}(2,q^3)$ 中的切喷溅相关联？
• RQ5 哪些射影不变量确保了由喷溅和子直线构造的子平面的唯一性？

主要发现

• 阶为 $q$ 的子平面 $\mathscr{B}$ 的切喷溅 $\mathscr{S}_T$ 对应于 $\mathrm{PG}(6,q)$ 中 $q^2+1$ 个平面，每个平面与族元素 $[T]$ 相交。
• 对应于 $\mathscr{B}$ 的可展曲面 $\mathcal{V}$ 在 $\mathrm{PG}(6,q)$ 中包含扭曲三次曲线 $\mathcal{N}=[\ell]$ 和一条圆锥曲线准线，且由将 $\mathcal{N}$ 映射到圆锥曲线的射影变换 $\eta$ 所确定。
• 可展曲面 $\mathcal{V}$ 与曲面 $[\mathscr{B}]$ 相等，因为它们具有相同的圆锥曲线准线、扭曲三次曲线准线以及正则族的横截线。
• 在 $\mathrm{PG}(2,q^3)$ 中构造的阶为 $q$ 的子平面由切喷溅 $\mathscr{S}_T$ 和阶为 $q$ 的子直线 $\ell$ 唯一确定，这由射影变换 $\eta$ 的唯一性所证明。
• 将 $N_e$ 映射到 $C_e$ 的射影变换 $\phi$ 由矩阵变换诱导，并可延拓为 $\mathrm{PG}(6,q^3)$ 中的射影变换，从而确保曲面定义良好。
• 证明确认了所构造的子平面 $\pi$ 与定理 1.1 中的唯一子平面 $\mathscr{B}$ 完全相同，从而确立了该几何构造的有效性与唯一性。