[논문 리뷰] The slopes determined by n points in the plane

Jeremy L. Martin|ArXiv.org|2003. 02. 10.

Commutative Algebra and Its Applications참고 문헌 9인용 수 4

한 줄 요약

이 논문은 평면상의 $n$개 점이 결정하는 기울기의 다양체의 대수적 및 조합적 구조를 조사하며, $K_n$의 유연성 회로의 나무 다항식으로 생성되는 아이디얼 $I_n$이 소이며, 코hen-맥컬레이이고, 휠 다항식으로 이루어진 그뢰브너 기저를 가짐을 보여준다. 기울기 다양체의 힐버트 급수와 차수는 완전 매칭과 이진 총 분할을 통해 조합적으로 계산되며, 그래프 이론과 스탠리-라이즈너 이론과 깊은 연관성을 드러낸다.

ABSTRACT

Let $m_{12}$, $m_{13}$, ..., $m_{n-1,n}$ be the slopes of the $\binom{n}{2}$ lines connecting $n$ points in general position in the plane. The ideal $I_n$ of all algebraic relations among the $m_{ij}$ defines a configuration space called the {\em slope variety of the complete graph}. We prove that $I_n$ is reduced and Cohen-Macaulay, give an explicit Gröbner basis for it, and compute its Hilbert series combinatorially. We proceed chiefly by studying the associated Stanley-Reisner simplicial complex, which has an intricate recursive structure. In addition, we are able to answer many questions about the geometry of the slope variety by translating them into purely combinatorial problems concerning enumeration of trees.

연구 동기 및 목표

• 일반 위치에 있는 평면상의 $n$개 점으로부터 유도되는 모든 기울기 벡터를 매개변수화하는 대수적 다양체를 특성화하기 위해.
• 완전 그래프 $K_n$의 애핀 기울기 다양체의 정의 아이디얼 $I_n$을 결정하기 위해.
• 아이디얼 $I_n$이 소이며, 추상화되어 있으며, 코헨-맥컬레이임을 입증하고, 그것의 힐버트 급수와 차수를 조합적으로 계산하기 위해.
• 기울기 다양체의 기하학을 완전 매칭과 이진 총 분할과 같은 조합적 불변량과 연관지기 위해.
• 휠 부분그래프의 나무 다항식이 $I_n$을 생성하며, 특정 항순서에서 그뢰브너 기저를 이룬다는 것을 증명하기 위해.

제안 방법

• 정규화된 사전순서에서 휠 부분그래프의 나무 다항식의 초기항들로부터 단항식 아이디얼 $J_n$을 구성하기 위해.
• 스탠리-라이즈너 이론을 사용하여 $J_n$에 대응하는 단순 복합체 $\Delta(n)$를 정의하며, 그 면들은 $J_n$에 속하지 않는 제곱자유 단항식에 대응한다.
• $\Delta(n)$의 면의 재귀적 구조를 수립하여, 이들이 이진 총 분할과 일대일 대응됨을 보이며, 이는 이중 계승으로 세어진다.
• $\Delta(n)$의 셸러블리티를 증명하여, 이는 $J_n$과 따라서 $I_n$이 코헨-맥컬레이임을 의미한다.
• $\Delta(n)$의 $h$-벡터로부터 유도된 힐버트 급수 공식을 사용하며, 여기서 $h(n,k)$는 $[1,2n-4]$에서 정확히 $k$개의 긴 쌍을 가진 완전 매칭의 수를 세는 데 쓰인다.
• codimension과 degree가 $J_n$과 $\sqrt{I_n}$ 사이에 일치하며, $J_n$이 $I_n$의 그뢰브너 디제네레이션임을 이용하여, $I_n$이 소이며, 스킴 이론적으로 기울기 다양체를 정의함을 결론짓기 위해.

실험 결과

연구 질문

• RQ1 애핀 기울기 다양체 $\tilde{\mathcal{S}}(K_n)$의 정의 아이디얼 $I_n$은 무엇이며, 그것이 소인지?
• RQ2 기울기 다양체의 힐버트 급수는 조합적으로 계산될 수 있으며, 그것이 무엇을 세는가?
• RQ3 아이디얼 $I_n$은 휠 부분그래프의 나무 다항식으로 생성되는가? 그리고 그것들이 그뢰브너 기저를 이룬다?
• RQ4 기울기 다양체 $\tilde{\mathcal{S}}(K_n)$의 차수는 무엇이며, 완전 매칭과 같은 조합적 대상과 어떻게 관련되어 있는가?
• RQ5 아이디얼 $I_n$의 스탠리-라이즈너 복합체는 셸러블한가? 그리고 이는 기울기 다양체가 코헨-맥컬레이임을 의미하는가?

주요 결과

• 애핀 기울기 다양체 $\tilde{\mathcal{S}}(K_n)$를 정의하는 아이디얼 $I_n$은 소이며, $K_n$의 모든 휠 부분그래프의 나무 다항식으로 생성된다.
• 특정 정규화된 사전순서에서 휠 부분그래프의 나무 다항식들은 $I_n$의 그뢰브너 기저를 이룬다.
• $\tilde{\mathcal{S}}(K_n)$의 차수는 $\frac{(2n-4)!}{2^{n-2}(n-2)!}$이며, $[1,2n-4]$에서의 완전 매칭의 수와 같다.
• $R_n/I_n$의 힐버트 급수는 $\frac{\sum_{k=0}^{n-2} h(n,k) t^k}{(1-t)^{2n-3}}$이며, 여기서 $h(n,k)$는 정확히 $k$개의 긴 쌍을 가진 완전 매칭의 수를 세는 데 쓰인다.
• 스탠리-라이즈너 복합체 $\Delta(n)$은 셸러블하므로, $R_n/I_n$과 $\tilde{\mathcal{S}}(K_n)$는 코헨-맥컬레이이다.
• 다양체 $\tilde{\mathcal{S}}(K_n)$의 차원은 $2n-3$이며, 평면상의 $n$개 점의 구성공간의 애핀 변환에 대한 몫의 기대 차원과 일치한다.