단순체 위상다양체에서의 볼록합과 완성: PL 변환과 엣지 수축의 새로운 시각

초록

본 논문은 단순체 의사다양체의 실현에서 국소 볼록성 데이터를 보존하는 PL(조각선형) 변환을 엣지 분할·수축으로 분해하고, 이 과정에서 나타나는 ‘수축 공간’의 구조를 볼록합과 완성 개념으로 규정한다. 외부 엣지 분할이 기존 엣지의 수축 공간을 완전히 소멸시키는 예외적 현상을 밝히고, 인접 엣지와 면의 기하학적 제약을 통해 선형·아핀 제한을 도출한다. 또한 1‑스켈레의 4‑사이클과 교차다각형(교차다면체) 경계의 관계, 그리고 선형 매개변수계(LSP)를 통한 로컬 볼록성 기록 방식을 제시한다.

상세 분석

논문은 먼저 볼록 집합의 교집합이 항상 볼록하지만 합집합은 일반적으로 비볼록이라는 기본 사실을 상기하고, 이러한 합집합이 토러스 다양체의 경계와 평가 이론, 그리고 토릭 다양체에서의 양극성(divisor positivity) 문제와 어떻게 연결되는지를 설명한다. 핵심 아이디어는 ‘국소 볼록성’이라는 데이터를 단순체 의사다양체의 각 정점 주변에 정의된 지원(support) 집합으로 옮겨, 이를 하이퍼플레인(비)분리 조건으로 해석하는 것이다.

주요 기술은 PL 변환을 엣지 분할(edge subdivision)과 엣지 수축(edge contraction)이라는 기본 연산으로 분해한다는 점이다. 엣지 분할은 기존의 ‘벽 교차(wall crossing)’를 유지하면서 새로운 교차를 추가해 볼록성을 확장한다(정리 3.2). 반면 엣지 수축은 반드시 볼록성을 보존하지 않으며, 특히 교차가 없는 경우(예: 교차다면체 경계)에는 수축 자체가 불가능함을 보인다(예 3.12).

‘수축 공간(contraction space)’은 주어진 엣지 e에 대해 수축점이 될 수 있는 위치들의 집합으로 정의된다. 정리 3.4와 정의 3.3에 따라, 이 공간은 볼록합과 완성(convex union and completion) 개념을 통해 정확히 기술된다. 흥미롭게도, 특정 외부 엣지 분할은 e의 수축 공간을 완전히 비워버리는데, 이는 분할이 볼록성을 ‘증가’시킨다는 직관과는 반대되는 결과이다(정리 3.20).

인접 엣지와 면에 대한 아핀·선형 제한은 ‘벽이 같은 스팬(span)을 공유한다’는 관찰에서 출발한다. 즉, 인접한 두 면이 동일한 하이퍼플레인에 의해 제한될 때, 그 사이의 엣지는 매우 제한된 수축 공간을 갖거나 전체 선분 전체가 수축 가능 공간이 된다(정리 3.19, 3.21). 이러한 제한은 단순체 의사다양체의 강연결성(strong connectivity)과 결합되어, 전체 복합체에서 어떤 엣지가 외부 분할에 의해 ‘극단적’ 행동을 보이는지를 예측한다(정리 3.22).

또한 1‑스켈레의 4‑사이클과의 관계를 조사한다. PL 변환이 4‑사이클을 어떻게 변형시키는지는 ‘평평한 벽 교차(flat wall crossing)’와 직접 연결되며, 이는 교차다면체 경계에서 나타나는 특수한 경우와 유사한 구조를 만든다(정리 3.23).

마지막으로, 선형 매개변수계(LSP)를 도입해 토릭 다양체에서의 유리 동등성(rational equivalence)을 대체한다. LSP는 정점 좌표 사이의 선형 관계를 제공하고, 이는 ‘벽 관계(wall relation)’와 동일시될 수 있다. 논문은 LSP가 PL 변환과 서스펜션(suspension) 과정에서 어떻게 변하는지를 분석하고, 교차다면체 경계와 동형인 단순체 구가 이러한 변화를 가장 순수하게 기록한다는 결론을 제시한다(정리 4.15, 코롤라리 4.17).

전반적으로 이 연구는 볼록성 보존이라는 미묘한 기하학적 조건을 토대로, 복잡한 PL 변환을 체계적으로 이해하고, 이를 통해 토릭 기하, 조합적 위상수학, 그리고 다면체 이론 사이의 새로운 연결 고리를 제공한다.