Гомологические свойства гильбертовых и близких к ним модулей над С *-алгебрами тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

имени М. В. Ломоносова _____

РГБ ОД

Механико-математический факультет

2 2 ОКТ 2001

На правах рукописи УДК 517.986.22

ПОЛЯКОВ МАКСИМ ЕВГЕНЬЕВИЧ

ГОМОЛОГИЧЕСКИЕ СВОЙСТВА ГИЛЬБЕРТОВЫХ И БЛИЗКИХ К НИМ МОДУЛЕЙ НАД С*-АЛГЕБРАМИ

01.01-01 — математический анализ

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М. В. Ломоносова

Механико-математический факультет

На правах рукописи УДК 517.986.22

ПОЛЯКОВ МАКСИМ ЕВГЕНЬЕВИЧ

ГОМОЛОГИЧЕСКИЕ СВОЙСТВА ГИЛЬБЕРТОВЫХ И БЛИЗКИХ К НИМ МОДУЛЕЙ НАД С*-АЛГЕБРАМИ

01.01.01 — математический анализ

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Работа выполнена на кафедре теории функций и функционального анализа механико-математического факультета Московского государственного университета им. М. В. Ломоносова

Научный руководитель:

доктор физико-математических наук, профессор А. Я. Хелемский Официальные оппоненты: доктор физико-математических наук, профессор Е. А. Горин доктор физико-математических наук, профессор Е. В. Троицкий Ведущая организация:

Казанский государственный университет

Защита диссертации состоится _" 2001 г. в 16 часов 15

минут на заседании диссертационного совета Д.053.05.04 при Московском государственном университете им. М. В. Ломоносова по адресу: 119899, Москва, ГСП, Воробьевы Горы, МГУ, механико-математический факультет, аудитория 10-24.

С диссертацией можно ознакомиться в библиотеке механико- математического факультета МГУ (Главное Здание, 14 этаж).

Автореферат разослан " 0~ " р^С^ 2001 г.

Ученый секретарь диссертационного совета

Д.053.05.04 при МГУ, профессор

Т. П. Лукашенко

Общая характеристика работы Актуальность темы

Теория С*-алгебр в настоящее время является важной частью функционального анализа. Это объясняется как содержательной стороной самой теории, так и широтой и многообразием ее приложений к проблемам некоммутативной геометрии, квантовой теории поля и т. д. Многие из важнейших объектов анализа такие как пространство всех непрерывных функций па компакте, снабженное операцией поточечного умножения, или же пространство всех линейных непрерывных операторов на гильбертовом пространстве, снабженное естественной композицией операторов, оказываются СГ-алгебрами. Одним из направлений в исследовании С'-алгебр и более общих банаховых алгебр является изучение их гомологических свойств, аналогичное соответствующей гомологической теории "чистых" алгебр, созданной Г. Хохшильдом1,2, С. Эиленбергом1. С. Маклейном' и другими учеными. Гомологическая теория банаховых алгебр была подробно разработана Б. Джонсоном0'1, Л. Я. Хелсмским^ и другими исследователями.

Важнейшими понятиями гомологической теории банаховых алгебр являются определения проективного, ипъективного и плоского модулей. Одно из основных направлений исследований это изучение необходимых и достаточных условий проективности, шгьективпости и плоскости. На этом пути обнаружены разнообразные связи между гомологическими и негомологическнми свойствами банаховых модулей. В гомологических терминах можно описать такие важные понятия современной алгебры, топологии и функционального анализа, как аменабельность, паракомпактность и т. д.

'Ilochschild G. Oil the (.«homology groups оГ an associative algebra. Aim. of Math . v. Ш 1945, 58-G7

2Hochsehild G. Cohomology and representations of associative algcbias. Duke Math. !.. 1917. I I. 921 948

'Hochschild G. Relative homological algebra. Trans. Anier. Math. Soc..l93G. v. 82. 2 IG 219

'Eilenberg S., MacLane S. Group extensions and homology. Ann. of Math.. 1912. v. 1,4. 7j7-831

"'МаклеГш С. Гомология, M.: Мир. 19GG

Mohüson В. Ii. Continuity of derivations on commutative Banach algebras. Aniet. I. Math.. 19G9. v. 91, p. 1-10

7Johnson В. E. The Wedderburn decomposition of Banach algebras with finite dimensional radical. Amor. .1. Math.. 1968. v. 90. p. 80G-87G

"Хелемский А. Я. Гомология ii банаховых и топологических алк'брах. M.: IHi-i-.o МГУ. 19SG

Основные понятия гомологической теории операторных алгебр — это пространственные проективность, инъективность и плоскость этих алгебр. Наиболее глубокие результаты были получены при изучении пространственной проективности самосопряженных алгебр, где Хелемскии сформулировал полный критерий для этого свойства в негомологичсскнх терминах9. Одной из основных тем диссертации является дальнейшее развитие данной тематики, позволяющее обобщить результаты Хелем-ского также и на некоторые классы несамосопряженных операторных алгебр.

Значительно хуже поддаются исследованию тесно связанные проблемы пространственной инъсктивиости и плоскости, совпадающие в самосопряженном случае. Если для песамосопряженного случая Ю. О. Головин предложил примеры10 пространственно нениъективных и пенлос-ких алгебр, то для самосопряженного случая соответствующая проблема (включенная А. Я. Хелемским в список задач11) оставалось открытой до последнего времени. 13 данной диссертации построен пример пространственно неинъективной и неплоской алгебры фон Нойманна YY^Fo), которая порождена свободной группой F2 с двумя образующими — простейшим примером неаменабельной группы12. При этом причины неамепа-бельности и неинъективности оказываются близки. Известно также, что из аменабельности группы G следует пространственная инъективность и плоскость алгебры W'(G). Естественное предположение об эквивалентности этих свойств в настоящее время не доказано н не опровергнуто.

Кроме того, в диссертации определена гомологическая размерность левого С(Л)-модуля L^fi), рассмотренного относительно операции поточечного умножения функций (здесь Q. - ыетризуемый компакт, снабженный борелевской мерой). Аналогичные рассуждения позволяю т jan-жс получить новое доказательство для критерия проективности произвольного сепарабельного упитальиого гильбертового С($2)-модуля (оно является частным случаем общего критерия проективности произвольного гильбертового модуля над С*-алгеброй, доказанного Хелемским на основании иного подхода).

9Helemskii A. Ya. Description of spatially piojcctive operator 0*-algebias. and апнш<1 it. Banach Algebras '97, Proceeding of the 13th International Conference 011 Bauach Algebras. Walter de Grnyter, Berlin. New York, 1998

"Головин 10. О. Пространственная плоскость и шп.сктивноггь неразложимых C'SL-алгебр. Мат. заметки 63:1 (1998), 9 20

"Ilclemskii A. Ya. 31 problems of the homology of the algebras of analysis. Linear and complex analysis problem book 3. Part I (V. P. Havin. X. K. Xikolski. eds.. Lecture Notes in Math. 1573, Springer-Verlag, Berlin, 1991), 5-1-78

иГрннлиф Ф. Инвариантные средине на топологических группах. М.: .Мир. 1973

Методы исследования

При исследовании используются различные методы гомологической теории банаховых алгебр, теории аменабельных групп, функционального и гармонического анализа.

Цель работы

Исследовать гомологические свойства (пространственную проективность, инъективность, плоскость, гомологические размерности) для различных классов банаховых модулей над С*-алгебрами.

Научная новизна

