[論文レビュー] Enumeration of points, lines, planes, etc

June Huh, Botong Wang|arXiv (Cornell University)|Sep 18, 2016

Advanced Combinatorial Mathematics参考文献 23被引用数 4

ひとこと要約

この論文は、射影空間内の有限点集合から生じる幾何的ラティスのランクレベルのサイズに関する新しい不等式を確立することで、de Bruijn–ErdösおよびMotzkinの定理の広範な一般化を証明する。代数幾何学の深い道具、特に交差コホモロジーの分解定理を用いて、このようなラティスにおいて、$p + q \leq r$ のとき、$p$次元部分空間の数は $(r-q)$次元部分空間の数以下であることを示し、ランクレベルの差分がシェーラブルな単体的複体の$h$-ベクトルをなすことを示す。

ABSTRACT

One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erdős: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a line. Motzkin and others extended the result to higher dimensions, who showed that every set of points $E$ in a projective space determines at least $|E|$ hyperplanes, unless all the points are contained in a hyperplane. Let $E$ be a spanning subset of a $d$-dimensional vector space. We show that, in the partially ordered set of subspaces spanned by subsets of $E$, there are at least as many $(d-k)$-dimensional subspaces as there are $k$-dimensional subspaces, for every $k$ at most $d/2$. This confirms the "top-heavy" conjecture of Dowling and Wilson for all matroids realizable over some field. The proof relies on the decomposition theorem package for $\ell$-adic intersection complexes.

研究の動機と目的

• 体上に実現可能な幾何的ラティスに対するDowlingとWilsonのトップヘヴィー予想を解決すること。
• 射影幾何学における古典的な点-直線および点-超平面配置に関する結果を一般化すること。
• 幾何的ラティスにおける$p$次元部分空間と$(r-q)$次元部分空間の数の間の新しい不等式を確立すること。
• 連続するランクレベルのサイズの差分がシェーラブルな単体的複体の$h$-ベクトルをなすことの証明。
• 交差コホモロジーや代数的セル分解を用いて、特定の幾何的ラティスにおけるSperner性および単調性のコホモロジカルな証明を提供すること。

提案手法

• BBD82の交差複体の分解定理を用いて、ハイパーフラット配置に関連する代数的多様体$Y_{\mathscr{A}}$のコホモロジーを分析する。
• 基底となるマトロイド$\mathrm{M}$のフラットに添え字づけられた代数的セル分解を構成し、各セルがアフィン空間$\mathbb{A}^{\text{rank}(F)}$に同型であることを示す。
• 分解定理を適用して、$Y_{\mathscr{A}}$のコホモロジーがマトロイド$\mathrm{M}$のチャウ環に同型であることを示し、単射な次数付き環準同型を介して結びつける。
• $Y_{\mathscr{A}}$のベッチ数が各ランクのフラットの数に一致することを示し、コホモロジーが偶数次元に集中しており、純粋ホッジ構造を持つことを示す。
• ホッジ＝リーマン関係およびホッジ＝リーマン形式の非退化性を用いて、ラティス内のランクレベルのサイズに関する不等式を導出する。
• シェーラブルな単体的複体の理論を適用し、差分の列$|\mathscr{L}^{p+1}| - |\mathscr{L}^{p}|$がシェーラブルな複体の$h$-ベクトルをなすことの証明。

実験結果

リサーチクエスチョン

• RQ1 射影空間内の有限点集合によって生成される幾何的ラティスにおいて、$p + q \leq r$ のとき、$p$次元部分空間の数$|\mathscr{L}^{p}|$は$(r-q)$次元部分空間の数$|\mathscr{L}^{r-q}|$以下であるか？
• RQ2 差分$|\mathscr{L}^{p+1}| - |\mathscr{L}^{p}|$は、シェーラブルな単体的複体の$h$-ベクトルとして解釈可能か？
• RQ3 すべての$x$に対して$x \leq \iota(x)$を満たす自然な単射写像$\iota: \mathscr{L}^{p} \to \mathscr{L}^{r-q}$は存在するか？
• RQ4 マトロイドのチャウ環は、代数的多様体$Y_{\mathscr{A}}$の交差コホモロジーを用いてコホモロジカルに実現可能か？
• RQ5 マトロイド$\mathrm{M}$に対して、比$b(\mathrm{M})b_{ij}(\mathrm{M}) / (b_i(\mathrm{M})b_j(\mathrm{M}))$の最大値は何か？そしてホッジ＝リーマン関係とどのように関係するか？

主な発見

• 定理2の第一部分は、超平面に含まれない$\mathbb{P}^{r-1}$内の有限点集合$E$に対して、$p + q \leq r$ のとき$|\mathscr{L}^{p}| \leq |\mathscr{L}^{r-q}|$が成り立ち、明示的な単射順序保持写像$\iota: \mathscr{L}^{p} \to \mathscr{L}^{r-q}$が存在することを証明する。
• 定理2の第二部分は、列$|\mathscr{L}^{0}|, |\mathscr{L}^{1}| - |\mathscr{L}^{0}|, \dots, |\mathscr{L}^{p+1}| - |\mathscr{L}^{p}|$がシェーラブルな単体的複体の$h$-ベクトルをなすこと、したがってランクレベルのサイズの単調性が示されることを示す。
• $Y_{\mathscr{A}}$のコホモロジーはマトロイド$\mathrm{M}$のチャウ環に同型であり、ベッチ数は各ランクのフラットの数に等しい。
• 分解定理により、自然な写像$\mathrm{H}^{2*}(Y_{\mathscr{A}}, \overline{\mathbb{Q}}_\ell) \to \mathrm{IH}^{2*}(Y_{\mathscr{A}}, \overline{\mathbb{Q}}_\ell)$は単射であり、すべての奇数次元コホモロジー群は消える。
• $B^1(\mathrm{M})$上のホッジ＝リーマン形式は正確に1つの正の固有値を持つため、すべての$i,j$に対して不等式$2 > b(\mathrm{M})b_{ij}(\mathrm{M}) / (b_i(\mathrm{M})b_j(\mathrm{M}))$が成り立ち、等号は特殊な場合に限る。
• 論文は、$B^*(\mathrm{M}) \otimes_{\mathbb{Q}} \overline{\mathbb{Q}}_\ell$から$\mathrm{H}^{2*}(Y_{\mathscr{A}}, \overline{\mathbb{Q}}_\ell)$への明示的な単射次数付き環準同型を構成し、これが同型であることを示しており、マトロイド論と代数幾何学の深い関係を確立している。