Tổng quan luận án

Lý thuyết phạm trù monoidal và các cấu trúc liên quan như nhóm phạm trù (Gr-phạm trù), phạm trù Picard, phạm trù monoidal bện và nhóm phạm trù phân bậc giữ vị trí quan trọng trong đại số trừu tượng, hình học vi phân và tôpô đại số. Trong sự phát triển của lý thuyết đại số phạm trù, bài toán phân lớp các cấu trúc nhóm phạm trù và ứng dụng của chúng vào các bài toán mở rộng nhóm luôn là một chủ đề trung tâm.

Khoảng trống nghiên cứu được luận án chỉ ra xuất phát từ hai vấn đề lý thuyết chính:

  1. Định lý tương đương kinh điển của R. Brown và C. B. Spencer (1976) đã thiết lập sự tương đương phạm trù giữa phạm trù các môđun chéo và phạm trù các G-groupoid (nhóm phạm trù chặt chẽ). A. Joyal và R. Street (1993) đã mở rộng nghiên cứu sang môđun chéo bện và nhóm phạm trù chặt chẽ bện, nhưng mới dừng lại ở việc xác định mối liên hệ giữa các vật mà chưa thiết lập một tương đương phạm trù đầy đủ kiểu Brown-Spencer cho phạm trù các môđun chéo bện, môđun chéo aben cũng như các cấu trúc có tác động nhóm như $\Gamma$-môđun chéo bện.
  2. Về bài toán phân lớp các phạm trù Picard phân bậc và mở rộng $\Gamma$-môđun: Các công trình của A. Khmaladze (2007) đã phân lớp các nhóm phạm trù phân bậc bện và phạm trù Picard phân bậc thông qua các nhóm đối đồng điều của $\Gamma$-môđun bằng phương pháp phạm trù khung, đồng thời phân lớp các mở rộng $\Gamma$-môđun bằng hai phương pháp thuần túy đại số mà không sử dụng lý thuyết phạm trù phân bậc hay phương pháp hệ nhân tử của A. Grothendieck.

Từ các cơ sở trên, luận án xác định 4 mục tiêu nghiên cứu cụ thể:

  1. Nghiên cứu cấu trúc đại số phạm trù của các phạm trù Picard phân bậc bằng phương pháp hệ nhân tử (giả hàm tử), chứng minh mọi phạm trù Picard phân bậc tương đương với một mở rộng tích chéo của hệ nhân tử lấy trong phạm trù Picard rút gọn, từ đó thiết lập định lý phân lớp đối đồng điều và ứng dụng vào phân lớp các mở rộng $\Gamma$-môđun.
  2. Xác định cấu trúc hình thái (mũi tên) và thiết lập tương đương phạm trù giữa phạm trù các môđun chéo bện với phạm trù các nhóm phạm trù chặt chẽ bện; giữa phạm trù các môđun chéo aben với phạm trù các phạm trù Picard chặt chẽ.
  3. Xây dựng khái niệm nhóm phạm trù phân bậc chặt chẽ bện, thiết lập tương đương phạm trù giữa phạm trù các $\Gamma$-môđun chéo bện và phạm trù các nhóm phạm trù phân bậc chặt chẽ bện; phát biểu và giải quyết bài toán mở rộng $\Gamma$-môđun kiểu $\Gamma$-môđun chéo aben.
  4. Nghiên cứu nhóm phạm trù phân bậc chặt chẽ gắn với bài toán mở rộng nhóm đẳng biến: xác định mối liên hệ giữa bất biến thứ ba của nhóm phạm trù $\text{Hol}_\Gamma G$ với cản trở của hạt nhân đẳng biến $(\Pi, G, p)$, phân lớp các mở rộng nhóm đẳng biến là mở rộng tâm, và xây dựng phép hợp thành của nhóm phạm trù phân bậc với một $\Gamma$-đồng cấu mở rộng cấu trúc pull-back của S. MacLane.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Nhóm phạm trù bện, nhóm phạm trù phân bậc bện, phạm trù Picard phân bậc, môđun chéo (môđun chéo bện, môđun chéo aben, $\Gamma$-môđun chéo bện, $\Gamma$-môđun chéo aben), lý thuyết hệ nhân tử, lý thuyết cản trở và bài toán mở rộng nhóm kiểu môđun chéo / mở rộng nhóm đẳng biến.
  • Phạm vi nghiên cứu: Nghiên cứu lý thuyết trong phạm vi chuyên ngành Đại số và Lý thuyết số, tập trung vào tính chặt chẽ và tính đối xứng trong nhóm phạm trù bện và nhóm phạm trù phân bậc bện trên một nhóm tác động $\Gamma$.