Основные результаты диссертации являются новыми и состоят в следующем:

1) Описан пример пространственно неинъективпой и неплоской алгебры фон Нойманна.

2) Установлен критерий пространственной проективности для несамосопряженных операторных алгебр, обладающих каноническим представлением (в частности, этим представлением обладают все самосопряженные операторные алгебры).

3) Установлен критерий проективности для широкого класса банаховых модулей над алгеброй С(П), где П — метризуемый компакт с бо-релевской мерой (этот класс содержит все сепарабельные унптальные гильбертовы модули, а также модуль (П)). Кроме того, для модуля ¿1(П) определены его гомологические размерности.

Теоретическая и практическая значимость

Результаты диссертации носят теоретический характер и могут быть использованы в различных вопросах гомологической теории банаховых алгебр, теории операторных алгебр, теории аменабельных групп.

Апробация работы

Результаты работы обсуждались на научно-исследовательских семинарах "Алгебры в анализе" под руководством профессора А. Я. Хелем-ского, на семинаре "Функциональные методы в топологии" под руководством профессоров Ю. П. Соловьева и А. С. Мищенко и на XXII конференции молодых ученых МГУ.

Публикации

Основные результаты диссертации опубликованы в трех работах автора, список которых приводится в конце автореферата.

Структура диссертации

Диссертация состоит из введения, и пяти основных глав, разбитых на параграфы. Текст диссертации изложен на 74 печатных листах. Список литературы содержит 39 наименований.

Содержание работы

Глава 1. В первой главе содержится перечень необходимых определений и обозначений. Приведем некоторые из них, которые играют ключевую роль в дальнейшем изложении. Мы будем называть левый Л-модуль X проективным, если морфизм

ттх ■ А+ ® X -> X, 7Гд'(а ® х) — а ■ х, а 6 А+, х Е X,

называемый канонической проекцией для X, есть ретракция (другими словами, имеет правый обратный морфизм). Левый Л-модуль X будем называть инъектпивпым, если морфизм

7гд- : X В{А+, X), (7гл-[х-])(а) = а-х.ае А+. х е X.

называемый каноническим вложением для X. есть коретракцня (другими словами, имеет левый обратный морфизм). Для категории униталь-ных модулей в определениях канонической проекции и канонического вложения можно заменить алгебру А+ на алгебру А.

Для левого модуля X проективной резольвентой над X называется допустимый комплекс проективных модулей

О X Р0 Р] ...

Длиной резольвенты называется наименьшее число п такое, что Р^ — О для всех к > п. Если такого числа пет, то длина считается равной бесконечности. Длина самой короткой проективной резольвенты над X называется проективной гомологической размерностью модуля X.

Для случая произвольной равномерно замкнутой операторной алгебры А С В (II) (в частности, С*-алгебры) в некотором гильбертовом пространстве Н, наиболее естественным примером левого Л-модуля является само пространство Н, рассмотренное с умножением а ■ 1г = «(/г),а 6

А,кеН. Напомним, что алгебру А принято называть пространственно проективной (соответственно, инъективной, плоской), если соответствующим свойством (проективностью, инъективностыо. плоскостью) обладает модуль II.

Глава 2. Вторая глава содержит основной результат диссертации — пример пространственно неинъективной и пространственно неплоской алгебры фон Нойманна.

Указанным примером является алгебра фон Нойманна. порожденная свободной группой с двумя образующими а и Ь. Рассмотрим гильбертово пространство /2(Р2), ортонор.мировапным базисом которого является множество индикаторов элементов з группы Р;>. Каждом}' элементу р & Р2 можно сопоставить оператор левого сдвига Тр : 12{Т?2) ~> 2) : ¿5 ь-> 5рз. Ясно, что Тр £ В(12(¥2)). Рассмотрим минимальную алгебру фон Нойманна Л = ^^(Рг) С В(12(¥2)), порожденную этим семейством операторов.

Теорема 1 Алгебра фон Нойманна А = И^^)) не является пространственно плоской и пространственно инъективной.

Кратко изложим основную идею этого доказательства. Достаточно показать, что всякий морфнзм левых Л-модулей 2 : В(А,12(Р^)) —» /2(Рг) переводит отображение #[£<.] в ноль (здесь 6Г — индикатор единицы с Е Р2: 7г : /2(Р2) —> В(А,12(Р2)) - каноническое вложение). В этом случае очевидно, что каноническое вложение тг не обладает левым обратным морфизмом Л-модулей.

