SUPERVISOR
رسول نصراصفهانی (استاد راهنما) مهشید دشتی (استاد مشاور)
STUDENT
Zohreh Rafizadeh
زهره رفیع زاده
FACULTY - DEPARTMENT
دانشکده ریاضی
DEGREE
Master of Science (MSc)
YEAR
1391
TITLE
Probability measures on [SIN] groups and some related ideals in group algebras
In this thesis , we present an expanded account of the work " Probability measures on [SIN] groups and some related ideals in group algebras " by Jaworski . Let G be a locally compact second countable group . Given a probability measure \\mu on G , the set J_{\\mu} = \\overline{{ \\varphi - \\varphi * \\mu \\varphi \\in L^{1}(G) } }, where the bar means closure in the L^{1} norm , is a left ideal in the group algebra L^{1}(G) . The annihilator of J_{\\mu} in L^{\\infty}(G) is a weakly* closed suace H_{\\mu} of L^{\\infty}(G) , containing constants and invariant under the action of G by left translations . The elements of H_{\\mu} are called bounded \\mu -harmonic functions . They are precisely those elements h \\in L^{\\infty}(G) which satisfy h(g) = \\int_{G}h(gg')\\mu(dg') (modulo the Haar measure) . The questions which we consider in this work have to do with the dependence of J_{\\mu} (and H_{\\mu} ) on \\mu . While J_{\\mu} and H_{\\mu} are completely determined by \\mu , it is well known that the correspondence \\mu \\rightarrow J_{\\mu} (and \\mu \\rightarrow H_{\\mu} ) is far from one to one . As a matter of fact , for many groups , including abelian groups and compact groups , J_{\\mu} and H_{\\mu} depend only on the closed subgroup , G_{\\mu} , generated by the support of \\mu : J_{\\mu} = L_{0}^{1}( G , G_{\\mu} ) = the kernel of the canonical mapping from L^{1}( G ) to L^{1}( G/G_{\\mu}) , and H_{\\mu} = L_{0}^{\\infty}( G , G_{\\mu} ) = { f \\in L^{\\infty}( G ) ; \ext{ f is invariant under the action of by right translations} } An interesting question is whether J_{\\mu} can retain enough information about to determine if \\mu has a nonzero continuous component . One of the main results of the present work is that this is never possible when G is a [SIN] group , where [SIN] denotes the 150%; MARGIN: 0cm 0cm 0pt" which admit arbitrarily small conjugation invariant neighbourhoods of the identity element . We prove that for every probability measure \\mu on a [SIN] group G there exists a discrete probability measure \u with J_{\\mu} = J_{\u} . We also consider some related questions for [SIN] groups . Given \\mu , does there exist an absolutely contin - uous or continuous probability measure \u with J_{\\mu} = J_{\u} ? Note that since J_{\\mu} = J_{\u} implies G_{\\mu} = G_{\u} , this question is not interesting without imposing some restrictions on , at least , G_{\\mu} . We show by example that when G_{\\mu} = G , there need not exist any absolutely continuous probability measure \u with J_{\\mu} = J_{\u} . Every ideal J_{\\mu} is contained in an ideal that is maximal in the set J(G) of all ideals of this form – and (when G \\in [SIN] ) we prove that for every maximal element I of J(G) there exists an absolutely continuous probability measure \\mu such that I = J_{\\mu} . In the course of these investigations some results about the ideals J_{\\mu} for general locally compact second countable groups are also obtained . For example , if N is a closed normal subgroup of G such that L_{0}^{1}( G , N ) \\subseteq J_{\\mu} for some \\mu , then N is necessarily amenable; when G contains a closed normal amenable subgroup such that G/N \\in [SIN] then for every ideal J_{\\mu} which is maximal in J(G) , there exist an absolutely continous probability measure \u' and a discrete probability measure \u" such that J_{\\mu} = J_{\u'} = J_{\u"} We also answer in the Question that if the set J_{d}(G) = { J_{\\mu} ; \\mu \\ : \ext{is a discrete probability measure on G } } has a largest element then G is necessarily amenable .
فرض کنیم G یک گروه فشردهی موضعی شمارای نوع دوم با اندازه هار چپ \\lambda باشد و L^{1}(G) و L^{\\infty}(G) به ترتیب جبر گروهی G و دوگان آن را نشان دهد. برای هر اندازه احتمال \\mu روی G مجموعهی J_{\\mu} = \\overline{{ \\varphi - \\varphi * \\mu ; \\varphi \\in L^{1}(G) }} که بستار آن تحت نرم \\Vert \\cdot \\Vert_{1} است یک ایدهآل چپ در جبر گروهی L^{1}(G) تشکیل میدهد. پوچساز J_{\\mu} در L^{\\infty}(G) ، زیرفضای بسته ضعیف * H_{\\mu} است که شامل آن دسته توابعی از L^{\\infty}(G) است که تحت انتقال چپ پایا میباشند. توابع - \\mu هارمونیک کراندار عناصری مانند h \\in L^{\\infty}(G) هستند که برای تقریباً هر g \\in G ، در رابطه زیر صدق میکنند h(g) = \\int_{G} h(gg^{\\prime}) d\\mu(g^{\\prime}). رده تمام توابع - \\mu هارمونیک را با H_{\\mu} نمایش میدهیم. ثابت میکنیم برای هر اندازه احتمال \\mu روی یک - SIN گروه G اندازه احتمال گسستهای مانند \u موجود است به طوری که . J_{\\mu} =J_{\u} همچنین برخی از سوالات مرتبط با - SIN گروها را نیز در نظر میگیریم. به ازای \\mu مفروض آیا اندازه احتمالی مانند \u موجود است به طوری که \u پیوسته یکنواخت و یا پیوسته باشد و داشته باشیم J_{\\mu} = J_{\u} ؟ توجه کنیم که J_{\\mu} =J_{\u} نتیجه میدهد G_{\\mu} = G_{\u} . این سوال بدون اعمال برخی از محدودیتها حداقل روی G_{\\mu} جالب توجه نیست. با یک مثال نشان میدهیم که وقتی G_{\\mu} = G نیازی نیست اندازه احتمال پیوستهی مطلقی مانند \u وجود داشته باشد به طوری که J_{\\mu} = J_{\u} . درحالی که G یک - SIN گروه است ثابت میکنیم که برای هر عنصر ماکسیمال I از J(G) یک اندازه احتمال پیوستهی مطلق مانند \\mu وجود دارد به طوری که I = J_{\\mu} . در طول بررسی حالات خاص، برخی از نتایج در مورد ایدهآلهای J_{\\mu} را ثابت میکنیم که در حالت کلی برای گروههای فشردهی موضعی شمارای نوع دوم نیز برقرار است. برای مثال، اگر N زیرگروه نرمال بستهای از G باشد به طوری که L_{0}^{1}( G , N ) \\subseteq J_{\\mu} به ازای اندازه دلخواه \\mu ، آنگاه N لزوماً میانگینپذیر است، به علاوه اگر G شامل یک زیرگروه میانگینپذیر نرمال بسته باشد به طوری که G / N یک - SIN گروه باشد، آنگاه برای هر ایدهآل J_{\\mu} که در J(G) ماکسیمال است، اندازه احتمال پیوستهی مطلقی مانند \u' و اندازه احتمال گسستهای مانند \u" موجود است به طوری که . J_{\\mu} = J_{\u'} = J_{\u"} همچنین نشان میدهیم که اگر مجموعهی J_{d}(G) = { J_{\\mu} : میباشد G اندازه احتمال روی \\mu } دارای بزرگترین عنصر باشد، آنگاه G میانگینپذیر است. در فصل اول، مفاهیم، نمادها و قضایای اساسی مورد نیاز برای فصلهای بعد را ارایه میدهیم. در فصل دوم، به مطالعه اندازههای مختلط متناهی و بخصوص اندازههای احتمال روی گروه فشردهی موضعی G و بررسی خواص M(G) میپردازیم و همچنین ایدهآل J_{\\mu} و توابع -\\mu هارمونیک کراندار را معرفی میکنیم که زمینه اصلی مورد بحث در فصلهای بعد میباشند. در فصل سوم، زیر فضاهای خاصی از L^{1}( G ) و L^{\\infty}( G ) در نظر میگیریم که ارتباط نزدیکی با J_{\\mu} و H_{\\mu} خواهند داشت. در ادامه، به تعریف زیرگروههایی خاص از G میپردازیم و زیرفضاهای متناظر با آنها را بررسی میکنیم. به علاوه، شرایط لازم برای میانگینپذیری زیرگروههای تعریف شده در بخش اول را بیان میکنیم. در نهایت، به کمک فضاهای خارج قسمتی، روابط بین ایدهآل J_{\\mu} و ایدهآل متناظر در فضای خارج قسمتی را مورد مطالعه قرار میدهیم. در آخرین فصل از این پایاننامه، روی - SIN گروهها متمرکز میشویم و ضمن معرفی - SIN گروهها، و بررسی خواص ایدهآل J_{\\mu} روی این دسته از گروهها را بررسی میکنیم.