A generalised cross-ratio and limits of local heights

기술 요약: 일반화된 교차비와 국소 높이의 극한

문제 정의
본 논문은 선 위의 네 점에 대한 근본적인 사영 불변량인 고전적 교차비(cross-ratio)를 고차원 사영 공간으로 일반화하는 문제를 다룬다. 구체적으로, $n$차원 사영 공간 $\mathbb{P}^n$ 내의 네 개의 선형 부분 공간(평면)의 구성, 즉 한 쌍의 $k$차원 평면($A_1, A_2$)과 한 쌍의 $(n-k-1)$차원 평면($B_1, B_2$)에 대한 교차비를 정의하고자 한다 ($단, A_i \cap B_j = \emptyset$).

저자들은 이 기하학적 불변량과 산술적 불변량, 특히 사이클 $A_1 - A_2$와 $B_1 - B_2$의 증강 높이 쌍(augmented height pairing) 사이의 관계를 조사한다. 핵심 문제는 이 높이 쌍이 아르키메데스(복소수) 및 비아르키메데스(이산 가치) 환경 모두에서 퇴화(극한)할 때 어떻게 거동하는지 이해하는 것이다. 저자들은 높이 쌍의 점근적 거동이 이 일반화된 교차비의 가치(valuation)에 의해 지배되며, 그 극한값은 교차하는 구성 위에서 정의된 "퇴화된 교차비"에 해당함을 입증하고자 한다.

방법론
방법론은 대수 기하학, 호지 이론(Hodge theory), 그리고 교차 이론(intersection theory)의 도구들을 결합한다:

1. 대수적 정의: 저자들은 외대수(exterior algebra)를 사용하여 일반화된 교차비를 정의한다. $V$를 $(n+1)$차원 벡터 공간이라 할 때, 부분 공간 $\hat{A}_i \subset V$와 $\hat{B}_j \subset V$ (여기서 $\hat{B}_j^\perp$는 쌍대 공간에서의 영인자/annihilator)를 활용한다. 교차비는 기저의 선택으로부터 독립성을 보장하기 위해, 이 생성자들 사이의 페어링(pairing) 비율로 구성된다.
2. 호지 이론적 해석: 복소수 상에서, 저자들은 교차비를 혼합 호지 구조(MHS) 범주 내의 확장 클래스(extension class)와 연관시킨다. 이들은 증강 높이 쌍을 특정 코호몰로지 그룹 $H^{2k+1}(\mathbb{P}^n \setminus (B_1 \cup B_2), A_1 \cup A_2)(k+1)$의 확장 클래스로 식별한다.
3. 인시던스 대응(Incidence Correspondence): 높이 쌍과 교차비 사이의 등식을 증명하기 위해, 저자들은 그라스만 다양체(Grassmannian)와 사영 공간 사이의 인시던스 대응을 구축한다. 이들은 구성의 관련 코호몰로지와 $B$-평면들의 "금지된" 로커스(loci)에 대한 그라스만 다양체의 코호몰로지 사이의 동형 사상을 보여준다.
4. DVR 상의 교차 이론: 비아르키메데스 사례의 경우, 저자들은 이산 가치 환(DVR) 위에서 작업한다. 저자들은 사이클의 자리스키 폐포(Zariski closures)의 교차 차수를 계산하기 위해 풀턴(Fulton)의 교차 이론을 활용한다. 격자(lattice)의 포함 사상에 대한 스미스 표준형(Smith Normal Form)을 분석함으로써, 저자들은 교차 차수를 전이 행렬의 행렬식의 가치와 연결하며, 이는 교차비의 가치에 해당한다.
5. 퇴화된 구성: 평면들이 교차하는 극한 상황을 다루기 위해, 저자들은 "퇴화된 교차비"를 도입한다. 이를 위해서는 추가적인 데이터, 즉 교차하는 로커스의 행렬식과 몫 공간(quotient space)의 행렬식 사이의 동형 사상이 필요하다. 저자들은 이 데이터를 고정하기 위해 "극한 섭동(limit perturbations, 패밀리의 변형에 의해 유도됨)"과 "산술적 섭동(arithmetic perturbations, 수체 위의 정수 모델에 의해 유도됨)"을 정의한다.

