Torelli loci, product cycles, and the homomorphism conjecture for $\mathcal{A}_g$

1. 문제 제기 (Problem)

• 배경: $A_g$ (차원 $g$ 인 극대 극화 아벨 다양체의 모듈라이 공간) 의 Chow 링 $CH^*(A_g)$ 에는 Hodge 번들 (Hodge bundle) 의 Chern 클래스들 ($\lambda_i$) 로 생성된 자발적 부분 대수 (tautological subalgebra) $R^*(A_g)$ 가 존재합니다.
• 자발적 사영 (Tautological Projection): [9] 에서 $CH^*(A_g)$ 에서 $R^*(A_g)$ 로 가는 $\mathbb{Q}$-선형 사영 연산자 $\text{taut}$ 이 구성되었습니다. 이는 임의의 사이클을 자발적 부분과 비자발적 부분으로 분해합니다.
• 핵심 질문: 이 사영 연산자 $\text{taut}$ 이 대수 동형사상 (algebra homomorphism) 인가? 즉, 임의의 두 사이클 $\alpha, \beta$ 에 대해 다음이 성립하는가?
  $$\text{taut}(\alpha \cdot \beta) = \text{taut}(\alpha) \cdot \text{taut}(\beta)$$
  이 성질은 $\alpha$ 또는 $\beta$ 중 하나가 이미 자발적일 때는 자명하게 성립하지만, 둘 다 비자발적인 기하학적 사이클 (예: Torelli 사이클, Product 사이클) 의 경우 성립 여부가 불확실합니다.
• 목표: Torelli 사상 (Torelli morphism) 을 통해 $A_g$ 로 들어오는 Torelli 사이클 $[J_g]$ 과 곱 사이클 (Product cycles) $[A_{g_1} \times \cdots \times A_{g_k}]$ 의 쌍에 대해 동형사상 성질이 성립하는지 확인하고, 이를 통해 더 일반적인 구조를 규명하는 것입니다.

2. 방법론 (Methodology)

저자들은 두 가지 독립적인 접근법을 사용하여 Torelli 사상의 Pullback $\text{Tor}^*([A_{g_1} \times \cdots \times A_{g_k}])$ 을 계산하고, 이를 통해 동형사상 성질을 검증했습니다.

2.1. 초과 교차 기하학 (Excess Intersection Geometry)

• 직접 계산: Torelli 사상과 곱 사상의 Fiber product $Z = M_g^{ct} \times_{A_g} (A_{g_1} \times \cdots \times A_{g_k})$ 의 기하학적 구조를 분석합니다.
• Stratification: $Z$ 는 $g$-색칠된 극단적 나무 (g-colored extremal trees) 로 인덱싱된 비특이 Deligne-Mumford 스택들로 분해됩니다.
• 계산 도구: [10] 의 방법을 일반화하여, $Z$ 의 국소 방정식을 구하고 초과 교차 이론 (excess intersection theory) 을 적용하여 Pullback 클래스를 자발적 클래스 ($\psi, \lambda$ 클래스) 의 합으로 표현합니다.
• 구현: Julia 패키지 TorelliTrees.jl 과 admcycles 를 사용하여 계산했습니다.

2.2. 벽-크로스링 (Wall-crossing)

• 안정적 사상의 재해석: $A_g$ 의 곱 사이클 Pullback 을 아벨 다양체 가족 $\pi_r: X_r \to A_r$ 로 가는 안정적 사상 (stable maps) 의 모듈라이 공간과 동일시합니다.
• 비분지 사상 (Unramified Maps): Fulton-MacPherson 퇴화 (degeneration) 를 허용하는 비분지 사상 (unramified maps) 의 모듈라이 공간을 도입합니다.
• Wall-crossing 공식: [51, 52] 의 Wall-crossing 공식을 사용하여, 안정적 사상의 가상 기본 클래스 (virtual fundamental class) 를 비분지 사상의 클래스와 연결합니다.
• 특이점 해결: $r=2$ (아벨 표면) 인 경우, 비분지 사상의 모듈라이 공간이 곡선 모듈라이 공간의 반복된 블로우업 (iterated blowup) 으로 설명될 수 있음을 보여, 계산 가능한 자발적 클래스로 변환합니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

3.1. 동형사상 성질의 검증 (Verification of Homomorphism Property)

저자들은 다음과 같은 새로운 경우에 동형사상 성질이 성립함을 증명했습니다:

