[논문 리뷰] Exceptional collections on 2-adically uniformised fake projective planes

Najmuddin Fakhruddin|arXiv (Cornell University)|2013. 10. 11.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 9

한 줄 요약

이 논문은 2진적으로 균일화되고 토픽스러운 쌍대 덮개군을 가진 세 개의 가짜 프로젝티브 평면 위에서 길이 3의 놀라운 집합을 구성한다. 특수 섹션 위에서의 스펙트럴 시퀀스와 코homological 계산을 통해 오른쪽 수직 부분범주의 호흐실트 코hom로지아를 계산하며, 이는 호환되지 않는 호환성(phantom) 카테고리로서 자명한 호환성 호모로지(즉, HHₙ(𝒜) = 0 for all n)임을 보여주고, K₀에 대한 이러한 카테고리의 관계를 토픽스러운 성질과 연결하는 추측을 제기한다. 이는 블로흐의 추측을 발전시킬 수 있다.

ABSTRACT

We show that there exist exceptional collections of length 3 consisting of line bundles on the three fake projective planes that have a 2-adic uniformisation with torsion free covering group. We also compute the Hochschild cohomology of the right orthogonal of the subcategory of the bounded derived category of coherent sheaves generated by these exceptional collections.

연구 동기 및 목표

• 2진적으로 균일화되고 토픽스러운 쌍대 덮개군을 가진 가짜 프로젝티브 평면의 코herent sheaf의 유도 범주에서 최대 길이(3)의 놀라운 집합이 존재함을 입증하는 것.
• 이러한 놀라운 집합의 오른쪽 수직 부분범주에 대한 호흐실트 코호몰로지 계산을 통해 그것이 호환되지 않는 호환성 카테고리임을 규명하는 것.
• 호환되지 않는 호환성 카테고리의 K₀-군에 대한 추측을 제기함으로써 블로흐의 0-사이클에 대한 추측에 대한 증거를 제공하는 것.
• Spec(ℤ₂) 위에서 정규적이고 올바른 모델의 존재와 코호몰로지 전이를 활용하여 계산을 𝔽₂ 위의 명시적 기하학으로 축소하는 것.
• 최대 놀라운 집합에 대해 필수적이라고 이전에 추측된 캐논칼 번들의 세제곱근이 실제로 필요하지 않은지 탐색하는 것.

제안 방법

• Mustafin과 Kurihara를 통해 구성된 ℤ₂ 위의 형식적 스킴 모델을 활용하며, 이는 Spec(ℤ₂) 위에서 정규적이고 올바른 모델을 가지며 특수 섹션은 ℙ²_𝔽₂의 유리점들에 대한 블로우업과 동형임.
• Grothendieck의 존재 정리를 적용하여 특수 섹션에서의 선다발과 코호몰로지 클래스를 일반 섹션으로 올리고, 내림내림 증명을 가능하게 함.
• Kuznetsov의 호환되지 않는 부분범주에 대한 호흐실트 코호몰로지 스펙트럴 시퀀스를 활용하며, 놀라운 집합의 특정 구조로 인해 E₁에서 분해됨.
• 가짜 프로젝티브 평면 위의 선다발의 코호몰로지 군 계산을 Galois 이론적 전이와 PGL₃(ℤ₂)의 작용을 통해 ℙ²_𝔽₂ 위의 명시적 계산으로 축소함.
• 놀라운 집합 내의 Ext 군의 대칭성과 세르 대칭을 활용하여 코호몰로지 패tern을 ℙ²와 유사하게 매칭하고, 차원 계산을 가능하게 함.
• 호환되지 않는 호환성 코호몰로지 제약 사상의 함의성과 구조층의 경우가 알려진 사실을 활용하여 HH⁴(ℬ, 𝒟ᵇ(M))에서 HH⁴(𝒟ᵇ(M))로의 사상의 상사상성(onto)을 증명함.

실험 결과

연구 질문

• RQ1 2진적으로 균일화되고 토픽스러운 쌍대 덮개군을 가진 가짜 프로젝티브 평면의 유한 유도 범주에서 길이 3의 놀라운 집합이 존재하는가?
• RQ2 이러한 놀라운 집합의 오른쪽 수직 부분범주에 대한 호환되지 않는 호환성 코호몰로지의 특성은 무엇이며, 호모로지에서 0이 되는가?
• RQ3 이러한 놀라운 집합의 존재가 p_g = 0인 표면에 대한 블로흐의 0-사이클 추측에 접근하는 데 사용될 수 있는가?
• RQ4 최대 놀라운 집합의 존재를 위해 캐논칼 번들의 세제곱근이 필수적인 조건인가, 아니면 약화될 수 있는가?
• RQ5 이 표면 위의 선다발의 코호몰로지 기하학적 구조는 전이와 Galois 내림내림을 통해 ℙ²_𝔽₂ 위의 명시적 계산으로 축소될 수 있는가?

주요 결과

• 2진적으로 균일화되고 토픽스러운 쌍대 덮개군을 가진 세 개의 가짜 프로젝티브 평면 각각에 대해, 𝒟ᵇ(M)에서 길이 3의 선다발로 이루어진 놀라운 집합이 존재한다.
• 이 놀라운 집합의 오른쪽 수직 부분범주 𝒜는 호환되지 않는 호환성 카테고리이며, 자명한 호환성 호모로지(즉, HHₙ(𝒜) = 0 for all n)를 가진다.
• 𝒜의 호환되지 않는 호환성 코호몰로지의 차원은 (0,0,0,0,30,54,27,0,0,…)이며, 놀라운 집합의 Ext 군에 대한 분해하는 스펙트럴 시퀀스를 통해 계산되었다.
• 스펙트럴 시퀀스는 놀라운 집합의 비영 코호몰로지 Ext 군의 특정 패턴으로 인해 E₁에서 분해된다. 이는 특수 섹션 위에서의 코호몰로지 계산에 의해 결정된다.
• HH⁴(ℬ, 𝒟ᵇ(M))에서 HH⁴(𝒟ᵇ(M))로의 사상은 상사상이며, 이는 전체 유도 범주의 알려진 호환되지 않는 호환성 코호몰로지로부터 HH•(𝒜)를 완전히 계산할 수 있도록 한다.
• 저자들은 임의의 호환되지 않는 호환성 부분범주에 대해 K₀(𝒜)가 토픽스러운 군임을 추측한다. 만약 이것이 참이라면, 이러한 가짜 프로젝티브 평면에 대해 블로흐의 추측이 성립함을 의미한다.