Luận án tiến sĩ Chỉ số chính quy của tập điểm béo trong không gian xạ ảnh - Trần Nam Sinh (ĐH Huế 2019)

Tập điểm béo hình thành từ một tập hữu hạn các điểm phân biệt trong không gian xạ ảnh. Mỗi điểm mang một số nguyên dương đại diện cho số bội triệt tiêu. Cấu trúc này xác định một giản đồ con chiều không trong không gian xạ ảnh. Vành đa thức thuần nhất đóng vai trò là không gian các hàm đại số. Mỗi điểm tương ứng với một iđêan nguyên tố thuần nhất. Giao của các lũy thừa tương ứng tạo thành ideal thuần nhất của giản đồ điểm. Tập điểm béo đại diện cho các hàm đa thức triệt tiêu tại các điểm với cấp đạo hàm quy định. Bài toán nghiên cứu mở ra hướng tiếp cận hình học cho lý thuyết kỳ dị đại số. Cấu trúc hình học của tập điểm chi phối trực tiếp bậc của các đa thức nội suy.

Chỉ số chính quy Castelnuovo-Mumford là một bất biến đại số quan trọng của môđun phân bậc. Bất biến này đo lường độ phức tạp của vành tọa độ thuần nhất. Đối với tập điểm béo, chỉ số này chỉ ra bậc mà tại đó hàm Hilbert trùng với đa thức Hilbert. Khi đạt đến chỉ số chính quy, hệ thống phương trình nội suy trở nên ổn định. Việc tính toán chỉ số chính quy giúp kiểm soát triệt để các bậc tự do của hệ đa thức. Bất biến này liên kết chặt chẽ với đối đồng cấu địa phương và phân giải tự do. Khái niệm độ chính quy của tập điểm béo hỗ trợ giải quyết nhiều bài toán phân loại hình học. Các nghiên cứu hiện đại luôn tìm kiếm các công thức tường minh và chặn trên tối ưu cho bất biến này.

Lịch sử bài toán nội suy đa thức bắt đầu từ các công trình kinh điển của Segre và Nagata. Năm 1961, Beniamino Segre công bố chặn trên nổi tiếng cho chỉ số chính quy trên mặt phẳng xạ ảnh. Giả thuyết Nagata đặt ra câu hỏi về bậc tối thiểu của đường cong đại số đi qua tập điểm béo. Sau đó, nhiều nhà toán học mở rộng bài toán lên không gian xạ ảnh đa chiều. Việc nghiên cứu fat points projective space thu hút sự quan tâm của giới đại số giao hoán. Các bài toán tập trung vào cấu trúc hình học tổng quát và vị trí suy biến của các điểm. Nhiều kỹ thuật giải tích và hình học xạ ảnh được kết hợp để giải quyết vấn đề. Những chặn trên mới liên tục cải tiến các kết quả cổ điển.

Hàm Hilbert và đa thức Hilbert là công cụ cơ bản để đo kích thước của các thành phần phân bậc. Hàm Hilbert xác định số chiều không gian véc tơ của các đa thức thuần nhất tại mỗi bậc. Giá trị hàm Hilbert tăng ngặt theo từng bậc cho đến khi đạt giá trị bội của vành tọa độ. Bội của vành là tổng số bội hình học của tất cả các điểm béo trong tập hợp. Đa thức Hilbert trở thành hằng số khi bậc vượt qua ngưỡng chính quy. Chỉ số chính quy chính là giá trị nguyên nhỏ nhất mà tại đó hàm Hilbert đạt tới giá trị ổn định. Đại lượng này biểu thị sự kết thúc của giai đoạn chuyển tiếp trong chuỗi Hilbert. Phân tích hàm Hilbert cho phép dự đoán chính xác cấu trúc hình học của giản đồ.

Mỗi môđun phân bậc hữu hạn sinh đều thừa nhận một bậc giải tự do cực tiểu (minimal free resolution). Chuỗi khớp này bao gồm các môđun tự do phân bậc liên tiếp. Các số nguyên xác định độ dịch bậc trong chuỗi được gọi là hệ số Betti phân bậc (graded Betti numbers). Hệ số Betti phản ánh số lượng phần tử sinh tối thiểu và quan hệ đại số tại từng bậc. Chỉ số chính quy Castelnuovo-Mumford được xác định trực tiếp từ giá trị cực đại của các độ dịch bậc này. Bảng Betti là công cụ trực quan hóa toàn bộ thông tin của chuỗi khớp tự do. Việc kiểm soát các hệ số Betti giúp xác định chính xác chặn trên cho chỉ số chính quy. Đây là trọng tâm nghiên cứu của đại số tính toán hiện đại.

Iđêan của tập điểm béo liên hệ mật thiết với khái niệm lũy thừa tượng trưng (symbolic powers). Lũy thừa tượng trưng cấp m của một iđêan xác định các hàm triệt tiêu với số bội ít nhất m. Trong trường hợp tập điểm béo, ideal thuần nhất của giản đồ điểm chính là giao của các lũy thừa tượng trưng. Mối quan hệ chứa giữa lũy thừa tượng trưng và lũy thừa đại số thông thường là chủ đề trung tâm của nhiều nghiên cứu. Định lý Ein-Lazarsfeld-Smith và Hochster-Huneke thiết lập các bao hàm thức cơ bản. Cấu trúc lũy thừa tượng trưng giúp đánh giá độ phức tạp của bài toán nội suy. Các bất biến liên quan phản ánh tính chất hình học sâu sắc của tập điểm trong không gian xạ ảnh.

