[논문 리뷰] On definite lattices bounded by a homology 3-sphere and Yang-Mills instanton Floer theory

Christopher Scaduto|arXiv (Cornell University)|2018. 05. 21.

Geometric and Algebraic Topology참고 문헌 28인용 수 3

한 줄 요약

이 논문은 양-밀스 인stanton 플로어 homology 이론을 사용하여 특정 정수 호모로지 3-구면체로 둘러싸인 윤활 4-다양체의 정부호 교차 형식을 분류한다. 특히, 스무스 4-구구형 성질이 1 또는 2인 링크에 대한 +1 수술로 $\mathbb{Z}/2$-호모로지 코바디즘과 동치인 경우를 중심으로 다룬다. 이는 프로이슈프가 이전에 푼 포incare 구면에 대한 결과를 확장하여, 이러한 경계를 가진 경우 가능한 비대각 정부호 격자로 $E_8$, $\Gamma_{12}$, 그리고 대각 형식과의 직합 외에는 존재하지 않음을 증명한다.

ABSTRACT

Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot, the only non-diagonal lattices that can occur are E8 and the indecomposable unimodular definite lattice of rank 12, up to diagonal summands. We require that our 4-manifolds have no 2-torsion in their homology.

연구 동기 및 목표

• 특정 정수 호모로지 3-구면체로 둘러싸인 스무스 4-다양체의 교차 형식으로 나타날 수 있는 정부호 유니모듈라 격자들을 규명하는 것.
• 프로이슈프의 인스턴턴 이론적 방법을 포incare 구면을 넘어서, 특히 토르스 린크에 대한 +1 수술의 경우로 확장하는 것.
• 4-다양체의 호모로지에 2- torsion 이 없을 경우 가능한 교차 형식에 대한 날카운 제약 조건을 설정하는 것.
• $(2,5)$ 토르스 린크에 대한 +1 수술에 대해, 유일하게 가능한 비대각 정부호 형식이 $E_8$ 와 $\Gamma_{12}$ 뿐이며, 대각 형식의 직합을 제외한 나머지는 이들로만 이루어진다는 것을 보여주는 것.
• 인스턴턴 플로어 이론, 시베르그-와이튼 이론, 헤가아드 플로어 이론의 결과를 격자 제약 조건의 맥락에서 통합하고 일반화하는 것.

제안 방법

• 프로이슈프의 인스턴턴 부등식을 mod 2 및 mod 4 계수로 일반화하여, 4-다양체 내에 임bed된 표면에 대한 새로운 종수 제약 조건을 도출한다.
• 인스턴턴 플로어 코homology 를 적용하여 코homology 링 내의 관계를 통해 교차 형식의 구조를 분석한다.
• 헤가아드 플로어 이론과 시베르그-와이튼 이론의 $d$-invariant 과 보정 항을 사용하여, 일부 경우에서 인스턴턴 입력이 대체되거나 확인되는 데 활용한다.
• 엘카이스의 $f_2(\mathcal{L}) \leq 2$ 인 정부호 격자 분류와 같은 격자 이론적 도구를 활용하여 가능한 형식을 제약한다.
• 극단적인 벡터 $w$ 에 대해 $w + 2\mathcal{L}$ 내의 최소 벡터를 계산하여, 비대각 형식의 존재를 제어하는 불변량 $m(\mathcal{L})$ 을 결정한다.
• 메이어-비에토리스 추론을 적용하여, 교차 형식이 유니모듈라일 경우 비호모로지 3-구면체로도 결과를 확장한다.

실험 결과

연구 질문

• RQ1 호모로지에 2- torsion 이 없는 주어진 정수 호모로지 3-구면체로 둘러싸인 스무스 4-다양체의 교차 형식으로 나타날 수 있는 정부호 유니모듈라 격자들은 무엇인가?
• RQ2 $(2,5)$ 토르스 린크에 대한 +1 수술에 대해, 가능한 비대각 정부호 교차 형식은 무엇인가?
• RQ3 프로이슈프가 이전에 해결한 $E_8$ 경우를 초월하여, 인스턴턴 플로어 이론 프레임워크를 비대각 격자 분류에 확장할 수 있는가?
• RQ4 헤가아드 플로어의 $d$-invariant 과 시베르그-와이튼 보정 항은 어느 정도까지 인스턴턴 이론적 입력을 대체하거나 보완할 수 있는가?
• RQ5 조건 $d(Y) = 2$ 와 $\delta_2 v_2 = 0$ 를 만족하는 호모로지 3-구면체로 둘러싸인 4-다양체의 교차 형식으로 $E_7^2$ 가 나타나는가?

주요 결과

• $(2,5)$ 토르스 린크에 대한 +1 수술(즉, 브리스코른 구면 $-\Sigma(2,5,9)$)에 대해 가능한 유일한 정부호 교차 형식은 $\langle+1\rangle^n$, $E_8 \oplus \langle+1\rangle^n$, $\Gamma_{12} \oplus \langle+1\rangle^n 이며, 모든 형식이 실현 가능하다.
• 호모로지에 2- torsion 이 없고 경계가 종수 2인 린크에 대한 +1 수술인 경우, 가능한 비대각 정부호 격자는 $E_8$ 과 $\Gamma_{12}$ 뿐이며, 대각 형식의 직합을 제외한 나머지는 이들로만 이루어진다.
• 조건 $d(Y) = 2$ 와 $\delta_2 v_2 = 0$ 를 만족할 경우, 격자 $E_7^2$ 는 나타나지 않으며, 이는 이 격자에 대해 $m(\mathcal{L}) \geq 4$ 라는 불변량이 도출되기 때문이다.
• $(2,3)$ 토르스 린크에 대한 +1 수술(즉, $-\Sigma(2,3,5)$)에 대해 가능한 유일한 정부호 형식은 $\langle+1\rangle^n$ 과 $E_8 \oplus \langle+1\rangle^n 뿐이며, 이는 프로이슈프의 원래 결과를 확인하고 약간 개선한다.
• 결과는 $\mathbb{Z}/2$-호모로지 코바디즘에 대해 안정하므로, 종수 1 또는 종수 2인 린크에 대한 +1 수술과 호모로지 코바디즘을 가진 모든 호모로지 3-구면체에 적용 가능하다.
• 이 방법은 $-\Sigma(3,4,11)$ 에 대해 격자 분류의 잠재적 가능성을 열어 놓으며, 이는 $(3,4)$ 토르스 린크에 대한 +1 수술이며, $E_7^2$ 와 $A_{15}$ 를 포함할 수 있다.