[논문 리뷰] Arithmeticity and Hidden Symmetries of Fully Augmented Pretzel Link Complements

Jeffrey S. Meyer, Christian Millichap외 1명|arXiv (Cornell University)|2018. 11. 01.

Geometric and Algebraic Topology참고 문헌 34인용 수 6

한 줄 요약

이 논문은 완전히 증강된 프레텔 링크 보완체의 산술성과 공통 측도성을 분류하며, 대부분이 비산술임을 증명하고, 숨겨진 대칭이 없는 무한한 가족과 부피에 대해 선형적으로 증가하는 숨겨진 대칭을 가진 무한한 가족 두 개를 구성한다 — 이는 비산술 초구형 3차원 다양체에서 가능한 최대 성장률을 달성한다. 결과는 기하적 분해, 캐스프 모양 분석, 불변 추적 필드 계산을 통해 도출되며, 추적 필드로써의 CM-체에 대한 명시적 계산이 수반된다.

ABSTRACT

This paper examines number theoretic and topological properties of fully augmented pretzel link complements. In particular, we determine exactly when these link complements are arithmetic and exactly which are commensurable with one another. We show these link complements realize infinitely many CM-fields as invariant trace fields, which we explicitly compute. Further, we construct two infinite families of non-arithmetic fully augmented link complements: one that has no hidden symmetries and the other where the number of hidden symmetries grows linearly with volume. This second family realizes the maximal growth rate for the number of hidden symmetries relative to volume for non-arithmetic hyperbolic 3-manifolds. Our work requires a careful analysis of the geometry of these link complements, including their cusp shapes and totally geodesic surfaces inside of these manifolds.

연구 동기 및 목표

• 완전히 증강된 프레텔 링크 보완체가 언제 산술인지 정확히 결정하는 것.
• 이 보완체의 불변 추적 필드를 계산하고, 이들이 무한히 많은 CM-체를 실현함을 보이는 것.
• 통제된 숨겨진 대칭 행동을 가진 비산술 링크 보완체의 무한한 가족을 구성하는 것.
• 비산술 초구형 3차원 다양체에서 부피에 대한 숨겨진 대칭의 최대 가능한 성장률을 확립하는 것.
• 캐스프 형태와 완전히 기하적 표면 등의 기하적 불변량을 분석하여 산술성과 비산술성을 구별하는 것.

제안 방법

• 반사 오비폴드 기법을 사용하여 완전히 증강된 프레텔 링크를 이deal 다면체 조각으로 기하적 분해하는 것.
• 대수적 수론을 통한 불변 추적 필드 계산 및 그들의 CM-체 구조 분석.
• 캐스프 형태 분석과 짧은 기하선 탐지 기법을 활용해 대부분의 경우 산술성을 배제하는 것.
• 반전 테두리 파artner를 생성하여 통제된 대칭 성질을 가진 비산술 다양체의 가족을 구성하는 것.
• 숨겨진 대칭군을 몫 $ C(\Gamma)/N(\Gamma)) $ 로 계산하기 위해 군론적 도구를 적용하는 것.
• 모스트우–프라사드 강성과 공통 측도 이론을 적용하여 공통 측도 클래스 내에서 대칭군과 부피 성장률을 연결하는 것.

실험 결과

연구 질문

• RQ1 완전히 증강된 프레텔 링크 중에서 보완체가 산술인 경우는 언제인가요?
• RQ2 완전히 증강된 프레텔 링크 보완체 중 어떤 것이 상호 공통 측도성을 가지는가요?
• RQ3 이 링크 보완체의 불변 추적 필드로 나타나는 CM-체는 무엇인가요?
• RQ4 부피에 대해 선형적으로 증가하는 숨겨진 대칭을 가진 비산술 완전히 증강된 프레텔 링크 보완체를 구성할 수 있는가요?
• RQ5 비산술 초구형 3차원 다양체에서 부피에 대한 숨겨진 대칭의 최대 가능한 성장률은 무엇인가요?

주요 결과

• 크로스링크 수 $ n \geq 3 $ 인 완전히 증강된 프레텔 링크 보완체 $ M_n $ 는 $ n = 3 $ 인 경우에만 산술이다.
• $ M_n $ 의 불변 추적 필드는 CM-체이며, 이 가족의 프레텔 FAL에 대해 이러한 필드가 모두 명시적으로 계산되었다.
• 숨겨진 대칭이 전혀 없는 비산술 완전히 증강된 프레텔 보완체의 무한한 가족이 존재한다.
• 다른 무한한 가족의 비산술 보완체는 정확히 $ 2n $ 개의 숨겨진 대칭을 가지며, 이는 부피에 대해 가능한 최대 선형 성장률을 달성한다.
• $ M_n' $ 의 부피는 $ 8n \left( \mathcal{L}\left(\frac{\pi}{4} + \frac{\pi}{2n}\right) + \mathcal{L}\left(\frac{\pi}{4} - \frac{\pi}{2n}\right) \right) $ 이며, 숨겨진 대칭은 이 부피에 대해 선형적으로 증가한다.
• $ M_n' $ 의 숨겨진 대칭은 몫 $ C(\Gamma_n')/N(\Gamma_n') $ 을 통해 실현되며, $ n \geq 5 $ 에서 $ [C(\Gamma_n'):N(\Gamma_n')] = 2n $ 이다.