[논문 리뷰] Deformations of Fuchsian equations and logarithmic connections

Szilárd Szabó|ArXiv.org|2007. 03. 08.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 고정된 국소 모노드로미를 가진 푸크시안 방정식의 보조 매개변수 수가 그에 해당하는 국소 시스템의 모듈리 공간의 차원의 반수임을 기하학적으로 증명한다. 로그 연결의 무한소 변형에 대한 무게 1 히지 필드를 이용하여, 푸크시안 변형을 (1,0)-성분으로 식별하고, 히친 사상이 이러한 변형에서 임의의 점에서 미분 가능하고 일대일임을 확인하며, 오츠키의 추측(푸크시안 방정식의 최대 수의 가짜 특이점에 대한 것)을 증명하고, 연결의 모듈리 공간에 대한 라그랑주 분할을 구축한다.

ABSTRACT

We give a geometric proof to the classical fact that the dimension of the deformations of a given generic Fuchsian equation without changing the semi-simple conjugacy class of its local monodromies (``number of accessory parameters'') is equal to half the dimension of the moduli space of deformations of the associated local system. We do this by constructing a weight 1 Hodge structure on the infinitesimal deformations of logarithmic connections, such that deformations as an equation correspond to the $(1,0)$-part. This answers a question of Nicholas Katz, who noticed the dimension doubling mentioned above. We then show that the Hitchin map restricted to deformations of the Fuchsian equation is a one-to-one etale map. Finally, we give a positive answer to a conjecture of Ohtsuki about the maximal number of apparent singularities for a Fuchsian equation with given semisimple monodromy, and define a Lagrangian foliation of the moduli space of connections whose leaves consist of logarithmic connections that can be realised as Fuchsian equations having apparent singularities in a prescribed finite set.

연구 동기 및 목표

• 푸크시안 방정식의 보조 매개변수 수가 그에 해당하는 국소 시스템의 모듈리 공간 차원의 반수임을 기하학적으로 설명하는 것.
• 니컬러스 캣츠가 제기한, 푸크시안 방정식의 변형에서 차원의 두 배 현상에 대한 질문을 해결하는 것.
• 반단순 모노드로미를 가진 푸크시안 방정식에 대해 최대 가짜 특이점 수에 관한 오츠키의 추측을 증명하는 것.
• 고정된 가짜 특이점 수를 가진 푸크시안 방정식에 대응하는 임의의 리만 표면에서의 연결 모듈리 공간에 대한 라그랑주 분할을 구성하는 것.
• 히친 사상이 푸크시안 방정식의 변형 공간에 제한되었을 때 일대일이고 미분 가능함을 보이는 것.

제안 방법

• 로그 연결의 무한소 변형 공간에 대한 무게 1 히지 필드를 구성하는 것.
• 푸크시안 방정식의 변형을 이 히지 필드의 (1,0)-성분으로 식별하는 것.
• 미분 연산자의 수정된 동반 행렬 형태를 이용해 복소수 위의 호로모르픽 벡터 번들의 로그 연결을 정의하는 것.
• 푸크시안 방정식의 해와 로그 연결의 평행 단면 사이의 이항 대응 관계를 확립하는 것.
• 차원 수와 연속성에 기반한 추론을 통해 가짜 특이점과 실제 특이점에서 온 조건들이 서로 독립임을 증명하는 것.
• 게이지 변환과 극의 행동을 분석함으로써, 히친 사상이 푸크시안 방정식의 변형 공간에서 미분 가능하고 일대일임을 보이는 것.

실험 결과

연구 질문

• RQ1 푸크시안 방정식의 보조 매개변수 수가 그에 해당하는 국소 시스템의 모듈리 공간 차원의 반수인 이유는 무엇인가요?
• RQ2 푸크시안 방정식의 변형에 제한된 히친 사상은 미분 가능하고 일대일인가요?
• RQ3 주어진 반단순 모노드로미를 가진 푸크시안 방정식에서 가능한 최대 가짜 특이점의 수는 얼마인가요?
• RQ4 로그 연결의 모듈리 공간이 고정된 가짜 특이점 수를 가진 푸크시안 방정식에 대응하는 라그랑주 리만 표면으로 분할될 수 있는가요?
• RQ5 두 개의 N-튜플인 가짜 특이점이 연결의 모듈리 공간에서 동일한 부분다양체를 정의하는 조건은 무엇인가요?

주요 결과

• 고정된 반단순 모노드로미를 가진 푸크시안 방정식의 변형 공간의 차원은 그에 해당하는 국소 시스템의 모듈리 공간 차원의 정확히 반수이다.
• 가짜 특이점에서 온 독립 조건의 수는 Nm(m+1)/2이며, 이는 실제 특이점에서 온 (n+1)m−1개의 조건과 독립적이다.
• 고정된 가짜 특이점 a₁,…,a_N을 가진 푸크시안 방정식의 공간 E_{a₁,…,a_N}의 차원은 1−m²+m(m−1)(n+1)/2이며, 이는 기대값 e와 일치한다.
• 푸크시안 방정식의 변형 공간에 제한된 히친 사상은 일대일이고 미분 가능하다.
• e개의 가짜 특이점을 가진 푸크시안 방정식에 대응하는 부분다양체 M_{a₁,…,a_e}는 모듈리 공간 M의 라그랑주 부분다양체이다.
• 가짜 특이점의 위치는 해석적 게이지 변환에 대해 불변이므로, 히지 분해의 (1,0)-성분에 의해 부분다양체 M_{a₁,…,a_e}가 보존됨을 의미한다.