Heights on toric varieties for singular metrics: Global theory

이 논문은 원과 장이 제안한 아델릭 약수 이론을 토릭 다양체에 적용하고, Burgos, Philippon, Sombra 의 결과를 확장하여 반양호한 토릭 아델릭 약수의 산술 자기교차수를 볼록 집합 위의 오목 함수 적분으로 표현하고, 이를 Burgos 와 Kramer 가 2024 년에 도입한 산술 교차수 및 특이 메트릭을 갖춘 토릭 아рифmetic 다양체의 높이 계산에 활용하는 전역 이론을 개발했습니다.

핵심

🌟 핵심 주제: "수학적인 건물의 높이를 재는 새로운 자"

이 논문의 주인공은 **'토릭 다양체 (Toric Variety)'**라는 특별한 형태의 기하학적 공간입니다. 이를 **'수학적인 도시'**라고 상상해 보세요. 이 도시에는 다양한 건물이 있고, 우리는 이 도시 전체의 **'수학적 복잡도 (높이)'**를 재고 싶습니다.

전통적인 방법 (기울리 - 수일 이론) 은 이 도시의 모든 건물이 '매끄러운 (Smooth)' 표면으로 되어 있을 때만 높이를 정확히 재는 자를 사용했습니다. 하지만 현실 (수학의 자연스러운 상황) 에서는 건물의 일부가 '뾰족하거나 찌그러진 (Singular)' 부분이 생기기 마련입니다. 기존 방법은 이런 '뾰족한 부분'이 있는 도시의 높이를 재면 자가 부러지거나 잘못된 숫자를 보여줍니다.

저자 (가리 Y. 페랄타 알바레스) 는 **"뾰족하고 울퉁불퉁한 도시라도 높이를 정확히 재는 새로운 자"**를 개발했습니다.

---

🍕 비유 1: 피자와 '지붕 함수' (Roof Function)

이 논문이 사용하는 가장 멋진 비유는 **'피자'**와 **'지붕'**입니다.

1. 도시의 모양 (피자):
   이 수학 도시 (토릭 다양체) 는 평면 위에 그려진 **'피자 조각 (볼록한 다각형)'**으로 표현할 수 있습니다. 이 피자 조각의 모양이 도시의 기본 구조를 결정합니다.

2. 높이의 측정 (지붕):
   도시의 '높이'를 재기 위해, 이 피자 조각 위에 **'지붕'**을 씌운다고 상상해 보세요.

   • 기존 방법: 지붕은 반드시 매끄럽고 둥글어야 했습니다.
   • 이 논문의 방법: 지붕이 구겨지거나, 뾰족하게 솟아오르거나, 심지어 구멍이 뚫려도 (수학적 용어로 '특이점') 괜찮습니다. 중요한 것은 이 지붕이 '오목한 (Concave)' 모양을 유지하는 것입니다. (우산처럼 위로 볼록한 게 아니라, 그릇처럼 아래로 볼록한 모양요.)

3. 계산의 핵심:
   이 논문은 **"이 오목한 지붕의 부피 (적분)"**를 계산하면, 그 도시의 수학적 높이 (Arithmetic Self-Intersection Number) 를 정확히 알 수 있다고 말합니다.

   • 공식: 높이 = (피자 조각의 부피) × (지붕의 평균 높이)
   • 이 지붕은 각기 다른 '장소 (수학적 소수점, 무한대 등)'에서 조금씩 다른 모양을 가질 수 있는데, 이 모든 지붕을 합쳐서 하나의 거대한 '전체 지붕'을 만들고 그 부피를 재는 방식입니다.

---

🧩 비유 2: 퍼즐 조각과 '아델릭 (Adelic)'

이 논문에서 다루는 '아델릭 (Adelic)'이라는 개념은 **'전 세계의 퍼즐 조각'**을 합치는 것과 같습니다.

