[논문 리뷰] Moments on Riemann surfaces and hyperelliptic Abelian integrals

Lubomir Gavrilov, Fedor Pakovich|arXiv (Cornell University)|2011. 07. 15.

Advanced Differential Equations and Dynamical Systems참고 문헌 12인용 수 5

한 줄 요약

이 논문은 복소해석학과 대수기하학에서 세 가지 상호연관된 문제를 해결한다: 리만 곡면 위의 모멘트 문제, 사영 평면 상의 0차원 아벨 적분의 소멸, 하이퍼에르미트 아벨 적분의 소멸. 하이퍼에르미트 아벨 적분의 소멸은 관련된 0차원 아벨 적분의 소멸과 동치임을 증명하며, 이는 다항식의 복합 인수분해 조건으로 귀결되며, 유리 함수와 역함수의 함수방정식을 통한 완전한 특성화로 이어진다.

ABSTRACT

In the present paper we solve the following different but interrelated problems: (a) the moment problem on Riemann surfaces, (b) the vanishing problem of polynomial Abelian integrals of dimension zero on the projective plane, (c) the vanishing problem of polynomial hyperelliptic Abelian integrals.

연구 동기 및 목표

• 콤��� 리만 곡면 위에서 유리형 함수 f와 유리형 1형식 ω에 대해 ∫γ fsω의 모멘트가 심지어 소멸하는 필요충분조건을 결정하는 것.
• 특히 다항식의 역함수 브랜치를 포함하는 함수방정식을 통해 사영 평면 상의 0차원 다항식 아벨 적분의 소멸을 특성화하는 것.
• 완전한 하이퍼에르미트 아벨 적분이 심지어 소멸하는 조건을 밝히는 것, 특히 다항식 벡터장의 분기와 힐베르트의 16번 문제와의 관련성에서.
• 적절한 기하학적 및 대수적 조건 하에서 0차원 아벨 적분과 모멘트 문제의 프레임워크를 통해 이러한 문제들을 통합하여 그 상호동치성을 보여주는 것.

제안 방법

• 리만 곡면 위의 모멘트 문제를 0차원 아벨 적분으로 해석된 대수적 함수의 소멸로 환원한다.
• 모멘트 소멸을 분석하기 위해 생성함수 J(t) = ∫γ ω/(f−t)를 사용하며, 이는 유리성과 대수적 구조와 연결된다.
• 다항식 모멘트 문제 및 ℚⁿ의 불변부분공간 결과를 적용하여 0차원 적분의 소멸 조건을 특성화한다.
• 하이퍼에르미트 아벨 적분의 소멸을 y² = f(x) + t로 정의된 리만 곡면 Γₜ 상의 모멘트 문제로 변환한다.
• f + t에 의한 사이클의 영상에 대한 변형 기법을 사용하여 사이클을 임계값 간격에 해당하는 0-사이클로 분해한다.
• 뤼로트 정리와 함수방정식을 활용하여, f와 K가 공통된 오른쪽 복합 인수를 가진다는 것과 K(x₁(t)) ≡ K(x₂(t))가 동치임을 보인다.

실험 결과

연구 질문

• RQ1 유리형 함수 f와 1형식 ω가 콤팩트 리만 곡면 위에 있을 때, 모든 모멘트 ∫γ fsω가 심지어 소멸하는 조건은 무엇인가?
• RQ2 유리수 계수 ai와 다항식 f의 역함수 분지에서 ∑ai g(f⁻¹ᵢ(z)) ≡ 0이 성립하는 조건은 무엇인가?
• RQ3 연속적인 오벌 가 Families에 따라 I(t) = ∫γ(t) (Pdx + Qdy)의 완전한 소멸을 특성화하는 조건은 무엇인가?
• RQ4 하이퍼에르미트 아벨 적분의 소멸은 모멘트 문제와 0차원 아벨 적분과 어떻게 관련되어 있는가?

주요 결과

• 하이퍼에르미트 아벨 적분 I(t)의 소멸은 임계값 간격에 해당하는 0-사이클에서 유도된 관련 0차원 아벨 적분의 소멸과 동치이다.
• I(t) ≡ 0이 되기 위한 필요충분조건은 실계수 다항식 r이 존재하여 f와 K = ∫k이 모두 r에 대한 다항식이면서, 오벌의 끝점에서 r(x₁(t)) ≡ r(x₂(t))임을 의미한다.
• K(x₁(t)) ≡ K(x₂(t)) 조건이 성립하는 것은 f와 K가 공통된 오른쪽 복합 인수를 가진다는 것과 동치이며, 이는 적분이 심지어 소멸함을 의미한다.
• 이 방법은 사이클 γ(t)가 t-평면 상의 경로를 따라 소멸하지 않는다는 가정 없이도 일반적으로 적용 가능하며, 이는 정리 4.1을 정리 4.2 대신 사용함으로써 가능하다.
• 증명은 f + t에 의한 오벌의 영상이 0-사이클 δi(z)가 정의되는 간격들로 분해되며, I(t)의 유리성이 ∫δi(z) K ≡ 0에 의존함을 보여준다.
• 이 결과는 크리스토퍼와 마르데시크의 모스 케이스(k=1)에 대한 이전 연구를 일반화하여, 임의의 실계수 다항식 f(차수 ≥2)로 확장한다.