Đa tạp phẳng hữu hạn là gì? Định nghĩa và phân loại

Đa tạp phẳng hữu hạn (compact flat manifold hay đa tạp Riemann phẳng có thể tích hữu hạn) là đa tạp Riemann liên thông, đầy đủ, compact với tenxơ độ cong Riemann triệt tiêu tại mọi điểm. Khái niệm này đóng vai trò nền tảng trong hình học vi phân, tô-pô đại số và vật lý lý thuyết, mô tả các không gian cục bộ đẳng cự với không gian Euclid nhưng có cấu trúc toàn cục khép kín và thể tích giới hạn. Bài viết này trình bày chi tiết về định nghĩa toán học, các định lý phân loại Bieberbach, cấu trúc nhóm cơ bản, các bất biến phổ vi phân và ý nghĩa hình học của đa tạp phẳng hữu hạn.

Định nghĩa và bản chất hình học

Trong hình học Riemann, một đa tạp khả vi được trang bị một mêtric Riemann xác định dương. Tenxơ độ cong Riemann đo lường mức độ sai lệch của hình học cục bộ so với hình học phẳng của không gian Euclid. Một đa tạp Riemann được gọi là phẳng khi tenxơ độ cong Riemann triệt tiêu đồng nhất tại mọi điểm:

Khi đó, độ cong mặt cắt tại mọi điểm và dọc theo mọi hướng hai chiều đều bằng $0$. Theo định lý Cartan-Hadamard, mọi đa tạp phẳng liên thông và đầy đủ đều nhận không gian Euclid $\mathbb{R}^n$ làm không gian phủ phổ quát. Điều này có nghĩa là mọi đa tạp phẳng hữu hạn $M$ đều có thể được biểu diễn dưới dạng không gian thương:

trong đó nhóm cơ bản $\Gamma \cong \pi_1(M)$ là một nhóm con rời rạc của nhóm các phép đẳng cự Euclid, tác động tự do và thực sự gián đoạn lên không gian Euclid. Để đa tạp thương là compact (tức là có thể tích hữu hạn và đóng), miền cơ bản của tác động nhóm này bắt buộc phải là một tập compact trong không gian Euclid.

Nhóm Bieberbach và các định lý nền tảng

Nhóm cơ bản của một đa tạp phẳng compact được gọi là nhóm Bieberbach. Bản chất của nhóm này là một nhóm tinh thể không có phần tử xoắn (torsion-free crystallographic group). Cấu trúc của nhóm Bieberbach và các đa tạp phẳng compact được điều khiển bởi ba định lý kinh điển do nhà toán học Ludwig Bieberbach công bố.

Định lý Bieberbach thứ nhất

Theo công bố của Bieberbach (1911), mọi nhóm tinh thể tác động lên không gian Euclid đều chứa một nhóm con tịnh tiến thuần túy giao hoán tự do có chỉ số hữu hạn:

trong đó nhóm con tịnh tiến đẳng cấu với $\mathbb{Z}^n$ và nhóm thương $H \cong \Gamma / \mathbb{Z}^n$ là một nhóm hữu hạn, được gọi là nhóm holonomy tuyến tính của đa tạp. Hệ quả hình học trực tiếp là mọi đa tạp phẳng compact đều có một phủ hữu hạn là hình xuyến phẳng $n$ chiều $\mathbb{T}^n = \mathbb{R}^n / \mathbb{Z}^n$ với bậc của phủ đúng bằng cấp của nhóm holonomy hữu hạn $H$.

Định lý Bieberbach thứ hai và thứ ba

Bieberbach (1912) đã hoàn thiện việc giải quyết phần quan trọng trong bài toán thứ mười tám của Hilbert thông qua hai định lý tiếp theo:

• Định lý Bieberbach thứ hai: Hai nhóm tinh thể đẳng cấu trừu tượng thì liên hợp afin trong nhóm afin tổng quát. Do đó, cấu trúc tô-pô của một đa tạp phẳng compact xác định hoàn toàn cấu trúc afin của nó; hai đa tạp phẳng compact đồng phôi thì cũng vi phôi với nhau.
• Định lý Bieberbach thứ ba: Trong mỗi số chiều $n$, chỉ tồn tại hữu hạn nhóm tinh thể không đẳng cấu. Từ đó suy ra với mỗi số chiều $n$, chỉ có hữu hạn lớp vi phôi các đa tạp phẳng compact khác nhau.

