[논문 리뷰] Categorical joins

Alexander Kuznetsov, Alexander Perry|arXiv (Cornell University)|2018. 03. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 6

한 줄 요약

이 논문은 사영다양체의 고전적 합성의 분류학적 일반화로 분류학적 합성을 도입하며, 호모로지적 프로젝티브 dual을 분류학적 프레임워크로 확장한다. 주요 결과로, 분류학적 합성의 호모로지적 프로젝티브 쌍대는 자연스럽게 쌍대 분류학적 카테고리들의 분류학적 합성과 동치임을 증명하여 고전적 이중성을 분류학적으로 일반화하고, 호모로지적 프로젝티브 이중성의 주요 정리를 비선형적 형태로 일반화한다.

ABSTRACT

We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of the homological projective dual categories. This categorifies the classical version of this assertion and has many applications, including a nonlinear version of the main theorem of homological projective duality.

연구 동기 및 목표

• 알제브라기하학에서 고전적 합성 구조를 위한 분류학적 프레임워크를 개발하기 위해.
• 분류학적 합성을 포함하는 설정으로 호모로지적 프로젝티브 이중성을 확장하기 위해.
• 분류학적 합성의 호모로지적 프로젝티브 쌍대와 쌍대 카테고리들의 분류학적 합성 사이의 이중성 등가를 수립하기 위해.
• 호모로지적 프로젝티브 이중성의 주요 정리를 비선형적 설정으로 일반화하기 위해.

제안 방법

• dg 카테고리와 유도된 카테고리들을 사용하여 유도 대수기하학의 섬유곱 구조로 분류학적 합성을 정의하기 위해.
• 분류학적 구조를 형식화하기 위해 포화된 dg 카테고리와 순차적 직교 분해의 언어를 사용하기 위해.
• 호모로지적 프로젝티브 이중성 이론을 활용하여 분류학적 합성의 쌍대와 쌍대 카테고리들의 합성 사이의 관계를 규명하기 위해.
• 기저 전환과 수반 기법을 적용하여 유도된 설정에서의 이중성 등가를 증명하기 위해.
• 일반성 성질과 순차적 직교 분해와의 호환성을 통해 등가를 확립하기 위해.
• Lunts-Orlov의 프레임워크를 활용하여 기저 전환과 이중성에 대해 잘 정의된 구조를 보장하기 위해.

실험 결과

연구 질문

• RQ1 유도된 카테고리와 dg 카테고리들을 사용하여 고전적 사영다양체의 합성은 어떻게 분류학적으로 일반화될 수 있는가?
• RQ2 분류학적 합성의 호모로지적 프로젝티브 쌍대와 쌍대 카테고리들의 분류학적 합성 사이의 관계는 무엇인가?
• RQ3 분류학적 합성 간의 이중성은 고전적 호모로지적 프로젝티브 이중성과 유사한 일반성 성질을 만족하는가?
• RQ4 이 구조를 통해 호모로지적 프로젝티브 이중성의 주요 정리는 비선형적 또는 비아벨 기하적 맥락으로 확장될 수 있는가?
• RQ5 이 이중성 등가의 함의는 기하학적 유도된 카테고리의 구조에 대해 어떤 영향을 미치는가?

주요 결과

• 분류학적 합성의 호모로지적 프로젝티브 쌍대는 자연스럽게 호모로지적 프로젝티브 쌍대 카테고리들의 분류학적 합성과 등가이다.
• 이 이중성 등가는 두 다양체의 합성과 그들의 쌍대의 합성 사이의 고전적 이중성을 분류학적으로 일반화한다.
• 이 구조는 호모로지적 프로젝티브 이중성의 주요 정리를 비선형적 형태로 일반화한다.
• 결과는 포화된 dg 카테고리의 설정에서 성립하며, 순차적 직교 분해와 호환된다.
• 이 프레임워크를 통해 호모로지적 프로젝티브 이중성은 비선형적 및 비아벨 기하적 맥락으로 확장될 수 있다.
• 등가는 일반성 성질과 유도 기저 전환을 통해 확립되어 기하학적 연산에 대해 강건함을 보장한다.