Nghiên Cứu Về Hình Học Symplectic Trong Đa Tạp

Khóa luận tốt nghiệp nghiên cứu tốt nghiệp toán tin đa tạp symplectic, vận dụng lý thuyết vào thực tế, đề xuất giải pháp cụ thể cho vấn đề toán học.

• Tác giả: Trần Thị Bảo Trâm
• Người hướng dẫn: PGS-TS. Lê Anh Vũ
• Trường học: Trường Đại Học Sư Phạm TPHCM
• Chuyên ngành: Hình học
• Đề tài: Nghiên Cứu Về Hình Học Symplectic Trong Đa Tạp
• Loại tài liệu: luận văn tốt nghiệp
• Năm xuất bản: 2009
• Địa điểm: Thành phố Hồ Chí Minh

Mục lục chi tiết

• LỜI MỞ ĐẦU
• 1. CHƯƠNG 1: KIẾN THỨC CHUẨN BỊ
• 1.1. ĐA TẠP TOPO
• 1.2. HỆ TỌA ĐỘ ĐỊA PHƯƠNG
• 1.3. ATLAS CỦA MỘT ĐA TẠP
• 1.4. PHÉP CHUYỂN BẢN ĐỒ - ĐỔI HỆ TỌA ĐỘ ĐỊA PHƯƠNG
• 1.5. HÀM TRÊN ĐA TẠP
• 2. CHƯƠNG 2: ĐA TẠP VI PHÂN
• 2.1. ĐỊNH NGHĨA
• 2.2. ĐA TẠP TÍCH
• 2.3. ÁNH XẠ KHẢ VI GIỮA CÁC ĐA TẠP
• 2.4. ĐA TẠP CON
• 3. CHƯƠNG 3: TRƯỜNG VECTƠ
• 3.1. NHÌN LẠI VECTƠ TRONG R" THEO QUAN ĐIỂM GIẢI TÍCH
• 3.2. VECTƠ TIẾP XÚC
• 3.3. TRƯỜNG VECTƠ

Tóm tắt

I. Tổng Quan Về Nghiên Cứu Hình Học Symplectic Trong Đa Tạp

Hình học symplectic là một lĩnh vực quan trọng trong toán học, đặc biệt trong nghiên cứu các đa tạp symplectic. Nó không chỉ cung cấp các công cụ lý thuyết mà còn có ứng dụng thực tiễn trong nhiều lĩnh vực như cơ học cổ điển và vật lý lý thuyết. Đa tạp symplectic được định nghĩa là một đa tạp có cấu trúc đặc biệt, cho phép nghiên cứu các tính chất hình học và động lực học của nó. Sự phát triển của hình học symplectic đã mở ra nhiều hướng nghiên cứu mới, từ lý thuyết đến ứng dụng thực tiễn.

1.1. Khái Niệm Cơ Bản Về Đa Tạp Symplectic

Đa tạp symplectic là một đa tạp được trang bị một dạng symplectic, một 2-dạng đóng không suy biến. Điều này có nghĩa là mỗi đa tạp symplectic phải có số chiều chẵn và có cấu trúc đặc biệt cho phép nghiên cứu các tính chất hình học của nó.

1.2. Lịch Sử Phát Triển Hình Học Symplectic

Hình học symplectic đã phát triển mạnh mẽ từ những năm 1960 với các công trình của Arnold và Weinstein. Những nghiên cứu này đã đặt nền móng cho nhiều lý thuyết và ứng dụng trong toán học hiện đại, đặc biệt là trong lĩnh vực cơ học cổ điển.

II. Vấn Đề Và Thách Thức Trong Nghiên Cứu Hình Học Symplectic

Mặc dù hình học symplectic đã có nhiều tiến bộ, nhưng vẫn tồn tại nhiều vấn đề và thách thức trong nghiên cứu. Một trong những thách thức lớn nhất là xác định sự tồn tại và tính duy nhất của các dạng symplectic trên một đa tạp cho trước. Các câu hỏi này không chỉ mang tính lý thuyết mà còn có ứng dụng thực tiễn trong việc giải quyết các bài toán trong vật lý và toán học.

2.1. Sự Tồn Tại Của Dạng Symplectic

Một trong những câu hỏi quan trọng là liệu có tồn tại các dạng symplectic trên một đa tạp cho trước hay không. Điều này liên quan đến các điều kiện hình học và topological của đa tạp.

2.2. Tính Duy Nhất Của Dạng Symplectic

Ngoài sự tồn tại, tính duy nhất của các dạng symplectic cũng là một vấn đề quan trọng. Nghiên cứu này giúp hiểu rõ hơn về cấu trúc của đa tạp và các tính chất hình học của nó.

III. Phương Pháp Nghiên Cứu Hình Học Symplectic

Để nghiên cứu hình học symplectic, các nhà toán học sử dụng nhiều phương pháp khác nhau, bao gồm các kỹ thuật từ lý thuyết trường vectơ, vi phân và hình học vi phân. Những phương pháp này giúp phân tích các cấu trúc symplectic và các tính chất của chúng trong không gian đa tạp.

