[논문 리뷰] Theta-graph and diffeomorphisms of some 4-manifolds

Tadayuki Watanabe|arXiv (Cornell University)|2020. 05. 19.

Geometric and Algebraic Topology참고 문헌 25인용 수 7

한 줄 요약

이 논문은 4차원 닫힘 다양체에서 단순연결이 아닌 경우에 대해, 동치가 아니지만 호모토픽한 항등사상이지만, 등장하지 않는 무한히 많은 수의 비등장하는 미분구조를 Θ-그래프를 따라 수술을 통해 구성한다. 이를 통해 등급군의 표현을 갖는 구성공간에서의 등급부여된 삼중 교차를 통한 콘텐츠의 변형된 해법을 제안하고, 이로 인해 이러한 미분구조의 비자명성을 증명하며, 4차원 다양체에서의 코드림이 1의 매장과 허위동치에 관한 새로운 결과를 이끌어낸다.

ABSTRACT

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $Θ$-graphs. As corollaries of this, we obtain some new results on codimension 1 embeddings and pseudo-isotopies of 4-manifolds. In the proof of the non-triviality of the diffeomorphisms, we utilize a twisted analogue of Kontsevich's characteristic class for smooth bundles, which is obtained by extending a higher dimensional analogue of Marché--Lescop's "equivariant triple intersection" in configuration spaces of 3-manifolds to allow Lie algebraic local coefficient system.

연구 동기 및 목표

• 닫힘 4차원 다양체에서 항등사상과 호모토픽하지만 등장하지 않는 무한히 많은 수의 서로 다른 등장이 아닌 미분구조를 구성하는 것.
• Marché–Lescop의 등급부여된 삼중 교차 불변량을 3차원 다양체에서 4차원 다양체로 확장하여, 리 대칭군의 국소 계수계를 갖는다.
• 구성공간 불변량을 사용하여 매끄러운 4차원 다양체 번들의 변형된 콘텐츠 특성 클래스를 수립하는 것.
• 이 불변량을 사용하여 이전 방법으로는 탐지할 수 없었던 4차원 다양체의 매핑 클래스군 내의 비자명한 원소를 탐지하는 것.
• 구성된 미분구조를 통해 4차원 다양체에서의 코드림이 1의 매장과 허위동치에 관한 새로운 결과를 도출하는 것.

제안 방법

• S¹ 위에 4차원 다양체에서 Θ-그래프 수술을 적용하여, 비자명한 단일화를 갖는 4차원 다양체 번들을 구성한다.
• 리 대칭군의 국소 계수계를 갖는 구성공간에서의 등급부여된 삼중 교차를 통한, 콘텐츠 특성 클래스의 변형된 해법을 정의한다.
• Marché–Lescop의 등급부여된 삼중 교차 불변량의 고차원 확장형을 애시적 국소 계수계를 갖는 4차원 다양체에 적용한다.
• 홀로노미를 확장한 교차곱을 사용한 국소 계수계를 갖는 섬유화된 구성공간 구조를 활용한다.
• R-장식된 Θ-그래프를 사용하여 불변량을 계산하고, 연결수와 국소 계수계를 갖는 체인 교차를 통해 평가한다.
• π₁(Σ³)의 고정표현의 애드조이ント 표현이 𝔰𝔩₂(ℂ)에서 애시적임을 이용하여, 불변량이 잘 정의되고 비영임을 보장한다.

실험 결과

연구 질문

• RQ1 항등사상과 호모토픽하지만 등장하지 않는 무한히 많은 수의 비등장하는 4차원 다양체의 미분구조를 구성할 수 있는가?
• RQ2 구성공간에서의 등급부여된 삼중 교차를 기반으로 한 변형된 특성 클래스가 4차원 다양체 번들에서 비자명한 단일화를 탐지할 수 있는가?
• RQ3 Θ-그래프 수술 방법이 이전 기법으로 탐지할 수 없었던 4차원 다양체의 매핑 클래스군 원소를 얼마나 넓게 탐지할 수 있는가?
• RQ4 이러한 미분구조가 매끄러운 Schoenflies 추측과 허위동치 이론에 어떤 영향을 미치는가?
• RQ5 3차원 다양체의 불변량을 리 대칭군의 국소 계수계를 갖는 4차원 다양체로 확장할 경우, 매끄러운 구조의 분류에 어떤 영향을 미치는가?

주요 결과

• 논문은 X = Σ³ × S¹ 4차원 다양체에서 항등사상과 호모토픽하지만 등장하지 않는 비가산 수의 서로 다른 등장이 아닌 미분구조를 구성한다.
• 이러한 미분구조의 비자명성은 구성공간에서의 등급부여된 삼중 교차를 기반으로 한 변형된 특성 클래스 불변량을 통해 입증된다.
• 이 불변량은 π₁(Σ³)의 고정표현이 SU(2)로 작용하는 𝔰𝔩₂(ℂ)에 대한 애드조이ント 표현과 관련된 국소 계수계를 사용하여 정의되며, 이 계수계를 갖는 X의 코homology가 영일 경우 비영임이 입증된다.
• 이 구성은 이전의 D³×S¹ 연구에서 확장된 4차원 다양체에서의 비자명한 허위동치와 코드림이 1의 매장을 포함하는 새로운 예를 제공한다.
• Budney와 Gabai의 매장 계산 방법으로는 탐지할 수 없는 미분구조를 탐지함으로써, 본 방법의 적용 범위가 더 넓다는 것을 시사한다.
• V₄ = Sym⁴V의 π′-모듈러의 비가역성이 증명되었으며, 이는 코homological 계산에서 불변량의 비영임을 뒷받침한다.