格和校正项
Lattices and correction terms
摘要：
设L是非幺模定格。使用的Elkies定理，我们表明，是否L嵌入在标准的确定格的相同的秩是完全由一个集合的晶格校正项，一个为每个代谢分组的判别组。作为一个拓扑应用，这给出了一个有理同调3-球绑定有理同调4-球的障碍来自于唐纳森定理的定交形式的4-流形。此外，从这个角度很容易看出，如果来自Heegaard Floer修正项的对有理同调球边界的阻碍消失了，那么（在一些温和的假设下）来自唐纳森定理的阻碍也消失了。
英文摘要：
Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each metabolizing subgroup of the discriminant group. As a topological application this gives a rephrasing of the obstruction for a rational homology 3-sphere to bound a rational homology 4-ball coming from Donaldson's theorem on definite intersection forms of 4-manifolds. Furthermore, from this perspective it is easy to see that if the obstruction to bounding a rational homology ball coming from Heegaard Floer correction terms vanishes, then (under some mild hypotheses) the obstruction from Donaldson's theorem vanishes too.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
