No Arabic abstract
For a tuple $A=(A_0, A_1, ..., A_n)$ of elements in a unital Banach algebra ${mathcal B}$, its {em projective spectrum} $p(A)$ is defined to be the collection of $z=[z_0, z_1, ..., z_n]in pn$ such that $A(z)=z_0A_0+z_1A_1+... +z_nA_n$ is not invertible in ${mathcal B}$. The pre-image of $p(A)$ in ${cc}^{n+1}$ is denoted by $P(A)$. When ${mathcal B}$ is the $ktimes k$ matrix algebra $M_k(cc)$, the projective spectrum is a projective hypersurface. In infinite dimensional cases, projective spectrums can be very complicated, but also have some properties similar to that of hypersurfaces. When $A$ is commutative, $P(A)$ is a union of hyperplanes. When ${mathcal B}$ is reflexive or is a $C^*$-algebra, the {em projective resolvent set} $P^c(A):=cc^{n+1}setminus P(A)$ is shown to be a disjoint union of domains of holomorphy. Later part of this paper studies Maurer-Cartan type ${mathcal B}$-valued 1-form $A^{-1}(z)dA(z)$ on $P^c(A)$. As a consequence, we show that if ${mathcal B}$ is a $C^*$-algebra with a trace $phi$, then $phi(A^{-1}(z)dA(z))$ is a nontrivial element in the de Rham cohomology space $H^1_d(P^c(A), cc)$.
The use of the properties of actions on an algebra to enrich the study of the algebra is well-trodden and still fashionable. Here, the notion and study of endomorphic elements of (Banach) algebras are introduced. This study is initiated, in the hope that it will open up, further, the structure of (Banach) algebras in general, enrich the study of endomorphisms and provide examples. In particular, here, we use it to classify algebras for the convenience of our study. We also present results on the structure of some classes of endomorphic elements and bring out the contrast with idempotents.
Associated to a nonzero homomorphism $varphi$ of a Banach algebra $A$, we regard special functionals, say $m_varphi$, on certain subspaces of $A^ast$ which provide equivalent statements to the existence of a bounded right approximate identity in the corresponding maximal ideal in $A$. For instance, applying a fixed point theorem yields an equivalent statement to the existence of a $m_varphi$ on $A^ast$; and, in addition we expatiate the case that if a functional $m_varphi$ is unique, then $m_varphi$ belongs to the topological center of the bidual algebra $A^{astast}$. An example of a function algebra, surprisingly, contradicts a conjecture that a Banach algebra $A$ is amenable if $A$ is $varphi$-amenable in every character $varphi$ and if functionals $m_varphi$ associated to the characters $varphi$ are uniformly bounded. Aforementioned are also elaborated on the direct sum of two given Banach algebras.
A Banach algebra $A$ is said to be a zero Jordan product determined Banach algebra if every continuous bilinear map $varphicolon Atimes Ato X$, where $X$ is an arbitrary Banach space, which satisfies $varphi(a,b)=0$ whenever $a$, $bin A$ are such that $ab+ba=0$, is of the form $varphi(a,b)=sigma(ab+ba)$ for some continuous linear map $sigma$. We show that all $C^*$-algebras and all group algebras $L^1(G)$ of amenable locally compact groups have this property, and also discuss some applications.
A Banach algebra $A$ is said to be zero Lie product determined if every continuous bilinear functional $varphi colon Atimes Ato mathbb{C}$ with the property that $varphi(a,b)=0$ whenever $a$ and $b$ commute is of the form $varphi(a,b)=tau(ab-ba)$ for some $tauin A^*$. In the first part of the paper we give some general remarks on this class of algebras. In the second part we consider amenable Banach algebras and show that all group algebras $L^1(G)$ with $G$ an amenable locally compact group are zero Lie product determined.
$C^*$-algebras, group algebras, and the algebra $mathcal{A}(X)$ of approximable operators on a Banach space $X$ having the bounded approximation property are known to be zero product determined. We are interested in giving a quantitative estimate of this property by finding, for each Banach algebra $A$ of the above classes, a constant $alpha$ with the property that for every continuous bilinear functional $varphicolon A times Atomathbb{C}$ there exists a continuous linear functional $xi$ on $A$ such that [ sup_{Vert aVert=Vert bVert=1}vertvarphi(a,b)-xi(ab)vertle alphasup_{mathclap{substack{Vert aVert=Vert bVert=1, ab=0}}}vertvarphi(a,b)vert. ]