[논문 리뷰] Note on orbifold Chow ring of semi-projective toric Deligne-Mumford stacks

Yunfeng Jiang, Hsian‐Hua Tseng|ArXiv.org|2006. 06. 13.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 프로젝티브 토릭 델리게이-머포드 스택에 대한 오비폴드 초우 링 공식을 반프로젝티브 경우로 일반화한다. 반프로젝티브 토릭 DM 스택의 오비폴드 초우 링은 라티스의 부분군 위의 변형된 군 링이며, 스택 편성에서 유도된 관계들에 모odulo된 것으로 나타난다. 또한 레이어런스 토릭 DM 스택의 오비폴드 초우 링은 그에 대응하는 하이퍼토릭 DM 스택의 오비폴드 초우 링과 동형임을 증명하며, [HS]의 결과를 오비폴드 설정으로 확장한다.

ABSTRACT

We prove a formula for the orbifold Chow ring of semi-projective toric DM stacks, generalizing the orbifold Chow ring formula of projective toric DM stacks by Borisov-Chen-Smith. We also consider a special kind of semi-projective toric DM stacks, the Lawrence toric DM stacks. We prove that the orbifold Chow ring of a Lawrence toric DM stack is isomorphic to the orbifold Chow ring of its associated hypertoric DM stack studied in \cite{JT}.

연구 동기 및 목표

• 보리소프-첸-스미스의 오비폴드 초우 링 공식을 프로젝티브에서 반프로젝티브 토릭 델리게이-머포드 스택으로 확장하기.
• 반프로젝티브 토릭 DM 스택의 꼬임된 섹터의 구조를 연구하고 오비폴드 코homology에서의 역할을 분석하기.
• 레이어런스 토릭 DM 스택의 오비폴드 초우 링과 그에 대응하는 하이퍼토릭 DM 스택의 오비폴드 초우 링 사이의 링 동형성을 확립하기.
• 반프로젝티브 토릭 다양체의 초우 링에 대한 스탠리-라이즈너 링 기술을 오비폴드 설정으로 일반화하기.

제안 방법

• 라티스의 부분군 $ N_{\text{\Sigma}} = |\Sigma| \oplus N_{\text{tor}} $ 위에서 변형된 링 구축을 사용하며, 여기서 $ |\Sigma| $ 는 팬 $ \Sigma $ 의 격자점 집합이고 $ N_{\text{tor}} $ 는 $ N $ 의 토파스 부분군이다.
• 팬의 콘에 대한 지지 조건을 통해 오비폴드 컵 곱을 정의한다: $ y^{c_1} \cdot y^{c_2} = y^{c_1 + c_2} $ 이며, $ \overline{c}_1, \overline{c}_2 $ 가 공통된 콘에 포함될 경우이고, 그렇지 않으면 0이다.
• 반프로젝티브 토릭 DM 스택의 각 꼬임된 섹터가 스스로 반프로젝티브 토릭 DM 스택임을 증명하여, 귀납적 구조 분석이 가능하게 한다.
• 확장된 스택 편성 형식을 사용하여 오비폴드 초우 링을 $ \mathbb{Q}[N_{\Sigma}] $ 의 몫으로 묘사하며, $ \sum_{i=1}^n e(b_i) y^{b_i} $ 를 모든 $ e \in N^* $ 에 대해 생성하는 이상으로 정의한다.
• 레이어런스 릿지 구축을 적용하여 레이어런스 토릭 DM 스택의 꼬임된 섹터와 하이퍼토릭 DM 스택의 꼬임된 섹터를 연결한다.
• 상자 원소와 그 이중성 간의 차수 유지 사상과 오비폴드 컵 곱의 호환성에 의해 링 동형성을 확립한다.

실험 결과

연구 질문

• RQ1 프로젝티브 토릭 DM 스택에 대한 오비폴드 초우 링 공식을 반프로젝티브 경우로 어떻게 일반화할 수 있는가?
• RQ2 반프로젝티브 토릭 DM 스택의 꼬임된 섹터의 구조는 어떠한가? 그리고 반프로젝티브성을 그대로 유지하는가?
• RQ3 레이어런스 토릭 DM 스택의 오비폴드 초우 링은 그에 대응하는 하이퍼토릭 DM 스택의 오비폴드 초우 링과 동형인가?
• RQ4 레이어런스 구축에서 일반적인 원소 $ \theta $ 의 선택에 따라 오비폴드 초우 링의 표현 방식이 달라지는가?

주요 결과

• 반프로젝티브 토릭 DM 스택 $ \mathcal{X}(\mathbf{\Sigma}) $ 의 오비폴드 초우 링은 $ \mathbb{Q}[N_{\Sigma}] / \left\langle \sum_{i=1}^n e(b_i) y^{b_i} \mid e \in N^* \right\rangle $ 와 동형이며, 여기서 $ N_{\Sigma} = |\Sigma| \oplus N_{\text{tor}} $ 이다.
• 반프로젝티브 토릭 DM 스택의 각 꼬임된 섹터는 스스로 반프로젝티브 토릭 DM 스택이며, 링 동형성에 필요한 구조적 성질을 유지한다.
• 레이어런스 토릭 DM 스택의 오비폴드 초우 링은 그에 대응하는 하이퍼토릭 DM 스택의 오비폴드 초우 링과 동형이며, 하우젤–스터프멜스의 결과를 오비폴드 설정으로 확장한다.
• 상자 원소와 그 이중성의 옮김을 통해 유도되는 사상 $ \phi $ 에서 링 동형성이 유지되며, 일관된 오비폴드 컵 곱의 구조를 유지한다.
• 오비폴드 초우 링의 표현은 일반적인 $ \theta $ 의 선택에 의존하지 않으며, 스택 편성 $ \beta: \mathbb{Z}^m \to N $ 의 매트로이드 복합체에만 의존한다. 이는 팬 $ \Sigma_\theta $ 가 $ \theta $ 에 따라 변하더라도 성립한다.
• 레이어런스 경우의 오비폴드 컵 곱은 장애물 번들 자료와 변형된 링 내 계수 일치를 통해 하이퍼토릭 경우의 곱과 일치한다.