• 기존의 문제: 수학자들은 도시의 높이를 재기 위해, 도시를 구성하는 각 '소수 (Prime number)'라는 작은 퍼즐 조각들을 하나하나 재서 합쳐야 했습니다. 하지만 이 조각들이 너무 많고 복잡해서, 특히 도시의 가장자리 (경계) 가 뾰족할 때는 조각들이 맞지 않아 계산이 불가능했습니다.
• 이 논문의 해결책: 저자는 이 복잡한 퍼즐 조각들을 **'볼록한 함수 (Convex Function)'**라는 하나의 큰 도면으로 변환했습니다.
  • 마치 각 나라의 지도를 하나의 지구본으로 합치듯, 모든 '장소'에서의 지붕 모양을 하나의 **'전체 지붕 함수 (Global Roof Function)'**로 통합했습니다.
  • 이렇게 하면, 뾰족한 부분이나 구멍이 있어도 전체적인 '부피'를 계산하는 수학적 공식이 여전히 작동한다는 것을 증명했습니다.

---

🚀 이 논문의 주요 성과 (세 가지 발견)

1. 뾰족한 도시도 재다:
   기존에는 매끄러운 도시만 재던데, 이제는 '뾰족하고 울퉁불퉁한 (Singular)' 도시의 높이도 재는 새로운 자를 만들었습니다. 이는 수학적으로 매우 중요한 진전입니다.

2. 부피 공식의 일반화:
   "지붕의 부피를 구하면 높이가 나온다"는 공식을, 아주 일반적인 경우 (특이점이 있는 경우) 까지 확장했습니다. 마치 "구형의 부피 공식"을 "모양이 불규칙한 돌멩이의 부피"까지 적용할 수 있게 만든 것과 같습니다.

3. 기존 이론과의 연결:
   이 새로운 계산법이 기존에 유명했던 수학자들 (Yuan, Zhang, Burgos, Kramer 등) 의 이론과도 완벽하게 맞닿아 있음을 보였습니다. 특히, 기존 이론으로는 계산할 수 없었던 '매우 심하게 뾰족한' 경우에도 이 공식이 작동하여 유한한 (Finite) 숫자를 뽑아낼 수 있음을 예시로 증명했습니다.

---

💡 요약: 왜 이것이 중요한가요?

이 논문은 수학자들이 **"수학적 복잡도 (Height)"**를 계산할 때, 매끄러운 이상적인 상황에만 머무르지 않고, **현실적인 불완전함 (특이점)**이 있는 상황에서도 정확한 계산을 할 수 있는 강력한 도구를 제공했습니다.

• 일상적인 비유로: 마치 건축가가 완벽한 구형 돔만 계산하던 시대를 지나, 고딕 양식의 뾰족한 첨탑이나 현대적인 불규칙한 구조물의 무게와 높이를 정확히 계산할 수 있는 새로운 공학적 공식을 개발한 것과 같습니다.

이 새로운 '지붕 부피 공식'은 앞으로 수론과 기하학의 깊은 문제들 (예: 대수적 수의 분포, 모듈러 형식 등) 을 해결하는 데 중요한 열쇠가 될 것으로 기대됩니다.

기술 요약

이 논문은 **특이성을 가진 메트릭을 갖는 토릭 다양체 (Toric Varieties) 의 높이 (Heights)**에 대한 글로벌 이론을 개발한 것입니다. 저자 가리 Y. 페랄타 알바레스 (Gari Y. Peralta Alvarez) 는 원 (Yuan) 과 장 (Zhang) 이 제안한 준-사영 (quasi-projective) 산술 다양체 위의 아델릭 (adelic) 약수 이론을 토릭 다양체로 확장하고, 부르고스 (Burgos), 필리폰 (Philippon), 솜브라 (Sombra) 가 제시한 사영 토릭 산술 다양체의 볼록 해석적 (convex-analytic) 기술들을 일반화했습니다.

주요 내용은 다음과 같습니다.

1. 연구 배경 및 문제 제기