Пусть для некоторого отображения 5 6 В(А.12(Рг)) норма элемента (Е^-1 ■ 5 при подходящем выборе чисел — 1.....п растет

.медленнее, чем у/п (такие отображения 5 мы будем называть отображениями медленного роста). Рассмотрим произвольный морфнзм 'I : В(АА2(¥2)) -> 12(¥2). Тогда ||• 2(5)|| < тМГ]=1ТяЧ) ■ 5[|. Од-пако при подходящем выборе чисел к] левая часть неравенства растет как ^(б^Ц-Уп^ то есть быстрее, чем правая часть. Поэтому /.(Б) — 0. Этот метод позволяет установить, что всякое отображение медленного роста лежит в ядре любого морфнзма 2 : В{А,12(Р2)) 12(Р2).

Однако отображение тг[<У не является отображением медленного роста. Но при помощи некоторых алгебраических выкладок его можно выразить через такие отображения. Более точно, обозначим символом Ло множество слов свободной группы Р^ с двумя образующими и и Ь. несократимая запись которых закапчивается на Ь в ненулевой степени (в этот класс включим и единицу е €Е Рг)- Введем оператор Рл0 ■ 12{¥2) —> 12(¥2): проектирующий пространство 12{¥2) на подпространство 12(Ао) С /2(Р2)-

Далее,'рассмотрим композицию Рд0отг[<у £ B(A,l2(F2)) операторов тг[<5е] : А -» l2(F2) и Га0 ■ l2{F2) -»■ ¿2(F2). Оказывается, что если отображение РАо ° тг [<У является отображением медленного роста, то отображение тг [<$к] переводится любым морфизмом Z : B(A.l2(F2)) —> /2(F2) в ноль. Эти доказательство приведено в первом параграфе главы.

Итак, необходимо показать, что при подходящем выборе чисел kj,j = 1 ,...,п норма отображения {Y^-iT^) ■ {Р.а0 ° ^ И) растет медленнее, чем y/Ti. Во втором параграфе показано, что эта норма не превосходит величины J | zk>\ dz, где Т — единичная окружность {2 : |г| — 1} т

комплексной плоскости с естественной лебеговой мерой (длиной .туги, деленной на 2тг). Поэтому нужное нам утверждение сводится к изучению некоторых асимптотических свойств интегралов по комплексной окружности Т, которое является основным содержанием третьего параграфа главы.

Глава 3. В третьей главе работы изложен критерий пространственной проективности для одного класса несамосопряженных операторных алгебр. Это условие является естественным обобщением доказанного А. Я. Хслемским критерия пространственной проективности С*-алгебр13, который мы сформулируем ниже. Далее символами ® и 0 будут обозначаться, соответственно, гильбертово тензорное произведение и ортогональная ¿2-сумма гильбертовых пространств. Символом S будет обозначаться проективное тензорное произведение банаховых пространств. Напомним, что левый модуль II над С*-алгеброй А называется гильбертовым, если он является гильбертовым пространством и для любых х,у Е II, а £ А выполнено условие (а-х,у) = (х,а* -у). Проекторы p,q £ А называются эквивалентными по Мюррею-фон Нойманну, если существует такой элемент и £ А, что р = н*и и q — ии". Проектор q £ А называется элементарным, если подалгебра qAq одномерна. В этом случае можно рассмотреть левый Л-модуль IIq — Aq, который является гильбертовым относительно скалярного произведения, корректно определенного формулой (aq, bq)q = qb*aq. Для любого гильбертова пространства Кц введем левый гильбертов модуль Нц ® Kq, действие па котором корректно задано формулой а • (bq ® k) = abq <£• к, а £ A, bq £ Aq = Н,г к £ А'(/. Таким образом, элемент а £ А действует на модуле Нч & Кч как оператор вида а 0 1, где а £ В(НЧ).

Оказывается, что для любой С*-алгсбры А С В(Н) гильбертов модуль Н может быть представлен с точностью до изометрического изоморфиз-

"Hclemskii A. Ya. Projective homological classification of C'-algebras, Communication in Algebra, 26(3), 977 996, 1998

ма гильбертовых модулей в виде прямой суммы (~;едД? ® Кц) @ Но-. где Л — некоторое максимальное множество попарно неэквивалентных по Мгоррею-фон Пойманну элементарных проекторов из Л, Нч — система левых Л-модулей вида Aq, Kq — система произвольных гил1.бертопых пространств, а гильбертов модуль Щ не содержит ни одного подмодуля, изометрически изоморфного левому модулю вида Нц ни для какого q Е А. При этом для любого проектора q 6 Л н векторов h\,h'> £ Нч существует оператор /?,[ о/г2 £ Л, который по определению равен нулю на ортогональном дополнении к модулю Hq®Kq и переводит произвольный элемент h 8 к £ Hq ® Kq п (h, Л.2)/ii ® к.

В этих обозначениях справедлива следующая теорема, которая была доказана Хелемским.

Теорема 2 Действующая на гильбертовом модуле II ss (ФчелНч 3 Kq) © Hq С-алгебра А С В(Н) пространственно проективна тогда и только тогда, когда для любого проектора q £ Л справедлива оценка min{dim(//f/).dim(A'/)} < 00, а подмодуль Но обладает тривиальным умножением и в случае неунит,альной алгебры А равен нулю.

Теперь сформулируем аналог этой теоремы для нссамос.опряженных операторных алгебр. Каноническим предст,авлением модуля Н мы будем называть его разложение с точностью до изометрического изоморфизма Л-модулей в виде прямой суммы гильбертовых пространств вида II — (ф;,еФНр 0 Кр) © Яо, для которой выполнены следующие условия:

1) Для каждого индекса р £ Ф элемент а £ А действует на Л-модуле Нр Кр как оператор вида а ® 1. где а £ В(Нр). Кроме того, Но — тривиальный модуль относительно действия алгебры Л.

2) Для каждого индекса р £ Ф существует вектор Ы £ Нр такой, что для любого вектора hx £ Нр алгебра Л содержит оператор hi о /¿2.

(Здесь, как и выше, символом hi oh, обозначен оператор из Л, равный нулю на ортогональном дополнении к подмодулю Нр®Кр и переводящий произвольный элемент h ® к £ Нр ® Кр в (h, h-y)h1 ® к). Множество всех удовлетворяющих условию 2) векторов ho образует замкнутое линейное подпространство в Нр, которое мы обозначим через Вр.

Как показал С. В. Табалдыев14, для несамосоиряженноп операторной подалгебрр>т в В(Н) условие проективности модуля Н уже не влечет существование канонического представления для этого модуля.

"Tabaklyev S.B. The Sobolev algebra and indecomposable spatially projective algebras, Topological Homology. Helemskii's Moscow Seminar. Huntington. X. V.: Nova Science Publishers Inc.. 2000, 201-210.

Теорема 3 Если А-модулъ H обладает каноническим представлением II и {@paIIp®Kp)®Ho, п10 условие его проективности эквивалентно одновременному выполнению следующих условий:

1) Для любого р G Ф верно условие min(dim(#p), dim(A'p)) < эо.

2) Существует некоторое поло'лситпелъное число N такое, что для любого индекса р G Ф справедливо неравенство min(diiii(i?;,). dim(/íp)) < Лг • dim(В„).

3) Если тривиальный подмодуль Но не равен нулю, то алгебра, А обладает правой единицей.

