Chùng minh ành lþ ch½nh

Một phần của tài liệu Xây dựng singer và bài toán hit (Trang 34 - 39)

1 Chùng minh ành lþ ch½nh

Bê · d÷îi ¥y t÷ìng ÷ìng vîi Bê · 2.5 trong [8]. Ð ¥y, chóng tæi tr¼nh b y mët chùng minh kh¡c vîi chùng minh ¢ câ trong [8].

Bê · 1.1. Vîi måi sè nguy¶n d÷ìng s,

H∗(Ps; Sq1) = 0.

Chùng minh. Ta câ ph¥n t½ch c¡c Sq1-module

Ps =F2⊕Ps,

ð ¥y F2 l  Sq1-module t¦m th÷íng. Do â

H∗(Ps; Sq1) =H∗(F2; Sq1)⊕H∗(Ps; Sq1).

V¼ th¸, º chùng minh bê ·, ta ch¿ c¦n ch¿ ra r¬ngH∗(Ps; Sq1) =H∗(F2; Sq1) =

F2.

Nhªn x²t r¬ng, theo cæng thùc Cartan, ta câ ¯ng c§u c¡c Sq1-module:

Ps=P1⊗ · · · ⊗P1 (s l¦n).

(Nhªn x²t r¬ng i·u n y khæng óng n¸u thay Ps bði Ps v  P1 bði P1. â l  lþ do ta ph£i chuyºn tø Ps sang Ps.) Tø â, theo cæng thùc Kunneth ¡p döng cho h» sè trong tr÷íng F2, ta câ

H∗(Ps;Sq1) = H∗(P1; Sq1)⊗ · · · ⊗H∗(P1; Sq1), (s l¦n).

Do â, sü ki»n H∗(Ps; Sq1) = F2 ÷ñc quy v· ¯ng thùc â vîi s = 1. Tø cæng thùc Cartan, måi ng÷íi ·u bi¸t r¬ng

Sq1xk = k 1 xk+1.

D¹ d ng suy ra trong P1:

Ker(Sq1) = Span{xk |k ch®n, k ≥0},Im(Sq1) = Span{xk |k ch®n>0}.

K¸t qu£ l ,

H∗(P1;Sq1) = Span{xk|k ch®n, k ≥0}

Span{xk|k ch®n>0} =F2.

M»nh · ÷ñc chùng minh.

Bê · tr¶n câ thº xem l  mët tr÷íng hñp ri¶ng cõa bê · d÷îi ¥y vîiM =F2. Bê · 1.2. Vîi måi sè nguy¶n d÷ìng s v  vîi måi mæun khæng ên ành M ta câ

H∗(Ps⊗M; Sq1) = 0.

Chùng minh. Theo quan h» Adem,Sq1 l  mët vi ph¥n tr¶nA-module khæng ên ành b§t ký. Theo cæng thùc Cartan, Ps⊗M vîi vi ph¥n Sq1 l  t½ch tensor cõa 2 module P3 v  M còng vîi vi ph¥n Sq1. (Lþ do: Sq0 = id tr¶n c£ Ps l¨n M.)

Do â,

H∗(Ps⊗M; Sq1) =H∗(Ps; Sq1)⊗H∗(M,Sq1).

Theo Bê · 1.1 ta câ i·u ph£i chùng minh.

Bê · 1.3. Gi£ sûRl  t½ch cõa c¡c ph¥n tû ph¥n bi»t trong tªp hñp{Q0, Q1, Q2}. Khi â

(a) R ∈Sq1P3+ Sq2P3;

(b) R P

sym

W12j1 · · ·Wk2jk∈Sq1(P3⊗F(k)) + Sq2(P3⊗F(k)). Chùng minh. (a) Ta câ theo [M»nh · 2.1(a),Ch÷ìng II]

Q0 = Sq1Q1, Q1 = Sq2Q2, Q0Q1 = Sq2(Q0Q2), Q0Q2 = Sq1(Sq4(Q1)).

Theo [8, Bê · B]

