Toeplitz corona problem for algebras of almost periodic functions. (Q4801252)

Let \(\mathcal{R}\) be a commutative ring with unit \(e\). An ordered \(n\)-tuple \((a_1,\ldots,a_n)\) of elements of \(\mathcal{R}\) is called unimodular if there exist \(b_1\ldots,b_n\in\mathcal{R}\) such that \(a_1b_1+\cdots+a_nb_n=e\). A commutative ring with unity \(\mathcal{R}\) is called Hermitian if every unimodular row can be complemented, that is, given elements \(a_1,\ldots,a_m\in\mathcal{R}\) that generate \(\mathcal{R}\) (as an ideal), there exist \(m\times m\) matrices \(F\) and \(G\) with entries in \(\mathcal{R}\) such that \(a_1,\ldots,a_m\) form the first row of \(F\) and \(FG=I\) (equivalently, \(GF=I\)). Two matrices \(C_1\) and \(G_2\) with entries in \(\mathcal{R}\) are called left coprime if they have the same number of rows and there exist \(Y_1\) and \(Y_2\) with entries in \(\mathcal{R}\) such that \(G_1F_1+G_2F_2=I\). The following main result concerning a Toeplitz corona problem for almost periodic functions is established. Let \(\mathcal{R}\) be a (not necessarily closed) Hermite subalgebra of the Wiener algebra \((APW)_{\Lambda\cap\mathbb{R}_+}\) of almost periodic functions with the Fourier spectrum in \(\Lambda\cap\mathbb{R}_+\), where \(\Lambda\) is a subgroup of \(\mathbb{R}\) and \(\mathbb{R}_+=[0,\infty)\). Suppose we are given matrix functions \(A\in\mathcal{R}^{p\times m}\), \(B\in\mathcal{R}^{p\times p}\) with \(B\) invertible in \((APW)^{p\times p}\), and a positive number \(\gamma\). Let \(A\) and \(B\) be left coprime over \(\mathcal{R}\). Then there is an \(F\in(APW)_{\Lambda\cap\mathbb{R}_+}^{m\times p}\) such that \[ \| F\| _\infty\leq\gamma,\quad AF=B\tag{1} \] only if \[ T(A)_{\Lambda}\big(T(A)_{\Lambda}\big)^*\geq\frac{1}{\gamma^2}\: T(B)_{\Lambda}\big(T(B)_{\Lambda}\big)^*, \] where \(T(A)_\Lambda: (B_2)_{\Lambda\cap\mathbb{R}_+}^m\to(B_2)_{\Lambda\cap\mathbb{R}_+}^p\) and \(T(B)_\Lambda:(B_2)_{\Lambda\cap\mathbb{R}_+}^p\to (B_2)_{\Lambda\cap\mathbb{R}_+}^p\) are Toeplitz operators with matrix symbols having entries in \((APW)_{\Lambda\cap\mathbb{R}_+}\), and \((B_2)_{\Lambda\cap\mathbb{R}_+}\) is the corresponding Besicovitch space. Conversely, if the operator \[ T(A)_{\Lambda}\big(T(A)_{\Lambda}\big)^* -\frac{1}{\gamma^2}\:T(B)_{\Lambda}\big(T(B)_{\Lambda}\big)^* \] is strictly positive definite, then there exists \(F\in(APW)_{\Lambda\cap\mathbb{R}_+}^{m\times p}\) such that (1) holds. This result remains valid with \(\mathcal{R}\) replaced by the Hermite algebra \((APP)_{\Lambda\cap\mathbb{R}_+}\) of almost periodic polynomials with the Fourier spectrum in \(\Lambda\cap\mathbb{R}_+\). A linear fractional formula for solutions \(F\) is obtained in the suboptimal case. The proofs are based on algebraic properties of Hermitian rings, almost periodic factorization, and Kreĭn space techniques. For the entire collection see [Zbl 1005.00052].