3.1. Phương Pháp Vi Phân Trong Hình Học Symplectic

Phương pháp vi phân cho phép nghiên cứu các tính chất của các dạng vi phân trên đa tạp symplectic. Điều này rất quan trọng trong việc xác định các cấu trúc hình học và động lực học của đa tạp.

3.2. Kỹ Thuật Từ Lý Thuyết Trường Vectơ

Lý thuyết trường vectơ cung cấp các công cụ mạnh mẽ để phân tích các cấu trúc symplectic. Các trường vectơ này giúp mô tả các tính chất động lực học của hệ thống trong không gian đa tạp.

IV. Ứng Dụng Thực Tiễn Của Hình Học Symplectic

Hình học symplectic không chỉ là một lĩnh vực lý thuyết mà còn có nhiều ứng dụng thực tiễn trong các lĩnh vực như cơ học cổ điển, vật lý lý thuyết và các ngành khoa học khác. Các ứng dụng này cho thấy tầm quan trọng của hình học symplectic trong việc giải quyết các bài toán thực tiễn.

4.1. Ứng Dụng Trong Cơ Học Cổ Điển

Hình học symplectic cung cấp các công cụ để mô tả các hệ thống cơ học phức tạp. Các mô hình này giúp hiểu rõ hơn về động lực học của các hệ thống vật lý.

4.2. Ứng Dụng Trong Vật Lý Lý Thuyết

Trong vật lý lý thuyết, hình học symplectic được sử dụng để nghiên cứu các lý thuyết trường và các mô hình vật lý khác. Điều này giúp phát triển các lý thuyết mới và cải thiện hiểu biết về vũ trụ.

V. Kết Luận Về Nghiên Cứu Hình Học Symplectic

Nghiên cứu hình học symplectic là một lĩnh vực phong phú và đầy hứa hẹn. Với sự phát triển không ngừng của các lý thuyết và ứng dụng, hình học symplectic sẽ tiếp tục đóng vai trò quan trọng trong toán học và các lĩnh vực liên quan. Tương lai của nghiên cứu này hứa hẹn sẽ mang lại nhiều khám phá mới và ứng dụng thực tiễn.

5.1. Triển Vọng Nghiên Cứu Trong Tương Lai

Với sự phát triển của công nghệ và các phương pháp nghiên cứu mới, hình học symplectic sẽ tiếp tục được khám phá và phát triển. Nhiều câu hỏi chưa được giải đáp sẽ mở ra hướng nghiên cứu mới.

5.2. Tầm Quan Trọng Của Hình Học Symplectic

Hình học symplectic không chỉ là một lĩnh vực lý thuyết mà còn có ứng dụng thực tiễn trong nhiều lĩnh vực khác nhau. Sự phát triển của nó sẽ tiếp tục ảnh hưởng đến nhiều ngành khoa học và công nghệ.

Nội dung chính

Tổng quan nghiên cứu

Hình học symplectic là một trong những lĩnh vực toán học thuần túy phát triển mạnh mẽ nhất trong thế kỷ 20, với hơn 200 năm lịch sử hình thành từ cơ học cổ điển. Luận văn tốt nghiệp chuyên ngành Hình học tại Khoa Toán – Tin, Trường Đại học Sư phạm TP.HCM (năm học 2005–2009) nghiên cứu một cách hệ thống về đa tạp symplectic và đẳng cấu symplectic, đặt nền tảng toán học nghiêm ngặt cho việc hiểu các cấu trúc hình học phức tạp.

Vấn đề trung tâm mà luận văn đặt ra gồm 2 nhóm câu hỏi cơ bản: (1) Trên một đa tạp cho trước, khi nào tồn tại dạng symplectic, và nếu tồn tại thì có bao nhiêu dạng như vậy? (2) Làm thế nào phân loại các đa tạp symplectic thông qua khái niệm đẳng cấu? Đây là những câu hỏi mở đã thúc đẩy cộng đồng toán học quốc tế từ thập niên 60 đến thập niên 90 của thế kỷ XX, qua các công trình của Weinstein, Gromov, Donaldson và Taubes.

Mục tiêu nghiên cứu được xác định rõ ràng: trình bày các kiến thức cơ bản nhất của hình học symplectic bao gồm định nghĩa đa tạp symplectic, đẳng cấu symplectic, đa tạp con Lagrangian, và ứng dụng trong việc xác định đường trắc địa cũng như tìm điểm bất động của đẳng cấu symplectic. Phạm vi nghiên cứu tập trung vào không gian vectơ hữu hạn chiều, ánh xạ trơn và đa tạp Hausdorff có cơ sở đếm được thứ hai. Ý nghĩa học thuật của đề tài nằm ở chỗ cung cấp nền tảng lý thuyết vững chắc cho người nghiên cứu hình học vi phân, tôpô và vật lý toán tại Việt Nam.

