[논문 리뷰] Combinatorial Lefschetz theorems beyond positivity

Karim Adiprasito|arXiv (Cornell University)|2018. 12. 26.

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

한 줄 요약

이 논문은 토르스 불변 부분공간 위에서의 일반적인 비퇴화 조건을 긍정성과 호지-라이만 관계로 대체하여 조합적 위상수학에서 딱딱한 레프셰츠 정리의 새로운 프레임워크를 수립한다. 유리수 호모로지 구면과 다양체에 대해 딱딱한 레프셰츠 동형과 홀-라먼 관계를 증명하며, g-예측을 해결하고 쿠른델의 예측을 검증한다. 또한 고전적 결과들인 데스카르트-오일러 공식과 교차 수 부등식을 일반화한다.

ABSTRACT

Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. Using it and other fundamental combinatorial problems, we introduce a version of the Kähler package beyond positivity, allowing us to prove the hard Lefschetz theorem for toric varieties (and beyond) even when the ample cone is empty. A particular focus lies on replacing the Hodge-Riemann relations by a non-degeneracy relation at torus-invariant subspaces, allowing us to state and prove a generalization of theorems of Hall and Laman in the setting of toric varieties and, more generally, the face rings of Hochster, Reisner and Stanley. This has several applications: - We fully characterize the possible face numbers of simplicial rational homology spheres, resolving the $g$-conjecture of McMullen in full generality and generalizing Stanley's earlier proof for simplicial polytopes. The same methods also verify a conjecture of Kühnel: if $M$ is a triangulated closed $(d-1)$-manifold on $n$ vertices, then \[\binom{d+1}{j}\mathrm{b}_{j-1}(M)\ \le \ \binom{n-d+j-2}{j}\ \quad ext{for}\ 1\le j\le \frac{d}{2}.\] - We prove that for a simplicial complex that embeds into $\mathbb{R}^{2d}$, the number of $d$-dimensional simplices exceeds the number of $(d-1)$-dimensional simplices by a factor of at most $d+2$. This generalizes a result going back to Descartes and Euler, and resolves the Grünbaum-Kalai-Sarkaria conjecture. We obtain from this a generalization of the celebrated crossing lemma: For a map of a simplicial complex $Δ$ into $\mathbb{R}^{2d}$, the number of pairwise intersections of $d$-simplices is at least \[\frac{f_d^{d+2}(Δ)}{(d+3)^{d+2}f_{d-1}^{d+1}(Δ)}\] provided $f_d(Δ)> (d+3)f_{d-1}(Δ)$.

연구 동기 및 목표

• 대수기하학과 호지 이론에서 전통적인 긍정성 가정을 초월하여 딱딱한 레프셰츠 정리를 확장하기.
• 약한 콘 또는 호지-라이만 관계에 의존하지 않고 단순 유리수 호모로지 구면에 대해 딱딱한 레프셰츠 동형과 홀-라먼 관계를 증명하기.
• 단순 유리수 호모로지 구면에 대해 g-예측을 완전히 해결하고 쿠른델의 예측을 검증하기.
• 데스카르트-오일러 및 교차 수 부등식과 같은 고전적 조합론적 결과들을 고차원 단체 복합체로 일반화하기.
• 면의 다항식의 아르틴 연산을 통한 일반성 기반의 비긍정성 프레임워크를 개발하여 레프셰츠 정리 적용하기.

제안 방법

• 면 다항식의 아르틴 연산의 열린 밀도 부분집합을 통한 푸앵카레 쌍화의 일반성 기준 도입.
• 호지-라이만 관계를 코homology 다항식의 제곱무작위 단항식 이상의 이차형식의 비퇴화성으로 대체.
• 근사 보조정리에 의존하지 않고 스트레스 공간과 하세 미분을 통한 양의 특성에서의 위엘 쌍대를 이용해 레프셰츠 작용 정의.
• 레일웨이 및 메트로 구성 방식을 통한 수정된 파치너 정리 적용으로 중간 코homology 수준으로 축소.
• 라디얼 투영과 호모로지 단사 조건을 이용한 스퍼전 및 투영 기법을 통한 차원 간 홀-라먼 관계의 귀납적 전이.
• 환경 및 보완 다각형에서 차원 $k-2$까지의 호모로지 단사 조건을 이용해 다각형에서 오크타비안 레일웨이 및 메트로 정의.

실험 결과

연구 질문

• RQ1 긍정성 가정이나 호지-라이만 관계 없이 딱딱한 레프셰츠 정리를 확립할 수 있는가?
• RQ2 유리수 호모로지 구면에서 토르스 불변 부분공간에 대한 레프셰츠 이차형식의 비퇴화 조건은 무엇인가?
• RQ3 g-예측은 모든 단순 유리수 호모로지 구면에 대해 성립하는가? 그리고 다각형적 긍정성 없이 증명 가능한가?
• RQ4 비긍정성 프레임워크를 통해 삼각형 다각형 다각형의 면 수에 대한 쿠른델의 예측을 검증할 수 있는가?
• RQ5 유한체 $\mathbb{R}^{2d}$에 매립된 단체 복합체에 대해 어떤 고차원 교차 수 부등식이 성립하는가?

주요 결과

• g-예측은 단순 유리수 호모로지 구면에 대해 완전히 해결되었으며, $g$-벡터가 $M$-벡터임을 확인하였다.
• 쿠른델의 예측은 검증되었다: $n$개의 정점을 가진 $(d-1)$-다양체에 대해 $\binom{d+1}{j}b_{j-1}(M) \leq \binom{n-d+j-2}{j}$ ($1 \leq j \leq d/2$)이다.
• 유한체 $\mathbb{R}^{2d}$에 매립된 단체 복합체에 대해 $d$-단체의 수는 $(d-1)$-단체의 수를 초과하지 않으며, 최대 $d+2$ 배 이내이다.
• 고차원 교차 수 부등식이 증명되었다: $f_d(\Delta) > (d+3)f_{d-1}(\Delta)$ 이면, 두 개의 $d$-단체 교차 수는 최소 $\frac{f_d^{d+2}(\Delta)}{(d+3)^{d+2}f_{d-1}^{d+1}(\Delta)}$ 이상이다.
• 비긍정성 프레임워크 하에서 토릭 다양체에 대해 홀-라먼 관계와 딱딱한 레프셰츠 동형이 일반적으로 성립한다.
• 하세 미분과 위엘 쌍대를 통한 양의 특성에서의 적용으로 근사 논증의 수정이 최소한으로 이루어져 결과가 유지된다.