[논문 리뷰] Six operations formalism for generalized operads

Benjamin C. Ward|arXiv (Cornell University)|2017. 01. 05.

Advanced Topics in Algebra인용 수 10

한 줄 요약

이 논문은 피曼 카테고리들을 이용하여 일반화된 오페라드에 대한 여섯 연산 체계를 수립하며, 유도된 코즐 듀얼리티와 푸시-풀 함수를 통합한다. 피만 변환(유도된 코즐 듀얼리티)이 $f^{!}D \cong Df^{\ast}$ 및 $f_{\ast}D \cong Df_{!}$ 형태의 동형사상들을 통해 당김과 밀림을 서로 뒤섞는다는 것을 증명하며, 이는 오페라드적 구조로의 버드리 듀얼리티를 일반화한다.

ABSTRACT

This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our constructions, we prove intertwining theorems which govern derived Koszul duality of push-forwards and pull-backs.

연구 동기 및 목표

• 이전에 대수기하학에서 알려진 여섯 연산 체계를 일반화된 오페라드의 호모토피적 맥락으로 확장하기.
• 피만 변환을 통한 유도된 코즐 듀얼리티를 당김 및 밀림과 같은 자연스러운 함자들과 통합하기.
• 코즐 듀얼리티가 이러한 함자들을 동형사상들을 통해 뒤섞는다는 것을 증명하며, 오페라드적 구조로 버드리 듀얼리티를 일반화하기.
• 이중화 객체와 투영 공식이 호모토피 범주에서 여섯 연산과 호환되는 프레임워크를 제공하기.

제안 방법

• 간단한 사상들을 갖는 카테고리에서의 함자로서 일반화된 오페라드를 모델링하기 위해 피만 카테고리를 사용한다. 이는 층 이론에서 열린 집합과 유사하다.
• 피만 카테고리의 정점 군집 위에서의 그룹화를 이용하여 $f_!$ 를 구성하며, 이는 그의 공리적 구조에 의존한다.
• 정점 군집 수준에서의 이중성 결과를 통해 예외적 당김 $f^!$ 를 수립한다.
• 연합 $(f^!, f_!)$ 에 대해 투영 공식을 검증하며, 이는 여섯 연산 체계의 핵심 조건이다.
• 이 formalism 을 $\mathbb{F}_{\mathcal{Q}}$-ops 카테고리에 적용하여 이차 오페라드에 대해 다이얼로그를 정의한다. 이때 이중 데이터 $(E^*, S^\perp, \mp)$ 를 통해 듀얼리티를 정의한다.
• 코즐 오페라드에 대해 자연스러운 사상 $D(\mathcal{P}) \to \mathcal{P}^!$ 가 약한 동치임을 보이며, 이로써 코즐성의 정의를 내린다.

실험 결과

연구 질문

• RQ1 셰이프 이론에서 버드리 듀얼리티에 유사한 여섯 연산 체계를 일반화된 오페라드로 확장할 수 있는가?
• RQ2 피만 변환을 통한 유도된 코즐 듀얼리티는 오페라드 맥락에서 당김 및 밀림과 같은 자연스러운 함자들과 어떻게 상호작용하는가?
• RQ3 유도 범주에서 $f^{!}D$ 와 $Df^{\ast}$ 사이, 그리고 $f_{\ast}D$ 와 $Df_{!}$ 사이에 자연스러운 동형사상이 존재하는가?
• RQ4 피만 카테고리의 사상에 대해 여섯 연산 체계가 완전히 존재하도록 보장하는 조건은 무엇인가?
• RQ5 이차 오페라드에 대한 코즐 듀얼리티의 개념은 여섯 연산과 피만 변환과 어떻게 관련되어 있는가?

주요 결과

• 여섯 연산 체계는 $\mathbb{F}_1$-ops 에서 $\mathbb{F}_2$-ops 로의 좋은 사상 $f: \mathbb{F}_1 \to \mathbb{F}_2$ 를 따라 확장되며, $f_!$ 와 $f^!$ 는 정점 군집과 이중성에 의해 구성된다.
• 체계는 호모토피 범주로 내려가며, 이중화 객체 $D(I_2)$ 를 통해 효과적으로 작동하며, 이는 듀얼리티와의 호환성을 보장한다.
• 명시적인 동형사상 $f^{!}D \cong Df^{\ast}$ 와 $f_{\ast}D \cong Df_{!}$ 가 성립함을 증명하며, 이는 코즐 듀얼리티가 당김과 밀림을 서로 뒤섞는다는 것을 입증한다.
• 이차 오페라드의 경우, 피만 변환 $D(\mathcal{P})$ 는 자연스럽게 이차 듀얼 $\mathcal{P}^!$ 으로 가는 사상이 있으며, $\mathcal{P}$ 가 코즐일 경우 이 사상은 약한 동치이다.
• $f_!$ 의 구성은 피만 카테고리의 공리와 정점 군집의 구조에 의해 결정되며, 단지 일반적인 수반 함자의 존재성에 의존하는 것이 아니다.
• 이 프레임워크는 9장에서 보여지듯이, 큐빅 피만 카테고리를 통해 표준적인 예인 dg 오페라드, 모듈라 오페라드, 디오페라드 등에 적용 가능하다.