[논문 리뷰] Ring of Polytopes, Quasi-symmetric functions and Fibonacci numbers

Victor Matveevich Buchstaber, Н.Ю. Ероховец|arXiv (Cornell University)|2010. 02. 03.

Advanced Combinatorial Mathematics참고 문헌 32인용 수 6

한 줄 요약

이 논문은 다면체의 조합적 볼록 다면체의 링에서 ℤ[α] 계수를 가진 준대칭 함수의 링으로의 링 준동형사상을 도입한다. 이는 다면체의 k-코차원 면들의 합으로 사상하는 연산자 dₖ를 사용한다. 핵심 결과는 유리수 위에서 이미지가 자유 다항식 대수이며, 그 n차 성분의 차원이 n번째 피보나치 수와 같다는 것이다. 이는 피보나치 생성함수의 무한곱 표현을 이끌어낸다.

ABSTRACT

In this paper we study the ring $\mathcal{P}$ of combinatorial convex polytopes. We introduce the algebra of operators $\mathcal{D}$ generated by the operators $d_k$ that send an $n$-dimensional polytope $P^n$ to the sum of all its $(n-k)$-dimensional faces. It turns out that $\mathcal{D}$ is isomorphic to the universal Leibnitz-Hopf algebra with the antipode $χ(d_k)=(-1)^kd_k$. Using the operators $d_k$ we build the generalized $f$-polynomial, which is a ring homomorphism from $\mathcal{P}$ to the ring $\Qsym[t_1,t_2,...][α]$ of quasi-symmetric functions with coefficients in $\mathbb Z[α]$. The images of two polytopes coincide if and only if their flag $f$-vectors are equal. We describe the image of this homomorphism over the integers and prove that over the rationals it is a free polynomial algebra with dimension of the $n$-th graded component equal to the $n$-th Fibonacci number. This gives a representation of the Fibonacci series as an infinite product. The homomorphism is an isomorphism on the graded group $BB$ generated by the polytopes introduced by Bayer and Billera to find the linear span of flag $f$-vectors of convex polytopes. This gives the group $BB$ a structure of the ring isomorphic to $f(\mathcal{P})$. We show that the ring of polytopes has a natural Hopf comodule structure over the Rota-Hopf algebra of posets. As a corollary we build a ring homomorphism $l_α\colon\mathcal{P} o\mathcal{R}[α]$ such that $F(l_α(P))=f(P)^*$, where $F$ is the Ehrenborg quasi-symmetric function.

연구 동기 및 목표

• 조합적 볼록 다면체의 링에서 ℤ[α] 계수를 가진 준대칭 함수의 링으로의 링 준동형사상을, 면의 합 연산자 dₖ를 사용하여 수립하는 것.
• 이 준동형사상의 이미지가 정수와 유리수 위에서 어떻게 구성되어 있는지, 특히 그 군화된 구조를 특성화하는 것.
• 유리수 위에서 이미지가 자유 다항식 대수이며, 그 군화된 성분의 차원이 피보나치 수와 같다는 것을 보이는 것.
• 다면체 링이 포지트 집합의 로타-홉프 대수 위에서 자연스러운 호프 코모듈 구조를 가짐을 보이는 것.
• 주어진 준대칭 다항식이 정수 계수 다면체의 조합의 이미지임을 판별할 수 있는 기준을 제시하고, 이를 g-정리와 플래그 f-벡터와 연결하는 것.

제안 방법

• 조합적 볼록 다면체의 링 𝒫 와 n차원 다면체를 (n−k)-차원 면들의 합으로 보내는 연산자 dₖ의 대수 𝒟를 정의한다.
• 𝒟가 역원이 있는 유니버설 리브니츠-홉프 대수와 동형이며, χ(dₖ) = (−1)ᵏdₖ를 만족함을 보이고, 이가 𝒫 위에 밀너 모듈러스로 작용함을 보인다.
• α-특성과 𝒟의 쌍대에 대한 포함사상의 복합으로 정의된 일반화된 f-다항식 f: 𝒫 → Qsym[t₁,t₂,…][α]를 구성한다.
• f가 핵이 플래그 f-벡터가 동일한 다면체들로 이루어진 링 준동형사상임을 증명한다.
• 콘 및 바이피라미드 연산자 C와 B를 사용하여 이들의 작용을 준대칭 함수 링으로 옮기고, f-준동형사상을 유지한다.
• 일반화된 데른-소모빌레스 관계와 동치인 함수 방정식을 수립하고, f(𝒫 ⊗ ℚ)의 자유 다항식 대수로서의 구조를 유도한다.

실험 결과

연구 질문

• RQ1 유리수 위에서 일반화된 f-다항식 준동형사상 f: 𝒫 → Qsym[t₁,t₂,…][α]의 이미지의 구조는 어떻게 되는가?
• RQ2 다면체 링은 준대칭 함수 대수와 유니버설 리브니츠-홉프 대수와 어떻게 관련되어 있는가?
• RQ3 f(𝒫 ⊗ ℚ)의 군화된 성분은 피보나치 수와 같은 알려진 수열로 기술될 수 있는가?
• RQ4 주어진 준대칭 다항식이 정수 계수 다면체의 조합의 이미지임을 결정하는 조건은 무엇인가?
• RQ5 다면체 링이 포지트 집합의 로타-홉프 대수 위에서 호프 코모듈 구조를 가지는 것은 플래그 f-벡터와 g-정리의 구조와 어떻게 관련되어 있는가?

주요 결과

• 일반화된 f-다항식 준동형사상 f: 𝒫 → Qsym[t₁,t₂,…][α]의 이미지는 ℤ[α] 위에서 준대칭 함수의 링과 동형이며, 핵은 플래그 f-벡터가 동일한 다면체들로 이루어져 있다.
• 유리수 위에서 이미지 f(𝒫 ⊗ ℚ)는 자유 다항식 대수이며, 그 n차 성분의 차원은 n번째 피보나치 수 cₙ (c₀ = c₁ = 1, cₙ₊₁ = cₙ + cₙ₋₁) 와 같다.
• 이를 통해 피보나치 생성함수의 무한곱 표현을 도출할 수 있다: 1/(1−t−t²) = ∏ᵢ₌₁^∞ 1/(1−tⁱ)ᵏⁱ, 여기서 kᵢ는 차수 i의 생성자 수이다.
• 이 무한곱은 |t| < (√5−1)/2 에서 절대 수렴하며, 지수 kᵢ는 kₙ₊₁ ≥ kₙ ≥ Nₙ−2 를 만족한다. 여기서 Nₙ은 n의 정수 분할 수이다.
• 바이어와 빌레라가 도입한 다면체 링 BB는 f-준동형사상 아래에서 f(𝒫)와 동형이 되며, 그 대수적 구조를 그대로 이어받는다.
• 다면체 링은 자연스러운 호프 코모듈 구조를 가짐을 보이며, F(lₐ(P)) = f(P)* 를 만족하는 링 준동형사상 lₐ: 𝒫 → ℛ[α] 가 존재한다. 여기서 F는 에렌보르그 준대칭 함수이다.