Topology of higher Albanese maps and aspherical varieties with nilpotent fundamental group

기술적 요약: 고차 알베네스 사상(Higher Albanese Maps)의 위상적 구조와 멱등(Nilpotent) 기본군을 갖는 비구형(Aspherical) 다양체

문제 정의
본 논문은 정규 복소 대수 다양체의 기본군의 구조에 관한 추측을 다룬다. 구체적으로, 가상 멱등(virtually nilpotent) 기본군 $\pi_1(X)$가 반드시 가상으로 최대 2단계 멱등(virtually at most 2-step nilpotent)이어야 하는지를 조사한다. 이 추측은 (멱등 기본군을 갖는 비구형 다양체가 아벨 군이어야 하는) 매끄러운 사영 다양체 및 약특수(weakly special) 다양체의 경우에는 알려져 있으나, 비구형 준사영(quasi-projective) 다양체의 경우는 미해결 상태로 남아 있었다. 준사영 설정에서는 다양체가 코호몰로지적으로 형식적(cohomologically formal)이지 않을 수 있어, 멱등하지만 비아벨인 기본군을 갖는 비구형 다양체의 존재를 허용하기 때문이다. 본 논문은 사영성을 가정하지 않고 모든 비구형 정규 대수 다양체에 대해 이 추측을 검증하는 것을 목표로 한다.

방법론
증명은 다양체 $X$의 대수적 위상, 고차 알베네스 다양체의 구조, 그리고 $q$-완전(q-complete) 복소 공간 이론 사이의 상호작용에 의존한다. 핵심적인 기술적 전략은 다음 단계들을 포함한다:

1. 고차 알베네스 사상: 저자는 $s$-차 고차 알베네스 사상 $\text{alb}_s: X \to \text{Alb}_s(X)$를 활용한다. 여기서 $\text{Alb}_s(X)$는 $\pi_1(X)$의 최대 무잉여 멱등 몫(maximal torsion-free nilpotent quotient) $G^s_{\mathbb{Z}}(X)$와 관련된 $s$-차 고차 알베네스 다양체이다. 이 다양체는 복소 리 군 몫인 $G^s_{\mathbb{Z}}(X) \backslash G^s_{\mathbb{C}}(X) / F^0 G^s(X)$이다.
2. 호지 여과(Hodge Filtration) 및 차원 경계: 말체프 완비화(Malcev completion)의 리 대수 $\mathfrak{g}^s_{\mathbb{Q}}(X)$는 호지 여과 $F^\bullet$를 갖는 정준 혼합 호지 구조를 가진다. 본 논문은 고차 알베네스 사상의 상(image)이 특정 부속다발 $F^1 \mathfrak{g}^s / F^0 \mathfrak{g}^s$에 접한다는 것(그리피스 가환성, Griffiths transversality)을 확립하며, 이는 상의 차원에 대한 상한 $\dim \text{alb}_s(X) \leq \dim F^1 \mathfrak{g}^s - \dim F^0 \mathfrak{g}^s$을 함의한다.
3. $q$-완전성: 중요한 기하학적 성질이 확립된다: 고차 알베네스 다양체 $\text{Alb}_s(X)$는 $q = \dim F^0 \mathfrak{g}^s$에 대해 $q$-완전하다. 이는 $\text{Alb}_s(X)$를 $\text{Alb}_{s-1}(X)$ 위의 홀로모픽 주번데으로 보는 구조를 이용하여, 파이버 번들의 $q$-완전성에 관한 다케우치(Takeuchi)의 정리를 적용함으로써 귀납적으로 증명된다.
4. 호모토피 유형 및 코호몰로지: $\text{Alb}_s(X)$의 $q$-완전성과 상의 차원 $Y = \overline{\text{alb}_s(X)}$의 경계 조건을 결합하여, 저자는 함(Hamm)의 정리를 적용한다. 이 정리는 $n$차원인 $q$-완전 공간이 최대 $n+q$ 차원의 CW-복합체의 호모토피 유형을 갖는다는 것을 기술한다. 결과적으로, 상의 코호몰로지는 $\dim F^1 \mathfrak{g}^s$보다 높은 차수에서 소멸한다.
5. 정의 가능성(Definability): 본 증명은 고차 알베네스 사상의 o-최소(o-minimal) 정의 가능성(선행 연구 [Rog25]에서 확립됨)을 통합하여, 상의 폐쇄(closure)의 차원이 상 자체의 차원과 같음을 보장함으로써 해석적 위상에서의 병리적 현상을 방지한다.