---

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

Khung lý thuyết áp dụng

Luận văn xây dựng trên hai trụ cột lý thuyết chính:

Lý thuyết đa tạp khả vi (Differentiable Manifolds): Đây là nền tảng không thể thiếu, bao gồm hệ thống các khái niệm từ đa tạp tôpô Hausdorff, atlas tương đương, phép chuyển bản đồ, đến đa tạp trơn lớp C∞. Năm khái niệm then chốt được khai triển có hệ thống gồm: vectơ tiếp xúc, trường vectơ, dạng vi phân, đạo hàm Lie, và đối đồng đều De Rham. Mỗi khái niệm được phát biểu chặt chẽ theo ngôn ngữ đại số đa tuyến tính.

Lý thuyết hình học symplectic (Symplectic Geometry): Ra đời từ cơ học cổ điển cách đây hơn 200 năm, hình học symplectic hiện đại được thiết lập bởi giả thiết Arnold (thập niên 60), tiếp nối bởi Weinstein (thập niên 70), rồi Gromov với các đường cong giả chỉnh hình (thập niên 80), và Donaldson với tôpô của các dạng symplectic (thập niên 90). Khung lý thuyết này đặt dạng symplectic — một 2-dạng đóng không suy biến — làm trung tâm của toàn bộ cấu trúc hình học. Một đặc điểm nổi bật: mọi đa tạp symplectic nhất thiết có số chiều chẵn và định hướng được, điều kiện này xuất phát trực tiếp từ tính không suy biến.

Các mô hình chuẩn được khảo sát gồm: ℝ²ⁿ với dạng symplectic tiêu chuẩn ω₀ = Σdxᵢ∧dyᵢ, không gian ℂⁿ với dạng (i/2)Σdzₖ∧dz̄ₖ, mặt cầu S² với dạng cảm sinh bởi tích ngoài và tích trong, và phân thớ đối tiếp xúc T*X với dạng chính tắc ω = -dα.

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

Nguồn dữ liệu: Luận văn sử dụng phương pháp nghiên cứu lý thuyết thuần túy, dựa trên ít nhất 7 tài liệu tham khảo chuyên sâu về đại số đa tuyến tính, hình học vi phân và tôpô, gồm các giáo trình kinh điển trong lĩnh vực hình học symplectic quốc tế.

Phương pháp phân tích: Luận văn áp dụng phương pháp suy diễn hình thức (formal deduction) — từ các định nghĩa và tiên đề cơ bản, triển khai hệ thống mệnh đề, định lý và chứng minh theo chuẩn toán học học thuật. Phương pháp này phù hợp với đặc thù của toán học lý thuyết vì đảm bảo tính chặt chẽ logic và khả năng tái kiểm tra độc lập.

Cỡ mẫu và phạm vi: Do đây là nghiên cứu lý thuyết, "cỡ mẫu" được hiểu là tập hợp các đối tượng toán học được khảo sát: 3 lớp ví dụ về đa tạp symplectic cụ thể (ℝ²ⁿ, ℂⁿ, S²), 2 loại đa tạp con (symplectic và Lagrangian), và 2 ứng dụng chính (đường trắc địa và điểm bất động). Toàn bộ nội dung được tổ chức trong 2 chương lớn, với 5 nhóm kiến thức chuẩn bị ở chương 1 và 5 chủ đề chính ở chương 2, hoàn thành trong khoảng thời gian từ tháng 9/2008 đến tháng 5/2009.

---

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

1. Định lý Darboux — phân loại địa phương đa tạp symplectic: Đây là kết quả trung tâm và quan trọng nhất của luận văn. Định lý khẳng định: mọi đa tạp symplectic 2n chiều đều tương đương symplectic một cách địa phương với mẫu chuẩn (ℝ²ⁿ, ω₀). Nói cách khác, số chiều là bất biến địa phương duy nhất của đa tạp symplectic chính xác đến đẳng cấu symplectic. Điều này tương phản mạnh với hình học Riemann, nơi độ cong là bất biến địa phương khác biệt giữa các đa tạp. Một hệ tọa độ thực hiện đẳng cấu này được gọi là hệ tọa độ Darboux.

2. Phân loại đại số tuyến tính symplectic: Luận văn chứng minh rằng mọi không gian vectơ symplectic 2n chiều (V,Q) đều tương đương symplectic với mẫu chuẩn (ℝ²ⁿ, Q₀). Các số nguyên dương chẵn phân hoạch tập các không gian vectơ symplectic thành đúng một lớp tương đương ứng với mỗi số chiều. Bên cạnh đó, không gian con của không gian vectơ symplectic được phân loại thành 3 kiểu: symplectic (khi Q|_W không suy biến), đẳng hướng (khi Q|_W = 0), và Lagrangian (khi Y = Y⊥, tức dimY = (1/2)dimV).

