By a method improving that of [1], the authors prove the existence of a non-trivial product of filtration, s + 6, in the stable homotopy groups of sphere, πt-6S, which is represented up to non-zero scalar by β^-s+...By a method improving that of [1], the authors prove the existence of a non-trivial product of filtration, s + 6, in the stable homotopy groups of sphere, πt-6S, which is represented up to non-zero scalar by β^-s+2ho(hmbn-1 -hnbm-1) ∈ ExtA^s+6,t+s(Zp, Zp) in the Adams spectral sequence, where p ≥ 7, n ≥ m + 2 ≥ 5, q = 2(p- 1), 0 ≤ s 〈 p - 2, t= (s + 2 + (s + 2)p + p^m + p^n)q. The advantage of this method is to extend the range of s without much complicated argument as in [1].展开更多
In the year 2002, Lin detected a nontrivial family in the stable homotopy groups of spheres ;π-6S which is represented by hngoγ^-3 ∈ Ext^6tA(Zp, Zp) in the Adams spectral sequence, where t = 2p^n(p- 1)+ 6(p^2...In the year 2002, Lin detected a nontrivial family in the stable homotopy groups of spheres ;π-6S which is represented by hngoγ^-3 ∈ Ext^6tA(Zp, Zp) in the Adams spectral sequence, where t = 2p^n(p- 1)+ 6(p^2 +p + 1)(p- 1) and p ≥ 7 is a prime number. This article generalizes the result and proves the existence of a new nontrivial family of filtration s + 6 in the stable homotopy groups of spheres πt1-8-6S which is represented by bygoγ^s+3 ∈ Ext^s+6+t1Atl (Zp, Zp) in the Adams spectral sequence, where n≥ 4, 0 ≤ s 〈 p - 4, t1 = 2p^n(p- 1) + 2(p- 1)((s + 3)p^2 + (s + 3)p + (s + 3)) + s.展开更多
Let A be the mod p Steenrod algebra for p an arbitrary odd prime. In 1962, Liulevicius described h i and b k in Ext* A ’*(Zp,Zp) having bigrading (1, sui— 1) and (2, 2p k+1 x(p— 1)), respectively. In this paper we ...Let A be the mod p Steenrod algebra for p an arbitrary odd prime. In 1962, Liulevicius described h i and b k in Ext* A ’*(Zp,Zp) having bigrading (1, sui— 1) and (2, 2p k+1 x(p— 1)), respectively. In this paper we prove that for p ≥ 7, n ≥ 4 and $3 \leqslant s < p - 1, h_0 b_{n - 1} \tilde \gamma _s \in Ext_A^{s + 3,p^n q + sp^2 q + (s - 1)pq + (s - 1)q + s - 3} (Z_p ,Z_p )$ survives to E∞ in the Adams spectral sequence, where q = 2(p — 1).展开更多
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).展开更多
Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π*S is one of the central problems in homotopy theory. This paper cons...Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π*S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq+2pq+q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq+2pq+q(Zp,Zp) in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2(p-1). In the course of the proof, a new family of homotopy elements in πp^nq+(p+1)q-1V(1) which is represented by β*i'*i*(hn) ∈ ExtA^2,pnq+(p+1)q+1 (H^*V(1), Zp) in the Adams sequence is detected.展开更多
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.展开更多
In this paper,the authors introduce a new effective method to compute the generators of the E-term of the May spectral sequence.This helps them to obtain four families of non-trivial product elements in the stable hom...In this paper,the authors introduce a new effective method to compute the generators of the E-term of the May spectral sequence.This helps them to obtain four families of non-trivial product elements in the stable homotopy groups of spheres.展开更多
In this paper, a new family of homotopy elements in the stable homotopy groups of spheres represented by h1hnhm γ?s in the Adams spectral sequence is detected, where n-2≥m≥5 and 3≤s 〈p.
To determine the stable homotopy groups of spheres π*(S) is one of the central problems in homotopy theory. Let p be a prime greater than 5. The authors make use of the May spectral sequence and the Adams spectral...To determine the stable homotopy groups of spheres π*(S) is one of the central problems in homotopy theory. Let p be a prime greater than 5. The authors make use of the May spectral sequence and the Adams spectral sequence to prove the existence of a Bn-related family of homotopy elements, β1ωnγs, in the stable homotopy groups of spheres, where Bn〉 3, 3≤s〈 p-2 and the Bn-element was detected by X. Liu.展开更多
Let p be an odd prime.The authors detect a nontrivial element p of order p^2 in the stable homotopy groups of spheres by the classical Adams spectral sequence.It is represented by a_0^(p-2)h_1 ∈ Ext_A^(p-1,pq+p-2)(...Let p be an odd prime.The authors detect a nontrivial element p of order p^2 in the stable homotopy groups of spheres by the classical Adams spectral sequence.It is represented by a_0^(p-2)h_1 ∈ Ext_A^(p-1,pq+p-2)(Z/p,Z/p) in the E_2-term of the ASS and meanwhile p · p is the first periodic element αp.展开更多
In this paper, we introduce a four-filtrated version of the May spectral sequence (MSS), from which we study the general properties of the spectral sequence and give a collapse theorem. We also give an efficient metho...In this paper, we introduce a four-filtrated version of the May spectral sequence (MSS), from which we study the general properties of the spectral sequence and give a collapse theorem. We also give an efficient method to detect generators of May E 1-term E 1 s,t,b,* for a given (s, t, b, *). As an application, we give a method to prove the non-triviality of some compositions of the known homotopy elements in the classical Adams spectral sequence (ASS).展开更多
Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by (b0hn-h1bn-...Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by (b0hn-h1bn-1)∈ ExtA^3,(p^n+p)q(Zp,Zp) in the Adams spectral sequence. At the same time, he proved that i.(hlhn) ∈ExtA^2,(p^n+P)q(H^*M, Zp) is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π(p^n+p)q-2M. In this paper, with Lin's results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq + sp^2q + spq + (s - 2)q + s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s+2,*-term of the Adams spectral sequence, where p ≥ 7, q = 2(p - 1), n ≥ 4 and 3 ≤ s 〈 p.展开更多
Let p be an odd prime and q = 2(p- 1). Up to total degree t - s 〈 max((5p^3 + 6p^2 +6p +4)q- 10,p^4q}, the generators of H^s,t(U(L)), the cohomology of the universal enveloping algebra of a bigraded Lie a...Let p be an odd prime and q = 2(p- 1). Up to total degree t - s 〈 max((5p^3 + 6p^2 +6p +4)q- 10,p^4q}, the generators of H^s,t(U(L)), the cohomology of the universal enveloping algebra of a bigraded Lie algebra L, are determined and their convergence is also verified. Furthermore our results reveal that this cohomology satisfies an analogous Poindare duality property. This largely generalizes an earlier classical results due to J. P. May.展开更多
In this paper,we determine some nontrivial secondary Adams differentials on the fourth line Ext^(4,*)_A(Z/p,Z/p)of the classical Adams spectral sequence.Specially,among these differentials,two of them are obtained via...In this paper,we determine some nontrivial secondary Adams differentials on the fourth line Ext^(4,*)_A(Z/p,Z/p)of the classical Adams spectral sequence.Specially,among these differentials,two of them are obtained via the matrix Massey products.展开更多
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.展开更多
This paper proves that, for any generator x∈ExtA^s,tq(Zp,Zp), if (1L ∧i)*Ф*(x)∈ExtA^s+1,tq+2q(H*L∧M, Zp) is a permanent cycle in the Adams spectral sequence (ASS), then b0x ∈ExtA^s+1,tq+q(Zp, Z...This paper proves that, for any generator x∈ExtA^s,tq(Zp,Zp), if (1L ∧i)*Ф*(x)∈ExtA^s+1,tq+2q(H*L∧M, Zp) is a permanent cycle in the Adams spectral sequence (ASS), then b0x ∈ExtA^s+1,tq+q(Zp, Zp) also is a permenent cycle in the ASS. As an application, the paper obtains that h0hnhm∈ExtA^3,pnq+p^mq+q(Zp, Zp) is a permanent cycle in the ASS and it converges to elements of order p in the stable homotopy groups of spheres πp^nq+p^mq+q-3S, where p ≥5 is a prime, s ≤ 4, n ≥m+2≥4 and M is the Moore spectrum.展开更多
In this paper,we prove the non-triviality of the product h 0 k o δ s+4 ∈ Ext s+6,t(s) A (Z p ,Z p ) in the classical Adams spectral sequence,where p ≥ 11,0 ≤ s p-4,t(s) = (s + 4)p 3 q + (s + 3)p 2 q...In this paper,we prove the non-triviality of the product h 0 k o δ s+4 ∈ Ext s+6,t(s) A (Z p ,Z p ) in the classical Adams spectral sequence,where p ≥ 11,0 ≤ s p-4,t(s) = (s + 4)p 3 q + (s + 3)p 2 q + (s + 4)pq + (s + 3)q + s with q = 2(p-1).The elementary method of proof is by explicit combinatorial analysis of the (modified) May spectral sequence.展开更多
基金supported by the National Natural Science Foundation of China (10501045, 10771105)the NCET and the Fund of the Personnel Division of Nankai University.
文摘By a method improving that of [1], the authors prove the existence of a non-trivial product of filtration, s + 6, in the stable homotopy groups of sphere, πt-6S, which is represented up to non-zero scalar by β^-s+2ho(hmbn-1 -hnbm-1) ∈ ExtA^s+6,t+s(Zp, Zp) in the Adams spectral sequence, where p ≥ 7, n ≥ m + 2 ≥ 5, q = 2(p- 1), 0 ≤ s 〈 p - 2, t= (s + 2 + (s + 2)p + p^m + p^n)q. The advantage of this method is to extend the range of s without much complicated argument as in [1].
基金Supported by the National Natural Science Foundation of China (1051045)the Youth Project of Tianyuan Foundation of China (10426028)the China Postdoctoral,Science Foundation and Fund of the Personnel Division of Nankai University
文摘In the year 2002, Lin detected a nontrivial family in the stable homotopy groups of spheres ;π-6S which is represented by hngoγ^-3 ∈ Ext^6tA(Zp, Zp) in the Adams spectral sequence, where t = 2p^n(p- 1)+ 6(p^2 +p + 1)(p- 1) and p ≥ 7 is a prime number. This article generalizes the result and proves the existence of a new nontrivial family of filtration s + 6 in the stable homotopy groups of spheres πt1-8-6S which is represented by bygoγ^s+3 ∈ Ext^s+6+t1Atl (Zp, Zp) in the Adams spectral sequence, where n≥ 4, 0 ≤ s 〈 p - 4, t1 = 2p^n(p- 1) + 2(p- 1)((s + 3)p^2 + (s + 3)p + (s + 3)) + s.
基金This work was supported by the National Natural Science Foundation of China(Grant No.10171049)the Youth Project of Tianyuan Foundation(Grant No.10426028).
文摘Let A be the mod p Steenrod algebra for p an arbitrary odd prime. In 1962, Liulevicius described h i and b k in Ext* A ’*(Zp,Zp) having bigrading (1, sui— 1) and (2, 2p k+1 x(p— 1)), respectively. In this paper we prove that for p ≥ 7, n ≥ 4 and $3 \leqslant s < p - 1, h_0 b_{n - 1} \tilde \gamma _s \in Ext_A^{s + 3,p^n q + sp^2 q + (s - 1)pq + (s - 1)q + s - 3} (Z_p ,Z_p )$ survives to E∞ in the Adams spectral sequence, where q = 2(p — 1).
基金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).
基金the National Natural Science Foundation of China(Nos.10501045,10771105)the Fund of the Personnel Division of Nankai University(No.J02017).
文摘Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π*S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq+2pq+q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq+2pq+q(Zp,Zp) in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2(p-1). In the course of the proof, a new family of homotopy elements in πp^nq+(p+1)q-1V(1) which is represented by β*i'*i*(hn) ∈ ExtA^2,pnq+(p+1)q+1 (H^*V(1), Zp) in the Adams sequence is detected.
基金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.
基金supported by the National Natural Science Foundation of China(Nos.12001474,12171165)Guangdong Natural Science Foundation(Nos.2020A1515011008,2021A1515010374)the“13th Five-Year”Science and Technology Project of Jilin Department of Education(No.JJKH20200508KJ)
文摘In this paper,the authors introduce a new effective method to compute the generators of the E-term of the May spectral sequence.This helps them to obtain four families of non-trivial product elements in the stable homotopy groups of spheres.
基金partially supported by NSFC(11171161)NCET+1 种基金SRF for ROCSSEM
文摘In this paper, a new family of homotopy elements in the stable homotopy groups of spheres represented by h1hnhm γ?s in the Adams spectral sequence is detected, where n-2≥m≥5 and 3≤s 〈p.
基金supported by the National Natural Science Foundation of China(No.11571186)
文摘To determine the stable homotopy groups of spheres π*(S) is one of the central problems in homotopy theory. Let p be a prime greater than 5. The authors make use of the May spectral sequence and the Adams spectral sequence to prove the existence of a Bn-related family of homotopy elements, β1ωnγs, in the stable homotopy groups of spheres, where Bn〉 3, 3≤s〈 p-2 and the Bn-element was detected by X. Liu.
基金supported by the National Natural Science Foundation of China(Nos.11761072,11671154)the China Postdoctoral Science Foundation Special Funded Project(No.2015T80909)
文摘Let p be an odd prime.The authors detect a nontrivial element p of order p^2 in the stable homotopy groups of spheres by the classical Adams spectral sequence.It is represented by a_0^(p-2)h_1 ∈ Ext_A^(p-1,pq+p-2)(Z/p,Z/p) in the E_2-term of the ASS and meanwhile p · p is the first periodic element αp.
基金the National Natural Science Foundation of China (Nos.10501045,10771105)the Fund of the Personnel Division of Nankai University
文摘In this paper, we introduce a four-filtrated version of the May spectral sequence (MSS), from which we study the general properties of the spectral sequence and give a collapse theorem. We also give an efficient method to detect generators of May E 1-term E 1 s,t,b,* for a given (s, t, b, *). As an application, we give a method to prove the non-triviality of some compositions of the known homotopy elements in the classical Adams spectral sequence (ASS).
基金the National Natural Science Foundation of China(No.10501045,10426028)the China Postdoc toral Science Foundationthe Fund of the Personnel Division of Nankai University
文摘Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by (b0hn-h1bn-1)∈ ExtA^3,(p^n+p)q(Zp,Zp) in the Adams spectral sequence. At the same time, he proved that i.(hlhn) ∈ExtA^2,(p^n+P)q(H^*M, Zp) is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π(p^n+p)q-2M. In this paper, with Lin's results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq + sp^2q + spq + (s - 2)q + s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s+2,*-term of the Adams spectral sequence, where p ≥ 7, q = 2(p - 1), n ≥ 4 and 3 ≤ s 〈 p.
基金supported by NSFC(Grant Nos.11671154 and 11761072)General Financial Grant from the China Postdoctoral Science Foundation(Grant No.2017M622721)
文摘Let p be an odd prime and q = 2(p- 1). Up to total degree t - s 〈 max((5p^3 + 6p^2 +6p +4)q- 10,p^4q}, the generators of H^s,t(U(L)), the cohomology of the universal enveloping algebra of a bigraded Lie algebra L, are determined and their convergence is also verified. Furthermore our results reveal that this cohomology satisfies an analogous Poindare duality property. This largely generalizes an earlier classical results due to J. P. May.
基金Supported by NSFC(Grant Nos.11671154,11761072,12001474 and 11871284)Guangdong Natural Science Foundation(Grant No.2020A1515011008)“13th Five-Year”Science and Technology Project of Jilin Department of Education(Grant No.JJKH20200508KJ)。
文摘In this paper,we determine some nontrivial secondary Adams differentials on the fourth line Ext^(4,*)_A(Z/p,Z/p)of the classical Adams spectral sequence.Specially,among these differentials,two of them are obtained via the matrix Massey products.
基金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.
文摘This paper proves that, for any generator x∈ExtA^s,tq(Zp,Zp), if (1L ∧i)*Ф*(x)∈ExtA^s+1,tq+2q(H*L∧M, Zp) is a permanent cycle in the Adams spectral sequence (ASS), then b0x ∈ExtA^s+1,tq+q(Zp, Zp) also is a permenent cycle in the ASS. As an application, the paper obtains that h0hnhm∈ExtA^3,pnq+p^mq+q(Zp, Zp) is a permanent cycle in the ASS and it converges to elements of order p in the stable homotopy groups of spheres πp^nq+p^mq+q-3S, where p ≥5 is a prime, s ≤ 4, n ≥m+2≥4 and M is the Moore spectrum.
基金Supported by the National Natural Science Foundation of China (Grant No. 10361005)
文摘In this paper,we prove the non-triviality of the product h 0 k o δ s+4 ∈ Ext s+6,t(s) A (Z p ,Z p ) in the classical Adams spectral sequence,where p ≥ 11,0 ≤ s p-4,t(s) = (s + 4)p 3 q + (s + 3)p 2 q + (s + 4)pq + (s + 3)q + s with q = 2(p-1).The elementary method of proof is by explicit combinatorial analysis of the (modified) May spectral sequence.