Supermoduli spaces are non-projected in every genus $g\geq 3$

기술 요약: 종수 $g \ge 3$에서 슈퍼 모듈라이 공간의 비투영성(Non-Projectedness)

문제 정의
본 논문은 스핀 패리티 $\varepsilon \in \{+, -\}$를 갖는 매끄러운 무점 구멍 슈퍼 리만 곡면의 매끄러운 슈퍼 모듈리스 스택 $\mathcal{M}^{\varepsilon}_g$의 전역적 기하 구조를 다룬다. 슈퍼 기하학의 핵심 질문 중 하나는 이 모듈라이 공간들이 "투영(projected)"되는지 또는 "분리(split)"되는지 여부이다. 슈퍼 다양체가 그 축소된 모듈라이 공간(스핀 곡선의 모듈라이 공간 $\mathcal{S}^{\varepsilon}_g$)으로의 퇴화를 허용하면 투영된다고 한다. 만약 그 구조 층(structure sheaf)이 축소된 공간의 홀수 코탄젠트 번들의 외대수(exterior algebra)와 동형이면 분리된다고 한다.

이 공간들의 국소적 변형 이론은 장애가 없으나, 전역적인 투영의 존재는 일차 코호몰로지 클래스 $\omega_2(\mathcal{M}^{\varepsilon}_g) \in H^1(\mathcal{S}^{\varepsilon}_g, \text{Hom}(\wedge^2 T^- \mathcal{M}^{\varepsilon}_g, T^+ \mathcal{M}^{\varepsilon}_g))$에 의해 방해받는다. 이전 연구들은 $g=2$인 경우 두 패리티 성분이 모두 분리됨을 입증했다. $g \ge 5$인 경우 비투영성이 알려져 있었고, 짝수 종수 $g=4$의 경우도 해결되었다. 임계 사례인 종수 $g=3$(및 홀수 종수 $g=4$)은 미해결 상태로 남아 있었다. 저자들은 모든 $g \ge 3$에 대해 대수적 및 홀로모픽 범주 모두에서 두 패리티 성분이 비투영적이며 분리되지 않음을 증명하고자 한다.

방법론
증명은 퇴화 기법, 형식적 변형 이론, 그리고 대수적-해석적 비교 정리를 결합한 다단계 논증을 통해 진행된다.

1. 경계 퇴화 및 테스트 패밀리:
   저자들은 "중심 소스(central source)" 슈퍼 스킴 $Z^{\varepsilon}_{\eta}$로부터 안정된 슈퍼 모듈라이 공간의 분리되는 네뵈-슈츠(Neveu–Schwarz) 경계 디바이서 $D$로의 특정한 사상을 구성한다.

• 핵심(The Core): 소스는 효과적이지 않은 짝수 테타 특성 $L$ ($H^0(C, L) = H^1(C, L) = 0$)을 갖춘 종수 $h = g-1$ 곡선 $C$를 기반으로 구축된다.
• 꼬리(The Tail): 노드(node)에서 타원형 성분이 부착된다. 이 꼬리의 스핀 구조는 결과적으로 생성되는 종수 $g$ 곡면의 패리티 $\varepsilon$를 결정한다.
• 패리티 구분: 짝수 패리티($\varepsilon=+$)의 경우, 불변 장애물을 제거하기 위해 타원형 꼬리에 움직이는 NS 표식(marking)을 포함한다. 홀수 패리티($\varepsilon=-$)의 경우, 꼬리는 일정하게 유지된다.
• 중심 클래스: $L$의 비효과성을 사용하여, 저자들은 소스의 일차 장애물 클래스가 경계 접 번들로 단사 사상되어 비제로인 "중심 비교 클래스" $c^{\varepsilon}_{\eta}$를 생성함을 보여준다.

2. 횡단적 형식적 평활화(Transverse Formal Smoothing):
   횡단적 확장 이론을 사용하여, $Z^{\varepsilon}_{\eta} \to D$의 사상을 경계에 횡단적인 방향(노드를 평활화하는 방향)으로 형식적으로 확장한다.

• 저자들은 포멀 디스크 위에서 $D$로 매핑되는 형식적 패밀리 $\widehat{Y}^{\varepsilon}_{\eta}$를 구성하여, $D$의 주변 환경의 형식적 완비(formal completion)로 매핑한다.
• 장애 소멸: 이 확장의 장애 그룹이 소멸함을 증명하는 것이 핵심적인 기술적 단계이다. 유한 군 $A \cong \mu_4$(타원형 꼬리에 작용)의 작용을 분석하고 코어에 대한 세르 쌍대성(Serre duality)을 활용함으로써, 모든 형식적 확장의 모든 차수에서 불변 장애 클래스가 소멸함을 입증한다. 이는 일관된 형식적 평활화의 존재를 보장한다.