• 산술 높이 (Arithmetic Height) 의 계산: 산술 기하학에서 다양체의 산술적 복잡성을 측정하는 '높이'는 일반적으로 헤르미트 선다발의 산술 자기 교차수 (arithmetic self-intersection number) 로 정의됩니다.
• 메트릭의 한계: 기존 아라켈로프 (Arakelov) 이론은 메트릭이 매끄러운 (smooth) 경우를 가정합니다. 그러나 호지 다발 (Hodge bundle) 이나 시겔 - 야코비 형식 (Siegel-Jacobi forms) 과 같은 자연스러운 예시들에서는 **로그 특이성 (logarithmic singularities)**이나 그보다 더 심한 **특이 메트릭 (singular metrics)**이 발생합니다.
• 기존 이론의 확장: Burgos, Kramer, K"uhn 등은 로그 특이성을 다루는 이론을 개발했고, Burgos 와 Kramer 는 Yuan-Zhang 의 아델릭 약수 이론을 사용하여 더 약한 특이성을 가진 메트릭 (예: Siegel-Jacobi forms) 에 대한 교차수를 계산했습니다.
• 연구 목표: Yuan-Zhang 의 아델릭 약수 이론을 준-사영 (quasi-projective) 토릭 다양체로 구체화하고, 이를 통해 특이 메트릭을 가진 토릭 다양체의 높이를 **볼록 해석적 (convex-analytic)**인 방법으로 명시적으로 계산할 수 있는 체계를 구축하는 것입니다.

2. 방법론 (Methodology)

• 토릭 아델릭 약수 (Toric Adelic Divisors) 의 정의:
  • 준-사영 토릭 다양체 $U$에 대해, 모든 토릭 사영 모델 (toric projective models) $X$에 대한 토릭 산술 약수 군 $\text{Div}_T(X)_\mathbb{Q}$의 직접 극한 (direct limit) 을 정의합니다.
  • 이 군을 적절한 **경계 노름 (boundary norm)**에 대해 완비화 (completion) 하여 토릭 아델릭 약수 군 $\text{Div}_T(U/\mathcal{O}_K)$를 정의합니다. 이는 Yuan-Zhang 의 일반 아델릭 약수 이론의 토릭 버전입니다.
