Searcharxiv⌕ Search

arXiv subjects

Raymond Mortini

Publications and source records attributed to Raymond Mortini.

27 records · Page 2Linked to original sources

The ring of real-valued multivariate polynomials: an analyst's perspective

In this survey we determine an explicit set of generators of the maximal ideals in the ring $\mathbb R[x_1,\dots,x_n]$ of polynomials in $n$ variables with real coefficients and give an easy analytic proof of the Bass-Vasershtein theorem on the Bass stable rank of $\mathbb R[x_1,\dots,x_n]$. The ingredients of the proof stem from different publications by Coquand, Lombardi, Estes and Ohm. We conclude with a calculation of the topological stable rank of $\mathbb R[x_1,\dots,x_n]$, which seems to be unknown so far.

math.RA↗

Corona-type theorems and division in some function algebras on planar domains

Let $A$ be an algebra of bounded smooth functions on the interior of a compact set in the plane. We study the following problem: if $f,f_1,\dots,f_n\in A$ satisfy $|f|\leq \sum_{j=1}^n |f_j|$, does there exist $g_j\in A$ and a constant $N\in\N$ such that $f^N=\sum_{j=1}^n g_j f_j$? A prominent role in our proofs is played by a new space, $C_{\dbar, 1}(K)$, which we call the algebra of $\dbar$-smooth functions. In the case $n=1$, a complete solution is given for the algebras $A^m(K)$ of functions holomorphic in $K^\circ$ and whose first $m$-derivatives extend continuously to $\ov{K^\circ}$. This necessitates the introduction of a special class of compacta, the so-called locally L-connected sets. We also present another constructive proof of the Nullstellensatz for $A(K)$, that is only based on elementary $\dbar$-calculus and Wolff's method.

math.CV↗

Topological Stable Rank of $H^\infty(Ω)$ for Circular Domains $Ω$

Let $Ω$ be a circular domain, that is, an open disk with finitely many closed disjoint disks removed. Denote by $H^\infty(Ω)$ the Banach algebra of all bounded holomorphic functions on $Ω$, with pointwise operations and the supremum norm. We show that the topological stable rank of $H^\infty(Ω)$ is equal to 2. The proof is based on Suarez's theorem that the topological stable rank of $H^\infty(\D)$ is equal to 2, where $\D$ is the unit disk. We also show that for domains symmetric to the real axis, the Bass and topological stable ranks of the real symmetric algebra $H^\infty_\R(Ω)$ are 2.

math.CV↗

Simultaneous Stabilization in $A_\mathbb{R}(\mathbb{D})$

In this note we study the problem of simultaneous stabilization for the algebra $A_\R(\D)$. Invertible pairs $(f_j,g_j)$, $j=1,..., n$, in a commutative unital algebra are called \textit{simultaneously stabilizable} if there exists a pair $(α,β)$ of elements such that $αf_j+βg_j$ is invertible in this algebra for $j=1,..., n$. For $n=2$, the simultaneous stabilization problem admits a positive solution for any data if and only if the Bass stable rank of the algebra is one. Since $A_\R(\D)$ has stable rank two, we are faced here with a different situation. When $n=2$, necessary and sufficient conditions are given so that we have simultaneous stability in $A_\R(\D)$. For $n\geq 3$ we show that under these conditions simultaneous stabilization is not possible and further connect this result to the question of which pairs $(f,g)$ in $A_\R(\D)^2$ are totally reducible; that is, for which pairs do there exist two units $u$ and $v$ in $A_\R(\D)$ such that $uf+vg=1$.

math.CV↗

The Bass and Topological Stable Ranks of $H^\infty_\R(\D)$ and $A_\R(\D)$

In this note we prove that the Bass stable rank of $H^\infty_\R(\D)$ is two. This establishes the validity of a conjecture by S. Treil. We accomplish this in two different ways, one by giving a direct proof, and the other, by first showing that the topological stable rank of $H^\infty_\R(\D)$ is two. We apply these results to give new proofs of results by R. Rupp and A. Sasane stating that the Bass stable rank of $A_\R(\D)$ is two and the topological stable rank of $A_\R(\D)$ is two, settling a conjecture by the second author. We also present a $\bar\partial$-free proof of the second author's characterization of the reducible pairs in $A_\R(\D)$.

math.CA↗

The Corona theorem and stable rank for the algebra $\mC +BH^\infty$

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$.

math.CV↗