위상적 야코비 형식의 완전 계산

초록

이 논문은 소수 2에서 모든 지수 $m\ge1$에 대해 위상적 야코비 형식 스펙트럼 $\mathrm{TJF}_m$의 동차군을 계산한다. 핵심은 $\mathrm{TMF}$‑셀 구조 $\mathrm{TJF}_m\simeq\mathrm{TMF}\otimes P_m$를 이용해 차원 $2d\le2m$(단 $d\neq1$)에 하나씩 존재하는 짝수 셀만을 가진 유한 복합체 $P_m$를 분석하고, 셀 구조에서 유도되는 차동을 모두 결정함으로써 전하강 스펙트럼을 완전히 수렴시킨다.

상세 분석

논문의 핵심 기술은 $\mathrm{TMF}$‑모듈 구조를 이용한 셀 분해와 그에 따른 하강 스펙트럼(DSS)의 전면적 제어에 있다. 저자는 먼저 $M_{\mathrm{ell}}$ 위의 에틸레틱 곡선 $p:E\to M_{\mathrm{ell}}$을 $\Gamma$‑함수를 통해 정의된 라인 번들 $\mathcal O_E(me)$의 전역 섹션으로 $\mathrm{TJF}_m$를 정의한다. 이때 $p^*\omega$와 $\mathcal O_E(me)$의 텐서곱이 형성하는 Hopf 알제브라이드 $(B_m,\Sigma_m)$가 $\mathrm{TJF}m$의 코호몰로지를 제어한다는 점을 보인다. 2‑국소화와 'etale 커버 $M_1(3)\to M{\mathrm{ell}}$를 이용해 $B_m$을 명시적으로 계산하고, $E_2$‑항을 $H^s(B_m,\Sigma_m)$ 형태로 표현한다.

다음 단계에서는 $\mathrm{TJF}\infty$(무한 지수) 케이스를 변화-링 정리(change‑of‑rings)를 통해 분석한다. 여기서 $\eta^4=0$ 관계가 유일한 $d_3$ 차동을 강제하고, 결과적으로 $\pi*\mathrm{TJF}\infty$는 $\mathrm{TMF}$에 단순한 $\Sigma$‑시프트와 $C\nu$(Hopf 섬유에 의한 셀) 텐서곱만을 포함한다는 결론을 얻는다.

핵심적인 셀 구조는 $P_m$가 차원 $2,4,\dots,2m$에 각각 하나씩 짝수 셀을 갖고, $2$‑차원 셀을 제외한다는 점이다. 이 셀들은 전이(sequence)와 전이 맵 $\Sigma\mathrm{TMF}\to\mathrm{TMF}^T\to\mathrm{TMF}$를 이용해 $\mathrm{TJF}m$가 $\mathrm{TMF}\otimes C{\nu}$ 혹은 $\mathrm{TMF}\otimes P_m$와 동형임을 보인다. 셀 부착 지도는 $\eta$, $\nu$, $2\nu$와 같은 고전적인 호프 섬유에 의해 결정되며, 이는 차동을 완전히 규정한다.

마지막으로 저자는 $m=2,\dots,7$에 대해 구체적인 $E_2$‑항과 차동을 계산한다. 수직 소멸선 $s=24$와 합성법칙(합성 리바이츠 규칙)을 이용해 가능한 차동을 제한하고, 셀 구조에서 직접 유도된 관계식으로 모든 차동을 명시한다. 결과적으로 $\pi_*\mathrm{TJF}_m$는 $\mathrm{TMF}$‑셀 복합체 $P_m$의 동차군과 정확히 일치한다는 완전한 2‑국소 계산을 제공한다.