[논문 리뷰] Différentielles à singularités prescrites

Quentin Gendron, Guillaume Tahar|arXiv (Cornell University)|2017. 05. 09.

Meromorphic and Entire Functions인용 수 9

한 줄 요약

이 논문은 리만 곡면 위의 유리형 $k$-미분형식이 주어진 영점과 극의 차수, 그리고 극에서의 지정된 $k$-잔여치를 가지는지 여부를 조사한다. 대수기하학적 및 기하학적 기법을 사용하여, 종수 $g \geq 2$ 또는 $g=1$ 이면서 $k \neq 2$ 인 경우 모든 기대되는 잔여치 튜플이 실현 가능하다는 것을 입증한다. 반면 종수 0 이며 $k=1$ 또는 $k \geq 3$ 인 경우, 일부 잔여치 튜플은 차단되며, 이에 대한 명시적 특성은 아벨 및 이차 미분형식의 경우에 주어진다.

ABSTRACT

We study the local invariants that a meromorphic $k$-differential on a Riemann surface of genus $g\geq0$ can have. These local invariants are the orders of zeros and poles, and the $k$-residues at the poles. We show that for a given pattern of orders of zeroes, there exists, up to a few exceptions, a primitive $k$-differential having these orders of zero. The same is true for meromorphic $k$-differentials and in this case, we describe the tuples of complex numbers that can appear as $k$-residues at their poles. For genus $g\geq2$, it turns out that every expected tuple appears as $k$-residues. On the other hand, some expected tuples are not the $k$-residues of a $k$-differential in some remaining strata. This happens in the quadratic case in genus $1$ and in genus zero for every $k$. We also give consequences of these results in algebraic and flat geometry.

연구 동기 및 목표

• 주어진 종수 $g \geq 0$ 인 리만 곡면 위에서 유리형 $k$-미분형식이 가지는 영점과 극의 차수, 그리고 $k$-잔여치와 같은 국소적 불변량이 실현 가능한지 판단하는 것.
• 다양한 종수와 $k$에 대해 $k$-미분형식의 극에서 발생할 수 있는 $k$-잔여치의 집합을 특성화하는 것.
• 특히 아벨($k=1$) 및 이차($k=2$) 경우에 주어진 특이점과 잔여치를 가지는 $k$-미분형식의 존재 문제를 해결하는 것.
• 특히 종수 0 및 $k=1$ 또는 $k \geq 3$ 인 경우, 일부 잔여치 튜플이 실현 불가능한 장애를 식별하고 예외적인 경우를 기술하는 것.

제안 방법

• 저자들은 $k$-미분형식의 모듈리 공간을 분석하기 위해 대수기하학과 평탄한 표면 이론을 사용하며, 영점과 극의 차수를 고정한 스트라타에 초점을 맞춘다.
• 그들은 $k$-잔여치 정리(극의 차수의 $k$로의 나눗셈에 기반하여 가능한 $k$-잔여치를 제약하는 정리)를 적용하고, 전역 잔여치 조건 $\sum \operatorname{Res}^k_P(\xi) = 0$ 를 사용한다.
• 종수 $g \geq 2$ 인 경우, 모듈리 공간 내의 변형 및 존재 정리에 의해 모든 기대되는 잔여치 튜플이 실현 가능하다는 것을 보인다.
• 종수 0 인 경우, 그래프 이론적 표현과 잔여치 조건을 사용하여 장애 집합을 분석하며, $k=2$ 인 경우 일부 스트라타에서 2차원 집합 이외의 영역에서는 특정 잔여치 튜플이 실현 불가능하다는 것을 보인다.
• 저자들은 $k$-미분형식에 대한 미탈레프레형 정리와 실린더 분해 및 변환 구조와의 연관성을 활용한다.
• 아벨 미분형식($k=1$)의 경우, 유일하게 누락되는 잔여치 구성은 특정 스트라타에서의 영 튜플 또는 일직선 상의 튜플 뿐임을 보였다.

실험 결과

연구 질문

• RQ1 주어진 종수 $g$ 와 $k$-미분형식 유형 $\mu$ 에 대해, 주어진 영점과 극의 차수를 가지는 유리형 $k$-미분형식의 극에서 실현 가능한 $k$-잔여치 튜플은 무엇인가?
• RQ2 종수 0 인 경우, $k=1$ 또는 $k \geq 3$ 일 때, 어떤 잔여치 튜플이 $k$-미분형식의 $k$-잔여치로 실현 불가능한가?
• RQ3 종수 1에서 이차 미분형식($k=2$)의 경우, 일부 잔여치 튜플이 실현 불가능한 스트라타가 존재하는가? 만약 존재한다면, 몇 개인가?
• RQ4 종수 0에서 $k=2$ 인 경우, 실현 불가능한 잔여치 튜플의 집합의 차원은 얼마이며, 스트라타에 따라 어떻게 변화하는가?
• RQ5 전역 잔여치 조건과 국소적 $k$-잔여치 제약 조건이 서로 어떻게 상호작용하여 다양한 종수와 $k$-형태에서 실현 가능성을 결정하는가?

주요 결과

• 종수 $g \geq 2$ 이거나 $g=1$ 이면서 $k \neq 2$ 인 경우, 모든 기대되는 $k$-잔여치 튜플이 유리형 $k$-미분형식의 $k$-잔여치로 실현 가능하다.
• 종수 0에서 $k=1$ 또는 $k \geq 3$ 인 경우, 실현 불가능한 잔여치 튜플은 유한 개(스케일링을 제외한)이며, 아벨 경우($k=1$)는 오직 영 튜플 또는 일직선 상의 튜플만 예외로 존재한다.
• 종수 1에서 이차 미분형식($k=2$)의 경우, 4개의 스트라타 가족이 각각 하나의 실현 불가능한 잔여치 튜플을 포함하며, 이는 정리 1.2에 명시되어 있다.
• 종수 0에서 $k=2$ 인 경우, 일부 스트라타에서 2차원 집합 이외의 영역에서는 일부 잔여치 튜플이 실현 불가능하다. 이는 정리 1.13에서 보여진다.
• 실현 가능한 $k$-잔여치의 공간은 잔여치 조건 $\sum \operatorname{Res}^k_P(\xi) = 0$ 에 의해 완전히 기술되며, 극의 차수의 $k$로의 나눗셈 여부에 따라 추가 제약 조건이 더해진다. $k$-미분형식의 존재는 이러한 조건이 충분하지 않을 경우에만 차단된다.
• 기본적인 $k$-미분형식의 경우, 스트라타의 차원은 $2g - 2 + n + p + r + s$ 이며, 주어진 특이점과 잔여치를 가지는 이러한 미분형식의 존재는 이 차원과 잔여치 제약 조건 간의 상호작용에 의해 결정된다.