[논문 리뷰] Transcendence of some Hilbert-Kunz multiplicities (modulo a conjecture)

Paul Monsky|ArXiv.org|2009. 08. 07.

Meromorphic and Entire Functions참고 문헌 3인용 수 8

한 줄 요약

특정 특성 2 초면체에 대한 Hilbert-Kunz 함수에 대한 추측을 가정할 경우, 이 논문은 초함수 급수에서 유도된 생성 함수의 유리수 계수 선형 조합으로서 일부 Hilbert-Kunz 중량이 초월수임을 보여줌으로써, 그들이 초월수임을 증명한다. 핵심 결과는 생성 함수의 Hadamard 곱의 구조와 Schneider의 타원적분에 대한 초월성 결과를 활용하여, 양의 특성에서 초월수 Hilbert-Kunz 중량의 존재를 확립한다.

ABSTRACT

Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2 hypersurfaces has algebraic but not necessarily rational Hilbert-Kunz multiplicities. We now show that if the conjecture holds, then transcendental multiplicities exist, and in particular that the number \sum\binom{2n}{n}^{2}/(65,536)^{n}, proved transcendental by Schneider, is a Q-linear combination of Hilbert-Kunz multiplicities of characteristic 2 hypersurfaces.

연구 동기 및 목표

• 특성 2에서 양의 특성에서 초월수 Hilbert-Kunz 중량의 존재를 확립하는 것.
• Hilbert-Kunz 함수에 대한 추측 하에 일부 대수적 Hilbert-Kunz 중량이 실제로 초월수일 수 있는지 조사하는 것.
• 일부 초면체의 Hilbert-Kunz 중량을 초함수 급수의 특수값과 연결하는 것.
• 기존의 초월수 ∑(2n choose n)² / 65536ⁿ 이 유리수 계수 선형 조합으로서 Hilbert-Kunz 중량으로 표현될 수 있음을 보여주는 것.

제안 방법

• 논문은 특성 2에서의 거듭제곱 급수 g에 대응하는 생성 함수 θ_g의 Hadamard 곱의 구조를 사용한다.
• 노드형 삼차 초면체의 Hilbert-Kunz 함수에 대한 추측된 공식을 적용하여 생성 함수 θ_g를 유도한다.
• Grothendieck 군에서 Q로의 사상 η: Γ_Q → Q의 곱셈 성질을 활용하여 Hilbert-Kunz 함수를 θ_g의 계수와 연결한다.
• g²에 대해 θ_g² = 1 + 2^r w · θ_g 라는 항등식을 사용하여 g의 거듭제곱 생성 함수를 연결한다.
• f = x³ + y³ + xyz에 대한 생성 함수 θ_f를 추측된 함수 방정식을 통해 초함수 급수와 연결한다.
• Schneider의 타원곡선 위에서의 유리 1형식 적분에 대한 초월성 정리를 적용하여 ∑A_n² / 2^{16n} 이 초월수임을 보인다.

실험 결과

연구 질문

• RQ1 특성 2에서 F[x,y,z]에 속하는 h에 의해 정의된 특성 2 초면체에서, h가 노드형 삼차식일 경우 Hilbert-Kunz 중량은 대수적일까, 아니면 초월수일 수 있을까?
• RQ2 기존의 초월수, 예를 들어 ∑(2n choose n)² / 65536ⁿ 은 특성 2 초면체의 Hilbert-Kunz 중량의 유리수 계수 선형 조합으로 표현될 수 있는가?
• RQ3 Hilbert-Kunz 함수에 대한 추측 하에, f = x³ + y³ + xyz에 대한 생성 함수 θ_f 는 Q(w) 위에서 대수적일까?
• RQ4 θ_g의 Hadamard 곱의 구조는 대수적 Hilbert-Kunz 중량으로부터 초월수 Hilbert-Kunz 중량을 구성할 수 있는가?
• RQ5 값 ∑A_n² / 2^{16n} 은 초월수일까? 만약 그렇다면, Hilbert-Kunz 중량과 연결될 수 있는가?

주요 결과

• Hilbert-Kunz 함수에 대한 추측을 가정할 경우, ∑A_n² / 2^{16n} 은 특성 2 초면체의 Hilbert-Kunz 중량의 유리수 계수 선형 조합으로 표현된다.
• Schneider의 타원곡선 위에서의 1형식 적분에 대한 초월성 정리를 적용하여 ∑(2n choose n)² / 65536ⁿ 이 초월수임을 증명하였다.
• f = x³ + y³ + xyz에 대한 생성 함수 θ_f 는 초함수 급수 표현을 가능하게 하는 함수 방정식을 만족한다.
• uv + ∑g_i 의 Hilbert-Kunz 중량은 θ_g_i 의 Hadamard 곱으로 주어지며, 이는 대수적 성질을 초월수 결과로 전이할 수 있게 한다.
• 이 논문은 추측을 가정할 경우 특성 2에서 초월수 Hilbert-Kunz 중량이 존재함을 확립한다.
• 적분 ∫_{-1}^1 dx / √((1 - 16λ²x²)(1 - x²)) 는 π∑A_n²λ^{2n} 와 같으며, 이는 급수를 타원곡선의 주기와 연결하는 데 사용된다.