닫히지 않은 궤도를 가진 등거리 변환군의 예시

본 논문은 Gao와 Kechris가 제기한 “지역적으로 콤팩트하고 완비인 거리 공간에서 등거리 변환군의 궤도는 항상 닫혀 있는가?”라는 질문에 대한 부정적인 답을 제시한다. 질문은 연결 성분이 유한 개일 때도 적용되며, 연결된 경우에는 van Dantzig와 van der Waerden의 고전 결과에 의해 등거리 변환군이 적절히 작용하여 모든 궤도가 닫힌다. 그러나 저자들은 연결되지 않은 경우를 조사한다. 1. **기본 설정** (Y,d₁)를 임의의 완비 거리공간이라 두고, 이후 Y를 평탄한 2차원 토러스로 선택한다. Z=Y∪(Y×ℝ)에 두 양의 실수 R, M을 매개변수로 하는 거리 d를 정의한다. d는 위에서 제시된 세 가지 경우로 나뉘며, 2R≥M이면 삼각 부등식이 만족된다. 이 거리의 주요 성질은 (a) (Y×ℝ) 내의 점 (y,r)와 가장 가까운 Y의 점이 유일하게 y이며, (b) y∈Y에 대해 {y}×ℝ 전체가 y와 같은 거리 R만큼 떨어져 있다는 점이다. 2. **Z의 등거리 변환** 정리 1.1은 Z의 모든 등거리 변환이 (g_Y,g_R) 형태, 즉 Y와 ℝ 각각의 등거리 변환을 독립적으로 적용한 것임을 증명한다. Y가 콤팩트하면 이 형태가 전부가 된다. 특히, g_R이 ℝ의 평행 이동 L_a 혹은 반사 -1이면, g_Y는 Y의 등거리 변환 L_{g(a)} 혹은 inv∘L_{g(2a)}와 결합된다. 3. **토러스와 조밀한 1‑파라미터 부분군** Y를 평탄한 2차원 토러스로 잡고, g(t) (t∈ℝ) 를 Y 안의 조밀한 1‑파라미터 부분군으로 선택한다. 그 그래프 H={ (g(t),t) | t∈ℝ }는 Y×ℝ 안에 삽입된다. X=Y∪H를 Z의 부분공간으로 취하고, 앞서 정의한 거리 d를 제한한다. 4. **X의 등거리 변환과 궤도 구조** 정리 1.3은 X의 모든 등거리 변환이 ℝ의 등거리 변환 g_R에 대응하는 Y의 변환과 결합된 형태임을 보인다. 구체적으로, g_R이 평행 이동 L_a이면 g는 (L_{g(a)},L_a) 를 제한한 것이고, g_R이 반사이면 g는 (inv, -1) 를 제한한다. 이러한 변환들은 H 전체를 보존한다. 중요한 점은, ℝ의 평행 이동에 해당하는 변환들이 Y 위에서 조밀한 궤도를 만든다. 즉, Y(=원형 성분)에서 궤도가 닫히지 않고 조밀하게 퍼진다. 반면 H는 하나의 궤기로, 전체가 하나의 궤도에 속한다. 5. **차원 감소와 최종 예시** 차원을 1로 낮추기 위해 Y의 1‑차원 부분 토러스 Y₁≅S¹를 선택한다. X₁=Y₁∪H는 두 연결 성분(ℝ와 S¹)만을 갖는 1‑차원 매니폴드가 된다. 이 경우 등거리 변환군은 인덱스 2의 부분군이 ℝ와 동형이며, 그 부분군은 S¹에서 조밀하고 닫히지 않은 궤도를 만든다. 따라서 원래 질문에 대한 반례가 완성된다. 6. **의의와 결론** 이 예시는 비콤팩트 성분이 존재할 때 등거리 변환군이 조밀한 비폐쇄 궤도를 가질 수 있음을 보여준다. 특히, 등거리 변환군이 연속적인 파라미터(ℝ)로 작용하면서도 콤팩트 성분에서는 닫히지 않은 궤도를 만들 수 있음을 명시한다. 이는 기존의 연결된 경우에 대한 결과와 대비되는 중요한 사례이며, 등거리 변환군의 궤도 구조에 대한 이해를 넓힌다.