H-Кобордизм

h-Кобордизм — бордизм ( W ; M , M ) {\displaystyle (W;M,M')} , де W {\displaystyle W}  — компактний многовид, край якого W {\displaystyle \partial W}  — об'єднання неперетинних замкнутих многовидів M {\displaystyle M} і M {\displaystyle M'} , що є деформаційними ретрактами W {\displaystyle W} . Найпростіший приклад — тривіальний h {\displaystyle h} -кобордизм

( M × [ 0 , 1 ] ; M × 0 , M × 1 ) . {\displaystyle (M\times [0,1];M\times 0,M\times 1).}

Многовиди M {\displaystyle M} і M {\displaystyle M'} називаються h {\displaystyle h} -кобордантними, якщо існує h {\displaystyle h} -кобордизм ( W ; M , M ) {\displaystyle (W;M,M')} , що їх з'єднує.

Теорема про h {\displaystyle h} -кобордизм стверджує:

Якщо ( W ; M , M ) {\displaystyle (W;M,M')}  — h {\displaystyle h} -кобордизм, а M {\displaystyle M} і M {\displaystyle M'}  — однозв'язні гладкі (або кусочно лінійні) многовиді й dim W 6 {\displaystyle \operatorname {dim} W\geq 6} , то W {\displaystyle W} дифеоморфно (кусочно лінійно ізоморфно) тривіальному h {\displaystyle h} -кобордизму. Зокрема, M {\displaystyle M} дифеоморфно M {\displaystyle M'} .

Література

  • Милнор, Дж., Теорема об h {\displaystyle h} -кобордизме, М., 1969;