Schottky versus super Schottky in genus 4

기술 요약: Genus 4에서의 Schottky와 Super Schottky 비교

문제 정의
본 논문은 Witten, Felder, Kazhdan, 그리고 Polishchuk이 제기한 초 리만 곡면(super Riemann surfaces) 및 그 모듈라이 공간의 이론에 관한 특정 질문을 다룬다. 핵심 문제는 고전적 Schottky 아이디얼 $I_g$의 $d$제곱이 super Schottky 아이디얼 $\tilde{I}_g$에 포함되도록 하는 가장 작은 정수 $d$를 결정하는 것이다.

Schottky 아이디얼 $I_g$는 주 꼴(principally polarized) 아벨 다양체 $A_g$의 모듈라이 공간 내에서 야코비안(Jacobian)의 로커스를 정의한다. Super Schottky 아이디얼 $\tilde{I}_g$는 짝수 제로 모드($h^0(C, L) = 0$)가 소멸하는 even supermoduli의 열린 스택 $M_{g}^{+,0}$에서 super period map $\tilde{p}: M_{g}^{+,0} \to A_g$의 스키마틱 이미지(schematic image)를 정의한다.

이전 연구 결과들은 다음과 같이 확립되었다:

• 홀수 genus $g \geq 5$에 대해, $d = g$이다.
• 짝수 genus $g \geq 6$에 대해, $d = g$이다 (Y. Shen에 의해 증명됨).
• 짝수 genus $g \geq 4$에 대해, $d \in \{g-1, g\}$임이 알려져 있었다.

$g=4$인 경우는 최소 차수 $d$가 결정되지 않은 유일한 미결 사례로 남아 있었다. 저자들은 $g=4$일 때 $d=4$임을 증명함으로써 이 공백을 해결하고자 한다.

방법론
증명은 super period map의 코디퍼런셜(codifferential) $d^*\tilde{p}$를 분석하는 것에 기초한다. $(I_g)^{g-1} \not\subset \tilde{I}_g$라는 조건은 코디퍼런셜이 야코비안 로커스의 conormal space로 제한되었을 때 최대 랭크 $2g-2$ (즉, $g=4$일 때 6)를 가짐을 보이는 것과 동치이다.

방법론은 다음 단계들을 통해 진행된다:

1. 층론적 프레임워크(Sheaf-Theoretic Framework): 저자들은 해석적 커널(analytic kernels)과 장애 클래스(obstruction classes)를 제어하기 위해 $C \times C$ 상의 층 $\mathcal{O}(a, b, c)$를 활용한다. 구체적으로, 코디퍼런셜을 Szegő 커널 $s$에 의한 곱셈으로 해석한다. conormal 벡터 $q$ (정준 이차 형식, canonical quadric)에 대하여, 그 이미지 $s_1(q)$는 $\bigwedge^2 H^0(K_C^{3/2})$의 bivector이다. 이 bivector의 랭크가 $d$의 값을 결정한다.

2. Vanishing Theta-Nulls로의 퇴화(Degeneration): Szegő 커널은 $h^0(C, L) > 0$ (vanishing theta-null)일 때 정의되지 않으므로, 저자들은 정규화된 버전을 사용한다. 이들은 vanishing theta-null ($h^0(C_0, L_0) = 2$)을 가진 곡선 $C_0$로 퇴화하는 곡선 패밀리를 고려한다.

   • 중심 파이버 $C_0$에서, 극한 bivector $\omega_0$는 명시적으로 계산된다. 비-hyperelliptic genus 4 곡선의 경우, 정준 이차 형식의 공간은 1차원이다. 저자들은 theta-null에서의 $\omega_0$의 랭크가 일반적인 6이 아니라 4임을 보인다.

3. 1차 변분 및 랭크 점프(First-Order Variation and Rank Jump): 일반적인 랭크가 6임을 증명하기 위해, 저자들은 랭크가 4인 극한 bivector에 대한 transverse deformation 하에서 랭크가 점프함을 보여야 한다.

   • 저자들은 vanishing theta-null을 가진 특정 cyclic trigonal curve와, cubic equation이 고정된 transverse deformation을 선택한다.
   • 정규화된 conormal bivector $\dot{\omega}_0$의 1차 변분을 계산한다. 이는 전역적인 Gaussian-map identity를 미분하는 과정을 포함한다.
   • 이 변분은 $\omega_0$의 2차원 null space $R$의 normal quotient $\bigwedge^2 R^\vee$로 투영된다.
   • Serre duality와 Kodaira–Spencer class 및 section의 lift에 대한 obstruction map $B_\xi$에 대한 명시적 계산을 사용하여, Szegő 커널의 polar coefficient를 결정한다.
   • 저자들은 첫 번째 normal symbol $\nu$가 0이 아님을 입증한다.

4. Rank Jump Lemma: 선형 대수적 논증(Lemma 7.1)은 만약 bivector의 1차 변분이 극한 행렬의 null space 위에서 0이 아니라면, 근방의 파이버들에 대해 행렬의 랭크가 최대값(6)으로 점프함을 보여준다.

주요 기여 및 결과

• Genus 4 사례의 해결: 본 논문은 정리 1.1을 증명한다: genus 4에서 $(I_4)^d \subset \tilde{I}_4$를 만족하는 가장 작은 $d$는 $d=4$이다. 이는 $(g-1)$차 power의 Schottky 아이디얼이 genus 4에서 super Schottky 아이디얼에 포함되지 않음을 확인해 준다.
• 코디퍼런셜의 명시적 계산: 저자들은 vanishing theta-null에서의 super period map의 코디퍼런셜을 명시적으로 계산하여, 그 랭크가 4임을 보여준다.
• 1차 변분의 비소멸성: 핵심적인 기술적 기여는 정규화된 conormal bivector의 1차 변분이 극한 행렬의 null space 위에서 0이 아님을 증명하는 것이다. 이는 cyclic trigonal curve, Gaussian map, 그리고 Szegő 커널과 spin bundle의 section을 lift 하는 데 대한 obstruction 사이의 상호작용에 대한 상세한 분석을 통해 달성된다.
• 고차 genus 결과로부터의 독립성: $g=4$에 대한 논증은 Shen이 확립한 $g \geq 6$에 대한 결과에 의존하지 않는 독자적인 구조를 갖는다.

의의
이 논문은 모든 genus $g \geq 4$에 대하여 Schottky 아이디얼의 거듭제곱이 super Schottky 아이디얼에 포함되는지에 대한 분류의 마지막 공백을 메운다. $g=4$에서 $d=g$임을 확립함으로써, 모든 짝수 및 홀수 genus(여기서 $g \geq 5$ 및 $g \geq 6$에 대해 $d=g$임)에 대한 균일한 거동을 확인한다.

본 연구는 theta-null divisor 근처에서 super period map의 기하학적 구조를 명확히 한다. 즉, 맵이 divisor에서 랭크가 감소하며 퇴화함에도 불구하고, 일반적인 거동은 비소멸하는 1차 항에 의해 결정됨을 보여준다. 이 결과는 super moduli 공간의 구조와 super Riemann surface 및 그 bosonic reduction 사이의 관계를 이해하는 데 있어 중요하다. 저자들은 자신의 증명이 표준적인 exact sequence, degeneration 기법, 그리고 명시적인 kernel 계산에 기반하고 있음을 언급하며, 이는 기존 분야의 이론적 기대치를 구체적으로 검증하는 것이다.