[논문 리뷰] Determinations of rational Dedekind-zeta invariants of hyperbolic manifolds and Feynman knots and links

Jonathan M. Borwein, David Broadhurst|ArXiv.org|1998. 11. 19.

Geometric and Algebraic Topology참고 문헌 26인용 수 17

한 줄 요약

이 논문은 실험 수학과 고정밀 계산을 활용하여 998개의 닫힌 쌍곡 3차원 다양체와 152개의 날카로운 경계를 가진 다양체를 특정하여, 이들의 부피가 허수 제곱수 필드의 Dedekind 제타 함수 값과 유리수로 관련되어 있음을 밝혀냈다. 이들은 24개의 교차를 가진 10개의 구성 요소를 가진 플라톤 링크를 발견하였으며, 이 링크의 Dedekind 제타 불변량은 26이었고, 이러한 제타 값들은 양자장 이론의 파인먼 다이어그램과 연결되어 있었으며, 수론, 위상수학, 물리학 사이의 깊은 연결 고리를 드러내었다.

ABSTRACT

We identify 998 closed hyperbolic 3-manifolds whose volumes are rationally related to Dedekind zeta values, with coprime integers $a$ and $b$ giving $a/b vol(M)=(-D)^{3/2}/(2π)^{2n-4} (ζ_K(2))/(2ζ(2))$ for a manifold M whose invariant trace field $K$ has a single complex place, discriminant $D$, degree $n$, and Dedekind zeta value $ζ_K(2)$. The largest numerator of the 998 invariants of Hodgson-Weeks manifolds is, astoundingly, $a=2^4 imes23 imes37 imes691 =9,408,656$; the largest denominator is merely b=9. We also study the rational invariant a/b for single-complex-place cusped manifolds, complementary to knots and links, both within and beyond the Hildebrand-Weeks census. Within the censi, we identify 152 distinct Dedekind zetas rationally related to volumes. Moreover, 91 census manifolds have volumes reducible to pairs of these zeta values. Motivated by studies of Feynman diagrams, we find a 10-component 24-crossing link in the case n=2 and D=-20. It is one of 5 alternating platonic links, the other 4 being quartic. For 8 of 10 quadratic fields distinguished by rational relations between Dedekind zeta values and volumes of Feynman orthoschemes, we find corresponding links. Feynman links with D=-39 and D=-84 are missing; we expect them to be as beautiful as the 8 drawn here. Dedekind-zeta invariants are obtained for knots from Feynman diagrams with up to 11 loops. We identify a sextic 18-crossing positive Feynman knot whose rational invariant, a/b=26, is 390 times that of the cubic 16-crossing non-alternating knot with maximal D_9 symmetry. Our results are secure, numerically, yet appear very hard to prove by analysis.

연구 동기 및 목표

• 허수 제곱수 필드의 Dedekind 제타 함수 값과 유리수로 관련된 부피를 가진 쌍곡 3차원 다양체를 특정하는 것.
• 쌍곡 기하학, 수론(Dedekind 제타 함수를 통해), 양자장 이론(파인먼 다이어그램을 통해) 간의 연결 고리를 탐색하는 것.
• Dedekind 제타 함수 값의 유리수 배와 연결된 부피를 가진 링크와 뭉치를 발견하고 특성화하는 것.
• 이전에 증명되지 않은 쌍곡 부피와 제타 함수의 특수값 간의 관계에 강력한 수치적 증거를 제공하는 것.
• 실험 수학의 힘을 통해 수학 물리학과 수론 간의 깊이 있는 예상치 못한 연결 고리를 드러내는 것.

제안 방법