Отметим, что второе условие для случая С*-алгсбр выполняется всегда, поскольку dim(#,,) = dim(Z?;,). Достаточность этих условий была впервые доказана Хелемским15.

Главы 4 и 5. В четвертой и пятой главах диссертации рассмотрен случай, когда С*-алгебра А является алгеброй непрерывных функций С(П) на метризуемом компакте П. Известно11*, что каждый сепарабельный упитал ьпый гильбертов С(П)-модуль изометрически изоморфен гильбертову модулю, определенному следующим способом. Пусть заданы локально компактное пространство 0. положительная регулярная борелевская мера fi па этом пространстве (при этом /¿(0) = 1) и непрерывное отображение К : 0 —» Q. Определим внешнее произведение элемента алгебры / G С(Í1) и элемента модуля g е E2(Q) как поточечное произведение функций g 6 L2(0) и / о К 6 С(0). Тогда £2(0) является уннтальным гильбертовым модулем над С (fi).

В четвертой главе диссертации рассматриваются условия проективности банаховых модулей над алгеброй С(П). Заметим, что условия проективности модуля L2(Q) могут быть получены из общих теорем о проективности гильбертова модуля над С-алгсброй1'. Тем не менее в диссертации независимо доказан критерий проективности модуля А2(0), так как эти рассуждения непосредственно переносятся также и на случай левого модуля над алгеброй С (ft) с операцией поточечного умножения (корректно определенного для случая, когда мстрнзуемый компакт 9. снабжен борелевской мерой).

Теорема 4 Рассмотрим все изолированные точки хь,к = 1,...,р на

'"llclcmskíi A. Ya. Description of spatially projective operator C'-algebras. and aiound it. Raiwcli Algebras ;97. Proceeding of the 13th International Conference on Banacli Algebras. Walter de Gruyter, Berlin. New York, 1998

leDouglas R. G., Paulsen V. I. Hilbeit. modules over function algebras. Harlow: Longman Sci. and Tcch., 1989

"Helemskii A. Ya. Projective liomological classification of C*-algebras. Communication in Algebra, 26(3), 977-990, 1D98

компакте О., прообразы которых КС © относительно отображения К : 0 —» О. имеют положительную меру. Модуль £2(0) проективен над алгеброй С(£2) тогда и только тогда, когда сумма, мер этих прообразов равна мерс всего пространства 0.

Для случая С(П)-модуля -^(П) это условие может быть переформулировано следующим образом.

Теорема 5 Рассмотрим все изолированные точки х^.к = 1 , ...,р на компакте П, мера которых положительна. Модуль ¿'(П) проективен над алгеброй С(П) тогда и только тогда, когда сумма мер этих точек равна мере всего компакта П.

В шестой, заключительной главе диссертации вычисляется проективная гомологическая размерность С(П)-модуля Ь](П) для случая метри-зуемого компакта П сборелевской мерой. Оказывается, для этого модуля всегда существует проективная резольвента длины 1. Это связано с возможностью простого описания пространства С(П) & (в силу теоремы Гротендика существует изометрический изоморфизм С(П) ~ /О- гДе " пространство измеримых абсолютно интегрируемых отображений из в С(П)).

Теорема 6 Гомологическая размерность модуля равна нулю,

если сумма мер введенных выше точек .гд. 6 Г2.А: ~ I.....р равна мерс всего компакта (1, и единице в противном случае.

Автор приносит глубокую благодарность своему научному руководителю профессору А. Я. Хелемскому за постоянное внимание к работе и ряд ценных советов, стимулировавших получение новых результатов.

Публикации автора по теме диссертации

[1] Поляков М. Е. Гомологические размерности модулей над алгеброй С{Х), Вестник Московского университета, сер.1, математика, меха-пика, 2000, Г4, стр. 52-55

[2] Поляков М. Е. Критерий пространственной проективности одного класса несамосопряженных операторных алгебр. Казань, Известия Вузов. Математика, Г7, 2001, стр. 32-42

[3] Поляков М. Е. Пример пространственно неплоской алгебры фон Ноймапна, Москва, Труды XXII конференции молодых ученых механико- математического факультета МГУ (17-22 апреля 2000 г.), 2001, стр.134-137

1 Подготовительные замечания

2 Пространственно неплоские алгебры фон Нойманна

2.1 Отображения медленного роста.

2.2 Свойства гильбертовозначных функций.

2.3 Оценки интегралов по окружности Т

3 Пространственно проективные операторные алгебры, обладающие каноническими представлениями

3.1 Правый обратный морфизм к канонической проекции

3.2 Первое условие проективности.

3.3 Второе условие проективности

4 Проективность модулей Ll(Q) и Ь2(0) над алгеброй С(Г2)

4.1 Достаточное условие проективности.

4.2 Первое необходимое условие проективности

4.3 Второе необходимое условие проективности.

4.4 Основной критерий проективности.

5 Гомологическая размерность С(0)-модуля L^Q)

5.1 Пространство CL(Q х Q) и его свойства.

5.2 Ограниченная аппроксимативная единица на ker 7г

5.3 Существование правого обратного морфизма к морфизму в' : CL(Q хП)® ВС0{П х О) ker тг.

Основная тема этой работы — изучение гомологических свойств гильбертовых модулей над С*-алгебрами. Одним из основных примеров является гильбертово пространство Н, рассмотренное как модуль над самосопряженной операторной алгеброй А С В{Н) с естественным умножением а ■ h = a(h),a 6 A, h £ Н. Другой важный пример — это модуль L2(Q) над алгеброй С(0) с поточечным умножением (здесь Q — метризуемый компакт с борелевской мерой). Близкими свойствами к L2(Q,) обладает (негильбертов) модуль над той же алгеброй.

Гомологические свойства (проективность, плоскость, гомологические размерности) вышеперечисленных модулей и будут рассмотрены в данной работе.

Исторический обзор литературы по этим вопросам естественно начать с упоминания доказанной в конце XIX века теоремы Гильберта о сизигиях [30, 8]. Эта теорема (сформулированная современным языком) утверждает, что для произвольного модуля над кольцом многочленов от т переменных над полем существует его свободная резольвента длины т.

В работах Г. Хохшильда [31, 32] были определены группы когомо-логий Нп(А,Х) алгебры А с коэффициентами в бимодуле X. Хох-шильд также рассмотрел применение этих групп к исследованию радикальных расширений алгебр. Несколько ранее С. Эйленберг и С. Маклейн [19] дали основополагающий образец общегомологических конструкций в рамках теории групп. Основные идеи относительной гомологической алгебры (формального категорного подхода к введению гомологических понятий) были впервые высказаны Хох-шильдом [33] и развиты А. Хеллером [29], С. Маклейном [8, гл. IX] и С. Эйленбергом-Дж. Муром [20]. В частности, группы Ext (как группы расширений) были введены для п = 1 Эйленбергом и Маклейном [19], а для всех п — Картаном и Эйленбергом (с помощью резольвент)

ИВ 1962 г. Г. Камовиц [35] дал сходные определения когомологий в терминах банаховых алгебр и рассмотрел их приложения к сингулярным расширениям банаховых алгебр (при некоторых ограничениях, впоследствии снятых А. Гишарде [1]). Напомним о приложениях первых трех групп когомологий Хохшильда. Группа Н1(А,Х) равна нулю тогда и только тогда, когда всякое дифференцирование алгебры А со значениями в бимодуле X (т.е. линейный непрерывный оператор D : А X такой, что D(ab) = D{a)b + aD(b)) является внутренним (т.е. имеет вид D(a) = ах — ха, х Е X). Группа Н2(А, X) связана с рас-щепимостью сингулярных расширений банаховой алгебры [35]. Также установлена связь между устойчивостью алгебры к малым возмущениям оператора умножения и группами Н2(А,А) и Н3(А,А) [34, 36].

В 1970 г. А. Я. Хелемский в работе [16] рассмотрел относительную категорию банаховых модулей. В этой категории каждый объект обладает допустимой проективной резольвентой, что позволяет определить в ней производные функторы (в том числе Ext и Тог), гомологические размерности и иные гомологические характеристики. Определение производных функторов дало возможность связать группы когомологий Хохшильда с группами Ext. Это позволяет вычислить группы когомологий с помощью любой допустимой резольвенты, что существенно расширяет возможности их изучения. Значительный объем результатов, полученных в ходе дальнейшего развития этих идей, суммирован в книге [15].

Перейдем к обсуждению круга вопросов, непосредственно касающихся данной работы. Пусть А С В(Н) — замкнутая относительно топологии равномерной сходимости операторная алгебра, которая не обязательно предполагается самосопряженной. Тогда гильбертово пространство Н является левым модулем над ней с естественным умножением а • h = a(h),a Е A,h Е Н. Мы будем называть алгебру А пространственно проективной (соответственно, инъективной, плоской), если модуль Н проективен (соответственно, инъективен, плосок). Изучение гомологических свойств указанного модуля Н проводилось в двух основных направлениях. Ю. О. Головин рассмотрел случай, когда алгебра А является рефлексивной и несамосопряженной. В работе [2] им исследованы гомологические свойства модуля Н над гнездовой алгеброй А С В{Н) (рефлексивной алгеброй, решетка инвариантных подпространств которой полностью упорядочена). В этом случае модуль Н пространственно проективен тогда и только тогда, когда в решетке всех отличных от Н инвариантных подпространств алгебры А существует наибольшее. Кроме того, он всегда инъективен и плосок.

Помимо гнездовых алгебр, Головин рассмотрел также более широкий класс несамосопряженных операторных алгебр — так называемые CSL-алгебры (то есть рефлексивные алгебры, для которых проекторы на любые инвариантные подпространства попарно коммутируют). Оказалось, что критерий пространственной проективности для этого класса алгебр в точности совпадает с аналогичным критерием для класса гнездовых алгебр [3]. В частном случае неразложимых CSL-алгебр (для которых никакие два собственных инвариантных подпространства в сумме не дают все Н) удалось получить также критерии пространственной инъективности и плоскости [4]. Именно, для пространственной инъективности (соответственно, плоскости) неразложимой CSL-алгебры А необходимо и достаточно, чтобы пересечение (соответственно, сумма) любых двух инвариантных подпространств А, отличных от нуля (соответственно, от Н), было отлично от нуля (соответственно, от Н). Опираясь на этот критерий, Головин построил примеры пространственно неплоских и пространственно не-инъективных CSL-алгебр.

Однако вопрос о существовании самосопряженных операторных алгебр, не являющихся пространственно инъективными и плоскими для самосопряженного случая эти свойства являются эквивалентными [2]) до последнего времени оставался открытым. Автором построен пример такой алгебры, которая является также алгеброй фон Нойм-анна. Тем самым предъявлено решение проблемы 15 из списка задач, сформулированных в [27].

