首先给出了May谱序列E_1^(s,t,u)项的几个结果,然后利用这些结果和关于Ext_P^(s,t)(Z_p,Z_p)的一个估计(P为由mod p Steenrod代数A的所有循环缩减幂P^i(i≥0)生成的子代数)得出了乘积(?)t (?)g0∈Ext_A^(*,*)(Z_p,Z_p)(3≤t<p-2)在Ad...首先给出了May谱序列E_1^(s,t,u)项的几个结果,然后利用这些结果和关于Ext_P^(s,t)(Z_p,Z_p)的一个估计(P为由mod p Steenrod代数A的所有循环缩减幂P^i(i≥0)生成的子代数)得出了乘积(?)t (?)g0∈Ext_A^(*,*)(Z_p,Z_p)(3≤t<p-2)在Adams谱序列的收敛性。其中g0∈Ext_A^(2,pq+2q)(Z_p,Z_p),(?)∈Ext_A^(3,p^2q+2pq)(Z_p,Z_p).展开更多
This paper proves the existence of an order p element in the stable homotopy group of sphere spectrum of degree p^nq +p^mq + q- 4 and a nontrivial element in the stable homotopy group of Moore spectum of degree p^nq...This paper proves the existence of an order p element in the stable homotopy group of sphere spectrum of degree p^nq +p^mq + q- 4 and a nontrivial element in the stable homotopy group of Moore spectum of degree p^nq + p^mq + q - 3 which are represented by h0(hmbn-1 - hnbm-1) and ie(hohnhm) in the E2-terms of the Adams spectral sequence respectively, where p ≥ 7 is a prime, n ≥ m + 2 ≥ 4, q = 2(p - 1).展开更多
We study the stable homotopy types of F_n^4(2)-polyhedra, i.e.,(n- 1)-connected, at most(n+ 4)-dimensional polyhedra with 2-torsion free homologies. We are able to classify the indecomposable F_n^4(2)-polyhedra. The p...We study the stable homotopy types of F_n^4(2)-polyhedra, i.e.,(n- 1)-connected, at most(n+ 4)-dimensional polyhedra with 2-torsion free homologies. We are able to classify the indecomposable F_n^4(2)-polyhedra. The proof relies on the matrix problem technique which was developed in the classification of representations of algebras and applied to homotopy theory by Baues and Drozd(1999, 2001, 2004).展开更多
In 1981, Cohen constructed an infinite family of homotopy elements ζk∈ π*(S) represented by h0bk ∈ ExtA3,2(p-1)(pk+1+1)(z/p,Z/p) in the Adams spectral sequence, where p 〉 2 and k ≥ 1. In this paper, w...In 1981, Cohen constructed an infinite family of homotopy elements ζk∈ π*(S) represented by h0bk ∈ ExtA3,2(p-1)(pk+1+1)(z/p,Z/p) in the Adams spectral sequence, where p 〉 2 and k ≥ 1. In this paper, we make use of the Adams spectral sequence and the May spectral sequence to prove that the composite map ζn-1β2γs+3 is nontrivial in the stable homotopy groups of spheres πt(s,n)-s-8(S), where p ≥7, n 〉 3, 0≤s 〈p-5 andt(s,n) =2(p-1)[pn+(s+3)p2+(s+4)p+(s+3)]+s.展开更多
Let p ≥ 7 be an odd prime. Based on the Toda bracket 〈α1β1^p-1, α1β1,p, γs〉, the authors show that the relation α1β1^P-1h2,0γs= βp/p-1γ/s holds. As a resulL they can obtain α1β1^ph2,0γs= 0 ∈ π*(S^0...Let p ≥ 7 be an odd prime. Based on the Toda bracket 〈α1β1^p-1, α1β1,p, γs〉, the authors show that the relation α1β1^P-1h2,0γs= βp/p-1γ/s holds. As a resulL they can obtain α1β1^ph2,0γs= 0 ∈ π*(S^0) for 2 ≤ s ≤ p - 2, even though α1h2,0γs and β1α1h2,0γs are not trivial. They also prove that β1^p-1 α1h2,0γ3 is nontrivial in π*(S^0) and conjecture β1^p-1 α1h2,0γs is nontrivial in π*(S^0) for 3 ≤s ≤ p - 2. Moreover, it is known that βp/p-1γ3 = 0 ∈ EXtBP*Bp^5,*(BP*, BP*), but βp/p-1γ3 is nontrivial in π*(S^0) and represents the element β1^p-1α1h2,0γ3.展开更多
文摘首先给出了May谱序列E_1^(s,t,u)项的几个结果,然后利用这些结果和关于Ext_P^(s,t)(Z_p,Z_p)的一个估计(P为由mod p Steenrod代数A的所有循环缩减幂P^i(i≥0)生成的子代数)得出了乘积(?)t (?)g0∈Ext_A^(*,*)(Z_p,Z_p)(3≤t<p-2)在Adams谱序列的收敛性。其中g0∈Ext_A^(2,pq+2q)(Z_p,Z_p),(?)∈Ext_A^(3,p^2q+2pq)(Z_p,Z_p).
基金Project supported by the National Natural Science Foundation of China (No.10171049)
文摘This paper proves the existence of an order p element in the stable homotopy group of sphere spectrum of degree p^nq +p^mq + q- 4 and a nontrivial element in the stable homotopy group of Moore spectum of degree p^nq + p^mq + q - 3 which are represented by h0(hmbn-1 - hnbm-1) and ie(hohnhm) in the E2-terms of the Adams spectral sequence respectively, where p ≥ 7 is a prime, n ≥ m + 2 ≥ 4, q = 2(p - 1).
基金supported by National Natural Science Foundation of China(Grant Nos.11131008 and 61173009)
文摘We study the stable homotopy types of F_n^4(2)-polyhedra, i.e.,(n- 1)-connected, at most(n+ 4)-dimensional polyhedra with 2-torsion free homologies. We are able to classify the indecomposable F_n^4(2)-polyhedra. The proof relies on the matrix problem technique which was developed in the classification of representations of algebras and applied to homotopy theory by Baues and Drozd(1999, 2001, 2004).
基金supported by National Natural Science Foundation of China(Grant Nos.11071125,11261062 and 11171161)Specialized Research Fund for the Doctoral Program of Higher Education(Grant No.20120031110025)the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry(Grant No.2012940)
文摘In 1981, Cohen constructed an infinite family of homotopy elements ζk∈ π*(S) represented by h0bk ∈ ExtA3,2(p-1)(pk+1+1)(z/p,Z/p) in the Adams spectral sequence, where p 〉 2 and k ≥ 1. In this paper, we make use of the Adams spectral sequence and the May spectral sequence to prove that the composite map ζn-1β2γs+3 is nontrivial in the stable homotopy groups of spheres πt(s,n)-s-8(S), where p ≥7, n 〉 3, 0≤s 〈p-5 andt(s,n) =2(p-1)[pn+(s+3)p2+(s+4)p+(s+3)]+s.
基金Supported by the National Natural Science Foundation of China(1130138611026197+2 种基金11226080)the Outstanding Youth Teacher Foundation of Tianjin(ZX110QN044)the Doctor Foundation of Tianjin Normal University(52XB1011)
基金supported by the National Natural Science Foundation of China(Nos.11071125,11261062,11471167)the Specialized Research Fund for the Doctoral Program of Higher Education(No.20120031110025)
文摘Let p ≥ 7 be an odd prime. Based on the Toda bracket 〈α1β1^p-1, α1β1,p, γs〉, the authors show that the relation α1β1^P-1h2,0γs= βp/p-1γ/s holds. As a resulL they can obtain α1β1^ph2,0γs= 0 ∈ π*(S^0) for 2 ≤ s ≤ p - 2, even though α1h2,0γs and β1α1h2,0γs are not trivial. They also prove that β1^p-1 α1h2,0γ3 is nontrivial in π*(S^0) and conjecture β1^p-1 α1h2,0γs is nontrivial in π*(S^0) for 3 ≤s ≤ p - 2. Moreover, it is known that βp/p-1γ3 = 0 ∈ EXtBP*Bp^5,*(BP*, BP*), but βp/p-1γ3 is nontrivial in π*(S^0) and represents the element β1^p-1α1h2,0γ3.