수학에서 **타이히뮐러 공간**(영어: Teichmüller space)은 주어진 (위상수학적) 곡면의 복소 구조들의 모듈라이 공간이다. 이는 자연스럽게 복소 구조 및 다양한 계량들을 가진다.

역사 및 어원
-------

오스발트 타이히뮐러(독일어: Oswald Teichmüller)의 이름을 땄다.

정의
--

2차원 다양체 \Sigma  위에 복소 구조들의 집합을 {\mathcal J}라고 하자. 여기에, 다음과 같은 동치관계를 정의하자.

J\sim \phi ^{\*}J\forall \phi \in \operatorname {Homeo}\_{0}(\Sigma )
여기서 \operatorname {Homeo}(\Sigma )는 위상동형사상 \phi \colon \Sigma \to \Sigma 들의 군이며, \operatorname {Homeo}\_{0}(\Sigma )는 그 가운데 단위원(항등함수)을 포함하는 연결 성분인 부분군이다. 이 동치관계에 대한 동치류 {\displaystyle {\mathcal {J}}/{\sim }={\mathcal {T}}\_{\Sigma }}는 자연스럽게 유한차원 다양체를 이루며, 또한 자연스러운 복소 구조가 존재한다.

복소 구조의 모듈라이 공간은 \operatorname {Homeo}\_{0}(\Sigma ) 대신 \operatorname {Homeo}(\Sigma )를 사용하여 정의한다. 따라서,

0\to \operatorname {Homeo}\_{0}(\Sigma )\hookrightarrow \operatorname {Homeo}(\Sigma )\twoheadrightarrow \operatorname {MCG}(\Sigma )\to 0
이므로, 복소 구조의 모듈러스 공간은 타이히뮐러 공간에 \operatorname {MCG}(\Sigma )에 대한 몫공간을 취한 오비폴드다. 여기서 \operatorname {MCG}(\Sigma )는 \Sigma 의 사상류군(영어: mapping class)이다. 타이히뮐러 공간과 모듈러스 공간의 차이에 대하여, 윌리엄 서스턴은 다음과 같이 적었다.

|  |  |  |
| --- | --- | --- |
| "| 대략, 타이히뮐러 공간에서는 곡면이 어떤 계량을 입고 있는지뿐만 아니라, 곡면이 어떻게 계량을 입고 있는지 또한 중요하다. 모듈러스 공간에서는 같은 계량을 입고 있는 모든 곡면들이 동등하다. 아기옷을 입힐 때 다리를 뒤틀리게 잘못 입힌 적이 있다면, 이 차이를 쉽게 이해할 수 있을 것이다.
Informally, in Teichmuller space, we pay attention not just to what metric a surface is wearing, but also to how it is worn. In moduli space, all surfaces wearing the same metric are equivalent. The importance of the distinction will be clear to anybody who, after putting a pajama suit on an infant, has found one leg to be twisted. | "|

종수가 g이고, n개의 점을 제거한 리만 곡면 \Sigma \_{{g,n}}의 타이히뮐러 공간을 {\mathcal T}\_{{g,n}}으로 쓰며, 복소 모듈러스 공간을 {\mathcal M}\_{{g,n}}이라고 쓴다. 즉,

{\mathcal M}\_{{g,n}}={\mathcal T}\_{{g,n}}/\operatorname {MCG}(\Sigma \_{{g,n}})
이다.

성질
--

### 차원

타이히뮐러 공간 {\displaystyle {\mathcal {T}}\_{g,0}}의 접공간은 다음과 같다.

{\displaystyle \mathrm {T} \_{\Sigma }{\mathcal {T}}\_{g,0}=\operatorname {H} ^{1}(\Sigma ;T)=\operatorname {H} ^{0}(\Sigma ;2K)^{\*}}
여기서

* {\displaystyle T=\mathrm {T} ^{+}\Sigma }는 \Sigma  위의 정칙 벡터 다발들의 선다발의 인자이다.
* K=-T=\Omega ^{{1,0}}\Sigma 는 리만 곡면의 표준 선다발의 인자이다.