3. Tính tự nhiên của phân thớ đối tiếp xúc: Luận văn thiết lập kết quả quan trọng: mọi vi phôi f: X₁ → X₂ giữa các đa tạp cảm sinh một đẳng cấu symplectic chính tắc fₜ: TX₁ → TX₂ trên các phân thớ đối tiếp xúc, và ánh xạ Diff(X) → Sympl(TX, ω) là một đồng cấu nhóm đơn ánh — nhưng không phải toàn ánh. Điều đó cho thấy nhóm đẳng cấu symplectic trên TX lớn hơn nhóm sinh ra từ vi phôi của đa tạp cơ sở.

4. Phương pháp hàm sinh trên phân thớ đối tiếp xúc: Sử dụng đa tạp con Lagrangian và phương pháp hàm sinh, luận văn xây dựng được cách phân loại đẳng cấu symplectic và ứng dụng trực tiếp vào 2 bài toán cụ thể: tìm đường trắc địa và tìm điểm bất động của đẳng cấu symplectic.

Thảo luận kết quả

Định lý Darboux phản ánh một đặc trưng cực kỳ đặc biệt của hình học symplectic: không có hình học symplectic địa phương nào ngoài số chiều. Điều này giải thích tại sao điều kiện đóng (dω = 0) trong định nghĩa dạng symplectic không đơn thuần là điều kiện kỹ thuật, mà chính là điều kiện khiến mọi đa tạp symplectic trông giống nhau ở quy mô địa phương. Đây là sự đối lập hoàn toàn với hình học Riemann, nơi có vô số bất biến địa phương.

Kết quả về tính đơn ánh của Diff(X) → Sympl(TX, ω) có thể được trực quan hóa qua bảng so sánh: trong khi phép dịch chuyển dọc theo phân thớ đối tiếp xúc (τₕ: (x,ξ) ↦ (x, ξ+dh)) là đẳng cấu symplectic hợp lệ nhưng không được sinh ra từ bất kỳ vi phôi nào của đa tạp cơ sở, điều đó chứng tỏ nhóm Sympl(TX, ω) thực sự giàu cấu trúc hơn Diff(X). Kết quả này tương đồng với các công trình của Weinstein về sự phong phú của nhóm đẳng cấu symplectic, đồng thời mở ra câu hỏi về những "đẳng cấu symplectic bổ sung" nào còn tồn tại.

---

Đề xuất và khuyến nghị

1. Mở rộng nghiên cứu sang hình học symplectic toàn cục: Các nhà nghiên cứu nên tiếp tục nghiên cứu các bất biến toàn cục của đa tạp symplectic — đặc biệt là số Betti symplectic và đối đồng đều De Rham symplectic — với mục tiêu phân loại các đa tạp symplectic compact trong vòng 3 năm tới. Chủ thể thực hiện: nhóm nghiên cứu hình học tại các trường đại học có chuyên ngành Toán lý thuyết.

2. Tích hợp giả thiết Arnold vào chương trình nghiên cứu sau đại học: Giả thiết Arnold (khẳng định số điểm bất động tối thiểu của đẳng cấu symplectic trên đa tạp compact) nên được đưa vào các chuyên đề sau đại học cấp thạc sĩ và tiến sĩ. Mục tiêu: xây dựng ít nhất 2 học phần chuyên sâu tại mỗi cơ sở đào tạo có khoa Toán trong giai đoạn 2025–2028. Chủ thể thực hiện: Ban chủ nhiệm các khoa Toán và hội đồng xây dựng chương trình sau đại học.

3. Phát triển tài liệu giảng dạy tiếng Việt về hình học symplectic: Hiện tại, hầu hết tài liệu về hình học symplectic chỉ có bằng tiếng Anh và tiếng Pháp. Cần biên soạn ít nhất 1 giáo trình chuẩn tiếng Việt bao gồm đầy đủ từ đa tạp khả vi đến định lý Darboux, nhắm đến đối tượng sinh viên đại học năm cuối và học viên cao học. Hoàn thành trong vòng 2 năm với sự hợp tác của ít nhất 3 giảng viên chuyên ngành.

4. Ứng dụng sang hệ động lực học Hamiltonian và vật lý toán: Hình học symplectic là ngôn ngữ tự nhiên của cơ học Hamiltonian. Các nhóm nghiên cứu liên ngành (Toán–Vật lý) nên xây dựng ít nhất 2 dự án hợp tác hàng năm, khai thác cấu trúc phân thớ đối tiếp xúc T*X để mô hình hóa hệ động lực học bảo toàn năng lượng trong vật lý lý thuyết và hệ điều khiển tối ưu. Đây là hướng có tiềm năng ứng dụng công nghệ cao trong vòng 5 năm tới.

---

Đối tượng nên tham khảo luận văn

