A constrained BRST–BV Lagrangian formulation for totally symmetric massless HS fields in a d-dimensional Minkowski space is extended to a non-minimal constrained BRST–BV Lagrangian formulation by using a non-minimal BRST operator $Q_{c|\mathrm{tot}}$ with non-minimal Hamiltonian BFV oscillators $\bar{C},\bar{\mathcal{P}},\lambda ,\pi$, as well as antighost and Nakanishi-Lautrup tensor fields, in order to introduce an admissible self-consistent gauge condition. The gauge-fixing procedure involves an operator gauge-fixing BRST-BFV Fermion ${\mathrm{\Psi }}_H$ as a kernel of the gauge-fixing BRST–BV Fermion functional Ψ, manifesting the concept of BFV–BV duality. A Fock-space quantum action with non-minimal BRST-extended off-shell constraints is constructed as a shift of the total generalized field-antifield vector by a variational derivative of the gauge-fixing Fermion Ψ in a total BRST–BV action $S_{0|s}^{\mathrm{\Psi }}=\int d{\eta }_0〈{\chi }_{\mathrm{tot}|c}^{\mathrm{\Psi }0}\left|Q_{c|\mathrm{tot}}\right|{\chi }_{\mathrm{tot}|c}^{\mathrm{\Psi }0}〉$. We use a gauge condition which depends on two gauge parameters, thereby extending the case of $R_{\xi }$-gauges. For triplet and doublet formulations we explored the representations with only traceless field-antifield and source variables. For the generating functionals of Green's functions, BRST symmetry transformations are suggested and Ward identities are obtained.

d维Minkowski空间中完全对称无质量HS场的约束BRST–BV拉格朗日公式通过使用非最小BRST算符扩展为非最小约束BRST–BV拉格朗日公式${问}_{C|\mathrm{小孩}}$ 非最小哈密顿BFV振荡器 $\stackrel{〜}{C}，\stackrel{〜}{\mathcal{P}}，\lambda ，\pi$，以及antighost和Nakanishi-Lautrup张量字段，以引入允许的自洽量规条件。量规固定程序涉及操作员量规固定BRST-BFV Fermion${\mathrm{\Psi }}_H$作为固定轨距的BRST–BV Fermion函数kernel的核心，体现了BFV–BV对偶性的概念。具有非最小BRST扩展的脱壳约束的Fock-空间量子作用是通过总BRST-BV作用中的轨距固定费米翁ion的变分导数构造的，作为总的广义场-反场矢量的位移${\mathrm{小号}}_{0|s}^{\mathrm{\Psi }}=\int d{\eta }_0〈{\chi }_{\mathrm{小孩}|C}^{\mathrm{\Psi }0}\left|{问}_{C|\mathrm{小孩}}\right|{\chi }_{\mathrm{小孩}|C}^{\mathrm{\Psi }0}〉$。我们使用取决于两个量规参数的量规条件，从而扩展了${\mathrm{[R}}_{\xi }$-量规。对于三重态和双重态公式，我们仅使用无痕场反场和源变量探索表示形式。对于格林函数的生成函数，提出了BRST对称变换并获得了Ward身份。