• Case (ii): $([J_g], [A_2 \times A_{g-2}])$ 쌍에 대해 모든 $2 \le g \le 8$ 에서 성립합니다.
• Case (iii): $([J_6], [A_3 \times A_3])$ 쌍에 대해 $A_6$ 에서 성립합니다.
• 소멸 (Vanishing): 특정 차원 조건 ($g \ge 7$ 등) 에서 곱 사이클과 Torelli 사이클의 교차수가 0 이 됨을 보였습니다. 이는 자발적 링의 차원 한계와 일치합니다.

3.2. 자발적 사영의 새로운 계산

• Universal Fiber Product ($X_g^s$): 아벨 다양체의 보편 가족 $X_g$ 의 $s$-겹 fiber product $X_g^s$ 위에서 새로운 자발적 사영을 정의하고 계산했습니다.
• 행렬식 공식: 일반화된 곱 위치 (generalized product locus) $PR_{g,s}$ 의 자발적 사영이 보편 쎄타 (universal theta) 와 포카레 클래스 (Poincaré class) 를 포함하는 행렬식 형태로 표현됨을 보였습니다 (Theorem 12).
  $$\text{taut}_s([PR_{g,s}]) \propto \det(\theta_i, \eta_{ij}) \cdot \lambda_{g-1}$$

3.3. Gorenstein Kernel 과 Abel-Jacobi Pullback

• Gorenstein Kernel: $R^*(M_g^{ct})$ 에서 $\lambda_g$-쌍대성 (pairing) 의 핵인 Gorenstein Kernel ($K_{g,n}$) 을 연구했습니다.
• 새로운 생성자: Abel-Jacobi 사상 $aj: M_{g,2s}^{ct} \to X_g^s$ 을 통해 일반화된 곱 사이클의 Pullback 을 취한 클래스 $\Delta_{g,s}$ 가 Gorenstein Kernel 에 속함을 증명했습니다.
  • 특히, $K_{5,2}$ (1 차원) 와 $K_{4,4}$ 의 비자명 (nontrivial) 한 원소를 구성했습니다.
• 추측: 이 클래스들이 모든 $R^*(M_{g,n}^{ct})$ 의 Gorenstein Kernel 을 생성할 것이라고 추측합니다 (Conjecture 15, Speculation 50).

4. 의의 (Significance)

1. 자발적 링 구조에 대한 통찰: $A_g$ 의 Chow 링에서 자발적 부분 대수의 구조가 매우 강력하며, 비자발적인 기하학적 사이클들 사이의 곱셈 관계도 자발적 사영을 통해 잘 보존될 수 있음을 강력하게 시사합니다.
2. 동형사상 추측 (Conjecture 8): "자발적 사영 $\text{taut}$ 은 $\mathbb{Q}$-대수 동형사상이다"라는 강력한 추측을 지지하는 강력한 증거를 제시합니다. 이는 아벨 다양체 모듈라이 공간의 대수적 구조에 대한 근본적인 이해를 바꿀 수 있습니다.
3. 계산적 방법론의 발전: 초과 교차 이론과 Wall-crossing 기법을 결합하여 복잡한 모듈라이 공간의 교차수를 계산하는 새로운 패러다임을 제시했습니다. 이는 admcycles 와 같은 계산 도구의 활용을 통해 고차원 문제까지 확장 가능한 것을 보여줍니다.
4. Gorenstein Kernel 의 생성: 곡선 모듈라이 공간 $M_{g,n}^{ct}$ 의 자발적 링에서 $\lambda_g$-쌍대성이 실패하는 영역 (Gorenstein Kernel) 을 기하학적으로 생성하는 구체적인 클래스를 발견했습니다. 이는 이 영역의 구조를 완전히 이해하는 데 중요한 단서가 됩니다.
5. Faber 의 업적 확장: Carel Faber 가 시작한 Hodge 적분과 자발적 링 연구의 흐름을 이어받아, 아벨 다양체와 곡선 모듈라이 공간 사이의 깊은 연결 (Torelli 사상, Abel-Jacobi 사상) 을 정량적으로 규명했습니다.

요약

이 논문은 아벨 다양체 모듈라이 공간 $A_g$ 에서 자발적 사영이 곱셈을 보존하는지 여부를 검증하기 위해, Torelli 사상과 곱 사이클의 교차에 대한 정밀한 계산을 수행했습니다. 두 가지 독립적인 기하학적 방법 (초과 교차 및 Wall-crossing) 을 통해 $g \le 8$ 범위에서 동형사상 성질이 성립함을 증명했고, 이를 바탕으로 $M_{g,n}^{ct}$ 의 Gorenstein Kernel 을 생성하는 새로운 클래스들을 발견했습니다. 이 연구는 자발적 링의 대수적 구조에 대한 중요한 추측을 지지하며, 모듈라이 공간의 교차 이론을 계산하는 데 있어 새로운 방법론적 기준을 제시합니다.