[논문 리뷰] On the $K$-theory of smooth toric DM stacks

Lev Borisov, R. Paul Horja|ArXiv.org|2005. 03. 14.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 31

한 줄 요약

이 논문은 매끄러운 토릭 딜레인-무어포드 스택의 그로텐디크 K-이론 환을 명시적으로 계산하며, 이가 팬 구조에서 유도된 관계에 의해 몰입된 라우렌트 다항식 환의 몫과 동형임을 보여준다. 이는 고전적 코이히라 캐릭터를 일반화한 조합론적 캐릭터를 정의하고, 가중치가 부여된 블로업에 대한 K-이론의 푸시포워드와 푸시백을 계산하며, 호모로지스펙트럼 미러 대칭과 GKZ 시스템에의 응용을 위한 프레임워크를 수립한다.

ABSTRACT

We explicitly calculate the Grothendieck $K$-theory ring of a smooth toric Deligne-Mumford stack and define an analog of the Chern character. In addition, we calculate $K$-theory pushforwards and pullbacks for weighted blowups of reduced smooth toric DM stacks.

연구 동기 및 목표

• 매끄러운 토릭 딜레인-무어포드 스택의 그로텐디크 K-이론 환을 계산하여, 토릭 다양체에서의 결과를 일반화한다.
• 이 스택들에 대해 코히라 캐릭터의 조합론적 유사체를 정의하고 특성화한다.
• 특히 코디멘션 1과 1을 초월하는 경우에 대해, 가중치가 부여된 블로업에 대한 K-이론의 푸시백과 푸시포워드를 계산한다.
• 감소된 경우에서 일반(일부로 감소하지 않은) 경우로 결과를 확장한다.
• 호모로지스펙트럼 미러 대칭과 GKZ 초기함수 시스템 연구에의 응용을 위한 도구를 제공한다.

제안 방법

• [E]에서 제시된 동차화 기법을 사용하여, 일관된 층들을 정수의 직접 합으로서의 역행성 층들의 직합으로 해체한다.
• 격자 N 위의 선형 함수로부터 유도된 관계와, 팬 Σ의 어떤 원뿔에도 포함되지 않는 벡터들의 집합으로부터 유도된 관계의 두 유형에 의해, 라우렌트 다항식 환 ℤ[x₁, x₁⁻¹, ..., xₙ, xₙ⁻¹]의 몫으로서 K-이론 환을 구성한다.
• K-이론과 복소계수를 곱한 것과 조합론적으로 정의된 SR-코homology 환 사이의 벡터 공간 동형사상으로서의 조합론적 캐릭터를 정의한다.
• 푸시포워드를 계산하기 위해 푸시-백 공식과 고정점 층을 통한 유한군 작용 분석을 적용한다.
• 형식적 멱급수에서의 생성함수를 사용하여 기하학적으로 정의된 층들의 푸시포워드를 계산한다.
• 군 작용의 핵과 이상선다발 기술을 사용하여, 코디멘션 1 이상의 가중치가 부여된 블로업에 대해 푸시포워드를 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 매끄러운 토릭 딜레인-무어포드 스택에 대해 그로텐디크 K-이론 환의 구조는 어떻게 되는가?
• RQ2 이러한 스택들에 대해 일반화된 캐릭터를 어떻게 정의할 수 있으며, 고전적 및 에퀴바리언트 캐릭터와의 관계는 어떠한가?
• RQ3 매끄러운 토릭 DM 스택의 가중치가 부여된 블로업에 대해 K-이론의 푸시백과 푸시포워드는 무엇인가?
• RQ4 스택 팬의 맥락에서 블로킹 사상에 대해 K-이론 연산은 어떻게 행동하는가?
• RQ5 복소계수를 곱한 K-이론과 조합론적 SR-코homology 환 사이의 관계는 무엇인가?

주요 결과

• 그로텐디크 K-이론 환 K₀(ℙ_Σ)는 라우렌트 다항식 환 ℤ[x₁, ..., xₙ]의 몰입된 환 B와 동형이며, 이는 모든 f:N→ℤ에 대해 ∏xᵢ^{f(vᵢ)} = 1 과, Σ의 어떤 원뿔에도 포함되지 않는 {vᵢ}ᵢ∈I의 집합에 대해 ∏(1−xᵢ) = 0 인 이상으로 생성된 이상에 의해 생성된다.
• 복소계수를 곱한 K-이론은 국소 아르틴 환이며, 조합론적 캐릭터는 이 K-이론과 SR-코homology 환 사이의 벡터 공간 동형사상이다.
• 코디멘션 d > 1의 가중치가 부여된 블로업에 대해, 푸시포워드 μ_*R^{-l}은 생성함수를 통해 계산되며, (1−Rᵢ^{-1})과 (1−Rᵢ^{-1}t^{hᵢ})의 곱을 포함하는 유리식으로 표현된다.
• 코디멘션 1의 가중치가 부여된 블로업에 대해, 푸시포워드 μ_*((1−R^{-1}t)^{-1})는 공식 (1−t)^{-1} − (t/(1−t)) · (1−R₁^{-1})/(1−R₁^{-1}t^k)로 주어진다. 여기서 k는 가중치이다.
• 1 ≤ m ≤ k에 대해 R′₁^{-m}의 푸시포워드는 R₁^{-1}임을 보여주며, 이는 타우토로지컬 라인 다발의 역행이 원래의 것으로의 배수로 푸시백됨을 보여준다.
• 푸시백 공식 μ^*R₁ = R₁^k 와 푸시포워드 공식을 사용하여 K-이론 연산은 완전히 계산 가능하며, 이러한 사상 아래에서 임의의 K-이론 클래스를 계산할 수 있다.