기술적 요약: 보편적 콤팩트화 야코비안의 지원 정리

1. 문제 제기

본 논문은 안정된 표지 곡선의 모듈라이 스택 $\mathcal{M}_{g,n}$ 위의 보편적 콤팩트화 야코비안 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$의 기하학적 및 코호몰로지적 구조를 다룬다. 이러한 공간들의 코호몰로지는 차수 $d$와 비퇴화 안정성 조건 $\phi$의 선택에 따라 불변임이 알려져 있으나 (Migliorini–Shende–Viviani [MSV21] 에 의해 증명됨), $\phi$가 퇴화된 경우 기하학은 훨씬 더 복잡해진다. 퇴화 사례에서는 엄격 준안정 층의 존재로 인해 $\mathcal{M}_{g,n}$의 경계 층 위에서 심각한 특이점이 발생한다.

핵심 문제는 교차 코호몰로지 복합체의 유도된 푸시포워드 $R\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$의 BBDG (Beilinson–Bernstein–Deligne–Gabber) 분해에 나타나는 직합항들의 **지원 (support)**을 결정하는 것이다. 여기서 $\overline{\pi}$는 베이스로의 망각 사상이다. 구체적으로, 저자는 모든 직합항이 베이스 $\mathcal{M}_{g,n}$에서 **전체 지원 (full support)**을 가진다는 것을 증명하고자 한다. 이는 히친 피브레이션과 비퇴화 야코비안에 대해 알려진 "지원 정리"를 보다 특이적인 보편적 설정으로 확장하는 것이다.

2. 방법론

본 논문은 주요 결과를 확립하기 위해 두 가지 상이한 방법론적 접근법을 사용한다:

접근법 A: 일반화된 응 Ngô 지원 정리

주요 증명은 약한 아벨 피브레이션 이론과 공변적 퍼브 층의 기법을 종합한다.

1. 강화 및 좋은 모듈라이 공간: 보편적 콤팩트화 야코비안 스택이 $\mathcal{M}_{g,n}$ 위에서 propre 하지 않으며, 상대 피카르 군의 자연스러운 병진 작용이 자동형으로 인해 조밀 모듈라이 공간으로 내려가지 않기 때문에 응 Ngô 의 지원 정리를 직접 적용하는 것은 방해받는다. 이를 해결하기 위해 저자는 수직 자동형을 강화하면서 베이스 $\mathcal{M}_{g,n}$은 보존하는 상대 좋은 모듈라이 공간 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$에서 작업한다.
2. 베이스 변경: 유한 몫 스택과 관련된 기술적 미묘함을 피하기 위해, 사상을 유한 에탈 덮개 $B \to \mathcal{M}_{g,n}$ (테이히뮐러 레벨 구조 공간) 을 따라 베이스 변경하여 매끄러운 다양체 $B$를 얻는다.
3. 가정 검증: 저자는 $P$가 상대 피카르 다양체일 때, 삼중체 $(\widetilde{\mathcal{J}}^{d,\phi}_B, P, B)$가 Maulik 과 Shen [MS23] 의 의미에서 약한 아벨 피브레이션을 형성함을 검증한다. 여기에는 다음이 포함된다:
   • 피버의 propre 성 및 순수 차원.
   • 군 작용에 대한 아핀 안정자.
   • $\delta$-정규성: 베이스 내 층의 코차원과 안정자 군의 아핀 부분의 차원 사이의 관계를 규정하는 조건.
4. 분해 정리: 일반화된 지원 정리 (정리 2.2) 를 사용하여 분해의 임의의 지원 $Z$가 $\text{codim } Z \leq \delta_Z$를 만족해야 함을 증명한다. $\delta$-정규성과 결합하면 이는 $Z$가 전체 베이스가 되도록 강제한다.
5. 하강: 결과는 공변 유도 범주의 형식을 사용하여 덮개 $B$에서 $\mathcal{M}_{g,n}$으로 하강된다.

접근법 B: 안정성 조건의 변화

두 번째 독립적인 증명은 $n \geq 1$인 경우 (에탈 근방을 통해 $n=0$에 맞게 조정됨) 에 제공된다.