• 열대화 (Tropicalization) 와 볼록 해석:
  • 토릭 다양체의 대칭성을 활용하여, 아델릭 약수를 **열대화 (tropicalization)**를 통해 실수 공간 $N_\mathbb{R}$ 위의 함수로 변환합니다.
  • 각 아델릭 약수 $D$는 열대 그린 함수 (tropical Green's function) $\gamma_D = (\gamma_{D,v})_v$의 집합으로 표현되며, 이는 **볼록 함수 (concave functions)**의 집합과 대응됩니다.
• 지붕 함수 (Roof Function) 의 도입:
  • 각 국소장 (place) $v$에 대해 $v$-adic 지붕 함수 $\vartheta_{D,v}$를 정의하고, 이를 합산하여 글로벌 지붕 함수 (global roof function) $\vartheta_D$를 구성합니다.
  • 이 함수들은 토릭 다양체의 산술적 성질 (네프성, 자기 교차수 등) 을 결정하는 핵심 역할을 합니다.

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

A. 토릭 아델릭 약수의 특성화 (Characterization)

• 반양성 (Semipositive) 토릭 아델릭 약수의 분류: 반양성 토릭 아델릭 약수들은 **닫힌 볼록 함수 (closed concave functions)**의 $v$-튜플 $(\vartheta_v)$와 일대일 대응됩니다 (Theorem 1).
  • 조건: 각 유한한 자리 (finite place) 에서 supremum 이 유리수여야 하며, 모든 자리에 대해 유효 정의역 (effective domain) 의 폐포가 동일한 컴팩트 볼록 집합 $\Delta$를 가져야 합니다.
• 네프성 (Nefness) 의 판별: 토릭 아델릭 약수 $D$가 네프 (nef) 일 필요충분조건은 그 **글로벌 지붕 함수 $\vartheta_D$가 음이 아닌 값 (non-negative)**을 갖는 것입니다 (Theorem 2). 이는 사영 경우의 결과를 준-사영 및 특이 메트릭으로 확장한 것입니다.

B. 산술 교차수의 적분 공식 (Integral Formula for Intersection Numbers)

• 주요 정리 (Theorem 3): 반양성 토릭 아델릭 약수 $D$의 산술 자기 교차수 $D^{d+1}$은 글로벌 지붕 함수 $\vartheta_D$를 볼록 집합 $\Delta_D$ 위에서 적분하여 계산할 수 있습니다.
  $$D^{d+1} = (d+1)! \int_{\Delta_D} \vartheta_D \, d\text{Vol}_M = (d+1)! \sum_{v \in M(K)} \delta_v \int_{\Delta_D} \vartheta_{D,v} \, d\text{Vol}_M$$
  • 이 공식은 $D$가 일반적으로 큰 (generically big) 경우 (즉, $\Delta_D$의 내부가 비어 있는 경우) 에 성립하며, 교차수가 유한할 조건은 $\vartheta_D \in L^1(\Delta_D)$입니다.
• 일반화: 이 공식은 Yuan-Zhang 의 이론과 Burgos-Kramer 의 일반화 교차수 이론과 일치하며, 특히 **모든 $v$-adic 그린 함수가 경계에서 매우 심하게 특이 (highly singular)**한 경우에도 유한한 교차수를 계산할 수 있음을 보여줍니다.

C. 구체적 예시 및 이론의 우월성

• 예시 6.2.3: 모델 약수 (model divisor) 가 아닌 네프 토릭 아델릭 약수를 구성하여, 글로벌 지붕 함수가 유한한 합으로 표현되지만 점근적으로 무한한 항을 가질 수 있음을 보였습니다.
• 예시 6.2.4 & 6.2.5: 네프도 아니고 적분 가능 (integrable) 하지도 않지만, 유한한 산술 자기 교차수를 갖는 반양성 토릭 아델릭 약수를 구성했습니다.
  • 이러한 예시들은 $v$-adic 지붕 함수가 **모든 자리에서 무한대 (unbounded)**로 발산할 수 있음을 보여줍니다.
• 의미: Burgos-Kramer 이론은 아델릭 교차수를 계산하기 위해 아델릭 약수의 $v$-adic 지붕 함수가 유계 (bounded) 여야 한다는 전제를 두거나, 특정 조건을 요구합니다. 반면, 이 논문에서 개발된 이론은 모든 $v$-adic 지붕 함수가 무한대인 경우에도 유한한 교차수를 계산할 수 있어, 기존 이론보다 더 넓은 범위의 특이 메트릭을 다룰 수 있음을 입증했습니다.

4. 의의 (Significance)

1. 이론적 통합: Yuan-Zhang 의 아델릭 약수 이론과 Burgos-Philippon-Sombra 의 토릭 볼록 해석적 기법을 성공적으로 통합하여, 준-사영 토릭 다양체에 대한 체계적인 산술 기하학 이론을 정립했습니다.
2. 특이 메트릭 처리 능력: 기존 이론이 다루기 어려웠던 **심각한 특이성 (worse than logarithmic singularities)**을 가진 메트릭을 가진 선다발의 높이를 명시적으로 계산할 수 있는 도구를 제공했습니다.
3. 구체적 계산 가능성: 복잡한 아델릭 구조를 볼록 함수의 적분이라는 단순하고 계산 가능한 형태로 환원시킴으로써, 구체적인 예시 (예: Siegel-Jacobi forms 관련 문제) 에 대한 새로운 계산 가능성을 열었습니다.
4. 새로운 현상 발견: 네프성이나 적분 가능성 조건을 만족하지 않더라도 유한한 산술 교차수를 가질 수 있는 새로운 클래스의 아델릭 약수를 발견하고 이를 분류했습니다.

요약하자면, 이 논문은 특이 메트릭을 갖는 토릭 다양체의 산술 기하학을 **볼록 해석 (convex analysis)**의 언어로 완전히 기술하여, 기존 이론의 한계를 넘어서는 강력한 계산 도구와 이론적 틀을 제시한 중요한 연구입니다.