在五个球体S 5上IIB型超重力压缩后产生的Kaluza-Klein模的四次有效作用是计算任意权重1 2 $$ \ frac {1} {2的四点相关函数的起点 } N $$ \ mathcal {N} $$ = 4中的$$ -BPS算符在超重力近似中表示。 这个动作的表面结构相当复杂,特别是它包含具有四个导数的四次项,这些项不能被字段重新定义删除。 通过展示某些涉及S 5的球谐函数的积分之间的复杂恒等式,我们证明了这些四阶导数项对有效作用的净贡献消失了。 我们的结果与关于超重力近似中任何1 2 $$ \ frac {1} {2} $$ -BPS算子的四点相关函数的Mellin空间表示的最新猜想