Degenerate Poisson algebras and derived Poisson degeneracy loci

TL;DR

This paper introduces a new operad controlling degenerate Poisson structures on derived schemes, proving its existence and providing explicit resolutions to understand their algebraic properties.

Contribution

It constructs and explicitly describes the operad al P_1^{\u2264 m} that governs m-degenerate Poisson structures on derived algebras, advancing the understanding of Poisson degeneracy loci.

Findings

Existence of the operad al P_1^{\u2264 m} is proven.

An explicit simplicial resolution of the operad is provided.

The operad is shown to reside in non-positive cohomological degrees and its zeroth cohomology is computed.

Abstract

This paper originated as an attempt to answer a question: what are the natural derived structures on Poisson degeneracy loci? We argue that the question could be possibly answered via a construction of differential graded operads that ``naturally'' act on the degeneracy loci. For each $m \ge 0$, we suggest what looks like a reasonable condition for a Poisson structure on a commutative differential graded algebra to be $m$-degenerate, i.e. to ``have rank $\le 2m$''. That condition will turn out to be a universal property of the operad that controls such Poisson algebras; we denote that operad $\mathbb{P}_1^{\le m}$. We prove that the operad $\mathbb{P}_1^{\le m}$ does in fact exist, and we write an explicit simplicial resolution of it. The latter, in particular, will allow us to show that $\mathbb{P}_1^{\le m}$ sits in non-positive cohomological degrees and to compute $H^0(\mathbb{P}_1^{\le m})$.