Source author record

Raymond Mortini

Raymond Mortini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2016arXiv

Noncoherent uniform algebras in $\mathbb C^n$

Let $\mathbf D=\bar{\mathbb D}$ be the closed unit disk in $\mathbb C$ and $\mathbf B_n=\bar{\mathbb B_n}$ the closed unit ball in $\mathbb C^n$. For a compact subset $K$ in $\mathbb C^n$ with nonempty interior, let $A(K)$ be the uniform algebra of all complex-valued continuous functions on $K$ that are holomorphic in the interior of $K$. We give short and non-technical proofs of the known facts that $A(\bar{\mathbb D}^n)$ and $A(\mathbf B_n)$ are noncoherent rings. Using, additionally, Earl's interpolation theorem in the unit disk and the existence of peak-functions, we also establish with the same method the new result that $A(K)$ is not coherent. As special cases we obtain Hickel's theorems on the noncoherence of $A(\barΩ)$, where $Ω$ runs through a certain class of pseudoconvex domains in $\mathbb C^n$, results that were obtained with deep and complicated methods. Finally, using a refinement of the interpolation theorem we show that no uniformly closed subalgebra $A$ of $C(K)$ with $P(K)\subseteq A\subseteq C(K)$ is coherent provided the polynomial convex hull of $K$ has no isolated points.

preprint2016arXiv

On the Krull Intersection Theorem in Function Algebras

A version of the Krull Intersection Theorem states that for Noetherian domains, the Krull intersection $ki(I)$ of every proper ideal $I$ is trivial; that is $$ ki(I):=\displaystyle\bigcap_{n=1}^\infty I^n = \{0\}. $$ We investigate the validity of this result for various function algebras $R$, present ideals $I$ of $R$ for which $ ki(I)\neq \{0\}$, and give conditions on $I$ so that $ki(I)=\{0\}$.

preprint2016arXiv

The covering dimension of a distinguished subset of the spectrum $M(H^\infty)$ of $H^\infty$ and the algebra of real-symmetric and continuous functions on $M(H^\infty)$

We show that the covering dimension, $\dim E$, of the closure $E$ of the interval $]-1,1[$ in the spectrum of $H^\infty$ equals one. Using Suárez's result that $\dim M(H^\infty)=2$, we then compute the Bass and topological stable ranks of the algebra $C(M(H^\infty))_{\rm\scriptscriptstyle sym}$ of real-symmetric continuous functions on $M(H^\infty)$.

preprint2016arXiv

Unitary stable ranks and norm-one ranks

In the context of commutative $C^*$-algebras we solve a problem related to a question of M. Rieffel by showing that the all-units rank and the norm-one rank coincide with the topological stable rank. We also introduce the notion of unitary $M$-stable rank for an arbitrary commutative unital ring and compare it with the Bass stable rank. In case of uniform algebras, a sufficient condition for norm-one reducibility is given.

preprint2015arXiv

On a family of pseudohyperbolic disks

Hyperbolic geometry plays an important role within function theory of the disk. For example, via the Schwarz-Pick Lemma, the isometries of the unit disk $\mathbb D$ with respect to this geometry are the conformal self-maps of $\mathbb D$. In this elementary classroom note, we are interested in the collection of the pseudohyperbolic disks $D_ρ(x,r)$ (with fixed radius $r$ and variable hyperbolic centers $-1<x<1$) and determine explicitely with function theoretic tools the enveloppe of these disks.

preprint2015arXiv

Reducibility of invertible tuples to the principal component in commutative Banach algebras

Let $A$ be a complex, commutative unital Banach algebra. We introduce two notions of exponential reducibility of Banach algebra tuples and present an analogue to the Corach-Suárez result on the connection between reducibility in $A$ and in $C(M(A))$. Our methods are of an analytical nature. Necessary and sufficient geometric/topological conditions are given for reducibility (respectively reducibility to the principal component of $U_n(A)$) whenever the spectrum of $A$ is homeomorphic to a subset of $\mathbb C^n$.

preprint2014arXiv

Holomorphic injective extensions of functions in P(K) and algebra generators

We present necessary and sufficient conditions on planar compacta $K$ and continuous functions $f$ on $K$ in order that $f$ generates the algebras $P(K), R(K), A(K)$ or $C(K)$. We also unveil quite surprisingly simple examples of non-polynomial convex compacta $K\subseteq\mathbb C$ and $f\in P(K)$ with the property that $f \in P(K)$ is a homeomorphism, but for which $f^{-1}\notin P(f(K))$. As a consequence, such functions do not admit injective holomorphic extensions to the interior of the polynomial convex hull $\widehat K$. On the other hand, it will be shown that the restriction $f^*|_G$ of the Gelfand-transform $f^*$ of an injective function $f\in P(K)$ is injective on every regular, bounded complementary component $G$ of $K$. A necessary and sufficient condition in terms of the behaviour of $f$ on the outer boundary of $K$ is given in order $f$ admits a holomorphic injective extension to $\widehat K$. We also include some results on the existence of continuous logarithms on punctured compacta containing the origin in their boundary.

preprint2014arXiv

Logarithms and exponentials in Banach algebras

Let $A$ be a complex Banach algebra. If the spectrum of an invertible element $a\in A$ does not separate the plane, then $a$ admits a logarithm. We present two elementary proofs of this classical result which are independent of the holomorphic functional calculus. We also discuss the case of real Banach algebras. As applications, we obtain simple proofs that every invertible matrix over $\mathbb C$ has a logarithm and that every real matrix $M$ in $M_n(\mathbb R)$ with $\det M>0$ is a product of two real exponential matrices.

preprint2014arXiv

Partial regularity and t-analytic sets for Banach function algebras

In this note we introduce the notion of $t$-analytic sets. Using this concept, we construct a class of closed prime ideals in Banach function algebras and discuss some problems related to Alling's conjecture in $H^\infty$. A description of all closed $t$-analytic sets for the disk-algebra is given. Moreover, we show that some of the assertions in Daoui et al. (Proc. Am. Math. Soc. 131:3211-3220, 2003) concerning the $O$-analyticity and $S$-regularity of certain Banach function algebras are not correct. We also determine the largest set on which a Douglas algebra is pointwise regular.

preprint2014arXiv

The Bass and topological stable ranks for algebras of almost periodic functions on the real line

Let $Λ$ be a sub-semigroup of the reals. We show that the Bass and topological stable ranks of the algebras ${\rm AP}_Λ=\{f\in {\rm AP}: σ(f)\subseteq Λ\}$ of almost periodic functions on the real line and with Bohr spectrum in $Λ$ are infinite whenever the algebraic dimension of the $\mathbb Q$-vector space generated by $Λ$ is infinite. This extends Suárez's result for ${\rm AP}_\mathbb R={\rm AP}$. Also considered are general subalgebras of AP.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2009arXiv

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.

preprint2008arXiv

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

preprint2008arXiv

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

preprint2008arXiv

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