[논문 리뷰] Intersection cohomology on nonrational polytopes

Paul Bressler, Valery A. Lunts|ArXiv.org|2000. 02. 01.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 18

한 줄 요약

이 논문은 비유계적 경우(비유리적 경우)에 해당하는 토릭 다양체가 존재하지 않을 때도 가능한 임의의 볼록 다면체에 대해 다항식환 위의 등급을 가진 모듈러스를 사용하는 층 이론적 프레임워크를 도입하여 교차 cohomology를 정의한다. 다면체의 팬에 대해 최소 층을 구성하고, 그에 대한 버드어르 이중성과 분할에 대한 분해 정리를 증명함으로써, 결과로 얻어진 cohomology 가 Poincaré 이중성과 강한 Lefschetz 성질을 만족함을 확립한다. 이는 유리성 가정 없이 Stanley의 h-벡터에 대한 비음성과 단조성 추측을 함의한다.

ABSTRACT

Viewing a fan as a partially ordered set (of cones) we consider a category of sheaves on the fan which corresponds to a category of equivariant sheaves on the corresponding toric variety if the fan is rational. In this category we define an object which corresponds to the equivariant intersection cohomology complex. Our first main result is the ``elementary'' decomposition theorem for the direct image under subdivision of fans We also develop the Borel-Moore- Verdier duality in the derived category of sheaves on the fan.

연구 동기 및 목표

• 유리성이 없는 경우에 해당하는 토릭 다양체가 존재하지 않는 비유리 볼록 다면체에 대해 교차 cohomology를 정의하기.
• 일반적인 다면체의 h-벡터에 대해 Poincaré 이중성과 강한 Lefschetz 성질을 확립하기.
• 토릭 다양체의 등급 기하학을 모방하는 팬과 등급 층을 이용한 조합적 프레임워크 제공하기.
• 결과로 얻어진 cohomology 가 다면체의 면 라티스에 대한 조합적 불변량임을 증명하기.
• 제안된 층 이론적 접근을 통해 Kalai의 g-벡터 부등식에 대한 새로운 증명을 제공하기.

제안 방법

• 팬 Φ를 콩에 대한 다항식 함수의 구조 층 AΦ를 가진 링드 공간으로 정의한다.
• 등급을 가진 AΦ-모듈러스의 평탄하고 국소적으로 자유로운 층의 범주 M(AΦ)를 정의하여 등급 기하학적 층을 모델링한다.
• 토릭 다양체가 존재한다면 T-등급 교차 cohomology 복합체에 대응하는 최소 층 LΦ를 팬 Φ 위에 구성한다.
• 팬 분할에 대한 LΦ의 직접 이미지에 대해 분해 정리를 증명하며, 등급 기하학적 분해 정리를 일반화한다.
• AΦ-모듈러스의 유도 범주에서 Borel-Moore-Verdier 이중성을 개발하고, LΦ 가 그 자신의 Verdier 이중성과 동형임을 보인다.
• LΦ에 대응하는 등급 벡터 공간으로서 교차 cohomology IH(Φ)를 정의하고, degree 2인 Lefschetz 연산자 l 을 통해 그 성질을 연구한다.

실험 결과

연구 질문

• RQ1 일반적인 볼록 다면체의 h-벡터가 유리성 가정 없이 Stanley의 추측된 비음성과 단조성 성질을 만족할 수 있는가?
• RQ2 유리성이 없는 다면체에 대해 Poincaré 이중성을 만족하는 잘 정의된 교차 cohomology 이론이 존재하는가?
• RQ3 일반적인 다면체에 관련된 팬의 교차 cohomology 에 대해 강한 Lefschetz 추측이 성립하는가?
• RQ4 Kalai의 g-벡터 부등식은 기하학적 가정 없이 층 이론적 방법을 통해 조합적으로 증명될 수 있는가?
• RQ5 팬의 교차 cohomology 는 다면체의 면 라티스에만 의존하는 조합적 불변량인가?

주요 결과

• 팬 Φ 의 교차 cohomology IH(Φ) 는 유한 차원이며, 홀수 차수에서 0 이다. 또한 dim IH0(Φ) = dim IH2n(Φ) = 1 이다.
• IH(Φ) 는 Poincaré 이중성을 만족한다: 모든 i 에 대해 ih_{n−i}(Φ) = ih_{n+i}(Φ) 이다.
• 강한 Lefschetz 추측은 모든 i ≥ 1 에 대해 l^i: IH^{n−i}(Φ) → IH^{n+i}(Φ) 가 동형임을 예측한다.
• 강한 Lefschetz 추측이 성립한다면, 다면체의 h-벡터는 h_0 ≤ h_1 ≤ ⋯ ≤ h_{[d/2]} 와 h_i = h_{d−i} 를 만족한다.
• 모든 면 τ ⊂ σ 에 대해, 콩 σ 의 Poincaré 다항식 ip(σ) 는 계수별로 ip(σ) ≥ ip(τ) · ip(Star(τ)) 를 만족한다.
• 이 구성은 유리성 가정 없이도 Kalai의 g-벡터 부등식에 대한 새로운 증명을 제공한다.