Указанным примером является алгебра фон Нойманна, порожденная свободной группой F2 с двумя образующими а и Ь. Рассмотрим гильбертово пространство /2(F2), ортонормированным базисом которого является множество индикаторов элементов группы F2. Каждому элементу р Е F2 можно сопоставить оператор левого сдвига Тр : Z2(F2) /2(F2) : 8S ь» 5ps. Ясно, что Тр Е B{l2{F2)). Рассмотрим минимальную алгебру фон Нойманна А = W*(F2), порожденную этим семейством операторов. Тогда левый А-модуль /2(F2) не является инъективным и плоским (идея рассмотреть указанный пример подсказана автору А. Я. Хелемским). Как известно [6], свободная группа F2 с двумя образующими является простейшим неаменабель-ным объектом, т. е. на пространстве P°(F2) не существует левоин-вариантный нормализованный положительный функционал. Следовательно, банахова *-алгебра /X(F2) со сверточным умножением не является аменабельной (по Джонсону) [15], т. е. обладает "плохими" гомологическими свойствами. Потому именно эта группа была выбрана для построения примера пространственно неинъективной алгебры фон Нойманна. При этом причины неаменабельности и пространственной неплоскости оказались очень близки.

Изложим главную идею рассуждения. Предварительно напомним основной критерий инъективности унитальных банаховых модулей [15]. Рассмотрим левый унитальный банахов А-модуль X над уни-тальной банаховой алгеброй А. Введем пространство линейных непрерывных операторов В (А, X) из А в X и зададим на нем структуру левого А-модуля формулой (а • R)(b) = R(ba),R Е В(А,Х),а,Ь Е А. Тогда каноническое вложение тт : X —В(А,Х) : (ж)](а) = а ■ х,х Е X, а Е А является морфизмом левых А-модулей. При этом модуль X инъективен тогда и только тогда, когда каноническое вложение -?г имеет левый непрерывный обратный морфизм А-модулей.

Опираясь на этот критерий, рассмотрим каноническое вложение ж : l2(F2) B(A,l2(F2)), где А = W*r(F2). В работе будет доказано, что всякий морфизм левых А-модулей Z : B(A,l2(F2)) —> l2{F2) переводит отображение я" [$е] в ноль (здесь 5е — индикатор единицы группы F2). Из этого утверждения сразу следует неинъективность левого А-модуля Z2(F2).

Какие же элементы пространства B(A,l2(F2)) переводятся в ноль любым морфизмом Z : В (A, l2(F2)) —> l2( F2)? Такими элементами, например, являются все отображения медленного роста. Неформально объясним, в чем состоит основное свойство подобных отображений. Предварительно рассмотрим произвольную функцию / 6 /2(F2). Тогда найдется сколь угодно близкая к / функция /', носитель которой сосредоточен на конечном множестве G'. При достаточно больших сдвигах Таки . ,Такп множества aklG., aknG' не пересекаются. Поэтому норма функции Т^) • f равна v^ll/'lb а норма функции C"=1 TakJ) • / близка к y/n\\f\\.