• 고정밀 계산을 위해 맞춤형 다중 정밀도 코드와 SnapPea, Pari, Maple 등의 도구를 사용하여 다양체의 쌍곡 부피를 계산함.
• Dedekind 제타 함수 값과 쌍곡 부피 간의 정수 관계를 탐지하기 위해 PSLQ 알고리즘을 사용함.
• 유리수 Dedekind 제타 불변량 $ a/b $ 를 다음과 같이 정의함: $ \frac{a}{b} \cdot \text{vol}(\mathcal{M}) = \frac{(-D)^{3/2}}{(2\pi)^{2n-4}} \cdot \frac{\zeta_K(2)}{2\zeta(2)} $, 여기서 $ K $ 는 불변 추적 필드임.
• 3차원 다양체와 링크의 삼등분을 분석하여 기하 불변량을 추출하고 유리수 관계를 검증함.
• 10개의 구성 요소를 가진 24개의 교차 링크와 18개의 교차 뭉치의 부피를 Dedekind 제타 값과 매핑하여 유리수 불변량을 식별함.
• 1루프 및 다중 루프 파인먼 다이어그램과 특정 제타 값 및 다중로그 항등식의 출현 간의 연결 고리를 탐색함.

실험 결과

연구 질문

• RQ1 어느 쌍곡 3차원 다양체들이 허수 제곱수 필드에 대해 Dedekind 제타 함수 값 $ \zeta_K(2) $ 의 유리수 배와 관련된 부피를 가지는가?
• RQ2 양자장 이론의 파인먼 다이어그램에서 유도된 뭉치와 링크에 대해 유리수 불변량을 체계적으로 식별할 수 있는가?
• RQ3 왜 일부 10개의 구성 요소와 18개의 교차를 가진 링크들이 특별히 큰 유리수 불변량인 $ a/b = 26 $ 을 보이며, 이들의 기하학적 및 산술적 구조는 무엇으로 설명되는가?
• RQ4 쌍곡 부피와 제타 함수의 특수값 간의 관찰된 유리수 관계의 기원은 무엇이며, 특히 분석적 증명이 여전히 어려운 상황에서 어떻게 설명되는가?
• RQ5 플라톤 대칭성이나 다중로그 항등식과 같은 더 깊은 대수적 또는 기하학적 구조가 쌍곡 기하학과 수론 간의 관찰된 연결 고리 뒤에 숨어 있는가?

주요 결과

• Hodgson–Weeks 목록에 포함된 998개의 닫힌 쌍곡 3차원 다양체가 Dedekind 제타 함수 값과 유리수로 관련된 부피를 가지며, 가장 큰 유리수 불변량은 $ a/b = 9,408,656/9 $ 이다.
• 152개의 서로 다른 날카로운 경계를 가진 다양체가 Dedekind 제타 함수 값과 유리수 관계를 가지며, 이 중 91개는 두 개의 이러한 제타 값으로 간소화될 수 있다.
• 24개의 교차를 가진 $ \mathbb{Q}(\sqrt{-5}) $ 내의 10개의 구성 요소를 가진 플라톤 링크가 발견되었으며, 이 링크의 유리수 Dedekind 제타 불변량은 26이었고, 추가로 4개의 4차 플라톤 링크가 식별되었다.
• 10개의 제곱수 필드 중 8개에서 제타 값과 부피 간의 유리수 관계가 확인되었으며, 이에 해당하는 파인먼 링크도 발견되었고, $ D = -39 $ 과 $ D = -84 $ 의 경우는 아직 미해결이다.
• 18개의 교차를 가진 6차 양성 파인먼 뭉치가 발견되었으며, 이 뭇치의 유리수 불변량은 $ a/b = 26 $ 이었고, 이는 $ D_9 $ 대칭을 최대로 가지는 16개의 교차를 가진 비교형 3차 뭇치의 불변량보다 390배 더 크다.
• 디리클레 급수 $ \sum_{n>0} \left\{ 3\left(-\frac{3}{4} + \frac{\sqrt{-7}}{4}\right)^n - \cdots \right\} \frac{1}{n^2} = 13\zeta(2) - 6\pi\arctan\sqrt{7} + \frac{7\sqrt{-7}}{4} \sum_{n>0} \left(\frac{n}{7}\right) \frac{1}{n^2} $ 에 대한 강력한 수치적 증거가 있으며, 허수 부분은 여전히 해결되지 않았다.