[논문 리뷰] Solvability of the equation $AX=C$ for operators on Hilbert C*-modules

Vladimir Manuilov, Mohammad Sal Moslehian외 1명|arXiv (Cornell University)|2018. 07. 02.

Advanced Operator Algebra Research참고 문헌 11인용 수 5

한 줄 요약

이 논문은 힐버트 C*-모듈에서 부분 등장사상(spatial isometries)을 이용하여 연산자 방정식 $AX = C$의 해법 가능성(solubility)을 조사한다. $A$가 준정규(semi-regular)일 경우 일반해를 제공한다. 주요 기여는 다음과 같은 특성화이다: $AX = C$가 양의 해를 가질 조건은 $\mathcal{R}(C) \subseteq \mathcal{R}(A)$ 이고, 어떤 $t > 0$에 대해 $CC^* \leq t\, CA^*$를 만족하는 것이다. 또한 $(P+Q)^{1/2}X = P$ 형태의 방정식을 분석하여 일반적으로 해가 존재하지 않음을 보여주는 반례(counterexample)를 제시하고, 소용체적 결과(perturbation result)를 증명한다.

ABSTRACT

Inspired by the Douglas lemma, we investigate the solvability of the operator equation $AX=C$ in the framework of Hilbert C*-modules. Utilizing partial isometries, we present its general solution when $A$ is a semi-regular operator. For such an operator $A$, we show that the equation $AX=C$ has a positive solution if and only if the range inclusion ${\mathcal R}(C) \subseteq {\mathcal R}(A)$ holds and $CC^*\le t\, CA^*$ for some $t>0$. In addition, we deal with the solvability of the operator equation $(P+Q)^{1/2}X=P$, where $P$ and $Q$ are projections. We provide a counterexample to show that there exists a $C^*$-algebra $\mathfrak{A}$, a Hilbert $\mathfrak{A}$-module $\mathscr{H}$ and projections $P$ and $Q$ on $\mathscr{H}$ such that the operator equation $(P+Q)^{1/2}X=P$ has no solution. Moreover, we give a perturbation result related to the latter equation.

연구 동기 및 목표

• 연산자 $AX = C$의 해법 가능성 분석을 통해 더블러스의 보조정리(Douglas lemma)를 힐버트 C*-모듈의 맥락으로 확장한다.
• 연산자 $A$가 준정규일 경우 $AX = C$의 양의 해의 존재 조건을 특성화한다.
• 힐버트 C*-모듈에서 두 사영원 $P$와 $Q$에 대해 $(P+Q)^{1/2}X = P$ 형태의 방정식의 해법 가능성에 대해 연구한다.
• 일반적으로 $(P+Q)^{1/2}X = P$가 해를 가지지 않을 수 있음을 보여주는 반례를 제시한다.
• $(P+Q)^{1/2}X = P$에 대한 소용체적 결과를 확립한다.

제안 방법

• 연산자 $A$가 준정규일 경우, 부분 등장사상을 이용하여 $AX = C$의 일반해를 구성한다.
• 해법 가능성에 대한 필수 조건으로 범위 포함 조건 $\mathcal{R}(C) \subseteq \mathcal{R}(A)$를 적용한다.
• 어떤 $t > 0$에 대해 $CC^* \leq t\, CA^*$를 만족하는 조건을 양의 해가 존재하는 충분조건으로 도입한다.
• 일부 $C^*$-대수 $\mathfrak{A}$와 그 위의 힐버트 $\mathfrak{A}$-모듈 $\mathscr{H}$에서 반례를 구성하여 $(P+Q)^{1/2}X = P$가 일반적으로 해를 가지지 않을 수 있음을 보인다.
• 소용체적 기법을 사용하여 $(P+Q)^{1/2}X = P$의 해의 안정성을 소규모 연산자 변화에 대해 분석한다.

실험 결과

연구 질문

• RQ1 연산자 $A$가 준정규일 경우, 힐버트 C*-모듈에서 $AX = C$가 양의 해를 가질 조건은 무엇인가?
• RQ2 이 프레임워크에서 부분 등장사를 이용하여 $AX = C$의 해를 명시적으로 특성화할 수 있는가?
• RQ3 힐버트 C*-모듈에서 사영원 $P$와 $Q$에 대해 $(P+Q)^{1/2}X = P$는 항상 해를 갖는가?
• RQ4 일부 힐버트 C*-모듈 맥락에서 $(P+Q)^{1/2}X = P$가 해를 갖지 않을 수 있음을 보여주는 반례를 구성할 수 있는가?
• RQ5 소규모 연산자 변화에 대해 $P$와 $Q$의 소용체적 변화가 $(P+Q)^{1/2}X = P$의 해법 가능성에 어떻게 영향을 미치는가?

주요 결과

• 연산자 $A$가 준정규일 경우, $AX = C$가 양의 해를 가질 조건은 $\mathcal{R}(C) \subseteq \mathcal{R}(A)$ 이고, 어떤 $t > 0$에 대해 $CC^* \leq t\, CA^*$를 만족하는 것이다.
• 연산자 $A$가 준정규일 경우, 부분 등장사를 이용하여 $AX = C$의 일반해를 명시적으로 구성하였다.
• 일부 $C^*$-대수 $\mathfrak{A}$와 사영원 $P, Q$에 대해, 힐버트 $\mathfrak{A}$-모듈에서 $(P+Q)^{1/2}X = P$가 해를 가지지 않을 수 있음을 보여주는 반례를 제시하였다.
• 힐버트 C*-모듈에서 $P$와 $Q$가 사영원이어도 $(P+Q)^{1/2}X = P$의 해가 존재하지 않을 수 있음을 확인하였다.
• 소용체적 결과를 확립하여, $P$와 $Q$에 대한 소규모 변화가 특정 조건 하에서 $(P+Q)^{1/2}X = P$의 해법 가능성 유지에 기여함을 보였다.