A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line

이 논문은 상대적 (T) 성질을 가진 군이 실선을 비리프시츠 (bi-Lipschitz) 동형사상으로 작용할 수 없다는 장애물을 제시하고, 이를 통해 $\mathbb{F}_2\ltimes\mathbb{Z}^2$의 반직곱에 대한 리프시츠 상수의 하한과 순서화 가능 군 쌍에 대한 카즈단 상수의 상한을 도출합니다.

핵심

🎬 제목: "단단한 고리 vs 유연한 고무줄: 수학적 충돌의 이야기"

1. 등장인물 소개

• 단단한 고리 (Property (T) 를 가진 그룹):
  이 그룹은 마치 아주 단단하게 묶인 고리나 강철 덩어리처럼 생각할 수 있습니다. 이 그룹의 원소들은 서로 너무 밀접하게 연결되어 있어서, 외부의 힘 (다른 공간으로의 이동) 을 가해도 그 구조가 쉽게 무너지지 않습니다. 수학자들은 이 그룹이 "유연하게 변형될 수 없다"는 특징을 가졌다고 말합니다.
• 유연한 고무줄 (실수선 $\mathbb{R}$ 위의 움직임):
  이는 우리가 아는 실수선 (수직선) 위를 움직이는 것들입니다. 어떤 점 $x$를 다른 점 $y$로 옮길 때, 고무줄처럼 늘어나거나 줄어들 수 있습니다. 하지만 이 논문에서는 **"비-리프시츠 (bi-Lipschitz)"**라는 규칙을 따르는 움직임을 다룹니다.
  • 비유: 고무줄을 당길 때, 너무 많이 늘어나거나 (10 배), 너무 많이 줄어들지 (0.1 배) 않도록 제한된 범위 내에서만 늘어나는 고무줄이라고 생각하세요. 이 '제한된 범위'를 **리프시츠 상수 (Lipschitz constant)**라고 부릅니다. 값이 1 에 가까울수록 고무줄은 거의 늘어나지 않고 딱딱하게 유지되는 것입니다.

2. 핵심 질문: "단단한 고리가 유연한 고무줄 위에서 춤출 수 있을까?"

수학자들은 오랫동안 궁금해했습니다. "단단하게 묶인 고리 (Property (T) 그룹) 가 유연한 고무줄 (실수선) 위에서 움직일 수 있을까?"

• 기존의 생각: 단단한 고리는 움직일 수 없다. (아니면, 움직이려면 고무줄이 너무 많이 늘어나야 한다.)
• 이 논문의 발견: "단단한 고리가 움직이려면, 고무줄이 반드시 일정 수준 이상으로 늘어나야 한다"는 것을 증명했습니다. 즉, 고무줄이 너무 딱딱하게 (1 에 가깝게) 유지된 채로는 단단한 고리가 움직일 수 없다는 거죠.

3. 주요 발견: "불가피한 늘어남"

저자는 다음과 같은 놀라운 사실을 찾아냈습니다.

"만약 어떤 그룹이 '단단한 고리 (Property (T))'의 성질을 가지고 있다면, 그 그룹이 실수선 위에서 움직일 때, 가장 많이 늘어나는 고무줄의 비율 (리프시츠 상수) 은 절대 1 에 가까워질 수 없다."

비유로 설명하자면:
당신은 단단한 철제 로봇 (Property (T) 그룹) 을 가지고 있습니다. 이 로봇이 고무줄로 된 바닥 (실수선) 위를 걷고 싶다고 합시다.

• 만약 바닥이 너무 딱딱해서 (리프시츠 상수 $\approx$ 1), 로봇이 한 걸음을 내디딜 때마다 바닥이 조금도 늘어나지 않는다면?
• 로봇은 그 바닥 위에서 걸을 수 없습니다. 로봇의 다리 구조가 바닥의 딱딱함과 충돌하기 때문입니다.
• 로봇이 걸으려면, 바닥이 적어도 일정 정도는 늘어나야 (리프시츠 상수가 1.24 이상이어야 함) 로봇이 그 힘을 견디며 움직일 수 있습니다.

이 논문은 그 **'최소한의 늘어남' (하한선)**을 정확히 계산해냈습니다.

4. 구체적인 예시: "자유로운 두 친구와 두 개의 점"

논문의 가장 구체적인 예시는 $F_2 \ltimes \mathbb{Z}^2$라는 그룹입니다.

• $F_2$: 두 개의 자유로운 친구 (자유군).
• $\mathbb{Z}^2$: 두 개의 점 (격자).
• 이 두 친구가 두 점을 움직이는 방식입니다.

이 그룹은 '단단한 고리 (Property (T))'의 성질을 가지고 있습니다. 저자는 이 그룹이 실수선 위에서 움직일 때, 가장 많이 늘어나는 고무줄의 비율이 약 1.24 이상이어야 한다는 것을 증명했습니다.
즉, "이 그룹이 움직이려면 고무줄이 최소 24% 이상은 늘어나야 해!"라고 선언한 것입니다.

