Обозначение для псевдокомплексов
Jul. 8th, 2022 02:53 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicДолго не мог решиться, но все-таки, может быть, собрался. Придумал обозначение для того, что иногда называют "псевдокомплексами" (реально, искривленных DG колец и модулей, а также коалгебр, комодулей и контрамодулей). Теперь у меня будет общая схема обозначений такая:
- градуировка обозначается зведочкой в верхнем или нижнем индексе: типа H*
- структура комплекса (градуировка + дифференциал с нулевым квадратом) обозначается черным кружочком в верхнем индексе (маленький \bullet)
- структура псевдокомплекса (градуировка + дифференциал с ненулевым квадратом + возможный элемент кривизны) обозначается черным ромбиком в верхнем индексе (маленький \blackdiamond из пакета mathabx)
Это нормально? Или во вводном обзоре лучше избегать новых утяжеляющих обозначений? Альтернатива состоит в том, чтобы писать просто B = (B,d,h), не различая в обозначениях CDG-кольцо B и его подлежащее (градуированное) кольцо B.
- градуировка обозначается зведочкой в верхнем или нижнем индексе: типа H*
- структура комплекса (градуировка + дифференциал с нулевым квадратом) обозначается черным кружочком в верхнем индексе (маленький \bullet)
- структура псевдокомплекса (градуировка + дифференциал с ненулевым квадратом + возможный элемент кривизны) обозначается черным ромбиком в верхнем индексе (маленький \blackdiamond из пакета mathabx)
Это нормально? Или во вводном обзоре лучше избегать новых утяжеляющих обозначений? Альтернатива состоит в том, чтобы писать просто B = (B,d,h), не различая в обозначениях CDG-кольцо B и его подлежащее (градуированное) кольцо B.