1. 월-크로싱: 저자는 안정성 공간 $V^d_{g,n}$의 월과 챔버 구조를 활용한다. 퇴화 안정성 조건 $\phi$에 대해 인접한 비퇴화 조건 $\phi'$을 선택한다.
2. Proper 사상: 모듈라이 스택의 포함은 상대 좋은 모듈라이 공간 사이의 proper, 전사 사상 $r: \mathcal{J}^{d,\phi'}_{g,n} \to \mathcal{J}^{d,\phi}_{g,n}$을 유도한다.
3. 축소: $\mathcal{J}^{d,\phi'}_{g,n}$이 (비퇴화 $\phi'$에 대해) 매끄러우므로, 그 교차 복합체는 이동된 상수 층이다. 비퇴화 야코비안에 대한 알려진 지원 정리 [MSV21] 가 이 상수 층의 푸시포위에 적용된다.
4. 직합항 논증: 교차 복합체 $IC(\mathcal{J}^{d,\phi}_{g,n})$가 비퇴화 측의 상수 층의 푸시포위의 직합항임이 보인다. 결과적으로, 비퇴화 사례의 지원 속성이 퇴화 사례로 이전된다.

3. 주요 기여 및 결과

주요 정리 (정리 1.1)

본 논문은 $2g-2+n > 0$인 정수 $g, n \geq 0$에 대해, $\mathcal{M}_{g,n}$ 위의 상대 좋은 모듈라이 공간 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$에 대해 다음을 증명한다:

1. 전체 지원: 유도된 푸시포워드 $\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$의 모든 직합항은 $\mathcal{M}_{g,n}$에서 전체 지원을 가진다.
2. 명시적 분해: $\mathcal{M}_{g,n}$ 위의 혼합 호지 모듈의 유계 유도 범주에서 다음 동형이 성립한다:
   $$\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n}) \simeq \bigoplus_{i=0}^{2g} IC\left(\mathcal{M}_{g,n}, (\wedge^i R^1\gamma_* \mathbb{Q}_{C_{g,n}})\right)[-i+g]$$
   여기서 $\gamma: C_{g,n} \to \mathcal{M}_{g,n}$은 보편 곡선이다.

따름정리

• 조밀 모듈라이 공간 (따름정리 1.2): $\overline{\mathcal{J}}^{d,\phi}_{g,n}$의 조밀 모듈라이 공간 $J$의 교차 복합체의 푸시포위에 대해 전체 지원 속성이 성립한다.
• 위상 불변성 (따름정리 1.3): 교차 코호몰로지 군 $IH^*(\overline{\mathcal{J}}^{d,\phi}_{g,n}, \mathbb{Q})$은 어떤 정수 $d, d'$과 어떤 안정성 조건 $\phi, \phi'$ (퇴화 또는 비퇴화) 에 대해서도 $\mathbb{Q}$-호지 구조로서 동형이다. 이는 코호몰로지 군의 알려진 불변성을 퇴화 설정으로 확장한다.

4. 의의 및 주장

본 논문은 이전에 경계 층의 복잡성과 조밀 모듈라이 공간에서의 proper 군 작용 부재로 인해 방해받았던 보편적 콤팩트화 야코비안에 대한 전체 지원 정리를 제공한다고 주장한다.

• 방법론적 종합: 이 작업은 원래 히친 피브레이션을 위해 개발된 응 Ngô 의 지원 정리 기계를 곡선 모듈라이에 성공적으로 적용한다. 상대 좋은 모듈라이 공간과 공변 유도 범주를 활용하여 propre 성 부재와 자동형 군의 장애를 해결한다.
• 퇴화성 처리: 본 논문은 기하학이 특이하고 엄격 준안정 층이 존재하는 퇴화 안정성 조건의 경우를 명시적으로 다룬다. 이러한 특이점에도 불구하고 교차 코호몰로지의 위상 불변성이 유지됨을 보여준다.
• 증명의 독립성: 일반화된 약한 아벨 피브레이션 지원 정리에 의존하는 한 가지 증명과 안정성 조건 변화에 의존하는 다른 증명을 제공함으로써 저자는 결과의 견고성을 강화한다.
• 미래 작업을 위한 동기 부여: 이 결과는 비퇴화 조건에 대해 정의된 코호몰로지 환 구조의 퇴화인 "내재적 코호몰로지 환"이 퇴화 안정성 조건 설정으로 확장될 수 있는지라는 질문을 동기 부여한다.

저자는 범위에 대해 겸손한 어조를 유지하며, 코호몰로지 군은 불변이지만 코호몰로지 환 구조는 일반적으로 $d$와 $\phi$의 선택에 의존하며, 본 논문은 퇴화 사례에 대한 환 구조를 해결하지는 못한다고 명시한다.