[논문 리뷰] $\mathbb{P}^n$-functors

Rina Anno, Timothy Logvinenko|arXiv (Cornell University)|2019. 05. 14.

Algebraic structures and combinatorial models참고 문헌 60인용 수 6

한 줄 요약

이 논문은 비분할 ℙⁿ-함수의 새로운 이론을 제안하며, 단순화된 ℙⁿ-함수와 구면 함수의 일반화로, 단순화된 ℙⁿ-함수와 구면 함수를 일반화하는 데 사용되는 몰프, 수반 조건, 최고차항 조건을 통해 정의한다. 이 논문은 ℙ-틀음을 자가동치로 구성하고, 가족 ℙ-틀음의 경우 '플롭-플롭 = 틀음' 공식을 증명하여 기존의 카테고리적 틀음 구성 이론을 통합하고 확장한다.

ABSTRACT

We propose a new theory of (non-split) P^n-functors. These are F: A -> B for which the adjunction monad RF is a repeated extension of Id_A by powers of an autoequivalence H and three conditions are satisfied: the monad condition, the adjoints condition, and the highest degree term condition. This unifies and extends the two earlier notions of spherical functors and split P^n-functors. We construct the P-twist of such F and prove it to be an autoequivalence. We then give a criterion for F to be a P^n-functor which is stronger than the definition but much easier to check in practice. It involves only two conditions: the strong monad condition and the weak adjoints condition. For split P^n-functors, we prove Segal's conjecture on their relation to spherical functors. Finally, we give four examples of non-split P^n-functors: spherical functors, extensions by zero, cyclic covers, and family P-twists. For the latter, we show the P-twist to be the derived monodromy of associated Mukai flop, the so-called `flop-flop = twist' formula.

연구 동기 및 목표

• 구면 함수와 분할 ℙⁿ-함수의 기존 개념을 비분할 ℙⁿ-함수의 더 넓은 프레임워크로 통합하고 일반화하기.
• 몰프 조건, 수반 조건, 최고차항 조건이라는 세 가지 구조적 조건을 통해 ℙⁿ-함수를 정의하기.
• 해당 함수의 ℙ-틀음을 구성하고 이것이 자가동치임을 증명하기.
• 강한 몰프 조건과 약한 수반 조건이라는 두 조건만을 사용하여 ℙⁿ-함수를 판별하는 기준을 수립하기.
• 분할 ℙⁿ-함수와 구면 함수 사이의 관계를 규명하는 세갈의 추측을 증명하기.

제안 방법

• 함수 F: A → B가 수반 몰프 RF가 자가동치 H의 거듭제곱으로 구성된 Id_A의 반복 확장임을 조건으로 하여, ℙⁿ-함수를 정의한다.
• FHR → FR → Id_B를 포함하는 이단계 복합체의 콬볼루션(이중 코ーン)을 통해 ℙ-틀음을 구성한다.
• 더 강력하고 실용적인 기준을 제시하기 위해 강한 몰프 조건과 약한 수반 조건 조건만을 사용한다.
• 수반 몰프의 구조와 자가동치의 성질을 이용하여 ℙ-틀음이 자가동치임을 증명한다.
• 분할 ℙⁿ-함수의 기원이 특정 구성에 의해 구면 함수에서 유도됨을 보여, 세갈의 추측을 증명한다.
• 네 가지 새로운 예제를 제시한다: 구면 함수, 제로로의 확장, 순환 덮개, 가족 ℙ-틀음으로, 마지막 예제는 무카이 플롭의 유도된 모노드로미를 제공한다.

실험 결과

연구 질문

• RQ1 구면 함수와 분할 ℙⁿ-함수를 어떻게 하나의 더 일반적인 ℙⁿ-함수의 프레임워크로 통합할 수 있는가?
• RQ2 비분할 케이스에서 어떤 조건이 ℙ-틀음이 함숫값 카테고리의 자가동치임을 보장하는가?
• RQ3 원래의 세 조건 정의보다 더 단순한 기준을 사용하여 어떤 함수가 ℙⁿ-함수인지 확인할 수 있는가?
• RQ4 무카이 플롭의 유도된 모노드로미는 ℙ-틀음의 카테고리적 해석으로 어떻게 해석될 수 있는가?
• RQ5 가족 ℙ-틀음은 유도 기하학에서 '플롭-플롭 = 틀음' 공식과 어떻게 관련되어 있는가?

주요 결과

• ℙⁿ-함수의 ℙ-틀음이 목적 카테고리의 자가동치임을 증명하였다.
• 강한 몰프 조건과 약한 수반 조건 조건만을 요구하는 새로운 단순화된 기준을 확립하였다.
• 논문은 세갈의 추측을 증명하였다: 분할 ℙⁿ-함수들은 특정 구성에 의해 구면 함수에서 유도된다.
• 가족 ℙ-틀음의 경우, ℙ-틀음이 관련된 무카이 플롭의 유도된 모노드로미와 동형임을 보였다.
• 네 가지의 새로운 비분할 ℙⁿ-함수 예제를 구성하였다: 구면 함수, 제로로의 확장, 순환 덮개, 가족 ℙ-틀음.
• 무카이 플롭에 대해 유도 기하학적으로 '플롭-플롭 = 틀음' 공식을 가족 ℙ-틀음 구성으로 확인하였다.