두 번째 등식은 세르 쌍대성에 의한 것이다. 즉, 그 공변접공간은 이차 미분(선다발 {\displaystyle 2K}의 단면)으로 구성된다.

g>1인 경우, 타이히뮐러 공간 {\mathcal T}\_{{g,n}}의 차원은 다음과 같다.

\dim {\mathcal T}\_{{g,n}}=3g-3+n

**n=0일 때의 유도:**

타이히뮐러 공간의 차원은 그 공변접공간의 차원과 같다.

{\displaystyle \dim {\mathcal {T}}\_{g,0}=\dim \operatorname {H} ^{0}(\Sigma ;2K)}
{\displaystyle g=0}일 경우, 이는 리만 구이다. 그 위의 모든 선다발은 {\displaystyle {\mathcal {O}}(d)}의 꼴이며, 그 가운데 대역적 단면을 갖는 것은 자명한 선다발 {\displaystyle {\mathcal {O}}(0)} 밖에 없다. 특히, {\displaystyle \dim \operatorname {H} ^{0}(\Sigma ;2K)=0}이며, 타이히뮐러 공간은 한원소 공간이다.

리만-로흐 정리에 따라,

{\displaystyle \dim H^{0}(\Sigma ;-K)-\dim H^{0}(\Sigma ;2K)=\deg(-K)+1-g}
이다. 그런데

{\displaystyle \deg(-K)=-\deg K=2-2g}
이다. 즉,

\dim {\mathcal M}\_{g}=\dim H^{0}(\Sigma ;2K)=3g-3+\dim H^{0}(\Sigma ;T)
이다. 여기서 \dim H^{0}(\Sigma ;T)는 \Sigma  위의 정칙 벡터장들의 공간의 차원이다. g>1이면 이러한 벡터장이 존재하지 않으므로,

{\displaystyle \dim {\mathcal {T}}\_{g,0}=3g-3}
이다. {\displaystyle g=1}일 경우, 복소수 원환면 전체에 정의되는 정칙 벡터장은 상수 벡터장이며, 그 공간은 1차원이다. 따라서

{\displaystyle \dim {\mathcal {T}}\_{1,0}=3g-3+1=1}
이다. {\displaystyle g=0}일 경우, {\displaystyle -K={\mathcal {O}}(\deg K)={\mathcal {O}}(2)}이며, {\displaystyle \dim \operatorname {H} ^{0}({\mathcal {O}}(d))=\max\{d+1,0\}}이므로

{\displaystyle \dim \operatorname {H} ^{0}(\Sigma ;-K)=3}
이다. 따라서

{\displaystyle \dim {\mathcal {T}}\_{0,0}=3g-3+3=0}
이다.

### 베유-페테르손 계량

타이히뮐러 공간 위에는 **베유-페테르손 계량**(영어: Weil–Petersson metric)이라는 켈러 구조가 존재한다. 이는 사상류군의 작용에 불변이며, 따라서 리만 곡면의 모듈러스 공간 (즉, 복소 구조 모듈러스 공간) 위에도 존재한다.

이 경우, 임의의 접벡터 \psi ,\chi \in T{\mathcal M}\_{g}\cong H^{0}(\Sigma ;K)에 대하여, **베유-페테르손 계량**은 다음과 같다.

\langle \psi ,\chi \rangle =[\Sigma ]\frown (\psi \smile \chi )=\int \_{\sigma }\psi \wedge \chi 
여기서 우변은 코호몰로지류를 미분 형식으로 나타낸 것이며, 동치류의 원소의 선택에 의존하지 않는다.

### 콤팩트화

타이히뮐러 공간에는 자연스러운 콤팩트화가 존재한다. 이는 윌리엄 서스턴이 도입하였고, **서스턴 콤팩트화**(영어: Thurston compactification)라고 한다. 이 밖에도 다른 여러 콤팩트화를 정의할 수 있지만, 서스턴 콤팩트화에서는 모듈러 군의 작용이 콤팩트화 타이히뮐러 공간 전체에 연속적으로 작용하게 되므로 가장 많이 쓰인다.

