[논문 리뷰] Harmonic Forms on the Kodaira-Thurston Manifold

Tom Holt, Weiyi Zhang|arXiv (Cornell University)|2020. 01. 29.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 11

한 줄 요약

이 논문은 코다이라-터스턴 만만드에서 ∂̄-호모로지 형식에 대한 타원형 PDE 시스템을 Weil-Brezin 변환을 사용하여 가산 무한한 선형 ODE 시스템으로 감소시키는 효과적인 방법을 개발한다. 이는 ∂̄-호지 수의 차원이 거의 힐베르트 계량에 따라 변할 수 있으며, 임의로 클 수 있음을 보여주며, 코다이라와 스펜서가 오랫동안 제기한 거의 복소 기하학에서 호지 수의 계량 불변성 문제를 해결한다.

ABSTRACT

We introduce an effective method to solve the $\bar\partial$-harmonic forms on the Kodaira-Thurston manifold endowed with an almost complex structure and an Hermitian metric. Using the Weil-Brezin transform, we reduce the elliptic PDE system to countably many linear ODE systems. By solving a fundamental problem on linear ODE systems, the problem of finding $\bar\partial$-harmonic forms is equivalent to a generalised Gauss circle problem. We demonstrate two remarkable applications. First, the dimension of the almost complex $\bar\partial$-Hodge numbers on the Kodaira-Thurston manifold could be arbitrarily large. Second, Hodge numbers vary with different choices of Hermitian metrics. This answers a question of Kodaira and Spencer in Hirzebruch's 1954 problem list.

연구 동기 및 목표

• 비카일러 다양체에 대한 거의 복소 구조에서 ∂̄-호모로지 형식을 효과적으로 계산하는 방법을 개발하는 것.
• 코다이라와 스펜서가 제기한 오랜 숙제인 거의 복소 기하학에서 호지 수가 거의 힐베르트 계량의 선택에 따라 불변인지 여부를 다루는 것.
• 비카일러 기하학에서 관찰되는 유계성과는 달리, 거의 복소 기하학에서 ∂̄-호지 수의 차원이 임의로 클 수 있음을 보여주는 것.
• ODE 감소를 통해 ∂̄-호모로지 형식을 찾는 문제와 일반화된 가우스 원판 문제 사이의 연결 고리를 설정하는 것.

제안 방법

• 코다이라-터스턴 다양체에서 함수를 푸리에 모드로 분해하기 위해 Weil-Brezin 변환을 적용하여 ∂̄-호모로지 PDE 시스템을 가산 무한한 선형 ODE 시스템으로 감소시키는 것.
• n ≠ 0 경우를 라플라스 적분 변환을 사용하여 푸리에 분해에서 유도된 ODE 시스템을 분석하는 것.
• n = 0 경우를 영주파수 모드에서 유도된 ODE들을 직접 분석하여 해결하는 것.
• ODE 시스템의 스펙트럼 분석을 통해 ∂̄-호모로지 (0,1)-형식을 세는 문제를 일반화된 가우스 원판 문제로 감소시키는 것.
• 거의 힐베르트 다양체에서 (∆µ + ∆∂̄)s = (∆µ̄ + ∆∂)s의 항등식을 사용하여 ∂̄-호모로지 (0,1)-형식에 대한 제약 조건을 도출하는 것.
• 내적 추정과 L2 노름 항등식을 적용하여 Hk,m,n 공간에서 해가 존재할 수 있는 n의 가능한 값에 대한 상한을 유도하는 것.

실험 결과

연구 질문

• RQ1 코다이라-터스턴 만만드에서 비통합적인 거의 복소 구조에 대해 ∂̄-호지 수 h0,1의 차원이 임의로 클 수 있는가?
• RQ2 코다이라와 스펜서가 추측한 바와 같이, 거의 복소 기하학에서 호지 수 hp,q는 거의 힐베르트 계량의 선택에 따라 불변인가?
• RQ3 거의 힐베르트 가족 내에서 거의 복소 구조의 연속적 변형에 따라 호지 수는 어느 정도 변화하는가?
• RQ4 ∂̄-호모로지 형식을 찾는 문제는 일반화된 가우스 원판 문제와 같은 수론 문제로 감소시킬 수 있는가?
• RQ5 ∂̄-호모로지 방정식은 코다이라-터스턴 만만드에서 미분 형식의 푸리에 모드에 어떤 제약을 가하는가?

주요 결과

• 코다이라-터스턴 만만드에서 거의 복소 구조 Ja,b에 대해 h0,1의 차원을 임의로 크게 만들 수 있다. 8로 나누어떨어지지 않는 임의의 양의 정수 n에 대해, h0,1Ja,b = n가 되는 매개변수 a,b가 존재한다.
• 코다이라-터스턴 만만드에서 호지 수 hp,q는 거의 힐베르트 계량의 선택에 따라 달라지며, 이는 거의 복소 기하학에서 호지 수가 계량 불변성이 아님을 보여준다.
• ∂̄-호모로지 (0,1)-형식을 찾는 문제는 일반화된 가우스 원판 문제와 동치이며, 미분기하학과 수론을 연결한다.
• 표준 또는thonormal 계량에서, Hk,m,n에 속하는 푸리에 모드를 가진 ∂̄-호모로지 (0,1)-형식이 존재하려면 |n| ≤ √2b² / (8π)여야 하며, 이는 이러한 형식의 주파수 성분에 대한 날카운 상한을 제공한다.
• 거의 힐베르트 계량일 때, 거의 복소 구조 Ja,b에 대해 호지 수 h1,1은 정확히 3이며, 이는 거의 힐베르트 다양체에 대한 일반 공식과 일치한다.
• 항등식 (∆µ + ∆∂̄)s = (∆µ̄ + ∆∂)s를 사용하여 임의의 ∂̄-호모로지 (0,1)-형식 s에 대해 ∥∂s∥² = ∥µs∥²임을 도출하였으며, 이는 해의 크기를 유 bounds하는 데 핵심적인 역할을 한다.