5. 왜 이것이 중요한가? (질문 1.7)

수학계에는 아직 풀리지 않은 거대한 질문이 하나 있습니다.

"단단한 고리 (Property (T)) 를 가진 그룹이, 순서대로 나열할 수 있는 (Orderable) 그룹이 될 수 있을까?"

• 순서대로 나열할 수 있는 그룹: 실수선 위에서 움직일 수 있는 그룹입니다. (예: $1 < 2 < 3$처럼 순서가 명확한 것들)
• 이 논문의 결론: 만약 그런 그룹이 존재한다면, 그 그룹의 '단단함 (Kazhdan constant)'은 생긴 크기 (생성 집합의 크기) 에 따라 제한을 받습니다.
  • 즉, 너무 단단한 고리는 실수선 위에서 움직일 수 없습니다. 너무 단단하면 고무줄이 찢어지거나, 반대로 고무줄이 너무 늘어나야 하므로 불가능해집니다.

6. 요약: 이 논문의 메시지

이 논문은 **"단단한 구조 (Property (T)) 와 유연한 공간 (실수선) 은 서로 양립하기 어렵다"**는 것을 수학적으로 증명했습니다.

• 상징: 단단한 고리가 고무줄 위에서 춤추려 할 때, 고무줄은 반드시 일정 이상 늘어나야 한다.
• 결과: 만약 고무줄이 너무 딱딱하다면 (리프시츠 상수가 1 에 가깝다면), 그 단단한 고리는 그곳에 존재할 수 없다.
• 의미: 이는 수학자들이 "어떤 그룹이 실수선 위에서 움직일 수 있는가?"를 판단할 때, 그 그룹이 얼마나 '단단한지'를 측정하는 새로운 자 (리프시츠 상수) 를 제공해 줍니다.

한 줄 요약:

"단단한 고리 (Property (T) 그룹) 가 유연한 고무줄 (실수선) 위에서 움직이려면, 고무줄이 최소한 1.24 배 이상은 늘어나야만 한다. 그보다 딱딱하면 움직일 수 없다!"

기술 요약

이 논문은 실수선 (R) 위의 비리프시츠 (bi-Lipschitz) 동형사상 군과 **상대적 성질 (T) (Relative Property (T))**을 가진 군 사이의 연결 고리를 규명하고, 이를 통해 리프시츠 상수 (Lipschitz constant) 와 카즈단 상수 (Kazhdan constant) 간의 정량적 관계를 도출한 연구입니다. Ignacio Vergara 가 저자이며, 2024 년 7 월에 제출된 arXiv 논문입니다.

다음은 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem Statement)

• 배경: 성질 (T) (Property (T)) 을 가진 유한 생성 군이 실수선 $\mathbb{R}$ 위에 방향을 보존하는 동형사상 (orientation-preserving homeomorphisms) 으로 충실하게 작용할 수 있는지는 오랫동안 열린 문제였습니다.
• 상대적 성질 (T): 완전한 성질 (T) 은 아니지만, 부분군 $\Gamma$에 대한 상대적 성질 (T) 을 만족하는 군들 (예: $F_2 \ltimes \mathbb{Z}^2$) 은 $\mathbb{R}$ 위에 작용할 수 있음이 알려져 있습니다.
• 핵심 질문: 이러한 작용이 **비리프시츠 (bi-Lipschitz)**이고 **유계 변위 (bounded displacement)**를 가질 때, 리프시츠 상수 (BiLip) 와 카즈단 상수 (Kazhdan constant) 사이에는 어떤 제약이 존재하는가?
• 구체적 목표:
  1. 리프시츠 상수가 1 에 임의로 가까워지는 작용이 존재할 수 있는지를 판별하는 장애물 (obstruction) 을 규명.
  2. $F_2 \ltimes \mathbb{Z}^2$와 같은 구체적인 군에 대해 리프시츠 상수의 하한을 명시적으로 계산.
  3. 가역적 (orderable) 인 군이 성질 (T) 을 가질 수 있는지에 대한 제약 조건을 카즈단 상수를 통해 도출.

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구들을 결합하여 논증을 전개합니다.

• 초한극한 (Ultralimits) 과 작용의 극한:
  • 리프시츠 상수가 1 로 수렴하는 작용들의 수열을 가정하고, 이를 초한극한 (ultralimit) 을 통해 극한 작용을 구성합니다.
  • 이 극한 작용이 평행 이동 (translations) 이 되며, 이는 군이 무한 아벨 몫을 가짐을 의미합니다. 이는 성질 (T) 을 가진 군과 모순이 되어, 리프시츠 상수가 1 에 너무 가까울 수 없음을 보입니다 (Proposition 1.2).
• $L^p$ 공간과 Koopman 표현:
  • 군의 작용에 대한 Koopman 표현 $\pi: G \to O(L^p(\mathbb{R}))$을 고려합니다.
  • $L^2$ 공간 (힐베르트 공간) 과 $L^p$ 공간 ($p \ge 2$) 사이의 관계를 Mazur map을 통해 연결합니다.
  • 성질 (T) 이 $L^p$ 표현에서도 유사한 성질을 만족한다는 정량적 버전 (Proposition 3.3) 을 활용합니다.
