[논문 리뷰] Edinburgh Lectures on Geometry, Analysis and Physics

Michael Atiyah|arXiv (Cornell University)|2010. 09. 24.

Geometric and Algebraic Topology참고 문헌 15인용 수 3

한 줄 요약

이 논문은 미분기하학과 수학적 물리학에서 3차원 공간 내 점들의 구성과 그 상대적 방향에서 유도된 복소다항식들의 일차독립성 간의 연결을 제안하는 추측을 제시한다. 구면투영과代수기하학을 이용하여, 임의의 ℝ³ 내 n ≥ 5개의 서로 다른 점들에 대해 관련 다항식 βᵢ(z)가 ℂ 위에서 일차독립을 유지한다고 제안한다 — n ≤ 30에 대해서는 계산적으로 지지되지만 더 큰 n에 대해서는 아직 증명되지 않았으며, 해결자에게 상금이 제공된다.

ABSTRACT

These lecture notes are based on a set of six lectures that I gave in Edinburgh in 2008/2009 and they cover some topics in the interface between Geometry and Physics. They involve some unsolved problems and conjectures and I hope they may stimulate readers to investigate them.

연구 동기 및 목표

• ℝ³ 내 n개의 서로 다른 점들로부터 유도된 복소다항식의 일차독립성에 관한 새로운 기하학적 추측을 수립하고 그 동기를 제시하기.
• 유한체 위에서의 대수기하학과 수론 사이의 깊은 유사성, 특히 제타함수와 L함수를 통한 유사성 탐구하기.
• 모르스 이론과 등변위 위상수학이 유한체 위 대수곡선의 유리점 수를 세는 데 미치는 역할 조사하기.
• 이러한 아이디어를 산술기하학, 아라켈로프 이론과 랭글랜즈 프로그램으로 확장하여 수론과 양자장 이론을 통합하는 프레임워크 제안하기.
• 기하학, 해석학, 물리학을 연결하는 프로그램을 제안하며, 특히 고차원 다양체와 게이지 이론의 맥락에서 미해결 문제들과 추측들을 중심으로 하기.

제안 방법

• ℝ³ 내 n개의 서로 다른 점들을 정규화된 차이를 통해 S² 상 단위벡터로 매핑한 후, 구면투영을 통해 S²를 ℂℙ¹과 동일시하기.
• 각 점에 대해, 다른 모든 점들 향한 방향을 근으로 가지는 복소다항식 βᵢ(z)를 구성하며, ℂℙ¹ 상의 동차좌표를 사용하기.
• 이들 n개의 다항식이 ℝ³ 내 임의의 서로 다른 점들의 구성에 대해 ℂ 위에서 일차독립이라는 추측을 적용하기.
• 유한체 위 제타함수와 위르 콘JECTURE를 포함한 대수기하학 기법을 적용하여, 유리점 수 계산과 L함수 간의 관계 설정하기.
• 모르스 이론과 유한차원 근사법을 이용하여 위상수학적 불변량과 대수곡선 위 산술적 수세기 간의 연결 고리 만들기.
• 아델 및 모듈리공간의 구조(예: SL(2,ℝ)/SL(2,ℤ))를 탐색하여 기하학적 및 산술적 제타함수를 통합하기, 특히 산술표면과 하세-베일 추측의 맥락에서.

실험 결과

연구 질문

• RQ1 ℝ³ 내 n ≥ 5개의 서로 다른 점들로부터 유도된 다항식 βᵢ(z)가 ℂ 위에서 항상 일차독립이라는 추측은 참인가?
• RQ2 유한체 위 대수곡선의 유리점 수 계산과 모르스 이론을 통한 벡터(bundle)의 위상수학적 성질 간의 정확한 관계는 무엇인가?
• RQ3 유한체 위 제타함수는 리만 제타함수와 어떻게 관련되어 있으며, 이는 산술기하학과 랭글랜즈 프로그램에 어떤 함의를 갖는가?
• RQ4 유한체 위 유리점 수 계산과 등변위 모르스 이론 간의 유사성은 고차원 다양체와 비아벨리안 게이지군으로까지 확장될 수 있는가?
• RQ5 무한소수와 아라켈로프 이론은 기하학적, 산술적, 물리적 관점에서 제타함수와 L함수를 어떻게 통합하는가?

주요 결과

• n = 3 및 n = 4일 때 다항식 βᵢ(z)의 일차독립성 추측은 참이며, n = 4일 경우 컴퓨터 보조 증명이 존재한다.
• n ≤ 30에 대해서는 광범위한 컴퓨터적 증거가 추측을 지지하지만, n ≥ 5에 대한 일반적 증명은 아직 존재하지 않는다.
• βᵢ(z)의 일차독립성은 구면투영의 선택에 관계없이 불변이며, ℂℙ¹의 변환 성질에 의해 입증된다.
• 정수환 위의 다양체 V에 대한 제타함수 ζ_V(s)는 소수 모듈로 제타함수의 곱으로 정의되며, 위르 추측이 유리성과 함수방정식을 보장한다.
• 하세-베일 추측은 이제 와일스와 테일러에 의해 증명되었으며, 타원곡선과 관련된 L함수 L_V(s)가 유수분해 가능하고 함수방정식 L_V(s) = ±L_V(2−s)를 만족한다고 한다.
• 타원곡선의 모듈리공간은 SO(2;ℝ)\SL(2;ℝ)/SL(2;ℤ)로 나타나며, 이의 체적은 이중코셋 위의 적분을 통해 계산 가능하며, 이는 기하학과 제타함수를 연결한다.