자기수반 교환 미분 연산자와 Weyl 대수의 가환 부분대수

초록

본 논문은 차수가 4와 4g+2인 두 미분 연산자가 교환하면서 자기수반이 되는 충분조건을 제시하고, 이를 이용해 임의의 정수 g에 대해 차수가 4와 4g+2인 랭크 2 연산자 쌍을 구성한다. 이 연산자들은 다항식 계수를 가지며, 1차 Weyl 대수 A₁ 안에 새로운 가환 부분대수를 형성한다. 또한, 이러한 구조가 Dixmier 추측과 연관됨을 논한다.

상세 분석

논문은 먼저 차수 4인 연산자 L₄와 차수 4g+2인 연산자 L₄g+2가 서로 교환한다는 전제 하에, L₄가 자기수반(즉 L₄ = L₄*)이 되기 위한 필요충분조건을 찾는다. 이를 위해 L₄를 L₄ = (∂ₓ²+V(x))²+W(x) 형태로 쓰고, 두 연산자의 공통 고유함수 ψ(x,P) (P는 스펙트럼 곡선 Γ 위의 점) 가 만족하는 2차 선형 ODE
ψ’’ = χ₁(x,P)ψ’ + χ₀(x,P)ψ
를 도입한다. χ₀, χ₁은 Γ 위의 유리함수이며, 2g개의 단순 극점 γ_i(x)와 무한대에서의 추가 극점을 가진다. 저자는 χ₁이 하이퍼엘립틱 곡선의 전단사 σ:(z,w)↦(z,−w)에 대해 불변이면 L₄가 자기수반임을 보이며, 반대로 자기수반이면 χ₁이 σ-불변임을 증명한다(정리 1).

다음 단계에서는 χ₀, χ₁을 Q(z,x)=∏_{i=1}^g (z−γ_i(x)) 로 정의하고,
χ₁ = Q’/Q, χ₀ = −½ Q’’/Q + w·Q − V(x)
라는 형태를 얻는다. 여기서 w는 Γ 위의 좌표이며, V,W는 아직 미정이다. 이들을 L₄와 L₄g+2의 관계 (L₄g+2)² = F_g(L₄) (F_g는 차수 2g+1 다항식)와 결합하면,
4F_g(z) = 4(z−W)Q² − 4V(Q’)² + (Q’’)² − 2Q’Q’’’ + 2Q(2V’Q’ + 4VQ’’ + Q⁽⁴⁾)
이라는 비선형 방정식(정리 2, 식 4)을 얻는다. 이 방정식은 V,W,γ_i(x) 사이의 관계를 완전히 규정한다.

저자는 식 4를 풀어 다항식 계수를 갖는 구체적인 해를 찾는다. 특히
L₄^♯ = (∂ₓ² + α₃x³ + α₂x² + α₁x + α₀)² + g(g+1)α₃x
와 그에 대응하는 L₄g+2^♯ 를 구성한다. 여기서 α₃≠0이면 γ_i(x)는 서로 다른 다항식이며, 스펙트럼 곡선 w² = F_g(z)는 일반적인 비특이 하이퍼엘립틱 곡선이 된다(정리 3). 이 경우 L₄^♯와 L₄g+2^♯는 모두 랭크 2이며, 계수가 전부 다항식이므로 1차 Weyl 대수 A₁ 안에 새로운 가환 부분대수를 만든다.

마지막으로 이러한 해가 Aut(A₁)의 작용에 의해 보존된다는 점을 언급하며, 이는 유명한 Dixmier 추측(End(A₁)=Aut(A₁))과 연관된 연구 방향을 제시한다. 전체적으로 논문은 자기수반 조건, Krichever‑Tyurin 파라미터 변형법, 그리고 비선형 방정식(4)의 해석을 결합해, 임의의 genus g에 대해 다항식 계수를 갖는 랭크 2 교환 연산자 쌍을 최초로 구성한 점이 가장 큰 공헌이다.