Теорема Гротендика о расщеплении

Теорема названа в честь Александра Гротендика, доказавшего её в 1957 году.^[1] Она эквивалентна теореме, доказанной ранее Джорджем Биркгофом в 1913 году,^[2] но была известна уже в 1908 году Йосипу Племелю^[3] и в 1905 году Давиду Гильберту.^[4]

Формулировка Гротендика

Каждое голоморфное векторное расслоение ${\displaystyle {\mathcal {E}}}$ над ${\displaystyle \mathbb {C} \mathrm {P} ^{1}}$ голоморфно изоморфно прямой сумме линейных расслоений:

${\displaystyle {\mathcal {E}}\cong {\mathcal {O}}(a_{1})\oplus \cdots \oplus {\mathcal {O}}(a_{n}),}$

где ${\displaystyle {\mathcal {O}}(a)}$ обозначает расслоение с классом Черна ${\displaystyle a}$. Более того, это представление единственно с точностью до перестановки слагаемых.

Формулировка Биркгофа

Обратимая матрица ${\displaystyle M}$, каждая компонента которой является многочленом Лорана от ${\displaystyle z}$, представляется в виде произведения

${\displaystyle M=M^{+}M^{0}M^{-}}$,

где матрица ${\displaystyle M^{+}}$ — многочлен от ${\displaystyle z}$, ${\displaystyle M^{0}}$ — диагональная матрица, и матрица ${\displaystyle M^{-}}$ — многочлен от ${\displaystyle {\tfrac {1}{z}}}$.

• Теорема Гротендика о расщеплении используется в доказательстве Микалефа и Мура теоремы о сфере для положительной комплексифицированной кривизной в изотропных направлениях.

• Тот же результат имеет место для алгебраических векторных расслоений над ${\displaystyle \mathbb {P} _{k}^{1}}$ для любого поля ${\displaystyle k}$.^[5]