적절한 거리와 동형군의 완전한 관계

초록

이 논문은 국소 콤팩트 폴란 공간 X에 대해, 어떤 홈오모르피즘 군 G가 X에 적절한 거리 d를 선택했을 때 전체 등거리군 Iso(X,d)와 정확히 일치하도록 하는 필요충분조건을 제시한다. 또한 임의의 국소 콤팩트 폴란 공간 Y와 (card G, card Y)≠(1,2)인 경우, G×Y에 적절한 거리 구조를 부여해 G가 자유롭게 전체 등거리군이 되도록 하는 방법을 보인다. 완전 거리 공간에서 효과적·거의 전이적으로 작용하는 국소 콤팩트 폴란 군들의 특징을 규명하고, 비가환 군 중 모든 좌측 불변 거리가 자동으로 우측 불변이 되는 군들을 완전 분류한다. 마지막으로 점이 두 개보다 많은 모든 국소 콤팩트 폴란 공간 X에 대해, Iso(X,d)={id}인 적절한 거리 d들의 집합이 전체 적절 거리들의 공간에서 조밀함을 증명한다.

상세 분석

논문은 먼저 “적절한 거리”(proper metric)라는 개념을 명확히 정의한다. 이는 닫힌 볼이 컴팩트인 거리이며, 이러한 거리 위에서 위상은 원래의 폴란 위상과 일치한다. 저자는 X가 국소 콤팩트 폴란 공간일 때, G⊂Homeo(X) 가 전체 등거리군이 되기 위한 정확한 조건을 제시한다. 핵심은 G가 X의 위상을 보존하면서, 각 점의 궤도가 폐쇄이며, G의 작용이 충분히 “전이적”이면서도 “정밀”하게 제어될 수 있는지 여부이다. 구체적으로, (i) G가 X의 모든 점을 고정하지 않는 자유 작용을 갖고, (ii) G의 궤도들이 서로 겹치지 않으며, (iii) 각 궤도에 대한 거리 구조를 G의 대칭성에 맞게 조정할 수 있어야 한다. 이러한 조건을 만족하면, 적절한 거리 d를 구성하는 과정은 크게 두 단계로 나뉜다. 첫 단계에서는 G의 궤도마다 개별적인 거리 함수를 정의해 각 궤도 안에서 G가 등거리군이 되게 만든다. 두 번째 단계에서는 서로 다른 궤도 사이의 거리 간격을 충분히 크게 잡아, G가 궤도 간 이동을 일으키지 못하도록 한다. 이렇게 하면 전체 공간 X에 대한 거리 d가 정의되고, Iso(X,d)=G 가 성립한다.

다음으로 저자는 G×Y에 대한 일반적인 구성법을 제시한다. 여기서 Y는 임의의 국소 콤팩트 폴란 공간이며, (card G, card Y)≠(1,2)라는 제한은 트리비얼한 예외를 배제한다. G×Y에 대해 거리 d′를 정의할 때, G와 Y 각각에 이미 존재하는 적절한 거리 d_G, d_Y 를 이용한다. 그 후 G와 Y 사이의 “혼합” 거리 항을 추가해, G가 X축 방향으로만 움직이도록 강제한다. 결과적으로 G는 G×Y 전체의 등거리군이 되며, 작용은 자유롭고 전이적이다.

또한 논문은 “거의 전이적”(almost transitive)이라는 개념을 도입한다. 이는 G가 전체 공간을 몇 개의 제한된 궤도로 나누지만, 각 궤도는 서로 동형이며, 거리 구조가 G에 의해 동일하게 유지된다는 뜻이다. 이 조건을 만족하는 국소 콤팩트 폴란 군들은 완전 거리 공간에서 효과적으로 작용하면서도 전체 등거리군이 된다. 저자는 이러한 군들을 정확히 분류하고, 특히 비가환 군 중에서 모든 좌측 불변 거리( left‑invariant metric )가 자동으로 우측 불변( right‑invariant )이 되는 경우를 완전히 규명한다. 이는 군의 중심이 충분히 큰 경우와, 군이 2‑step nilpotent이면서 특정 대수적 제약을 만족할 때 발생한다.

마지막으로, “Iso(X,d)={id}”인 거리들의 조밀성 결과는 위상적·측도론적 의미가 크다. 저자는 X에 임의의 적절한 거리 d₀ 를 잡고, 작은 변형을 가해 dₙ을 만든다. 변형 과정에서 각 점 주변의 작은 구를 비대칭적으로 늘리면, 어떤 비자명한 등거리 변환도 더 이상 존재하지 않게 된다. 이러한 변형을 무한히 반복하면, 모든 dₙ이 원래 거리 공간에서 조밀하게 퍼지며, 결국 “자명한 등거리군만 남는” 거리들의 집합이 전체 적절 거리 공간에서 조밀함을 보인다. 이는 등거리군 구조가 일반적인 적절 거리 위에서 매우 불안정하고, 작은 교란만으로도 완전히 사라질 수 있음을 시사한다.