[논문 리뷰] Covering monopole map and higher degree in non commutative geometry

Tsuyoshi Kato|arXiv (Cornell University)|2016. 06. 08.

Advanced Operator Algebra Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 비가환 기하학에서 Bauer-Furuta의 유한차원 근사 프레임워크의 커버링 공간 버전을 개발하여, 컴acts한 4차원 다각형의 기본 커버링 공간 위에서의 모노폴 맵에 대해 고차수 불변량을 수립한다. 아티야-히친-싱어 복합체의 닫힌 범위 조건과 디랙 연산자의 가역성 조건 하에서, C∗-대수 사이의 Γ-등변 ∗-호모모르피즘을 구성하며, 이는 K-이론 맵을 유도하여 유한차원, 비콤팩트 설정으로의 차수 이론을 일반화한다.

ABSTRACT

In this paper we develop analysis of the monopole maps over the universal covering space of a compact four manifold. We induce a property on local properness of the covering monopole map under the condition of closeness of the AHS complex. In particular we construct a higher degree of the covering monopole map when the linearized equation is isomorphic, which induces a homomorphism between K group of the group C^* algebras. It involves non linear analysis on the covering space, which is related to L^p cohomology. We also obtain various Sobolev estimates on the covering spaces. As a possible application, we propose an aspherical version of 10/8 inequality, combining with Singer conjecture on L^2 cohomology. It is satisfied for a large class of four manifolds which includes some complex surfaces of general type.

연구 동기 및 목표

• 컴 pact한 4차원 다각형의 기본 커버링 공간으로 Bauer-Furuta의 유한차원 근사 프레임워크를 확장한다.
• 모노폴 맵을 이용한 비아벨적, 등변적인 차수 이론을 비가환 기하학에서 수립한다.
• L² 코homology와 싱거의 추측을, 추측된 평탄한 10/8 부등식과 연결한다.
• 기본군의 C∗-대수에서 커버링 모노폴 맵의 교차곱 대수로의 K-이론적 호모모르피즘을 구성한다.

제안 방법

• Lp 소볼레프 공간에서의 비선형 해석을 사용하여, 컴acts한 4차원 다각형의 기본 커버링 공간 상에서의 모노폴 맵을 분석한다.
• 커버링 모노폴 맵의 국소적 적절성 보장을 위해, 커버링 공간 상에서 아티야-히친-싱어 복합체가 닫힌 범위를 가져야 한다는 조건을 도입한다.
• 유한차원 근사 기법을 모노폴 맵에 적용하며, 점점 가까워지는 Γ-유한 근사 가능성에 기반한다.
• 사상 아래에서 함수의 역상에 의한 풀어내림을 통해, 힐버트 공간의 S∗-대수 사이의 Γ-등변 ∗-호모모르피즘을 구성한다.
• 보트 주기성과 표준 보트 맵을 사용하여, C∗-대수 프레임워크 내에서 극한 구성법을 정의한다.
• 유한차원 근사의 극한으로서 K-이론적 고차수를 유도하며, 이는 교차곱 C∗-대수의 K-군 사이의 맵을 유도한다.

실험 결과

연구 질문

• RQ1 4차원 다각형의 기본 커버링 공간 상에서 모노폴 맵에 대해 고차수 불변량을 정의할 수 있는가?
• RQ2 커버링 모노폴 맵이 위상 불변성을 위해 필요한 국소적 적절성 구조를 갖추기 위한 조건은 무엇인가?
• RQ3 비가환 기하학을 활용하여, Bauer-Furuta 프레임워크를 비콤팩트, 커버링 공간으로 어떻게 확장할 수 있는가?
• RQ4 평탄한 경우에서 아티야-히친-싱어 복합체의 L² 코homology와 10/8 부등식 사이의 관계는 무엇인가?
• RQ5 커버링 모노폴 맵의 K-이론적 차수는 시브르그-워튼 불변량의 일반화로 해석될 수 있는가?

주요 결과

• 아티야-히친-싱거 복합체가 기본 커버링 공간 상에서 닫힌 범위를 가지면, 커버링 모노폴 맵은 국소적으로 강한 적절성을 갖는다.
• 디랙 연산자가 가역적이고, AHS 복합체의 두 번째 L² 코homology가 0일 경우, S∗-대수 사이에 Γ-등변 ∗-호모모르피즘이 구성된다.
• 이 ∗-호모모르피즘은 K∗(C∗(Γ))에서 K∗(S∗(H′) ⋊ Γ)로의 K-이론 맵을 유도하며, 이는 무한차원, 등변 설정으로의 차수를 일반화한다.
• 고차수는 유한차원 근사의 극한으로 정의되며, 이 구성은 점점 가까워지는 Γ-유한 근사 가능성에 의존한다.
• b¹ = 0 이고 b⁺ ≥ 1 인 컴acts한 4차원 다각형의 경우, 모노폴 맵은 차수 0의 시브르그-워튼 불변량에 의한 곱셈과 동형인 K-이론 맵을 유도한다.
• 이 프레임워크는 평탄한 10/8 부등식의 추측을 지지하며, 복소 표면의 일반 유형을 포함한 광범위한 4차원 다각형 클래스에서 검증된다.