模p Steenrod代数上同调的一些注记

模p Steenrod代数A的上同调H~(s,t)(A)是决定球面稳定同伦群的最有力数据.首先给出了模p Steenrod代数A和May谱序列的一些重要结论,而后给出与乘积元γ_(s+3)l_ng_0∈H~(s+8,t(s,n))(A)密切相关的May谱E_1项的结果,这些结论对该乘积元的非平凡性研究有重要意义,其中t(s,n)=p~(n+1)q+2p~nq+(s+3)p~2q+(s+3)pq+(s+3)q+s, 0≤sp-6, n≥4, p≥11, q=2(p-1).     

Adams谱序列上的非平凡乘积b_0k_0δ_(s+4)

主要用May谱序列证明了非平凡的乘积b_0k_0δ_(s+4)∈Ext_A~(s+8,t)(Z_p,Z_p),其中p是大于等于7的素数,0≤sp-4,q=2(p-1),t=(s+4)p~3q+(s+3)p~2q+(s+5)pq+(s+2)q+s.     

乘积元b0g0(γ)s在Adams谱序列中的收敛性

决定球面稳定同伦群是同伦中的一个中心问题,同时也是非常困难的问题之一.Adams谱序觌是其计算的最有效的工具.在本文,令p>5为素数,A表示模p的Steenrod代数.我们利用Adams谱序列和May谱序列证明了,在球面稳定同伦群π*S中,存在一族在Adams谱序列中由b0g0γs∈Exts+4,sp2q+(s+1)pq+sq+s-3A(ZpZp)所表示的新的非平凡元素,其中q=2(p-1),3≤s相似文献   

球面稳定同伦群中非平凡元素γ_sξ_n

当p≥5, n≥0时,(i_1i_0)_*(h_n)∈Ext_■~(1,p~nq)(H~*K,Z_p)在Adams谱序列中是永久循环,并且收敛到π_(p~nq-1)K中的非零元.本文在此基础上,考虑了涉及第三希腊字母类乘积元素的收敛性,并且扩大了球面稳定同伦群中非平凡元素滤子s+1的取值范围,即当p+1 s+1 2p时,■_sh_n∈Ext_■~(s+1,t)(Z_p,Z_p)在Adams谱序列中是永久循环,并且收敛到π_(t-s-1)S中的非零元γ_sξ_n,其中p≥7, n≥3, t=p~nq+sp~2q+(s-1)pq+(s-2)q+s-3,q=2(p-1).     

Steenrod代数上同调中的一个非平凡乘积元b_0~3δ_(s+4)（英文）

本文主要研究了Steenrod代数上同调非平凡乘积元问题.设p为大于5的素数,A代表模p的Steenrod代数.通过对May谱序列的详尽组合分析,证明了古典Admas谱序列中乘积元―b_0~3δ_(s+4)∈Ext_A~(s+10,t(s))(Z_p,Z_p)的非平凡性,其中p≥7,0≤sp-5,t(s)=2(p-1)[(s+4)p~3+(s+3)p~2+(s+5)p+(s+1)]+s.这有助于对球面稳定同伦群中同伦元素非平凡性进行进一步研究.     

球面稳定同伦群的两个新元素h0(b1)3(γ)s和(b1)3g0(γ)s

本文证明了当p(＞-)11,3(<-)s＜p-3时,h0(b1)3∈Ext7,3p2q+qA(H*V(2),Zp),(b1)3g0∈Ext8,3p2q+pq+2q(H*V(2),Zp)在Adams谱序列中分别收敛到π*V(2)的非零元,h0(b1)3(γ)s∈Ext7+s,(s+3)p2q+(s-1)pq+(s-3)A(Zp,Zp)在Adams谱序列中分别收敛到π*S的非零p阶元.     

球面稳定同伦群的两个新元素h0(b1)3(γ)s和(b1)3g0(γ)s

