[논문 리뷰] The Corona theorem and stable rank for the algebra $\mC +BH^\infty$

Raymond Mortini, Amol Sasane외 1명|arXiv (Cornell University)|2008. 03. 06.

Holomorphic and Operator Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 블라시케 곱수 $B$에 대해 대수 $\mathbb{C} + BH^\infty$ 에서 코로나 정리와 베조우스 안정 차수를 확립한다. $H^\infty_B$의 함수들에 대한 코로나 조건—영역에서 일관되게 0에서 멀리 떨어져 있음—이 성립할 경우, 해에 대한 균일한 유계성 조건을 갖는 베조우스 방정식의 해가 존재함을 증명하며, $H^\infty_B$와 $A(\mathbb{D})_B$의 베조우스 안정 차수가 1임을 보이며, 기존의 $H^\infty$에 대한 결과를 제약 조건이 있는 $H^\infty$의 부분대수로 확장한다. 본 결과들은 보간 및 아이디얼 이론적 접근을 포함한 여러 방법을 통해 도출된다.

ABSTRACT

Let $B$ be a Blaschke product. We prove in several different ways the corona theorem for the algebra $H^\infty_B:=\mC+BH^\infty$. That is, we show the equivalence of the classical {\em corona condition} on data $f_1, ..., f_n \in H^\infty_B$: \[ \forall z \in \mD, \sum_{k=1}^{n} |f_k(z)| \geq δ>0, \] and the {\em solvability of the Bezout equation} for $g_1, ..., g_n \in H^\infty_B$: \[ \forall z\in \mD, \sum_{k=1}^n g_k (z)f_k(z)=1. \] Estimates on solutions to the Bezout equation are also obtained. We also show that the Bass stable rank of $H^\infty_B$ is 1. Let $A(\mD)_B$ be the subalgebra of all elements from $H^\infty_B$ having a continuous extension to the closed unit disk $\bar{\mD}$. Analogous results are obtained also for $A(\mD)_B$.

연구 동기 및 목표

• 함수와 그 도함수들이 블라시케 곱수의 영점에서 점별 제약 조건을 갖는 $H^\infty$의 부분대수에 대해 코로나 정리가 존재하지 않는 문제를 다룸.
• 클래식한 코로나 조건 하에서 $H^\infty_B = \mathbb{C} + BH^\infty$ 에서 베조우스 방정식의 해가 존재함을 보이고, 해에 대한 균일한 추정치를 확보함.
• 기존의 $H^\infty$와 $A(\mathbb{D})$에서의 결과를 확장하여, $H^\infty_B$와 $A(\mathbb{D})_B$의 베조우스 안정 차수가 1임을 증명함.
• 최대 아이디얼 공간의 조밀성과 아이디얼 축소 기법을 이용한, $H^\infty_B$에 대한 코로나 정리의 여러 독립적인 증명 제공.
• 최대 아이디얼 공간의 구조를 탐색하여, $A(\mathbb{D})_B$의 최대 아이디얼 공간이 $B$의 영점의 극한점들을 식별한 $\overline{\mathbb{D}}$와 위상동형임을 보임.

제안 방법

• 최대 아이디얼 공간에 대한 고전적 카르레손 코로나 정리의 직접 적용을 포함한, $H^\infty_B$에 대한 코로나 정리의 네 가지 서로 다른 방법으로 증명함.
• $H^\infty_B$의 동치 표현인 $\mathbb{C} + BH^\infty$ 를 사용함. 여기서 대수에 속하는 함수들은 블라시케 곱수 $B$의 각 영점 $a_k$에서 차수 $m_k - 1$까지의 값과 도함수들이 일치함.
• 보간 기법을 사용하여 베조우스 방정식의 해에 대한 추정치를 도출하고, $B$의 영점 집합의 극한점 집합에서 1이고, 그 외부에서는 1보다 작은 함수 $p \in A(\mathbb{D})$ 의 존재를 이용함.
• 일반화된 쌍 $(f,g)$ 를 상수 계수로 축소하고, $H^\infty$의 안정 차수에 대한 트릴의 결과를 적용함으로써, $H^\infty_B$의 베조우스 안정 차수가 1임을 증명함.
• $A(\mathbb{D})$ 가 베조우스 안정 차수 1을 갖는다는 사실과, $B$의 영점의 극한점 집합에서 1이고 그 외부에서는 1보다 작은 적절한 컷오프 함수 $p$ 를 구성함으로써, $A(\mathbb{D})_B$ 에도 유사한 결과를 도출함.
• 만약 대수 $\mathcal{A}$ 가 베조우스 안정 차수 $n$ 을 갖는다면, 임의의 진부분 아이디얼 $\mathbb{I}$ 에 대해 $\mathbb{C} + \mathbb{I}$ 도 베조우스 안정 차수 $n$ 을 갖는다는 대수적 결과를 증명하고, 이를 $\mathcal{A} = H^\infty$ 및 $\mathbb{I} = BH^\infty$ 에 적용함.

