대칭·비대칭 보간법으로 본 유한체 확장 곱셈의 이중 복잡도 혁신

초록

이 논문은 Chudnovsky‑Chudnovsky 보간법을 확장하여, 비대칭 보간과 보조 디바이저의 구성 방법을 새롭게 제시한다. 이를 통해 유한체 확장뿐 아니라 단일 생성 알제브라에 대한 곱셈의 이중 복잡도 상한을 개선하고, 기존 결과들의 오류를 수정·일반화한다.

상세 분석

본 연구는 이중 복잡도(μ)와 대칭 이중 복잡도(μ_sym)의 정의를 명확히 하고, 곱셈 텐서의 계급(rank) 관점에서 문제를 재구성한다. 기존 Chudnovsky‑Chudnovsky 방법은 대칭적인 보간을 전제로 두었으며, 이는 보조 디바이저 D가 두 조건(2D‑G가 영차원, D‑G′가 비특수) 을 동시에 만족해야 하는 복잡한 클래스 군 연산을 요구했다. 저자는 여기서 비대칭적인 접근으로 전환하여, 두 개의 디바이저 D₁, D₂를 각각 D₁‑G′, D₂‑G′가 비특수이고 D₁+D₂‑G가 영차원인 조건만 만족하면 된다는 새로운 시스템(5)을 제시한다. 이 변화는 2배수 사상에 의존하던 기존 논증의 비주입성을 제거하고, 클래스 군의 2‑torsion에 의한 오차를 회피한다. 결과적으로, 곡선의 종(genus) g에 대해 최적에 가까운 차수 g‑1까지 디바이저를 구성할 수 있게 되어, 기존 논문에서 제시된 상한을 정확히 복구하고 강화한다.

또한 저자는 보조 디바이저의 존재를 두 가지 방식으로 증명한다. 첫 번째는 전통적인 카디널리티 논법을 활용한 비구성적 증명으로, 이는 곡선이 충분히 많은 점을 가질 경우에만 적용 가능하지만, 최적 차수까지 보장한다. 두 번째는 Weil‑Stark 갭과 차수열(order sequences)을 이용한 구성적 방법으로, 보다 강한 가정(예: 충분히 큰 기본체 위의 충분히 많은 유리점) 하에 실제 디바이저를 명시적으로 만들 수 있다. 이 두 방법은 서로 보완적이며, 특히 비대칭 시스템(5)에서는 첫 번째 방법만으로도 충분히 강력한 결과를 얻는다.

새로운 양식 µ_q(m,ℓ) = μ(F_q^m