[논문 리뷰] On generalizations of semi-Fredholm operators over C*-algebras

Stefan Ivković|arXiv (Cornell University)|2019. 09. 11.

Holomorphic and Operator Theory참고 문헌 16인용 수 9

한 줄 요약

이 논문은 유일한 C*-대수 위의 힐버트 C*-모듈에 대해 고전적인 프레드홀름 유형 연산자 이론을 일반화하여 일반화된 A-프레드홀름, 일반화된 A-웨일, 그리고 준-A-B-프레드홀름 연산자를 도입한다. 바나흐 공간 및 힐버트 공간 이론의 결과들—예를 들어 합성 및 페르터베이션 불변성—을 C*-모듈 설정으로 확장하며, 유한 차원 페르터베이션은 A-B-프레드홀름 구조와 지수를 유지함을 증명한다. 주요 결과들은 모듈 분해와 안정화 정리에 의해 확립된다.

ABSTRACT

Starting from the definition of A-Fredholm and semi-A-Fredholm operator on the standard module over a unital C*- algebra A, introduced in [8] and [4], we construct various generalizations of these operators and obtain several results as an analogue or a generalization of the results in [1], [2], [3],[7]. Moreover, we study also non-adjointable semi-A-Fredholm operators as a natural continuation of the work in [6] on non-adjointable A-Fredholm operators and obtain an analogue or a generalization in this setting of the results in [4], [5].

연구 동기 및 목표

• 원래 힐버트 공간과 바나흐 공간에서 개발된 고전적 프레드홀름 연산자 이론을 단위를 가진 C*-대수 위의 힐버트 C*-모듈로 확장하는 것.
• 양의 일반화된 프레드홀름, 지요르제비치의 일반화된 웨일, 버카니의 준-B-프레드홀름 연산자들에 대한 자연스러운 일반화로 일반화된 A-프레드홀름, 일반화된 A-웨일, 준-A-B-프레드홀름 연산자를 정의하고 연구하는 것.
• 특히 합성, 범위가 닫혀 있는 성질, 그리고 유한 차원 연산자에 의한 페르터베이션에 관해 [1], [2], [3], [7]의 핵심 결과들에 대한 유사 또는 일반화된 결과를 힐버트 C*-모듈의 맥락에서 확립하는 것.
• 이전의 비첨도 가능한 A-프레드홀름 연산자에 대한 연구를 확장하여 비첨도 가능한 준-A-프레드홀름 연산자를 연구하고, 이를 컴팩트 연산자에 대한 모odulo의 한쪽 역함수 성질을 통해 특성화하는 것.
• 범위가 표준 모듈과 동형이 아니어도 A-B-프레드홀름 지수가 유한 차원 페르터베이션에 대해 유지됨을 증명하며, 안정화 및 분해 기법을 사용하는 것.

제안 방법

• 표준 힐버트 C*-모듈 HA 위에서 범위가 닫혀 있고, 근과 코어널이 유한 생성 모듈이어야 하는 조건을 요구함으로써 양의 정의를 일반화한 일반화된 A-프레드홀름 연산자를 도입한다.
• 멱의 이미지 위에서 반복적으로 범위가 닫혀 있고 A-프레드홀름 성질을 가지는 것으로 정의함으로써 버카니의 준-B-프레드홀름 이론을 확장한 준-A-B-프레드홀름 연산자를 정의한다.
• 카스파로프 안정화 정리를 적용하여 가чёт히 생성된 모듈에 대한 문제를 표준 모듈 HA로 환원함으로써 지수 이론이 잘 정의되도록 한다.
• 내부 및 외부(노이터) 분해를 통해 연산자의 첨도 가능성과 핵 및 코어널의 유한 생성성을 분석한다.
• 직교 프로젝션과 모듈 동형을 사용하여, 특히 안정화를 통해 표준 모듈에 통합된 유한 차원 연산자들에 의한 페르터베이션을 분석한다.
• 연산자가 비첨도 가능한 준-A-프레드홀름임과 동시에 B(HA)/K(HA)에서의 그 이미지가 한쪽으로 역함수를 가진다는 것 사이의 이unge를 증명함으로써, [6]의 결과를 준-프레드홀름 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 유일한 C*-대수 위의 힐버트 C*-모듈 설정에서 고전적인 일반화된 프레드홀름 및 준-B-프레드홀름 연산자 이론은 어떻게 일반화될 수 있는가?
• RQ2 바나흐 공간에서의 일반화된 프레드홀름 연산자의 합성 및 페르터베이션 성질이 C*-모듈 설정으로 어떻게 이행되는가?
• RQ3 유한 차원 페르터베이션은 힐버트 C*-모듈에서 A-B-프레드홀름 구조와 지수를 유지하는 데 어떤 역할을 하는가?
• RQ4 비첨도 가능한 준-A-프레드홀름 연산자는 컴팩트 페르터베이션의 관점에서 대수적·위상적으로 어떻게 특성화될 수 있는가?
• RQ5 범위가 HA와 동형이 아니어도 A-B-프레드홀름 지수가 어떤 조건에서 유한 차원 페르터베이션에 대해 유지되는가?

주요 결과

• 논문은 T가 A-B-프레드홀름 연산자이고 F가 유한 차원 연산자이며, 모든 n ≥ m에 대해 Im(T + F)^n 이 닫혀 있을 경우, T + F 도 A-B-프레드홀름이 되며, index(T + F) = index(T) 임을 증명한다. 이는 버카니의 결과 [2, Proposition 3.3]를 일반화한다.
• 연산자 T 가 HA 위에 있을 때, 비첨도 가능한 준-A-프레드홀름임과 동시에 그 Calkin 대수 B(HA)/K(HA)에서의 이미지가 한쪽으로 역함수를 가진다는 것이 동치임을 증명한다. 이는 [6]의 결과를 준-프레드홀름 설정으로 확장한다.
• 카스파로프 안정화 정리를 사용하여 가чёт히 생성된 모듈을 HA에 통합함으로써, 범위가 HA와 동형이 아니어도 준-A-프레드홀름 연산자의 지수가 잘 정의됨을 보여준다.
• T 가 A-B-프레드홀름이고 F 가 유한 차원이며, 모든 n ≥ m 에 대해 Im(T + F)^n 이 닫혀 있을 경우, 제약 (T + F)|Im(T + F)^m 도 A-프레드홀름이 되며, 지수가 유지됨을 증명한다.
• 지요르제비치의 일반화된 웨일 연산자에 대한 결과를 일반화하여, 두 개의 범위가 닫혀 있는 일반화된 A-웨일 연산자의 합성은 다시 일반화된 A-웨일이 되며, 카토 정리의 모듈 이론적 유사체를 통해 이를 증명한다.
• 범위가 HA와 동형이 아니어도 A-B-프레드홀름 지수가 유한 차원 페르터베이션에 대해 유지됨을 증명하며, 안정화를 통해 관련 부분모듈이 HA와 안정적으로 동형임을 보여줌으로써 이를 확보한다.