Sinh viên và học viên chuyên ngành Toán lý thuyết: Đây là nhóm hưởng lợi trực tiếp nhất. Luận văn cung cấp một lộ trình học tập rõ ràng từ đa tạp tôpô cơ bản đến hình học symplectic nâng cao, với tất cả định nghĩa được phát biểu tường minh và ký hiệu nhất quán xuyên suốt. Sinh viên năm cuối đại học có thể dùng chương 1 làm tài liệu ôn tập kiến thức nền, trong khi học viên cao học có thể tiếp cận trực tiếp chương 2 để chuẩn bị cho nghiên cứu về đa tạp và tôpô.

Giảng viên toán học và nghiên cứu viên hình học vi phân: Luận văn tổng hợp hệ thống ký hiệu và thuật ngữ tiếng Việt đồng nhất cho hình học symplectic — một lĩnh vực còn thiếu tài liệu chuẩn bằng tiếng Việt. Giảng viên có thể tham khảo cách trình bày các định lý quan trọng (Darboux, Moser) để xây dựng bài giảng hoặc đề tài nghiên cứu khoa học cho sinh viên.

Nhà nghiên cứu vật lý lý thuyết và cơ học Hamiltonian: Phân thớ đối tiếp xúc T*X và dạng symplectic chính tắc là công cụ nền tảng của cơ học cổ điển và lượng tử hóa hình học. Các nhà vật lý lý thuyết quan tâm đến ngôn ngữ hình học của cơ học Hamiltonian có thể tìm thấy trong luận văn phần trình bày toán học chặt chẽ về các cấu trúc mà họ thường sử dụng ở dạng trực quan.

Sinh viên chuyên ngành Tin học lý thuyết và Toán ứng dụng: Các khái niệm về không gian trạng thái, dòng vi phân, và phép hợp luân xuất hiện trong lý thuyết điều khiển và hệ động lực học tính toán. Nhóm đối tượng này có thể khai thác phần 6 (đạo hàm Lie và phép hợp luân) và phần về điểm bất động của đẳng cấu symplectic để áp dụng vào bài toán phân tích ổn định hệ thống.

---

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

1. Đa tạp symplectic khác gì so với đa tạp Riemann? Đa tạp Riemann được trang bị metric (tensor kiểu (0,2) xác định dương), trong khi đa tạp symplectic được trang bị 2-dạng đóng không suy biến phản đối xứng. Sự khác biệt căn bản: hình học Riemann có vô số bất biến địa phương (độ cong), còn hình học symplectic không có bất biến địa phương nào ngoài số chiều — đây chính là nội dung định lý Darboux. Vì lý do này, hình học symplectic thuần túy là hình học tôpô.

2. Tại sao đa tạp symplectic phải có số chiều chẵn? Vì dạng symplectic ω là ánh xạ song tuyến tính phản đối xứng không suy biến. Theo định lý dạng chuẩn, ma trận của một ánh xạ phản đối xứng không suy biến có dạng khối với các khối 2×2 ngoài đường chéo, do đó số chiều không gian vectơ phải chẵn. Ví dụ cụ thể: ℝ²ⁿ với ω₀ = Σdxᵢ∧dyᵢ là mẫu chuẩn của đa tạp symplectic 2n chiều.

3. Đa tạp con Lagrangian là gì và có ý nghĩa gì? Không gian con Lagrangian Y của không gian vectơ symplectic (V,Q) là không gian con thỏa Y = Y⊥ (phần trực giao symplectic của chính nó), tương đương với dimY = (1/2)dimV và Q|_Y = 0. Trong cơ học Hamiltonian, đa tạp con Lagrangian biểu diễn không gian cấu hình của hệ cơ học. Phương pháp hàm sinh trên phân thớ đối tiếp xúc cho phép xây dựng các đa tạp con Lagrangian một cách tường minh và ứng dụng vào bài toán đường trắc địa.

4. Định lý Moser có vai trò gì trong luận văn? Định lý Moser (hay Định lý Darboux mạnh) khẳng định: nếu hai dạng symplectic ω₀, ω₁ trên đa tạp compact M trùng nhau tại một điểm p, thì tồn tại một vi phôi địa phương đưa ω₁ về ω₀. Luận văn sử dụng kỹ thuật chứng minh của Moser (tìm họ vi phôi ϕₜ thỏa ϕₜ*(ωₜ) = ω₀) như công cụ trung tâm để chứng minh định lý Darboux, với điều kiện then chốt là H¹(U) = 0 khi U co rút được.

5. Hình học symplectic có ứng dụng thực tế không? Hình học symplectic là ngôn ngữ toán học của cơ học Hamiltonian cổ điển và là nền tảng của lượng tử hóa hình học. Trong thực tế, nó được ứng dụng trong thiết kế hệ thống vật lý bảo toàn năng lượng, thuật toán tích phân số symplectic trong mô phỏng hệ động lực học (bảo toàn cấu trúc pha trong thời gian dài), và lý thuyết điều khiển tối ưu. Các nhóm nghiên cứu tại nhiều viện khoa học lớn trên thế giới hiện đang phát triển các ứng dụng này trong lĩnh vực vật lý thiên văn và hóa lượng tử.