本文证明了当p(＞-)11,3(<-)s＜p-3时,h0(b1)3∈Ext7,3p2q+qA(H*V(2),Zp),(b1)3g0∈Ext8,3p2q+pq+2q(H*V(2),Zp)在Adams谱序列中分别收敛到π*V(2)的非零元,h0(b1)3(γ)s∈Ext7+s,(s+3)p2q+(s-1)pq+(s-3)A(Zp,Zp)在Adams谱序列中分别收敛到π*S的非零p阶元.     

关于Littlewood的一个问题

本文证明了: (1)如果{a_n}_n~N=1是非负不减序列,p>0,q>0,0≤r≤1,且p(q+r)≥q+p,则sum from n=1 to N(a_n~pA_n~q)(sum from m=n to N(a_n~(1+p/q)~r≤1·sum from n=1 to N(a_n~pA_n~q)~(1+p/q),其中A_n=sum from m=n to n (a_m).上述不等式在0≤r≤1时完全解决了H.Alzer~([4])在1996年提出的一个问题,且1是最佳常数; (2)如果{a_n}_n~N=1是非负序列,p,p≥1,r>0,r(p-1)≤2(q-1),令α=((p-1)(q+r)+p~2+1)/(p+1) β=(2p+2r+p-1)/(q+1),σ=(q+r-1)/(p+q+r)则sum from n=1 to N (a_n~p)sum from i=1 to n (a_i~qA_i~r)≤2~σsum from n=1 to N(a_n~αA_n~β)(0.2)(0.2)式改进了G.Be(?)et~([2,3])在1987年对Littlewood一个问题的结果,常数因子的3/2降为2~(3/2)=1.2598…     

模p-Steenrod代数高维上同调群中的一个非平凡乘积元

证明了模p-Steenrod代数高维上同调群中的乘积元b_0~2γs∈Ext_A~(s+4,t(s))(Z_p,Z_p)的非平凡性,其中p≥11,3≤sp-1,t(s)=2(p-1)[sp~2+(s+1)p+(s-2)]+(s-3).     

牛顿公式的一个初等证明

设x_1,x_2,…,x_n是一元n次方程x~n-σ_1x~(n-1)+σ_2x~(n-2)-…+(-1)~nσ_n=0的n个根,并设S_k=x_1~k+x_2~k+…+x_n~k(k=1,2,…),那么 当k相似文献   

May谱序列中的一个非平凡积

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.     

球面稳定同伦群中的$\xi_n$-相关元素的非平凡性

利用Adams谱序列与May谱序列, 发掘了球面稳定同伦群中一族$\xi_n$的相关元素. 这里$\xi_n\in\pi_* M$在Adams 谱序列中由$h_0h_n\in \ext_A^{2,p^n q+q}(H^* M,\zz_p)$所表示, 其中$p\geqslant 7,\ n>3,\ q=2(p-1).$     

A Nontrivial Product of Filtration s ＋ 5 in the Stable Homotopy of Spheres

In this paper, some groups Ext A^s.t （Zp, Zp） with specialized s and t are first computed by the May spectrM sequence. Then we make use of the Adams spectral sequence to prove the existence of a new nontrivial family of filtration s＋5 in the stable homotopy groups of spheres πpnq＋（s＋3）pq＋（s＋1）q-5S which is represented （up to a nonzero scalar） by β＋2bohh∈ExtA^s＋5,P^nq＋（n＋3）pq＋（n＋1）q＋s（Zp, Zp） in the Adams spectral sequence, where p ≥ 5 is a prime number, n ≥3, 0≤ s 〈 p - 3, q = 2（p - 1）.     

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

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.     

关于一类中心循环的有限P-群的自同构群

确定了一类中心循环的有限p-群G的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

有循环极大子群的素数幂阶群的作用是边传递的图(II)

假定Γ是一个有限的、单的、无向的且无孤立点的图,G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.结果为:设图Γ含有一个阶为pn(p是素数,n≥2)的自同构群,且G有一个极大子群循环,则Γ是G-边传递的,当且仅当Γ同构于下列图之一1)pmK1,pn-1-m,0≤m≤n-1;2)pmK1,pn-m,0≤m≤n;3)pmKp,pn-m-1,0≤m≤n-2;4)pn-mCpm,pm≥3,m＜n;5)2n-2K1,1;6)pn-1-mCpm,pm≥3,m≤n-1;7)2pn-mCpm,pm≥3,m≤n-1;8)2pn-mK1,pm,0≤m≤n;9)pn-mK1,2pm,0≤m≤n;10)pn-mK2,pm,0＜m≤n;11)C(2pn-m,1,pm);12)pkC(2pm-k,1,pn-m),0＜k＜m,0＜m≤n;13)(t-s,2m)C(2m 1/(t-s,2m),1,2n-1-m),其中0≤m≤n-1,2n-2(s-1)≡0(mod 2m),t≡1(mod 2),s(≠)t(mod 2m),1≤s≤2m,1≤t≤2n-1;14)∪p i=1 Ci p n-1,其中Ci p n-1=Ca1a1 [1 (i-1)pn-2]a 1 2[1 (i--1)p n-2]…a 1 (pn-1-1)[1 (i-1)p n-2]≌Cp n-1,i=1,2,…,p;15)∪2 i=1 Ci 2n-1,其中Ci 2n-1=Ca1a 1 [1 (i-1)(2n-2-1)]a1 2[1 (i-1)(2n-2-1)]…a1 (2n-1-1)[1 (i-1)(2n-2-1)]≌C2n-1,i=1,2.     

