ترغب بنشر مسار تعليمي؟ اضغط هنا

On the structure of the set of algebraic elements in a Banach algebra and their liftings

97   0   0.0 ( 0 )
 نشر من قبل Endre Makai Jr.
 تاريخ النشر 2018
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

We generalize earlier results about connected components of idempotents in Banach algebras, due to B. SzH{o}kefalvi Nagy, Y. Kato, S. Maeda, Z. V. Kovarik, J. Zemanek, J. Esterle. Let $A$ be a unital complex Banach algebra, and $p(lambda) = prodlimits_{i = 1}^n (lambda - lambda_i)$ a polynomial over $Bbb C$, with all roots distinct. Let $E_p(A) := {a in A mid p(a) = 0}$. Then all connected components of $E_p(A)$ are pathwise connected (locally pathwise connected) via each of the following three types of paths: 1)~similarity via a finite product of exponential functions (via an exponential function); 2)~a polynomial path (a cubic polynomial path); 3)~a polygonal path (a polygonal path consisting of $n$ segments). If $A$ is a $C^*$-algebra, $lambda_i in Bbb R$, let $S_p(A):= {ain A mid a = a^*$, $p(a) = 0}$. Then all connected components of $S_p(A)$ are pathwise connected (locally pathwise connected), via a path of the form $e^{-ic_mt}dots e^{-ic_1t} ae^{ic_1t}dots e^{ic_mt}$, where $c_i = c_i^*$, and $t in [0, 1]$ (of the form $e^{-ict} ae^{ict}$, where $c = c^*$, and $t in [0,1]$). For (self-adjoint) idempotents we have by these old papers that the distance of different connected components of them is at least~$1$. For $E_p(A)$, $S_p(A)$ we pose the problem if the distance of different connected components is at least $min bigl{|lambda_i - lambda_j| mid 1 leq i,j leq n, i eq jbigr}$. For the case of $S_p(A)$, we give a positive lower bound for these distances, that depends on $lambda_1, dots, lambda_n$. We show that several local and global lifting theorems for analytic families of idempotents, along analytic families of surjective Banach algebra homomorphisms, from our recent paper with B. Aupetit and M. Mbekhta, have analogues for elements of $E_p(A)$ and $S_p(A)$.



قيم البحث

اقرأ أيضاً

60 - E. Makai , Jr. , Jaroslav Zemanek 2016
Generalizing earlier results about the set of idempotents in a Banach algebra, or of self-adjoint idempotents in a $C^*$-algebra, we announce constructions of nice connecting paths in the connected components of the set of elements in a Banach algebr a, or of self-adjoint elements in a $C^*$-algebra, that satisfy a given polynomial equation, without multiple roots. In particular, we will prove that in the Banach algebra case every such non-central element lies on a complex line, all of whose points satisfy the given equation. We also formulate open questions.
Let $G$ be a complex simple Lie group and let $g = hbox{rm Lie},G$. Let $S(g)$ be the $G$-module of polynomial functions on $g$ and let $hbox{rm Sing},g$ be the closed algebraic cone of singular elements in $g$. Let ${cal L}s S(g)$ be the (graded) id eal defining $hbox{rm Sing},g$ and let $2r$ be the dimension of a $G$-orbit of a regular element in $g$. Then ${cal L}^k = 0$ for any $k<r$. On the other hand, there exists a remarkable $G$-module $Ms {cal L}^r$ which already defines $hbox{rm Sing},g$. The main results of this paper are a determination of the structure of $M$.
A subset $A$ of a Banach space is called Banach-Saks when every sequence in $A$ has a Ces{`a}ro convergent subsequence. Our interest here focusses on the following problem: is the convex hull of a Banach-Saks set again Banach-Saks? By means of a comb inatorial argument, we show that in general the answer is negative. However, sufficient conditions are given in order to obtain a positive result.
82 - Hiroki Yagisita 2019
Let $A$ be a real commutative Banach algebra with unity. Let $a_0in Asetminus{0}$. Let $mathbb Z a_0:={na_0}_{nin mathbb Z}$. Then, $mathbb Z a_0$ is a discrete subgroup of $A$. For any $nin mathbb Z$, the Frechet derivative of the mapping $$x , in , A mapsto x+na_0 , in , A$$ is the identity map on $A$ and, especially, an $A$-linear transformation on $A$. So, the quotient group $A/(mathbb Z a_0)$ is a $1$-dimensional $A$-manifold and the covering projection $$x , in , A mapsto x+mathbb Z a_0 , in , A/(mathbb Z a_0)$$ is an $A$-map. We call $A/(mathbb Z a_0)$ the $1$-dimensional $A$-cylinder by $a_0$. Let $T$ be a compact Hausdorff space. Suppose that there exist $t_1in T$ and $t_2in T$ such that $t_1 ot=t_2$ holds. Then, the set $C(T;mathbb R)$ of all real-valued continuous functions on $T$ is a real commutative Banach algebra with unity and $mathbb R , subsetneq , C(T;mathbb R)$ holds. In this paper, we show that there exists $a_0 , in , C(T;mathbb R)setminus mathbb R$ such that for any $k, in , mathbb N$, the $1$-dimensional $C(T;mathbb R)$-cylinder $(C(T;mathbb R))/(mathbb Z a_0)$ by $a_0$ cannot be embedded in the finite direct product space $(C(T;mathbb R))^k$ as a $C(T;mathbb R)$-submanifold.
89 - V.A. Babalola 2004
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.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا