[논문 리뷰] Algebraically motivated normal functions are algebraic

Jeff Achter, Sebastian Casalaina‐Martin외 1명|arXiv (Cornell University)|2018. 10. 17.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 1

한 줄 요약

이 논문은 매끄러운 복소수 프로젝티브 다양체의 가중치에서 유래한 대수적으로 자명한 사이클 계열에 의해 생성되는 정규 함수가 대수적임을 증명하며, 그 정의가 기저 체 위에 정의됨을 보여준다. 이는 Charles와 Kerr-Pearlstein의 추측을 증명하며, 그들의 영점이 대수적임과 동시에 정의된 체 위에 정의됨을 보이며, Saito, Brosnan-Pearlstein 및 Schnell의 괴로운 정규 함수의 영점에 관한 결과의 특수한 경우에 대한 간결한 증명을 제공한다.

ABSTRACT

For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. As a consequence, we prove a conjecture of Charles and Kerr-Pearlstein, that zero loci of normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, this gives a short proof of a special, algebraically motivated case of a result of Saito, Brosnan-Pearlstein, and Schnell, conjectured by Green-Griffiths, on zero loci of admissible normal functions.

연구 동기 및 목표

• 매끄러운 복소수 프로젝티브 다양체의 가중치에서 유래한 대수적으로 자명한 사이클 계열에 의해 생성되는 정규 함수의 대수성을 확립하는 것.
• 그러한 정규 함수의 영점이 기저 체 위에 정의된 대수적 부분다양체임을 증명하는 것.
• Saito, Brosnan-Pearlstein 및 Schnell의 괴로운 정규 함수의 영점에 관한 결과의 특수한 경우에 대한 짧고 직접적인 증명을 제공하는 것.
• Charles와 Kerr-Pearlstein의 영점의 대수성에 관한 추측을 확인하는 것.

제안 방법

• 매끄러운 복소수 프로젝티브 다양체의 가중치에서 정규 함수 이론을 활용하는 것.
• 대수기하학 기법을 적용하여 대수적으로 자명한 사이클과 관련된 정규 함수가 대수적임을 보이는 것.
• 사이클의 대수적 자명성이 관련된 정규 함수의 대수성으로 이어짐을 이용하는 것.
• 기저 체에 대한 불변성 논증을 활용하여 함수 및 그 영점이 가중치의 정의 체 위에 정의됨을 보이는 것.
• 호모로지의 변형 구조의 구조를 이용하여 정규 함수의 행동을 분석하는 것.
• Saito, Brosnan-Pearlstein 및 Schnell의 알려진 결과를 기반으로 하되, 대수적 동기를 가진 경우에 대해 간결한 증명을 제공하는 것.

실험 결과

연구 질문

• RQ1 매끄러운 복소수 프로젝티브 다양체의 가중치에서 유래한 대수적으로 자명한 사이클 계열에 의해 생성된 정규 함수는 대수적인가?
• RQ2 그러한 정규 함수의 영점은 기저 체 위에 정의된 대수적 부분다양체를 이룬다?
• RQ3 Charles와 Kerr-Pearlstein의 영점의 대수성에 관한 추측을 증명할 수 있는가?
• RQ4 사이클의 대수적 자명성이 관련된 정규 함수의 대수성으로 이어지는가?
• RQ5 Saito, Brosnan-Pearlstein 및 Schnell의 괴로운 정규 함수에 관한 결과의 특수한 경우에 대해 짧은 증명을 줄 수 있는가?

주요 결과

• 대수적으로 자명한 사이클 계열에 의해 생성된 정규 함수는 대수적이며, 그 가중치의 정의 체 위에 정의된다.
• 그러한 정규 함수의 영점은 기저 가중치의 대수적 부분다양체이다.
• 영점은 가중치와 동일한 체 위에 정의되어 있으며, 산술적 구조를 유지한다.
• 이 결과는 Charles와 Kerr-Pearlstein의 영점의 대수성에 관한 추측을 확인한다.
• Saito, Brosnan-Pearlstein 및 Schnell의 일반 결과에 비해 대수적 동기를 가진 경우에 대해 간결한 대안 증명을 제공한다.
• 이 작업는 사이클의 대수적 자명성과 관련된 정규 함수의 대수성 사이에 강력한 연결을 수립한다.