[논문 리뷰] Formality, Alexander invariants, and a question of Serre

Alexandru Dimca, Ştefan Papadima외 1명|ArXiv.org|2005. 12. 21.

Algebraic Geometry and Number Theory참고 문헌 55인용 수 26

한 줄 요약

이 논문은 1-형식 그룹의 코homology 점프링 위치—특히 그 특성 및 공진 다양체—사이의 깊은 연결을 확립한다. 특히, 항등원에서 첫 번째 특성 다양체의 접선 쌍대가 첫 번째 공진 다양체와 일치함을 증명한다. 형식성과 앨리서ander 불변량의 구조를 이용하여, 1-형식성에 대한 새로운 차단 조건과, 유한형상 그룹이 매끄럽고 복소 quasi-projective 다양체의 기본군으로 실현 가능한지에 대한 새로운 차단 조건을 도출한다.

ABSTRACT

We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We show that the I-adic completion of the Alexander invariant of a 1-formal group G is determined solely by the cup-product map in low degrees. It follows that the germs at the origin of the characteristic and resonance varieties of G are analytically isomorphic; in particular, the tangent cone to V_k(G) at 1 equals R_k(G). This provides new obstructions to 1-formality. A detailed analysis of the irreducible components of the tangent cone at 1 to the first characteristic variety yields powerful obstructions to realizing a finitely presented group as the fundamental group of a smooth, complex quasi-projective algebraic variety. This sheds new light on a classical problem of J.-P. Serre. Applications to arrangements, configuration spaces, coproducts of groups, and Artin groups are given.

연구 동기 및 목표

• 유한형상 그룹의 특성 및 공진 다양체의 구조에서 형식성의 역할를 명확히 하기 위해.
• 1-형식 그룹에 대해 원점에서의 특성 다양체와 공진 다양체의 해석적 구조 간의 해석적 동형을 확립하기 위해.
• 첫 번째 특성 다양체의 접선 쌍대를 이용한 1-형식성에 대한 새로운 차단 조건을 도출하기 위해.
• 매끄럽고 복소 quasi-projective 다양체의 기본군으로 나타날 수 있는 유한형상 그룹은 무엇인지에 대한 세르의 고전 문제를 다루기 위해.
• 배치, 구성 공간, 코프로덕트, 아르틴 군에 이 те올리를 적용하여, 새로운 실현 가능 차단 조건을 도출하기 위해.

제안 방법

• 리 대수의 이차 관계를 통해 1-형식성을 정의하기 위해 말체프 완비화와 휠라리 리 대수를 사용하기 위해.
• 휴올로지 리 대수를 통해 앨리서ander 불변량의 $I$-adic 완비화를 저도수의 cup곱 맵과 연결하기 위해.
• 지수 함수를 적용하여 원점과 항등원에서 공진 다양체와 특성 다양체의 해석적 구조 간의 동형을 확립하기 위해.
• 1-형식 그룹에 대해 $\mathcal{V}_k(G)$의 1에서의 접선 쌍대가 $\mathcal{R}_k(G)$와 같음을 특성화하기 위해.
• 접선 쌍대의 기하적 구성 요소를 분석하여 quasi-projective 실현 가능성에 대한 장애를 탐지하기 위해.
• 라벨된 그래프의 홀수 수축 구조를 사용하여 아르틴 군을 자유군의 코프로덕트와 연결하고, cup곱 맵의 등방성 조건을 테스트하기 위해.

실험 결과

연구 질문

• RQ1 형식성이 1차에서 특성 다양체와 공진 다양체의 구조에 어떻게 제약을 가하는가?
• RQ2 어떤 조건에서 항등원에서 첫 번째 특성 다양체의 접선 쌍대가 첫 번째 공진 다양체와 해석적으로 동형인가?
• RQ3 첫 번째 공진 다양체 $\mathcal{R}_1(G)$가 양의 차원을 가지며 0-등방성인 기하적 구성 요소를 포함할 경우, 유한형상 그룹 $G$가 매끄럽고 복소 quasi-projective 다양체의 기본군으로 실현 가능성이 없는가?
• RQ4 어떤 아르틴 군이 매끄럽고 복소 quasi-projective 다양체의 기본군으로 나타나며, 그에 대한 확인 방법은 무엇인가? 특히, 그들의 말체프 리 대수를 통해 어떻게 탐지할 수 있는가?
• RQ5 1-형식 그룹의 코homology에서 cup곱 맵이 어떤 조건을 만족할 경우, 그 군이 카플러 또는 quasi-Kähler 군으로 실현될 수 없게 되는가?

주요 결과

• 모든 1-형식 그룹 $G$에 대해, 첫 번째 특성 다양체 $\mathcal{V}_1(G)$의 항등원에서의 접선 쌍대는 첫 번째 공진 다양체 $\mathcal{R}_1(G)$와 일치한다. 즉, $TC_1(\mathcal{V}_1(G)) = \mathcal{R}_1(G)$이다.
• 지수 함수는 원점에서의 공진 다양체 $\mathcal{R}_k(G)$와 항등원에서의 특성 다양체 $\mathcal{V}_k(G)$의 해석적 구조 간의 동형을 유도한다.
• 1-형식 그룹의 앨리서ander 불변량의 $I$-adic 완비화는 오직 2차에서의 cup곱 맵에 의해 결정된다.
• 유한형상 그룹 $G$는 첫 번째 공진 다양체 $\mathcal{R}_1(G)$가 양의 차원을 가지며 0-등방성인 기하적 구성 요소를 포함할 경우, 매끄럽고 복소 quasi-projective 다양체의 기본군으로 실현될 수 없다.
• 오른쪽-각도 아르틴 군 $G_\Gamma$에 대해, $G_\Gamma$가 카플러일 필요충분조건은 $\Gamma$가 짝수 개 꼭짓점을 가진 완전 그래프인 것이다. 즉, $G_\Gamma \cong \mathbb{Z}^{2n}$이다.
• 아르틴 군 $G_\Gamma$의 말체프 리 대수가 quasi-Kähler 군의 것과 필터링 동형일 필요충분조건은 그의 홀수 수축 $\tilde{\Gamma}$가 완전 다중분할 그래프인 것이다.