Phân loại đa tạp phẳng compact theo số chiều

Dựa trên cấu trúc nhóm Bieberbach, các nhà toán học đã phân loại đầy đủ các lớp vi phôi của đa tạp phẳng compact ở các số chiều thấp, như được hệ thống hóa trong chuyên khảo của Szczepański (2023):

Số chiều 1 và 2

Ở số chiều $1$, đa tạp phẳng compact duy nhất là đường tròn $S^1$. Nhóm cơ bản của đường tròn là nhóm cyclic vô hạn $\mathbb{Z}$ và nhóm holonomy là nhóm tầm thường gồm $1$ phần tử.

Ở số chiều $2$, tồn tại đúng $2$ đa tạp phẳng compact:

1. Hình xuyến phẳng 2 chiều: Ký hiệu là $\mathbb{T}^2$, là đa tạp phẳng compact định hướng được. Nhóm holonomy của hình xuyến phẳng là nhóm tầm thường cấp $1$.
2. Chai Klein phẳng: Là đa tạp phẳng compact không định hướng được. Nhóm holonomy của chai Klein là nhóm hữu hạn cấp $2$, sinh bởi phép phản xạ trượt.

Số chiều 3 và 4

Ở số chiều $3$, số lượng lớp vi phôi đa tạp phẳng compact tăng lên. Có tổng cộng đúng $10$ lớp vi phôi khác nhau:

• Có đúng $6$ lớp đa tạp định hướng được, bao gồm hình xuyến 3 chiều và các dạng thương số với nhóm holonomy cyclic hoặc nhóm dihedral hữu hạn.
• Có đúng $4$ lớp đa tạp không định hướng được.

Ở số chiều $4$, sự phong phú của các nhóm tinh thể dẫn đến cấu trúc đa dạng hơn. Szczepański (2023) ghi nhận có tổng cộng đúng $74$ lớp vi phôi đa tạp phẳng compact, được phân chia cụ thể:

• Có đúng $27$ lớp đa tạp định hướng được.
• Có đúng $47$ lớp đa tạp không định hướng được.

Bảng dưới đây tổng hợp số lượng các lớp vi phôi đa tạp phẳng compact theo số chiều không gian:

Số chiều không gian	Lớp định hướng được	Lớp không định hướng được	Tổng số lớp vi phôi
Chiều 1	1	0	1
Chiều 2	1	1	2
Chiều 3	6	4	10
Chiều 4	27	47	74

Mối liên hệ giữa tính compact và thể tích hữu hạn

Một câu hỏi tự nhiên trong hình học vi phân là liệu có tồn tại đa tạp phẳng đầy đủ không compact nhưng lại có thể tích hữu hạn hay không. Câu trả lời được khẳng định thông qua định lý Auslander, được tái khẳng định trong Szczepański (2023):

Mọi đa tạp Riemann phẳng đầy đủ có thể tích hữu hạn thì bắt buộc phải compact.

Định lý này xác lập tính tương đương tuyệt đối giữa hai khái niệm: đối với lớp các đa tạp Riemann phẳng đầy đủ, tính chất có thể tích hữu hạn đồng nghĩa với tính chất compact. Do đó, các thuật ngữ đa tạp phẳng hữu hạn, đa tạp phẳng compact và đa tạp phẳng đóng đều chỉ cùng một đối tượng hình học.

Sự tương phản giữa đa tạp phẳng compact và các đa tạp phẳng phi compact được thể hiện rõ qua các đặc trưng mêtric và phổ:

Đặc trưng hình học	Đa tạp phẳng compact (hữu hạn)	Đa tạp phẳng phi compact
Độ cong mặt cắt	Bằng 0 tại mọi điểm	Bằng 0 tại mọi điểm
Thể tích toàn phần	Hữu hạn	Vô hạn
Nhóm cơ bản	Nhóm Bieberbach không có xoắn	Nhóm vô hạn tổng quát hoặc tầm thường
Phổ toán tử Laplace	Phổ rời rạc thuần túy	Phổ liên tục hoặc hỗn hợp
Ví dụ tiêu biểu	Hình xuyến phẳng, chai Klein	Không gian Euclid, mặt trụ phẳng

Bất biến phổ và toán tử vi phân trên đa tạp phẳng

