5
votes
2answers
630 views

derived critical locus

I am looking for discussion in the literature that properly formalizes the heuristic idea that a BV-BRST complex is a model for the "derived critical locus of a function on an $\infty$-Lie algebroid". ...