[논문 리뷰] Motivic invariants of Artin stacks and 'stack functions'

Dominic Joyce|ArXiv.org|2005. 09. 30.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 8

한 줄 요약

이 논문은 가상 Poincaré 다항식과 호지 다항식과 같은 모티브 불변량을 아핀 기하학적 안정자성을 가진 유한 유형의 아르틴 스택으로 확장한다. 이는 $\chi({\mathbb{G}}_m) = 0$로 인해 오일러 지표가 확장되지 못하는 장애를 극복하기 위한 것으로, 가상 랭크와 군 클래스 대수를 사용한 왜곡된 구성법을 개발한다. 스택 함수를 구성 가능 함수의 보편적 일반화로 도입하며, 풀백과 푸시포워드와 같은 함자적 연산을 갖춘다. 또한 가상 랭크와 군 클래스 대수를 활용해 스택에 대한 정밀화된 오일러 지표를 구축한다.

ABSTRACT

An invariant I of quasiprojective K-varieties X with values in a commutative ring R is "motivic" if I(X)= I(Y)+I(X\Y) for Y closed in X, and I(X x Y)=I(X)I(Y). Examples include Euler characteristics chi and virtual Poincare and Hodge polynomials. We first define a unique extension I' of I to finite type Artin K-stacks F, which is motivic and satisfies I'([X/G])=I(X)/I(G) when X is a K-variety, G a "special" K-group acting on X, and [X/G] is the quotient stack. This only works if I(G) is invertible in R for all special K-groups G, which excludes I=chi as chi(K*)=0. But we can extend the construction to get round this. Then we develop the theory of "stack functions" on Artin stacks. These are a universal generalization of constructible functions on Artin stacks, as studied in the author's paper math.AG/0403305. There are several versions of the construction: the basic one SF(F), and variants SF(F,I,R),... "twisted" by motivic invariants. We associate a Q-vector space SF(F) or an R-module SF(F,I,R) to each Artin stack F, with functorial operations of multiplication, pullbacks phi^* and pushforwards phi_* under 1-morphisms phi : F --> G, and so on. They will be important tools in the author's series on "Configurations in abelian categories", math.AG/0312190, math.AG/0503029, math.AG/0410267 and math.AG/0410268.

연구 동기 및 목표

• 유한 유형의 아르틴 스택으로, 특히 아핀 기하학적 안정자를 가진 스택으로, 준비편리 다항식과 같은 모티브 불변량을 확장한다.
• 특수군 $G$에 대해 $\Upsilon(G)$가 타겟 환 $\Lambda$ 내에서 가역일 때, $\Upsilon^\prime([X/G]) = \Upsilon(X)/\Upsilon(G)$를 만족하는 $\Upsilon$의 유일한 확장을 정의한다.
• 스택 함수 $\mathop{\rm SF}\nolimits({\mathfrak{F}})$의 보편적 프레임워크를 정의하여, 구성 가능 함수를 일반화하고, 풀백 및 푸시포워드와 같은 함자적 연산을 갖춘다.
• 모듈라이 스택의 반안정 대상에 대해 모티브 불변량을 통해 아벨 카테고리의 불변량을 계산할 수 있는 도구를 제공한다.
• 재구성된 군의 최대 토르와 유한 아벨 몫을 활용해 아르틴 스택에 대한 정밀화된 오일러 지표를 수립한다.

제안 방법

