通过Gröbner基的Taylor与Lyubeznik消解
交换代数
2007-05-23 v1 代数几何
摘要
Taylor给出了任意单项理想的显式消解。后来，Lyubeznik发现已有一个子复形定义了一个消解。我们证明Taylor消解可通过Gröbner基理论中Schreyer定理的反复应用得到，而Lyubeznik消解则是Buchberger链判准则的后果。最后，我们将Froberg关于Taylor复形的收缩同伦与相对于我们的Gröbner基的正规形相联系，并用它导出一个导致Lyubeznik复形的分裂同伦。
引用
@article{arxiv.math/0208246,
title = {Taylor and Lyubeznik Resolutions via Grobner Bases},
author = {Werner M. Seiler},
journal= {arXiv preprint arXiv:math/0208246},
year = {2007}
}
备注
14 pages, to appear in Journal of Symbolic Computation