이산 라플라시안 스펙트럼 불변량 이데알의 대수적 구조와 그루버 기저

초록

본 논문은 1차원 격자에서 Γ‑주기적 복소 퍼텐셜 V에 대해, 이산 라플라시안 Δ와 Δ+V가 플루케 등스펙트럼을 공유하는 조건을 다항식 형태의 스펙트럼 불변량으로 정리하고, 이들 불변량이 생성하는 이데알의 그루버 기저를 명시적으로 구성한다. 또한, 복소 퍼텐셜의 존재 예시와 일반 차원으로의 확장 가능성을 논의한다.

상세 분석

논문은 먼저 Γ = q₁ℤ⊕⋯⊕q_dℤ 로 정의된 격자와 ℓ²(ℤ^d) 위의 이산 라플라시안 Δ를 소개한다. d=1인 경우, Γ‑주기적 퍼텐셜 V=(v₁,…,v_n) (n≥3) 에 대해 플루케 매트릭스 L_V(z)를 전개하고, z=1에서의 행렬 L_V를 사용해 특성다항식 D_V(λ)를 정의한다. Δ와 Δ+V가 플루케 등스펙트럼을 갖기 위한 필요충분조건은 D_V(λ)=D_0(λ) 즉, 두 특성다항식이 동일해야 함이다. 이를 차례대로 전개하면 λ^{n−k} 항의 계수를 비교해 식 (1)인 다항식 p_k(v₁,…,v_n)=0 (k=1,…,n)이 얻어진다. p_k는 ‘스펙트럼 불변량’이라 명명되며, 최고차항은 완전대칭다항식 e_k와 일치하고, 하위항은 차수가 k−1 이하인 f_k로 구성된다. 중요한 대칭성은 dihedral group D_n이 p_k를 고정한다는 점이며, 짝·홀수 차수에 따라 항의 짝/홀수성도 결정된다(정리 2.1).

이후 저자는 이 불변량이 생성하는 이데알 I=⟨p₁,…,p_n⟩을 연구한다. 그루버 기저를 구성하기 위해 완전동질대칭다항식 H(a,b)=∑{a≤j₁≤…≤j_b≤n} v{j₁}⋯v_{j_b}를 도입하고, g_k:=−k∑_{j=1}^k H(k,k−j)(−1)^j p_j (k=1,…,n) 로 정의한다. 정리 3.1에 의해 {g₁,…,g_n}이 I의 그루버 기저임을 증명한다. 여기서 grevlex 순서를 사용해 각 g_k의 최고차항이 v_k^k임을 보이며, 이는 Buchberger 기준에 의해 그루버 기저임을 확정한다. 또한, 최고차항이 완전동질대칭다항식 H(k,k)와 동일함을 정리 3.3으로 확인한다.

이데알 I의 차원과 차수는 그루버 기저를 통해 쉽게 계산된다. LT(I)=⟨v₁, v₂², …, v_n^n⟩이므로, 비포함 모노말들의 집합 B는 |B|=n!이며, 이는 아핀 힐베르트 다항식 HP_{R/I}(s)=n! 로 이어진다(정리 3.5). 따라서 V(I)의 차원은 0이고, 중복도를 포함한 점의 총수는 n!이다(정리 3.6). 더 나아가, 0점의 최소 중복도는 2^n이며, 이는 V(I)가 최소 1개에서 최대 n!−2^n+1개의 점을 가질 수 있음을 의미한다(정리 3.7). 이 결과는 그래프 이데알의 자동군 크기와 연결되어, 일반적인 유한 그래프에서도 비슷한 상한을 제공한다(Remark 2).

실험적 측면에서는 Bertini와 Macaulay2를 이용해 구체적인 복소 퍼텐셜 예시를 탐색했으며, q_j가 짝수이거나 3보다 큰 경우에 비실수 퍼텐셜이 존재함을 확인한다. 특히, 이전 연구