可约Noether恒等式的反域Koszul-Tate复形
The antifield Koszul-Tate complex of reducible Noether identities
摘要：
一般退化拉格朗日系统的偶数和奇数字段检查代数方面的格拉斯曼分次变分双复形。它的Euler-Lagrange算子服从Noether恒等式，这些恒等式不需要是独立的，但满足第一级Noether恒等式，等等.我们证明，如果一定的充要条件成立，可以把退化Lagrange系统的精确Koszul-Tate复形与边界算子联系起来，边界算子的幂零性条件重新启动其所有的Noether恒等式和高级Noether恒等式.这个复合体提供了一个足够的分析的退化的拉格朗日系统的BV量子化的目的。
英文摘要：
A generic degenerate Lagrangian system of even and odd fields is examined in algebraic terms of the Grassmann-graded variational bicomplex. Its Euler-Lagrange operator obeys Noether identities which need not be independent, but satisfy first-stage Noether identities, and so on. We show that, if a certain necessary and sufficient condition holds, one can associate to a degenerate Lagrangian system the exact Koszul-Tate complex with the boundary operator whose nilpotency condition restarts all its Noether and higher-stage Noether identities. This complex provides a sufficient analysis of the degeneracy of a Lagrangian system for the purpose of its BV quantization.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
