[논문 리뷰] Staggered t-structures on toric varieties

David Treumann|ArXiv.org|2008. 06. 04.

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

한 줄 요약

이 논문은 T가 토릭 다양체 Y의 토르스일 때, T--equivariant 코herent sheaf의 유계 유도 범주에 대한 스태거드 t-구조의 조합적 분류를 제공한다. 논문은 이론적 구조(s-structures, 쌍대 코특성 라티스의 원소를 팬의 단순형에 할당하는 것)와 편위 함수(perversity functions)를 사용하여 명시적인 매개변수화를 도입하고, 이러한 자료가 유계이며 비퇴화된 t-구조를 정의함을 증명한다. 주요 기여는 T-오빗에서 유도 제약 및 복원 함자에 대한 코호몰로지 층의 가중치 조건을 통해 이러한 t-구조를 완전히 특성화하는 것이다.

ABSTRACT

Achar has recently introduced a family of t-structures on the derived category of equivariant coherent sheaves on a $G$-scheme, generalizing the perverse coherent t-structures of Bezrukavnikov and Deligne. They are called \emph{staggered} t-structures, and their main point of interest so far is that they are more often self-dual. In this paper we investigate these t-structures on the $T$-equivariant derived category of a toric variety.

연구 동기 및 목표

• 토릭 다양체의 T-등가 유도 범주에 대한 스태거드 t-구조의 구체적이고 조합적인 기술을 제공하는 것.
• Achar가 도입한 추상적인 's-structures'의 정의를, 토릭 다양체의 팬에 대한 명시적 자료로 나타내어 그 등가성을 밝혀내는 것.
• 주어진 쌍대 복합체에 대해 이러한 스태거드 t-구조가 자가쌍대(self-dual)가 되는 조건을 규명하는 것.
• 팬 위의 조각별 선형 함수와 차원 및 가중치의 짝수 조건을 사용하여 t-구조가 자가쌍대가 되는 조건을 설정하는 것.

제안 방법

• 논문은 팬 $ \Sigma $의 각 단순형 $ C $에 대해 $ A_C \in -C $ 를 만족하는 원소의 집합으로 s-구조를 정의하며, 면에 대한 퇀소 조건을 만족시킨다.
• 논문은 팬의 단순형에 정의된 편위 함수 $ p $ 를 도입하며, 유도 제약 및 복원 함자에 대한 코호몰로지의 지지에 관련된 특정 부등식을 만족시킨다.
• t-구조는 쌍대 $ \langle \xi, A_C \rangle $ 와 코호몰로지 층의 가중치 $ \xi $ 를 사용하여 부분범주 $ {}^{\mathbf{A},p}\!D^{\leq 0} $ 와 $ {}^{\mathbf{A},p}\!D^{\geq 0} $ 를 통해 정의된다.
• T-오빗 $ O_C $ 에서의 유도 함자 $ \mathbf{L}i_C^* $ 와 $ \mathbf{R}i_C^! $ 를 사용하여, 가중치 지지에 기반한 t-구조 조건을 정의한다.
• 쌍대 함자 $ \mathbb{D} \mathcal{F} = \mathbf{R}\underline{\mathrm{Hom}}(-, K_Y \otimes L(\underline{\chi})[n]) $ 를 사용하여 t-구조의 자가쌍대성을 분석하며, $ \mathbf{L}i_C^* $ 와 $ \mathbf{R}i_C^! $ 에서의 코호몰로지 지지 간의 관계를 규명한다.
• 논문은 자가쌍대성 조건이 유일하게 $ \dim(C) + \underline{\chi}(-A_C) $ 가 모든 단순형 $ C $ 에 대해 짝수여야 하고, $ \underline{\chi}(-A_{C'}) - \underline{\chi}(-A_C) + 1 \geq 0 $ 이 모든 코차원 1의 면 쌍 $ C \subset C' $ 에 대해 성립해야 함을 증명한다.

실험 결과

연구 질문

• RQ1 스태거드 t-구조는 팬의 조합적 자료로 어떻게 명시적으로 매개변수화될 수 있는가?
• RQ2 s-구조와 편위 함수에 대한 어떤 조건이 결과 t-구조가 유계이자 비퇴화된지를 보장하는가?
• RQ3 어떤 조건에서 스태거드 t-구조가 주어진 쌍대 복합체에 대해 자가쌍대가 되는가?
• RQ4 추상적인 s-구조의 개념은 토릭 다양체에서 팬의 구조를 사용하여 실제로 실현될 수 있는가?
• RQ5 팬 위의 조각별 선형 함수는 스태거드 t-구조의 자가쌍대성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 주요 결과는 임의의 s-구조 $ \mathbf{A} $ 와 편위 함수 $ p $ 에 대해, 쌍 $ ({}^{\mathbf{A},p}\!D^{\leq 0}, {}^{\mathbf{A},p}\!D^{\geq 0}) $ 가 $ D^b_T(Y) $ 에서 유계이며 비퇴화된 t-구조를 이룬다는 것이다.
• t-구조는 가중치 조건을 통해 정의된다: 모든 $ \xi $ 에 대해 $ \langle \xi, A_C \rangle \leq p(C) - k $ 이며, 이는 $ h^k(\mathbf{L}i_C^*\mathcal{F}) $ 의 지지에 속하는 $ \xi $ 에 대해 성립하고, $ \mathbf{R}i_C^!\mathcal{F} $ 에 대해서도 유사하게 정의된다.
• 논문은 토릭 다양체에서의 s-구조가 면-퇴화 조건을 만족하는 $ A_C \in -C $ 를 할당하는 조합적 자료와 등가임을 증명한다.
• 자기쌍대성은 팬 위의 조각별 선형 함수 $ \underline{\chi} $ 가 존재하여 모든 단순형 $ C $ 에 대해 $ \dim(C) + \underline{\chi}(-A_C) $ 가 짝수여야 함과 동치이다.
• 또한 모든 코차원 1의 면 쌍 $ C \subset C' $ 에 대해 $ \underline{\chi}(-A_{C'}) - \underline{\chi}(-A_C) + 1 \geq 0 $ 이 성립해야 한다.
• 위의 짝수 조건과 부등식 조건을 만족할 경우, $ p(C) = \frac{1}{2}(\dim(C) + \underline{\chi}(-A_C)) $ 를 만족하는 자가쌍대 t-구조를 명시적으로 구성할 수 있다.