[논문 리뷰] Segre embeddings, Hilbert series and Newcomb's problem

Marcel Moralès|arXiv (Cornell University)|2013. 06. 28.

Commutative Algebra and Its Applications참고 문헌 7인용 수 6

한 줄 요약

이 논문은 다항식 기하학과 조합론 사이의 깊은 연결 고리를 확립한다. 구체적으로, 프로젝션 공간의 세그레 매핑에 관련된 타원 링의 힐버트 급수의 h-벡터가 다중집합 순열에서 내림차순을 세는 조합론적 대상인 사이먼 뉴컴 수와 일치함을 보여준다. 그레브너 기저 이론과 초기 이상을 통해 저자들은 사이먼 뉴컴 수에 대한 양의 정수 공식을 제시하여 조합확률론 분야의 열린 문제를 해결하고, 이와 동시에 관련 타원 이상의 베티 수와 연결시킨다.

ABSTRACT

Monomial ideals and toric rings are closely related. By consider a Grobner basis we can always associated to any ideal $I$ in a polynomial ring a monomial ideal ${ m in}_\prec I$, in some special situations the monomial ideal ${ m in}_\prec I$ is square free. On the other hand given any monomial ideal $I$ of a polynomial ring $S$, we can define the toric $K[I]\subset S$. In this paper we will study toric rings defined by Segre embeddings, we will prove that their $h-$ vectors coincides with the so called Simon Newcomb number's in probabilities and combinatorics. We solve the original question of Simon Newcomb by given a formula for the Simon Newcomb's numbers involving only positive integer numbers.

연구 동기 및 목표

• 세그레 매핑에서 유도된 타원 링을 이용해 사이먼 뉴컴 수의 정확한 대수기하학적 해석을 제공하는 것.
• 뉴컴이 제기한 원래의 열린 문제를 해결하기 위해 양의 정수만을 사용하여 그의 수에 대한 공식을 유도하는 것.
• 세그레 타원 링의 힐버트 급수의 h-벡터가 정확히 사이먼 뉴컴 수 A([b], k)와 일치함을 보이는 것.
• 세그레 매핑의 정의 이상의 베티 수를 이러한 조합론적 불변량으로 기술하는 것.
• 세그레 매핑의 크기가 증가함에 따라 베티 수가 증가함을 보여주며, 이를 통해 단조성 성질을 확립하는 것.

제안 방법

• 세그레 매핑 ℙ^b1 × ... × ℙ^bn에 대응하는 초입방체 M = {0,...,b1} × ... × {0,...,bn} ⊂ ℕ^n에 관련된 타원 이상 I_M을 구성한다.
• 그레브너 기저 이론을 통해 어떤 항 순서가 존재하여 in_≺(I_M)가 제곱 자유임을 보이며, 이는 초기 복합체 Δ_≺(I_M)가 정규 단순형 삼등분임을 의미한다.
• Δ_≺(I_M)의 면들이 사이먼 뉴컴의 카드 뒤집기 과정에서의 '상승' 또는 '더미'와 일대일 대응됨을 증명한다.
• 힐버트 급수 공식을 적용하여 타원 링 S/I_M의 h다항식 계수들이 사이먼 뉴컴 수 A([b], k)와 같음을 보인다.
• h_k = ∑_{j=0}^k (-1)^j (d choose j) H_{S/I_M}(k−j) 공식을 사용하여 힐버트 함수로부터 h-벡터를 계산한다.
• 코hen–매파울 성질과 다중계수 구조를 활용하여 토르 함자와 슈어 표현을 통해 베티 수를 사이먼 뉴컴 수와 연결한다.

실험 결과

연구 질문

• RQ1 세그레 타원 링 S/I_M의 힐버트 급수의 h-벡터는 사이먼 뉴컴 수에 대해 조합론적으로 어떻게 해석될 수 있는가?
• RQ2 사이먼 뉴컴 수 A([b], k)에 대한 양의 정수 공식이 존재하는가? 이는 뉴컴이 제기한 원래 문제를 해결하는가?
• RQ3 세그레 매핑의 정의 이상의 베티 수는 다중집합 순열에서의 내림차순의 조합론적 성질을 반영하는가?
• RQ4 프로젝션 공간의 차원이 증가함에 따라 타원 이상의 베티 수는 어떻게 변화하는가?
• RQ5 세그레 타원 이상의 최소 자유 해상이 순수한가? 만약 그렇다면 어떤 조건에서 성립하는가?

주요 결과

• 세그레 타원 링 S/I_M의 힐버트 급수의 h-벡터는 정확히 사이먼 뉴컴 수 A([b], k)와 일치하며, 이는 이러한 조합론적 수의 직접적인 대수기하학적 실현을 제공한다.
• 양의 정수만을 사용하여 사이먼 뉴컴 수에 대한 새로운 공식을 도출한다: A([b], k) = ∑_{j=0}^k (-1)^j (d choose j) H_{S/I_M}(k−j), 여기서 d = dim(S/I_M).
• 베티 수 β_{p,q}(R_{[b]})는 0이 아니며, 매핑의 크기가 증가함에 따라 증가한다. 즉, b' ≥ b 성분별로 성립할 때 β_{p,q}(R_{[b']}) ≥ β_{p,q}(R_{[b]})이다.
• 이데알 J_{[b]}의 베티 다이어그램은 오른쪽 상단에서 대칭적이고 0이 아닌 구조를 가지며, β_{c([b]), c([b])+reg(R_{[b]})}(R_{[b]}) = A([b], reg(R_{[b]})) ≠ 0이다.
• 최소 자유 해상이 순수한 것은 n=3 이면서 b1=b2=b3=1일 때에만 성립하며, 베티 다이어그램의 직접 계산을 통해 이를 보였다.
• n ≥ 3이면, 모든 [b]에 대해 n ≥ 3이면 β_{3,6}(J_{[b]}) ≠ 0이며, 이 비영성은 더 큰 매핑으로 전파된다.