Tổng quan tài liệu và vị trí của luận án

Lý thuyết phạm trù với phép toán tenxơ khởi đầu từ nghiên cứu của J. Bénabou (1963) và S. MacLane (1963) với khái niệm phạm trù monoidal và phạm trù monoidal đối xứng, thiết lập các ràng buộc kết hợp $a$, ràng buộc đơn vị $l, r$ và ràng buộc giao hoán $c$. Cấu trúc này được mở rộng thành phạm trù với cấu trúc nhóm khi bổ sung tính khả nghịch của các vật (M. Laplaza, 1983; N. Saavedra Rivano, 1972). Nếu phạm trù nền là một groupoid, ta có khái niệm phạm trù monoidal giống nhóm (A. Fröhlich và C. T. C. Wall, 1974), Gr-phạm trù (Hoàng Xuân Sính, 1975) hay nhóm phạm trù (A. M. Cegarra và cộng sự, 1993, 2002). Hoàng Xuân Sính đã phân lớp các nhóm phạm trù bằng đối đồng điều nhóm $H^3(\Pi, A)$ và nghiên cứu phạm trù Picard (nhóm phạm trù đối xứng).

Khái niệm phạm trù monoidal bện và nhóm phạm trù bện được đưa ra bởi A. Joyal và R. Street (1993), là sự mở rộng của phạm trù monoidal đối xứng khi ràng buộc bện không nhất thiết thỏa mãn $c_{Y,X} \circ c_{X,Y} = \text{id}$. Joyal và Street đã phân lớp các nhóm phạm trù bện bằng các hàm bậc hai (quadratic functors). Cấu trúc nhóm phạm trù phân bậc trên nhóm $\Gamma$ được A. Fröhlich và C. T. C. Wall (1974) đưa ra và được A. M. Cegarra cùng các cộng sự (2001, 2002, 2004) phát triển sâu sắc, gắn liền với việc giải quyết bài toán mở rộng nhóm đẳng biến với hạt nhân không aben. Sau đó, A. Khmaladze (2007) đã mở rộng thành nhóm phạm trù phân bậc bện và phạm trù Picard phân bậc, sử dụng các nhóm đối đồng điều aben và đối xứng của các $\Gamma$-môđun ($H^n_{\Gamma,ab}$ và $H^n_{\Gamma,s}$) để phân lớp các cấu trúc này qua phạm trù khung.

Ở hướng nghiên cứu về tính chặt chẽ, R. Brown và C. B. Spencer (1976) chứng minh rằng phạm trù các môđun chéo tương đương với phạm trù các G-groupoid (nhóm phạm trù chặt chẽ). Nguyễn Tiến Quang và các cộng sự (2011, 2012) đã phát triển lý thuyết này để kết nối các lớp môđun chéo với đại số phạm trù thích hợp và ứng dụng lý thuyết cản trở của hàm tử. P. Carrasco và các cộng sự (1993, 2002) nghiên cứu môđun chéo aben; B. Noohi (2007, 2011) giới thiệu khái niệm $\Gamma$-môđun chéo và $\Gamma$-môđun chéo bện; Nguyễn Tiến Quang và Phạm Thị Cúc (2012, 2013) nghiên cứu nhóm phạm trù phân bậc chặt chẽ và $\Gamma$-môđun chéo.

Vị trí của luận án: Luận án của Chế Thị Kim Phụng nằm ở giao điểm giữa lý thuyết đại số phạm trù, lý thuyết đối đồng điều nhóm/môđun và lý thuyết mở rộng nhóm. Luận án giải quyết hoàn chỉnh bài toán xây dựng tương đương phạm trù kiểu Brown-Spencer cho các môđun chéo bện, môđun chéo aben và $\Gamma$-môđun chéo bện; đồng thời đưa ra phương pháp tiếp cận mới dựa trên hệ nhân tử (giả hàm tử) để phân lớp phạm trù Picard phân bậc và giải quyết các bài toán mở rộng $\Gamma$-môđun kiểu môđun chéo aben.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và các khái niệm cốt lõi

