[논문 리뷰] Average $2$-Torsion in Class Groups of Rings Associated to Binary $n$-ic Forms

Ashvin Swaminathan|arXiv (Cornell University)|2020. 11. 27.

Algebraic Geometry and Number Theory참고 문헌 39인용 수 4

한 줄 요약

이 논문은 고정된 홀수 주계수를 가진 정수 계수 이항 $n$-차 형식으로 정의된 환과 체의 환류군에서 2-torsion의 평균 크기의 상한을 계산하며, 이는 이전의 삼차 및 모닉 형식에 대한 연구를 확장한다. 균일성 추정 조건 하에 이러한 상한은 정확하게 밝혀지며, 이는 $n$ 이 홀수일 때 주계수를 고정하는 것이 2-torsion을 증가시키며, $n$ 이 짝수일 경우 $p \mid n > 2$ 인 $p$-torsion에 대해 처음으로 이러한 결과를 제공함을 보여준다.

ABSTRACT

Let $n \geq 3$ be an integer. In this paper, we study the average behavior of the $2$-torsion in class groups of rings cut out by integral binary $n$-ic forms having any fixed odd leading coefficient. Specifically, we compute upper bounds on the average size of the $2$-torsion in class groups of rings and fields arising from such binary forms. Conditional on a uniformity estimate, we further prove that each of these upper bounds is in fact an equality. Our theorems extend recent work of Bhargava-Hanke-Shankar in the cubic case and of Siad in the monic case to binary forms of any degree with any fixed odd leading coefficient. When $n$ is odd, we find that fixing the leading coefficient increases the average $2$-torsion in the class group, relative to the prediction of Cohen-Lenstra-Martinet-Malle. When $n$ is even, such predictions are yet to be formulated; together with Siad's results in the monic case, our theorems are the first of their kind to describe the average behavior of the $p$-torsion in class groups of degree-$n$ rings where $p \mid n > 2$. To prove these theorems, we first answer a question of Ellenberg by parametrizing square roots of the class of the inverse different of a ring cut out by a binary form in terms of the integral orbits of a certain coregular representation. This parametrization has a range of interesting applications, from studying $2$-parts of class groups to studying $2$-Selmer groups of hyperelliptic Jacobians.

연구 동기 및 목표

• 정수 계수 이항 $n$-차 형식으로 정의된 환과 체의 환류군에서 2-torsion의 평균 크기를 결정하는 것.
• 이전의 삼차 및 모닉 형식에 대한 결과를 임의의 $n \geq 3$ 과 고정된 홀수 주계수로 확장하는 것.
• 주계수를 고정하는 것이 평균 2-torsion에 어떤 영향을 미치는지, 특히 Cohen-Lenstra-Martinet-Malle 히ュ리스틱과의 비교를 통해 조사하는 것.
• 모든 $p \mid n > 2$ 인 경우에 대해 $n$ 이 짝수일 때, 차수-$n$ 환에서의 $p$-torsion 행동에 대한 첫 번째 체계적인 기술을 제공하는 것.
• Ellenberg의 질문에 답하기 위해, 핵심 정규 표현의 정수 궤도를 통해 역미분의 제곱근을 매개변수화하는 것.

제안 방법

• 핵심 정규 표현의 정수 궤도를 사용하여 이항 $n$-차 형식으로 잘린 환의 역미분의 제곱근을 매개변수화하는 것.
• 이 매개변수화를 통해 관련 환의 환류군에서 2-torsion의 구조를 분석하는 것.
• 균일성 추정을 적용하여 유도된 평균 2-torsion 크기의 상한이 정확함을 증명, 즉 등식임을 입증하는 것.
• Bhargava-Hanke-Shankar(삼차 사례) 및 Siad(모닉 사례)의 기법을 고정된 홀수 주계수를 가진 비모닉 설정으로 일반화하는 것.
• 매개변수화를 활용하여 환류군의 2-torsion을 초타원형 양각의 산술 불변량, 특히 2-Selmer 군과 연결하는 것.
• 평균 2-torsion 크기가 주계수에 따라 달라지며, 특히 $n$ 이 홀수일 경우 Cohen-Lenstra-Martinet-Malle 예측과 대조됨을 밝혀내는 것.

실험 결과

연구 질문

• RQ1 이항 $n$-차 형식의 주계수를 고정하는 것은 관련 환의 환류군에서 2-torsion의 평균 크기에 어떤 영향을 미치는가?
• RQ2 고정된 홀수 주계수를 가진 정수 계수 이항 $n$-차 형식으로 정의된 환의 환류군에서 2-torsion의 평균 크기의 상한은 무엇인가?
• RQ3 이러한 상한이 정확함을 증명할 수 있는 조건은 무엇인가?
• RQ4 기존 히ュ리스틱을 고려할 때, $n$ 이 홀수일 때와 짝수일 때 2-torsion의 행동은 어떻게 다를까?
• RQ5 역미분의 제곱근은 핵심 정규 표현의 정수 궤도를 통해 매개변수화될 수 있으며, 그 산술적 결과는 무엇인가?

주요 결과

• 이 논문은 고정된 홀수 주계수를 가진 정수 계수 이항 $n$-차 형식으로 유도된 환의 환류군에서 2-torsion의 평균 크기의 상한을 확립한다.
• 균일성 추정 조건 하에 이러한 상한이 정확히 밝혀지며, 정확한 점근적 평균을 도출한다.
• 만약 $n$ 이 홀수일 경우, 주계수를 고정하는 것은 Cohen-Lenstra-Martinet-Malle 예측 대비 평균 2-torsion을 증가시킨다.
• 짝수 $n$ 에 대해서는 $p \mid n > 2$ 인 경우에 대해 차수-$n$ 환의 평균 $p$-torsion에 대한 처음으로 알려진 기술을 제공한다.
• 핵심 정규 표현의 정수 궤도를 통한 역미분의 제곱근의 매개변수화가 핵심 기술적 도구로 확립된다.
• 이 매개변수화를 통해 환류군 이외의 분야, 특히 초타원형 양각의 2-Selmer 군 연구 등에의 적용이 가능해진다.