![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicИзвестно, что
- любой объект триангулированной категории особенностей (разумной) схемы Z можно представить сдвигом когерентного пучка на Z;
- любой объект триангулированной категории особенностей схемы Z, имеющий носитель в замкнутом подмножестве T⊂Z (например, всегда можно взять за T подсхему особенностей Z) можно представить конечным комплексом когерентных пучков на Z, теоретико-множественные носители которых содержатся в T.
Можно ли представить объект триангулированной категории особенностей схемы Z, имеющий носитель в замкнутом подмножестве T, сдвигом когерентного пучка на Z с теоретико-множественным носителем, содержащимся в T?
Положительный ответ на этот вопрос позволил бы, как мне кажется, представить любую локально свободную матричную факторизацию конечного ранга с теоретико-категорным носителем в T когерентной матричной факторизацией конечной плоской размерности с теоретико-множественным носителем в T.
- любой объект триангулированной категории особенностей (разумной) схемы Z можно представить сдвигом когерентного пучка на Z;
- любой объект триангулированной категории особенностей схемы Z, имеющий носитель в замкнутом подмножестве T⊂Z (например, всегда можно взять за T подсхему особенностей Z) можно представить конечным комплексом когерентных пучков на Z, теоретико-множественные носители которых содержатся в T.
Можно ли представить объект триангулированной категории особенностей схемы Z, имеющий носитель в замкнутом подмножестве T, сдвигом когерентного пучка на Z с теоретико-множественным носителем, содержащимся в T?
Положительный ответ на этот вопрос позволил бы, как мне кажется, представить любую локально свободную матричную факторизацию конечного ранга с теоретико-категорным носителем в T когерентной матричной факторизацией конечной плоской размерности с теоретико-множественным носителем в T.