Trên các đa tạp phẳng compact, cấu trúc mêtric phẳng cho phép phân tích điều hòa và lý thuyết phổ của các toán tử vi phân elip đạt độ chính xác cao. Hai toán tử vi phân được nghiên cứu sâu sắc nhất là toán tử Laplace-Beltrami tác động trên các dạng vi phân và toán tử Dirac tác động trên các spinor.

Đặc biệt, nghiên cứu của Miatello và Podestá (2012) tập trung vào toán tử biên Atiyah-Patodi-Singer và bất biến phổ eta của nó. Bất biến eta đo lường sự bất đối xứng phổ của các giá trị riêng dương và âm của toán tử vi phân tự liên hợp bậc $1$. Đối với các đa tạp phẳng compact có nhóm holonomy cyclic bậc nguyên tố lẻ $p \ge 7$, giá trị của bất biến eta tại điểm $0$ liên hệ chặt chẽ với số học của trường số đại số:

trong đó giá trị $\eta(0)$ là một bội số nguyên khác $0$ của số lớp $h_{-p}$ của trường số ảo bậc hai liên kết. Kết quả này thiết lập một nhịp cầu kỳ diệu giữa hình học phẳng toàn cục, lý thuyết chỉ số vi phân và lý thuyết số đại số.

Cấu trúc khả quy và lá hóa song song

Một hướng nghiên cứu hiện đại về đa tạp phẳng compact là cấu trúc khả quy mêtric và hình học lá hóa. Theo nghiên cứu của Derdzinski và Piccione (2025), nhóm holonomy của mọi đa tạp phẳng compact có số chiều từ 2 trở lên đều tác động khả quy trên không gian hữu tỷ sinh bởi lưới Euclid liên kết. Về mặt hình học vi phân, tính khả quy này bảo đảm sự tồn tại của ít nhất một phân bố song song thực sự với mọi lá đều là tập compact. Nhờ đó, đa tạp phẳng thừa hưởng cấu trúc của một lá hóa song song (parallel foliation) hoặc thớ hóa phẳng (như trường hợp các chai Klein tổng quát), mặc dù cấu trúc tô-pô toàn cục không nhất thiết phân rã thành tích trực tiếp của các đa tạp con do nhóm cơ bản không giao hoán.

Ý nghĩa trong vật lý lý thuyết và vũ trụ học

Trong vật lý lý thuyết, đặc biệt là ngành tô-pô vũ trụ học, mô hình đa tạp phẳng hữu hạn cung cấp lời giải thích hấp dẫn cho hình học toàn cục của vũ trụ. Dữ liệu quan sát bức xạ phông vi sóng vũ trụ cho thấy vũ trụ quan sát được có độ cong không gian rất gần bằng $0$. Tuy nhiên, độ cong bằng $0$ không nhất thiết kéo theo vũ trụ phải có kích thước vô hạn như không gian Euclid mở. Vũ trụ hoàn toàn có thể là một đa tạp phẳng compact $3$ chiều, chẳng hạn như một hình xuyến $3$ chiều có thể tích hữu hạn. Trong một không gian như vậy, ánh sáng có thể truyền vòng quanh vũ trụ và tạo ra các hiệu ứng định kỳ trong cấu trúc dị thường của bức xạ vi sóng.

Các vấn đề nghiên cứu còn mở

Mặc dù các định lý Bieberbach đã giải quyết bài toán phân loại về mặt nguyên tắc, nhiều câu hỏi sâu sắc về đa tạp phẳng compact vẫn đang là đề tài nghiên cứu tích cực:

• Đặc trưng phổ độ dài: Xác định mức độ mà phổ của toán tử Laplace-Beltrami có thể xác định duy nhất cấu trúc đẳng cự của đa tạp phẳng hữu hạn. Hiện tượng đồng phổ nhưng không đẳng cự đã được phát hiện ở các số chiều cao hơn.
• Số Betti và đối đồng điều: Ước lượng các số Betti của nhóm Bieberbach và mối tương quan giữa số chiều, bậc nhóm holonomy và đối đồng điều của các nhóm tinh thể trừu tượng.
• Cấu trúc mêtric Einstein và biến dạng phẳng: Nghiên cứu không gian moduli của các mêtric phẳng trên một đa tạp compact cho trước và các tính chất hình học của không gian Teichmuller tương ứng.