[논문 리뷰] Polyhedral Surfaces in Wedge Products

Thilo Rörig, Günter M. Ziegler|ArXiv.org|2009. 08. 21.

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

한 줄 요약

이 논문은 하위직접곱을 일반화하고 라이트곱을 역전시키는 새로운 구성인 다면체의 와이드 곱(wedge product)을 제안한다. 다각형과 단체의 와이드 곱은 {p,2q} 유형의 조합적으로 정규적인 다면체 표면을 포함하며, 높은 차원의 실현 공간을 지닌다. 이는 {p,4}의 경우 최소 6p개의 모듈러스를 제공하여 풍부한 기하학적 변형과 이중 표면 실현을 가능하게 한다.

ABSTRACT

We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of Joswig and Lutz (2005). One particular instance of the wedge product construction turns out to be especially interesting: The wedge products of polygons with simplices contain certain combinatorially regular polyhedral surfaces as subcomplexes. These generalize known classes of surfaces ``of unusually large genus'' that first appeared in works by Coxeter (1937), Ringel (1956), and McMullen, Schulz, and Wills (1983). Via ``projections of deformed wedge products'' we obtain realizations of some of the surfaces in the boundary complexes of 4-polytopes, and thus in R^3. As additional benefits our construction also yields polyhedral subdivisions for the interior and the exterior, as well as a great number of local deformations (``moduli'') for the surfaces in R^3. In order to prove that there are many moduli, we introduce the concept of ``affine support sets'' in simple polytopes. Finally, we explain how duality theory for 4-dimensional polytopes can be exploited in order to also realize combinatorially dual surfaces in R^3 via dual 4-polytopes.

연구 동기 및 목표

• 와이드 곱의 새로운 구성—하위직접곱을 일반화하고 라이트곱을 역전시키는 다면체의 와이드 곱—을 개발한다.
• p각형과 (q−1)-단체의 와이드 곱이 {p,2q} 유형의 조합적으로 정규적인 다면체 표면 Σp,2q를 포함함을 보여준다.
• 변형된 와이드 곱의 투영을 통해 이러한 표면을 R³에서 기하학적으로 실현한다.
• 간단한 다면체 내의 애핀 지지 집합을 사용하여 이러한 표면의 높은 차원의 실현 공간(모듈러스)을 확립한다.
• 4차원 다면체에서의 이중성을 활용하여 {4,p} 유형의 이중 표면 Σp,4*를 실현하는 데로 이 구성의 확장을 제공한다.

제안 방법

• 명시적인 선형부등식계를 통한 두 다면체의 와이드 곱 정의로, 면과 정점의 구조를 정밀하게 제어할 수 있다.
• C_p ⋈ Δ_{q−1}의 와이드 곱을 반복적인 하위직접곱으로 구성하며, 명시적인 정점 좌표와 조합적 기술을 제공한다.
• C_p ⋈ Δ_{q−1}의 2-스켈레톤 내에서 {p,2q} 유형의 정규적이고 등거리 표면인 특정 부분복합체 Σp,2q를 식별한다.
• 퍼즐의 보조정리를 사용해 고차원 와이드 곱을 R⁵로 투영하고, q=2일 경우 하부하중에 수직 투영을 통해 R³로 추가로 투영한다.
• 간단한 다면체 내 애핀 지지 집합의 개념을 도입하여 실현 공간의 차원을 아래로 유계화하는 데 사용한다.
• 4차원 다면체에서의 이중성을 활용해 이중 표면 Σp,4*를 R³에서 이중 투영을 통해 실현한다.

실험 결과

연구 질문

• RQ1 와이드 곱 구성이 R³에서 높은 종수와 대칭적 구조를 지닌 새로운 정규 다면체 표면의 가족을 도출할 수 있는가?
• RQ2 이러한 표면 실현이 몇 개의 독립적 변형(모듈러스)를 허용하는가? 이를 정량화할 수 있는가?
• RQ3 표면 Σp,4는 4차원 다면체의 투영을 통해 R³에서 실현될 수 있는가? 그리고 투영이 표면의 구조를 유지하는가?
• RQ4 애핀 지지 집합은 투영된 다면체 표면의 실현 공간의 차원을 추정하는 데 어떤 역할을 하는가?
• RQ5 4차원 다면체에서의 이중성은 조합적으로 이중 표면 Σp,4*를 R³에서 실현하는 데 사용될 수 있는가?

주요 결과

• p각형과 1-단체(모서리)의 와이드 곱은 2p차원의 단순 다면체 W_{p,1}을 생성하며, 이의 2-스켈레톤 내에 {p,4} 유형의 정규 표면 Σp,4가 포함되어 있다.
• 표면 Σp,4는 기하학적 구조를 유지하면서 수직 투영을 통해 R³로 투영될 수 있으며, 3차원 공간에서 실현이 가능하다.
• Σp,4의 실현 공간은 최소 6p개의 독립적 모듈러스를 지닌다. 이는 W_{p,1} 내 크기가 2p인 애핀 지지 집합을 통해 확립되었다.
• 유형 {4,p}의 이중 표면 Σp,4*는 이중 4차원 다면체를 투영함으로써 R³에서 실현 가능하며, 4차원 다면체에서의 이중성을 활용한다.
• q>2 및 p>3일 경우, W_{p,q−1}에서 표면 Σp,2q를 R⁴로의 투영이 존재하지 않으며, 이는 위상적 장애로 인한 것이며, p=3인 경우는 여전히 열려 있다.
• 애핀 지지 집합의 사용은 투영된 다면체 표면 실현의 모듈러스 수를 아래로 유계화하는 일반적인 방법을 제공한다.