Chỉ số chính qui của các điểm béo nằm trên hai đường thẳng trong p2

Chia sẻ: Lâm Đức Duy | Ngày: | Loại File: PDF | Số trang:6

Thêm vào BST

Báo xấu

54
lượt xem 4
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài viết Chỉ số chính qui của các điểm béo nằm trên hai đường thẳng trong p2 trình bày: Công thức tính chỉ số chính qui của tập các điểm béo nằm trên hai đường thẳng của không gian xạ ảnh P2 bằng phương pháp đại số, phương pháp của chúng tôi có thể mở rộng để xét các điểm béo trong không gian xạ ảnh Pn, n là số nguyên dương tuỳ ý,... Mời các bạn cùng tham khảo.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Chỉ số chính qui của các điểm béo nằm trên hai đường thẳng trong p2

CHỈ SỐ CHÍNH QUI CỦA CÁC ĐIỂM BÉO NẰM TRÊN HAI ĐƯỜNG THẲNG TRONG P2 PHAN VĂN THIỆN Trường Đại học Sư phạm - Đại học Huế Tóm tắt: Chúng tôi sẽ chỉ ra công thức tính chỉ số chính qui của tập các điểm béo nằm trên hai đường thẳng của không gian xạ ảnh P2 bằng phương pháp đại số. Phương pháp của chúng tôi có thể mở rộng để xét các điểm béo trong không gian xạ ảnh Pn , n là số nguyên dương tuỳ ý. 1 GIỚI THIỆU Cho Pn := PnK là không gian xạ ảnh n-chiều trên trường K, K là trường đóng đại số, và R := K[X0 , . . . , Xn ] là vành đa thức theo n + 1 biến X0 , . . . , Xn . Cho P1 , . . . , Ps là các điểm phân biệt trong Pn và m1 , . . . , ms là các số nguyên dương. Gọi ℘1 , . . . , ℘s là các iđêan nguyên tố thuần nhất trong R xác định bởi các điểm ms 1 P1 , . . . , Ps tương ứng. Đặt I = ℘m 1 ∩ · · · ∩ ℘s . Cho Z là lược đồ chiều không xác định bởi I và chúng ta gọi Z := m1 P1 + · · · + ms Ps là tập s điểm béo trong Pn . Đây chính là lược đồ của tất cả các siêu mặt trong R có số bội ≥ mi tại mọi Pi , i = 1, . . . , s. Vành toạ độ của Z là A := R/I. Vành A = ⊕ At là vành phân bậc Cohen-Macaulay t≥0 1-chiều có số bội là e(A) = ) s ( ∑ mi + n − 1 i=1 n . Hàm Hilbert HA (t) = dimK At của A tăng chặt cho đến khi nó đạt đến số bội e(A), từ đó nó dừng. Số nguyên t bé nhất sao cho HA (t) = e(A) được gọi là chỉ số chính qui của tập điểm béo Z, chúng tôi ký hiệu nó là reg(Z) (hay reg(A)). Việc tính toán được chỉ số chính qui reg(Z) là rất khó. Cho đến nay, chỉ có một ít các kết quả về việc tính reg(Z) được công bố. Tạp chí Khoa học và Giáo dục, Trường Đại học Sư phạm Huế ISSN 1859-1612, Số 04(24)/2012: tr. 5-10 6 PHAN VĂN THIỆN Năm 1984, E.D. Davis và A.V. Geramita [2] tính được chỉ số chính qui của tập điểm béo Z = m1 P1 + · · · + ms Ps trong trường hợp tất cả các điểm P1 , . . . , Ps nằm trên cùng một đường thẳng của Pn : reg(Z) = m1 + · · · + ms − 1. Một tập điểm trong Pn được gọi là ở vị trí tổng quát nếu không có j + 2 điểm trong chúng nằm trên cùng một j-phẳng với j < n. Năm 1993, M.V. Catalisano, N.V. Trung và G. Valla [1] chỉ ra công thức tính chỉ số chính qui cho tập điểm béo Z = m1 P1 + · · · + ms Ps trong Pn ở hai trường hợp: ◦ s ≥ 2 và các điểm P1 , . . . , Ps nằm trên một đường cong hữu tỉ chuẩn: s { [ (∑ ) ]} reg(Z) = max m1 + m2 − 1, mi + n − 2 /n . i=1 ◦ n ≥ 3, 2 ≤ s ≤ n + 2, 2 ≤ m1 ≥ · · · ≥ ms và P1 , . . . , Ps ở vị trí tổng quát trong Pn : reg(Z) = m1 + m2 − 1. Năm 2009, P.V. Thiện [4] đã tính được chỉ số chính qui của s điểm béo Z = m1 P1 + · · · + ms Ps ở vị trí tổng quát trong Pn , s ≤ n + 2: s { [ (∑ ) ]} reg(Z) = max h − 1, mi + n − 2 /n , i=1 với h = max{mi1 + · · · + miq |Pi1 , . . . , Piq nằm trên một đường thẳng}. Gần đây, P.V. Thiện [5] đã tính được chỉ số chính qui của s + 2 điểm béo Z = m1 P1 + · · · + ms+s Ps+2 không nằm trên một (s − 1)-phẳng trong Pn : reg(Z) = max{Tj | j = 1, . . . , n}, với {[∑q Tj = max l=1 ] } m il + j − 2 | Pi1 , . . . , Piq nằm trên một j-phẳng . j Trong bài báo này chúng tôi sẽ chỉ ra công thức tính chỉ số chính qui của các điểm béo nằm trên hai đường thẳng của không gian xạ ảnh P2 bằng phương pháp đại số. Phương pháp của chúng tôi có thể mở rộng để xét các điểm béo trong không gian xạ ảnh Pn , n là số nguyên dương tuỳ ý. CHỈ SỐ CHÍNH QUI CỦA CÁC ĐIỂM BÉO NẰM TRÊN HAI ĐƯỜNG THẲNG 7 2 MỘT SỐ BỔ ĐỀ CẦN DÙNG Chúng tôi sẽ cần đến các bổ đề sau đây, chúng đã được chứng minh trong [1]. Bổ đề 2.1. ([1, Lemma 1]) Cho P1 , . . . , Pr , P là các điểm phân biệt trong Pn và cho ℘ là iđêan xác định bởi điểm P . Nếu m1 , . . . , mr và a là các số nguyên dương, mr a 1 J = ℘m 1 ∩ · · · ∩ ℘r , I = J ∩ ℘ , thì reg(R/I) = max {a − 1, reg(R/J), reg(R/(J + ℘a ))} . Để ước lượng reg(R/(J + ℘a )) chúng tôi sẽ dùng bổ đề sau. Bổ đề 2.2. ([1, Lemma 3]) Cho P1 , . . . , Pr , P là các điểm phân biệt trong Pn và mr 1 m1 , . . . , mr , a là các số nguyên dương. Đặt J = ℘m và ℘ = (X1 , . . . , Xn ). 1 ∩ · · · ∩ ℘r Khi đó, reg(R/(J + ℘a )) ≤ b nếu và chỉ nếu X0b−i M ∈ J +℘i+1 với mọi đơn thức M bậc i theo các biến X1 , . . . , Xn , i = 0, . . . , a − 1. Để tìm số b trong bổ đề trên, chúng tôi sẽ tìm một số nguyên t = t(J, M ) sao cho có t siêu phẳng H1 , ..., Ht tránh P và H1 · · · Ht M ∈ J. Với j = 1, ..., t, do có thể viết Hj = X0 + Gj , với Gj ∈ ℘, nên (X0 + G1 ) · · · (X0 + Gt )M ∈ J. Vì vậy, có G ∈ ℘ sao cho X0t M + GM ∈ J. Từ đó, X0t M ∈ J + ℘i+1 và ta có được bổ đề sau. Bổ đề 2.3. Cho P1 , . . . , Pr , P là các điểm phân biệt trong Pn và m1 , . . . , mr , a là mr 1 các số nguyên dương. Đặt J = ℘m và ℘ = (X1 , . . . , Xn ). Giả sử rằng với 1 ∩ · · · ∩ ℘r mọi đơn thức M bậc i theo các biến X1 , . . . , Xn , i = 0, . . . , a − 1 ta tìm được t siêu phẳng H1 , ..., Ht tránh P và H1 · · · Ht M ∈ J. Khi đó, reg(R/(J + ℘a )) ≤ max{t + i|i = 0, . . . , a − 1}. 3 CÁC KẾT QUẢ Mệnh đề 3.1. Cho P1 , . . . , Ps là các điểm phân biệt nằm trên một đường thẳng trong P2 và m1 , . . . , ms là các số nguyên dương. Gọi ℘1 , . . . , ℘s là các iđêan nguyên tố thuần ms−1 1 nhất trong R xác định bởi các điểm P1 , . . . , Ps tương ứng. Đặt J = ℘m 1 ∩ · · · ∩ ℘s−1 . Khi đó, s reg(R/(J + ℘m s )) = m1 + · · · + ms − 1. 8 PHAN VĂN THIỆN Chứng minh. Chọn Ps = (1, 0, 0), P1 = (0, 1, 0). Khi đó, ℘s = (X1 , X2 ), ℘1 = (X0 , X2 ), ℘j = (aj X1 − bj X0 , X2 ), j = 2, . . . , s − 1. Cho M là đơn thức bậc i theo các biến X1 , X2 , i = 0, . . . , ms − 1. Với j = 1, . . . , s − 1, qua mỗi điểm Pj ta luôn lấy được một đường thẳng Hj đi qua Pj và tránh Ps . Khi đó, m s−1 H1m1 · · · Hs−1 M ∈ J. Theo Bổ đề 2.3 ta có s reg(R/(J + ℘m s )) ≤ m1 + · · · + ms − 1. −1 s−1 Mặt khác, do X0 1 X1ms −1 ∈ / (X0 , X2 )m1 ∩ (a2 X1 − b2 X0 , X2 )m2 ∩ · · · ∩ s (as−1 X1 − bs−1 X0 , X2 )ms−1 + (X1 , X2 )ms = J + ℘m nên theo Bổ đề 2.2 ta có s m +···+m s reg(R/(J + ℘m s )) ≥ m1 + · · · + ms − 1. Từ hai bất đẳng thức trên suy ra s reg(R/(J + ℘m s )) = m1 + · · · + ms − 1. Mệnh đề 3.2. Cho X = {P1 , . . . , Ps } là tập các điểm phân biệt trong Pn và Y = {Pi1 , . . . , Pir } là tập con của X. Cho m1 , . . . , ms là các số nguyên dương. Đặt I = m m s ℘1m1 ∩ · · · ∩ ℘m và J = ℘i1 i1 ∩ · · · ∩ ℘ir ir . Khi đó, s reg(R/I) ≥ reg(R/J). Chứng minh. Chúng ta có thể giả sử Y = {P1 , . . . , Pr } (sau một phép đánh số lại mr 1 các điểm nếu cần thiết). Khi đó, J = ℘m 1 ∩ · · · ∩ ℘r . Đặt Y1 = {P1 , . . . , Ps−1 }, . . . , Ys−r = {P1 , . . . , Pr }, m m1 s−1 mr 1 J1 = ℘m 1 ∩ · · · ∩ ℘s−1 , . . . , Js−r = ℘1 ∩ · · · ∩ ℘r . Theo Bổ đề 2.1 chúng ta có s reg(R/I) = max {ms − 1, reg(R/J1 ), reg(R/(J1 + ℘m s ))} ≥ reg(R/J1 ), { ms−1 } reg(R/J1 ) = max ms−1 − 1, reg(R/J2 ), reg(R/(J2 + ℘s−1 )) ≥ reg(R/J2 ), ... { mr+1 } reg(R/Js−r−1 ) = max mr+1 − 1, reg(R/Js−r ), reg(R/(Js−r + ℘r+1 )) ≥ reg(R/Js−r ). Suy ra reg(R/I) ≥ reg(R/J). CHỈ SỐ CHÍNH QUI CỦA CÁC ĐIỂM BÉO NẰM TRÊN HAI ĐƯỜNG THẲNG 9 Định lý 3.3. Cho Z = m1 P1 + · · · + ms Ps là tập điểm béo trong P2 với các điểm P1 , . . . , Ps nằm trên hai đường thẳng phân biệt. Khi đó, ]} { [ m1 + · · · + ms reg(Z) = max h − 1, 2 } { với h = max mi1 + · · · + miq | Pi1 , . . . , Piq cùng thuộc một đường thẳng . ms 1 Chứng minh. Đặt I = ℘m 1 ∩ · · · ∩ ℘s . Khi đó, reg(Z) = reg(R/I). Giả sử rằng h = m1 + · · · + mr với P1 , . . . , Pr nằm trên đường thẳng l1 (sau một phép đánh số lại các điểm nếu cần thiết). Từ tính chất của h ta có [ ] m1 + · · · + ms h≥ . 2 Ta xét hai trường hợp sau: ] { [ ]} [ s s : Khi đó, h − 1 = max h − 1, m1 +···+m . Ta sẽ chứng Trường hợp h > m1 +···+m 2 2 minh reg(Z) = h − 1. mr 1 Đặt J = ℘m 1 ∩ · · · ∩ ℘r . Theo Mệnh đề 3.2 ta có, reg(R/I) ≥ reg(R/J). m r−1 1 Đặt J1 = ℘m 1 ∩ · · · ∩ ℘r−1 . Sử dụng Bổ đề 2.1 ta có r reg(R/J) ≥ reg(R/(J1 + ℘m r )). Do các điểm P1 , . . . , Pr nằm trên đường thẳng nên theo Mệnh đề 3.1 ta có r reg(R/(J1 + ℘m r )) = h − 1. Từ các bất đẳng thức trên ta suy ra reg(Z) ≥ h − 1. Mặt khác, từ [3, Theorem 1] ta có reg(Z) ≤ h − 1. Do đó, reg(Z) = h − 1. [ ] s Trường hợp h = m1 +···+m : Ta sẽ chứng minh reg(Z) = h. Từ [3, Theorem 1] ta có 2 reg(Z) ≤ h.