[논문 리뷰] An algorithm for constructing certain differential operators in positive characteristic

Alberto F. Boix, Alessandro De Stefani외 1명|arXiv (Cornell University)|2015. 03. 04.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 유한체 위의 다항식환에서 비영인 다항식 f에 대해 1/f를 1/f^p로 매핑하는 정수계수 p에서의 미분 연산자 δ를 계산하는 알고리즘을 제시한다. 주요 기여는 관련된 미분 연산자의 수준을 통해 초특이 타원곡선을 특성화하는 것이다: 초특이 곡선은 정확히 수준 2를 가지며, 보통 곡선은 수준 1을 가진다.

ABSTRACT

Given a non-zero polynomial $f$ in a polynomial ring $R$ with coefficients in a finite field of prime characteristic $p$, we present an algorithm to compute a differential operator $δ$ which raises $1/f$ to its $p$th power. For some specific families of polynomials, we also study the level of such a differential operator $δ$, i.e., the least integer $e$ such that $δ$ is $R^{p^e}$-linear. In particular, we obtain a characterization of supersingular elliptic curves in terms of the level of the associated differential operator.

연구 동기 및 목표

• 주어진 비영인 다항식 f에 대해 δ(1/f) = 1/f^p 를 만족하는 정수계수 p에서의 미분 연산자 δ를 구성하는 알고리즘을 개발하는 것.
• δ의 수준 e를 결정하는 것. 여기서 수준 e는 δ가 R^{p^e}-선형이 되는 최소 정수로 정의된다.
• 일반항, 특히 단항식과 타원곡선 다항식의 특정 가족과 관련된 미분 연산자의 수준을 특성화하는 것.
• 특정 다항식의 미분 연산자 수준과 유한체 위의 타원곡선의 초특이성 사이의 정확한 연결 고리를 설정하는 것.
• Macaulay2를 사용하여 알고리즘을 구현하여 계산적 검증과 응용을 수행하는 것.

제안 방법

• 알고리즘은 정수계수 p에서의 미분 연산자 구조와 프로베누스 사상의 성질을 활용하여 δ ∈ D_R 를 구성하여 δ(1/f) = 1/f^p 를 만족시킨다.
• D_R = ⋃_e End_{R^{p^e}}(R) 의 필터링을 사용한다. 여기서 R^{p^e} 는 p^e 제곱 원소들의 부분환이다.
• 0 ≤ a_i < p 인 단항식 f = x_1^{a_1}⋯x_d^{a_d} 에 대해, 차수 < p 인 단항식 위에서 크로네커 델타로 작용하는 δ_α 를 명시적으로 계산한다.
• f^{p^e - 1} 이 이상수 I_e(f^{p^e - 1}) 의 p^e 제곱 이상수에 속하는지 확인하기 위해, 단항식 차수를 점검하는 서브루틴을 사용한다.
• DifferentialAction 함수를 통해 미분 작용의 재귀적 적용을 수행한다. 이 함수는 주어진 원소 위에서 미분 연산자의 작용을 계산한다.
• Macaulay2에서의 구현은 다변수 다항식, 미분 연산자, 프로베누스 거듭제곱을 다루기 위해 기호 계산을 사용한다.

실험 결과

연구 질문

• RQ1 정수계수 p에서 δ(1/f) = 1/f^p 를 만족하는 미분 연산자 δ를 알고리즘적으로 구성할 수 있는가?
• RQ2 이러한 미분 연산자 δ의 수준 e는 무엇인가? 즉, δ가 R^{p^e}-선형이 되는 최소 정수 e는 무엇인가?
• RQ3 단항식 f에 대해 관련된 미분 연산자의 수준은 그 지수와 특성 p와 어떻게 관련이 있는가?
• RQ4 F_p 위에서 정의된 타원곡선에 대해, 관련된 미분 연산자의 수준은 곡선의 초특이성과 어떻게 관련이 있는가?
• RQ5 정의 다항식과 관련된 미분 연산자의 수준을 통해 초특이 및 보통 타원곡선를 특성화할 수 있는가?

주요 결과

• 논문은 특성 p인 유한체 위의 다항식환에서 비영인 f에 대해 δ(1/f) = 1/f^p 를 만족하는 δ ∈ D_R 를 구성하는 알고리즘을 제공한다.
• 0 ≤ a_i < p 인 단항식 f = x_1^{a_1}⋯x_d^{a_d} 에 대해, f의 수준은 정확히 e = ⌈log_p(max{a_i + 1})⌉ 이며, 이에 대응하는 미분 연산자 δ 는 명시적으로 기술되어 있다.
• f^{p^e - 1} 의 p^e 제곱 근의 이상수 I_e(f^{p^e - 1}) 는 f^{p^e - 1} ∈ J^{[p^e]} 를 만족하는 최소 이상수 J 로 특성화된다.
• F_p 위의 타원곡선에 대해, 관련된 미분 연산자의 수준은 곡선이 보통일 때 정확히 1이고, 초특이일 때 정확히 2이다.
• 알고리즘은 Macaulay2에 구현되었으며, 단항식과 타원곡선 다항식을 포함한 계산 예제를 통해 검증되었다.
• 미분 연산자 수준을 통한 초특이 타원곡선의 특성화는 정수계수 p에서의 새로운 대수기하학적 불변량을 제공한다.