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 (adsbygoogle = window.adsbygoogle || []).push({});
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 (adsbygoogle = window.adsbygoogle || []).push({});
= 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. (adsbygoogle = window.adsbygoogle || []).push({});