[논문 리뷰] Explicit computation of symmetric differentials and its application to quasi-hyperbolicity

Nils Bruin, Jordan Thomas외 1명|arXiv (Cornell University)|2019. 12. 18.

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

한 줄 요약

이 논문은 특이 면에서 대칭 미분형식에 대한 명시적 계산 기법을 개발하여 대수적 준초등비율성의 연구를 가능하게 한다. A1-특이성을 가진 면의 분해에서 코탄제일층의 대칭 거듭제곱의 전역 절단을 계산하여, 바르트의 6차 면과 완전한 큐브로드 면에서 유리곡선과 종수 1 곡선이 각각 최소 4개 이상, 7개 이상의 특이점을 통과해야 한다고 증명하고, 바르트의 10차 면과 사르티의 면을 포함한 여러 새로운 면들에 대해 대수적 준초등비율성을 확립한다.

ABSTRACT

We develop explicit techniques to investigate algebraic quasi-hyperbolicity of singular surfaces through the constraints imposed by symmetric differentials. We apply these methods to prove that rational curves on Barth's sextic surface, apart from some well-known ones, must pass through at least four singularities, and that genus 1 curves must pass through at least two. On the surface classifying perfect cuboids, our methods show that rational curves, again apart from some well-known ones, must pass through at least seven singularities, and that genus 1 curves must pass through at least two. We also improve lower bounds on the dimension of the space of symmetric differentials on surfaces with $A_1$-singularities, and use our work to show that Barth's decic, Sarti's surface, and the surface parametrizing $3 imes 3$ magic squares of squares are all algebraically quasi-hyperbolic.

연구 동기 및 목표

• du Val 특이성을 가진 면에서 대칭 미분형식을 계산하기 위한 명시적이고 점근적이지 않은 방법을 개발하기 위해.
• 이러한 방법을 특정 특이 면에서 유리곡선과 종수 1 곡선의 위치를 제약하기 위해 적용하기 위해.
• A1-특이성을 가진 면에서 대칭 미분형식 공간의 차원에 대한 하한을 향상시키기 위해.
• 바르트의 10차 면과 사르티의 면을 포함한 새로운 종류의 면들에 대해 대수적 준초등비율성을 확립하기 위해.
• 대칭 미분형식을 통한 전역 기하 제약 조건을 증명하는 데 있어 계산 기반 대수기하학의 효과를 입증하기 위해.

제안 방법

• 완전교차면 X의 좌표환 위의 등급 모듈을 사용하여, 반사적 대칭 미분형식 공간 H⁰(X, ˆSᵐΩ¹_X)의 기저를 계산한다.
• 특이점의 분해 τ: Y → X를 활용하여 X 위의 전역 절단을 부드러운 분해 Y 위의 절단과 연결하며, 반사적 쌍대화 ˆSᵐΩ¹_X = (Sᵐτ*Ω¹_Y)∨∨를 이용한다.
• Magma를 사용해 양의 특성에서 모듈 구조와 쌍대 행렬을 계산한 후, 유리수 재구성 기법을 통해 특성 0으로 결과를 옮긴다.
• 결과로 얻은 모듈이 잘 정의된 이중형식을 정의하고 반사적임을 확인하여 정확성을 검증한다.
• 얻어진 대칭 미분형식을 이용해 종수 0 및 종수 1 곡선이 특이점 집합 S와의 교차 위치에 대한 제약 조건을 유도한다.
• 대칭성과 자기동형군 작용을 활용해 곡선의 위치를 검증하는 데 있어 계산 복잡도를 감소시킨다.

실험 결과

연구 질문

• RQ1 기타 알려진 예외 곡선들을 제외한 바르트의 6차 면에서 유리곡선이 통과해야 하는 최소한의 특이점 수는 얼마인가?
• RQ2 동일한 조건 하에서 바르트의 6차 면에서 종수 1 곡선이 통과해야 하는 최소한의 특이점 수는 얼마인가?
• RQ3 기타 알려진 유리곡선들을 제외한 완전한 큐브로드 면에서 유리곡선이 통과해야 하는 최소한의 특이점 수는 얼마인가?
• RQ4 대칭 미분형식을 사용하여 바르트의 10차 면과 사르티의 면과 같은 면들에 대해 대수적 준초등비율성을 증명할 수 있는가?
• RQ5 A1-특이성을 가진 면에서 H⁰(X, ˆSᵐΩ¹_X)의 차원에 대해 점근적이지 않은 하한을 어떻게 설정할 수 있는가?

주요 결과

• 기타 알려진 곡선들을 제외한 바르트의 6차 면에서 유리곡선은 최소 4개 이상의 특이점을 통과해야 한다.
• 기타 알려진 곡선들을 제외한 바르트의 6차 면에서 종수 1 곡선은 최소 2개 이상의 특이점을 통과해야 한다.
• 기타 알려진 유리곡선들을 제외한 완전한 큐브로드 면에서 유리곡선은 최소 7개 이상의 특이점을 통과해야 한다.
• 기타 알려진 유리곡선들을 제외한 완전한 큐브로드 면에서 종수 1 곡선은 최소 2개 이상의 특이점을 통과해야 한다.
• 바르트의 6차 면에서 H⁰(X₆, ˆS²Ω¹_X(−H))의 차원은 3이며, H⁰(X₆, ˆS²Ω¹_X)의 차원은 15이다.
• 바르트의 10차 면, 사르티의 면, 그리고 3×3 제곱수의 마법의 정사각형을 매개변수화하는 면은 모두 새로운 대칭 미분형식 기법을 통해 대수적으로 준초등비율성이 증명되었다.