부흐스타버·오차닌·크리체버·위튼 유전체와 새로운 형식군

초록

이 논문은 모듈러스 제곱 구성을 이용해 부흐스타버 다항식 계열을 재현하는 새로운 2값 형식군을 정의하고, 이를 통해 부흐스타버 세대라는 히르베르크 계수를 얻는다. a₃≠0인 경우는 기존의 오차닌·크리체버·위튼 타원곡선 세대와 구별되며, θ‑디바이저와 복소 사영공간에 대한 값들을 계산한다. 또한 두 세대 사이의 차이를 명시적으로 보여준다.

상세 분석

논문은 먼저 두 값(formal) 군의 일반 이론을 복습하고, Buchstaber가 제시한 다항식 Bₐ(z;x,y) 를 모듈러스 제곱(construction)으로부터 유도한다. 핵심은 식 (4) 로 정의된 새로운 2값 형식군 F_{Bc}(u,v)이며, 여기서 Q(t)=1−a₁t²+a₂t⁴−a₃t⁶ 로 나타난다. a₃=0이면 λ₁(u)≡1 이 되어 Ochanine 세대와 일치하고, a₃≠0이면 기존의 Krichever·Ochanine·Witten 세대와 겹치지 않는 새로운 Hirzebruch 세대, 즉 Buchstaber 세대가 생성된다.

정리 2에서 저자는 다음을 증명한다. (i) 적분 I(x)=√x∫₀^{t} (1+a₁t²+a₂t⁴+a₃t⁶)^{-1/2}dt 로부터 Weierstrass ℘‑함수와 g₂,g₃ 를 정의하고, x(u)=℘(u;g₂,g₃)−a₁/3 로 표현한다. (ii) 이 적분의 역함수는 두 값 형식군의 로그 B(x)=I₂(x) 로, 그 역함수 B^{-1}(x)=℘(√x;g₂,g₃)−a₁/3 가 된다. (iii) 따라서 F_{Bc}(u,v) =