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

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

Coding theory and cryptography참고 문헌 5인용 수 3

한 줄 요약

특정 체에서의 아이디얼의 colength에 대한 정확한 추측을 가정할 때, 이 논문은 무한 행렬 이론과 그로텐디크 군 기법을 활용하여, $ H = uv + h $ 및 $ H = g(u,v) + h $와 같은 특정 멱급수에 대한 힐버트-쿠른 벡터 및 급수의 대수성을 확립한다. 주요 결과는 $ h = x^3 + y^3 + xyz $의 힐버트-쿠른 벡터가 대수적임을 보이며, 그 값은 $ \frac{4}{3} + \frac{5}{14\sqrt{7}} $ 이고, 힐버트-쿠른 급수는 $ \mathbb{Q}(w) $에 대한 차수 2 대수적 확장 안에 존재한다.

ABSTRACT

Let F be a finite field of characteristic 2 and h be the element x^3+y^3+xyz of F[[x,y,z]]. In an earlier paper we made a precise conjecture as to the values of the colengths of the ideals (x^q,y^q,z^q,h^j) for q a power of 2. We also showed that if the conjecture holds then the Hilbert-Kunz series of H=uv+h is algebraic (of degree 2) over Q(w), and that mu(h) is algebraic (explicitly, (4/3)+(5/14)sqrt(7)). In this note, assuming the same conjecture, we use a theory of infinite matrices to rederive this result, and we extend it to a wider class of H; for example H=g(u,v)+h. In a follow-up paper, under the same hypothesis, we will show that transcendental Hilbert-Kunz multiplicities exist.

연구 동기 및 목표

• 특정 멱급수에 대해 체에서 2인 조건 하에 아이디얼의 colength에 대한 추측을 가정할 때, 힐버트-쿠른 벡터 및 급수의 대수성을 확립하는 것.
• 함수 $ H = uv + h $에서의 대수성 결과를 $ g $가 동차다항식인 $ H = g(u,v) + h $의 더 넓은 범주로 확장하는 것.
• 힐버트-쿠른 급수와 벡터를 분석하기 위해 무한 행렬 이론과 그로텐디크 군의 구조를 활용하는 것.
• 추측을 가정할 때, $ h = x^3 + y^3 + xyz $의 힐버트-쿠른 벡터가 대수적임을 보이며, 그 값은 명시적으로 $ \frac{4}{3} + \frac{5}{14\sqrt{7}} $ 임을 보이는 것.
• 힐버트-쿠른 급수가 특정 다항식의 분할체 안에 존재함을 보여, 이는 $ \mathbb{Q}(w) $ 위에서의 대수성임을 의미하는 것.

제안 방법

• 구간 $[0,1] \cap \mathbb{Z}[1/2]$ 에서 $ \mathbb{Q} $로의 함수들로 이루어진 공간 $ X $ 위에 이중선형 곱 $ \# $을 정의하며, 이는 이진 스케일링을 이용해 재귀적으로 정의된다.
• 멱급수 $ f $에 대해 힐버트-쿠른 함수 $ \phi_f \in X $를 정의하며, 이는 아이디얼 $ (u^q, \dots, f^i) $의 colength를 코딩한다.
• 함수 $ \alpha \in X $에 대해 $ \mu(\alpha) = \lim_{n \to \infty} \alpha(2^{-n}) \cdot 2^n $ 의 극한을 이용해 힐버트-쿠른 벡터를 정의한다.
• 각 $ \alpha \in X $ 에 대해, 그 차수별 부분공간의 차원들의 교대합을 이용해 그로텐디크 군 $ \Gamma_{\mathbb{Q}} $로 가는 사상 $ \mathcal{L}_n(\alpha) $ 를 구성한다.
• 무한 행렬 이론과 모듈러에 대한 $ T_0, T_1 $ 작용을 적용하여 힐버트-쿠른 급수에 대한 재귀식을 유도한다.
• 행렬의 행렬식 $ \Psi_{T_0,T_1}(x,w) $의 분할체에 기반하여, 힐버트-쿠른 급수가 $ \mathbb{Q}(w) $의 유한 확장 안에 존재함을 보이며, 이는 대수성임을 의미한다.

실험 결과

연구 질문

• RQ1 아이디얼 $ (x^q, y^q, z^q, h^j) $의 colength에 대한 추측을 가정할 때, $ H = uv + h $의 힐버트-쿠른 급수가 $ \mathbb{Q}(w) $ 위에서 대수적일까?
• RQ2 함수 $ g $가 동차일 경우, $ H = g(u,v) + h $에 대해 힐버트-쿠른 급수의 대수성 결과를 확장할 수 있을까?
• RQ3 $ h = x^3 + y^3 + xyz $의 힐버트-쿠른 벡터는 대수적일까? 만약 그렇다면 그 명시적 값은 무엇인가?
• RQ4 $ H = u^6 + u^3v^3 + v^6 + h $의 경우, 힐버트-쿠른 급수가 포함된 분할체의 갈루아 이론적 구조는 어떠한가?
• RQ5 $ (1 - 16w) $에서의 잔여체에서 힐버트-쿠른 벡터가 $ \mathbb{Q} $의 차수 8 확장 전체를 생성하는지, 아니면 진부분체를 생성하는지?

주요 결과

• 추측을 가정할 경우, $ h = x^3 + y^3 + xyz $의 힐버트-쿠른 벡터는 대수적이며, 그 값은 명시적으로 $ \frac{4}{3} + \frac{5}{14\sqrt{7}} $ 임을 보였다.
• $ H = uv + h $의 힐버트-쿠른 급수는 무한 행렬 방법을 통해 $ \mathbb{Q}(w) $에 대한 차수 2 대수적 확장 안에 존재함을 보였다.
• $ H = u^6 + u^3v^3 + v^6 + h $의 경우, 힐버트-쿠른 급수는 $ \mathbb{Q}(w) $에 대한 차수 8 확장인 $ \mathbb{Q}(w, u_1, u_2) $ 안에 존재한다. 여기서 $ u_1^2 \in \mathbb{Q}(w) $ 이고, $ u_2 $ 는 $ \mathbb{Q}(w) $ 위에서 차수 4이다.
• $ \mathbb{Q}[w] $의 정수적 폐쇄에서 소수 $ (1 - 16w) $의 잔여체는 $ \mathbb{Q} $에 대한 차수 8 확장이며, 이에 힐버트-쿠른 벡터는 이 체 안에 존재한다.
• 관련 다항식 $ \Psi^* $의 분할체의 갈루아 군의 순서는 48이며, 이는 집합 $ \{\rho, \rho^{-1}\}, \{\sigma, \sigma^{-1}\}, \{\tau, \tau^{-1}\} $ 를 안정화한다.
• 힐버트-쿠른 벡터가 $ \mathbb{Q} $의 전체 차수 8 확장을 생성한다고 믿고 있으나, 이를 검증하기 위해서는 계산적으로 비용이 많이 드는 계산이 필요하다.