[논문 리뷰] D-bar Spark Theory and Deligne Cohomology

Ning Hao|ArXiv.org|2008. 08. 12.

Geometry and complex manifolds참고 문헌 28인용 수 5

한 줄 요약

이 논문은 복소다양체 위에서 하비-로우슨의 스파크 이론을 수준 $p$로 일반화하여 D-bar 스파크 복합체를 도입하고, 스파크를 통해 델리뉴 코homology 클래스를 제시하며, 명시적인 해석적 곱공식을 수립한다. 또한 델리뉴 코homology에서 정교화된 체른 클래스를 정의하고, 헬로모르픽 분할에 대한 보트 유형의 퇠택 정리(정리)를 증명하며, 곡률과 접속 보간을 통해 유도된 내림차순 유형의 불변량을 이용하여 네델의 추측에 대한 새로운 증명을 제공한다.

ABSTRACT

We study the Harvey-Lawson spark characters of level p on complex manifolds. Presenting Deligne cohomology classes by sparks of level $p$, we give an explicit analytic product formula for Deligne cohomology. We also define refined Chern classes in Deligne cohomology for holomorphic vector bundles over complex manifolds. Applications to algebraic cycles are given. A Bott-type vanishing theorem in Deligne cohomology for holomorphic foliations is established. A general construction of Nadel-type invariants is given together with a new proof of Nadel's conjecture.

연구 동기 및 목표

• 복소다양체 위에서 수준 1의 하비-로우슨의 스파크 문자를 임의의 수준 $p$로 일반화하는 것.
• 수준 $p$의 도르베오-페더러 및 체흐-도르베오 스파크를 사용하여 델리뉴 코homology 클래스를 제시하는 것.
• 스파크 복합체를 이용하여 델리뉴 코homology에 대한 명시적인 해석적 곱공식을 구성하는 것.
• 헬로모르픽 벡터 번들의 델리뉴 코homology에서 정교화된 체른 클래스를 정의하는 것.
• 헬로모르픽 분할에 대한 보트 유형의 퇴적 정리를 수립하고, 내림차순 유형의 불변량을 새로운 방식으로 구성하여 네델의 추측을 증명하는 것.

제안 방법

• de Rham-Federer 복합체의 절단으로서 수준 $p$의 도르베오-페더러 스파크 복합체를 도입한다.
• 부드러운 형식과 정수 체흐 코호모로지 계수를 갖는 체흐-de Rham 이중 복합체를 사용하여 수준 $p$의 체흐-도르베오 스파크 복합체를 구성한다.
• 델리뉴 코hom로지의 해석적 대표자를 모델링하기 위해 수준 $p$의 체흐-도르베오 하이퍼스파크를 정의한다.
• 스파크를 포함하는 와이드 곱공식을 통해 델리뉴 코hom로지에 링의 구조를 확립하며, 교차성과 기하측도론을 이용하여 잘 정의됨을 보장한다.
• 연결 보간을 통해 $\nabla_0$에서 $\nabla_1$로 가는 경로를 따라 곡률 형식 $\Omega_t$를 정의하고, 미분 특성의 차이 $\hat{\Phi}_0 - \hat{\Phi}_1 = [T_\Phi]$를 유도한다.
• 결과로 얻어진 형식 $T_\Phi$를 $H^{2k-1}(X,\mathcal{O})/H^{2k-1}(X,\mathbb{Z})$로 투영하여 $k$번째 네델 불변량 $\mathscr{E}^k(E,F)$를 정의한다.

실험 결과

연구 질문

• RQ1 하비-로우슨의 스파크 이론을 임의의 수준 $p$에서 복소다양체로 일반화할 수 있는가?
• RQ2 도르베오 및 체흐-도르베오 설정에서 스파크 복합체를 사용하여 델리뉴 코호모로지 클래스를 명시적으로 표현할 수 있는가?
• RQ3 스파크 수준 $p$에 대한 델리뉴 코호모로지의 해석적 곱공식은 무엇인가?
• RQ4 헬로모르픽 벡터 번들의 델리뉴 코호모로지에서 정교화된 체른 클래스는 어떻게 정의할 수 있는가?
• RQ5 헬로모르픽 분할에 대해 델리뉴 코호모로지에서 보트 유형의 퇴적 정리가 성립하는가, 그리고 새로운 방식의 불변량 구성으로 네델의 추측을 증명할 수 있는가?

주요 결과

• 논문은 스파크 수준 $p$를 사용하여 델리뉴 코호모로지에 링의 구조를 명시적인 해석적 곱공식과 함께 구성하였으며, de Rham-Federer 접근법을 일반화하였다.
• 헬로모르픽 벡터 번들의 델리뉴 코호모로지에서 정교화된 체른 클래스는 동형인 $C^\infty$ 번들 위의 연결에 대응하는 티처-시몬스 특성의 차이를 통해 정의된다.
• 헬로모르픽 분할과 관련된 델리뉴 코호모로지 클래스에 대해 보트 유형의 퇴적 정리가 수립되었다.
• $k$번째 네델 불변량 $\mathscr{E}^k(E,F)$는 스파크 클래스 $\hat{\mathscr{E}}^k(E,F)$를 $\pi: \mathcal{J}^k \to H^{2k-1}(X,\mathcal{O})/H^{2k-1}(X,\mathbb{Z})$로의 투영에 의해 얻어지며, 네델의 추측을 확인한다.
• 내림차순 유형의 불변량 $\hat{\mathscr{E}}^k(E,F)$는 $k!$ 배의 $k$번째 미분 체른 특성의 차이로 명시적으로 주어지며, 형식 $\pi_k(k\int_0^1 \operatorname{tr}(\eta \wedge \Omega_t^{k-1}) dt)$로 표현된다.