Questions about BRST formalism and BV formalism This is from Pierre J. Clavier and Viet Dang Nguyen's paper Batalin-Vilkovisky formalism as a theory of integration for polyvectors.
In section 2.3, it states:

A symmetry is said to be open when it is fulfilled only on-shell, that is on the critical domain of the action $S_0$, i.e. on the submanifold of the configuration space where the fields are solutions to the usual equations of motion. The archetypal example of a physical theory with open symmetries is supergravity without auxiliary fields. As first noticed in this article, when working in a theory with open symmetries we might end up with quartic ghost terms in the gauge-fixed Lagrangian.
In the Faddeev–Popov formalism, ghosts are interpreted as fermionic variables coming from the restriction of the domain of integration. This restriction is performed with delta functions, and brings a determinant, written as an integral over fermionic variables: the ghosts. Therefore we do not have many freedom on the ghost terms that can be treated in the Faddeev–Popov formalism.
In particular, quartic terms are not allowed, thus the Faddeev–Popov formalism is not adapted to the treatment of theories with open symmetries.

Question 1:
Why it says "quartic terms are not allowed" in Faddeev-Popov formalism?
My understanding is that in Faddeev-Popov formalism, ghost terms only preform as integral variables and have form $\langle \bar{c}, FP(x) c \rangle$ in Lagrangian, where $FP(x)$ is the Faddeev-Popov determinant, so there won't be higher order ghost term. Is this correct?
Question 2:
Is there other example for this: when working in a theory with open symmetries, we might end up with quartic ghost terms in the gauge-fixed Lagrangian?
I can't get an access to that article, and I wonder if there are some real cases where you will indeed have higher order ghost term.
 A: I) On one hand, the Faddeev-Popov (FP) formalism assumes that

*

*The gauge algebra is "irreducible", meaning that there are not higher levels of gauge-symmetries among the gauge generators. This is aka. gauge-for-gauge symmetry.


*The gauge algebra closes off-shell.
If the gauge-fixing conditions do not depend on ghosts, then the FP action is quadratic in the ghosts $c$ & $\bar{c}$.
II) On the other hand, the Batalin-Vilkovisky (BV) formalism [1] also works for reducible & open gauge algebras:

*

*Reducible gauge algebra typically leads to multiple FP determinants. BF theories & abelian $p$-form theories are typical examples.


*The hallmark of an open gauge algebra is a term in the BV action of the form $$\int\!d^dx~\varphi^{\ast}_i\varphi^{\ast}_j ~E^{ji}_{ba}(\varphi)~c^ac^b,$$ which in its gauge-fixed form becomes quartic in the ghosts $c$ & $\bar{c}$. SUGRA, Green-Schwarz superstring & the superparticle are examples of an open gauge algebra [3].
References:

*

*I.A. Batalin & G.A. Vilkovisky, Gauge Algebra and Quantization, Phys. Lett. B 102 (1981) 27–31.


*M. Henneaux & C. Teitelboim, Quantization of Gauge Systems, 1994.


*M. Henneaux, Lectures on the antifield-BRST formalism for gauge theories, Nucl. Phys. B  Proc. Suppl. 18 (1990) 47.


*J. Gomis, J. Paris & S. Samuel, Antibracket, Antifields and Gauge-Theory Quantization, arXiv:hep-th/9412228.
A: Question 1:

Why it says "quartic terms are not allowed" in Faddeev-Popov
formalism?

Well it's not that they are not allowed, but rather that the FP procedure will not generate such terms, and furthermore that there exist theories where such terms are warranted (see below). Your observation is correct.
Question 2:

when working in a theory with open symmetries, we might end up with
quartic ghost terms in the gauge-fixed Lagrangian?

Yes, there exist such examples. Most famously closed bosonic string field theory is of this form. I recommend the freely available review by Gomis et al. which discusses string field theory in this context. There is also a canonical textbook
"Quantization of Gauge Systems"
by Marc Henneaux and Claudio Teitelboim.
Both of these should have other examples as well.
