곡선 특이점의 동기 부여 힐베르트 제타 함수 계산 알고리즘

초록

이 논문은 단일 분기 곡선 특이점의 동기 부여 힐베르트 제타 함수를 두 가지 형태로 계산하는 알고리즘을 제시한다. 하나는 전통적인 버전으로, 단조 평가 반세미군(Γ)이 단항(mon​omial)인 경우와 y^k = x^n (gcd(k,n)=1) 형태의 곡선에 적용된다. 다른 하나는 최근 도입된 미세 버전으로, 같은 y^k = x^n 형태에 한정된다. 알고리즘은 Γ를 유한 부분으로 절단해 계산 효율성을 확보하고, 복잡도 분석과 필요한 절단 길이 N에 대한 이론적 추정도 제공한다. 파이썬 구현이 공개되어 있다.

상세 분석

논문은 먼저 곡선 특이점 (C,O)의 국소환 A와 그 정규폐쇄 A¯를 통해 얻어지는 수치 반세미군 Γ=v(A¯{0})를 정의한다. Γ는 유한 보완을 갖는 자연수 부분집합이며, δ‑불변량은 N\Γ의 원소 개수로 주어진다. 저자들은 Γ‑부분반세미군 Δ의 집합 Dℓ를 ℓ‑길이(=#(Γ\Δ))에 따라 층화하고, 각 Dℓ의 원소가 Hilbert scheme C