• 카즈단 상수와 리프시츠 상수의 부등식 유도:
  • $p=2$인 경우와 $p \to \infty$인 경우를 각각 분석하여 두 가지 다른 상한 (upper bound) 을 유도합니다.
  • 이를 결합하여 카즈단 상수 $\kappa$와 리프시츠 상수 $L$ 사이의 함수 관계 $\Phi$를 정의합니다.

3. 주요 결과 (Key Results)

3.1. 주요 정리 (Theorem 1.4)

유한 생성 부분군 $G \subset \text{BiLip}_{bd}^+(\mathbb{R})$와 고정점이 없는 부분군 $\Gamma$에 대해, $(G, \Gamma)$가 성질 (T) 을 가진다면, 임의의 유한 생성 집합 $S$에 대해 다음 부등식이 성립합니다:
$$\max_{g \in S} \text{BiLip}(g) \ge \Phi(\kappa(G, \Gamma, S))$$
여기서 $\Phi: [0, \sqrt{2}) \to [1, \infty)$는 다음과 같이 정의된 단조 증가 함수입니다:
$$\Phi(t) = \max \left\{ e^{2t}, 4(2-t^2)^{-2} \right\}$$
이는 카즈단 상수가 양수이면, 리프시츠 상수가 1 보다 충분히 커야 함을 의미합니다.

3.2. $F_2 \ltimes \mathbb{Z}^2$에 대한 구체적 하한 (Theorem 1.6)

Shalom 의 정량적 성질 (T) 결과와 위 정리를 결합하여, $F_2 \ltimes \mathbb{Z}^2$의 특정 생성 집합 $S=\{R, T, e_1, e_2\}$에 대해 다음과 같은 하한을 얻었습니다:
$$\max_{g \in S} \text{BiLip}(\sigma(g)) \ge \exp\left( \frac{\sqrt{26}-4}{5} \right) \approx 1.24$$
이는 해당 군이 실수선 위에서 리프시츠 상수가 1.24 미만인 비리프시츠 작용을 가질 수 없음을 보여줍니다.

3.3. 가역적 군 (Orderable Groups) 에 대한 결과 (Corollary 1.8)

가역적 (left-orderable) 인 유한 생성 군 $G$와 부분군 $\Gamma$가 $(G, \Gamma)$가 성질 (T) 을 가진다면, 생성 집합 $S$의 크기 $|S|$에 따라 카즈단 상수가 제한받습니다:
$$\kappa(G, \Gamma, S) \le \Phi^{-1}(|S|)$$
이는 가역적 군이 성질 (T) 을 가질 수 있다면, 그 카즈단 상수가 생성 집합의 크기에 의해 상한이 정해져야 함을 의미합니다.

4. 논의 및 의의 (Significance)

• 성질 (T) 과 작용의 불일치: 성질 (T) 을 가진 군은 일반적으로 "강한" 군 구조를 가지며, 이는 $\mathbb{R}$과 같은 1 차원 다양체에서의 부드러운 작용 (리프시츠 상수가 1 에 가까운) 과 양립하기 어렵다는 것을 정량적으로 증명했습니다.
• 정량적 장애물: 기존에 존재했던 질적인 결과 (qualitative obstruction) 를 넘어, 리프시츠 상수와 카즈단 상수 사이의 구체적인 함수 관계를 제시함으로써, 구체적인 군의 작용에 대한 수치를 계산할 수 있는 도구를 제공했습니다.
• 가역적 군과 성질 (T) 의 관계: "가역적 군이 성질 (T) 을 가질 수 있는가?"라는 유명한 열린 문제에 대한 새로운 관점을 제시했습니다. 비록 직접적인 반례를 제시하지는 않았지만, 만약 그러한 군이 존재한다면 그 카즈단 상수가 생성 집합의 크기에 의해 엄격하게 제한받아야 함을 보였습니다.
• 기하학적 군론의 발전: $L^p$ 공간의 표현론과 기하학적 군론 (Geometric Group Theory) 을 결합하여, 군의 대수적 성질 (성질 T) 이 기하학적 성질 (리프시츠 상수) 에 미치는 영향을 규명한 중요한 사례입니다.

5. 결론

이 논문은 성질 (T) 을 가진 군이 실수선 위에서 "매끄럽게" (리프시츠 상수가 1 에 가까우며) 작용하는 것을 방해하는 강력한 정량적 장벽을 발견했습니다. 특히 $F_2 \ltimes \mathbb{Z}^2$와 같은 구체적인 예시를 통해 이 이론이 실제 수치로 적용 가능함을 보였으며, 가역적 군의 성질 (T) 존재 가능성에 대한 새로운 제약을 제시함으로써 관련 분야의 연구에 중요한 기여를 했습니다.