Luận án sử dụng các hệ thống lý thuyết và công cụ đại số trừu tượng bao gồm:

  1. Lý thuyết phạm trù monoidal và nhóm phạm trù: Khái niệm phạm trù monoidal $\mathcal{C} = (\mathcal{C}, \otimes, a, I, l, r)$; hàm tử monoidal $(F, \widetilde{F}, F_*)$; biến đổi tự nhiên monoidal; nhóm phạm trù bện với ràng buộc bện $c_{X,Y}: X \otimes Y \to Y \otimes X$; phạm trù Picard khi $c_{Y,X} \circ c_{X,Y} = \text{id}_{X \otimes Y}$.
  2. Nhóm phạm trù phân bậc: Một phạm trù $\mathcal{C}$ cùng hàm tử phân bậc $gr: \mathcal{C} \to \Gamma$ ổn định; các phép toán $\otimes$ và $I$ tương thích bậc; nhóm phạm trù $\Gamma$-phân bậc rút gọn $\int_\Gamma (\Pi, A, h)$ xác định bởi bộ ba $(\Pi, A, h)$ với $\Pi$ là $\Gamma$-nhóm, $A$ là $\Pi$-môđun $\Gamma$-đẳng biến và $h \in Z^3_\Gamma(\Pi, A)$.
  3. Đối đồng điều của $\Gamma$-môđun: Cho $M, N$ là các $\Gamma$-môđun. Nhóm đối đồng điều aben $H^n_{\Gamma,ab}(M, N)$ và đối xứng $H^n_{\Gamma,s}(M, N)$ ($n \le 3$) của dãy phức bị chặn: $$0 \longrightarrow C^1_\Gamma(M, N) \stackrel{\partial}{\longrightarrow} C^2_{\Gamma,ab}(M, N) \stackrel{\partial}{\longrightarrow} Z^3_{\Gamma,ab}(M, N) \longrightarrow 0$$
  4. Lý thuyết hệ nhân tử và giả hàm tử: Khái niệm hệ nhân tử đối xứng $F: \Gamma \to \mathbf{Pic}$ gồm họ các tự tương đương monoidal đối xứng $F^\sigma: \mathcal{P} \to \mathcal{P}$ và các đẳng cấu hàm tử $\theta^{\sigma,\tau}: F^\sigma F^\tau \to F^{\sigma\tau}$; khái niệm hệ nhân tử khá chặt chẽ ($F^\sigma_* = \text{id}$).
  5. Lý thuyết cản trở và hàm tử kiểu $(\phi, f)$: Hàm tử phân bậc $F: \int_\Gamma(M, N, h) \to \int_\Gamma(M', N', h')$ kiểu $(\phi, f)$ với cản trở $k = \phi^*h' - f_*h \in Z^3_{\Gamma,s}(M, N')$.

Phương pháp nghiên cứu

Luận án sử dụng phương pháp nghiên cứu lý thuyết toán học thuần túy với các kỹ thuật chuyên sâu:

  • Phương pháp hệ nhân tử (factor set): Xây dựng cấu trúc mở rộng tích chéo $\Delta F$ từ hệ nhân tử lấy trong phạm trù Picard rút gọn $\text{Ker} \mathcal{P}(h)$ để giải tích cấu trúc và phân lớp phạm trù Picard phân bậc.
  • Phương pháp tương đương phạm trù: Thiết lập các cặp hàm tử tương đương giữa phạm trù đại số (các môđun chéo) và phạm trù hình học/phạm trù học (các nhóm phạm trù chặt chẽ).
  • Lý thuyết cản trở của hàm tử: Nghiên cứu tính mở rộng được của các hàm tử monoidal đối xứng từ các phạm trù rời rạc sang các phạm trù Picard chặt chẽ để thiết lập các điều kiện tồn tại và phân loại các mở rộng nhóm/môđun theo lý thuyết Schreier.

Nguồn tư liệu là các công trình khoa học quốc tế trong các cơ sở dữ liệu toán học chuyên ngành và các kết quả nghiên cứu công bố của tác giả cùng các cộng sự.

Nội dung chính theo từng chương

Chương 1: Một số kiến thức chuẩn bị

Chương 1 hệ thống hóa các định nghĩa, định lý và công cụ toán học nền tảng phục vụ cho các chương phát triển kết quả mới:

  • Trình bày định nghĩa phạm trù monoidal $\mathcal{C} = (\mathcal{C}, \otimes, a, I, l, r)$ và các sơ đồ giao hoán ngũ giác (cho ràng buộc kết hợp $a$) và tam giác (cho ràng buộc đơn vị $l, r$). Định nghĩa hàm tử monoidal $(F, \widetilde{F}, F_*)$, hàm tử monoidal chặt chẽ, biến đổi tự nhiên monoidal và tương đương monoidal.
  • Trình bày cấu trúc nhóm phạm trù, nhóm phạm trù bện và phạm trù Picard. Trình bày chi tiết phép dựng nhóm phạm trù bện rút gọn $\mathcal{P}(h) = \int(M, N, h)$ từ một nhóm phạm trù bện $\mathcal{P}$, trong đó $M = \pi_0(\mathcal{P})$, $N = \pi_1(\mathcal{P})$ và $h = (\xi, \eta) \in Z^3_a(M, N)$ là 3-đối chu trình aben.
  • Mô tả phân lớp các hàm tử monoidal đối xứng kiểu $(\phi, f)$ giữa hai phạm trù Picard rút gọn $\mathcal{S} = \int(M, N, h)$ và $\mathcal{S}' = \int(M', N', h')$, chứng minh sự tồn tại song ánh giữa tập các lớp đồng luân $\text{Hom}_{(\phi,f)}[\mathcal{S}, \mathcal{S}']$ và nhóm đối đồng điều $H^2_s(M, N')$.
  • Trình bày khái niệm nhóm phạm trù $\Gamma$-phân bậc, nhóm phạm trù $\Gamma$-phân bậc rút gọn $\int_\Gamma(\Pi, A, h)$, nhóm đối đồng điều aben $H^n_{\Gamma,ab}(M, N)$ và đối xứng $H^n_{\Gamma,s}(M, N)$ của các $\Gamma$-môđun theo A. Khmaladze.
  • Thiết lập định lý phân lớp các hàm tử monoidal phân bậc đối xứng giữa hai phạm trù Picard phân bậc: $$\text{Hom}{(\phi,f)}[\mathcal{S}, \mathcal{S}'] \longleftrightarrow H^2{\Gamma,s}(M, N')$$

Chương 2: Hệ nhân tử trong các phạm trù Picard phân bậc

Chương 2 giải quyết bài toán phân lớp các phạm trù Picard phân bậc bằng phương pháp hệ nhân tử và ứng dụng vào phân lớp mở rộng $\Gamma$-môđun:

Khái niệm / Cấu trúc Ký hiệu / Biểu diễn Vai trò / Ý nghĩa toán học
Hệ nhân tử đối xứng $F = (\mathcal{P}, F^\sigma, \theta^{\sigma,\tau}): \Gamma \to \mathbf{Pic}$ Bộ các tự tương đương monoidal đối xứng trên $\mathcal{P} = \text{Ker} \mathcal{P}$
Mở rộng tích chéo $\Delta F$ Phạm trù Picard phân bậc xây dựng từ hệ nhân tử $F$
3-đối chu trình cảm sinh $h_F \in Z^3_{\Gamma,s}(\pi_0\mathcal{P}, \pi_1\mathcal{P})$ Bất biến thứ ba của phạm trù Picard phân bậc
Mở rộng $\Gamma$-môđun $E: 0 \to N \to B \to M \to 0$ Dãy khớp ngắn các $\Gamma$-môđun

Các kết quả trọng tâm của chương:

  • Định lý 2.5: Mọi phạm trù Picard $\Gamma$-phân bậc $\mathcal{P}$ tương đương với mở rộng tích chéo $\Delta F$ của một hệ nhân tử đối xứng $F$ lấy hệ tử trong phạm trù Picard rút gọn $\text{Ker} \mathcal{P}(h)$.
  • Định lý 2.1: Mỗi hệ nhân tử đối xứng khá chặt chẽ $F = (\mathcal{S}, F^\sigma, \theta^{\sigma,\tau}): \Gamma \to Z^3_s$ lấy hệ tử trong phạm trù Picard $\mathcal{S} = \int(M, N, \xi, \eta)$ cảm sinh cấu trúc $\Gamma$-môđun trên các nhóm aben $M, N$ và cảm sinh một 3-đối chu trình chuẩn tắc $h_F \in Z^3_{\Gamma,s}(M, N)$.
  • Định lý 2.6 và 2.7: Thiết lập quan hệ đồng luân giữa các hệ nhân tử với tính đối đồng điều của các 3-đối chu trình cảm sinh, từ đó chứng minh song ánh phân lớp: $$\Gamma\mathbf{Pic}[M, N] \longleftrightarrow H^3_{\Gamma,s}(M, N)$$ tái lập kết quả phân lớp phạm trù Picard phân bậc của A. Khmaladze (2007) bằng con đường hệ nhân tử.
  • Định lý 2.8 (Mở rộng $\Gamma$-môđun): Chứng minh sự phân lớp tập các lớp tương đương các mở rộng $\Gamma$-môđun $\text{Ext}^1_{Z\Gamma}(M, N)$ thông qua tập các lớp đồng luân của các hàm tử monoidal phân bậc đối xứng giữa phạm trù rời rạc $\text{Dis}\Gamma M$ và phạm trù thu gọn $\text{Red}\Gamma N$: $$\text{Ext}^1_{Z\Gamma}(M, N) \longleftrightarrow \text{Hom}{\Gamma,s}[\text{Dis}\Gamma M, \text{Red}\Gamma N] \longleftrightarrow H^2{\Gamma,s}(M, N)$$

Chương 3: Môđun chéo bện và nhóm phạm trù chặt chẽ bện

Chương 3 thiết lập các định lý tương đương phạm trù kiểu Brown-Spencer cho các cấu trúc bện và aben, đồng thời giải bài toán mở rộng aben kiểu môđun chéo aben:

  • Môđun chéo bện và Nhóm phạm trù chặt chẽ bện: Xác định mũi tên trong phạm trù $\mathbf{BrCross}$ của các môđun chéo bện $\mathcal{M} = (B, D, d, \vartheta, \eta)$, gồm một đồng cấu $(f_1, f_0): \mathcal{M} \to \mathcal{M}'$ và một 2-đối chu trình aben $\phi \in Z^2_a(\pi_0 \mathcal{M}, \pi_1 \mathcal{M}')$. Chứng minh Định lý 3.1: Tồn tại tương đương phạm trù giữa phạm trù các môđun chéo bện $\mathbf{BrCross}$ và phạm trù các nhóm phạm trù chặt chẽ bện $\mathbf{BrGr}^*$ (với mũi tên là các hàm tử monoidal đối xứng bảo toàn tích tenxơ).
  • Môđun chéo aben và Phạm trù Picard chặt chẽ: Xác định mũi tên trong phạm trù các môđun chéo aben $\mathbf{AbCross}$ gồm đồng cấu $(f_1, f_0)$ và một 2-đối chu trình đối xứng $\phi \in Z^2_s(\pi_0 \mathcal{M}, \pi_1 \mathcal{M}')$. Chứng minh Định lý 3.2: Thiết lập tương đương phạm trù giữa phạm trù $\mathbf{AbCross}$ và phạm trù các phạm trù Picard chặt chẽ $\mathbf{Pic}^{str}$.
  • Bài toán mở rộng aben kiểu môđun chéo aben: Phát biểu bài toán mở rộng một nhóm aben $B$ bởi nhóm aben $Q$ qua môđun chéo aben $\mathcal{M} = (B, D, d)$ cảm sinh đồng cấu $\psi: Q \to \text{Coker } d$.
    • Định lý 3.3: Điều kiện cần và đủ để tồn tại mở rộng aben kiểu môđun chéo aben $\mathcal{M}$ là phần tử cản trở $\psi^*k \in H^3_s(Q, \pi_1 \mathcal{M})$ triệt tiêu (với $k$ là bất biến thứ ba của phạm trù Picard chặt chẽ liên kết).
    • Khi $\psi^*k = 0$, thiết lập lý thuyết Schreier thông qua song ánh: $$\Omega: \text{Hom}{\mathbf{Pic}}^{(\psi, 0)}[\text{Dis } Q, \mathcal{P}] \longleftrightarrow \text{Ext}^M{ab}(Q, B, \psi) \longleftrightarrow H^2_s(Q, \text{Ker } d)$$

Chương 4: $\Gamma$-môđun chéo bện và nhóm phạm trù phân bậc chặt chẽ bện

Chương 4 mở rộng kết quả của Chương 3 lên trường hợp có tác động của nhóm $\Gamma$:

  • Định nghĩa 4.1: Đưa ra khái niệm nhóm phạm trù $\Gamma$-phân bậc chặt chẽ bện và thiết lập quy tắc biểu diễn một $\Gamma$-môđun chéo bện $\mathcal{M} = (B, D, d, \vartheta, \eta)$ qua một nhóm phạm trù phân bậc chặt chẽ bện $\mathcal{P}_\mathcal{M}$.
  • Định lý 4.10 (Định lý phân lớp $\Gamma$-môđun chéo bện): Xác định cấu trúc mũi tên trong phạm trù $\Gamma\mathbf{BrCross}$ là bộ ba $(f_1, f_0, \phi)$ với $\phi \in Z^2_\Gamma(\text{Coker } d, \text{Ker } d')$, chứng minh tương đương phạm trù: $$\Phi: \Gamma\mathbf{BrCross} \stackrel{\sim}{\longrightarrow} \Gamma\mathbf{BrGr}^$$ Trường hợp đối xứng dẫn đến tương đương giữa phạm trù các $\Gamma$-môđun chéo đối xứng $\Gamma\mathbf{SymCross}$ và phạm trù các nhóm phạm trù $\Gamma$-phân bậc chặt chẽ đối xứng $\Gamma\mathbf{PiGr}^$.
  • Lý thuyết Schreier cho các mở rộng $\Gamma$-môđun kiểu $\Gamma$-môđun chéo aben:
    • Cho $\Gamma$-môđun chéo aben $\mathcal{M} = (B, D, d)$, $\Gamma$-môđun $Q$ và đồng cấu $\psi: Q \to \text{Coker } d$.
    • Xây dựng mở rộng tích chéo $E_F = B \times_f Q$ với cấu trúc $\Gamma$-môđun từ hàm tử monoidal phân bậc đối xứng $(F, \widetilde{F}): \text{Dis}{\Gamma,s} Q \to \mathcal{P}\mathcal{M}$.
    • Định lý 4.13: Thiết lập song ánh giữa tập các lớp đồng luân hàm tử và tập các lớp tương đương mở rộng: $$\Omega: \text{Hom}{(\psi,0)}[\text{Dis}{\Gamma,s} Q, \mathcal{P}\mathcal{M}] \longleftrightarrow \text{Ext}^M{Z\Gamma}(Q, B, \psi)$$
    • Định lý 4.14: Mở rộng $\Gamma$-môđun kiểu $\mathcal{M}$ tồn tại khi và chỉ khi cản trở $\psi^*h = 0$ trong $H^3_{\Gamma,s}(Q, \text{Ker } d)$. Khi đó tồn tại song ánh: $$\text{Ext}^M_{Z\Gamma}(Q, B, \psi) \longleftrightarrow H^2_{\Gamma,s}(Q, \text{Ker } d)$$

Chương 5: Mở rộng nhóm đẳng biến và nhóm phạm trù phân bậc chặt chẽ

Chương 5 tập trung vào ứng dụng đại số phạm trù phân bậc chặt chẽ trong lý thuyết mở rộng nhóm đẳng biến:

  • Định lý 5.1 (Bất biến của $\text{Hol}_\Gamma G$ và cản trở của hạt nhân đẳng biến): Với một $\Gamma$-nhóm $G$, xây dựng nhóm phạm trù $\Gamma$-phân bậc chặt chẽ $\text{Hol}\Gamma G$. Cho hạt nhân đẳng biến $(\Pi, G, p)$ với $p: \Pi \to \text{Out } G$. Chứng minh rằng các bất biến của $\text{Hol}\Gamma G$ là $\pi_0(\text{Hol}\Gamma G) = \text{Out } G$, $\pi_1(\text{Hol}\Gamma G) = ZG$, và bất biến thứ ba $h \in Z^3_\Gamma(\text{Out } G, ZG)$ thỏa mãn $p^*h \in \text{Obs}(p)$ (cản trở của hạt nhân $p$).
  • Định lý 5.2 (Phân lớp mở rộng nhóm đẳng biến là mở rộng tâm): Cho $\Pi$ là $\Gamma$-nhóm và $A$ là $\Pi$-môđun $\Gamma$-đẳng biến. Thiết lập lý thuyết Schreier phân lớp tập các mở rộng tâm $\text{Ext}^c_\Gamma(\Pi, A)$ qua tập các lớp đồng luân của các tự hàm tử monoidal $\Gamma$-phân bậc của $\int_\Gamma(\Pi, A, 0)$: $$\text{Ext}^c_\Gamma(\Pi, A) \longleftrightarrow \text{End}^{id}\Gamma\left(\int\Gamma(\Pi, A, 0)\right) \longleftrightarrow H^2_\Gamma(\Pi, A)$$
  • Định lý 5.3 (Hợp thành của nhóm phạm trù phân bậc với $\Gamma$-đồng cấu): Cho $\mathcal{H}$ là nhóm phạm trù phân bậc chặt chẽ với các bất biến $\Pi, C, h$ và $p: \Pi' \to \Pi$ là một $\Gamma$-đồng cấu nhóm đẳng biến. Luận án xây dựng nhóm phạm trù phân bậc chặt chẽ hợp thành $\mathcal{G} = \mathcal{H} \circ p$ tương đương với $\int_\Gamma(\Pi', C, p^*h)$, tổng quát hóa phép dựng mở rộng pull-back $E_\gamma$ của S. MacLane cho nhóm phạm trù phân bậc.

Kết quả và những đóng góp mới

Luận án đã đạt được các đóng góp khoa học mới trong lĩnh vực Đại số và Lý thuyết số:

  1. Phương pháp tiếp cận mới bằng giả hàm tử: Đưa ra cách tiếp cận cấu trúc phạm trù Picard phân bậc thông qua hệ nhân tử (giả hàm tử), chứng minh định lý về mở rộng tích chéo $\Delta F$, giải thích cấu trúc đối đồng điều đối xứng thứ hai và thứ ba của các $\Gamma$-môđun, tái lập định lý phân lớp Khmaladze và đưa ra phân lớp mới cho các mở rộng $\Gamma$-môđun qua hàm tử monoidal phân bậc đối xứng.
  2. Mở rộng định lý tương đương Brown-Spencer: Xây dựng tường minh cấu trúc mũi tên trong các phạm trù môđun chéo và thiết lập hai tương đương phạm trù:
    • Phạm trù các môđun chéo bện tương đương với phạm trù các nhóm phạm trù chặt chẽ bện ($\mathbf{BrCross} \simeq \mathbf{BrGr}^*$).
    • Phạm trù các môđun chéo aben tương đương với phạm trù các phạm trù Picard chặt chẽ ($\mathbf{AbCross} \simeq \mathbf{Pic}^{str}$).
  3. Thiết lập tương đương phạm trù cho $\Gamma$-môđun chéo bện: Đưa ra định nghĩa nhóm phạm trù phân bậc chặt chẽ bện và chứng minh tương đương phạm trù giữa $\Gamma\mathbf{BrCross}$ và phạm trù các nhóm phạm trù phân bậc chặt chẽ bện $\Gamma\mathbf{BrGr}^*$.
  4. Giải quyết hoàn chỉnh bài toán mở rộng kiểu môđun chéo: Phát biểu và giải quyết lý thuyết Schreier cùng lý thuyết cản trở cho hai lớp bài toán mở rộng: mở rộng aben kiểu môđun chéo aben và mở rộng $\Gamma$-môđun kiểu $\Gamma$-môđun chéo aben.
  5. Ứng dụng vào mở rộng nhóm đẳng biến: Thiết lập mối liên hệ chính xác giữa bất biến thứ ba của $\text{Hol}_\Gamma G$ với cản trở hạt nhân đẳng biến, phân lớp mở rộng tâm đẳng biến và xây dựng thành công phép hợp thành $\mathcal{H} \circ p$ mở rộng cấu trúc pull-back của S. MacLane.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Luận án tập trung nghiên cứu trong phạm vi đại số phạm trù 1-chiều và 2-chiều (2-nhóm / nhóm phạm trù) với nhóm tác động $\Gamma$ rời rạc và các ràng buộc chặt chẽ/bện. Các cấu trúc phạm trù bậc cao hơn ($n$-nhóm, $\infty$-groupoid) hoặc các nhóm tác động có cấu trúc tôpô vi phân chưa nằm trong phạm vi giải quyết của văn bản.
  • Hướng nghiên cứu tiếp được gợi mở từ luận án:
    • Mở rộng phương pháp hệ nhân tử để nghiên cứu cấu trúc và phân lớp các phạm trù có cấu trúc đại số phong phú hơn như Ann-phạm trù phân bậc (phạm trù dạng vành).
    • Nghiên cứu mở rộng tương đương kiểu Brown-Spencer cho các cấu trúc đa phạm trù phân bậc và các môđun chéo cấp cao (crossed complexes / crossed $n$-fold modules).
    • Phát triển các ứng dụng của lý thuyết cản trở hàm tử phân bậc trong tôpô đại số và lý thuyết đồng luân của không gian.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị học thuật cao, hữu ích đối với:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Đại số, Lý thuyết số và Tôpô đại số: Cung cấp khung lý thuyết hoàn chỉnh và phương pháp luận chi tiết về đại số phạm trù monoidal, nhóm phạm trù, đối đồng điều nhóm và môđun chéo.
  • Giảng viên và nhà nghiên cứu lý thuyết phạm trù: Tham khảo kỹ thuật xử lý hệ nhân tử (giả hàm tử), cách xây dựng các tương đương phạm trù chặt chẽ và ứng dụng lý thuyết cản trở hàm tử để giải bài toán mở rộng cấu trúc đại số.
  • Phần đáng tham khảo nhất:
    • Chương 2 về kỹ thuật xây dựng mở rộng tích chéo $\Delta F$ từ hệ nhân tử đối xứng.
    • Chương 3 và Chương 4 về cách định nghĩa cấu trúc mũi tên đồng cấu môđun chéo kèm 2-đối chu trình để thiết lập tương đương phạm trù kiểu Brown-Spencer.

Câu hỏi thường gặp

1. Tương đương Brown-Spencer được luận án mở rộng cho những đối tượng nào?

Luận án mở rộng tương đương Brown-Spencer kinh điển (giữa môđun chéo và G-groupoid) cho ba lớp cấu trúc mới:

  • Giữa phạm trù các môđun chéo bện và phạm trù các nhóm phạm trù chặt chẽ bện ($\mathbf{BrCross} \simeq \mathbf{BrGr}^*$).
  • Giữa phạm trù các môđun chéo aben và phạm trù các phạm trù Picard chặt chẽ ($\mathbf{AbCross} \simeq \mathbf{Pic}^{str}$).
  • Giữa phạm trù các $\Gamma$-môđun chéo bện và phạm trù các nhóm phạm trù $\Gamma$-phân bậc chặt chẽ bện ($\Gamma\mathbf{BrCross} \simeq \Gamma\mathbf{BrGr}^*$).

2. Khái niệm hệ nhân tử khá chặt chẽ trong phạm trù Picard phân bậc có đặc điểm gì?

Một hệ nhân tử đối xứng $F = (\mathcal{P}, F^\sigma, \theta^{\sigma,\tau})$ trên nhóm $\Gamma$ lấy hệ tử trong phạm trù Picard $\mathcal{P}$ được gọi là khá chặt chẽ nếu $F^\sigma_* = \text{id}$ với mọi $\sigma \in \Gamma$. Luận án chứng minh rằng mọi hệ nhân tử đối xứng đều đồng luân với một hệ nhân tử đối xứng khá chặt chẽ, và mỗi hệ nhân tử khá chặt chẽ cảm sinh trực tiếp cấu trúc $\Gamma$-môđun cùng một 3-đối chu trình chuẩn tắc đối xứng $h_F \in Z^3_{\Gamma,s}(\pi_0\mathcal{P}, \pi_1\mathcal{P})$.

3. Điều kiện cần và đủ để tồn tại một mở rộng $\Gamma$-môđun kiểu $\Gamma$-môđun chéo aben là gì?

Cho $\Gamma$-môđun chéo aben $\mathcal{M} = (B, D, d)$, $\Gamma$-môđun $Q$ và đồng cấu $\psi: Q \to \text{Coker } d$. Mở rộng $\Gamma$-môđun của $B$ bởi $Q$ kiểu $\mathcal{M}$ cảm sinh $\psi$ tồn tại khi và chỉ khi phần tử cản trở $\psi^*h$ triệt tiêu trong nhóm đối đồng điều $H^3_{\Gamma,s}(Q, \text{Ker } d)$, trong đó $h$ là bất biến thứ ba của phạm trù Picard phân bậc liên kết với $\mathcal{M}$.

4. Mối liên hệ giữa nhóm phạm trù $\text{Hol}_\Gamma G$ và hạt nhân đẳng biến $(\Pi, G, p)$ được xác định như thế nào?

Với $\Gamma$-nhóm $G$, nhóm phạm trù $\Gamma$-phân bậc chặt chẽ $\text{Hol}\Gamma G$ có bất biến $\pi_0 = \text{Out } G$, $\pi_1 = ZG$ và bất biến thứ ba $h \in Z^3\Gamma(\text{Out } G, ZG)$. Đối với hạt nhân đẳng biến $(\Pi, G, p)$, phần tử cảm sinh $p^*h$ qua đồng cấu $p: \Pi \to \text{Out } G$ chính là một cản trở của $p$, tức $p^*h \in \text{Obs}(p) \subset H^3_\Gamma(\Pi, ZG)$. Hạt nhân $p$ mở rộng được khi và chỉ khi $p^*h = 0$.

Kết luận

Luận án tiến sĩ toán học của Chế Thị Kim Phụng là một công trình nghiên cứu hệ thống về lý thuyết nhóm phạm trù bện, phạm trù Picard phân bậc và môđun chéo bện dưới tác động của một nhóm toán tử $\Gamma$. Bằng việc kết hợp phương pháp hệ nhân tử (giả hàm tử) với lý thuyết đối đồng điều của các $\Gamma$-môđun, luận án đã giải quyết trọn vẹn bài toán phân lớp phạm trù Picard phân bậc và thiết lập các định lý tương đương phạm trù mở rộng định lý Brown-Spencer cho các môđun chéo bện và đẳng biến. Đồng thời, công trình đã phát triển lý thuyết Schreier và lý thuyết cản trở để phân lớp hoàn chỉnh các bài toán mở rộng môđun kiểu môđun chéo aben và mở rộng nhóm đẳng biến tâm. Các kết quả này đóng góp tư liệu lý thuyết giá trị cho chuyên ngành Đại số và Lý thuyết số.