2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение26.03.2016, 18:04 
Заслуженный участник
Аватара пользователя


09/02/14

1377
Пусть у нас есть забывающий функтор из категории $C^*$-алгебр в категорию $*$-алгебр, будет ли он иметь сопряженные?

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 00:42 
Аватара пользователя


08/03/16
45
Москва
Посмотрите определения произведения и копроизведения $C^*$-алгебр на стр. 17 этой статьи. Очевидно, что даже их подстилающие ${}^*$-алгебры сильно зависят от "нормированной" структуры соответствующих $C^*$-алгебр. Исходя из этого, трудно ожидать, чтобы забывающий функтор имел сопряжённые.

Более того, Ваш вопрос, по большому счёту, неправильный. Про такие штуки надо задавать другие вопросы. Такие категории наделены большим количеством дополнительных структур, ими и надо интересоваться. Почитайте вот это, например, раз уж Вас заинтересовали категории.

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 01:33 
Заслуженный участник
Аватара пользователя


09/02/14

1377
oskar_808 в сообщении #1109451 писал(а):
Посмотрите определения произведения и копроизведения $C^*$-алгебр на стр. 17 этой статьи
. Очевидно, что даже их подстилающие ${}^*$-алгебры сильно зависят от "нормированной" структуры соответствующих $C^*$-алгебр. Исходя из этого, трудно ожидать, чтобы забывающий функтор имел сопряжённые.

Огромное спасибо за ответ, если честно, то не ожидал, что ответит хоть кто-нибудь.

Пришли в голову эти соображения уже после того, как задал вопрос, но мне не даёт покоя вот что: конструкция универсальной обёртывающей $C^*$-алгебры как бы "просится" быть левым сопряженным к забывающему функтору. Может быть, если ограничить категорию ${}^*$-алгебр категорией ограниченных ${}^*$-алгебр ($B$ называется ограниченной ${}^*$-алгеброй, если для любого $b \in B$ существует константа $C_b \geqslant 0$, что для любого представления $\pi : B \to B(H)$ в ограниченных операторах над гильбертовым пространством выполнено $||\pi(b)|| \leqslant C_b$), или ещё каким-то образом ограничить категорию он-таки станет сопряженным?

-- 27.03.2016, 00:34 --

oskar_808 в сообщении #1109451 писал(а):
Более того, Ваш вопрос, по большому счёту, неправильный. Про такие штуки надо задавать другие вопросы. Такие категории наделены большим количеством дополнительных структур, ими и надо интересоваться. Почитайте вот это
, например, раз уж Вас заинтересовали категории.

Почитаю, спасибо.

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 04:29 
Аватара пользователя


08/03/16
45
Москва
Насколько я знаю, вопрос о том, какие ${}^*$-алгебры обладают универсальными обёртывающими $C^*$-алгебрами -- это классический вопрос этой теории. Смотрите, например, вот эту статью.

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 04:36 
Заслуженный участник
Аватара пользователя


09/02/14

1377
oskar_808
А если мы возьмём категорию всех ${}^*$-алгебр обладающих универсальной обёртывающей, будет ли это функтором и будет ли этот функтор сопряжен забывающему? В частности, будет ли он сохранять проективные пределы? Было бы очень здорово, если бы вы взглянули на этот вопрос потому как сейчас он является камнем преткновения в моей задаче.

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 04:57 
Аватара пользователя


08/03/16
45
Москва
kp9r4d в сообщении #1109463 писал(а):
oskar_808
А если мы возьмём категорию всех ${}^*$-алгебр обладающих универсальной обёртывающей, будет ли это функтором и будет ли этот функтор сопряжен забывающему? В частности, будет ли он сохранять проективные пределы?
Конечно, слово "универсальная" и означает, что такой функтор будет левым сопряжённым к забывающему (и, соответственно, будет сохранять пределы). Только я сомневаюсь, что это можно как-то использовать в Вашей задаче...

-- 27.03.2016, 05:37 --

kp9r4d
Я Вам на MathStackExchange подбил вопросик про категории -- если Вы примете изменения, его должны будут снова открыть.

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 15:08 
Заслуженный участник
Аватара пользователя


09/02/14

1377
oskar_808 в сообщении #1109464 писал(а):
Конечно, слово "универсальная" и означает, что такой функтор будет левым сопряжённым к забывающему (и, соответственно, будет сохранять пределы). Только я сомневаюсь, что это можно как-то использовать в Вашей задаче...

Понятно, спасибо. Всё оказалось чуть сложнее, чем я думал.

oskar_808 в сообщении #1109464 писал(а):
Я Вам на MathStackExchange подбил вопросик про категории -- если Вы примете изменения, его должны будут снова открыть.

Огромное спасибо за редактирования!

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 15:18 
Аватара пользователя


08/03/16
45
Москва
Да, но, насколько я понял, изменения теперь могут принимать/отклонять модераторы сайта. Изменение вопроса про последовательности они приняли, а про сопряжённый функтор -- отклонили, хотя оно, на мой взгляд, было важнее. Ну мы вроде как тут уже обсудили этот вопрос, так что ладно.

 Профиль  
                  
 
 Re: Сопряженные функтор к забывающему из категории С* в * алгебр
Сообщение27.03.2016, 16:18 
Заслуженный участник
Аватара пользователя


09/02/14

1377
Да, спасибо.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: DariaRychenkova


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group