모듈러스 공간 {\mathcal M}\_{{g,n}}의 경우, **들리뉴-멈퍼드 콤팩트화**(영어: Deligne–Mumford compactification) 또는 **크누드센-들리뉴-멈퍼드 콤팩트화**(영어: Knudsen–Deligne–Mumford compactification) 또는 **안정 콤팩트화**(영어: stable compactification)가 존재한다. 들리뉴-멈퍼드 콤팩트화 모듈러스 공간 위에서, 베유-페테르손 계량은 완비 계량이다.

예
-

### 종수 0

종수가 0인 리만 곡면은 리만 구면 {\hat {{\mathbb C}}}={\mathbb C}\cap \{{\hat \infty }\}이 유일하다. 즉, 복소 모듈러스 공간 {\mathcal M}\_{0}=\{\bullet \}은 하나의 점만을 포함한다.

타이히뮐러 공간 {\mathcal T}\_{{0,0}}, {\mathcal T}\_{{0,1}}, {\mathcal T}\_{{0,2}}, {\mathcal T}\_{{0,3}}은 모두 하나의 점만을 포함한다. 이는 뫼비우스 변환을 사용하여, 임의의 3개의 점을 다른 임의의 점으로 보낼 수 있기 때문이다. 즉, 서로 다른 3개의 점 z\_{1},z\_{2},z\_{3}\in {\hat {{\mathbb C}}}이 주어진다면, 다음과 같은 뫼비우스 변환을 사용해 이들을 각각 0,1,{\hat \infty }\in {\hat {{\mathbb C}}}로 보낼 수 있다.

z\mapsto {\frac {(z-z\_{1})(z\_{2}-z\_{3})}{(z-z\_{3})(z\_{2}-z\_{1})}}
{\mathcal T}\_{{0,4}}는 1차원으로, 복소 상반평면 {\mathbb H}와 동형이다. 이 경우 복소 모듈러스 공간은 {\mathcal M}\_{{0,4}}\cong {\hat {{\mathbb C}}}\setminus \{0,1,{\hat \infty }\}이다. 여기에 들리뉴-멈퍼드 콤팩트화를 가하면 삭제된 점들이 추가돼 {\hat {{\mathcal M}}}\_{{0,4}}\cong {\hat {{\mathbb C}}}이 된다.

일반적으로, 모듈러스 공간 {\mathcal M}\_{{0,n}}은 다음과 같다.

{\mathcal M}\_{{0,n}}=({\hat {{\mathbb C}}}^{n}\setminus \Delta \_{n})/\operatorname {PGL}(2;{\mathbb C})
여기서

* \Delta \_{n}=\{(z\_{1},\dots ,z\_{i},\dots ,z\_{n})\in {\hat {{\mathbb C}}}^{n}\colon \exists i\neq j\colon z\_{i}=z\_{j}\}는 두 개 이상의 좌표가 겹치는 점들의 집합이다.
* \operatorname {PGL}(2;{\mathbb C})는 {\hat {\mathbb {C} }}에 작용하는 뫼비우스 변환들의 군이며, {\hat {{\mathbb C}}}^{n}에는 대각형(diagonal)으로 작용한다.

### 종수 1

타원 곡선의 모듈러스 공간은 상반평면의 모듈러 군 작용에 대한 몫공간이며, 이는 기본 영역(회색으로 칠해진 영역)으로 나타낼 수 있다.
종수 1의 리만 곡면은 (비특이 복소) 타원 곡선이다. 이는 복소 평면에 2차원 격자에 대한 몫공간을 취해 얻을 수 있다.

z\mapsto z+n\_{1}\omega \_{1}+n\_{2}\omega \_{2} (n\_{1},n\_{2}\in {\mathbb Z})
복소 구조는 두 주기의 비 \tau =\omega \_{2}/\omega \_{1}에만 의존하게 된다. 이 경우, 복소 구조 모듈러스 공간 {\mathcal M}\_{0}은 상반평면 {\mathbb H}에 다음과 같은 몫공간을 취한 오비폴드이다.

\tau \sim {\frac {a\tau +b}{c\tau +d}} ({\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL}(2,{\mathbb Z}))
이 경우, 사상류군

