{{위키데이터 속성 추적}}
[[수학]]에서 '''타이히뮐러 공간'''({{llang|en|Teichmüller space}})은 주어진 (위상수학적) 곡면의 [[복소 구조]]들의 [[모듈라이 공간]]이다. 이는 자연스럽게 [[복소 구조]] 및 다양한 [[계량 텐서|계량]]들을 가진다.

== 역사 및 어원 ==
[[오스발트 타이히뮐러]]({{llang|de|Oswald Teichmüller}})의 이름을 땄다.

== 정의 ==
2차원 [[다양체]] <math>\Sigma</math> 위에 복소 구조들의 집합을 <math>\mathcal J</math>라고 하자. 여기에, 다음과 같은 [[동치관계]]를 정의하자.
:<math>J\sim\phi^*J\forall\phi\in\operatorname{Homeo}_0(\Sigma)</math>
여기서 <math>\operatorname{Homeo}(\Sigma)</math>는 [[위상동형사상]] <math>\phi\colon\Sigma\to\Sigma</math>들의 [[군 (수학)|군]]이며, <math>\operatorname{Homeo}_0(\Sigma)</math>는 그 가운데 단위원([[항등함수]])을 포함하는 [[연결 성분]]인 부분군이다. 이 동치관계에 대한 동치류 <math>\mathcal J/{\sim}=\mathcal T_\Sigma</math>는 자연스럽게 유한차원 [[다양체]]를 이루며, 또한 자연스러운 [[복소 구조]]가 존재한다.

복소 구조의 [[모듈라이 공간]]은 <math>\operatorname{Homeo}_0(\Sigma)</math> 대신 <math>\operatorname{Homeo}(\Sigma)</math>를 사용하여 정의한다. 따라서,
:<math>0\to\operatorname{Homeo}_0(\Sigma)\hookrightarrow\operatorname{Homeo}(\Sigma)\twoheadrightarrow\operatorname{MCG}(\Sigma)\to0</math>
이므로, 복소 구조의 모듈러스 공간은 타이히뮐러 공간에 <math>\operatorname{MCG}(\Sigma)</math>에 대한 [[몫공간]]을 취한 [[오비폴드]]다. 여기서 <math>\operatorname{MCG}(\Sigma)</math>는 <math>\Sigma</math>의 [[사상류군]]({{llang|en|mapping class}})이다. 타이히뮐러 공간과 모듈러스 공간의 차이에 대하여, [[윌리엄 서스턴]]은 다음과 같이 적었다.<ref>Thurston, '' Three-Dimensional Geometry and Topology''</ref>
{{인용문2|
대략, 타이히뮐러 공간에서는 곡면이 어떤 계량을 입고 있는지뿐만 아니라, 곡면이 어떻게 계량을 입고 있는지 또한 중요하다. 모듈러스 공간에서는 같은 계량을 입고 있는 모든 곡면들이 동등하다. 아기옷을 입힐 때 다리를 뒤틀리게 잘못 입힌 적이 있다면, 이 차이를 쉽게 이해할 수 있을 것이다.<br>
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.}}

종수가 <math>g</math>이고, <math>n</math>개의 점을 제거한 리만 곡면 <math>\Sigma_{g,n}</math>의 타이히뮐러 공간을 <math>\mathcal T_{g,n}</math>으로 쓰며, 복소 모듈러스 공간을 <math>\mathcal M_{g,n}</math>이라고 쓴다. 즉,
:<math>\mathcal M_{g,n}=\mathcal T_{g,n}/\operatorname{MCG}(\Sigma_{g,n})</math>
이다.

== 성질 ==
=== 차원 ===
타이히뮐러 공간 <math>\mathcal T_{g,0}</math>의 [[접공간]]은 다음과 같다.
:<math>\mathrm T_\Sigma\mathcal T_{g,0}=\operatorname H^1(\Sigma;T)=\operatorname H^0(\Sigma;2K)^*</math>
여기서
* <math>T=\mathrm T^+\Sigma</math>는 <math>\Sigma</math> 위의 정칙 벡터 다발들의 선다발의 [[인자 (대수기하학)|인자]]이다.
* <math>K=-T=\Omega^{1,0}\Sigma</math>는 [[리만 곡면]]의 [[표준 선다발]]의 [[인자 (대수기하학)|인자]]이다.
두 번째 등식은 [[세르 쌍대성]]에 의한 것이다. 즉, 그 [[공변접공간]]은 [[이차 미분]]([[선다발]] <math>2K</math>의 [[단면 (올다발)|단면]])으로 구성된다.