주요 기여 및 결과

• 정리 A (복소수 사례): $\mathbb{P}^n(\mathbb{C})$에서 사이클 $A_1 - A_2$와 $B_1 - B_2$의 증강 높이 쌍은 정확히 일반화된 교차비 $(A_1, A_2; B_1, B_2)$와 같다. 이는 선 위의 점들에 대한 기존 결과를 고차원으로 일반화한 것이다. 증명은 귀납법 대신 대응(correspondence)을 활용한다.
• 정리 B (비아르키메데스 사례): 가치 환 $R$ 위의 이산 가치 체 위에서, 자리스키 폐포의 사이클 $(A_1 - A_2) \cdot (B_1 - B_2)$의 교차 차수는 교차비의 가치 $v_R(A_1, A_2; B_1, B_2)$와 같다. 이는 교차비의 $p$-진 가치가 구성의 퇴화를 측정함을 입증한다.
• 따름정리 B' (점근성): $t=0$에서 퇴화하는 홀로모픽 패밀리 구성의 경우, 아르키메데스 높이 쌍의 점근 전개($\sim m \log |t|$)에서의 선행 계수 $m$은 사이클의 중심 섬(central fiber) 위에서의 교차 차수이다. 이는 평면의 퇴화에 관한 첸(Chen)의 추측을 확인해 준다.
• 정리 C (극한 주기): $t \to 0$일 때 교차비의 정규화된 극한은 유도된 "극한 섭동" $c_{\text{lim}}$에 대해 평가된 중심 섬 구성의 퇴화된 교차비와 같다. 이 섭동은 교차하는 평면들의 미세한 분리(infinitesimal separation)를 인코딩한다.
• 따름정리 C'' (산술적 해석): 중심 섬이 클래스 넘버가 1인 수체 위에 정의될 때, 극한 주기 $u(0)$는 정수 격자를 통해 정의된 "산술적 교차비"와 관련된다. 극한 주기의 로그는 극한 섭동과 산술적 섭동의 비율을 포함하는 보정 항에 의해 산술적 교차비의 로그와 차이가 난다.

의의 및 주장
본 논문은 높이 쌍의 극한을 이해하기 위한 통일된 "모티빅(motivic)" 프레임워크를 제공한다고 주장한다. 교차비를 일반화함으로써, 저자들은 이러한 해석적 불변량의 점근적 거동이 대수적 교차수로 엄격하게 지배됨을 보여준다.

저자들은 본 결과가 평면의 경우에 대한 퇴화하는 대수적으로 자명한 사이클의 높이 쌍 발산율에 관한 첸의 추측을 확인한다고 언급한다. 또한, 본 연구는 "극한 주기"(점근 전개의 상수 항)를 단순히 하나의 복소수가 아니라, 미세한 변형 데이터를 보정한 중심 섬 위의 퇴화된 교차비로 보는 구체적인 해석을 제공한다.

본 논문은 정리 A가 고뇌보노프(Gonachov)의 최근 결과와 일치함을 인정하면서도, 대응을 통한 독자적인 증명을 제공한다. 저자들은 본 연구를 곡선의 극한 주기 및 노달 퇴화(nodal degenerations)에 관한 기존 연구의 일반화로 위치시키며, 이를 임의 차원의 혼합 주기(mixed periods)로 확장하고 "임의로 나쁜" 사이클의 퇴화를 허용한다. 결과는 제1 저자의 석사 학위 논문을 바탕으로 정리되었으며, 교차 차수 정리에 대한 간결한 증명을 제공한다.