[논문 리뷰] Transcendance de périodes: état des connaissances

Michel Waldschmidt|arXiv (Cornell University)|2005. 02. 28.

Analytic Number Theory Research참고 문헌 16인용 수 7

한 줄 요약

이 논문은 라이프슈츠 함수의 적분으로 정의된 실수 또는 복소수인 주기의 산술적 성질에 대한 현재 지식의 종합적 조사를 제공한다. 주기의 초월성, 무리성, 디오판틴 스케일링 근사에 대해 다루며, 주요 정리(예: 로그에 대한 베커의 정리), 추측(예: 콘체비치-자지어 추측), 특히 고전적 및 양의 특성 설정에서의 특수 함수(예: 감마 및 제타 함수)의 주기 값에 대한 선형적·대수적 독립성에 관한 정량적 결과를 강조한다.

ABSTRACT

Les nombres réels ou complexes forment un ensemble ayant la puissance du continu. Parmi eux, ceux qui sont intéressants, qui apparaissent naturellement, qui méritent notre attention, forment un ensemble dénombrable. Dans cet état d'esprit nous nous intéressons aux périodes au sens de Kontsevich et Zagier. Nous faisons le point sur l'état de nos connaissances concernant la nature arithmétique de ces nombres: décider si une période est un nombre rationnel, algébrique irrationnel ou au contraire transcendant est l'objet de quelques théorèmes et de beaucoup de conjectures. Nous précisons aussi ce qui est connu sur l'approximation diophantienne de tels nombres, par des nombres rationnels ou algébriques.

연구 동기 및 목표

• 콘체비치와 자지어가 정의한 주기의 산술적 성질에 대한 현재 지식 상태를 조사하는 것.
• 주기가 유리수, 대수적 수, 또는 초월수인지 확인하고, 초월성을 증명하는 데서 발생하는 과제를 분석하는 것.
• 유리수 또는 대수적 수에 의한 주기의 디오판틴 스케일링 근사, 특히 정량적 측정을 포함하여 분석하는 것.
• 특히 함수체에서의 제타 및 감마 함수에 대해 양의 특성에서의 유사체를 탐색하는 것.
• 주기의 콘체비치-자지어 추측과 함수체에서의 로흐리히-랭 추측과 같은 주요 추측의 상태를 평가하는 것.

제안 방법

• 베이커의 로그 선형형식 이론을 포함한 초월수 이론 도구를 사용하여 주기의 알려진 결과를 조사하는 것.
• 리우빌 유형 부등식과 높이 기반 복잡도 측정을 적용하여 대수적 수에 의한 주기 근사의 상한을 구하는 것.
• 대수적 도메인에서 유리 함수의 적분을 분석하여 그 산술적 성질(초월 또는 대수적)을 결정하는 것.
• 양의 특성에서 t-모듈 및 드리플린 모듈 이론을 사용하여 감마 함수 값의 대수적 독립성을 연구하는 것.
• 리만 제타 및 감마 함수의 유사체를 통해 고전적 결과를 함수체로 확장하는 것.
• 안더슨, 타쿠르, 파파니콜라스의 작업을 포함하여, 양의 특성에서의 독립성 측정 및 L-함수의 특수값 결과를 활용하는 것.

실험 결과

연구 질문

• RQ1 모든 주기는 초월수일까, 일부는 대수적 또는 유리수일 수 있을까?
• RQ2 리우빌 부등식과 유사하게, 주기와 유리수 또는 대수적 수 사이의 거리에 대한 효과적인 하한을 설정할 수 있을까?
• RQ3 양의 특성에서 특수 함수(예: 감마 및 제타 함수)의 값의 대수적 독립성의 구조는 어떠한가?
• RQ4 영특성에서의 주기 관련 알려진 결과가 함수체로 얼마나 확장될 수 있을까?
• RQ5 적분 표현 기반의 복잡도 측정을 사용하여 콘체비치-자지어 주기 추측을 검증하거나 개선할 수 있을까?

주요 결과

• 주기는 Q-대수를 이룬다. 따라서 모든 대수적 수는 주기이지만, 대부분의 주기의 초월성은 아직 증명되지 않았다.
• 베이커의 정리에 따르면, 대수적 수의 로그의 비영인 선형 조합은 초월수이다. 이는 많은 유리 함수의 적분의 초월성을 암시한다.
• 타원적분의 경우, 슈나이더의 정리에 따르면 값은 대수적 또는 초월수이며, 일반적으로 특별한 대칭이 발생하지 않는 한 초월수이다.
• 양의 특성에서 오일러의 상수는 Fq(T) 위에서 초월수임이 앤더슨과 타쿠르에 의해 증명되었다.
• 타쿠르의 함수 감마는 델리뉴-앤더슨-타쿠르 관계에 의해 완전히 설명되는 방식으로 대수적으로 독립적이다. 모든 대수적 의존성은 계산되어 있다.
• 함수체에서는 감마 함수 값의 대수적 독립성이 알려진 함수방정식에 의해 완전히 결정되며, 이는 고전적 설정에서는 아직 달성되지 못한 결과이다.