[논문 리뷰] Cyclic homology, Serre's local factors and the $\lambda$-operations

Alain Connes, Caterina Consani|arXiv (Cornell University)|2012. 11. 18.

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

한 줄 요약

이 논문은 수체 K 위의 매끄럽고 사영적인 대상 X에 대한 복소 L함수의 세르의 아르키메데스적 국소 인자들을 정규화된 결정식으로서 표현할 수 있는 코homological 프레임워크를 제공한다. 이는 아르키메데스적 완비화의 링 $\mathbb{A}_\infty = \prod_{\nu|\infty} K_\nu$를 계수로 쓰는 순환 호몰로지에 의해 달성된다. 핵심 결과는 아르키메데스적 인자들의 곱이, $\Theta$가 $\lambda$-작용소를 생성하는 바에 따라, 아르키메데스적 순환 호몰로지 $HC^{\rm ar}_*(X_\nu)$의 짝수 및 홀수 성분에 작용하는 $\frac{1}{2\pi}(s - \Theta)$의 정규화된 결정식의 비율과 일치함을 보여준다.

ABSTRACT

We show that for a smooth, projective variety X defined over a number field K, cyclic homology with coefficients in the ring of infinite adeles of K, provides the right theory to obtain, using the lambda-operations, Serre's archimedean local factors of the complex L-function of X as regularized determinants.

연구 동기 및 목표

• 수체 K 위의 매끄럽고 사영적인 대상 X에 대한 복소 L함수의 세르의 아르키메데스적 국소 인자들을 캡처하는 코homological 이론을 구축하는 것.
• 홀수 호지 무게에서 덴저링의 아르키메데스 호몰로지와 실수 덴저링 호몰로지 사이의 불일치를 해결하기 위해 새로운 무한차원 호몰로지 이론을 도입하는 것.
• $\lambda$-작용소가 순환 호몰로지에 의해 생성되는 바, 아르키메데스 인자들이 정규화된 결정식으로 표현됨을 보이는 것.
• 아르키메데스 순환 호몰로지 $HC^{\rm ar}_*(X_\nu)$를 정의하고 연구하여 아르키메데스 호몰로지의 개념적 대체물로 삼는 것.

제안 방법

• 복소수 대상 $X_\nu = X \times_K K_\nu$에 대해, 주기적 순환 호몰로지의 실수 편향 변형으로서 아르키메데스 순환 호몰로지 $HC^{\rm ar}_*(X_\nu)$를 정의한다.
• $\lambda$-작용소 $\Lambda(k)$를 순환 호몰로지에 적용하여, $k \in \mathbb{N}^\times$에 대해 $k^\Theta|_{HC_n(X_\nu)} = \Lambda(k) k^{-n}$로 정의된 $HC_*(X_\nu)$ 위의 $k^\Theta$ 작용을 정의한다.
• 형식 $(p,q)$의 미분형식을 사용하여 $HP_*(X_\mathbb{C})$ 및 $HP_*(C^\infty(X_{\rm sm}, \mathbb{C}))$의 주기적 순환 호몰로지를 구성한다.
• 실수 및 복소 구조를 연결하기 위해 타이트-왜지드 변환 $\tau: PC_{{\rm real},\lambda}^*(X_\mathbb{C}) \to PC^*(X_\mathbb{C})$를 도입한다.
• 웨일 제약과 함자 $X \mapsto {}_*X$를 활용하여, $\pi_X: {\rm Spec}(\mathcal{O}(X_{\rm sm})) \to X$를 통해 매끄러운 다양체를 아핀 스킴과 연결한다.
• 연산자 $\frac{1}{2\pi}(s - \Theta)$에 대한 정규화된 결정식 $\det_\infty$를 $HC^{\rm ar}_*(X_\nu)$의 짝수 및 홀수 부분에 적용한다.

실험 결과

연구 질문

• RQ1 계수를 $\mathbb{A}_\infty$로 하는 순환 호몰로지가 수체 위의 매끄럽고 사영적인 대상 X에 대한 L함수의 세르의 아르키메데스적 국소 인자를 코homological하게 실현할 수 있는가?
• RQ2 $\lambda$-작용소가 주어진 복소 L함수의 감마 인자와 어떻게 관련되는가?
• RQ3 왜 덴저링이 제안한 아르키메데스 호몰로지는 홀수 호지 무게에서 실수 덴저링 호몰로지와 일치하지 않으며, 이를 어떻게 해결할 수 있는가?
• RQ4 $\Theta$ 연산자는 정규화된 결정식을 통해 아르키메데스 인자를 어떻게 생성하는가?
• RQ5 아르키메데스 순환 호몰로지 $HC^{\rm ar}_*(X_\nu)$는 어떻게 무한차원적인 아르키메데스 인자와 모티프의 대수적 구조를 통합하는가?

주요 결과

• 대상 X에 대한 세르의 아르키메데스적 국소 인자들의 곱은, $HC^{\rm ar}_*(X_\nu)$의 짝수 및 홀수 성분에 작용하는 $\frac{1}{2\pi}(s - \Theta)$의 정규화된 결정식의 비율과 일치한다.
• $\Theta$ 연산자는 $k \in \mathbb{N}^\times$에 대해 $HC_n(X_\nu)$ 위에서 $k^\Theta = \Lambda(k) k^{-n}$로 작용하며, $\Lambda(k)$는 순환 호몰로지 위의 $\lambda$-작용소이다.
• 아르키메데스 순환 호몰로지 $HC^{\rm ar}_*(X_\nu)$는 무한차원이며, 아르키메데스 호몰로지의 개념적 대체물로서 기능하며, 홀수 호지 무게에서 실수 덴저링 호몰로지와의 불일치를 해결한다.
• 모든 아르키메데스 자리에 대해 곱의 구조와 호환되며, $\nu|\infty$에 대해 $HC^{\rm ar}_*(X_\nu)$가 $\mathbb{A}_\infty = \prod_{\nu|\infty} K_\nu$ 위에서 정의되기 때문이다.
• $\pi_X: {\rm Spec}(\mathcal{O}(X_{\rm sm})) \to X$는 연속적이며, 매끄러운 구조를 웨일 제약 구조를 통해 복원하는 국소 띠 공간의 사상으로 유도된다.
• 매끄러운 다양체 $V$ 위에서의 직접 이미지 층 $m_*({\mathcal{O}}_{V_{\rm aff}})$는 매끄러운 함수의 층 ${\mathcal{O}}_{V_{\rm sm}}$과 동형이며, 이는 매끄러운 구조가 아핀 스킴 $V_{\rm aff} = {\rm Spec}(C^\infty(V, \mathbb{C}))$로부터 복원됨을 보여준다.