Свободные диаграммы симплициальных множеств и гомотопические копределы.
Нужно мне было значит какие-то очень конкретные гомотопические копределы симплициальных множеств руками посчитать. И так и сяк пробовал, потом поговорил с разными людьми, нашел рабочий метод, и решил тут зафиксировать на будущее. Метод называется — замена диаграммы пространств на свободную диаграмму пространств.
Пусть у вас есть функтор из какой-то категории в категорию симплициальных множеств F : D —> sSets. Он называется свободным (сдвободное D-пространство, свободная диаграмма), если для каждого n≥0 и d∈D можно выбрать такие подмножества (базис функтора) B_{n,d} ⊆ F(d)_n, которые замкнуты относительно вырождений s_i( B_{n,d} ) ⊆ B_{n+1,d}, и для каждого симплекса x ∈ F(d)_n, существует единственный морфизм f : d' —> d и единственный элемент базиса b∈ B_{n,d'} такой, что F(f)(b)=x.
Для свободного функтора его копредел совпадает с гомотопическим копределом (каноническое отображение является слабой эквивалентностью).
Наиболее рабочий способ вычислять руками конкретные гомотопические копределы, который работает в моём конкретном случае, — это построить морфизм из "удобной" свободной диаграммы в вашу диаграмму, состоящий из слабых эквивалентностей. Типа выбрать удобную "кофибратную замену". Подбор удобной замены — это хитрое дело. Есть стандартные замены, но они большие, неудобные. Как при вычислениях гомологий групп через резольвенту, угадывание хорошей резольвенты — это половина работы, так и тут.
Многие диаграммы сразу свободные. Например, если есть два вложения симплициального множества в два других симплициальных множества S' <—< S >—> S'', то это свободная диаграмма. И гомотопический пушаут совпадает с обычным пушаутом. Если есть последовательность вложений симплициальных множеств S^0 >—> S^1 >—> S^2 —> ..., то это свободная диаграмма, и гомотопический копредел совпадает с копределом. Это стандартная тема.
Приведу более сложный пример, который мне был полезен для понимания. Допустим, у вас есть последовательность вложений, которая теперь проиндексирована не натуральными числами, а целыми. ... >—> S^{-1}>—> S^0 >—> S^1 >—> ... Если их пересечение не пусто, то это не свободная диаграмма. Для простоты предположим, что все они состоят из одной точки S_n = *. Как в этом (казалось бы простейшем) случае гомотопический копредел посчитать? Нужно каждое S_n заменить на слабо эквивалентное S'_n такое, чтобы пересечение было пусто. Например, в качестве S'_n можно выбрать такое одномерное симплициальное множество ... —> (n-2) —> (n-1) —> (n), составленное из склеенных отрезков, проиндексированных целыми числами не больше n. Такой симплициальный аналог луча (-∞,n]. Более строго его можно описать как 1-скелет от нерва упорядоченного множества целых чисел не больше n. Отображения S'_n —> S'_{n+1} определить как вложения. И получается, что это уже свободная диаграмма и копредел это объединение, которое стягиваемое.
Список литературы:
[1] Dwyer, William G., and Daniel M. Kan. "Function complexes for diagrams of simplicial sets." (Определение свободной диаграммы §2.4. Утверждение про гомотопические копределы §4.2.)
[2] Farjoun, Emmanuel Dror. "Homotopy and homology of diagrams of spaces." (Прежде всего §2.4)
[3] Farjoun, Emmanuel. "Cellular spaces, null spaces and homotopy localization" (Аппендикс "Homotopy colimits and fibrations").
Свободные диаграммы симплициальных множеств и гомотопические копределы.
Нужно мне было значит какие-то очень конкретные гомотопические копределы симплициальных множеств руками посчитать. И так и сяк пробовал, потом поговорил с разными людьми, нашел рабочий метод, и решил тут зафиксировать на будущее. Метод называется — замена диаграммы пространств на свободную диаграмму пространств.
Пусть у вас есть функтор из какой-то категории в категорию симплициальных множеств F : D —> sSets. Он называется свободным (сдвободное D-пространство, свободная диаграмма), если для каждого n≥0 и d∈D можно выбрать такие подмножества (базис функтора) B_{n,d} ⊆ F(d)_n, которые замкнуты относительно вырождений s_i( B_{n,d} ) ⊆ B_{n+1,d}, и для каждого симплекса x ∈ F(d)_n, существует единственный морфизм f : d' —> d и единственный элемент базиса b∈ B_{n,d'} такой, что F(f)(b)=x.
Для свободного функтора его копредел совпадает с гомотопическим копределом (каноническое отображение является слабой эквивалентностью).
Наиболее рабочий способ вычислять руками конкретные гомотопические копределы, который работает в моём конкретном случае, — это построить морфизм из "удобной" свободной диаграммы в вашу диаграмму, состоящий из слабых эквивалентностей. Типа выбрать удобную "кофибратную замену". Подбор удобной замены — это хитрое дело. Есть стандартные замены, но они большие, неудобные. Как при вычислениях гомологий групп через резольвенту, угадывание хорошей резольвенты — это половина работы, так и тут.
Многие диаграммы сразу свободные. Например, если есть два вложения симплициального множества в два других симплициальных множества S' <—< S >—> S'', то это свободная диаграмма. И гомотопический пушаут совпадает с обычным пушаутом. Если есть последовательность вложений симплициальных множеств S^0 >—> S^1 >—> S^2 —> ..., то это свободная диаграмма, и гомотопический копредел совпадает с копределом. Это стандартная тема.
Приведу более сложный пример, который мне был полезен для понимания. Допустим, у вас есть последовательность вложений, которая теперь проиндексирована не натуральными числами, а целыми. ... >—> S^{-1}>—> S^0 >—> S^1 >—> ... Если их пересечение не пусто, то это не свободная диаграмма. Для простоты предположим, что все они состоят из одной точки S_n = *. Как в этом (казалось бы простейшем) случае гомотопический копредел посчитать? Нужно каждое S_n заменить на слабо эквивалентное S'_n такое, чтобы пересечение было пусто. Например, в качестве S'_n можно выбрать такое одномерное симплициальное множество ... —> (n-2) —> (n-1) —> (n), составленное из склеенных отрезков, проиндексированных целыми числами не больше n. Такой симплициальный аналог луча (-∞,n]. Более строго его можно описать как 1-скелет от нерва упорядоченного множества целых чисел не больше n. Отображения S'_n —> S'_{n+1} определить как вложения. И получается, что это уже свободная диаграмма и копредел это объединение, которое стягиваемое.
Список литературы:
[1] Dwyer, William G., and Daniel M. Kan. "Function complexes for diagrams of simplicial sets." (Определение свободной диаграммы §2.4. Утверждение про гомотопические копределы §4.2.)
[2] Farjoun, Emmanuel Dror. "Homotopy and homology of diagrams of spaces." (Прежде всего §2.4)
[3] Farjoun, Emmanuel. "Cellular spaces, null spaces and homotopy localization" (Аппендикс "Homotopy colimits and fibrations").
BY Математическая свалка Сепы
Warning: Undefined variable $i in /var/www/group-telegram/post.php on line 260
The perpetrators use various names to carry out the investment scams. They may also impersonate or clone licensed capital market intermediaries by using the names, logos, credentials, websites and other details of the legitimate entities to promote the illegal schemes. But the Ukraine Crisis Media Center's Tsekhanovska points out that communications are often down in zones most affected by the war, making this sort of cross-referencing a luxury many cannot afford. "For Telegram, accountability has always been a problem, which is why it was so popular even before the full-scale war with far-right extremists and terrorists from all over the world," she told AFP from her safe house outside the Ukrainian capital. Right now the digital security needs of Russians and Ukrainians are very different, and they lead to very different caveats about how to mitigate the risks associated with using Telegram. For Ukrainians in Ukraine, whose physical safety is at risk because they are in a war zone, digital security is probably not their highest priority. They may value access to news and communication with their loved ones over making sure that all of their communications are encrypted in such a manner that they are indecipherable to Telegram, its employees, or governments with court orders. What distinguishes the app from competitors is its use of what's known as channels: Public or private feeds of photos and videos that can be set up by one person or an organization. The channels have become popular with on-the-ground journalists, aid workers and Ukrainian President Volodymyr Zelenskyy, who broadcasts on a Telegram channel. The channels can be followed by an unlimited number of people. Unlike Facebook, Twitter and other popular social networks, there is no advertising on Telegram and the flow of information is not driven by an algorithm.
from it
