[论文解读] Double points of supersolvable and divisionally free line arrangements in the projective plane

Takuro Abe|arXiv (Cornell University)|Nov 25, 2019

Advanced Combinatorial Mathematics被引用 1

一句话总结

该论文证明了在任意特征为零的域上的复射影平面上，对可超解线构型的狄拉克-莫茨金猜想，确立了此类构型至少包含一个二重点。此外，论文进一步表明，向自由射影线构型中添加一条直线，会迫使该直线包含一个二重点，从而将西尔维斯特-加莱定理推广至一类自由构型，并解决了关于可超解及可除自由构型中二重点的若干猜想。

ABSTRACT

We prove Anzis and Tohaneanu conjecture, that is the Dirac-Motzkin conjecture for supersolvable line arrangements in the projective plane over an arbitrary field of characteristic zero. Moreover, we show that a divisionally free arrangements of lines contain at least one double point, that can be regarded as the Sylvester-Gallai theorem for some free arrangements. This is a corollary of a general result that if you add a line to a free projective line arrangement, then that line has to contain at least one double point. Also we prove some conjectures and one open problems related to supersolvable line arrangements and the number of double points.

研究动机与目标

• 证明在特征为零的域上的射影平面上，可超解线构型的狄拉克-莫茨金猜想。
• 确立可除自由线构型必须至少包含一个二重点，推广西尔维斯特-加莱定理。
• 研究自由及可超解线构型的结构性质，特别是关于二重点的分布与存在性。
• 通过自由性与组合约束解决若干关于可超解及可除自由构型中二重点数量的开放猜想与问题。

提出的方法

• 在特征为零的域上，运用线构型理论中的代数与组合技术。
• 在超平面构型的背景下应用自由性条件，推导出关于二重点的几何约束。
• 分析向自由射影线构型中添加一条直线的影响，证明该直线必须包含至少一个二重点。
• 利用关于可超解构型及其交集格的已知结果，证明二重点的存在性。
• 将关于二重点数量的猜想转化为构型组合类型的结构性质。
• 运用对偶性与格论论证，建立自由性与二重点存在性之间的联系。

实验结果

研究问题

• RQ1 在特征为零的域上的射影平面上，每个可超解线构型是否都满足狄拉克-莫茨金猜想？
• RQ2 能否通过证明在自由构型中添加的每条直线都必须包含一个二重点，从而将西尔维斯特-加莱定理推广至一类自由构型？
• RQ3 可除自由线构型是否必然至少包含一个二重点？
• RQ4 可超解与可除自由构型中二重点数量的结构性约束是什么？
• RQ5 哪些关于这些构型中二重点的开放猜想，可通过自由性与组合约束得以解决？

主要发现

• 在任意特征为零的域上的射影平面上，所有可超解线构型均满足狄拉克-莫茨金猜想。
• 在射影平面上的每个可除自由线构型都至少包含一个二重点。
• 向自由射影线构型中添加一条直线，会迫使该直线包含至少一个二重点，从而将西尔维斯特-加莱定理推广至该类构型。
• 若干关于可超解与可除自由构型中二重点数量的开放猜想已得到解决。
• 这些构型中二重点的存在性，直接源于其自由性与组合结构。