[논문 리뷰] Infinite-dimensional vector bundles in algebraic geometry (an introduction)

Vladimir Drinfeld|ArXiv.org|2003. 09. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 36인용 수 52

한 줄 요약

이 논문은 타테 공간과 K-이론을 사용하여 대수기하학에서 무한차원 벡터 번들의 엄밀한 프레임워크를 제안하며, 모티빅 적분과 표면 위의 번들 모듈리 공간에서 그 역할을 규명한다. K_{-1}-이론과 차원 토르서를 통해 타테 공간의 가속을 정의하고, 형식적 루프와 구멍이 있는 다양체 위의 벡터 번들을 적용하여 보다 정교한 모티빅 적분과 특정 특이성을 갖는 G-번들에 대한 새로운 모듈리 스택을 도출한다.

ABSTRACT

Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and claims that it is local. The definition takes in account that the K_{-1} of a ring is not necessarily zero. However, we prove that K_{-1} always vanishes after Nisnevich sheafification. As a discrete counterpart of families of Tate spaces, we introduce the notion of almost projective module. We discuss the notions of dimension torsor and determinant gerbe of a family of Tate spaces. The above technique has two different applications. First, we clarify the structure of the ind-scheme of formal loops of a smooth affine manifold Y. This allows to define a "refined" motivic integral of a differential form on Y with no zeros, which is an object of a triangulated category rather than an element of its K_0 group. Second, we show that almost projective modules and families of Tate spaces appear naturally in the study of the cohomology of a family of finite-dimensional vector bundles on a punctured smooth manifold. The canonical central extension that comes from this cohomology allows to interpret the "Uhlenbeck compactification" of the stack of vector bundles on the projective plane as the fine moduli space of a certain type of generalized vector bundles.

연구 동기 및 목표

• 무한차원이고 국소적으로 선형으로 컴acts한 섬유를 갖는 벡터 번들의 일관된 대수기하학 이론을 개발하는 것.
• 삼각형 카테고리와 행렬식 터널을 사용하여 군값 불변량 대신 보다 정교한 방식으로 모티빅 적분을 확장하는 것.
• 예비 번들과 중심 확장을 통해 표면 위의 G-번들에 대한 특수한 특이성을 갖는 모듈리 스택을 구축하는 것.
• K_{-1}(R)과 차원 토르서가 타테 모듈러의 가속과 그 쌍대를 분류하는 데 어떻게 기능하는지 명확히 하는 것.
• 형식적 루프 공간과 타테-스무스 인드-스킴 사이의 연결 고리를 확립하여 산술기하학에서 새로운 불변량을 가능하게 하는 것.

제안 방법

• 무한차원 벡터 번들을 위한 기본 대상으로, 거의 프로젝티브 모듈러의 프로젝티브 극한으로 정의된 타테 모듈러를 사용한다.
• 칼킨 카테고리와 함께 K_{-1}(R)을 적용하여 타테 공간의 가속을 분류하고, 차원 토르서를 정의한다.
• 幾乎 프로젝티브 및 타테 모듈러의 자동형군에 대한 행렬식 터널과 표준 중심 확장을 도입한다.
• 체 k 위의 매끄러운 아핀 다양체에 대한 형식적 루프 공간에 '타테-스무스' 인드-스킴의 구조를 정의한다.
• 닫힌 부분 스킴 F를 제외한 X 위의 벡터 번들을 예비 번들로 정의하고, 중심 확장을 분해할 수 있도록 한다.
• 유한하고 국소적으로 완전교차 부분스킴에 대한 귀납적 2-극한을 사용하여, X 위의 GL(n)-번들에 대한 전체 모듈리 스택을 정의한다.

실험 결과

연구 질문

• RQ1 대수기하학에서 무한차원이고 국소적으로 선형으로 컴acts한 섬유를 갖는 의미 있는 벡터 번들의 개념을 정의할 수 있는가?
• RQ2 K_{-1}(R)과 차원 토르서는 스킴 Spec(R) 위의 타테 공간의 가속을 어떻게 분류할 수 있는가?
• RQ3 군값 불변량 대신 삼각형 카테고리와 행렬식 터널을 사용하여 모티빅 적분을 보다 정교하게 다룰 수 있는가?
• RQ4 특정 특이성을 갖는 표면 위의 G-번들의 모듈리 스택의 구조는 어떠한가?
• RQ5 체 k((t)) 위의 매끄러운 스킴의 형식적 루프 공간은 어떻게 타테-스무스 구조를 갖는가? 그리고 어떤 불변량을 지니는가?

주요 결과

• k((t)) 위의 매끄러운 아핀 다양체의 형식적 루프 스킴은 k 위에서 타테-스무스이다. 이는 핵심 기하학적 응용을 확립한다.
• 정교화된 모티빅 적분의 값은 그로텐디크 군이 아니라 삼각형 카테고리에 속하며, 더 강력한 불변량을 제공한다.
• R 위의 타테 모듈러의 차원 토르서는 비자명하며, 행렬식 이론의 확장을 분류한다.
• P^2_Q 위에서 P^1_Q에서 자명화된 GL(n)-번들의 모듈리 스택은 GL(n)-작용에 대한 욤렌벡 컴acts피케이션과 동형이다.
• 체 k에 대해, 표면 X 위의 예비 번들의 스택은 벡터 번들 L과 0-사이클 Z의 쌍 (L, Z)의 군집과 동치이다.
• 예비 번들 스택 내부의 번들 닫힌 부분스택은 0-사이클 Z가 유효한 조건(Z ≥ 0)을 만족할 때 특징지어진다.