• 특수군 $G$에 대해 $\Upsilon(G)$가 타겟 환 $\Lambda$ 내에서 가역일 때, $\Upsilon^\prime([X/G]) = \Upsilon(X)/\Upsilon(G)$를 만족하는 모티브 불변량 $\Upsilon$의 아르틴 스택으로의 유일한 확장을 정의한다.
• 예를 들어 오일러 지표의 경우 $\ell = 1$인 경우를 다루기 위해, 비아벨 군을 최대 토르의 부분군 $Q \subseteq T^G$에 대한 $\Lambda$-선형 조합으로 간주하기 위해 '가상 랭크'를 도입한다.
• 1-준위 사상 $\phi$에 대해 곱셈, 풀백 $\phi^*$, 푸시포워드 $\phi_*$를 갖는 $\Lambda$-모듈로서의 스택 함수 $\mathop{\rm SF}\nolimits({\mathfrak{F}})$와 그 왜곡된 변형 $\mathop{\underline{\rm SF}}\nolimits({\mathfrak{F}}, \Upsilon, \Lambda)$를 구성한다.
• 비자명한 피브레이션에서도 $\chi(X) = \chi(F)\chi(Y)$와 같은 곱법적 성질을 반영하기 위해, $\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$의 정의에서 관계 (ii')를 수정한다.
• $H \cong {\mathbb{G}}_m^k \times K$ (여기서 $K$는 유한 아벨군)인 경우에 대해 기저 $[H]$를 갖는 $\Lambda$-대수 $\bar{\Lambda}$를 정의하고, 이를 통해 $\Upsilon^\prime([[X/T^G]])$를 $\Upsilon([Y_i])$에 대한 $\Lambda$-선형 조합으로 표현한다.
• 스킴 또는 대수적 공간의 경우, $\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$가 고전적 구성 가능 함수 $\mathop{\rm CF}\nolimits({\mathfrak{F}})$와 동형임을 증명하여, 고전적 경우에서의 구성의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 특수군의 불변량이 가역적이지 않을 경우, 예를 들어 $\chi({\mathbb{G}}_m) = 0$일 때, 가상 Poincaré 다항식이나 호지 다항식 같은 모티브 불변량을 다양체에서 아르틴 스택으로 어떻게 확장할 수 있는가?
• RQ2 오일러 지표 $\chi({\mathbb{G}}_m) = 0$라는 사실을 고려할 때, 아르틴 스택에 대한 정밀화된 오일러 지표를 올바르게 정의하는 방법은 무엇인가?
• RQ3 스택 함수가 아르틴 스택에서 구성 가능 함수의 보편적 일반화가 될 수 있으며, 잘 정의된 함자적 연산을 갖출 수 있는가?
• RQ4 스택이 스킴 또는 대수적 공간일 경우, 새로운 스택 함수 공간은 고전적 구성 가능 함수와 어떻게 관련이 있는가?
• RQ5 피브레이션에 대한 곱법적 성질과 같은 구조적 성질을 어떻게 활용하여 확장된 불변량의 일致성과 정의를 검증할 수 있는가?

주요 결과

• 특수 ${\mathbb{K}}$-군 $G$에 대해 $\Upsilon(G)$가 가역일 때, $\Upsilon^\prime$는 아르틴 스택으로의 모티브 불변량 확장을 유일하게 정의하며, 몫 스택에 대해 $\Upsilon^\prime([X/G]) = \Upsilon(X)/\Upsilon(G)$를 만족한다.
• $\ell = 1$인 경우(예: 오일러 지표), 가상 랭크를 도입하여 $\Upsilon^\prime([[X/G]])$를 $T^G$의 부분군 $Q \subseteq T^G$에 대한 $\Lambda$-선형 조합으로 표현함으로써 장애를 극복하고 잘 정의된 불변량을 얻는다.
• 스택 함수 공간 $\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$의 구성은 오일러 지표의 특수 곱법적 성질을 반영하여, 모듈로 정의에서의 관계를 강화한다.
• 스킴 또는 대수적 공간의 경우, 스택 함수 공간 $\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$는 고전적 구성 가능 함수 $\mathop{\rm CF}\nolimits({\mathfrak{F}})$와 동형이므로, 기존 이론과의 일致성을 확인한다.
• 왜곡된 스택 함수 모듈 $\mathop{\underline{\rm SF}}\nolimits({\mathfrak{F}}, \Upsilon, \Lambda)$는 곱셈, 풀백, 푸시포워드, 텐서곱과 같은 모든 표준적 연산을 지원하여 기하학적 및 카테고리컬 불변량을 다루는 강력한 도구가 된다.
• 이 프레임워크를 통해 안정 조건이 있는 아벨 카테고리의 불변량을 반안정 대상의 모듈라이 스택에 $\Upsilon^\prime$를 적용하여 정의할 수 있으며, 계산에 유용한 항등식과 변환 법칙을 도출할 수 있다.