[论文解读] FinInG: a package for Finite Incidence Geometry

John Bamberg, Anton Betten+4 more|arXiv (Cornell University)|Jun 16, 2016

Computational Geometry and Mesh Generation参考文献 2被引用 8

一句话总结

FinInG 是一个 GAP 包，为有限关联几何的计算探索提供了一个通用且用户友好的环境，涵盖射影空间、经典极性空间、广义多边形和代数簇。它利用 GAP 的群论与代数能力，以自然形式（如矩阵群或多项式理想）表示几何结构，从而无缝计算自同构群、关联态射、轨道和稳定子，关键结果通过克莱因对应和韦罗内塞簇等构造得以展示。

ABSTRACT

FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups.

研究动机与目标

• 为有限关联几何提供一个通用且可扩展的计算框架，以保持几何对象的自然表示形式。
• 使研究人员能够使用其最直观的代数或几何表示形式，处理有限几何（如射影与仿射空间、经典极性空间和广义多边形）。
• 集成 GAP 中的高级群论算法（例如轨道枚举、稳定子链），用于几何的自同构群计算，尤其适用于矩阵群和置换群。
• 通过多项式理想及相关态射，支持代数簇（如二次曲面、赫米特型曲面、韦罗内塞簇）的构造与操作。
• 通过保持关联的态射（如克莱因对应、极性空间之间的同构）促进不同几何之间的关系研究。

提出的方法

• 利用 GAP 对有限域、矩阵群和置换群的原生支持，以自然形式表示几何对象及其自同构群。
• 使用半线性映射表示射影空间的射影变换，将几何与有限域上的线性代数联系起来。
• 集成外部包（GRAPE、DESIGN、Forms、GenSS、Orb）以扩展组合结构、形式和轨道计算的功能。
• 提供高层构造器，用于关键几何结构：射影空间、经典极性空间（通过半线性/二次型）、陪集几何（由群与子群构造）以及代数簇（通过多项式理想）。
• 支持几何态射（如 KleinCorrespondence、IsomorphismPolarSpaces、VeroneseMap），以关联不同几何并实现表示间的性质传递。
• 在保持几何不变量和对象行为的前提下，支持在不同表示之间切换（如从矩阵群切换到置换群）。

实验结果

研究问题

• RQ1 如何在不简化为置换群的前提下，以最自然的代数形式表示和计算有限关联几何？
• RQ2 哪些计算技术能够高效探索复杂几何（如广义多边形和极性空间）中的自同构群、轨道和稳定子？
• RQ3 如何在计算代数系统中算法化地构造并验证保持关联的映射（如克莱因对应）？
• RQ4 代数几何在有限关联结构中扮演什么角色？如何计算地构造和分析曲面（如赫米特型、韦罗内塞曲面）？
• RQ5 如何动态计算用户自定义形式与坐标变换，以支持经典极性空间的灵活构造？

主要发现

• 成功构造并验证了 PG(3,7) 中直线与 PG(5,7) 中双曲二次曲面上点之间的克莱因对应，作为几何态射。
• 从 E6 的外尔群构造了类型为 E6 的陪集几何，展示了该包处理复杂李理论几何的能力。
• 通过一组定义多项式在 PG(5,3) 中构造了韦罗内塞簇，并证明其在韦罗内塞映射下的像保持了圆锥曲线的交点性质，其中 13 个平面与该簇恰好相交于四点。
• 计算出 PG(5,3) 中韦罗内塞簇的稳定子群为 9 个生成元，其在平面上的轨道结构揭示了 31 个不同的轨道，其中一个大小为 13 的轨道对应于与簇相交于圆锥曲线的平面。
• 对于 PG(3,9) 中的赫米特型曲面，其关联的极性空间被正确识别为参数为 [9,3] 的广义四边形，其定义多项式为 x₁⁴ + x₂⁴ + x₃⁴ + x₄⁴ = 0。
• 该包成功计算出在 GF(5) 上由两个二次型定义的射影簇上的 156 个点，随机采样验证了构造的正确性。