April 2nd, 2021

Идея вакцинации детей от ковида абсолютно возмутительна

Никто не считает, что ковид опасен для детей; идея состоит в том, что дети разносят ковид. Целью вакцинации детей является защита пожилых поколений и других групп риска среди взрослых.

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

При этом прививка -- это не простой тест, не анализ; она не может не быть потенциально опасной. Таким образом, речь идет о государственном принуждении одних людей к потенциально опасному медицинскому вмешательству ради блага других людей.

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

Все это полубесконечное алгеброгеометрическое можно объяснить очень просто

И совершенно не обязательно писать длинный текст. Хотя можно и написать, наверное.

Итак, рассматривается "хороший" морфизм инд-схем или инд-стэков Y → X. Что значит "хороший", надо объяснять отдельно, я писал и говорил об этом неоднократно (база X сложно склеена из маленьких аффинных схем, слой Y над X просто склеен из больших аффинных схем).

Дополнительно данное объяснение требует предположения, что все происходит над полем k. Мне это не нравится, один из моих любимых примеров в это предположение не укладывается, но таковы ограничения этой точки зрения. Скажем, X -- инд-схема инд-конечного типа над k.

Мы хотим построить "полутензорное произведение квазикогерентных пучков кручения на Y". Это такая должна быть тензорная структура на "полупроизводной категории" таких пучков. Опуская детали про пучки кручения и полупроизводную категорию, это очень простая вещь.

Рассмотрим диагональ Y → Y×kY и разложим ее в композицию Y → Y×XY → Y×kY. Обозначим два получившихся морфизма через i: Y → Y×XY и j: Y×XY → Y×kY. Оба они -- замкнутые вложения (если Y отделима) или, в худшем случае, локально замкнутые вложения (если нет).

Пусть даны два комплекса пучков F и G на Y; рассмотрим их внешнее тензорное произведение F⊠kG на Y×kY. Полутензорное произведение F и G -- это комплекс пучков Li* Rj! (F⊠kG) на Y. То есть надо просто взять *-тензорное произведение по половине переменных и !-тензорное произведение по другой половине.

Так, я думаю, должно быть.