Source author record

Raymond Mortini

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

24works
9topics
4close collaborators

Published work

24 publications

preprint2016arXiv

Noncoherent uniform algebras in Cn\mathbb C^n

Let D=Dˉ\mathbf D=\bar{\mathbb D} be the closed unit disk in C\mathbb C and Bn=Bnˉ\mathbf B_n=\bar{\mathbb B_n} the closed unit ball in Cn\mathbb C^n. For a compact subset KK in Cn\mathbb C^n with nonempty interior, let A(K)A(K) be the uniform algebra of all complex-valued continuous functions on KK that are holomorphic in the interior of KK. We give short and non-technical proofs of the known facts that A(Dˉn)A(\bar{\mathbb D}^n) and A(Bn)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)A(K) is not coherent. As special cases we obtain Hickel's theorems on the noncoherence of A(Ωˉ)A(\barΩ), where ΩΩ runs through a certain class of pseudoconvex domains in Cn\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 AA of C(K)C(K) with P(K)⊆A⊆C(K)P(K)\subseteq A\subseteq C(K) is coherent provided the polynomial convex hull of KK 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)ki(I) of every proper ideal II is trivial; that is ki(I):=⋂n=1∞In={0}. ki(I):=\displaystyle\bigcap_{n=1}^\infty I^n = \{0\}. We investigate the validity of this result for various function algebras RR, present ideals II of RR for which ki(I)≠{0} ki(I)\neq \{0\}, and give conditions on II so that ki(I)={0}ki(I)=\{0\}.

preprint2016arXiv

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

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

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 D\mathbb D with respect to this geometry are the conformal self-maps of D\mathbb D. In this elementary classroom note, we are interested in the collection of the pseudohyperbolic disks Dρ(x,r)D_ρ(x,r) (with fixed radius rr and variable hyperbolic centers −1<x<1-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 AA 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 AA and in C(M(A))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 Un(A)U_n(A)) whenever the spectrum of AA is homeomorphic to a subset of Cn\mathbb C^n.

preprint2014arXiv

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

We present necessary and sufficient conditions on planar compacta KK and continuous functions ff on KK in order that ff generates the algebras P(K),R(K),A(K)P(K), R(K), A(K) or C(K)C(K). We also unveil quite surprisingly simple examples of non-polynomial convex compacta K⊆CK\subseteq\mathbb C and f∈P(K)f\in P(K) with the property that f∈P(K)f \in P(K) is a homeomorphism, but for which f−1∉P(f(K))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 K^\widehat K. On the other hand, it will be shown that the restriction f∗∣Gf^*|_G of the Gelfand-transform f∗f^* of an injective function f∈P(K)f\in P(K) is injective on every regular, bounded complementary component GG of KK. A necessary and sufficient condition in terms of the behaviour of ff on the outer boundary of KK is given in order ff admits a holomorphic injective extension to K^\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 AA be a complex Banach algebra. If the spectrum of an invertible element a∈Aa\in A does not separate the plane, then aa 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 C\mathbb C has a logarithm and that every real matrix MM in Mn(R)M_n(\mathbb R) with det⁡M>0\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 tt-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∞H^\infty. A description of all closed tt-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 OO-analyticity and SS-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 APΛ={f∈AP:σ(f)⊆Λ}{\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 Q\mathbb Q-vector space generated by ΛΛ is infinite. This extends Suárez's result for APR=AP{\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 R[x1,…,xn]\mathbb R[x_1,\dots,x_n] of polynomials in nn variables with real coefficients and give an easy analytic proof of the Bass-Vasershtein theorem on the Bass stable rank of R[x1,…,xn]\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 R[x1,…,xn]\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 AA be an algebra of bounded smooth functions on the interior of a compact set in the plane. We study the following problem: if f,f1,…,fn∈Af,f_1,\dots,f_n\in A satisfy ∣f∣≤∑j=1n∣fj∣|f|\leq \sum_{j=1}^n |f_j|, does there exist gj∈Ag_j\in A and a constant N∈NN\in\N such that fN=∑j=1ngjfjf^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=1n=1, a complete solution is given for the algebras Am(K)A^m(K) of functions holomorphic in K∘K^\circ and whose first mm-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)A(K), that is only based on elementary $\dbar$-calculus and Wolff's method.

preprint2009arXiv

Topological Stable Rank of H∞(Ω)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∞(Ω)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∞(Ω)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 HR∞(Ω)H^\infty_\R(Ω) are 2.

preprint2008arXiv

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

In this note we study the problem of simultaneous stabilization for the algebra $A_\R(\D)$. Invertible pairs (fj,gj)(f_j,g_j), j=1,...,nj=1,..., n, in a commutative unital algebra are called \textit{simultaneously stabilizable} if there exists a pair (α,β)(α,β) of elements such that αfj+βgjαf_j+βg_j is invertible in this algebra for j=1,...,nj=1,..., n. For n=2n=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=2n=2, necessary and sufficient conditions are given so that we have simultaneous stability in $A_\R(\D)$. For n≥3n\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)(f,g) in $A_\R(\D)^2$ are totally reducible; that is, for which pairs do there exist two units uu and vv in $A_\R(\D)$ such that uf+vg=1uf+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 BB 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 f1,...,fn∈HB∞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 g1,...,gn∈HB∞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 HB∞H^\infty_B is 1. Let $A(\mD)_B$ be the subalgebra of all elements from HB∞H^\infty_B having a continuous extension to the closed unit disk $\bar{\mD}$. Analogous results are obtained also for $A(\mD)_B$.

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.