[논문 리뷰] On rational functions orthogonal to all powers of a given rational function on a curve

Fedor Pakovich|ArXiv.org|2009. 10. 12.

Algebraic and Geometric Analysis참고 문헌 20인용 수 18

한 줄 요약

이 논문은 복소곡선 $ \gamma $ 위에서 유리함수 $ P(z), q(z) $에 대해 생성함수 $ f(t) = \sum_{i=0}^\infty \left( \int_\gamma P^i(z) q(z) \, dz \right) t^i $를 연구한다. $ f(t) $에 대한 해석적 표현을 제공하고, 그 유리성과 영성에 대한 조건을 설정하며, 일반적인 경우에서 $ P(z) $의 거듭제곱에 대해 $ q(z) $의 수직성에 대한 완전한 기준을 제시한다. 이는 워머의 정리와 두이스터마트–반더칼렌의 정리와 같은 고전 결과를 일반화한다.

ABSTRACT

In this paper we study the generating function f(t) for the sequence of the moments \int_γP^i(z)q(z)d z, i\geq 0, where P(z),q(z) are rational functions of one complex variable and γis a curve in C. We calculate an analytical expression for f(t) and provide conditions implying the rationality and the vanishing of f(t). In particular, for P(z) in generic position we give an explicit criterion for a function q(z) to be orthogonal to all powers of P(z). Besides, we prove a stronger form of the Wermer theorem, describing analytic functions satisfying \int_{S^1}h^i(z)g^j(z)g'(z)d z=0, i\geq 0, j\geq 0, in the case where the functions h(z),g(z) are rational. We also generalize the theorem of Duistermaat and van der Kallen about Laurent polynomials L(z) whose integral positive powers have no constant term, and prove other results about Laurent polynomials L(z),m(z) satisfying \int_{S^1}L^i(z)m(z)d z=0, i\geq i_0.

연구 동기 및 목표

• 유리함수 $ P(z), q(z) $에 대해 복소곡선 $ \gamma $ 위에서 생성함수 $ f(t) = \sum_{i=0}^\infty \left( \int_\gamma P^i(z) q(z) \, dz \right) t^i $를 분석하며, 특히 그 유리성과 영성에 초점을 맞춘다.
• 특히 $ P(z) $의 일반적인 위치에서 $ q(z) $가 $ \gamma $ 위에서 모든 $ P^i(z) $와 수직이 되는 조건에 대한 완전한 기준을 제공한다.
• 유리함수 $ h, g $에 대해 $ \int_{S^1} h^i g^j g' \, dz $ 형태의 적분이 영이 되는 워머의 정리를 강화하거나 일반화한다.
• 다양형수의 모노드로미와 갈루아 이론적 방법을 통해 다항식 모멘트 문제의 해를 특성화하며, 특히 $ P(z) - z = 0 $의 모노드로미 군의 구조를 중심으로 한다.
• 모노드로미 군에 대한 표현 이론적 및 조합적 도구를 활용하여 생성함수 $ f(t) $가 유리적이지만 기약이 아니게 되는 조건을 설정한다.

제안 방법

• 유리함수 $ P(z), q(z) $의 구조를 활용하여 $ \gamma $를 따라의 잔여 이론과 경로 적분을 이용해 생성함수 $ f(t) $에 대한 명시적 해석적 표현을 유도한다.
• 모노드로미 군 이론을 적용하여 $ P^{-1}(z) $의 분⽀에 대응하는 벡터 $ \vec{v} = (v_1, \dots, v_n) $의 공간 $ M_{P,\gamma} $를 분석하고, 이를 통해 수직성을 특성화한다.
• 드레신 데앙프랑 이론과 순열 표현을 이용하여 다항식 $ P(x) - z $의 갈루아 군 $ G_P $를 분석하고, $ \sum v_i R(P_i^{-1}(z)) = 0 $을 만족하는 유리함수 $ R(t) $를 구성한다.
• 정리 8.2를 적용하여 푸워시에 급수의 체에서 함수방정식을 만족하는 $ \mathbb{C}(z)(t) $에 속하는 유리함수 $ \widehat{R}(t) $의 존재를 보이고, 이로부터 $ q(z) = R(z) P'(z) $를 유도한다.
• 표현 이론을 활용하여 모노드로미 군 $ G $가 원시적이고 관련 표현이 자명 표현과 직교 표현의 합이 아니면, $ f(t) $는 유리적이지만 기약이 아니라는 것을 보인다.
• 모노드로미 군이 $ S_5 $인 라우렌트 다항식 $ L(z) $를 사용하여 구체적인 예를 구성하고, $ Q(L_i^{-1}(z)) $에 대한 수직 조건을 통해 $ f(t) $가 유리적이지만 기약이 아니라는 것을 검증한다.

