[논문 리뷰] Sheaves on Triangulated Spaces and Koszul Duality

Maxim Vybornov|ArXiv.org|1999. 10. 27.

Algebraic structures and combinatorial models참고 문헌 21인용 수 11

한 줄 요약

이 논문은 유한 단순 복합체 위의 두 범주인 삼등분에 대해 구조가 정의된 펄서브 sheaf와 펄서브 단순체를 따라 일정한 sheaf(δ-sheaf) 사이의 코즐 듀얼리티를 수립한다. 이는 δ-펄서브 위상을 도입하고, 이 위상 위의 sheaf와 δ-sheaf 사이의 동치를 증명하며, 단순 복합체의 sheaf와 co-sheaf에 대해 버드러 듀얼리티와 호환되는 코즐 듀얼리티 함수가 작용함을 보인다.

ABSTRACT

Let $X$ be a finite connected simplicial complex, and let $δ$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with respect to the triangulation, and (2) the category of sheaves constant along the perverse simplices ($δ$-sheaves). We interpret the categories (1) and (2) as categories of modules over certain quadratic (and even Koszul) algebras $A(X,δ)$ and $B(X,δ)$ respectively, and we prove that $A(X,δ)$ and $B(X,δ)$ are Koszul dual to each other. We define the $δ$-perverse topology on $X$ and prove that the category of sheaves on perverse topology is equivalent to the category of $δ$ sheaves. Finally, we study the relationship between the Koszul duality functor and the Verdier duality functor for simplicial sheaves and cosheaves.

연구 동기 및 목표

• 유한 단순 복합체 위의 펄서브 sheaf와 δ-sheaf 사이의 코즐 듀얼리티 프레임워크를 수립하기 위해.
• 삼등분된 공간 위에 새로운 위상—δ-펄서브 위상—을 정의하고, 이 위상 위의 sheaf 범주가 δ-sheaf 범주와 동치임을 보여주기 위해.
• 단순 복합체의 sheaf와 co-sheaf의 맥락에서 코즐 듀얼리티 함수와 버드러 듀얼리티 함수의 상호작용을 조사하기 위해.
• 각각의 sheaf 범주를 2차 대수 A(X,δ)와 B(X,δ) 위의 모듈로 해석하고, 이들의 코즐 듀얼리티를 증명하기 위해.

제안 방법

• 삼등분에 대해 펄서브 함수 δ를 사용하여 코homologically 구조가 정의된 펄서브 sheaf의 범주를 정의한다.
• δ에 의해 결정되는 펄서브 단순체를 따라 일정한 sheaf로서 δ-sheaf의 범주를 정의한다.
• 각각의 sheaf 범주와 동치인 모듈러 범주를 가지는 2차 대수 A(X,δ)와 B(X,δ)를 구성한다.
• 그들의 코즐 복합체의 듀얼리티를 통해 A(X,δ)와 B(X,δ)가 코즐 듀얼임을 증명한다.
• δ-구조적 집합으로 결정되는 커버를 정의함으로써, X 위에 Grothendieck 위상을 정의함으로써 δ-펄서브 위상을 도입한다.
• sheafification과 제한 과정을 통해 δ-펄서브 위상 위의 sheaf 범주와 δ-sheaf 범주 사이의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 삼등분된 공간 위의 펄서브 sheaf는 어떤 2차 대수의 모듈로 해석될 수 있는가?
• RQ2 δ-sheaf의 정확한 대수적 구조는 무엇이며, 펄서브 sheaf와의 관계는 어떠한가?
• RQ3 펄서브 sheaf를 매개하는 대수와 δ-sheaf를 매개하는 대수 사이에 코즐 듀얼리티 관계가 존재하는가?
• RQ4 그리고 이 위상 위의 sheaf가 δ-sheaf를 복원하는 새로운 Grothendieck 위상—즉 δ-펄서브 위상—을 정의할 수 있는가?
• RQ5 단순 복합체의 sheaf와 co-sheaf 맥락에서 코즐 듀얼리티 함수와 버드러 듀얼리티 함수의 상호작용은 어떻게 되는가?

주요 결과

• 삼등분에 대해 구조가 정의된 펄서브 sheaf를 매개하는 대수 A(X,δ)는 코즐 대수이다.
• δ-sheaf를 매개하는 대수 B(X,δ) 역시 코즐 대수이며, A(X,δ)와 B(X,δ)는 상호 코즐 듀얼이다.
• δ-펄서브 위상 위의 sheaf 범주는 X 위의 δ-sheaf 범주와 동치이다.
• 단순 복합체의 sheaf와 co-sheaf에 대해 적용될 때, A(X,δ)와 B(X,δ) 사이의 코즐 듀얼리티 함수는 버드러 듀얼리티와 호환된다.
• 이 구성은 코즐 듀얼리티를 통한 펄서브 sheaf의 새로운 대수적 실현을 제공하며, 고전적 sheaf 이론의 듀얼리티를 조합론적 맥락으로 일반화한다.
• 결과는 임의의 유한 연결 단순 복합체와 임의의 펄서브 함수 δ에 대해 유효하며, 대수적 위상수학과 대수기하학의 고전적 듀얼리티 현상을 일반화한다.