타이히뮐러 공간

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수학에서, 타이히뮐러 공간(영어: 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)는 그 가운데 단위원(항등함수)을 포함하는 연결 성분인 부분군이다. 이 동치관계에 대한 동치류 \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)\to0

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

대략, 타이히뮐러 공간에서는 곡면이 어떤 계량을 입고 있는지뿐만 아니라, 곡면이 어떻게 계량을 입고 있는지 또한 중요하다. 모듈러스 공간에서는 같은 계량을 입고 있는 모든 곡면들이 동등하다. 아기옷을 입힐 때 다리를 뒤틀리게 잘못 입힌 적이 있다면, 이 차이를 쉽게 이해할 수 있을 것이다.
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})

이다.

성질[편집]

차원[편집]

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

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

이는 다음과 같이 유도할 수 있다. 종수 g리만 곡면 \Sigma_g의 모듈러스 공간 \mathcal M_g의 접공간은 반정칙 미분 \bar\partial의 변형에 의하여 매개변수화된다. 즉,

\bar\partial\mapsto\bar\partial+\mu\partial

의 꼴이다. 여기서 \mu\in\Gamma(T\Sigma\otimes T^*\Sigma)는 (1,1)-텐서장으로, 임의의 \xi\in\Gamma(T\Sigma)에 대하여 \mu\mu+\bar\partial\xi는 같은 복소 구조를 나타낸다. 따라서 복소 구조의 접공간은 다음과 같다.

T_\Sigma\mathcal M_g=H^1(\Sigma;T)=H^0(\Sigma;2K)

여기서

두 번째 등식은 세르 쌍대성에 의한 것이다.

리만-로흐 정리에 따라,

\dim H^0(\Sigma;-K)-\dim H^0(\Sigma;2K)=-\deg K-g+1=-3g+3

이다. 즉,

\dim\mathcal M_g=\dim H^0(\Sigma;2K)=3g-3+\dim H^0(\Sigma;T)

이다. 여기서 \dim H^0(\Sigma;T)\Sigma의 자기미분동형군 \operatorname{Diff}(\Sigma)의 차원이다. g>1이면 자기미분동형군은 더 이상 연속적이지 않으므로,

\dim\mathcal M=3g-3

이다.

베유-페테르손 계량[편집]

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

이 경우, 임의의 접벡터 \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

여기서 우변은 코호몰로지류를 미분 형식으로 나타낸 것이며, 동치류의 원소의 선택에 의존하지 않는다.

콤팩트화[편집]

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

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

[편집]

종수 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\ne 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. Bibcode2008arXiv0801.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. MR956596. ISSN 0273-0979.
  4. (프랑스어) Paulin, Frédéric. Sur la compactification de Thurston de l’espace de Teichmüller. arXiv:math/0604184. Bibcode2006math......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. MR0262240. Zbl 0181.48803. ISSN 0073-8301.

바깥 고리[편집]