[논문 리뷰] Overconvergent global analytic geometry

Frédéric Paugam|arXiv (Cornell University)|2014. 10. 29.

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

한 줄 요약

이 논문은 일반 Banach 링 위에서의 overconvergent 전역 해석 기하학을 도입하여, Berkovich와 Poineau의 해석 공간, Große-Klünne의 $p$-진 overconvergent 공간, 그리고 Bambozzi의 아르키메데스 성질에 해당하는 해석 공간을 통합한다. overconvergent 모티브, 안정적 호모토피 이론, 그리고 해석적 $K$-이론과 순환 동형론을 연결하는 유도된 체르니코프 특성자를 구축함으로써 분모 없이 특수 $L$-값의 정수 실현이 가능해진다.

ABSTRACT

We define a notion of global analytic space with overconvergent structure sheaf. This gives an analog on a general base Banach ring of Grosse-Kloenne's overconvergent p-adic spaces and of Bambozzi's generalized affinoid varieties over R. This also gives an affinoid version of Berkovich's and Poineau's global analytic spaces. This affinoid approach allows the introduction of a notion of strict global analytic space, that has some relations with the ideas of Arakelov geometry, since the base extension along the identity morphism on Z (from the archimedean norm to the trivial norm) sends a strict global analytic space to a usual scheme over Z, that we interpret here as a strict analytic space over Z equipped with its trivial norm. One may also interpret some particular analytification functors as mere base extensions. We use our categories to define overconvergent motives and an overconvergent stable homotopy theory of global analytic spaces. These have natural Betti, de Rham and pro-étale realizations. Motivated by problems in global Hodge theory and integrality questions in the theory of special values of arithmetic L-functions, we also define derived overconvergent global analytic spaces and their (derived) de Rham cohomology. Finally, we use Toen and Vezzosi's derived geometric methods to define a natural (integral) Chern character on analytic Waldhausen's K-theory with values in analytic cyclic homology. The compatibility of our constructions with Banach base extensions gives new perspectives both on global analytic spaces and on the various realizations of the corresponding motives.

연구 동기 및 목표

• 일반 Banach 링 위에서의 전역 해석 기하학을 위한 통합 프레임워크를 개발하는 것, $p$-진 및 아르키메데스 경우를 포함한다.
• overconvergent 다항식을 사용하여 Berkovich와 Poineau의 해석 공간을 확장함으로써, $p$-진 기하학과 아르키메데스 기하학 양쪽과의 호환성을 확보하는 것.
• Betti, de Rham, 그리고 pro-étale 실현을 갖는 해석 공간에 대해 overconvergent 모티브와 안정적 호모토피 이론을 정의하는 것.
• 해석적 Waldhausen $K$-이론에서 순환 동형론으로 향하는 유도된 체르니코프 특성자를 구성함으로써 특수 $L$-값에 대한 정수 조절자(регулятор)를 가능하게 하는 것.
• 유도된 전역 해석 기하학적 설정에서 정수 체르니코프 특성자를 사용하여 산술적 $L$-함수의 특수값 공식에서 분모를 피하는 것.

제안 방법

• overconvergent 다항식의 링으로서의 칼라지 아핀 대수 $R\{\rho^{-1}T\}^\dagger$ 를 도입하며, 이는 $\nu > \rho$ 인 수렴 다항식 링 $R\{\nu^{-1}T\}$ 의 필터링된 합집합으로 정의된다.
• dagger 해석 공간을 칼라지 아핀 대수로 국소적으로 링된 공간으로 정의하며, 유리 영역과 Tate의 약한 약속 정리에 의해 유도된 위상 구조를 갖는다.
• Betti, de Rham, pro-étale 실현을 갖는 dagger 해석 공간 위의 층의 안정적 호모토피 이론을 통해 전역 해석 모티브를 구성한다.
• 유도된 dagger 대수와 dagger 코탄젠트 복합체를 정의하여 전역 해석 공간에 대한 유도된 de Rham 코homology를 정의한다.
• Toen-Vezzosi의 유도 기하학을 적용하여, 음의 순환 동형론 스펙트럼에 값을 갖는 자연스러운 정수 체르니코프 특성자 $\mathbf{K}(X) \to \mathbf{HC}^{\text{neg}}(X)$ 를 정의한다.
• 예를 들어 $\mathbb{Z}$ 에서 아르키메데스 노름에서 자명한 노름으로의 기본 확장(예: 항등 사상에 沿해)을 사용하여 엄격한 전역 해석 공간을 일반 스킴으로 해석함으로써 아라켈로프 기하학과 연결한다.

실험 결과

연구 질문

• RQ1 일반 Banach 링 위에서 $p$-진 overconvergent 기하학, 아르키메데스 기하학, 그리고 Berkovich의 해석 기하학을 하나의 프레임워크 안에서 어떻게 통합할 수 있는가?
• RQ2 비아르키메데스 및 아르키메데스 체 위에서의 overconvergent 다항식은 전역 해석 기하학에서 아핀 대수의 잘 정의된 유사체로 작용할 수 있는가?
• RQ3 Betti, de Rham, 그리고 pro-étale 실현을 갖는 해석 공간에 대해 안정적 호모토피 이론과 모티브를 어떻게 정의할 수 있는가?
• RQ4 특수 $L$-값 공식에서 분모를 피하는 특성자를 가지는, 해석적 Waldhausen $K$-이론에서 순환 동형론으로 향하는 유도된 체르니코프 특성자를 구성할 수 있는가?
• RQ5 유도된 전역 해석 기하학 형식은 아라켈로프 모티브 코hom로지의 정수적 형태를 어느 정도 제공할 수 있는가?

주요 결과

• 논문은 임의의 Banach 링 위에서 overconvergent 전역 해석 공간의 범주를 구성하여, Berkovich와 Poineau의 해석 공간을 일반화한다.
• overconvergent 모티브와 해석 공간의 안정적 호모토피 이론을 정의하였으며, 자연스러운 Betti, de Rham, pro-étale 실현을 갖는다.
• 유도된 dagger 코탄젠트 복합체를 통해 전역 해석 공간에 대한 유도된 de Rham 코homology를 정의할 수 있다.
• 기본 확장과 호환되며 Toen-Vezzosi의 형식을 확장하는 자연스러운 정수 체르니코프 특성자 $\mathbf{K}(X) \to \mathbf{HC}^{\text{neg}}(X)$ 가 구성되었다.
• 기본 확장(예를 들어 아르키메데스 노름에서 자명한 노름으로)을 통해 엄격한 전역 해석 공간을 일반 스킴으로 해석할 수 있으며, 아라켈로프 기하학과 연결된다.
• 체르니코프 특성자 구성에서 분모가 제거되어 산술적 $L$-함수의 특수값 공식에서 정수 조절자의 가능성에 대한 길을 열었다.