실험 결과

연구 질문

• RQ1 생성함수 $ f(t) = \sum_{i=0}^\infty \left( \int_\gamma P^i(z) q(z) \, dz \right) t^i $가 유리함수인가? 어떤 조건에서 그러한가?
• RQ2 언제 $ f(t) $가 항등적으로 영이 되는가, 즉 $ q(z) $가 $ \gamma $ 위에서 모든 $ P^i(z) $와 수직이 되는가?
• RQ3 유리함수 $ h(z), g(z) $에 대해 $ \int_{S^1} h^i g^j g' \, dz $ 형태의 적분이 영이 되는 고전적 워머 정리를 더 강화하거나 일반화할 수 있는가?
• RQ4 라우렌트 다항식 $ L(z) $가 주어졌을 때, $ \int_{S^1} L^i(z) q(z) \, dz = 0 $이 모든 $ i \geq i_0 $에서 성립하는 유리함수 $ q(z) $가 존재하는 정확한 조건은 무엇이며, 이때 생성함수는 유리적이지만 기약이 아닌가?
• RQ5 모노드로미 군 $ P(x) - z $가 모멘트 문제 $ \int_\gamma P^i(z) q(z) \, dz = 0 $의 해공간의 구조를 어떻게 결정하는가?

주요 결과

• 생성함수 $ f(t) $는 대수적 함수 $ P^{-1}(z) $의 모노드로미로부터 유도된 명시적 해석적 표현을 가지며, 그 유리성은 $ \mathbb{C}(z) $ 위에서 함수방정식을 만족하는 유리함수 $ R(t) $의 존재와 동치이다.
• 일반적인 위치에 있는 $ P(z) $에 대해, $ q(z) $가 $ \gamma $ 위에서 모든 $ P^i(z) $와 수직이 되는 것은 $ Q(z) = \int q(z) \, dz $가 $ P(z) $와 조합 조건을 만족할 때이고, 이는 고전적 조합 추측을 일반화한다.
• 워머 정리의 더 강력한 형태가 증명된다: 유리함수 $ h(z), g(z) $에 대해 $ \int_{S^1} h^i g^j g' \, dz = 0 $이 모든 $ i,j \geq 0 $에서 성립하는 것은 $ h(z), g(z) $가 $ g $의 모노드로미와 연결된 특정 함수관계를 만족할 때이다.
• 두이스터마트–반더칼렌 정리를 일반화한다: 라우렌트 다항식 $ L(z), m(z) $에 대해 $ \int_{S^1} L^i(z) m(z) \, dz = 0 $이 모든 $ i \geq i_0 $에서 성립하면, $ m(z) $는 특정한 모노드로미 불변 부분공간의 상과 수직이어야 한다.
• 생성함수 $ f(t) $가 유리적이지만 기약이 아닌 예를 구성한다: 모노드로미 군이 $ S_5 $인 라우렌트 다항식 $ L(z) $가 10개의 분⽀에 대해 작용하고, 모든 $ i \geq 0 $에서 $ \int_{S^1} L^i(z) q(z) \, dz = 0 $을 만족하는 유리함수 $ q(z) $가 존재하지만, $ f(t) $는 기약의 의미에서 유리적이지 않다.
• 이러한 비기약 유리 생성함수의 존재는 모노드로미 불변 부분공간 $ M_{L,S^1} $에 벡터 $ \vec{e}_i - \vec{e}_j $가 존재하지 않는다는 사실을 통해 증명되며, 이는 관련 표현이 자명 표현과 직교 표현의 합으로 분해될 수 없다는 것을 의미한다.