[논문 리뷰] Geometric and algebraic aspects of 1-formality

Ştefan Papadima, Alexander I. Suciu|ArXiv.org|2009. 03. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 45인용 수 26

한 줄 요약

이 논문은 기하학적 및 대수적 위상수학에서 1-형식성에 대해 연구하며, 1차 코homology 클래스의 cup 곱 구조가 기본군의 유리수 프로-유니폴런트 완비화를 결정하는 방식을 집중적으로 다룬다. 특정 4차원 다각형 $W$에 대해 $M \times W$가 카플러 다양체의 유리수 호모토피 유형을 갖지만 어떤 카플러 계량도 갖지 못함을 보여, 유리수 호모토피 유형과 카플러 구조 사이에 엄격한 구분이 있음을 밝힌다.

ABSTRACT

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting, the weaker 1-formality property allows one to reconstruct the rational pro-unipotent completion of the fundamental group, solely from the cup products of degree 1 cohomology classes. In this note, we survey various facets of formality, with emphasis on the geometric and algebraic implications of 1-formality, and its relations to the cohomology jump loci and the Bieri-Neumann-Strebel invariant. We also produce examples of 4-manifolds W such that, for every compact Kähler manifold M, the product M imes W has the rational homotopy type of a Kähler manifold, yet M imes W admits no Kähler metric.

연구 동기 및 목표

• 기본군과 다양체에서 1-형식성의 기하학적 및 대수적 함의를 이해하기 위해.
• 1-형식성, 코homology 점프 위치, 그리고 Bieri–Neumann–Strebel 불변량 사이의 관계를 명확히 하기 위해.
• M \times W가 카플러 다양체의 유리수 호모토피 유형을 갖지만 어떤 카플러 계량도 갖지 못하는 4차원 다각형 $W$의 예를 구성하기 위해.
• 모노드로미 고유값과 Arapura의 정리에 기반한, 준카플러 군에 대한 기준을 제공하기 위해.

제안 방법

• Sullivan의 유리수 호모토피 이론을 사용하여, de Rham 대수와 코homology 링 사이의 준동형사상에 의해 형식성을 정의한다.
• Quillen의 Malcev 완비화와 호로노미 리 대수를 적용하여, cup 곱 사상 $\mu_G: H^1(G,\mathbb{Q}) \wedge H^1(G,\mathbb{Q}) \to H^2(G,\mathbb{Q})$를 통해 1-형식성을 특성화한다.
• 사라지기 수열을 이용해 사영 맵의 토러스에 대해, 모노드로미 작용과 코homology 점프 위치 $\mathcal{V}_1(U_h)$를 연결한다.
• Arapura의 결과를 활용하여, 준카플러 다양체의 $\mathcal{V}_1(X)$에서 고립점은 반드시 유니터리 문자여야 한다는 점을 이용한다.
• 비유니터리 모노드로미 고유값을 갖는 표면 자기동형사상의 사영 토러스를 사용해 구체적인 예를 구성한다.
• Künneth 공식을 적용하여 $\mathcal{V}_1(N \times U_h)$를 계산하고, 비유니터리 고유값이 준카플러 기본군이 아님을 보인다.

실험 결과

연구 질문

• RQ1 공간이나 군의 어떤 대수적·기하학적 성질이 1차에서의 cup 곱 구조에 의해 결정되는가?
• RQ2 1-형식군이 카플러 다양체의 유리수 호모토피 유형과 일치하더라도, 어떤 조건에서 준카플러가 아니게 되는가?
• RQ3 H_1(U,\mathbb{Z})에서 모노드로미 연산자의 고유값은 사영 토러스 위의 카플러 계량 존재성에 어떤 제약을 끼치는가?
• RQ4 M \times W가 카플러 다양체의 유리수 호모토피 유형을 갖지만 어떤 카플러 계량도 갖지 못하는, 상호로 호메오멀포픽이 아닌 4차원 다각형 $W$를 무한히 구성할 수 있는가?
• RQ5 Bieri–Neumann–Strebel 불변량은 1-형식성과 준카플러 구조를 탐지하는 데 어떤 역할을 하는가?

주요 결과

• 모노드로미가 비유니터리인 표면 자기동형사상의 사영 토러스인 $W = S^1 \times U_h$에 대해, 곱 $M \times W$는 카플러 다양체의 유리수 호모토피 유형을 갖는다.
• 이러한 유리수 호모토피 동치에도 불구하고, $M \times W$는 모노드로미 연산자가 노름이 1이 아닌 고유값을 갖기 때문에 어떤 카플러 계량도 갖지 못한다.
• 코homology 점프 위치 $\mathcal{V}_1(U_h) \cap \mathbb{T}^0(U_h)$는 1과 모노드로미 $h_*$의 고유값으로 이루어지며, 구성된 예에서 이 고유값들은 비유니터리이다.
• 임의의 컴acts한 카플러 다양체 $M$에 대해, $|\operatorname{tr}(A)| \geq 3$인 표면 자기동형사상으로 구성된 $W$에 대해 $M \times W$는 비유니터리 고유값으로 인해 준카플러가 아니게 된다.
• 무한히 많은 상호로 호메오멀포픽인 4차원 다각형 $W_{g,n}$이 존재하며, 이들은 $H_1(W_{g,n},\mathbb{Z}) = \mathbb{Z}^2 \oplus \bigoplus^g \mathbb{Z}/n\mathbb{Z}$를 만족하고 동일한 유리수 호모토피 유형 조건을 갖지만 어떤 카플러 계량도 갖지 못한다.
• 모노드로미 $h_*$가 노름이 1이 아닌 고유값을 하나라도 갖는다면, $N \times U_h$의 기본군은 준카플러가 아니며, 이는 $\mathcal{V}_1(N \times U_h)$의 고립점이 Arapura의 유니터리 조건을 위반하기 때문이다.