<math>g>1</math>인 경우, 타이히뮐러 공간 <math>\mathcal T_{g,n}</math>의 차원은 다음과 같다.
:<math>\dim\mathcal T_{g,n}=3g-3+n</math>
<div class="mw-collapsible mw-collapsed toccolours">
'''<math>n=0</math>일 때의 유도:'''
<div class="mw-collapsible-content">
타이히뮐러 공간의 차원은 그 공변접공간의 차원과 같다.
:<math>\dim\mathcal T_{g,0} = \dim \operatorname H^0(\Sigma;2K)</math>
<math>g = 0</math>일 경우, 이는 [[리만 구]]이다. 그 위의 모든 선다발은 <math>\mathcal O(d)</math>의 꼴이며, 그 가운데 대역적 단면을 갖는 것은 자명한 선다발 <math>\mathcal O(0)</math> 밖에 없다. 특히, <math>\dim\operatorname H^0(\Sigma;2K) = 0</math>이며, 타이히뮐러 공간은 [[한원소 공간]]이다.

[[리만-로흐 정리]]에 따라,
:<math>\dim H^0(\Sigma;-K)-\dim H^0(\Sigma;2K)=\deg (- K)+1-g</math>
이다. 그런데
:<math>\deg(-K) = -\deg K = 2-2g</math>
이다. 즉,
:<math>\dim\mathcal M_g=\dim H^0(\Sigma;2K)=3g-3+\dim H^0(\Sigma;T)</math>
이다. 여기서 <math>\dim H^0(\Sigma;T)</math>는 <math>\Sigma</math> 위의 정칙 [[벡터장]]들의 공간의 차원이다. <math>g>1</math>이면 이러한 [[벡터장]]이 존재하지 않으므로,
:<math>\dim\mathcal T_{g,0}=3g-3</math>
이다. <math>g = 1</math>일 경우, 복소수 원환면 전체에 정의되는 정칙 벡터장은 상수 벡터장이며, 그 공간은 1차원이다. 따라서
:<math>\dim\mathcal T_{1,0}=3g-3 + 1 = 1</math>
이다. <math>g = 0</math>일 경우, <math>-K = \mathcal O(\deg K) = \mathcal O(2)</math>이며, <math>\dim\operatorname H^0(\mathcal O(d)) = \max\{d+1,0\}</math>이므로
:<math>\dim\operatorname H^0(\Sigma;-K) = 3</math>
이다. 따라서
:<math>\dim\mathcal T_{0,0} = 3g-3 + 3 = 0</math>
이다.
</div></div>

=== 베유-페테르손 계량 ===
타이히뮐러 공간 위에는 '''베유-페테르손 계량'''({{llang|en|Weil–Petersson metric}})이라는 [[켈러 구조]]가 존재한다. 이는 [[사상류군]]의 작용에 불변이며, 따라서 리만 곡면의 모듈러스 공간 (즉, 복소 구조 모듈러스 공간) 위에도 존재한다.<ref>{{저널 인용|arxiv=0801.0175|이름=Scott A.|성=Wolpert|제목=
The Weil–Petersson metric geometry|bibcode=2008arXiv0801.0175W|날짜=2008|언어=en}}</ref>

이 경우, 임의의 접벡터 <math>\psi,\chi\in T\mathcal M_g\cong H^0(\Sigma;K)</math>에 대하여, '''베유-페테르손 계량'''은 다음과 같다.
:<math>\langle\psi,\chi\rangle=[\Sigma]\frown(\psi\smile\chi)=\int_\sigma\psi\wedge\chi</math>
여기서 우변은 코호몰로지류를 미분 형식으로 나타낸 것이며, 동치류의 원소의 선택에 의존하지 않는다.