关于同伦元素 $\alpha_{1}\beta_{1}\beta_{2}\gamma_{s}$

设 $p\geq 7$ 为任意奇素数. 证明了当 $3\leq s 相似文献   

Some combinatorics of binomial coefficients and the Bloch-Gieseker property for some homogeneous bundles

A vector bundle has the Bloch-Gieseker property if all its Chern classes are numerically positive. In this paper we show that the non-ample bundle has the Bloch-Gieseker property, except for two cases, in which the top Chern classes are trivial and the other Chern classes are positive. Our method is to reduce the problem to showing, e.g. the positivity of the coefficient of in the rational function (for even).

     

A Relation in the Stable Homotopy Groups of Spheres

Let p≥7 be an odd prime. Based on the Toda bracket α1βp-11, α1 β1, p, γs,the authors show that the relation α1βp-11h2,0 γs= βp/p-1γs holds. As a result, they can obtain α1βp1h2,0 γs = 0 ∈π*(S0) for 2≤s≤p- 2, even though α1h2,0γs and β1α1h2,0 γs are not trivial. They also prove that βp-11α1 h2,0 γ3 is nontrivial in π*(S0) and conjecture that βp-11α1 h2,0 γs is nontrivial in π*(S0) for 3≤s≤p- 2. Moreover, it is known thatβp/p-1γ3 = 0 ∈ Ext5,*BP*BP(BP*, BP*), but βp/p-1γ3 is nontrivial in π*(S0) and represents the element βp-11α1 h2,0 γ3.     

广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|■G|=p~m,其中n≥1,m≥2,Aut_fG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是p~m时,(i)如果p是奇素数,那么AutG/AutfG≌Z_((p-1)p~(m-2)),并且AutfG/InnG≌Sp(2n,p)×Zp.(ii)如果p=2,那么AutG=Aut_fG(若m=2)或者AutG/AutfG≌Z_(2~(m-3))×Z_2(若m≥3),并且AutfG/InnG≌Sp(2n,2)×Z_2.(2)当G的幂指数是p~(m+1)时,(i)如果p是奇素数,那么AutG=〈θ〉■Aut_fG,其中θ的阶是(p-1)p~(m-1),且Aut_f G/Inn G≌K■Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群.(ii)如果p=2,那么AutG=〈θ_1,θ_2〉■Aut_fG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2~(m-2))×Z_2,并且Aut_fG/Inn G≌K×Sp(2n-2,2),其中K是2~(2n-1)阶初等Abel 2-群.特别地,当n=1时...