Kofibrasi

Dalam matematika, khususnya teori homotopi, pemetaan kontinu

$i:A\to X$

di mana $A$ dan $X$ adalah ruang topologi, kofibrasi adalah kelas homotopi peta $[A,S]$ diperluas ke kelas peta homotopi $[X,S]$ peta $f\in {\text{Hom}}_{Top}(A,S)$ diperluas ke peta $f'\in {\text{Hom}}_{\textbf {Top}}(X,S)$ di mana $f'\circ i=f$, karena kelas homotopi yang terkait adalah $[f]=[f'\circ i]$.

Jenis struktur dikodekan dengan kondisi teknis yang memiliki sifat ekstensi homotopi dari ruang $S$. Definisi ganda dengan fibrasi, yang diperlukan untuk mengunakan sifat pengangkatan homotopi dengan semua ruang. Dualitas ini secara informal disebut sebagai dualitas Eckmann-Hilton. Karena sifat umum dinyatakan, maka digunakan dalam kategori model.

Definisi

Teori homotopi

Peta $i\colon A\to X$ ruang topologi disebut kofibrasi^{hal 51} jika untuk peta $f:A\to S$ sedemikian rupa sehingga ekstensi ke $X$, maka peta $f':X\to S$ adalah $f'\circ i=f$, dengan memperluas homotopi peta $H:A\times I\to S$ ke homotopi peta $H':X\times I\to S$, dimana

${\begin{aligned}H(a,0)&=f(a)\\H'(x,0)&=f'(x)\end{aligned}}$

Dengan mencari kondisi dalam diagram komutatif berikut

di mana $S^{I}={\text{Hom}}_{\textbf {Top}}(I,S)$ adalah ruang jalur $S$.

Objek kofibrant

Untuk kategori model ${\mathcal {M}}$, untuk ruang topologi runcing, sebuah objek $X$ disebut cofibrant jika peta $*\to X$ adalah kofibrasi. Perhatikan bahwa dalam kategori ruang topologi runcing, pengertian kofibrasi bertepatan dengan definisi sebelumnya dengan asumsi peta adalah peta runcing dari ruang topologi.

Contoh

Dalam topologi

Kofibrasi adalah kelas peta yang canggung dari perspektif komputasi karena lebih mudah dilihat sebagai alat teknis formal yang memungkinkan seseorang untuk "melakukan" konstruksi teori homotopi dengan ruang topologi. Maka

$f:X\to Y$

dari ruang topologi, kofibrasi terkait ruang $Mf$ disebut peta tabung (di mana $Y$ adalah retraksi deformasi, maka homotopi setara dengannya) yang memiliki kofibrasi terinduksi yang disebut mengganti peta dengan kofibrasi

$i:X\to Mf$

dan peta $Mf\to Y$ dengan $f$ faktor melalui, artinya diagram komutatif

di mana $r$ adalah ekuivalen homotopi.

Selain kelas contoh, maka

• Fakta yang sering digunakan adalah bahwa inklusi seluler adalah kofibrasi (jadi, misalnya, jika $(X,A)$ adalah kompleks CW $A\to X$ adalah kofibrasi). Fakta sebelumnya maka $S^{n-1}\to D^{n}$ adalah kofibrasi untuk setiap $n$, dan pushout adalah peta perekatan ke $n-1$.
• Kofibrasi dipertahankan di bawah tekanan dan komposisi, yang dinyatakan persis di bawah ini.

Dalam kompleks rantai

Jika $C_{+}({\mathcal {A}})$ menjadi kategori kompleks rantai yang $0$ dalam derajat $q<<0$, kemudian ada struktur kategori model ^{hal 1.2} di mana ekuivalen lemahnya adalah Isomorfisme semu, jadi peta kompleks rantai yang isomorfisme setelah mengambil kohomologi, fibrasi yaitu epimorfisme, dan kofibrasi diberikan oleh peta

$i:C_{\bullet }\to D_{\bullet }$

bersifat injektif dan kompleks kokernel ${\text{Koker}}(i)_{\bullet }$ adalah kompleks objek proyektif di ${\mathcal {A}}$ . Selain itu, objek kofibrant adalah kompleks objeknya adalah objek proyektif ${\mathcal {A}}$.

Himpunan semi-sederhana

Untuk kategori $ss{\textbf {Himpunan}}$ dari himpunan semi-sederhana ^{hal 1.3} (tidak menggunakan peta degenerasi naik dalam derajat), terdapat struktur kategori model dengan fibrasi yang diberikan oleh fibrasi, peta injeksi kofibrasi, dan ekuivalen lemah diberikan realisasi geometris.

Sifat

• Untuk ruang Hausdorff, setiap kofibrasi adalah inklusi tertutup (injektif dengan gambar tertutup); hasilnya juga menggeneralisasi ruang Hausdorff lemah.
• Pushout dari suatu kofibrasi adalah kofibrasi. Artinya, jika $g\colon A\to B$ adalah peta (kontinu) apa pun (antara ruang yang dibuat secara kompak), dan $i\colon A\to X$ adalah kofibrasi, lalu peta yang diinduksi $B\to B\cup _{g}X$ adalah kofibrasi.
• Peta tabung dapat dipahami sebagai dorongan dari $i\colon A\to X$ dan embedding (di salah satu ujung interval unit) $i_{0}\colon A\to A\times I$ . Artinya, silinder pemetaan dapat didefinisikan sebagai $Mi=X\cup _{i}(A\times I)$. Dengan sifat universal pushout, $i$ adalah kofibrasi tepat ketika peta pemetaan dapat dibangun untuk setiap ruang X.
• Setiap peta dapat diganti dengan kofibrasi melalui konstruksi peta tabung. Artinya, diberikan peta yang berubah-ubah (berkelanjutan) $f\colon X\to Y$ (antara ruang yang dihasilkan secara kompak), seseorang mendefinisikan tabung pemetaan

$Mf=Y\cup _{f}(X\times I)$ .

Satu kemudian dikomposisi $f$ dalam komposit kofibrasi dan ekuivalen homotopi. $f$ ditulis sebagai peta

$X{\xrightarrow {j}}Mf{\xrightarrow {r}}Y$

dengan $f=rj$, kapan $j\colon x\mapsto (x,0)$ adalah inklusi, dan $r\colon y\mapsto y$ di $Y$ dan $r\colon (x,s)\mapsto f(x)$ di $X\times I$ .

• Kofibrasi (A, X), jika dan hanya jika retraksi dari $X\times I$ untuk $(A\times I)\cup (X\times \{0\})$, karena ini adalah pushout dan dengan demikian menginduksi peta ke setiap ruang yang masuk akal dalam diagram.
• Persamaan yang serupa dapat dinyatakan untuk pasangan deformasi-retraksi, dan untuk pasangan deformasi-retraksi lingkungan.

Konstruksi dengan kofibrasi

Pengganti Kofibrant

Perhatikan bahwa dalam kategori model ${\mathcal {M}}$ jika $i:*\to X$ bukan kofibrasi, maka silinder pemetaan $Mi$ membentuk pengganti kofibrant . Faktanya, jika kita bekerja hanya dalam kategori ruang topologi, penggantian kofibran untuk peta apa pun dari titik ke ruang membentuk pengganti kofibran.

Kofiber

Untuk kofibrasi $A\to X$ mendefinisikan kofiber ruang hasil bagi diinduksi $X/A$. Secara umum, untuk $f:X\to Y$, cofiber ^{hal 59} didefinisikan sebagai ruang hasil bagi

$C_{f}=M_{f}/(A\times \{0\})$

yang merupakan kerucut pemetaan $f$ . Secara homotopis, serat karbon bertindak sebagai coklat homotopi peta $f:X\to Y$ . Faktanya, untuk ruang topologi runcing, kolom homotopi dari

${\underset {\to }{\text{hocolim}}}\left({\begin{matrix}X&\xrightarrow {f} &Y\\\downarrow &&\\*\end{matrix}}\right)=C_{f}$

Faktanya, urutan peta $X\to Y\to C_{f}$ dilengkapi dengan urutan kofiber dengan segitiga distiguisi dalam kategori triangulasi.

Lihat pula

• Fibrasi
• Homotopi kolimit
• Homotopi fiber

Referensi

• Peter May, "A Concise Course in Algebraic Topology" : bab 6 mendefinisikan dan mendiskusikan kofibrasi, dan digunakan di seluruh
• Ronald Brown, "Topologi dan Groupoids" ; Bab 7 berjudul "Kofibrasi", dan memiliki banyak hasil yang tidak ditemukan di tempat lain.