Q1Q2 = Sq1(A) + Sq2(B) vîi A, B ∈ P3.

V¼ Sq1Q2 = 0 n¶n theo [8, Bê · 2.5] ta câ

Q2 = Sq1C vîi C ∈ P3.

Cuèi còng,

Q0Q1Q2 =Q0 Sq1(A) + Sq2(B) = Sq1(Q0A) + Sq2(Q0B).

(b) L÷u þ r¬ng Sq1 X sym W12j1 · · ·Wk2jk = 0 v  Sq2 X sym W12j1 · · ·Wk2jk= 0.

Do â, ¡p döng ph¦n (a) ta câ i·u ph£i chùng minh.

Bê · d÷îi ¥y âng mët vai trá thi¸t y¸u trong chùng minh ành lþ ch½nh. Chùng minh cõa Bê · n y ÷ñc d nh ri¶ng ð möc sau.

Bê · 1.4 ([9, Bê · 4.2]). Gi£ sû R l  mët R3F(k)-ìn thùc , u 6= 1 l  mët ph¦n tû tòy þ trong P3, v  n l  mët sè nguy¶n d÷ìng.

(a) N¸u σ(R)< n th¼ Ru2n ∈A(P3⊗F(k)). (b) N¸u i2(R)≡ 2n−1 (mod 2n) v  h(R) 2n−1 = 0 th¼ Ru2n ∈A(P3⊗F(k)). (c) N¸u i2(R) = 2n−1≥ i1(R), h(R)≡ 2n−1 (mod 2n) v  u∈ Sq1P3+ Sq2P3 th¼ Ru2n ∈A(P3⊗F(k)). Chùng minh ành lþ ch½nh. Gi£ sû R = Qi00Qi11Qi22 P W12j1 · · ·Wk2jk l  mët R3F(k)-ìn thùc. Ta ph£i chùng minh R ∈A(P3⊗F(k)). Ta chia th nh c¡c tr÷íng hñp sau. 1 Qi00Qi11Qi22 = 1. Khi â R =X sym W12j1 · · ·Wk2jk =f + 1⊗(X sym u21j1· · ·u2kjk)8, trong â f =P i ai⊗xi∈ P3⊗F(k) v  c¡c ai ·u câ bªc d÷ìng. Ta bi¸t r¬ng Sq1R = 0 v  Sq1 1⊗(P sym u2j1 1 · · ·u2jk k )8 = 0. Do â Sq1f = 0.

Theo Bê · 1.2 ta câ

M°t kh¡c, n¸u °t d = 2j1 +· · ·+ 2jk th¼ 1⊗(X sym u21j1 · · ·uk2jk)8 = Sq4d 1⊗(X sym u21j1 · · ·u2kjk)4 ∈A(P3⊗F(k)). H» qu£ l  R =X sym W12j1 · · ·Wk2jk ∈ A(P3⊗F(k)). 2 Qi00Qi11Qi22 6= 1.

°t σ(R) = n, tùc l  tçn t¤i duy nh§t mët sè nguy¶n khæng ¥m k sao cho

i2(R) = 2n −1 +k2n+1.

(2.1) X²t tr÷íng hñp k >0. Ta vi¸t R d÷îi d¤ng

R =R(Qk2)2n+1,

trong â R l  mët R3F(k)-ìn thùc thäa m¢n σ(R) = n < n+ 1. p döng Bê · 1.4 (a) cho bë ba (R, Qk2, n+ 1) ta câ

R ∈ A(P3⊗F(k)).

(2.2) X²t tr÷íng hñp k = 0. Ta x²t c¡c tr÷íng hñp con d÷îi ¥y. (2.2.1) i0(R)≥ 2n+1 ho°c i1(R)≥ 2n+1.

Ta vi¸t R d÷îi d¤ng

R =RA2n+1,

trong â A =Q0 ho°c A= Q1 tòy theo i0(R)≥ 2n+1 hay i1(R) ≥

2n+1, cán R l  mët R3F(k)-ìn thùc thäa m¢n σ(R) =n < n+ 1.

