[논문 리뷰] A positive proportion of cubic curves over Q admit linear determinantal representations

Yasuhiro Ishitsuka|Kyushu University Institutional Repository (QIR) (Kyushu University)|2015. 12. 16.

Advanced Topics in Algebra참고 문헌 25인용 수 5

한 줄 요약

이 논문은 대규모 체와 아벨 다양체의 성질을 이용하여, ℚ 위의 매끄러운 평면 입체곡선 중 일정 비율이 선형 행렬식 표현을 갖는다는 것을 증명한다. 또한, Bhargava–Kane–Lenstra–Poonen–Rains 추측을 가정할 경우, 이러한 표현에 대해 국소-글로벌 원칙이 실패하는 경우도 존재하며, 이는 유리점 이외의 산술적 장애를 드러낸다.

ABSTRACT

Can a smooth plane cubic be defined by the determinant of a square matrix with entries in linear forms in three variables? If we can, we say that it admits a linear determinantal representation. In this paper, we investigate linear determinantal representations of smooth plane cubics over various fields, and prove that any smooth plane cubic over a large field (or an ample field) admits a linear determinantal representation. Since local fields are large, any smooth plane cubic over a local field always admits a linear determinantal representation. As an application, we prove that a positive proportion of smooth plane cubics over Q, ordered by height, admit linear determinantal representations. We also prove that, if the conjecture of Bhargava-Kane-Lenstra-Poonen-Rains on the distribution of Selmer groups is true, a positive proportion of smooth plane cubics over Q fail the local-global principle for the existence of linear determinantal representations.

연구 동기 및 목표

• ℚ 위의 매끄러운 평면 입체곡선 중 선형 행렬식 표현을 갖는 비율을 결정하는 것.
• 이러한 표현의 존재에 대해 ℚ에서 국소-글로벌 원칙이 실패하는지 조사하는 것.
• 선형 행렬식 표현의 존재성을 야생 다양체의 Mordell–Weil 계수와 연결하는 것.
• 대규모 체와 브라우어 군의 결과를 활용하여 행렬식 표현의 맥락에서 산술적 장애를 분석하는 것.

제안 방법

• 모든 매끄러운 평면 입체곡선이 대규모(풍부한) 체 위에서 선형 행렬식 표현을 갖는다는 것을 보이기 위해 대규모 체 이론을 활용한다.
• ℚ 위에서의 표현 존재성을 결정하는 핵심 불변량으로 야생 다양체의 Mordell–Weil 계수를 적용한다.
• 높이 기반의 평면 입체곡선 수세기와 Bhargava–Kane–Lenstra–Poonen–Rains 추측을 통해 Selmer 군의 분포와 연관시킨다.
• 브라우어 군 계산과 갈루아 코hom로 행렬식 표현의 존재를 방해하는 장애를 탐지한다.
• Bhargava–Skinner–Zhang의 타원곡선의 계수 결과를 응용하여 Mordell–Weil 계수가 양수이거나 영인 곡선의 비율에 하한을 도출한다.
• 짧은 정확수열 (4.1)을 통해 선형_bundle와 행렬식 표현의 기하 조건을 코homological 기준으로 변환한다.

실험 결과

연구 질문

• RQ1 높이 기준으로 순서를 매긴 ℚ 위의 매끄러운 평면 입체곡선 중 몇 퍼센트가 선형 행렬식 표현을 갖는가?
• RQ2 모든 완비화 ℚ_v에서 이러한 표현을 갖는다면, ℚ 자체에서는 갖지 않는 매끄러운 평면 입체곡선이 존재하는가?
• RQ3 야생 다양체의 Mordell–Weil 계수는 ℚ 위에서 선형 행렬식 표현의 존재성과 어떻게 관련되는가?
• RQ4 상대 브라우어 군은 선형 행렬식 표현을 방해하는 데 어떤 역할을 하는가?
• RQ5 국소 조건(ℚ_v에서의 조건)이 얼마나 일반적으로 표현의 존재를 보장하며, 언제는 글로벌로 실패하는가?

주요 결과

• Mordell–Weil 계수가 1인 야생 다양체를 가진 곡선의 존재를 통해, ℚ 위의 매끄러운 평면 입체곡선 중 일정 비율이 ℚ 위에서 선형 행렬식 표현을 갖는다.
• Bhargava–Skinner–Zhang의 하한을 바탕으로, ℚ 위의 타원곡선 중 최소 20.68%가 ℚ 위에서 선형 행렬식 표현을 갖는다.
• ℚ 위의 타원곡선 중 최소 16.50%가 선형 행렬식 표현에 대해 국소-글로벌 원칙을 위반한다.
• Bhargava–Kane–Lenstra–Poonen–Rains 추측이 참이라면, ℚ 위의 매끄러운 평면 입체곡선 중 일정 비율이 이러한 표현에 대해 국소-글로벌 원칙을 위반한다.
• 비자명한 Mordell–Weil 군과 비자명한 상대 브라우어 군을 가진 ℚ 위의 서로 비동형인 무한히 많은 매끄러운 평면 입체곡선이 선형 행렬식 표현을 ℚ 위에서 갖지 않는다.
• 명시적인 예시를 통해 브라우어 군의 비자명한 원소가 행렬식 표현의 존재를 방해함을 보였다. 이는 분할 대수의 분기된 구조를 포함한다.