[논문 리뷰] A surgery formula for the asymptotics of the higher dimensional Reidemeister torsion and Seifert fibered spaces

Yoshikazu Yamaguchi|arXiv (Cornell University)|2012. 10. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 세이페르트 섬유화된 3차원 다양체에서 고차원 리드마이스터 토르션이 점 渐진적으로 어떻게 행동하는지에 대한 수술 공식을 수립한다. 이는 로그 토르션의 성장률이 차원 $2N$ 에 대해 선형이며, 주 계수는 유한한 값들의 집합으로 수렴함을 보여준다. 이 계수의 최대값은 $−\chi\log 2$ 이며, 이는 세이페르트 동치 다수의 $ℕℓ(2)$-표현 다양체의 최고차원 성분에서 정확히 달성된다.

ABSTRACT

We give a surgery formula for the asymptotic behavior of the sequence given by the logarithm of the higher dimensional Reidemeister torsion. Applying the resulting formula to Seifert fibered spaces, we show that the growth of the sequences has the same order as the indices and we give the explicit values for the limits of the leading coefficients. There are finitely many possibilities as the limits of the leading coefficients for a Seifert fibered space. We also show that the maximum is given by the product of (-log 2) and the Euler characteristic of the base orbifold for a Seifert fibered space. These limits of the leading coefficients give a locally constant function on a character variety. This function takes the maximum only on the top-dimensional components of the SU(2)-character varieties for Seifert fibered homology spheres.

연구 동기 및 목표

• 데인 채움을 통해 얻어진 3차원 다각형에서 고차원 리드마이스터 토르션의 점 渐진적 행동에 대한 수술 공식 유도.
• 세이페르트 섬유화된 공간에서 $\mathrm{SL}_{2}(\mathbb{C})$-표현에 의한 토르션 로그의 점 渐진적 성장 분석.
• 토르션 로그의 주 계수의 극한을 결정하고 그 최대값을 규명.
• 세이페르트 동치 다수의 $\mathrm{SU}(2)$-표현 다양체의 최고차원 성분에서 최대 주 계수 $-\chi\log 2$ 가 정확히 달성됨을 보여줌.

제안 방법

• 슬로프 2차원 복합체의 비순환 조건 하에서 $\mathrm{SL}_2(\mathbb{C})$-표현으로 유도된 왜곡된 복합체에 대해 $\log|\mathrm{Tor}(M;\rho_{2N})|$ 의 점 渐진적 행동에 대한 수술 공식 개발.
• 표면 번들의 구조와 고체 원판으로 분해된 표준적인 방법을 통해 세이페르트 섬유화된 공간에 수술 공식 적용.
• 각 $j$-번째 고체 원판의 중심을 $\ell_j$ 라 할 때, $\lambda_j$ 를 $\rho(\ell_j)$ 의 순서의 반으로 정의하여 점 渐진 계수 계산.
• 수술 후 주 계수를 계산하기 위해 공식 $\lim_{N\to\infty} \frac{\log|\mathrm{Tor}|}{2N} = \lim_{N\to\infty} \frac{\log|\mathrm{Tor}(M;\rho_{2N})|}{2N} - \log 2 \sum_{j=1}^m \frac{1}{\lambda_j}$ 를 활용.
• 표현 다양체를 분석하여 최대 계수 $-\chi\log 2$ 가 달성되는 성분 식별.
• 세이페르트 동치 다수의 $\mathrm{SU}(2)$-표현 다양체에서 최대 계수가 최고차원 성분에서만 달성됨을 검증.

실험 결과

연구 질문

• RQ1 세이페르트 섬유화된 공간에서 차원 $2N$ 이 증가함에 따라 고차원 리드마이스터 토르션의 로그 성장률은 어떻게 되는가?
• RQ2 데인 채움 하에서 토르션 로그의 주 계수는 어떻게 행동하며, 그 극한 값은 무엇에 의해 결정되는가?
• RQ3 모든 표현에 대해 $\log|\mathrm{Tor}|/(2N)$ 의 주 계수의 최대 가능한 값은 무엇이며, 어디서 달성되는가?
• RQ4 세이페르트 동치 다수의 경우에 대해 최대 주 계수 $-\chi\log 2$ 는 $\mathrm{SU}(2)$-표현 다양체의 어떤 성분에서 발생하는가?
• RQ5 각 표현에 대해 주 계수의 극한을 할당하는 함수는 표현 다양체에서 국소적으로 상수인가?

주요 결과

• 세이페르트 섬유화된 공간에서 $\log|\mathrm{Tor}(M;\rho_{2N})|$ 의 점 渐진적 성장은 $N$ 에 대해 선형이며, $2N$ 의 계수는 유한한 값들의 집합으로 수렴한다.
• 주 계수의 최대값은 $−\chi\log 2$ 이며, 여기서 $\chi$ 는 기저 오비폴드의 오일러 지표이다.
• 이 최대값은 세이페르트 동치 다수의 $\mathrm{SU}(2)$-표현 다양체의 최고차원 성분에서만 달성된다.
• 특정 예시 $M(\frac{2}{1}, \frac{3}{-2}, \frac{5}{-2}, \frac{7}{4})$ 에서 $\xi_4 = 0$ 일 때 극한은 $-\chi\log 2 - \frac{6}{7}\log 2$ 로 나타나 최대값보다 엄밀히 감소함을 보여준다.
• 다른 경우 $M(\frac{5}{3}, \frac{6}{-1}, \frac{7}{-3})$ 에서는 최대값 $-\chi\log 2$ 가 $X_1$ 에서 달성되지만, $X_2$ 는 엄밀히 작은 값인 $-\chi\log 2 - \frac{1}{3}\log 2$ 를 제공하여 최대값이 모든 성분에서 달성되지 않음을 확인한다.
• 각 표현에 대해 주 계수의 극한을 할당하는 함수는 표현 다양체에서 국소적으로 상수이며, 최대값 $-\chi\log 2$ 는 오직 최고차원 성분에서만 달성된다.