[논문 리뷰] The motive of the Hilbert scheme of infinite affine space

Marc Hoyois, Joachim Jelisiejew외 2명|arXiv (Cornell University)|2020. 02. 26.

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

한 줄 요약

이 논문은 무한 차원 아핀 공간의 하이버트 스킴을 $Á^1$-호모토피적 관점에서 연구하며, $ fib_d(Á^∞)$의 유리 베도프스키 모티브가 순수 타이트임을 증명하고, $ fib_\infty(Á^\infty)$가 무한 그라스만يان과 $Á^1$-호모토피 동치임을 보인다. 이 동치성은 유한 국소 자유 스킴의 모듈리 스택이 대수적 K-이론을 위한 효과적 모티브 스펙트럼 $ kgl$을 모델링함을 시사한다.

ABSTRACT

We study the Hilbert schemes $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ and $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint. We show in particular that the rational Voevodsky motive of $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is pure Tate and that $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-homotopy equivalent to the infinite Grassmannian $\mathrm{Gr}_\infty(\mathbb{A}^\infty)$. We deduce that the forgetful functor $\mathrm{FFlat} o\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-homotopy equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory.

연구 동기 및 목표

• 무한 차원 아핀 공간 위의 하이버트 스킴의 $Á^1$-호모토피적 성질을 분석하는 것.
• $ fib_d(Á^\infty)$의 유리 베도프스키 모티브를 결정하고, 그 구조적 함의를 밝히는 것.
• $ fib_\infty(Á^\infty)$와 무한 그라스만ian $ fib_\infty(\u00c1^\infty)$ 사이의 $Á^1$-호모토피 동치성을 확립하는 것.
• 유한 국소 자유 스킴에서 유한 국소 자유 층으로의 忘却 함자(forgetful functor)가 그룹 완성 이후에 $Á^1$-호모토피 동치가 됨을 유도하는 것.
• 프레임드 전이를 지닌 모듈리 스택 $ fib_{\mathrm{Flat}}$가 대수적 K-이론을 위한 효과적 모티브 스펙트럼 $ kgl$을 모델링함을 보이는 것.

제안 방법

• 하이버트 스킴의 호모토피 유형을 분석하기 위해 $Á^1$-호모토피 기법을 활용한다.
• 베도프스키의 모티브 이론을 적용하여 $ fib_d(Á^\infty)$의 유리 모티브를 계산하고, 이것이 순수 타이트임을 보인다.
• 기하학적 및 호모토피적 추론을 통해 $ fib_\infty(Á^\infty)$와 무한 그라스만간의 $Á^1$-호모토피 동치성을 확립한다.
• 유한 국소 자유 스킴의 모듈리 스택의 그룹 완성을 통해 그와 그라스만간의 관계를 $Á^1$-호모토피 범주에서 연결한다.
• 모듈리 스택 $ fib_{\mathrm{Flat}}$에 프레임드 전이를 적용하여, 이것이 $ kgl$의 보편 성질을 만족함을 보인다.
• 무한 하이버트 스킴 $ fib_\infty(Á^\infty)$와 무한 그라스만간의 동치성을 활용하여 모티브 스펙트럼 모델을 유도한다.

실험 결과

연구 질문

• RQ1 $ fib_d(Á^\infty)$의 유리 베도프스키 모티브는 무엇인가요?
• RQ2 무한 하이버트 스킴 $ fib_\infty(Á^\infty)$는 무한 그라스만ian과 $Á^1$-호모토피 동치인가요?
• RQ3 유한 국소 자유 스킴에서 층으로의 忘却 함자가 그룹 완성 이후에 $Á^1$-호모토피 동치가 되는가요?
• RQ4 프레임드 전이를 지닌 모듈리 스택 $ fib_{\mathrm{Flat}}$는 효과적 모티브 스펙트럼 $ kgl$을 모델링할 수 있는가요?
• RQ5 하이버트 스킴의 $Á^1$-호모토피적 구조는 대수적 K-이론과 어떻게 관련이 있나요?

주요 결과

• $ fib_d(Á^\infty)$의 유리 베도프스키 모티브는 순수 타이트이며, 이는 매우 구조화되고 단순한 모티브 유형임을 시사한다.
• 무한 하이버트 스킴 $ fib_\infty(Á^\infty)$는 무한 그라스만ian $ fib_\infty(\u00c1^\infty)$와 $Á^1$-호모토피 동치이며, 이는 기하학적 및 호모토피적 구조를 연결한다.
• 유한 국소 자유 스킴의 모듈리 스택에서 층으로의 忘却 함자는 그룹 완성 이후에 $Á^1$-호모토피 동치가 된다.
• 프레임드 전이를 지닌 모듈리 스택 $ fib_{\mathrm{Flat}}$는 대수적 K-이론을 나타내는 효과적 모티브 스펙트럼 $ kgl$의 모델이다.
• $ fib_\infty(Á^\infty)$와 무한 그라스만간의 $Á^1$-호모토피 동치성은 $ kgl$의 새로운 기하적 실현을 제공한다.