Пусть для некоторого отображения S 6 B(A,l2(F2)) норма элемента Tabj) ■ S при подходящем выборе чисел kj,j — 1 ,.,п растет медленнее, чем у/п (такие отображения S мы и будем называть отображениями медленного роста). Рассмотрим произвольный морфизм Z : B(A,l2{F2)) /2(F2). Тогда ||QTJ=1 ТаЧ) ■ Z{S)|| < ||Z||||(E;=1 T^-SW- Применяя вышеизложенные рассуждения к функции / = Z(S), получаем, что при п —>■ оо левая часть неравенства растет как \\Z(S)\\y/n. Но мы предположили, что его правая часть растет медленнее, чем л/п. Поэтому Z(S) = 0.

В то же время отображение 7г [£е] не является отображением медленного роста. Но при помощи некоторых алгебраических выкладок его можно выразить через такие отображения. Более точно, обозначим символом Aq множество слов свободной группы F2 с двумя образующими а и Ъ, каноническая запись которых анЬг. заканчивается на b в ненулевой степени (в этот класс включим и единицу е £ F2). Введем оператор Ра0 : /2(F2) —)• Z2(F2), проектирующий пространство /2(F2) на подпространство 12(Aq). Далее, рассмотрим композицию Ра0 о 7г[<У 6 B(A,l2(F2)) операторов тт [£е] : А -> /2(F2) и Ра0 : ?2(F2) —>■ ^2(F2). Оказывается, что если отображение Ра0 о тт[8е] является отображением медленного роста, то отображение тт [<5е] переводится любым морфизмом Z : В(А, l2(F2)) —> l2(F2) в ноль.

Таким образом, в силу определения отображения медленного роста нам осталось оценить сверху норму отображения Так5) • (Ра0 0 7г[<У). Пусть Т — единичная окружность {z : \z\ = 1} комплексной плоскости с естественной лебеговой мерой (длиной дуги, деленной на 2тт). Как хорошо известно [9], для случая свободной группы Fi с одной образующей (то есть группы Z) модуль Z2(Fi) изометрически изоморфен гильбертову пространству L2(Т), а алгебра фон Нойман-на, порожденная операторами {Ts,s Е Fi} — алгебре фон Нойманна L°°(T), действующей на£2(Т) поточечными умножениями. Аналогичный метод применим и для случая свободной группы с двумя образующими. В этом случае пространство /2(F2) отождествляется с некоторым подпространством гильбертова пространства всех интегрируемых с квадратом измеримых отображений из Т в гильбертово пространство 12(Ао). Отсюда вытекает оценка ||CC"=i ' [^е])|| <

JT\EUzkj \dz

Данное неравенство позволяет легко доказать, что при п —У ос величина ||(£J=1 takj) • (ра0 о тт [£е])|| растет медленнее, чем л/п. Это рассуждение сводится к изучению некоторых асимптотических свойств интегралов по комплексной окружности Т.

Вкратце сформулируем другие результаты, полученные при изучении проблемы пространственной инъективности алгебр фон Нойманна. Наиболее сильный положительный результат содержится в статье [23], где рассмотрен класс так называемых гипер финитных алгебр фон Нойманна. Последние допускают множество эквивалентных определений. Вот одно из них: алгебра фон Нойманна А называется гиперфинитной, если она представима в виде слабо-операторного замыкания объединения некоторой системы своих конечномерных самосопряженных подалгебр. Класс гиперфинитных алгебр фон Нойманна весьма широк и включает в себя, к примеру, все алгебры фон Нойманна типа I. В работе [23] доказано, что каждая алгебра из этого класса является пространственно инъективной и пространственно плоской. Основываясь на этой теореме, А. Я. Хелемский выдвинул гипотезу, что класс пространственно инъективных алгебр фон Нойманна совпадает с классом гиперфинитных алгебр фон Нойманна. В настоящее время это гипотеза не доказана и не опровергнута.

Теперь опишем проблему пространственной проективности самосопряженных операторных алгебр. Исследование этого вопроса было проведено А. Я. Хелемским в большом числе работ. В статье [26] Хелемский получил полный критерий пространственной проективности алгебр фон Нойманна. Оказалось, что алгебра фон Нойманна R пространственно проективна тогда и только тогда, когда ее можно представить в виде прямой суммы факторов Rm>n типа J, для каждого из которых хотя бы одно из чисел m, п конечно (символами т, п обозначены, соответственно, размерность фактора Нт>п и его коммутанта).

Используя эти результаты, в работах [25, 26] Хелемский распространил указанный критерий на класс С*-алгебр. Чтобы сформулировать соответствующую теорему, нам потребуются некоторые предварительные понятия. В этой работе символами ® и ф будут обозначаться, соответственно, гильбертово тензорное произведение и ортогональная /2-сумма гильбертовых пространств. Символом ® будет обозначаться проективное тензорное произведение банаховых пространств. Напомним, что левый модуль Н над С*-алгеброй А называется гильбертовым, если он является гильбертовым пространством, и для любых х,у £ Н,а £ А выполнено условие (а • ж,у) = {х,а* • у). Проекторы p,q £ А называются эквивалентными по Мюррею-фон Нойманну, если существует такой элемент и Е А, что р = и*и и q = ии*. Проектор q £ А называется элементарным, если подалгебра qAq одномерна. В этом случае можно рассмотреть левый А-модуль Hq := Aq, который является гильбертовым относительно скалярного произведения, корректно определенного формулой (aq, bq)q = qb*aq (ср. [37, гл. IV, 10]). Для любого гильбертова пространства Kq введем левый гильбертов модуль Hq Cg> Kq, действие на котором корректно задано формулой а • (bq к) = abq (g) к, а Е A,bq Е Aq, к Е Таким образом, элемент а £ А действует на модуле Hq (g) Kq как оператор вида а (8> 1, где a G B(Hq), 1 Е B(Kq).

Известно [25], что для любой С*-алгебры Л С В(Н) гильбертов модуль Н может быть представлен с точностью до изометрического изоморфизма гильбертовых модулей в виде прямой суммы (©декНд (g> Kg) ф Но, где Л — максимальное множество попарно неэквивалентных по Мюррею-фон Нойманну элементарных проекторов из A, Hq :== Aq — определенные выше гильбертовы модули, Kq — система произвольных гильбертовых пространств, а гильбертов модуль Hq не содержит ни одного подмодуля, изометрически изоморфного левому модулю вида Hq ни для какого q Е Л.

При этом для любого проектора q Е А и векторов /ii,/i2 Е Hq существует оператор h\ о h^ Е А, который по определению равен нулю на ортогональном дополнении к подмодулю Hq®Kqvi переводит произвольный элемент h ® к Е Hq® Kq в (/г, h,2)h\ ® к. Множество операторов вида h\oli2,hi £ Hq при фиксированном /г.2 £ Hq мы будем называть локальным столбцом одномерных операторов. Таким образом, алгебра А содержит локальный столбец одномерных операторов для любого модуля Hq<S> Kq,q Е Л. Происхождение этого термина нетрудно пояснить с помощью матриц. Именно, при подходящем выборе базисов произвольный оператор а £ А С В{Н) может быть записан г следующей матрицей:

0 0 . 0 0.

0 cli 0 . .

О ai О а =

О а2 0 . о й2 о

О о3 0 . . О а3 О где ai, «2, «з • • • — это некоторые операторы в B(Hqi),B(Hq2), B(Hq3)., а начальный блок из нулей соответствует модулю Hq. При этом для всякого проектора q 6 Л и любого вектора (х\, х2, ^з,. .)т 6 Hq найдется оператор aq 6 B(Hq), принадлежащий такой матрице и имеющий вид

В этих обозначениях алгебра А пространственно проективна тогда и только тогда, когда для любого проектора q Е Л справедливо неравенство min{dim(ifg), dim(iT?)} < оо, а подмодуль Щ обладает тривиальным умножением и в случае неунитальной алгебры А равен нулю.

Естественным образом возникает вопрос о справедливости подобного критерия для несамосопряженных операторных алгебр А С В(Н). Мы будем использовать следующие определения. Каноническим представлением модуля Н мы будем называть его разложение хг 0 0 0 ж2 0 0 0 . aq~ х2 0 0 0 . • с точностью до изометрического изоморфизма А-модулей в виде прямой суммы гильбертовых пространств вида Н — (0р€фНр 0 Кр) ф Но, для которой выполнены следующие условия:

1) для каждого индекса р £ Ф элемент а £ А действует на А-модуле Нр 0 Кр как оператор вида а 0 1, где а £ В{НР), 1 £ В(КР). Кроме того, Но — тривиальный модуль относительно действия алгебры А;

2) для каждого индекса р £ Ф существует вектор hi £ Нр такой, что для любого вектора hi £ Нр алгебра А содержит оператор hi о h2.

Здесь, как и выше, символом hi о hi обозначен оператор из А, равный нулю на ортогональном дополнении к модулю Нр® Кр и переводящий произвольный элемент h 0 к £ Нр 0 Кр в (h,h2)hi 0 к). Множество всех удовлетворяющих условию 2) векторов hi образует замкнутое линейное подпространство в Нр, которое мы обозначим через Вр.

Как показал С. Б. Табалдыев [38], для несамосопряженной операторной подалгебры в В(Н) условие проективности модуля Н уже не влечет существование канонического представления для этого модуля. Простейшим примером служит алгебра матриц вида над двумерным гильбертовым пространством Н = С2. Существуют и полупростые алгебры, обладающие этим свойством. Соответствующим примером является пространство Соболева, состоящее из абсолютно непрерывных функций на отрезке [а,Ь], производные которых принадлежат пространству L\a, b]. Оно является гильбертогЬ вым относительно скалярного произведения (/, д) = f{x)g(x) dx-{rb х~а

I f'(x)g'{x) dx. Поточечное умножение функций превращает это

J X—(1 пространство в банахову алгебру, которая является левым модулем над Собой.

Пусть теперь модуль Н обладает каноническим представлением. Для этого случая автором предъявлен критерий проективности модуля Н. Напомним, что тривиальный А-модуль Щ ^ 0 проективен тогда и только тогда, когда алгебра А обладает правой единицей [25, стр. 13-15]. Поэтому в дальнейшем мы можем не включать Щ в каноническое представление.

Тогда для проективности модуля Н достаточными являются следующие условия, введенные А. Я. Хелемским [26]:

1) для любогор Е Ф верно неравенство mm(dim(Hp),dim(Kp)) < оо;

2) существует некоторое положительное число N такое, что для любого р Е Ф справедливо неравенство m.m(dim(Hp),dim(Kp)) < N ■ dim (Вр).

В работе [11] автор показал, что данные условия являются не только достаточными, но и необходимыми. Отметим, что второе условие для случая С*-алгебр выполняется всегда, поскольку dim(Hp) = dim (Bp).

Указанный критерий получен автором из анализа предложенных А. Я. Хелемским примеров пространственно непроективных операторных алгебр, для которых не выполняется первое или второе условие. Соответствующий пример для первого условия был впервые рассмотрен в статье [26]. Это фактор типа I, где оба числа га,п (размерности фактора и его коммутанта) бесконечны. Пример для второго условия был рассмотрен в статье [28, стр. 22-24]. Это гильбертово пространство Н = ©neNCn и несамосопряженная алгебра А = ®nGN-<4n С В(Н), где Ап С В(Нп) — алгебры треугольных матриц (в этом случае размерность соответствующего пространства Вп не меньше единицы, а потому условие 2), очевидно, нарушается).

