[논문 리뷰] Diffeomorphic moment-angle manifolds with different Betti numbers

Frédéric Bosio|arXiv (Cornell University)|2014. 10. 13.

Advanced Combinatorial Mathematics참고 문헌 2인용 수 4

한 줄 요약

이 논문은 각각 51개의 면을 가진 47차원 단순 다면체 두 개를 구성하며, 그들의 모멘트-잭슨 다양체는 미분동형이지만 베텨리 수가 다르게 된다. 이는 미분동형인 모멘트-잭슨 다양체가 반드시 동일한 베텨리 수를 가진 다면체에서 유래해야 한다는 추측을 반증한다. 이 구성은 이웃성 쌍대 다면체 위의 다중웨지를 사용하며, 이러한 다면체에서 유도되는 모멘트-잭슨 다양체가 구의 곱의 연결합으로서 표현될 수 있고, 그 구조는 베텨리 수에 의해 결정된다는 사실을 활용한다.

ABSTRACT

We describe here two simple polytopes that have different Betti numbers and whose moment-angle manifolds are diffeomorphic.

연구 동기 및 목표

• 미분동형인 모멘트-잭슨 다양체가 반드시 동일한 베텨리 수를 가진 다면체에서 유도되어야 하는지 조사한다.
• 모멘트-잭슨 다양체의 베텨리 수가 기저 다면체의 베텰리 수를 유일하게 결정하는지 확인한다.
• 두 개의 미분동형 모멘트-잭슨 다양체가 서로 다른 베텔리 수를 가진 다면체에서 유도되는 반례를 구성한다.
• 모멘트-잭슨 구성에서 미분동형에 의한 조합적 불변량의 한계를 탐색한다.
• 정점 수와 f-벡터가 모멘트-잭슨 다양체의 미분동형에 의해 보존되지 않는다는 것을 보여준다.

제안 방법

• 차원보다 4개 더 많은 면을 가진 이웃성 쌍대 다면체 위에 다중웨지를 구성하여, 베텔리 수 복잡도를 관리 가능하게 한다.
• 사촌 확장과 비플립을 사용하여 동일한 게일 다이어그램 구성에서 유도된 서로 다른 다면체를 생성하며, 모멘트-잭슨 다양체의 미분동형 유형을 유지한다.
• 동일한 기저에서 유도된 두 개의 서로 다른 다면체에 대해 고정된 다중색인을 사용한 웨지 연산을 적용하여, 동일한 모멘트-잭슨 다양체 차원과 미분동형 유형을 확보한다.
• 구의 곱의 연결합으로 분해된 알려진 방법을 통해 모멘트-잭슨 다양체의 베텔리 수를 계산한다.
• 구의 곱의 차원과 복수를 일치시켜 결과 모멘트-잭슨 다양체가 미분동형임을 검증한다.
• 면의 부분집합에 대한 bp,q 값들을 비교하여 다면체가 서로 다른 베텔리 수를 가짐을 확인한다.

실험 결과

연구 질문

• RQ1 두 개의 미분동형 모멘트-잭슨 다양체가 서로 다른 베텔리 수를 가진 다면체에서 유도될 수 있는가?
• RQ2 모멘트-잭슨 다양체의 베텔리 수가 기저 다면체의 베텔리 수를 유일하게 결정하는가?
• RQ3 정점 수와 같은 조합적 불변량은 모멘트-잭슨 다양체의 미분동형에 의해 보존되는가?
• RQ4 다른 이웃성 쌍대 다면체 위의 다중웨지가 서로 다른 베텔리 수를 가진 미분동형 모멘트-잭슨 다양체를 유도할 수 있는가?
• RQ5 다면체의 f-벡터는 그 모멘트-잭슨 다양체의 미분동형 유형에 의해 결정되는가?

주요 결과

• 구축된 다면체의 모멘트-잭슨 다양체는 다음 연결합과 미분동형이다: #2(S37×S61)#(S38×S60)#17(S39×S59)#19(S40×S58)#20(S41×S57)#22(S42×S56)#38(S43×S55)#27(S44×S54)#29(S45×S53)#51(S46×S52)#54(S47×S51)#75(S48×S50)#36(S49×S49).
• 두 다면체는 서로 다른 베텔리 수를 가진다: 예를 들어, P1의 b17,19와 b28,32는 각각 2와 15이지만, P2의 값은 1과 17이다.
• 다면체 P1은 33,686개의 정점을 가지며, P2는 33,684개의 정점을 가지므로, 정점 수가 모멘트-잭슨 다양체의 미분동형에 의해 보존되지 않음을 보여준다.
• 모멘트-잭슨 다양체는 98차원이며, 각각 51개의 면을 가진 47차원 다면체에서 유도되었으며, 총 23개의 웨지 연산을 사용하였다.
• 베텔리 수 b−1,0 = b46,51 = 1은 두 다면체 모두 동일하지만, 나머지 모든 비영인 bp,q 값은 서로 다르며, 이는 다면체의 베텔리 수가 다름을 확인한다.
• 모멘트-잭슨 다양체의 미분동형 유형은 서로 다른 베텔리 수를 가짐에도 불구하고 유지되며, 이는 다양체의 베텔리 수가 다면체의 베텔리 수를 결정하지 못한다는 것을 증명한다.