=== 콤팩트화 ===
타이히뮐러 공간에는 자연스러운 콤팩트화가 존재한다. 이는 [[윌리엄 서스턴]]이 도입하였고,<ref>{{저널 인용|doi=10.1090/S0273-0979-1988-15685-6|mr=956596|이름=William|성=Thurston|저자링크=윌리엄 서스턴|제목=On the geometry and dynamics of diffeomorphisms of surfaces|저널=Bulletin of the American Mathematical Society|권=19|호=2|쪽=417–431|issn=0273-0979|언어=en}}</ref> '''서스턴 콤팩트화'''({{llang|en|Thurston compactification}})라고 한다.<ref>{{저널 인용|
제목=Sur la compactification de Thurston de l’espace de Teichmüller|이름=Frédéric|성=Paulin|arxiv=math/0604184|bibcode=2006math......4184P|언어=fr}}</ref> 이 밖에도 다른 여러 콤팩트화를 정의할 수 있지만, 서스턴 콤팩트화에서는 [[모듈러 군]]의 작용이 콤팩트화 타이히뮐러 공간 전체에 연속적으로 작용하게 되므로 가장 많이 쓰인다.

모듈러스 공간 <math>\mathcal M_{g,n}</math>의 경우, '''들리뉴-멈퍼드 콤팩트화'''({{llang|en|Deligne–Mumford compactification}}) 또는 '''크누드센-들리뉴-멈퍼드 콤팩트화'''({{llang|en|Knudsen–Deligne–Mumford compactification}}) 또는 '''안정 콤팩트화'''({{llang|en|stable compactification}})가 존재한다.<ref>{{저널 인용|이름=Pierre|성=Deligne|저자링크=피에르 들리뉴|공저자=[[데이비드 멈퍼드|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|url=http://www.numdam.org/item?id=PMIHES_1969__36__75_0|언어=en}}</ref> 들리뉴-멈퍼드 콤팩트화 모듈러스 공간 위에서, 베유-페테르손 계량은 [[완비 거리 공간|완비 계량]]이다.

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

타이히뮐러 공간 <math>\mathcal T_{0,0}</math>, <math>\mathcal T_{0,1}</math>, <math>\mathcal T_{0,2}</math>, <math>\mathcal T_{0,3}</math>은 모두 하나의 점만을 포함한다. 이는 [[뫼비우스 변환]]을 사용하여, 임의의 3개의 점을 다른 임의의 점으로 보낼 수 있기 때문이다. 즉, 서로 다른 3개의 점 <math>z_1,z_2,z_3\in\hat{\mathbb C}</math>이 주어진다면, 다음과 같은 [[뫼비우스 변환]]을 사용해 이들을 각각 <math>0,1,\hat\infty\in\hat{\mathbb C}</math>로 보낼 수 있다.
:<math>z\mapsto\frac{(z-z_1)(z_2-z_3)}{(z-z_3)(z_2-z_1)}</math>

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

일반적으로, 모듈러스 공간 <math>\mathcal M_{0,n}</math>은 다음과 같다.
:<math>\mathcal M_{0,n}=(\hat{\mathbb C}^n\setminus\Delta_n)/\operatorname{PGL}(2;\mathbb C)</math>
여기서
* <math>\Delta_n=\{(z_1,\dots,z_i,\dots,z_n)\in\hat{\mathbb C}^n\colon\exists i\ne j\colon z_i=z_j\}</math>는 두 개 이상의 좌표가 겹치는 점들의 집합이다.
* <math>\operatorname{PGL}(2;\mathbb C)</math>는 <math>\hat{\mathbb C}</math>에 [[군의 작용|작용]]하는 [[뫼비우스 변환]]들의 군이며, <math>\hat{\mathbb C}^n</math>에는 대각형(diagonal)으로 [[군의 작용|작용]]한다.

=== 종수 1 ===
[[파일:ModularGroup-FundamentalDomain-01.png|섬네일|500px|오른쪽|타원 곡선의 모듈러스 공간은 [[상반평면]]의 [[모듈러 군]] [[군의 작용|작용]]에 대한 [[몫공간]]이며, 이는 기본 영역(회색으로 칠해진 영역)으로 나타낼 수 있다.]]
종수 1의 [[리만 곡면]]은 ([[비특이 대수다양체|비특이]] 복소) [[타원 곡선]]이다. 이는 복소 평면에 2차원 격자에 대한 [[몫공간]]을 취해 얻을 수 있다.
:<math>z\mapsto z+n_1\omega_1+n_2\omega_2</math> (<math>n_1,n_2\in\mathbb Z</math>)
복소 구조는 두 주기의 비 <math>\tau=\omega_2/\omega_1</math>에만 의존하게 된다. 이 경우, 복소 구조 모듈러스 공간 <math>\mathcal M_0</math>은 [[상반평면]] <math>\mathbb H</math>에 다음과 같은 [[몫공간]]을 취한 [[오비폴드]]이다.
:<math>\tau\sim\frac{a\tau+b}{c\tau+d}</math> (<math>\begin{pmatrix}a&b\\c&d\end{pmatrix}\in\operatorname{SL}(2,\mathbb Z)</math>)
이 경우, [[사상류군]]
:<math>\operatorname{MCG}(T^2)=\operatorname{SL}(2,\mathbb Z)/(M\sim-M)=\operatorname{PSL}(2,\mathbb Z)=\Gamma</math>
은 '''[[모듈러 군]]'''이라고 한다. 이 경우 타이히뮐러 공간은 물론 <math>\mathcal T_{1,0}=\mathbb H</math>이다.
이 몫공간은 다음과 같은 '''기본 영역'''(基本領域, {{llang|en|fundamental domain}})으로 나타낼 수 있다.
:<math>R=\{\tau\in\mathbb H\colon |\tau|>1,|\operatorname{Re}\tau|<1/2\}</math>

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

<math>\mathcal T_{1,0}</math>, <math>\mathcal T_{1,1}</math>은 모두 복소 [[상반평면]] <math>\mathbb H</math>와 동형이다.

=== 종수 2 이상 ===
종수 2 이상의 경우, 차원 공식에 따라서 복소 모듈러스 공간 및 타이히뮐러 공간은 유한차원이다. 이 경우, 그 [[사상류군]]은 '''타이히뮐러 모듈러 군'''({{llang|en|Teichmüller modular group}})이라고 한다.

== 참고 문헌 ==
{{각주}}
* {{서적 인용|제목=Teichmüller Theory and Applications to Geometry, Topology, and Dynamics. Volume I: Teichmüller Theory|이름=John Hamal|성=Hubbard|출판사=Matrix Editions|url=http://matrixeditions.com/TeichmullerVol1.html|zbl=1102.30001|mr=2245223|isbn=978-0-9715766-2-9|날짜=2006|언어=en}}
* {{서적 인용|제목=An Introduction to Teichmüller Spaces|이름=Yoichi|성=Imayoshi|공저자=Masahiko Taniguchi|출판사=Springer|isbn=78-4-431-68176-2|doi=10.1007/978-4-431-68174-8|날짜=1992|언어=en}}
* {{서적 인용|장=Teichmüller theory|url=http://www.math.uni-bonn.de/people/ursula/parkcity.pdf|zbl= 06211774|이름=Ursula|성=Hamenstädt|제목=Moduli spaces of Riemann surfaces|출판사=American Mathematical Society|isbn=978-0-8218-9887-1|총서= IAS/Park City Mathematics Series|권=20|언어=en}}
* {{저널 인용 | last=Bers | first=Lipman | title=Finite-dimensional Teichmüller spaces and generalizations | doi=10.1090/S0273-0979-1981-14933-8 | mr=621883 | year=1981 | journal=American Mathematical Society. Bulletin. New Series | volume=5 | issue=2 | pages=131–172}}

== 외부 링크 ==
* {{웹 인용|제목=Introduction to Teichmüller theory|이름=Michael|성=Kapovich|url=https://www.math.ucdavis.edu/~kapovich/EPR/T.pdf|날짜=2008-08-31|언어=en}}
* {{Springer|제목=Teichmüller space|이름= M.I.|성=Voitsekhovskii}}
* {{Springer|제목=Riemann surfaces, conformal classes of|이름=S.L.|성=Krushkal’}}
* {{Springer|제목=Weil-Petersson metric|이름=Scott A.|성=Wolpert}}
* {{매스월드|title=Teichmüller space|id=TeichmuellerSpace}}

{{전거 통제}}

[[분류:리만 곡면]]
[[분류:모듈라이 이론]]
[[분류:기하군론]]