p döng Bê · 1.4 (a) cho bë ba (R, A, n+ 1) ta câ

R ∈A(P3⊗F(k)). (2.2.2) i0(R) ≤2n+1−1 v  i1(R)≤ 2n+1−1; i0(R)≥ 2n ho°c i1(R)≥ 2n . Ta chia th nh ba tr÷íng hñp con. • n = 0 . p döng Bê · 1.3 (b) ta câ R ∈A(P3⊗F(k)). • n >0 v  tçn t¤i m vîi 0 < m≤n v  h(R) 2m−1 = 0. Ta vi¸t R =RA2m,

trong âA=Q0 ho°cA =Q1 tòy theoi0(R) ≥2 hayi1(R)≥ 2n, cán R l  mët R3F(k)-ìn thùc thäa m¢n i2(R) ≡ 2m −1 (mod 2m) v  h(R) 2m−1 = h(R2m)−−12m = 2hm(R−)1 = 0. p döng Bê · 1.4 (b), ta câ R ∈A(P3⊗F(k)). • n >0 v  h(R) 2m−1

= 1 vîi måi m thäa m¢n 0< m ≤n. Ta câ

h(R) ≡2n−1 (mod 2n).

Ta vi¸t R d÷îi d¤ng

R =Rv2n,

trong â v l  t½ch ph¥n bi»t cõa c¡c ph¦n tû trong tªp hñp

{Q0, Q1}, v Rl  mëtR3F(k)-ìn thùc thäa m¢ni0(R, i1(R), i2(R)

·u ≤2n −1. Chó þ r¬ng

i2(R) =i2(R)−2ni2(v) = 2n −1≥ i1(R), h(R) =h(R)−2nh(v)≡ 2n −1 (mod 2n).

Theo Bê · 1.3 (a) ta câ v ∈ Sq1P3+ Sq2P3. p döng Bê · 1.4 (c) cho bë ba (R, v, n) ta câ

R ∈A(P3⊗F(k)).

(2.2.3) i0(R)≤ 2n −1 v  i1(R)≤2n −1.

N¸u n = 0 th¼ ta quay l¤i 1 . Do â sau ¥y ta ch¿ x²t n ≥ 1.

• n=1. Khi â, ¡p döng Bê · 1.4 (b) ta câ

R ∈A(P3⊗F(k)).

• n ≥2 v  tçn t¤i m vîi 0< m < n v  h(R) 2m−1

= 0. Hiºn nhi¶n l  i2(R) ≡2m−1 (mod 2m).

Ta vi¸t R =RQ22m, trong â R l  mët RF3(k)-ìn thùc thäa m¢n h(R) 2m−1 = h(R)−2m 2m−1 = h(R) 2m−1 = 0, v  i2(R) = 2n−1−2m ≡2m−1 (mod 2m).

p döng Bê · 1.4 (b) cho bë ba (R, Q2, m) ta câ

• n ≥2 v  h(R) 2m−1

= 1 vîi måi m thäa m¢n 0 < m < n. Khi §y,

h(R)≡2n−1−1 (mod 2n−1).

Ta vi¸t R d÷îi d¤ng

R =Ru2n−1,

trong â u l  t½ch ph¥n bi»t cõa c¡c ph¦n tû trong tªp hñp

{Q0, Q1, Q2}, cán R l  mët R3F(k)−ìn thùc thäa m¢n

i2(R) = i2(R)−2n−1i2(u) = 2n−1−2n−1 = 2n−1−1≥i1(R), h(R) = h(R)−2n−1h(u)≡ 2n−1−1 (mod 2n−1).

Theo Bê · 1.3 (a), ta câ u∈ Sq1P3+ Sq2P3. p döng Bê · 1.4 (c) cho bë ba (R, u, n−1) ta câ

R ∈A(P3⊗F(k)).

ành lþ ch½nh ÷ñc chùng minh ho n to n.

Một phần của tài liệu Xây dựng singer và bài toán hit (Trang 34 - 39)

Tải bản đầy đủ (PDF)

(45 trang)