수학의 여정
평행선 공준이 무너지고, 삼각형의 내각의 합이 180°보다 작으며, 무한한 세계가 유한한 원판 안에 숨겨진 곳.
1830년, 니콜라이 로바쳅스키와 야노쉬 보요이는 유클리드의 제5 공준(평행선 공준)이 단순히 틀린 것이 아니라, 풍부하고 일관되며 아름답게 틀린 기하학을 독립적으로 발견했습니다.
쌍곡 공간에서는, 주어진 직선 위에 있지 않은 어떤 점을 지나면서 그 직선과 만나지 않는 평행선이 무한히 많이 존재합니다. 공간은 모든 점에서 자기 자신으로부터 멀어지며 휘어집니다. 삼각형의 내각의 합은 180°보다 엄격히 작으며, 더 멀리 갈수록 주변의 공간은 더 빠르게 팽창합니다.
푸앵카레 원판 모델(Poincaré disk model)은 전체 무한한 쌍곡 평면을 열린 단위 원판 안으로 압축하여 보여줍니다. 측지선(쌍곡 기하학의 직선)은 경계원과 직각으로 만나는 원호이거나 지름의 형태로 나타납니다. 바깥쪽 경계원은 실제로는 존재하지 않으며, 무한히 먼 쌍곡 거리에 있는 점들을 나타냅니다.
쌍곡 평면 ℍ²는 상수 가우스 곡률 K = −1을 갖습니다. 푸앵카레 원판 모델의 계량은 ds² = 4(dx²+dy²)/(1−|z|²)²입니다. 거리가 심하게 왜곡되어 있어, 동일한 쌍곡 거리라도 경계에 가까울수록 눈에는 짧아 보입니다.
원판 안의 두 점을 클릭하여 측지선을 그려보세요. "평행선 보기"로 전환하면, 첫 번째 측지선과 결코 만나지 않으면서 세 번째 점을 지나는 수많은 평행선을 볼 수 있습니다.
원판 안을 클릭하여 점을 배치하세요. 모든 곡선은 완벽한 측지선(쌍곡 직선)입니다.
리만 기하학은 단 세 가지의 균질하고 등방적이며 단순히 연결된 상수 곡률 곡면을 제공합니다. 각각의 곡면은 고유한 삼각형 기하학과 평행선 공준을 만족합니다.
평행선이 없습니다 — 모든 대원은 교차합니다. 삼각형 내각의 합은 180°(π)를 초과합니다.
α + β + γ = π + 넓이단 하나의 평행선이 존재합니다. 삼각형 내각의 합은 어느 삼각형이든 정확히 180°(π)입니다.
α + β + γ = π무수히 많은 평행선이 존재합니다. 삼각형 내각의 합은 180°(π)보다 작습니다. 각의 결손이 곧 넓이입니다.
α + β + γ = π − 넓이쌍곡 기하학에서 가장 놀라운 사실: 삼각형의 넓이는 세 변의 길이를 알 필요 없이 오직 세 내각만으로 완전히 결정됩니다.
이것이 실제로 작용하는 가우스–보네(Gauss–Bonnet) 정리입니다. 각의 결손(angle deficit)이 직접적으로 넓이를 측정합니다. 꼭짓점이 무한대에 해당하는 경계원에 가까워질수록 그 꼭짓점의 각도는 0에 수렴합니다.
세 꼭짓점이 모두 경계에 있는 이상 삼각형(ideal triangle)은 모든 각도가 0이며, 최대 넓이인 π를 갖습니다. 모든 이상 삼각형은 서로 합동입니다.
유클리드 기하학에서는 닮음이지만 합동은 아닌 삼각형들이 존재합니다. 쌍곡 기하학에서 이는 불가능합니다: 각이 같으면 변의 길이도 반드시 같아야 합니다. 즉 절대적인 척도(absolute scale)가 존재하며 확대/축소 대칭성이 없습니다.
푸앵카레 원판 위의 주황색 꼭짓점을 드래그해보세요. 각도와 넓이가 실시간으로 갱신되는 것을 관찰하세요.
꼭짓점을 이리저리 옮겨보세요. 넓이는 π에서 내각의 합을 뺀 값입니다.
정다각형 {p, q} 테셀레이션은 정p각형 타일을 사용하여, 각 꼭짓점에 q개의 타일이 만나도록 쌍곡 평면을 빈틈없이 채웁니다. (p−2)(q−2) > 4일 때 이는 쌍곡 테셀레이션이 됩니다. 유클리드 평면에는 오직 세 가지 정규 테셀레이션만 존재하지만, 쌍곡 평면에는 무한히 많은 정규 테셀레이션이 존재합니다. M.C. 에셔(M.C. Escher)는 기하학자 H.S.M. 콕서터(H.S.M. Coxeter)의 도움을 받아 이 패턴들을 바탕으로 한 원 극한(Circle Limit) 목판화 시리즈를 제작했습니다.
유클리드 공간에서 반지름이 r인 원의 둘레는 2πr입니다. 쌍곡 공간에서는 둘레가 다음과 같습니다:
r이 클 때 sinh(r) ≈ eʳ/2 이므로 둘레는 지수적으로 증가합니다. 쌍곡 원판의 넓이 역시 A(r) = 2π(cosh r − 1)로, 지수적으로 증가합니다.
이것이 푸앵카레 원판의 모습을 설명해 줍니다. 쌍곡 기하학의 '단위 폭'만큼 경계 쪽으로 나아갈 때마다 이전 줄보다 지수적으로 많은 수의 타일이 들어가야 합니다. 그래서 타일들이 경계에 가까울수록 지수적으로 작게 압축되는 것처럼 보입니다.
이러한 지수적 팽창은 그로모프 쌍곡성(Gromov hyperbolicity)의 기하학적 핵심이며, 왜 쌍곡 군(hyperbolic group)이 선형 덴 함수(Dehn function)와 해결 가능한 단어 문제(word problem)를 가지는지 설명합니다. 인터넷망, 계통수, 지식 그래프 등 수많은 복잡계 네트워크가 쌍곡 공간에 자연스럽게 내장될 수 있습니다.
단순히 닫힌 종수 3(genus-3)의 곡면처럼 위상(topology)을 고정하더라도, 그 위상 구조가 가질 수 있는 서로 다른 쌍곡 기하학적 구조는 무한히 많습니다. 이러한 모든 기하학적 구조들을 체계적으로 정리해 놓은 공간을 타이히뮐러 공간(Teichmüller space) Tg라고 부릅니다.
종수 g인 곡면을 서로 만나지 않는 3g − 3개의 단순 닫힌 측지선을 따라 자르면, 곡면은 2g − 2개의 바지통(pairs of pants)으로 분해됩니다. (바지통이란 3개의 측지선 경계를 가진 구면을 뜻합니다.) 이때 자른 경계선(솔기)마다 2개의 실수 매개변수가 부여됩니다: 길이 ℓᵢ > 0 (목 부분이 얼마나 넓은지)와 비틀림각 θᵢ ∈ ℝ (다시 붙이기 전에 얼마나 회전시켰는지). 이 좌표계를 펜첼–닐센 좌표계(Fenchel–Nielsen coordinates)라고 부릅니다:
종수 3의 경우: 3g−3 = 6개의 측지선 솔기가 필요하며, 따라서 T₃ ≅ ℝ¹² (6개의 길이 + 6개의 비틀림)이 됩니다. 오른쪽 그림의 곡면은 4개의 바지통이 Y자 모양으로 연결된 구조입니다: 중심부 P₀에 3개의 팔이 있고, 각 팔의 끝은 손잡이(토러스)로 끝납니다. 곡선 γ₁, γ₂, γ₃는 중심부와 각 손잡이를 잇는 목(neck) 부분이며, 곡선 γ₄, γ₅, γ₆는 손잡이 자체가 스스로 연결되어 꿰집어지는 부분입니다.
바일-페터슨 심플렉틱 형식(Weil–Petersson symplectic form)은 펜첼-닐센 좌표계에서 ωWP = Σᵢ dℓᵢ ∧ dθᵢ 이라는 놀랄 만큼 깔끔한 형태를 띱니다. 이를 통해 Tg는 고전 역학의 위상 공간과 동일한 심플렉틱 다양체가 됩니다. 미르자하니(Mirzakhani)의 부피 계산은 이 심플렉틱 구조 위에서 ℓᵢ²에 대한 다항식들을 적분하는 과정입니다.
아래 슬라이더를 움직여보세요. 위쪽 3개의 슬라이더(ℓ₁–ℓ₃)는 목의 폭을 조절합니다 — ℓᵢ → 0 에 가까워질수록 팔 부분이 좁아져 첨점(cusp)처럼 조여집니다. 아래쪽 3개(ℓ₄–ℓ₆)는 각 손잡이의 구멍 크기를 조절합니다 — ℓⱼ → 0 이면 손잡이가 붕괴되고, 커지면 토러스 구멍이 활짝 열립니다. 보이지 않는 6개의 비틀림 θ₁–θ₆는 눈에 보이는 현재의 모양을 바꾸지 않은 채 손잡이를 회전시킬 뿐입니다.
종수 3 곡면: 4개의 바지통(pairs of pants) · 6개의 측지선 솔기(γ₁…γ₆) · T₃ ≅ ℝ¹² (모든 비틀림 = 0으로 설정)
타이히뮐러 공간 Tg는 너무 많은 것을 기억합니다: 기하학적으로는 동일하지만 이름붙이는 방식(마킹)만 다른 곡면들을 서로 다르다고 구분해 버립니다. 모듈라이 공간(moduli space) Mg = Tg / Modg는 곡면의 모든 위상적 대칭성을 모은 군인 사상류군(mapping class group) Modg로 몫(quotient)을 취하여 이 중복을 없앤 공간입니다.
가장 단순하면서 자명하지 않은 예시는 평탄한 토러스(flat tori)의 모듈라이 공간입니다. 모든 복소 토러스는 상반평면 ℍ에 있는 어떤 τ값에 대해 ℂ / (ℤ + τℤ) 형태로 나타납니다. 두 값 τ, τ′가 기하학적으로 동일한 토러스를 나타낼 필요충분조건은 두 값이 PSL(2, ℤ)에 속하는 뫼비우스 변환(Möbius transformation)인 τ′ = (aτ+b)/(cτ+d)로 연결되는 것입니다.
기본 영역(fundamental domain) — 집합 {|τ| ≥ 1, |Re τ| ≤ ½}으로 주어지는 부분 — 안에는 서로 다른 모양을 가진 각 토러스의 대표값이 정확히 하나씩 들어 있습니다. 황금색 점을 드래그하여 τ값이 토러스의 격자 모양을 어떻게 결정하는지 확인해보세요.
기본 영역의 첨점(상단 끝, Im τ → ∞)은 극한으로 얇고 긴 목을 가진 토러스 — 즉 곡면이 퇴화(degeneration)하는 상황에 해당합니다. 모듈라이 공간의 이런 "콤팩트화(compactification)" 방식은 미르자하니의 연구에서 핵심적인 역할을 합니다.
종수 g 곡면의 사상류군은 풍부한 구조를 가진 유한 생성군입니다. 토러스의 경우 사상류군은 PSL(2, ℤ)이며, 경도(longitude) 방향의 덴 비틀림(Dehn twist)과 자오선(meridian) 방향의 덴 비틀림이라는 단 두 개의 원소로 생성됩니다.
상반평면 ℍ에 작용하는 PSL(2, ℤ)의 기본 영역 — 곧 복소 토러스의 모듈라이 공간 ℳ1,1
고정된 쌍곡 곡면 Σ 위에 주어진 길이 L 이하의 단순 닫힌 측지선(자기 자신과 교차하지 않으면서 팽팽하게 당겨진 폐곡선)은 과연 몇 개나 있을까요? L이 매우 클 때, 미르자하니는 다음과 같은 놀라운 식을 증명했습니다:
지수 6g − 6은 타이히뮐러 공간의 차원과 정확히 일치합니다 — 엄청나게 깊은 의미를 지닌 우연의 일치입니다. 또한 표면의 기하학적 형태에 의존하는 상수 c(Σ)가 존재합니다.
비교해보면: 모든 닫힌 측지선의 개수는 eL/L처럼 지수적으로 팽창합니다(소수 측지선 정리). 스스로 교차하지 않는 '단순' 측지선은 이보다 훨씬 희귀하여, 오직 다항식의 속도로만 증가합니다.
미르자하니의 핵심 아이디어: 하나의 고정된 곡면을 바라보지 말고 모든 곡면들에 대해 평균을 내자는 것이었습니다. 종수가 g이고 경계원들의 길이가 b₁,…,bₙ으로 주어졌을 때, 이러한 쌍곡 곡면들을 모두 모아 놓은 모듈라이 공간 Mg,n(b₁,…,bₙ)의 부피를 바일-페터슨 심플렉틱 형식을 이용해 계산했습니다.
미르자하니는 엄청난 위상적 점화식(topological recursion)을 증명했습니다. Vg,n의 부피를 더 작은 위상(g′, n′)을 갖는 곡면들의 부피인 Vg′,n′들로 표현할 수 있다는 것입니다. 이 증명의 핵심 도구가 바로 하나의 첨점을 가지는 쌍곡 곡면의 단순 측지선 위상합이 정확히 1과 같음을 나타내는 기적적인 맥셰인 항등식(McShane identity)입니다.
1990년, 물리학자 에드워드 위튼(Edward Witten)은 2차원 양자 중력(2-dimensional quantum gravity)에 관한 하나의 추측을 제안했습니다. 리만 곡면의 모듈라이 공간 위에서 교차수(intersection numbers) ⟨τd₁ ··· τdₙ⟩g들을 모아 만든 생성 함수가 놀랍게도 KdV 계층(KdV hierarchy)이라는 적분 가능계 방정식들을 만족한다는 것이었습니다.
여기서 ⟨τd₁ ··· τdₙ⟩g는 Mg,n 상의 자연스러운 기하학적 사이클들이 몇 번 교차하는지를 측정하는 유리수이며, 순수하게 대수기하학적인 양입니다.
막심 콘체비치(Maxim Kontsevich)가 1992년 행렬 모델과 리본 그래프를 사용하여 이 교차수 추측을 증명했습니다. 그로부터 15년 후인 2007년, 미르자하니는 완전히 다른 기하학적인 방식으로 이를 재증명했습니다. 그녀가 찾은 부피 점화식을 대수적으로 해독하면, 그것이 곧 KdV 방정식과 동치라는 것을 보여준 것입니다. 즉, 무작위 쌍곡 곡면들의 측지선 개수를 세는 기하학적 문제가 수리 물리학의 적분 가능계 방정식으로 완전히 변환되는 거대한 다리를 놓았습니다.
생성 함수 F(t₀, t₁, …) = Σg,n ℏg−1/n! Σ ⟨τd₁···τdₙ⟩g ∏tᵢ 는 (∂/∂t₀)³F = (∂/∂t₁)F + ½[(∂/∂t₀)²F]² + 1⁄12ℏ (∂/∂t₀)⁴F 를 비롯한 무한히 많은 KdV 방정식 계층을 만족합니다. 미르자하니의 증명은 이를 매우 구체적이고 기하학적으로 보여주었습니다.
당신이 쌍곡 우주 안에서 태어났다고 상상해보세요. 당신의 시각적 경험은 단순히 왜곡된 정도가 아니라 모든 척도에서 다른 지수 법칙이 지배하는, 근본적이고 구조적으로 다른 세상일 것입니다.
당신의 전체 시야가 바로 푸앵카레 원판입니다. 당신이 바라볼 수 있는 모든 방향은 1로 둘러싸인 열린 원판 안의 한 점에 대응됩니다. 빛나는 경계원은 유한한 거리에 있는 벽이 아니라, 끝없이 뻗어가는 모든 측지선 광선이 마침내 도달하는 시각적 지평선을 뜻합니다. 쌍곡 거리 r만큼 멀리 있는 물체는 이 경계 쪽으로 무한히 압축되어 보입니다:
애니메이션 속 테셀레이션의 모든 타일은 쌍곡 기하학의 관점에서 서로 합동입니다 — 같은 모양, 같은 내각, 같은 넓이를 갖습니다. 오직 당신의 유클리드적인 눈에만 그들이 작아지는 것처럼 보일 뿐입니다. 중앙에 있는 원이나, 가장자리에 있는 아주 작은 원이나 기하학적으로 완전히 똑같은 원입니다. 당신은 언제나 당신만의 무한한 세상 중심에 있습니다.
경계원은 ℍ²의 그로모프 경계(Gromov boundary)입니다 — 이는 자연스러운 횔더(Hölder) 구조를 가진 S¹과 위상 동형인 "무한대에서의 방향"들의 공간입니다. ℍ²의 등거리 변환(Isometry)들은 이 경계원 위의 뫼비우스 변환으로 확장됩니다. 이것이 등각 장론(conformal field theory) 경계와 AdS/CFT 홀로그래피의 수학적 토대입니다.
애니메이션은 {7,3} 테셀레이션을 통과하는 부드러운 8자 모양의 산책을 보여줍니다. 원판 내에서의 뫼비우스 위치가 쌍곡 공간에서의 당신의 실제 물리적 위치와 정확하게 일치합니다.
아래는 ℍ³ 내부에서 바라본 1인칭 시점입니다. 바닥은 완벽히 합동인 ℍ² 정사각형들로 채워져 있습니다 — 하지만 지평선 쪽으로 연속되는 정사각형 줄들은 시야의 동일한 너비를 채우기 위해 지수적으로 더 많은 수의 기하학적 정사각형을 사용합니다. 서 있는 나무들의 실제 키나 나무 사이의 간격은 ℍ² 상에서 동일하지만, 유클리드 공간에서보다 지수적으로 훨씬 빠르게 줄어들어 보입니다 (겉보기 크기 ∝ 1/d 대신 1/sinh(d)). 지평선은 유한한 거리의 벽이 아니라 1인칭 관측자로부터 무한히 먼 지평 표면 ∂ℍ³ ≅ S²입니다. 모든 방향은 무한히 뻗어 나가지만, 저 멀리 무한하게 존재하는 숲 전체가 스카이라인 근처의 얇은 띠에 다 몰려 있게 됩니다.
당신의 눈에서 θ 각도로 출발한 두 측지선 광선이 쌍곡 거리 d만큼 나아갔을 때 서로 떨어져 있는 거리는 다음과 같습니다:
유클리드 공식 Δ(d) ≈ θ·d 와 비교해 보세요. d = 5일 때: 쌍곡 분리 거리는 sinh(5)/5 ≈ 14.8배 더 큽니다. 만약 d = 1일 때 두 벽이 거의 평행해 보이더라도, 걷다 보면 d = 3 지점에서는 이미 두 벽 사이가 지수적으로 멀리 떨어져 있게 됩니다.
크기가 s인 어떤 물체가 쌍곡 거리 d만큼 떨어져 있을 때 우리 눈에 차지하는 겉보기 각도는 다음과 같습니다:
유클리드 공간에서는 α = s/d입니다. 하지만 쌍곡 공간에서 d = 5일 때, 친구의 모습은 본래 겉보기 각도의 1/5이 되는 것이 아니라 e−5/2 ≈ 0.7%가 됩니다 — 즉 멀어지면 시야에서 순식간에 사라져 버립니다.
눈부시게 밝은 밤하늘. ℍ³에서 반지름이 r인 구체의 부피는 V(r) = π(sinh(2r) − 2r) ≈ πe²ʳ 로 팽창합니다. 이것은 쌍곡 우주에서 [r, r+1] 거리 대역에 있는 별의 개수가 중심부에 비해 ~e²ʳ배 더 많다는 뜻입니다. 각각의 별들은 우리에게 e−2r배(겉보기 크기의 제곱)만큼 어둡게 보일 것입니다. 따라서 각각의 거리 대역이 우리 밤하늘의 밝기에 기여하는 총합은 모든 거리 대역에서 일정합니다 (쌍곡 올베르스의 역설). 결국 밤하늘은 어느 각도를 보아도 빽빽하게 겹친 지수적으로 많은 별들로 가득 차 눈부시게 밝을 것입니다. 위의 수많은 나무들이 줄지어 있는 영상이 이 현상의 시작을 살짝 보여주고 있습니다.