增强的Koszul性质在Galois上同调中的复合稳定性定理
Fibre-Product Stability, Kummer Gluing, and Composita for Universal Koszulity
AI总结:
本文研究了Galois上同调中增强的Koszul性质在字段复合下的稳定性,通过抽象的复合稳定性定理证明了模p上同调环的二次呈现,并探讨了Pythagorean字段的复合稳定性定理。
摘要:
我们研究了Galois上同调中增强的Koszul性质在字段复合下的行为。给定包含μ_p的字段K₁和K₂,其交集为k,复合为K=K₁K₂,我们提出一个抽象的复合稳定性定理:在最大pro-p Galois群的pro-p amalgam分解G_K ≅ G_{K₁} *_{G_k} G_{K₂}下,并假设模p上同调环H^•(G_{K₁},F_p)、H^•(G_{K₂},F_p)和H^•(G_k,F_p)的自然Mayer-Vietoris兼容性假设下,H^•(G_K,F_p)的二次呈现由在一次生成元和二次关系上的纤维积构造产生。假设在这一二次粘合下通用Koszul性稳定,我们得出H^•(G_{K₁},F_p)和H^•(G_{K₂},F_p)的通用Koszul性意味着H^•(G_K,F_p)的通用Koszul性。作为具体应用,我们证明了某些Pythagorean字段的复合稳定性定理,其最大pro-2 Galois群分解为自由pro-2积的Demuškin群和自由因子。对于合适的复合K=K₁K₂,模2的Galois上同调环H^•(G_K(2),F_2)保持二次且通用Koszul。这为由局部、全局和Pythagorean基础字段通过允许的扩展和复合构造的大类字段提供了最大pro-p Galois群具有通用Koszul上同调的实例,并产生了反向Galois障碍:任何有限生成的pro-p群,如果其模p上同调不是二次或非通用Koszul,就不能作为这些家庭中字段的最大pro-p Galois群。
英文摘要:
We study universal Koszulity under algebraic gluing and field composita. For quadratic fibre products, orthogonally split pullbacks reduce to direct sums, while Stanley--Reisner pullbacks arise from graph gluing preserving universal Koszulity under a dominating-clique hypothesis. For composita, Kummer theory and the norm-residue theorem yield a graph criterion from restriction images and degree-two cup-product relations, verified for iterated Laurent-series fields with nonzero mixed symbols. In a nonabelian RAAG family, every finite \(p\)-extension has explicitly determined universally Koszul cohomology, with \[ G_L(p)\cong F_{1+q(d-1)}\times\mathbb Z_p^s.\]
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。