[논문 리뷰] Enumeration of points, lines, planes, etc

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

Advanced Combinatorial Mathematics참고 문헌 23인용 수 4

한 줄 요약

이 논문은 사영 기하학에서 점-선 배열에 관한 de Bruijn–Erdös 및 Motzkin 정리의 광범위한 일반화를 증명한다. 유한한 점 집합이 사영 공간에서 유도하는 기하학적 래티스의 랭크 수준 크기 사이의 새로운 부등식을 확립함으로써 이루어진다. 심층적인 대수기하학 도구—특히 교차 코hom로지에 대한 분해 정리—를 사용하여, 이러한 래티스에 대해 $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$차원 부분공간의 수가 $p + q \leq r$ 이면 $|\mathscr{L}^{p}| \leq |\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)$ 는 단사적이며, 모든 홀수 차수 코호몰로지 군은 0이다.
• B^1(\mathrm{M}) 에서의 허그-라이만 형식은 정확히 하나의 양의 고유값을 가지며, 이는 모든 $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)$ 로의 명시적인 단사 등급 링 준동형사를 구성하며, 이는 동형사상이 되며, 매트로이드 이론과 대수기하학 사이의 깊은 연관성을 확립한다.