Далее рассмотрим частный случай, когда С*-алгебра А является алгеброй непрерывных функций С (О) на метризуемом компакте Г2. Известно [18], что каждый сепарабельный унитальный гильбертов А-модуль изометрически изоморфен гильбертову модулю следующего вида. Пусть заданы локально компактное пространство в, положительная регулярная борелевская мера р на этом пространстве (/i(O) = 1) и непрерывное отображение К : 0 —> О. Определим внешнее произведение элемента алгебры / £ C(U) и элемента модуля д Е L2(G) как поточечное произведение функций д Е L2(Q) и K'(f) Е С(В), где К' : С(П) С(&) : /(■) н-> f(K(-)) — естественный оператор. Тогда L2(©) является унитальным гильбертовым модулем над С(П).

Условия проективности модуля L2(Q) могут быть получены из общих теорем о проективности гильбертова модуля над С*-алгеброй (приведенных в [25]). Тем не менее полезно независимо получить критерий проективности модуля £2(в), так как эти рассуждения непосредственно переносятся также на случай левого модуля LX(Q) над алгеброй С(Q,) с операцией поточечного умножения.

Критерий 1 Пусть Xk,k = 1,.,р — все изолированные точки на компакте Q,, прообразы которых K~1(xk) имеют положительную меру. Модуль L2(©) проективен над алгеброй C(Q) тогда и только тогда, когда сумма мер этих прообразов равна мере 0.

Для С(П)-модуля LX(Q) это условие переформулируется следующим образом.

Критерий 2 Пусть Xk,k = 1,.,р — все изолированные точки положительной меры на компакте О. Модуль Ll{0,) проективен над алгеброй С (О) тогда и только тогда, когда сумма мер точек к = 1,. ,р равна мере компакта Q,.

Принципиальное различие между модулями Х2(@) и L1(Q) возникает при попытке оценить проективную гомологическую размерность этих модулей сверху. Именно, модуль Z^fi) ведет себя "очень хорошо": для него всегда существует проективная резольвента длины 1. Это связано с простотой проективного тензорного произведения на пространстве С(0) Cg) (в силу теоремы Гротендика существует изометрический изоморфизм 1^(0) (§> С(Г2) « где ц) — пространство измеримых абсолютно интегрируемых отображений из О в С(Г2)). Таким образом, гомологическая размерность С(Г2)-модуля Ll(£l) равна нулю, если сумма мер введенных выше точек Xk,k = 1,. ,р равна мере компакта О, и единице в противном случае.

В то же время проективное тензорное произведение на пространстве С (О) обладает значительно более сложной топологией. В связи с этим проективная гомологическая размерность С (О)-модуля L2(Q) пока не определена.

Основной метод оценки сверху гомологической размерности модуля Ll(Q,) состоит в построении проективной резольвенты

О 1^(0) С(П) <§> Ьг(0,) ker 7Г 0, (0.1) где 7г : С(О) ® L1^) —> — каноническая проекция, ker7r — ядро этой проекции. Доказательство проективности модуля кег7г не является тривиальным. Благодаря изоморфизму Гротендика LХ(П) ® C(Q) « пространство C(f2) ® L^fi) можно отождествить с некоторым пространством CL(D, х Г2) функций на компакте Q х Г2, являющимся пополнением по норме \[F{u},oj')\\ — J supw|F(o;, и>')\ duj' системы функций вида п = (0-2) i=i где А; — непересекающаяся система измеримых подмножеств компакта Q, XAi(u'} — система их индикаторов, fi(u) — система непрерывных функций на компакте Q. В этом случае кегтг соответствует подпространству функций из CL(Vt х О), равных нулю на диагонали компакта Q х Q.

