[논문 리뷰] There is no Definable Grauert Direct Image Theorem

Hélène Esnault, Moritz Kerz|arXiv (Cornell University)|2026. 01. 26.

Advanced Topology and Set Theory인용 수 0

한 줄 요약

저자들은 definable Grauert Direct Image Theorem이 비-유한 모형에서 성립할 수 없음을 보인다. 이는 definable Picard scheme으로의 비상수 definable 맵을 통해 definable Chow Theorem과의 모순을 도출하는 방식으로 설명된다.

ABSTRACT

We prove the claim in the title by showing that a definable Grauert Direct Image Theorem in o-minimal geometry would imply a weak representability-like property of the definable Picard functor. However, this weak representability cannot hold because of the Definable Chow Theorem of Peterzil and Starchenko. v2: small typos corrected.

연구 동기 및 목표

• 유한 모orphism를 넘어 definable 복합 해석 기하학을 확장하려는 동기.
• 가상의 definable Grauert Direct Image Theorem이 definable Picard functor와 어떻게 상호 작용하는지 조사.
• 그러한 정리에 의해 암시되는 약한 표현 가능성이 Definable Chow Theorem과 모순됨을 보임.

제안 방법

• f: X -> S인 매끄럽고 사영 definable 모형과 definable coherent sheaf F를 구성하여 f_*F가 definable coherent가 아님을 보인다.
• Simpson 스타일의 구성으로 definable 선형 번들을 base change와 Grassmannian/Quot 구성들을 통해 Picard scheme으로의 사상과 연결한다.
• Pic^0(Y)로의 비상수 definable 맵이 definable Chow theorem에 의해 대수적임이 보이고, 이는 rational-to-abelian 모형과의 모순으로 귀착한다.
• definable coherence 결과와 base change를 활용하여 definable 섹션과 Pic(X/S)로의 사상을 연결한다.
• character variety와 랭크-원 definable 로컬 시스템을 활용하여 비상수 definable 계를 생성한다.
• 모든 n에 대해 f_*L(n)가 definable coherent라면 Picard로의 관련 사상이 definable이고 따라서 대수적일 것이며, 이는 성립할 수 없다.

실험 결과

연구 질문

• RQ1 대수적 다양체 사이의 임의의 사영 사상에 대해 일반적인 definable Grauert Direct Image Theorem이 성립할 수 있는가?
• RQ2 가상의 definable Grauert Direct Image Theorem이 definable Picard Functor의 약한 표현 가능성을 강제하는가, 그리고 이것이 Definable Chow Theorem과 호환되는가?
• RQ3 Y의 definable 로컬 시스템이 Picard scheme를 통해 X = Y × S의 선형 번들을 어떻게 매개하는가?
• RQ4 S로 매개되는 선형 번들 가족에서 나온 비상수 definable morphism S -> Pic(Y)을 실현하려 할 때 어떤 장애가 생기는가?

주요 결과

• 매끄럽고 프로젝트 definable 모형 f: X -> S와 X 위의 definable coherent sheaf F가 존재하여 f_*F가 definable coherent가 아니다.
• X 위에 definable 선형 번들이 존재하며 모든 양의 정수 n에 대해 f_*L(n)가 definable coherent가 되지 않는다.
• 랭크-원 로컬 시스템의 가족에서 유도된 비상수 definable map S -> Pic(Y)가 definable Chow theorem과 모순될 수 있다.
• Definable Chow Theorem은 그러한 맵이 대수적임을 시사하지만, 유리 다양체에서 abelian 다양체로의 비상수 대수적 사상은 존재하지 않으므로 모순이 된다.
• 제2.1 포지션은 f_*L(n)가 definable coherent라면 대응하는 Picard 맵이 definable이 되어 모순과 연결됨을 보여준다.
• 전반적인 결론은 일반적인 definable Grauert Direct Image Theorem이 비-유한 일반성에서 성립할 수 없다는 것.