Vị trí tổng quát là điều kiện hình học chuẩn mực trong bài toán nội suy xạ ảnh. Khi tập điểm béo ở vị trí tổng quát trên một r-phẳng, các siêu phẳng không chứa quá nhiều điểm. Luận án thiết lập công thức tường minh cho chỉ số chính quy của s điểm béo với s không vượt quá r cộng ba. Phương pháp quy nạp theo số điểm và số chiều phẳng được áp dụng triệt để. Chuỗi khớp cắt bởi siêu phẳng giúp thu giảm bài toán về không gian số chiều thấp hơn. Kết quả tính toán chỉ số chính quy phản ánh sự cân bằng giữa số bội và số chiều không gian. Các định lý này hoàn thiện bức tranh hình học cho các cấu hình điểm nhỏ. Độ chính quy của tập điểm béo trong trường hợp này đạt giá trị tối ưu.

Trường hợp tập điểm béo đồng bội xảy ra khi tất cả các điểm đều có chung một số bội m. Giả thiết này xuất hiện phổ biến trong các ứng dụng hình học đại số và lý thuyết kỳ dị. Luận án tính toán chính xác chỉ số chính quy cho s điểm béo đồng bội không nằm trên một (r-1)-phẳng. Kết quả chứng minh rằng chỉ số chính quy là một hàm tuyến tính theo số bội m. Giá trị hệ số phụ thuộc vào số lượng điểm s và số chiều không gian r. Kỹ thuật chứng minh sử dụng phân tích hàm Hilbert và các phân rã iđêan chuyên biệt. Công thức thu được tổng quát hóa các định lý trước đây trên mặt phẳng xạ ảnh. Kết quả mang lại công cụ đắc lực để kiểm tra tính chính quy của các hệ thống tuyến tính.

Trường hợp 2n cộng một điểm kép trong không gian xạ ảnh n-chiều là bước đột phá của luận án. Cấu hình điểm thỏa mãn điều kiện không có n cộng một điểm nằm trên một (n-2)-phẳng. Luận án chứng minh rằng chỉ số chính quy của tập điểm này luôn tuân theo chặn trên Segre. Phép chứng minh vận dụng phương pháp lát cắt siêu phẳng kết hợp với lý thuyết phân bậc. Hàm Hilbert của vành tọa độ được kiểm soát chặt chẽ qua từng bước quy nạp. Các trường hợp suy biến hình học được phân loại và xử lý chi tiết. Định lý mở rộng phạm vi áp dụng của bất đẳng thức Segre sang không gian xạ ảnh n chiều. Đây là đóng góp khoa học quan trọng cho lý thuyết điểm béo.

Khảo sát cấu hình 2n cộng hai điểm kép không suy biến nâng cao mức độ phức tạp của bài toán. Điều kiện hình học yêu cầu tập điểm không chứa n cộng một điểm trên bất kỳ (n-2)-phẳng nào. Luận án giải quyết triệt để bài toán ước lượng chỉ số chính quy cho cấu hình này. Kỹ thuật đại số đồng điều và bậc giải tự do cực tiểu được phối hợp nhịp nhàng. Chặn trên thu được hoàn toàn khớp với dự đoán của bất đẳng thức Segre tổng quát. Kết quả khẳng định tính ổn định của chỉ số chính quy khi bổ sung thêm điểm vào hệ thống. Nghiên cứu cung cấp lời giải trọn vẹn cho bài toán đặt ra trong nhiều năm. Đóng góp này có giá trị tham khảo cao trong lý thuyết lược đồ xạ ảnh.

Bội Waldschmidt được định nghĩa thông qua giới hạn tỷ số giữa bậc tối thiểu của đa thức nội suy và số bội. Bất biến này ban đầu xuất hiện trong lý thuyết số siêu việt của Waldschmidt. Trong đại số giao hoán, bội Waldschmidt phản ánh độ phức tạp hình học của tập điểm trong không gian xạ ảnh. Đại lượng này liên quan chặt chẽ đến chỉ số chính quy Castelnuovo-Mumford khi số bội của các điểm tăng đều. Bậc giải tự do cực tiểu (minimal free resolution) của các lũy thừa tượng trưng cung cấp thông tin về giới hạn tiệm cận. Việc ước lượng bội Waldschmidt cho phép kiểm soát tiệm cận của hàm Hilbert và đa thức Hilbert. Các kết quả giúp định hình cấu trúc của các iđêan phân bậc phức tạp.

Giả thuyết Chudnovsky và Demailly là hai giả thuyết nổi tiếng về chặn dưới của bội Waldschmidt. Giả thuyết Chudnovsky dự đoán chặn dưới thông qua số chiều không gian và bậc của phần tử sinh bậc nhỏ nhất. Giả thuyết Demailly mở rộng bất đẳng thức này trong khuôn khổ hình học giải tích phức và bó hữu hiệu. Việc nghiên cứu tập điểm béo và chỉ số chính quy đóng góp các bước tiến thực nghiệm và lý thuyết cho hai giả thuyết. Khi ideal thuần nhất của giản đồ điểm được hiểu rõ, các bất đẳng thức tiệm cận trở nên dễ tiếp cận hơn. Nhiều cấu hình điểm đặc biệt đã được chứng minh thỏa mãn giả thuyết nhờ các kỹ thuật lát cắt siêu phẳng. Những phát hiện này tiếp tục thúc đẩy sự phát triển của hình học đại số hiện đại.