[논문 리뷰] Frobenius and Spherical Codomains and Neighbourhoods

Andreas Hochenegger, Ciaran Meachan|arXiv (Cornell University)|2020. 01. 14.

Algebraic structures and combinatorial models참고 문헌 27인용 수 1

한 줄 요약

이 논문은 양방향 수반을 갖는 삼각 범주 사이의 정확한 함자에 대해 프로베누스 및 구형 코도메인과 이웃을 도입한다. 이러한 함자의 코-twist를 분석함으로써, 함자가 각각 특별히 프로베누스 또는 구형이 되는 최대의 전순서 삼각 부분범주—즉 프로베누스 또는 구형 코도메인—을 구성한다. 주요 결과는 이러한 부분범주가 최대임을 보이고, 함자의 행동을 수반과 자연 변환의 관점에서 특성화한다.

ABSTRACT

Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work generalises results about spherical subcategories obtained by Martin Kalck, David Ploog and the first author.

연구 동기 및 목표

• 함자를 일반화하여 구형 부분범주 개념을 확장함으로써, 이전의 구형 유사 객체 작업을 확장한다.
• 함자가 양방향 수반을 갖는 경우, 수반 비교에서의 등장사상과의 이격도를 측정하여, 언제 프로베누스 또는 구형이 되는지를 규명한다.
• 함자가 프로베누스 또는 구형 행동을 보이는 최대의 삼각 부분범주로서 프로베누스 코도메인과 구형 코도메인을 정의하고 연구한다.
• 코도메인 내의 객체 주변에 국소적 형태인 프로베누스 및 구형 이웃을 도입하며, 세르 쌍대성과 수반 함자를 이용한다.
• 프로젝션 번들, 블로업, 에리누스 표면 등의 기하학적 예시를 통해 이론을 설명하며, 링크 클레스와 구형 부분범주와 같은 기존의 구조들이 어떻게 복원되는지를 보여준다.

제안 방법

• 정확한 함자 F: A → B가 양방향 수반을 갖는 경우, 수반 삼각형을 통해 코-twist C와 토글 TwisT T를 정의한다: C → id_A → RF 및 FR → id_B → T.
• C = 0일 때 (F가 예외적일 때), 삼각형 P → R → L을 구성하여 프로베누스 코도메인을 Frb(F) = ker P ⊂ B로 정의한다.
• C가 자가동치일 때 (F가 구형 유사일 때), 삼각형 Q → R → CL[1]을 구성하여 구형 코도메인을 Sph(F) = ker Q ⊂ B로 정의한다.
• 국소적 이웃을 위해 세르 쌍대성을 사용하여 Frb(F, A) = ⊥TSB(FA) 및 Sph(F, A) = ⊥QrSAA를 정의한다. 여기서 Qr는 Q의 우측 수반이다.
• Frb(F)와 Sph(F)가 각각 F가 특별히 프로베누스 또는 구형이 되는 최대의 전순서 삼각 부분범주임을 증명한다.
• C와 T 사이의 쌍대성에 기반해 구성들을 쌍대화함으로써, 공예외적 및 공구형 유사 함자 개념을 제안한다.

실험 결과

연구 질문

• RQ1 정확한 함자 F가 양방향 수반을 갖는 경우, 그 코도메인의 부분범주에서 언제 프로베누스 또는 구형이 되는가?
• RQ2 함자가 프로베누스 또는 구형이 되는 코도메인의 최대 전순서 삼각 부분범주를 체계적으로 어떻게 구성할 수 있는가?
• RQ3 자연 변환 ϕ: R → RFL (또는 CL[1]으로)이 함자가 (준)프로베누스인지 결정하는 데 어떤 역할을 하는가?
• RQ4 코도메인 내의 객체에 대한 프로베누스 및 구형 이웃은 세르 쌍대성과 환경 범주의 구조와 어떻게 관련되는가?
• RQ5 모든 구형 유사 함자는 구형 및 예외적 함자의 복합으로 구성되는가, 아니면 복합이 아닌 예외적인 예가 존재하는가?

주요 결과

• 프로베누스 코도메인 Frb(F)는 핵심 제약 F|FrB(F) : A → Frb(F) 가 특별히 프로베누스가 되는 B의 최대 전순서 삼각 부분범주이다.
• 구형 코도메인 Sph(F)는 F|Sph(F) 가 구형이 되는 B의 최대 전순서 삼각 부분범주이다.
• 예외적 함자 F에 대해, FA ∈ B의 프로베누스 이웃 Frb(F, A)는 Frb(F, A) = ⊥TSB(FA)로 주어지며, FA의 세르 쌍대를 포함하는 데 있어 최대성을 가진다.
• 구형 유사 함자 F에 대해, 구형 이웃 Sph(F, A)는 Sph(F, A) = ⊥QrSAA로 주어지며, FA의 세르 쌍대를 포함하는 데 있어 최대성을 가진다.
• 3차원 다양체 내의 P1의 블로업 π: Bl_P1(X) → X의 경우, π∗의 프로베누스 포스엣은 Db(P1)의 두껍게 된 부분범주의 포스엣과 동형이다.
• 에리누스 표면에서 3-구형 객체에 관련된 spherelike 함자 Fi: Db(k) → Db(X)의 구형 포스엣은 정확히 두 개의 원소로 이루어져 있다: 구형 부분범주와 전체 범주.