[논문 리뷰] Koszul duality and mixed Hodge modules

Pramod N. Achar, S. Kitchen|arXiv (Cornell University)|2011. 05. 11.

Algebraic structures and combinatorial models참고 문헌 10인용 수 3

한 줄 요약

이 논문은 스무스 복소 다양체에 대한 약한 균일한 분할을 갖는 혼합 Hodge 모듈에 대해 winnowing 기반의 Koszul dual을 수립하며, winnowed 범주가 Koszul임을 증명하고, 편향된 편재성에서 벗어나 편향 없는 degrading 함자를 편향된 부분범주 구성 없이 정의한다. 주요 기여는 Beilinson–Ginzburg–Soergel의 접근 방식에서 발생하는 비대칭성을 제거하기 위해 임의의 선택을 피하는 형식성 결과의 일반화이며, 이는 Schnürer의 정리의 일반화이다.

ABSTRACT

We prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give an equivalence between perverse sheaves on such a variety and modules for a certain graded ring, obtaining a formality result as a corollary. For flag varieties, these results were proved earlier by Beilinson-Ginzburg-Soergel using a rather different construction.

연구 동기 및 목표

• 혼합 Hodge 모듈에 대한 Koszul dual 구성에서 임의의 선택이 필요한 문제를 해결함으로써, $\varepsilon$-adic sheaves와의 비대칭성을 제거하는 것.
• Beilinson–Ginzburg–Soergel의 접근 방식에서 사용된 부분범주 접근 방식의 대안으로, 'winnowing' 구조를 도입하여 부분범주 선택에 의존하지 않는 균일한, 선택에 의존하지 않는 방법을 개발함.
• winnowed 혼합 Hodge 모듈 범주에서 편향된 편재성으로의 degrading 함자를 잘 정의된 방식으로 구성함.
• 완전한 플래그 다양체에서 winnowed 범주는 [BGS]에서 구성된 부분범주와 균일하게 동치임을 보여, 두 접근 방식을 통합함.
• Schnürer의 형식성 정리의 일반화를 위해, 편향된 편재성으로의 두 Koszul grading을 연결하는 균일한 자동동치를 수립함.

제안 방법

• 이전에 [BGS]에서 사용된 부분범주 접근 방식을 대체하기 위해, 이전에 분리되지 않은 확장들을 분리시키기 위해 새로운 사상들을 추가하는 'winnowing' 구조를 도입함.
• winnowed 혼합 Hodge 모듈 범주는 특정 차수에서 코homology가 0이 되는 객체들의 전부 부분범주로 정의되며, 이로써 Koszulity를 확보함.
• 특수한 rat-projective 분해를 사용하여 winnowed 혼합 Hodge 모듈 범주에서 편향된 편재성으로의 degrading 함자를 구성함.
• 간단한 객체들의 직합의 내부 대칭 대칭 대수에 관련된 군 $\mathbb{E}$를 사용하여 Koszul dual 등가를 수립함.
• degrading 함자가 Koszul grading과 호환되며, winnowed 범주와 $\mathbb{E}$ 위의 그룹화된 모듈의 범주 사이의 등가를 유도함을 증명함.
• 편향된 편재성으로의 두 Koszul grading을 연결하는 균일한 자동동치 $\tilde{\mu}$를 편향된 편재성의 범주에 수립함.

실험 결과

연구 질문

• RQ1 혼합 Hodge 모듈에 대한 Koszul dual은 [BGS]의 부분범주 접근 방식에서처럼 임의의 선택 없이 수립될 수 있는가?
• RQ2 혼합 Hodge 모듈의 범주를 'winnowing'으로 정리하여 Koszul가 되도록 만들 수 있는 균일한 방법이 존재하는가, 구성에 의존하지 않는가?
• RQ3 winnowed 혼합 Hodge 모듈 범주에서 편향된 편재성으로의 degrading 함자가 존재하며, 카테고리적으로 잘 행동하는가?
• RQ4 완전한 플래그 다양체에서 winnowed 혼합 Hodge 모듈 범주는 [BGS]에서 구성된 부분범주와 어떻게 관련이 있는가?
• RQ5 편향된 편재성의 범주에서 rat 및 $\zeta$ 함수에 의해 유도된 두 Koszul grading은 균일한 자동동치로 연결될 수 있는가?

주요 결과

• 정리 5.7에 의해, 약한 균일한 분할을 갖는 다양체 위의 혼합 Hodge 모듈의 winnowed 범주는 Koszul임을 증명함.
• 정리 6.6에 의해, winnowed 혼합 Hodge 모듈 범주에서 편향된 편재성으로의 균일한 degrading 함자가 존재하며, 이는 구성됨.
• 완전한 플래그 다양체에서 winnowed 범주는 [BGS]에서 구성된 부분범주와 균일하게 동치임을 보여, 원래 접근 방식의 선택 의존성을 제거함.
• degrading 함자가 형식성 결과를 유도하며, 이는 Schnürer의 정리의 일반화이자, 편향된 편재성의 두 Koszul grading을 연결함.
• 편향된 편재성의 범주에 대해, 두 grading을 연결하는 균일한 자동동치 $\tilde{\mu}$가 존재하며, 이는 $\tilde{\mu} \circ \mathrm{rat} \cong \zeta \circ \beta$ 를 만족함.
• 간단한 객체들의 직합의 내부 대칭 대수에 관련된 군 $\mathbb{E}$는 $E$와 동형이며, $\mathbb{E}$-모듈의 그룹화된 범주와 $\underline{E}$-모듈의 반단순 범주 사이에 등가가 있음.