실험 결과

연구 질문

• RQ1 만일 $n$ 개의 함수가 $H^\infty_B$ 에서 코로나 조건을 만족한다면, 즉 $\sum_{k=1}^n |f_k(z)| \geq \delta > 0$ 이 모든 $z \in \mathbb{D}$ 에 대해 성립한다면, operator 노름에서 균일한 유계성 조건을 갖는 베조우스 방정식의 해가 존재하는가?
• RQ2 최소한 두 가지 이상의 독립된 방법—아이디얼 이론적 접근과 보간 기반 접근—을 사용하여, $H^\infty_B$ 의 베조우스 안정 차수가 1임을 증명할 수 있는가?
• RQ3 $A(\mathbb{D})_B$ 의 최대 아이디얼 공간은 $B$의 영점 집합의 극한점들을 식별한 $\overline{\mathbb{D}}$ 와 위상동형인가?
• RQ4 클래식한 $H^\infty$ 경우와 마찬가지로, 생성자 수 $n$ 에 관계없이 베조우스 방정식의 해 유계성 조건을 $n$ 에 독립적으로 만들 수 있는가?
• RQ5 만약 $\mathbb{I}$ 가 알려진 안정 차수를 갖는 바나흐 대수 $\mathcal{A}$ 의 진부분 아이디얼이라면, $\mathbb{C} + \mathbb{I}$ 의 안정 차수는 $\mathcal{A}$ 와 동일한가?

주요 결과

• 코로나 정리가 $H^\infty_B = \mathbb{C} + BH^\infty$ 에 대해 성립함: 모든 $z \in \mathbb{D}$ 에 대해 $\sum_{k=1}^n |f_k(z)| \geq \delta > 0$ 이면, 모든 $z \in \mathbb{D}$ 에 대해 $\sum_{k=1}^n g_k(z)f_k(z) = 1$ 을 만족하는 $g_k \in H^\infty_B$ 가 존재함.
• 베조우스 방정식의 해 $g_k$ 에 대한 균일한 추정치를 확보함: $\|g_k\|_\infty \leq C(\delta)$, 여기서 $C(\delta)$ 는 $n$ 에 영향을 받지 않고 $\delta$ 에만 의존함.
• 베조우스 안정 차수가 1임을 여러 방법으로 증명함—Treil 의 $H^\infty$ 의 안정 차수 결과로의 축소를 포함함.
• 영점 집합의 극한점 집합이 양의 측도를 갖는 집합에 집중되지 않는 한, $A(\mathbb{D})_B$ 의 최대 아이디얼 공간은 $\overline{\mathbb{D}}$ 에서 $B$의 영점 집합의 극한점들을 식별한 공간과 위상동형임을 보임.
• $A(\mathbb{D})_B$ 의 베조우스 안정 차수 역시 1임을 증명함—$B$의 영점의 극한점 집합에서 1이고 그 외부에서는 1보다 작은 컷오프 함수 $p$ 를 사용하여, 문제를 디스크 대수로 축소함.
• 대수적 결과를 증명함: 만약 $\mathcal{A}$ 가 베조우스 안정 차수 $n$ 을 갖는다면, 임의의 진부분 아이디얼 $\mathbb{I}$ 에 대해 $\mathbb{C} + \mathbb{I}$ 도 베조우스 안정 차수 $n$ 을 갖는다. 이를 $\mathcal{A} = H^\infty$ 및 $\mathbb{I} = BH^\infty$ 에 적용함.