[논문 리뷰] Families index for Boutet de Monvel operators

Severino T. Melo, Elmar Schrohe외 1명|arXiv (Cornell University)|2012. 03. 02.

Advanced Operator Algebra Research참고 문헌 20인용 수 8

한 줄 요약

이 논문은 콪트angent bundle의 내부 위의 컴actsupport K-이론에 대한 위상적 인덱스 클래스의 표준적 구성과 함께, 경계를 가진 컴actsmanifold 위의 연속적인 타원 Boutet de Monvel 연산자 가중치에 대해 분석적 인덱스와 위상적 인덱스의 동치를 C*-대수 K-이론과 Atiyah-Singer 인덱스 정리의 가중치판으로 증명한다. 핵심 결과는 두 인덱스가 일치하며, 이는 Boutet de Monvel의 경계값 문제에 대한 인덱스 이론을 가중치 설정으로 확장한다.

ABSTRACT

We define the analytical and the topological indices for continuous families of operators in the C*-closure of the Boutet de Monvel algebra. Using techniques of C*-algebra K-theory and the Atiyah-Singer theorem for families of elliptic operators on a closed manifold, we prove that these two indices coincide.

연구 동기 및 목표

• 경계를 가진 컴actsmanifold 위의 연속적인 가중치 연산자에 대해 Boutet de Monvel의 경계값 문제 인덱스 이론을 컴actsHausdorff 공간 Y에 의해 매개변수화된 연속적인 가중치로 확장한다.
• C*-대수의 맥락에서 이러한 가중치에 대해 분석적 인덱스와 위상적 인덱스를 정의하고 연구한다.
• K-이론과 Atiyah, Singer의 가중치 인덱스 정리의 도구를 사용하여 두 인덱스의 동치를 확립한다.
• 섬세한 기호 매핑과 부분대수의 동형사상의 도움으로, 다중집합의 내부 위의 콑트angent bundle의 컴actsupport K-이론에 위상적 인덱스 클래스를 구성한다.
• Boutet de Monvel 연산자의 가중치의 인덱스가 그에 해당하는 이중의 인덱스와 같음을 보여주어 문제를 고전적 가중치 인덱스 정리로 환원한다.

제안 방법

• 컴actsHausdorff 공간 Y 위의 C*-대수의 번들의 연속 섹션으로서 Boutet de Monvel 연산자의 가중치를 정의하여 단일 연산자 경우를 일반화한다.
• 섬세한 경계 기호 매핑 γ를 도입하고, K가 컴팩트 연산자 값을 갖는 가중치의 이상이면 A/K로 정의된 몫대수를 정의한다.
• K*(A†/K) ≅ K*(A/K)를 만족하는 부분대수 A† ⊂ A를 구성하여 고전적 벡터다발 K-이론과의 연결을 가능하게 한다.
• K*(A†/K) ≅ K*(A/K)의 동형사상을 이용하여 고전적 위상적 인덱스 구성법을 교환 가능한 몫대수에서 전체 가중치 대수로 이전한다.
• 각 타원 가중치 A에 대해 K*(A/K)의 클래스를 연결하고, 고전적 위상적 인덱스 매핑을 적용하여 위상적 인덱스 ind_t(A)를 정의한다.
• A를 그 이중으로 연결함으로써 분석적 인덱스 ind_a(A) ∈ K(Y)와 위상적 인덱스 ind_t(A)가 동일함을 증명한다. 이는 닫힌 다중집합 위의 가중치를 유도하며, 두 인덱스 모두 그대로 유지된다.

실험 결과

연구 질문

• RQ1 C*-대수 K-이론과 Atiyah-Singer 가중치 인덱스 정리와 호환되는 방식으로, 타원 Boutet de Monvel 연산자의 가중치에 대한 위상적 인덱스를 정의할 수 있는가?
• RQ2 연속적인 Boutet de Monvel 연산자 가중치에 대해 분석적 인덱스와 위상적 인덱스를 어떻게 비교하고 동일함을 보일 수 있는가?
• RQ3 부분대수 A†는 몫대수 A/K의 K-이론과 고전적 벡터다발 K-이론을 연결하는 데 어떤 역할을 하는가?
• RQ4 닫힌 다중집합으로 제한했을 때, Boutet de Monvel 연산자 가중치에 대한 위상적 인덱스 구성법은 고전적 가중치 인덱스 정리와 동치인가?
• RQ5 Boutet de Monvel 연산자 가중치의 인덱스는 다중집합의 이중에 관련된 가중치의 인덱스로 환원될 수 있으며, 이때 분석적 인덱스와 위상적 인덱스가 모두 유지되는가?

주요 결과

• Atiyah와 Jänich의 결과에 따라, 연속적인 타원 Boutet de Monvel 연산자 가중치에 대해 분석적 인덱스 ind_a(A) ∈ K(Y)는 잘 정의되어 있다.
• 위상적 인덱스 ind_t(A)는 K*(A†/K)의 클래스를 통해 구성되며, 이는 K*(A/K)와 동형이므로 고전적 K-이론을 사용한 위상적 기술이 가능하다.
• 위상적 인덱스는 K*(A†/K)의 클래스에 고전적 위상적 인덱스 매핑을 적용하여 정의되며, 이는 다중집합의 내부 위의 콩트angent bundle의 K-이론과 동형이다.
• 분석적 인덱스와 위상적 인덱스가 동일함이 증명되었으며, 즉 ind_a(A) = ind_t(A)이다. 이는 Boutet de Monvel의 인덱스 정리가 가중치 설정으로 확장됨을 의미한다.
• 원래 가중치 A를 그 이중으로 연결함으로써, 동일한 분석적 및 위상적 인덱스를 갖는 닫힌 다중집합 위의 가중치를 도출함으로써 동치가 증명된다.
• 결과적으로, 고전적 Atiyah-Singer 가중치 인덱스 정리만으로도 인덱스 동치를 증명할 수 있으며, 경계 문제에 대한 새로운 인덱스 정리는 필요하지 않다.