Pseudo-dualizing complexes and pseudo-derived categories

[posic]

https://arxiv.org/abs/1703.04266

Это только первая версия, неполная. Со временем, как предполагается, то, что сейчас называется Sections 1-8 станет называться Subsections 1.1-1.8, и появятся еще Sections 2 и 3 со своими собственными Subsections.

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

Comments

[hitroum.livejournal.com]

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

[posic.livejournal.com]

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