---

Kết luận

• Hệ thống hóa nền tảng: Luận văn cung cấp trình bày hoàn chỉnh và chặt chẽ về hình học symplectic từ đại số tuyến tính đến đa tạp, tạo tài liệu tham khảo tiếng Việt hiếm có trong lĩnh vực này.
• Chứng minh định lý Darboux: Kết quả cốt lõi được trình bày với đầy đủ bộ máy kỹ thuật (định lý Moser, nhóm 1-tham số, đạo hàm Lie), minh họa qua ít nhất 3 lớp ví dụ cụ thể.
• Phân loại đẳng cấu symplectic: Thiết lập quan hệ giữa nhóm Diff(X) và nhóm Sympl(T*X, ω), làm rõ cấu trúc phong phú hơn của nhóm đẳng cấu symplectic.
• Ứng dụng hai chiều: Phương pháp hàm sinh trên phân thớ đối tiếp xúc được khai thác cho bài toán đường trắc địa và tìm điểm bất động — nối liền lý thuyết với ứng dụng cơ học.
• Bước tiếp theo: Nghiên cứu sinh và học viên cao học có thể mở rộng sang giả thiết Arnold, lý thuyết Floer symplectic, và bất biến Gromov-Witten — những hướng nghiên cứu đang được cộng đồng toán học quốc tế tích cực theo đuổi trong giai đoạn 2025–2030.

Luận văn là điểm khởi đầu lý tưởng cho bất kỳ ai muốn tiếp cận hình học symplectic một cách nghiêm túc theo ngôn ngữ toán học tiếng Việt. Hãy bắt đầu từ chương 1 nếu bạn cần ôn lại kiến thức nền, hoặc trực tiếp đến chương 2 nếu bạn đã sẵn sàng khám phá thế giới của các đa tạp symplectic.

Trích đoạn nội dung tài liệu

phần mở đầu và kết luận, luận văn gồm 2 chương với nội dung tom tắt như sau: > Chương | giới thiệu các kiến thức chuẩn bị về da tạp khả vi, trường vectơ và các dang vi phan. đạo hàm Lie rat cần thiết cho nội dung chính của bản luận văn. > Chương 2 là chương chính cia bản luận văn trong đó trình bay các định nghĩa về da tạp symplectic, đẳng cau symplectic, da tạp con lagrangian, cách xây dung các dang cấu symplectic dựa vào các da tạp con lagrangian, cách xây dung các da tap con lagrangian bang phương pháp hàm sinh trên phân the đổi tiếp xúc, cũng như là một số ứng dụng của phương pháp này trong dòng trắc địa và trong việc tìm điềm bat động cia dang cau symplectic. Trong quá trình lam luận van, tôi đã nhận được sự giúp đờ rất nhiệt tinh từ Thầy hướng dẫn Lê Anh Vũ.

Thầy đã nhận xét, góp ý cũng như động viên rất nhiều để tôi có thé hoàn thành tốt đề tai luận văn của mình. Tôi xin chân thanh cảm ơn Thay rất nhiều. Tôi cũng xin cảm ơn ban quản lý thư viện của nhà trường, một số thầy cô trong khoa đã luôn tạo điều kiện thuận lợi cho tôi trong việc mượn các tải liệu tham khảo, cuỗi cùng tôi «xin được cảm on gia đình đã luôn động viên tôi trong suốt thời gian qua. Do thời gian có hạn và trình độ bản thân còn nhiễu hạn chế, bản luận văn chắc chắn khó tránh khỏi những thiếu sót.

