[논문 리뷰] Relative differential characters

Mark Brightwell, Paul Turner|ArXiv.org|2004. 08. 24.

Numerical methods for differential equations참고 문헌 1인용 수 3

한 줄 요약

이 논문은 두 정의를 비교함으로써 상대 미분형상(character)에 대한 엄밀한 프레임워크를 수립한다: 하나는 체이저-시몬스 이론을 확장한 것이고, 다른 하나는 호프킨스-싱어의 코호모로지 복합체 접근법에 기반한 것이다. 상대 호프킨스-싱어 군이 상대 체이저-시몬스 군의 부분군의 몫임을 증명함으로써, 두 다발 사이의 매핑이 있는 다양체에 대한 상대 미분코호몰로지 이론에서의 기초적인 모호함을 해결한다.

ABSTRACT

There are two natural candidates for the group of relative Cheeger-Simons differential characters. The first directly extends the work of Cheeger and Simons and the second extends the description given by Hopkins and Singer of the Cheeger-Simons group as the homology of a certain cochain complex. We discuss both approaches and relate the two relative groups.

연구 동기 및 목표

• 매끄러운 사상 ρ: A → M의 맥락에서 상대 미분형상의 두 경쟁 정의 간의 관계를 명확히 하기 위해.
• 원래 체이저-시몬스 구성의 자연스러운 일반화를 통해 체이저-시몬스의 미분형상 이론을 상대적 상황으로 확장하기 위해.
• 절대 경우에서 호프킨스-싱어의 접근법과 유사하게, 사슬 복합체를 통한 상대 미분형상의 코호몰로지 기술을 개발하기 위해.
• 상대 호프킨스-싱어 군이 장점 정확한 수열에 들어가며, 상대 체이저-시몬스 군과는 달리 그와 같은 수열을 만족하지 않는다는 것을 보여주기 위해.
• 두 상대 군 간의 정확한 대수적 관계를 확립하여, 하나가 다른 하나의 부분군의 몫임을 보여주기 위해.

제안 방법

• Ĥ^k(ρ)를 Z_{k-1}(M) × Z_{k-1}(A) → ℝ/Λ인 군의 준동형사상 f로 정의한다. 이때 f∘∂는 Ω^k(M)에 값을 가지며, ρ에 의한 당김과의 호환 조건을 만족한다.
• 상대 체이저-시몬스 군을 계산하는 코호몰로지가 되는 코호모로지 복합체 Ĉ^*(ρ)를 구성한다. 이는 호프킨스-싱어 복합체를 상대적 경우로 확장한다.
• Ω^k(ρ), Ω^{k-1}(ρ), C^k(ρ)의 계수를 가지며, 코경계와 곡률 사상의 조합을 포함하는 미분을 갖는 코호모로지 복합체의 코호몰로지로 Ȟ^k(ρ)를 정의한다.
• Ω^k-1(M)/Ω̃^k-1(M), Ĥ_0^k(ρ), Ȟ^k(ρ)를 포함하는 짧은 정확한 수열을 수립하여, Ĥ_0^k(ρ)가 Ȟ^k(ρ)로 전수적으로 사상됨을 보여준다.
• 복합체의 짧은 정확한 수열에서 유도된 코호몰로지의 장점 정확한 수열을 사용하여, 경계 사상 δ: Ω^k-1(M)/Ω̃^k-1(M) → Ĥ_0^k(ρ)가 당김을 통한 정의된 사상 φ와 일치함을 증명한다.
• Ȟ^k(ρ) → Ω^k(M)/Ω̃^k(M)의 사영 사상 p가 자명함을 보여주어, 0 → Ω^k-1(M)/Ω̃^k-1(M) → Ĥ_0^k(ρ) → Ȟ^k(ρ) → 0의 정확성과 동치임을 밝힌다.

실험 결과

연구 질문

• RQ1 쌍 (M, A)와 매끄러운 사상 ρ: A → M가 주어졌을 때, 체이저-시몬스의 미분형상의 일반화가 올바른 상대적 형태는 무엇인가?
• RQ2 직접적인 체이저-시몬스의 확장과 호프킨스-싱어의 코호모로지 복합체 접근법을 통한 두 자연스러운 상대 미분형상 정의 간의 관계는 무엇인가?
• RQ3 상대 호프킨스-싱어 군은 장점 정확한 수열에 들어가며, 만약 그렇다면 상대 체이저-시몬스 군이 만족하는 수열과 어떻게 비교되는가?
• RQ4 상대 호프킨스-싱어 군은 상대 체이저-시몬스 군의 부분군의 몫과 동형인가?
• RQ5 상대 코호몰로지 복합체의 장점 정확한 수열에서 경계 사상은 미분형식과 당김을 통해 명시적으로 기술될 수 있는가?

주요 결과

• 상대 체이저-시몬스 군 Ĥ^k(ρ)는 Z_{k-1}(M) × Z_{k-1}(A) → ℝ/Λ인 군 준동형사상 f로 정의되며, f∘∂가 Ω^k(M)에 값을 가지며 ρ에 의한 당김과의 호환 조건을 만족한다.
• 상대 체이저-시몬스 군은 실수 코호몰로지, 정수 코호몰로지, 곡률 형식을 포함하는 절대 경우와 유사한 세 개의 짧은 정확한 수열에 들어간다.
• 상대 호프킨스-싱어 군 Ȟ^k(ρ)는 M과 A의 사슬, Λ-주기 형식을 갖는 M과 A의 형식, 그리고 코경계와 곡률 사상을 조합한 미분을 갖는 코호모로지 복합체의 코호몰로지로 정의된다.
• 상대 호프킨스-싱어 군은 장점 정확한 수열에 들어가며, 이는 상대 체이저-시몬스 군과의 주요 차이점이다.
• 사상 J: Ĥ_0^k(ρ) → Ȟ^k(ρ)는 전사이며, J의 핵은 Ω^k-1(M)/Ω̃^k-1(M)와 동형이다. 이는 Ȟ^k(ρ)가 Ĥ_0^k(ρ)의 이 부분군에 대한 몫임을 보여준다.
• 경계 사상 δ: Ω^k-1(M)/Ω̃^k-1(M) → Ĥ_0^k(ρ)는 δ([η]) = ((0,0), (η,0), (0, ρ^*η))로 명시적으로 주어지며, 이는 당김을 통한 정의된 사상 φ와 일치한다.