[논문 리뷰] On finite index reflection subgroups of discrete reflection groups

Anna Felikson, Pavel Tumarkin|arXiv (Cornell University)|2003. 05. 06.

Geometric and Algebraic Topology참고 문헌 1인용 수 4

한 줄 요약

이 논문은 하이퍼볼릭 또는 유클리드 공간에서의 이산 반사군의 유한 지수 반사부군은 원래 군의 기본 영역과 같은 수 이상의 면을 가져야 한다고 규명한다. 코xeter 다면체와 그 분해에 대한 기하학적 및 조합론적 추론을 통해, 이러한 부군에서 기본 영역의 면 수는 감소할 수 없음을 증명하며, 반사군 이론에서 핵심적인 구조적 질문을 해결하고, 기본 반사 생성자 수에 대한 추측을 뒷받침한다.

ABSTRACT

Let $G$ be a discrete group generated by reflections in hyperbolic or Euclidean space, and $H\subset G$ be a finite index subgroup generated by reflections. Suppose that the fundamental chamber of $G$ is a finite volume polytope with $k$ facets. In this paper, we prove that the fundamental chamber of $H$ has at least $k$ facets.

연구 동기 및 목표

• 이산 반사군의 유한 지수 반사부군의 기본 영역에 포함된 면의 최소 수를 결정하는 것.
• 반사부군의 기본 영역에 포함된 면 수가 원래 군보다 적을 수 있는지 조사하는 것.
• 유한 지수 반사부군의 기본 영역 면 수에 하한을 설정하는 것.
• 이산 반사군이 기본 영역의 면 수보다 적은 반사로 생성될 수 없다는 추측을 뒷받침하는 것.

제안 방법

• 고정된 코xeter 분해를 가진 하이퍼볼릭, 유클리드 또는 구면 공간의 코xeter 다면체를 분석한다.
• 예각 다면체에 대한 안드레프의 정리를 적용한다: 겹치지 않는 면은 겹치지 않는 지지 초평면을 가져야 한다.
• 레마 1을 사용하여, 만약 초평면이 다면체를 두 부분으로 나누고 각 부분이 ≥k+1개의 면을 가진다면, 그 초평면은 원래 다면체의 모든 면의 내부를 가로질러야 한다고 보여준다.
• 레마 2를 활용하여, 만약 초평면이 코xeter 다면체를 두 부분으로 나누고 한 부분이 코xeter 다면체라면, 그 초평면은 원래 다면체의 어떤 정점도 포함할 수 없다고 증명한다.
• 레마 3을 적용하여, 만약 초평면이 정점들을 피하고 유한 부피 다면체를 두 부분으로 나누면, 어느 한 부분도 예각 다면체가 될 수 없다고 보여준다.
• 면 수에 대한 귀납법을 사용한다. k개 미만의 면을 가진 다면체에 대해 결과가 성립한다고 가정하고, 최소 반례가 존재할 경우 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 하이퍼볼릭 또는 유클리드 공간에서의 이산 반사군의 유한 지수 반사부군은 원래 군의 기본 영역보다 적은 면을 가진 기본 영역을 가질 수 있는가?
• RQ2 반사부군이 더 단순한 기본 영역을 가지는 것을 막는 기하학적 및 조합론적 제약 조건은 무엇인가?
• RQ3 유한 지수 반사부군의 기본 영역 면 수에 하한이 존재하는가?
• RQ4 이산 반사군의 기본 영역에 포함된 면 수가 그 군을 생성하는 최소 반사 수와 일치하는가?
• RQ5 코xeter 분해가 부군에서 면 수를 유지하는 조건은 무엇인가?

주요 결과

• 하이퍼볼릭 또는 유클리드 공간에서의 이산 반사군 G의 유한 지수 반사부군 H의 기본 영역은 원래 군 G의 기본 영역과 같은 수 이상의 면을 가져야 한다.
• 원래 군 G의 기본 영역이 k개의 면을 가진다면, H는 최소한 k개의 면을 가진 기본 영역을 가져야 한다.
• 증명은 k개의 면을 가진 최소 반례가 존재한다고 가정하고 모순을 이끌어내는 귀납법에 기반한다.
• 작은 면 수를 가진 다면체를 두 부분으로 나누는 초평면이 각각 ≥k+1개의 면을 가진다면, 그 초평면은 원래 다면체의 모든 면의 내부를 가로져야 한다고 보여졌다.
• 코xeter 다면체를 두 부분으로 나누는 초평면이 한 부분이 코xeter 다면체이고, 동시에 원래 다면체의 정점을 포함하는 것은 불가능하다.
• 구면 공간에서는 다면체가 반대점(antipodal points)을 포함하지 않는 한 결과가 성립하지 않으며, 그렇지 않으면 구조가 자명해지기 때문이다 (예: 단체).