Giới thiệu
Tài liệu này trình bày một định lý về phép quy nạp Schubert, một công cụ để phân tích các giao điểm trên đa tạp Grassmannian trên một vành cơ sở tùy ý. Thành phần chính của chứng minh là quy tắc Geometric Littlewood-Richardson.
Các ứng dụng bao gồm việc chứng minh rằng tất cả các bài toán Schubert cho mọi đa tạp Grassmannian đều có thể đếm được trên tập số thực và các trường hữu hạn đủ lớn. Nghiên cứu cũng chứng minh một định lý về tính trơn tru tổng quát như một sự thay thế cho định lý Kleiman-Bertini trong đặc trưng dương. Ngoài ra, tài liệu còn tính toán các nhóm monodromy của nhiều bài toán Schubert, đưa ra các ví dụ đáng ngạc nhiên về trường hợp nhóm monodromy nhỏ hơn nhiều so với nhóm đối xứng đầy đủ.
Mục lục chi tiết:
- 1. Câu hỏi và câu trả lời
- 2. Định lý chính và chứng minh của nó
- 3. Nhóm Galois/monodromy của các bài toán Schubert
- Tài liệu tham khảo
Định lý chính của bài báo này (Định lý 2.5) là một phương pháp quy nạp ("quy nạp Schubert") để chứng minh các kết quả về giao điểm của các đa tạp Schubert trong đa tạp Grassmannian. Mục 1 mô tả các câu hỏi mà chúng tôi muốn giải quyết. Định lý chính được phát biểu và chứng minh trong Mục 2, và các ứng dụng được trình bày ở đó và trong Mục 3.