Đến nội dung

Hình ảnh

Module hữu hạn sinh trên vành địa phương


  • Please log in to reply
Chưa có bài trả lời

#1
bangbang1412

bangbang1412

    Độc cô cầu bại

  • Phó Quản lý Toán Cao cấp
  • 1668 Bài viết

Cho $R$ là một vành địa phương (local ring). Chứng minh rằng mọi module xạ ảnh hữu hạn sinh $P$ trên $R$ đều là module tự do và cho một công thức tính hạng của $P$?

 

Lâu lâu warm-up một bài cùng mọi người. Thực chất cái này vẫn đúng cho module vô hạn sinh nhưng chứng minh rất khó.


Bài viết đã được chỉnh sửa nội dung bởi bangbang1412: 29-05-2019 - 20:31

$$[\Psi_f(\mathbb{1}_{X_{\eta}}) ] = \sum_{\varnothing \neq J} (-1)^{\left|J \right|-1} [\mathrm{M}_{X_{\sigma},c}^{\vee}(\widetilde{D}_J^{\circ} \times_k \mathbf{G}_{m,k}^{\left|J \right|-1})] \in K_0(\mathbf{SH}_{\mathfrak{M},ct}(X_{\sigma})).$$





2 người đang xem chủ đề

0 thành viên, 2 khách, 0 thành viên ẩn danh