주요 기여 및 결과

• 코호몰로지 사상에 대한 소멸 정리: 본 논문은 정규 대수 다양체 $X$에 대하여, 자연스러운 사상 $\alpha_k: H^k(G^s_{\mathbb{Z}}(X), \mathbb{Z}) \to H^k(X, \mathbb{Z})$가 모든 $k > \dim F^1 \mathfrak{g}^s$에 대해 소멸함을 증명한다. 이는 해당 다양체의 대수적 위상에 새로운 제약을 부과한다.
• 비공성 제한(Non-Empty Restriction): 본 논문은 이 소멸 조건이 자명하지 않음을 입증한다. 구체적으로, 만약 $G^s_{\mathbb{Z}}(X)$의 멱등 계급(nilpotency class)이 2보다 크다면, 소스 코호몰로지 군이 0이 아닌 차수 $k$가 존재하여 사상이 소멸하게 된다.
• 비구형 다양체에 대한 추측 검증: 주요 결과(따름정리 3.6)는 $X$가 비구형 정규 대수 다양체이고 $\pi_1(X)$가 가상 멱등이면, $\pi_1(X)$는 가상 2단계 멱등임을 확인한다.
  • 논리: 만약 $\pi_1(X)$가 계급 $s > 2$인 가상 멱등이라면, 군의 코호몰로지와 공간의 코호몰로지 사이의 동형 관계(비구형성으로 인한)가 고차 알베네스 사상의 성질로부터 유도된 소멸 정리와 모순을 일으킨다.
• 멱등 계급에 관한 일반 정리: 정리 3.5는 관련 몫의 멱등 계급이 최대 2단계이거나, 혹은 해당 군의 코호몰로지의 최고 비소멸 차수에서 다양체의 코호몰로지로 가는 사상이 동형이 아니라는 점을 확립한다.

의의 및 주장
본 논문은 (캄파나 등에 의해 공식화된) 고전적인 추측을 사영성 가정이 필요했던 이전의 부분적 결과들과 달리, 비구형 다양체라는 구체적이지만 중요한 사례에서 해결했다고 주장한다. 그 의의는 다음과 같다:

1. 위상적 제약: (말체프 완비화의 호지 여과를 통한) 구체적인 위상적 장애물을 제공하여, 더 높은 단계의 멱등 기본군을 갖는 비구형 다양체의 존재를 제한한다.
2. 기법의 합성: 혼합 호지 구조, 고차 알베네스 다양체의 기하학, 그리고 $q$-완전 공간의 위상적 성질(특히 함의 정리)을 성공적으로 결합하여 산술-위상적 제약을 도출하였다.
3. 기존 사례의 정교화: 본 결과는 [CDY25]에서 보여준 바와 같이 준사영 설정에서 멱등 비아벨 기본군이 존재할 수 있음에도 불구하고, 비구형인 경우에는 이들이 엄격하게 2단계 멱등으로 제한됨을 확인하여 예시들의 지형을 명확히 한다.

저자는 증명이 o-최소 구조에서의 고차 알베네스 사상의 정의 가능성이라는 "블랙박스" 성질에 의존하고 있음을 명시하며, 이는 차원 논증이 해석적 범주에서도 유효함을 보장한다. 본 논문은 새로운 실험적 응용을 제안하기보다는, 기본군과 대수 다양체의 호지 이론적 불변량 사이의 관계에 대한 이론적 이해를 공고히 하는 데 목적이 있다.