Tác giả rất mong nhận được những ý kiến đóng góp cua các thầy cô và các bạn sinh viên. Thành phó Hồ Chí Minh, ngày 04 tháng 05 năm 2009 Sinh viên thực hiện Trần Thị Bảo Trâm CÁC KÝ HIỆU Ký hiệu Ý nghĩa Id, ánh xạ đồng nhất trên V ae ảnh xạ hạn chế lên U, A~® atlas A tương đương atlas 8 A atlas cua da tap (U,œ) bản đồ địa phương oY biên của Y fh cái nâng của vi phôi ƒ expiv dong của y M, đa tạp m chiều (M.A) da tạp khả vi M, với cấu trúc khả vi A (M.w) đa tạp symplectic M với dạng symplectic w a(f) đạo him theo hướng của a Af đạo ham theo hướng của vecto X + độ dài của đường cong x H*(M) đối đồng đều De Rham thứ p của M min(r,s) giá trị nhỏ nhất của r,s Fide hệ tọa độ địa phương d(x.y) khoảng cách từ x đến y E" không gian các ham có đạo hàm cắp & liên tục c(z) không gian các hảm trơn trên X ^f(T,M)=A?M không gian các p - dạng ngoài của M tại xe M 1 T3(7.M)=T;,M_ khong gian các tensor hỗn hợp kiểu (p.g) của M lì tại x v" không gian đối ngẫu của ! 18 TM =(T,M) không gian đối tiếp xúc của M tại x 10 M_xW, không gian tích của 2 đa tạp M,, W, 5 (VQ) không gian vecto symplectic trên V với anh xa Q I8 là cấu trúc symplectic tuyến tính A lớp tương đương chứa atlas A 4 [x.r] móc Lie của X và Y 10 Sympl( M, w) nhóm các đẳng cấu symplectic của (M,w) 40 Diff (X) nhóm các vi phôi của X 40 N's phân thớ đối pháp tuyến của $ 46 MS phân thớ đối pháp tuyến của S tại xe S 46 Tx phan thé đối tiếp xúc trên X 32 pr phép chiếu 47 pe phép lay đạo ham Lie theo vectơ ¥ 13 dimM số chiều của M § F(M) tập các hàm khả vi / : 4ƒ, > IR 7 F(x,) tập các hàm khả vi trong lân cận đủ nhỏ của x, § P?(M) tập các p - dang vi phân khả vi trên M 12 *(M) tập các trường vecto trên M 9 TM: tập các vectơ tiếp xúc với M tại x, § Đa fap symplectic GVHD: PGS — TS. Lê Anh Vii CHUONG 1 KIEN THUC CHUAN BI Chúng ta xem nine đã biết các kiến thức vẻ đại sé đa tuyển tinh. Bạn đọc quan tam có thé tham khảo các tài liệu [5], [6], [7].

Chương này chủ yêu trình bày các kiến thức chuẩn bị cần thiết cho chương sau. Các mệnh dé, tinh chất, định lý chỉ được phát biểu mà không chứng minh, phản trình bay chỉ tiét bạn đọc có thể tìm đọc ở các tài liệu {4], [Š}. Các kiến thức được nhắc tới ở đây bao gồm: © Đa tạp topo. © Ảnh xạ khả vi giữa các da tap.

¢ Dang vi phản trên da tap kha vi. © Dao hàm Lie. DA TAP TOPO Định nghĩa 1.1 Cho MỸ, là một không gian tôpô Hausdorff có cơ sở đêm được. M, được gọi là một đa tạp tôpô n chiều nếu nó đồng phói địa phương với không gian Euclide IR", tức là : với môi xạ e M„.