В то же время все функции вида (0.2) лежат и в банаховом пространстве B(Q х О) всех ограниченных функций на Г2 х О, снабженном sup-нормой, и образуют в нем линейное подпространство. Обозначим замыкание этого подпространства через BC(Q,xQ) С B(Q,xQ,). Далее, рассмотрим замкнутое подпространство BCq(Q x Q) С В С (О, х fi), состоящее из функций, равных нулю на диагонали компакта О х П. Тогда корректно определен оператор поточечного умножения в : CL(О х Ct) (§>BCq{Q х fi) -» ker 7r, который является морфизмом левых С(0)-модулей.

Назовем ограниченной аппроксимативной единицей на пространстве ker 7г такую ограниченную по норме последовательность элементов ип £ BCq(Q х О), что для любого элемента и Е кег7г последовательность в(и,ип) сходится к и. Рассмотрим один из конкретных методов построения таких единиц. Через Ui/n обозначим 1/п-окрестность диагонали компакта Q х О относительно естественной метрики p^coi,^), (u2,u'2)) = sup((p(c<;i, ^2), ^2))- Пусть последовательность ип Е BCq(Q х Q) ограничена по норме единицей, причем каждый элемент ип равен единице за пределами окрестности V\jn. Тогда она является ограниченной аппроксимативной единицы.

При помощи ограниченных аппроксимативных единиц можно построить правый обратный морфизм к морфизму поточечного умножения в : CL(Q хЩ® BCq(Q х Q) ->• кег7г. А так как левый C(Q)-модуль CL(QxQ)0BCo(QxQ) « свободен, то его ретракт кег7Г является проективным в силу обычных свойств проективных банаховых модулей.

Перейдем к изложению содержания работы по главам.

Во первой главе работы даются основные определения и сведения, касающиеся гомологической теории банаховых алгебр: определения проективных, инъективных и плоских объектов в категории левых банаховых модулей, свободных и косвободных модулей, допустимых комплексов, проективных резольвент, определения гомологических размерностей. Помимо этого, будут сообщены некоторые сведения о гильбертовых модулях над произвольной С*-алгеброй и над конкретной С(П)-алгеброй.

Во второй главе работы построен пример пространственно неинъ-ективной алгебры фон Нойманна. В первом параграфе второй главы изучаются отображения медленного роста (см. введенные выше основные определения). Доказано, что если отображение РАо о 7г [<5е] Е B(A,l2(F2)) является отображением медленного роста, то отображение ж [#е] переводится любым морфизмом А-модулей Z :

Основным содержанием второго параграфа является оценка нормы отображения Е"=1 ТаЧ) -(РАо отг [£е]), имеющая вид ||Е?=1 ТаЧ) • (РАо о

В{А,12(¥2)) ->/2(F2) в ноль.

Данное неравенство позволяет легко показать, что при п —» оо и подходящем выборе чисел kj,j = 1,. ,п величина ||(Х^=1 Та• (Рд0 о к [£е])|| растет медленнее, чем л/п. Это рассуждение сводится к изучению некоторых асимптотических свойств интегралов по комплексной окружности Т. Оно проведено в третьем, заключительном параграфе этой главы.

Третья глава работы посвящена исследованию проективности модуля Н над (не обязательно самосопряженной) операторной алгеброй А С В(Н) при предположении, что этот модуль обладает каноническим представлением (определение которого приведено выше). Напомним, что критерий проективности такого модуля состоит из двух условий:

1) для любого р Е Ф верно неравенство min(dim(ii/p), dim.(Kp)) < оо;

2) существует некоторое положительное число N такое, что для любого индекса р £ Ф верно неравенство min(dim(.Hp), dim(Kp)) < N • dim(Bp).

Первый параграф третьей главы содержит вспомогательные технические построения, необходимые для доказательства необходимости первого условия проективности. Это доказательство приведено во втором параграфе главы, а доказательство необходимости второго условия проективности — в третьем (как уже говорилось выше, доказательство достаточности обоих условий читатель может найти в [26]).

Четвертая глава работы содержит критерии проективности модулей L2(Q) и 1^(0) над алгеброй С (О,). Рассуждения проводятся для более сложного случая модуля £2(6); для модуля они аналогичны. Первый параграф содержит доказательство достаточной части критерия. Во втором параграфе начинается изложение необходимой части критерия: доказывается, что если модуль L2(@) проективен, то на компакте О найдется хотя бы одна точка, прообраз которой при отображении К : В —> Q, имеет положительную меру. В третьем параграфе показано, что всякая такая точка изолирована. Четвертый параграф завершает доказательство необходимой части критерия. В том же параграфе показано, что для случая модуля L2(0) указанный критерий является простым следствием общей теоремы о проективности гильбертовых модулей над С*-алгебрами [25].

Пятая глава работы посвящена вычислению гомологической размерности модуля В первом параграфе пятой главы вводится проективная резольвента вида (0.1), пространства CL(Q х £l),BC(Q х Q,),BCq(Q, х Q) (которые уже обсуждались выше) и морфизм поточечного умножения в : CL(Q х Q) (g) BCo(Jl х Q) —у ker7r.

Во втором параграфе пятой главы рассматриваются ограниченные аппроксимативные единицы на пространстве ker 7Г и предлагается метод построения таких единиц.

В заключительном, третьем параграфе с помощью ограниченной аппроксимативной единицы вводится правый обратный морфизм к морфизму поточечного умножения в : CL(Q х Q) <&BCq(Q, х Q) —У ker 7г, что позволяет получить верхнюю оценку проективной гомологической размерности для модуля ^(Q).

Основные результаты работы содержатся в статьях [10], [11], [12]. Они неоднократно докладывались на научно-исследовательских семинарах МГУ.

Автор приносит глубокую благодарность своему научному руководителю профессору А. Я. Хелемскому за постоянное внимание к работе и ряд ценных советов, стимулировавших получение новых результатов.

1. Гишарде А. Тензорные произведения С*-алгебр. Докл. АН СССР, 1965, т. 160, 986-989.

2. Головин Ю. О. Гомологические свойства гильбертовых модулей над гнездовыми операторными алгебрами.Мат. заметки 41:6 (1987), 769-775.

3. Головин Ю. О. Критерий пространственной проективности неразложимой CSL алгебры операторов.Успехи мат. наук 49:4 (1994), 161-162.

4. Головин Ю. О. Пространственная плоскость и инъективность неразложимых CSL-алгебр.Мат.заметки 63:1 (1998), 9-20.

5. Головин Ю. О. Свойство пространственной проективности в классе CSL-алгебр с атомным коммутантом. Фундаментальная и прикладная математика 1:1, 1995, 147-159.

6. Гринлиф Ф. Инвариантные средние на топологических группах. М.: Мир, 1973.

7. Картан А., Эйленберг С. Гомологическая алгебра. М.: ИЛ, 1960.

8. Маклейн С. Гомология. М.: Мир, 1966.

9. Мерфи Дж. С*-алгебры и теория операторов. Изд-во "Факториал", Москва, 1997.

10. Поляков М. Е. Гомологические размерности модулей над алгеброй С{Х).Вестник Московского университета, сер.1, математика, механика, 2000, 4, стр. 52-55.

11. Поляков М. Е. Критерий пространственной проективности одного класса несамосопряженных операторных алгебр.Казань, Известия Вузов. Математика, №7, 2001, стр. 32-42.

12. Поляков М. Е. Пример пространственно неплоской алгебры фон Нойманна.Труды 22 конференции молодых ученых механико- математического факультета МГУ (17-22 апреля 2000 г.), Москва, 2001, стр. 134-137.

13. Хелемский А. Я. Банаховы и полинормированные алгебры: общая теория, представления, гомологии.Москва, Наука, Гл. ред. физ.-мат. лит., 1989.

14. Хелемский А. Я. Гомологическая характеризация факторов типа I.Доклады РАН, 344, 4, 1995.

15. Хелемский А. Я. Гомология в банаховых и топологических алгебрах.М.: Изд-во МГУ, 1986.

16. Хелемский А. Я. О гомологической размерности нормированных модулей над банаховыми алгебрами.Матем. сб., 1970, т. 81 (123), 430-444.

17. Connes A., On the cohomology of operator algebras. J. Funct. Anal. v. 28 (1978), 248-253.

18. Douglas R. G., Paulsen V. I. Hilbert modules over function algebras. Harlow: Longman Sci. and Tech., 1989.

19. Eilenberg S., MacLane S. Group exstensions and homology. Ann. of Math., 1942, v. 43, 757-831.

20. Eilenberg S, Moore J. C. Foundation of relative homological algebra. Mem. Amer. Math. Soc., 55, v. 1965.

21. Grothendieck A. Produits tensorielles topologiques et espaces nucleariesMem. Amer. Math. Soc., 1955, №166.

22. Helemskii A. Ya. A description of spatially projective von Neumann algebras.J. Operator Theory 32 (1994), 391-398.

23. Helemskii A. Ya. The spatial Flatness and Injectiveness of Connes Operator Algebras.Extracta Mathematicae, Vol. 9, №1, 1994, 75-81.

24. Helemskii A. Ya. Approximately finite-dimensional C*-algebras with projective Hilbert modules, their Bratteli diagrams and Ko-groups. "Mat.Sbornik", 188:10, 1543-1560.

25. Helemskii A. Ya. Projective homological classification of C*-algebras. Communication in Algebra, 26(3), 977-996, 1998.

26. Helemskii A. Ya. 31 problems of the homology of the algebras of analysis, in Linear and complex analysis problem book 3,Part I (V. P. Havin, N. K. Nikolski, eds., Lecture Notes in Math. 1573, Springer-Verlag, Berlin, 1994), 54-78.

27. Helemskii. A.Ya. Wedderburn type theorems for operator algebras and modules: traditional and "quantied" homological approachesTopological Homology: Helemskii's Moscow Seminar. Huntington, N. Y.: Nova Science Publisher Inc., 2000. - P. 57-92.

28. Heller A. Homological algebra in Abelian categories. Ann. of Math., 1958, v. 68, 484-525.

29. Hilbert D. Uber die Theory der Algebraischen Formen. Math. Ann., 1890, v. 36, 473-534.

30. Hochschild G. On the cohomology groups of an associative algebra. Ann. of Math., v. 46, 1945, 58-67.

31. Hochschild G. Cohomology and representations of associative algebras.Duke Math. J., 1947, 14, 921-948.

32. Hochschild G. Relative homological algebra. Trans. Amer. Math. Soc.,1956, v. 82, 246-249.

33. Johnson В. E. Perturbations of Banach algebras. Proc. London Math. Soc., v. 34, 1977, 439-458.

34. Kamowitz H. Cohomology groups of commutative Banach algebras. Trans. Amer. Math. Soc., 1962, v. 102, 352-372.

35. Raeburn ITaylor J. L. Hochschield cohomology and perturbation of Banach algebras.J. of Funct. Anal, v. 25, nr.3, 1977, 258-266.

36. Rickart С. E. General Theory of Banach algebras New York: Van Nostrand, 1960.

37. Tabaldyev S.B. The Sobolev algebra and indecomposable spatially projective algebrasTopological Homology. Helemskii's Moscow Seminar. Huntington, N. Y.: Nova Science Publishers Inc., 2000. - P. 201-210.

38. Takesaki M. Theory of operator algebras. I. Berlin: Springer-Verlag, 1979.