Let $H^\infty $ be the algebra of bounded holomorphic functions on the open unit disk, and let $\mathfrak M$ be its maximal ideal space. Let $\mathfrak M_a$ be the union of nontrivial Gleason parts (analytic disks) of $\mathfrak M$. In this paper, we study the problem of extensions of bounded Banach-valued holomorphic functions and holomorphic maps with values in Oka manifolds from Gleason parts of $\mathfrak M_a\setminus \mathbb {D}$. The resulting extensions satisfy the uniform boundedness principle in the sense that their norms are bounded by constants that do not depend on the choice of the Gleason part. The results extend fundamental results of D. Suárez on the characterization of the algebra of restrictions of Gelfand transforms of functions in $H^\infty $ to Gleason parts of $ \mathfrak M_a\setminus \mathbb {D}$. The proofs utilize our recent advances on $\bar \partial $-equations on quasi-interpolating sets and Runge-type approximations.

Let A be a Banach algebra and let X be a Banach A-bimodule. We consider the Banach algebra ${A\oplus _1 X}$, where A is a commutative Banach algebra. We investigate the Bochner–Schoenberg–Eberlein (BSE) property and the BSE module property on $A\oplus _1 X$. We show that the module extension Banach algebra $A\oplus _1 X$ is a BSE Banach algebra if and only if A is a BSE Banach algebra and $X=\{0\}$. Furthermore, we consider $A\oplus _1 X$ as a Banach $A\oplus _1 X$-module and characterise the BSE module property on $A\oplus _1 X$. We show that $A\oplus _1 X$ is a BSE Banach $A\oplus _1 X$-module if and only if A and X are BSE Banach A-modules.

Let $G$ be a locally compact amenable group and $A(G)$ and $B(G)$ be the Fourier and the Fourier–Stieltjes algebras of $G,$ respectively. For a power bounded element $u$ of $B(G)$ , let ${\mathcal{E}}_{u}:=\{g\in G:|u(g)|=1\}$ . We prove some convergence theorems for iterates of multipliers in Fourier algebras.

(a) If $\Vert u\Vert _{B(G)}\leq 1$ , then $\lim _{n\rightarrow \infty }\Vert u^{n}v\Vert _{A(G)}=\text{dist}(v,I_{{\mathcal{E}}_{u}})\text{ for }v\in A(G)$ , where $I_{{\mathcal{E}}_{u}}=\{v\in A(G):v({\mathcal{E}}_{u})=\{0\}\}$ .

(b) The sequence $\{u^{n}v\}_{n\in \mathbb{N}}$ converges for every $v\in A(G)$ if and only if ${\mathcal{E}}_{u}$ is clopen and $u({\mathcal{E}}_{u})=\{1\}.$

(c) If the sequence $\{u^{n}v\}_{n\in \mathbb{N}}$ converges weakly in $A(G)$ for some $v\in A(G)$ , then it converges strongly.

We consider the algebra of holomorphic functions on L ∞ that are symmetric, i.e. that are invariant under composition of the variable with any measure-preserving bijection of [0, 1]. Its spectrum is identified with the collection of scalar sequences such that is bounded and turns to be separable. All this follows from our main result that the subalgebra of symmetric polynomials on L ∞ has a natural algebraic basis.

For a locally compact group $G$ with left Haar measure and a Young function ${\rm\Phi}$, we define and study the weighted Orlicz algebra $L_{w}^{{\rm\Phi}}(G)$ with respect to convolution. We show that $L_{w}^{{\rm\Phi}}(G)$ admits no bounded approximate identity under certain conditions. We prove that a closed linear subspace $I$ of the algebra $L_{w}^{{\rm\Phi}}(G)$ is an ideal in $L_{w}^{{\rm\Phi}}(G)$ if and only if $I$ is left translation invariant. For an abelian $G$, we describe the spectrum (maximal ideal space) of the weighted Orlicz algebra and show that weighted Orlicz algebras are semisimple.

In the spectrum of the algebra of symmetric analytic functions of bounded type on ℓp, 1 ≤ p < +∞, and along the same lines as the general non-symmetric case, we define and study a convolution operation and give a formula for the ‘radius’ function. It is also proved that the algebra of analytic functions of bounded type on ℓ1 is isometrically isomorphic to an algebra of symmetric analytic functions on a polydisc of ℓ1. We also consider the existence of algebraic projections between algebras of symmetric polynomials and the corresponding subspace of subsymmetric polynomials.

In this paper we begin with a short, direct proof that the Banach algebra B(l1) is not amenable. We continue by showing that various direct sums of matrix algebras are not amenable either, for example the direct sum of the finite dimensional algebras is no amenable for 1 ≤ p ≤ ∞, p ≠ 2. Our method of proof naturally involves free group algebras, (by which we mean certain subalgebras of B(X) for some space X with symmetric basis—not necessarily X = l2) and we introduce the notion of ‘relative amenability’ of these algebras.

We develop a theory of ergodicity for unbounded functions ø: J → X, where J is a subsemigroup of a locally compact abelian group G and X is a Banach space. It is assumed that ø is continuous and dominated by a weight w defined on G. In particular, we establish total ergodicity for the orbits of an (unbounded) strongly continuous representation T: G → L(X) whose dual representation has no unitary point spectrum. Under additional conditions stability of the orbits follows. To study spectra of functions, we use Beurling algebras L1w(G) and obtain new characterizations of their maximal primary ideals, when w is non-quasianalytic, and of their minimal primary ideals, when w has polynomial growth. It follows that, relative to certain translation invariant function classes , the reduced Beurling spectrum of ø is empty if and only if ø ∈ . For the zero class, this is Wiener's tauberian theorem.

Let W+ denote the Banach algebra of all absolutely convergent Taylor series in the open unit disc. We characterize the finitely generated closed and prime ideals in W+. Finally, we solve a problem of Rubel and McVoy by showing that W+ is not coherent.

Let G be a locally compact group G (which may be non-abelian) and Ap(G) the p-Fourier algebra of Herz (1971). This paper is concerned with the Fourier algebra Al, p(G) = Ap(G) ∩ L1(G) and various relations that exist between Al, p(G), Ap(G) and G.

Let Un be the unit polydisc in Cn and let Tn be its distinguished boundary. It is shown that a function f ∈ H∞(Un) is inner if and only if ∣f(Φ)∣ = 1 for all Φ in the maximal ideal space of L∞(Tn). This generalizes a result of Csordas.