모노드로미: 두 판 사이의 차이

 

== 정의 ==

폐곡선 <math>\gamma\colon[0,1]\to X</math>가 <math>x</math>에서 시작하고 끝난다고 하자. 즉, <math>\gamma(0)=\gamma(1)=x</math>이다. 그렇다면 이 폐곡선을 피복공간으로 올려({{lang|en|lift}}) <math>\tilde\gamma\colon[0,1]\to\tilde X</math>를 생각할 수 있다. 이 곡선은 더 이상 일반적으로 폐곡선이 아니다. <math>\tilde\gamma</math>가 <math>\tilde x_1\in F</math>에서 시작하여 <math>\tilde x_2\in F</math>에 끝난다고 하자. 이에 따라, 이를 [[기본군]] <math>\pi_1(X,x)</math>의 <math>F</math>에 대한 [[군의 작용]]으로 생각할 수 있다. 이 작용을 '''모노드로미 작용'''({{lang|en|monodromy action}})이라고 하며, [[준동형사상]] <math>\pi_1(X,x)\to\operatorname{Aut}(F)</math>의 [[상 (수학)|상]]을 '''모노드로미 군'''({{lang|en|monodromy group}})이라고 한다.

 

[[파일:Riemann surface log.jpg|thumb|right|복소 로그로 의하여 주어지는 복소 평면의 [[피복공간]]]]

모노드로미는 [[복소해석학]]에서 중요한 역할을 한다. 예를 들어, 복소 [[로그]] <math>\log(z)</math>를 원점을 한 번 도는 폐곡선을 따라 [[해석적 연속]]을 통하여 연장하면, 시작한 점에서 <math>2\pi i</math>만큼 다른 값을 얻는다. 복소 로그를 <math>p\colon\mathbb C\to\mathbb C\setminus\{0\}</math> 꼴의 [[피복공간]]으로 생각하면, <math>x\in\mathbb R^+</math>에 대응하는 올은 <math>F=\{\log(x)+2\pi ni|n\in\mathbb Z\}</math>이다. <math>\mathbb C\setminus\{0\}</math>의 [[기본군]]은 그 감음수로 나타내어지는 <math>\pi_1(\mathbb C\setminus\{0\})=\mathbb Z</math>이므로, 그 모노드로미 작용은 <math>n\colon\log(x)\mapsto\log(x)+2\pi ni</math>임을 알 수 있고, 그 모노드로미 군은 <math>\mathbb Z</math>이다.

 

[[리만 기하학]]의 [[홀로노미]]도 모노드로미의 일종으로 생각할 수 있다.

 

[[분류:복소해석학]]