3. 로랑 국소화 및 극(Pole) 제거:
   경계에서 매끄러운 로커스로 이동하기 위해 경계 파라미터 $t$를 역원으로 취한다.

• 저자들은 로랑 국소화 하에서 비교 클래스의 거동을 분석한다. 만약 클래스가 $t$를 역원으로 취한 후 소멸한다가면, 그 결과인 원시 함수(primitive)가 극을 가져야 함을 증상한다.
• 패리티 대칭 작용 하에서의 평균화와 관련 그레이디드 번들을 분석함으로써, 경계 파라미터의 음의 거듭제곱에 대해 비제로인 불변 전역 섹션이 존재하지 않음을 보여준다. 결과적으로, 어떤 원시 함수도 정칙(regular)이어야 하며, 이는 중심 클래스의 비소멸성과 모순된다. 이를 통해 확장이 매끄러운 로커스 상에서도 분리되지 않음을 확립한다.

4. 대수적 비소멸성:
   저자들은 만약 매끄러운 대수적 모듈라이 공간 $\mathcal{M}^{\varepsilon}_g$에서 일차 장애물이 소멸한다면, 분리가 존재할 것임을 추론한다. 그러나 이 분리는 구성된 형식적 확장의 로랑 분리로 끌어올려질 것이며, 이는 앞선 단계와 모순된다. 따라서 $\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0$이다.

5. 대수적-해석적 비교:
   이 결과를 홀로모픽 범주로 확장하기 위해, 저자들은 일반적인 비교 정리(정리 1.2)를 증명한다.

• 이들은 (자코비안 로커스의 사타케 컴팩티피케이션과 토렐리 사상을 사용하여) 보집합의 코디멘션이 적어도 2인, 스핀 레벨 커버의 법적(normal) 투영 컴팩티피케이션을 구성한다.
• 이러한 다양체들에 대해 $H^1$ 상의 해석적 사상(analytification map)이 단사임을 보여준다. 이는 코디멘션-2 보집합 전체에 걸쳐 섹션을 가법적 반사적 층(coherent reflexive sheaves)으로 확장하고 GAGA를 적용하는 것에 기초한다.
• 이 단사성은 대수적 클래스의 비소멸이 홀로모픽 클래스의 비소멸을 보장함을 확립한다.

주요 기여 및 결과

• 주요 정리 (정리 1.1): 모든 종수 $g \ge 3$와 두 스핀 패리티 $\varepsilon \in \{+, -\}$에 대해, 일차 장애물 클래스는 대수적 및 홀로모픽 범주 모두에서 0이 아니다:
  $$\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0, \quad \omega^{\text{hol}}_2((\mathcal{M}^{\varepsilon}_g)^{\text{an}}) \neq 0.$$
  따라서, 매끄러운 무점 구멍 슈퍼 모듈라이 공간은 투영되지도 분리되지도 않는다.
• 종수-3 임계값 해결: 본 논문은 종수 3에서 발생하는 이 현상에 대한 최초의 증명을 제공하여, 가장 낮은 종수의 문제를 해결하였다.
• 통합적 논증: 저자들은 타원형 꼬리의 자기 동형군 처리에 차이를 둘 뿐, 모든 $g \ge 3$ 및 두 패리티에 일관되게 적용되는 단일한 퇴화 논증을 사용한다.
• 비교 정리: 본 논문은 (비적절한 다양체에 대해서도) 대수적 확장 클래스가 해석화 이후에도 비자명하게 유지되기 위한 충분한 기하학적 조건(코디멘션-2 보집합을 가진 법적 투영 컴팩티피케이션의 존재)을 확립한다.

의의
이 논문은 슈퍼 모듈라이 공간의 전역 기하학에 관한 근본적인 특징을 확립한다. 즉, 국소적 변형 이론은 장애가 없음에도 불구하고, 이들은 고전적 스핀 스택 위에 비자명한 전역 확장 데이터를 가진다. 이러한 장애는 $g \ge 3$인 경우 클래식 스핀 곡선의 모듈라이로의 전역 홀로모픽 투영의 존재를 방해한다.

슈퍼 모듈라이에서의 적분을 통해 진폭(amplitude)이 정의되는 슈퍼 끈 섭동 이론의 맥락에서, 이 결과는 슈퍼 피리어드 행렬을 통한 전역 투영에 의존하는 종수 2에서의 구성 방식이 고차 종수로 일반화될 수 없음을 시사한다. 이 결과가 다른 저자들이 제안한 카이럴 측도(chiral measures)의 특정 모듈러 형식 후보들을 즉각적으로 무효화하는 것은 아니지만, 유사한 구성을 위한 전역 홀로모픽 투영의 존재 가능성을 배제한다. 이 연구는 "그린 장애(Green obstruction)"의 기하학적 성격을 명확히 하며, 종수 2 이상의 안정적 범위 전체에서 스플릿 모델(split model)이 실패함을 확인한다.