[논문 리뷰] Characteristic classes of flat bundles and determinant of the Gauss-Manin connection

Hélène Esnault|ArXiv.org|2002. 06. 13.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 대수적 미분 특성자를 사용하여 평탄한 복합체의 특성류를 정립하는 프레임워크를 수립하며, 이를 가우스-마인 연결의 행렬식과 연결한다. 국소적 불변량과 추적 잔여치를 통해 구성된 $\varepsilon$-선 위의 $\varepsilon$-접속이 가우스-마인 연결과 호환됨을 증명함으로써, 코homology의 행렬식에 대한 전역 공식을 국소적 $\varepsilon$-요소로 기술한다.

ABSTRACT

The purpose of this note is to give a survey on recent progress on characteristic classes of flat bundles, and how they behave in a family.

연구 동기 및 목표

• 대수적 미분 특성자를 사용하여 평탄한 복합체의 특성류를 코homological 프레임워크로 개발한다.
• 곱공식을 통해 가우스-마인 연결의 행렬식을 국소적 $\varepsilon$-요소와 연결한다.
• 가우스-마인 연결과 호환되는 $\varepsilon$-선 위의 접속을 구성한다.
• 청-치어거-시몬스의 미분 특성자 구축을 대수적 및 산술적 환경으로 일반화한다.
• 가족의 코homology의 행렬식에 대해 대수적, 해석적, $\varepsilon$-요소 접근법을 통합한다.

제안 방법

• 평탄한 복합체에 대한 특성류를 정의하기 위해 $AD(X) = \oplus_n \mathbb{H}^n(X, \mathcal{K}_n^M \xrightarrow{d\log} \Omega_{X/k}^n \to \cdots \to \Omega_{X/k}^{2n-1})$ 를 사용한다.
• 대수적 K-이론의 Gersten 분해를 적용하여 $AD^n(X)$ 를 차우 군과 드 라무 코homology와 연결한다.
• 국소적 단일화군을 이용하여 $\lambda_d$ 와 $\lambda_c$ 를 통해 이산 및 컴팩트 행렬식의 곱으로 $\varepsilon$-선을 구성한다.
• $\omega_{K((t))/K}^\times$ 위에서 $\varepsilon$-선에 대한 상대 접속을 도입하며, 함자성에 의해 가우스-마인 연결과 호환된다.
• 추적과 잔여치의 표현식을 통해 $\varepsilon$-접속의 공식을 유도한다: $\varepsilon(\nabla, dt/t^m) = \mathrm{Tr} \mathrm{Res}_0 da a^{-1} A + \frac{m}{2} d\log \det(a(0))$.
• 그로텐디크의 접속 정의와 적분 가능한 상향 확장을 사용하여 상대 접속을 $k$ 위의 적분 가능 접속으로 올린다.

실험 결과

연구 질문

• RQ1 평탄한 복합체의 특성류는 어떻게 대수적 미분 특성자와 확장된 가족에 대해 정의될 수 있는가?
• RQ2 가우스-마인 연결의 맥락에서 코homology의 행렬식과 국소적 $\varepsilon$-요소 사이의 정확한 관계는 무엇인가?
• RQ3 $\varepsilon$-선 위의 $\varepsilon$-접속은 어떻게 가우스-마인 연결과 호환되도록 구성될 수 있는가?
• RQ4 청-치어거-시몬스의 미분 특성자는 어떻게 대수적 및 산술적 환경으로 일반화될 수 있는가?
• RQ5 고차수에서의 대수적 $\varepsilon$-요소 구성은 어떻게 극대화된 프레드홀름 선 방법과 관련이 있는가?

주요 결과

• 특성류 $c_n((E,\nabla)) \in AD^n(X)$ 는 함자성, 덧셈성을 가지며, 차우 군 $CH^n(X)$ 에서의 체른 클래스 $c_n(E)$ 로 사상된다.
• 곡률 평가 $d(c_n((E,\nabla)))$ 는 체른-웨일 형식 $c_n(\nabla^2)$ 와 일치하여 대수기하학과 미분기하학을 연결한다.
• $c_n((E,\nabla))$ 의 일반점으로의 제한은 $H^0(X, \Omega_{X/k}^{2n-1}/d\Omega_{X/k}^{2n-2})$ 에서의 대수적 체른-시몬스 불변량을 준다.
• $k \subset \mathbb{C}$ 인 경우, $D^n(X)$ 에서의 이미지 $\iota(c_n((E,\nabla)))$ 는 미분 특성자 $c_n(E_{\mathrm{an}}^{\nabla}) \in H^{2n-1}(X_{\mathrm{an}}, \mathbb{C}/\mathbb{Z}(n))$ 와 대응한다.
• $\varepsilon$-선 위의 $\varepsilon$-접속은 $\varepsilon(\nabla, dt/t^m) = \mathrm{Tr} \mathrm{Res}_0 da a^{-1} A + \frac{m}{2} d\log \det(a(0))$ 로 주어지며, 이는 추적과 잔여치를 포함한 공식이다.
• 곱공식 $\det H^\ast(X/K, E_{\mathrm{min}}) = \otimes_{x \in \bar{X} \setminus X} \epsilon_x(\nabla_{K((t))/K, \nu})$ 가 성립하며, $\epsilon_x$ 는 국소적 불변량을 통해 정의된다.