\operatorname {MCG}(T^{2})=\operatorname {SL}(2,{\mathbb Z})/(M\sim -M)=\operatorname {PSL}(2,{\mathbb Z})=\Gamma 
은 **모듈러 군**이라고 한다. 이 경우 타이히뮐러 공간은 물론 {\mathcal T}\_{{1,0}}={\mathbb H}이다.
이 몫공간은 다음과 같은 **기본 영역**(基本領域, 영어: fundamental domain)으로 나타낼 수 있다.

R=\{\tau \in {\mathbb H}\colon |\tau |>1,|\operatorname {Re}\tau |<1/2\}
타원 곡선 모듈라이 공간 {\mathcal M}\_{1}\cong {\mathbb H}/\Gamma 는 위상수학적으로 {\mathbb R}^{2}와 위상동형이다. 여기에 서스턴 콤팩트화(Thurston compactification)을 통해 S^{2}와 위상동형인 콤팩트화 모듈러스 공간 {\hat {{\mathcal M}}}\_{1}을 정의할 수 있다. 이 경우, 추가된 점은 기본 영역에서 z=+i\infty 에 해당한다.
이 경우, 위상동형사상은 j-불변량 j\colon {\hat {{\mathcal M}}}\_{1}\to {\hat {{\mathbb C}}}으로 주어진다.

{\mathcal T}\_{{1,0}}, {\mathcal T}\_{{1,1}}은 모두 복소 상반평면 {\mathbb H}와 동형이다.

### 종수 2 이상

종수 2 이상의 경우, 차원 공식에 따라서 복소 모듈러스 공간 및 타이히뮐러 공간은 유한차원이다. 이 경우, 그 사상류군은 **타이히뮐러 모듈러 군**(영어: Teichmüller modular group)이라고 한다.

참고 문헌
-----

1. ↑  Thurston,  *Three-Dimensional Geometry and Topology*
2. ↑  Wolpert, Scott A. (2008). "The Weil–Petersson metric geometry" (영어). arXiv:0801.0175. Bibcode:2008arXiv0801.0175W.
3. ↑  Thurston, William. "On the geometry and dynamics of diffeomorphisms of surfaces". 《Bulletin of the American Mathematical Society》 (영어) **19** (2): 417–431. doi:10.1090/S0273-0979-1988-15685-6. ISSN 0273-0979. MR 956596.
4. ↑  Paulin, Frédéric. "Sur la compactification de Thurston de l’espace de Teichmüller" (프랑스어). arXiv:math/0604184. Bibcode:2006math......4184P.
5. ↑  Deligne, Pierre; David Mumford. "The irreducibility of the space of curves of given genus". 《Publications Mathématiques de l’Institut des Hautes Études Scientifiques》 (영어) **36** (1): 75–109. doi:10.1007/BF02684599. ISSN 0073-8301. MR 0262240. Zbl 0181.48803.  더 이상 지원되지 않는 변수를 사용함 (도움말)

* Hubbard, John Hamal (2006). 《Teichmüller Theory and Applications to Geometry, Topology, and Dynamics. Volume I: Teichmüller Theory》 (영어). Matrix Editions. ISBN 978-0-9715766-2-9. MR 2245223. Zbl 1102.30001.
* Imayoshi, Yoichi; Masahiko Taniguchi (1992). 《An Introduction to Teichmüller Spaces》 (영어). Springer. doi:10.1007/978-4-431-68174-8. ISBN 78-4-431-68176-2 `|isbn=` 값 확인 필요: length (도움말).  더 이상 지원되지 않는 변수를 사용함 (도움말)
* Hamenstädt, Ursula. 〈Teichmüller theory〉. 《Moduli spaces of Riemann surfaces》 (PDF). IAS/Park City Mathematics Series (영어) **20**. American Mathematical Society. ISBN 978-0-8218-9887-1. Zbl 06211774.
* Bers, Lipman (1981). "Finite-dimensional Teichmüller spaces and generalizations". 《American Mathematical Society. Bulletin. New Series》 **5** (2): 131–172. doi:10.1090/S0273-0979-1981-14933-8. MR 621883.