Cтраница 2
Настоящая теорема 9.2 впервые не содержит никаких предположений об остаточной схеме. Следствие 9.2.1 также новое, если остаточная схема имеет большую размерность, чем должна была бы иметь. [16]
Настоящая теорема 9.2 впервые не содержит никаких предположений об остаточной схеме. Следствие 9.2.1 также новое, если остаточная схема имеет большую размерность, чем должна была бы иметь. [17]
Для неособого многообразия V пусть И23 обозначает раздутие V х V вдоль А к. Существуют вложения X12 и Х12 X У в Z [2], индуцированные графиком вложения X в X X У и диагональным вложением Y. Если / - проекция ZP1 в Y X Y, то Х X Y есть остаточная схема к исключительному дивизору Z [2] в / - 1 ( Ду); это следует из дополнения В.б. 10, примененного к вложениям X У. [18]