tôn tại lân cận mở UCM, của x, và một phép đẳng phói @:U —> V EIR", ở đây V là tập mởtrong R". Cặp (Ug) được gọi là một bản đồ địa phương của M, xung quanh điểm x, c M,.1 HỆ TỌA ĐỘ ĐỊA PHƯƠNG Định nghĩa 1.2 Xé( ban dé địa phương (U,@) xung quanh điểm xạ M,.Vx 6U, ta có dong phôi yg: U>VcCR’ xt ø(x) =(x/(x).x* (x)} SVTH: Tran Thị Bảo Trâm Trang ! Đa fap symplectic GVHD: PGS - TS. Lê Anh Vũ Bộ (x' (w). x” (u)) gọi là tọa độ địa phương của u.

Các anh xạ x' :(/ =>, với í=l,.w là m hàm thành phần của @ và gọi là các hàm tọa độ. Lúc này, bộ {U 5 SỐ eae ah được goi là hệ tọa độ địa phương (xung quanh ve M,) img với bản đồ địa phương (U,ø).2 ATLAS CUA MỌT ĐA TẠP Định nghĩa 1.3 Mér hệ các ban đỏ địa phương ((U,„;Ø, a gọi là một atlas của đa tạp M, nêu họ các tập hợp (U,), là một phủ mở của M,. Một atlas được kí hiệu là: A. Một đa tạp tô pô thường có nhiều hoặc vô số các atlas, ta thường chon atlas có số bản dé ít nhất.

Atlas 4 = {(U,:ợ, )}, gọi là atlas tối đại nếu nó không bị chứa trong một atlas nao khác ngoài chính nó.3 PHÉP CHUYÊN BẢN ĐÒ - ĐÔI HỆ TOA ĐỘ DIA PHƯƠNG Cho M, là đa tap tôpô n - chiều. Giả sử (U,;Ø,) và (U;;Ø,) là hai bản đề địa phương của M, thỏa U, MU, +O.xz‡ là hệ toa độ địa phương img với (U,;Ø,).xz} là hệ tọa độ địa phương ứng với (U;;ø,). Ta ký hiệu một cách hinh thức như sau: Ø„„ = Ø;-Ø;`. Rõ ràng, ø„„ là ánh xạ đồng phôi và được gọi là phép chuyển ban đồ.

Lúc nay, ta có: SVTH: Tran Thị Bao Tram Trang 2 Da fap symplectic GVHD: PGS — TS. A4=|(U,:ø,)}„ xác định ! họ phép chuyển bản đồ ø„„ với U„ (1U, #Ø Va,ổØ. Ho ham chuyên ban do Ø„„ có các tinh chất sau: Va, 8,7 (1) Puq #ld,.4 HÀM TRÊN ĐA TẠP Định nghĩa 1.4 Cho M, là một da tạp tôpô n chiều và atlas 8 = {(U,;ø,)),. Xét ánh xa Lúc này, { được gọi là hàm trên đa tạp.

Với mỗi bản đồ (U,„,ø,„ )„ xét ánh xạ thu hẹp / |, :U, > R. Ta đồng nhất ƒ|„ với f, và xem nó như là hàm số thực với m biến số thực. f, gọi là biểu diễn địa phương của ƒ trên U, ứng với ban đồ (U.ø)- Như vậy, mỗi f ứng với một họ các hàm thực ø biến số thực {Ff}. Ngoài ra, ta có Wa, Ø sao cho Ứ, (U, # Ø thì /„= /,sợ„ hay f= fy Wap SVTH: Trân Thị Bao Tram Trang 3 Da fap symplectic GVHD: PGS — TS.

Lé Anh Vii 2. ĐA TẠP VI PHAN 2.1 ĐỊNH NGHĨA Định nghĩa 2. là một atlas của da tạp tôpô n chiều M ,. Khi do, A được gọi là một atlas khả vi lớp C* nêu với mọi cap chỉ số œ,8 sao cho U„ NU, # Ø ta đều có pháp chuyển bản dé Ppa: Py (U„f\U;)— ø;{U„f1U,) là ảnh xa khả ví lớp C°.ø,)}„ và ®=|(V„,v„)}„ là hai atlas khả vi lớp Ct của đa tạp M,.

Khi đỏ, A được gọi là tương đương với B ki hiệu là A ~ @, néu với mỗi bản đỗ (U,„.v;)< ® sao cho Ư„ [\W, # Ø, ta đều có ảnh xạ weø"”': (UV) > (UV) khả vi lớp C*. Lúc này, AUG là một atlas khả vi lớp C`. Rõ rang, quan hệ ~ là một quan hệ tương đương và nó chia tập tat cả các atlas khả vi của đa tạp tép6 M, thành các lớp tương đương. Mỗi lớp tương đương này được gọi là một cấu trúc khả vi lớp C* trên M,.

Nếu lớp tương đương chứa A thì ta ký hiệu lớp tương đương đó là 4.3 Da tap t6p6 M„ n chiều cùng với cấu trúc khả ví A lớp C` trên nó mà ta có thé ký hiệu (M,,A) được gọi là đa tạp khả vi lớp C`. Đa tạp tôpô M, ban đầu gọi là đa tạp tôpô nên của đa tạp khả vi (M,.) lớp C* dang xét. Khi &=0, M, là đa tạp tôpô. Khi & =œ, M, là đa tạp trơn.

SVTH: Trân Thị Báo Trâm Trang 4 Da tạp symplectic GVHD: PGS - TS.2 ĐA TAP TÍCH Cho hai da tạp vi phân lớp C” la Aƒ, và W, lần lượt có số chiều là n va p. Khi đó, ta có thẻ xác định một cau trúc khả vi lớp C’ trên không gian M, x W. Gọi (U,@) là một ban do trên M,, (Vy) là một bản đồ trên W,. Rõ rang anh xạ øxự: UxV -> R°xR?=RTM (xy) (ø(x).e(>)) là một phép đồng phôi.

Mặt khác, với mọi (x,.v„}£ R° xR”, ánh xạ (0;.w„) bằng (Ø,sø„'w„sw,'), cho nên nó thuộc lớp C°. Do đó, họ tất cả các cặp {(U.*w,)} là một atlas khả vi lớp C’ trên M,xW,. Lúc này, đa tạp M,xH, với cau trúc khả vi vừa xác định được gọi là tích của hai đa tạp M, va W,. ANH XA KHẢ VI GIỮA CÁC ĐA TẠP 3.1 ANH XA KHẢ VI Cho M, là đa tạp khả vi lớp C’ n chiều, W, là đa tạp khả vi lớp C" p chiều.

Xét ánh xa liên tục ƒ : M, >W, và xét một bản đồ tùy ý (U,ø) của M,, một bản dé tùy ý (V.y) của W, sao cho /(U)C V. Lúc đó, có một ánh xạ m biến nhận giá trị là một vectơ p chiều. we/|,sø": ø(U) => w(V) (x' Sts x" > (7 (M2) ees be) trong đó ø(U) mở trong R", w(V) mở trong 8”. Ảnh xạ wef}, sø '=(ƒ'./7} gọi là biểu diễn địa phương của ƒ img với cap bản đồ {(Ư,@).

Ta đồng nhất /|,, = ự s /|,s@' và do đó xem /|„ như là ánh xạ n biến nhận giá trị vectơ p chiều. SVTH: Tran Thị Bao Tram Trang 5 GVHD: PGS — TS Lé Anh Vũ phương f|, = ° f|, »@'` đều là ảnh xạ khả vi lớp C*.2 ĐA TẠP CON Định nghĩa 3.