[논문 리뷰] Euler Characteristic of real nondegenerate tropical complete intersections

Benoît Bertrand, Frédéric Bihan|ArXiv.org|2007. 10. 05.

Polynomial and algebraic computation참고 문헌 29인용 수 9

한 줄 요약

이 논문은 실수 비퇴화 토폴로지적 완전교차의 올러르 특성수는 정의하는 토폴로지 다항식들의 뉴턴 다면체에만 의존하며, 이는 해당 복소수 완전교차의 혼합 서명과 일치함을 증명한다. 저자들은 이중 다면체의 혼합 부피의 합으로서 토폴로지적 교차 중복도를 정의하고, 모든 비영인 중복도가 정확히 1임을 증명하며, E다항식과 가법성 성질을 이용해 일반적인 경우를 토릭 초곡면의 경우로 환원한다. 이는 이전의 초곡면 결과를 완전교차로 확장한다.

ABSTRACT

We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials which define the intersection. Basically, it is equal to the usual signature of a complex complete intersection with same Newton polytopes, when this signature is defined. The proof reduces to the toric hypersurface case, and uses the notion of $E$-polynomials of complex varieties.

연구 동기 및 목표

• 실수 토폴로지적 초곡면의 올러르 특성수 결과를 완전교차의 경우로 확장하기 위해.
• 비퇴화 토폴로지적 완전교차를 복소대수기하 설정과 유사하게 정의하여, 모든 비영인 교차 중복도가 정확히 1이 되도록 보장하기 위해.
• 이러한 완전교차의 실수 부분의 올러르 특성수가 정의 다항식들의 뉴턴 다면체에 의해 유일하게 결정됨을 보여주기 위해.
• 이 올러르 특성수가 복소수 완전교차의 혼합 서명과 일치함을 증명하기 위해, 심지어 복소수 다양체가 비프로젝티브일 경우에도 성립함을 보여주기 위해.
• E다항식의 가법성과 바티레브-보리소프의 호지 이론 결과를 활용하여 일반 완전교차의 경우를 토릭 초곡면의 경우로 환원하기 위해.

제안 방법

• 뉴턴 다면체를 통한 전위성 보장으로, 복소대수기하 정의를 모방하여 비퇴화 토폴로지적 완전교차를 정의한다.
• 이중 다면체의 혼합 부피의 합으로서 토폴로지적 교차 중복도를 도입하여, 미하루킨의 정의를 일반화한다.
• 이러한 교차에서 모든 비영인 중복도가 정확히 1임을 증명하여, 복소수 사례와의 일致성을 유지한다.
• 복소수 다양체의 E다항식을 사용하여 혼합 서명을 정의하며, 이는 비프로젝티브 다양체에 대해서도 가법성과 잘 정의됨을 보장한다.
• E다항식의 가법성과 뉴턴 다면체의 구조를 이용해 일반 완전교차의 경우를 토릭 초곡면의 경우로 환원한다.
• 토릭 초곡면의 호지 이론에 관한 바티레브와 보리소프의 결과를 활용하여 서명을 계산하고 주요 결과를 확립한다.

실험 결과

연구 질문

• RQ1 실수 비퇴화 토폴로지적 완전교차의 올러르 특성수가 정의 다항식들의 뉴턴 다면체에만 의존하는가?
• RQ2 모든 비영인 중복도가 정확히 1이 되도록 복소수 사례를 일반화하는 방식으로 토폴로지적 교차 중복도를 정의할 수 있는가?
• RQ3 토릭 완전교차의 실수 부분의 올러르 특성수가 해당 복소수 완전교차의 혼합 서명과 같은가?
• RQ4 E다항식을 이용해 비프로젝티브 다양체에 대해서도 복소수 완전교차의 서명을 어떻게 확장할 수 있는가?
• RQ5 E다항식과 같은 대수적 불변량을 사용해 일반 완전교차의 경우를 토릭 초곡면의 경우로 환원할 수 있는가?

주요 결과

• 실수 비퇴화 토폴로지적 완전교차의 올러르 특성수는 정의하는 토폴로지 다항식들의 뉴턴 다면체에 의해 완전히 결정된다.
• 비퇴화 완전교차에서 모든 비영인 토폴로지적 교차 중복도는 정확히 1과 일치하며, 이는 복소수 사례와 일致한다.
• 실수 토폴로지적 완전교차의 올러르 특성수는 동일한 뉴턴 다면체를 가진 복소수 완전교차의 혼합 서명과 일치한다.
• E다항식의 가첨성 덕분에 혼합 서명은 비프로젝티브 복소수 완전교차에 대해서도 잘 정의된다.
• 증명 과정에서 일반적인 경우는 E다항식의 가첨성과 바티레브-보리소프의 호지 이론 결과를 활용하여 토릭 초곡면의 경우로 환원된다.
• 모든 l = 1, ..., n에 대해 핵심 항등식 S_{l,n} = C_{l,n} 이 성립함을 입증하여, 이항계수 합과 스틸링 수에 관한 조합적 항등식을 통해 서명 공식을 확인한다.