{S}_{\text{gf}}$ and assume that the background field theory is gauge-fixed in the way just explained.

Background-preserving canonical transformations
-----------------------------------------------

It is useful to characterize the most general canonical transformations $\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu },K,{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }\rightarrow \Phi ^{\prime },{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu }^{\prime },K^{\prime },{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }^{\prime }$ that preserve the background field master equations (\[treide\]) and the basic properties of $\hat{S}$ and $\bar{S}$.

By definition, all canonical transformations preserve the antiparentheses, so (\[treide\]) are turned into $$\llbracket \hat{S}^{\prime },\hat{S}^{\prime }\rrbracket ^{\prime }=\llbracket \hat{S}^{\prime },\bar{S}^{\prime }\rrbracket ^{\prime }=\llbracket \bar{S}^{\prime },\bar{S}^{\prime }\rrbracket ^{\prime }=0.
\label{tretre}$$ Moreover, $\hat{S}^{\prime }$ should be ${\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }^{\prime }$ and ${\mkern2mu\underline{\mkern-2mu\smash{C}\mkern-2mu}\mkern2mu }^{\prime }$ independent, while $\bar{S}$ should be invariant, because it encodes the background transformations. This means $$\bar{S}^{\prime }(\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu },K,{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu })=\bar{S}(\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2
{ S}_{\text{gf}}$ and assume that the background field theory is bore - situate in the way just excuse. 

 backdrop - preserving canonical transformation 
 ----------------------------------------------- 

 It is utilitarian to characterize the most general canonical transformations $ \Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi } \mkern-2mu}\mkern2mu }, K,{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu } \rightarrow \Phi ^{\prime }, { \mkern2mu\underline{\mkern-2mu\smash{\Phi } \mkern-2mu}\mkern2mu } ^{\prime }, K^{\prime }, { \mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu } ^{\prime } $ that keep the background field victor equations (\[treide\ ]) and the basic properties of $ \hat{S}$ and $ \bar{S}$. 

 By definition, all canonical transformations preserve the antiparentheses, so (\[treide\ ]) are sour into $ $ \llbracket \hat{S}^{\prime }, \hat{S}^{\prime } \rrbracket ^{\prime } = \llbracket \hat{S}^{\prime }, \bar{S}^{\prime } \rrbracket ^{\prime } = \llbracket \bar{S}^{\prime }, \bar{S}^{\prime } \rrbracket ^{\prime } = 0. 
 \label{tretre}$$ Moreover, $ \hat{S}^{\prime } $ should be $ { \mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu } ^{\prime } $ and $ { \mkern2mu\underline{\mkern-2mu\smash{C}\mkern-2mu}\mkern2mu } ^{\prime } $ independent, while $ \bar{S}$ should be invariant, because it encode the background transformations. This mean $ $ \bar{S}^{\prime } (\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi } \mkern-2mu}\mkern2mu }, K,{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }) = \bar{S}(\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi } \mkern-2
{S}_{\tedt{gf}}$ and assume that the background field theocy is gzuge-fixea in the way just explained.

Beckgeound-kgeserving canonical tfansformanions
-----------------------------------------------

It iw ustful to charactermae the most gskeral ranonical transnormations $\[hi,{\mkern2mu\undeslknz{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu },K,{\mkewn2mu\undrrpine{\mkern-2mu\smafh{K}\mlqrn-2mh}\mkern2mu }\rightarrow \Phi ^{\prime },{\mkerh2mu\undegline{\mkern-2mu\smash{\Lhi }\mkern-2mu}\mkern2mu }^{\prime },K^{\orimf },{\mkern2mu\underline{\lkern-2mu\smasy{K}\mkqen-2mu}\mkern2mu }^{\orime }$ thau 'reserve thg background field master equatiuns (\[txeide\]) and tye badhc propertixs of $\rat{S}$ and $\bar{S}$.

By defitition, sll canonical branshormqtions preserve the aitiparentheses, so (\[trgide\]) are tgrued into $$\llbracket \har{S}^{\prime },\hat{V}^{\priow }\rfbrzclef ^{\primf }=\lmbracket \hzt{S}^{\prime },\bae{S}^{\prime }\rrbracket ^{\ptiiv }=\llbracket \bzr{S}^{\priie },\bar{S}^{\prime }\rrbracket ^{\prime }=0.
\label{tretre}$$ Korsover, $\hat{S}^{\prime }$ should be ${\mkern2mu\underline{\mnern-2mu\smafh{K}\mkern-2mu}\mkern2mu }^{\prime }$ and ${\mkern2mu\underline{\mkert-2mu\smesf{C}\mjevn-2mu}\ojegn2mu }^{\prime }$ independent, while $\bar{S}$ should be yhvsrpant, because it ekcodes the backgroinf ytansformations. This meahs $$\bar{S}^{\prime }(\Phi,{\mkfrn2mu\unqerlibe{\mkern-2mu\fmasn{\Phi }\mkern-2mu}\mkern2mu },K,{\mkern2my\underline{\mkvrn-2my\smash{K}\mkern-2mu}\mkeru2mu })=\bar{S}(\Phi,{\myern2ku\undrrline{\mkern-2mu\smash{\Phi }\myern-2
{S}_{\text{gf}}$ and assume that the background field gauge-fixed the way explained. Background-preserving canonical to the most general transformations $\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu }\rightarrow \Phi ^{\prime },{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu }^{\prime },{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }^{\prime }$ that preserve the background field master equations (\[treide\]) and the properties of $\hat{S}$ and $\bar{S}$. By definition, all canonical transformations preserve the antiparentheses, (\[treide\]) turned $$\llbracket },\hat{S}^{\prime }\rrbracket ^{\prime }=\llbracket \hat{S}^{\prime },\bar{S}^{\prime }\rrbracket ^{\prime }=\llbracket \bar{S}^{\prime },\bar{S}^{\prime }\rrbracket ^{\prime }=0. \label{tretre}$$ Moreover, }$ should be ${\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }^{\prime }$ and ${\mkern2mu\underline{\mkern-2mu\smash{C}\mkern-2mu}\mkern2mu }$ independent, while $\bar{S}$ be invariant, because it encodes background This means }(\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi },K,{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }\mkern-2
{S}_{\text{gf}}$ and assume that the baCkground fiEld thEorY is GaUge-fIxed In the way just exPLainEd.

Background-preserving CanonIcAL traNSfOrmatIons
-----------------------------------------------

It iS UsEFUl tO cHaRacTeRIzE the mOst General Canonical tRanSfOrmations $\Phi,{\MKeRn2mu\underlIne{\Mkern-2mu\smash{\phi }\Mkern-2mU}\mKerN2Mu },K,{\mkErn2Mu\undErline{\MKern-2mu\Smash{K}\mkeRn-2MU}\mkern2MU }\rightaRROw \phi ^{\pRime },{\mkern2mu\underlINe{\MKern-2mu\smash{\Phi }\Mkern-2mU}\mKErN2MU }^{\prIme },k^{\prime },{\mkerN2mU\undeRLine{\mkeRN-2mU\SMAsh{k}\Mkern-2mu}\mkern2mU }^{\prime }$ that pREseRve the BaCkgROund fiEld maStER eqUations (\[treiDe\]) anD the basic ProperTIes of $\haT{s}$ and $\bar{s}$.

By defIniTioN, all CAnOnIcaL tRAnsFOrMatIOns Preserve ThE aNtipaRentHESES, so (\[tReiDe\]) arE turnEd into $$\llbrackEt \hAt{S}^{\pRIme },\Hat{S}^{\pRime }\rRbraCkEt ^{\priMe }=\llbrAcket \HaT{S}^{\prime },\bar{S}^{\primE }\rrbRacket ^{\priMe }=\lLbRacKeT \bar{S}^{\PRime },\baR{S}^{\pRimE }\rrbracKet ^{\primE }=0.
\LabEl{TRETrE}$$ Moreover, $\hat{S}^{\prime }$ ShOULd Be ${\mkern2mU\underLInE{\mKErn-2mu\smaSh{k}\mkErn-2mU}\MKern2mU }^{\priME }$ aNd ${\mkern2mU\underLInE{\mKern-2mu\sMaSh{C}\mkeRn-2Mu}\mKerN2mu }^{\prIMe }$ inDependEnt, while $\Bar{S}$ sHOuld be invarianT, Because it encoDEs THE bACkgrOunD transformaTionS. this MeanS $$\BaR{S}^{\pRIme }(\PhI,{\mkerN2mU\UnDErline{\mkern-2mu\smash{\PHi }\Mkern-2mU}\mkerN2mu },K,{\mkern2mu\unDerline{\mkeRN-2MU\smash{K}\mKern-2MU}\mKErn2mu })=\bar{S}(\Phi,{\mkErn2mu\Underline{\mKErn-2mu\smaSh{\Phi }\Mkern-2
{S}_{\text{gf}}$ and assum e that the  back gro und  f ield  the ory is gauge-f i xedin the way just explai ned.
B a ckgr o un d-pre serving ca n o nic al  t ran sf o rm ation s
- ------- ---------- --- -- ------------ - -- ---------
It  is useful t o c haract er ize the m ost  gene ral ca n onical  transfor ma t ions $ \ Phi,{\m k e rn 2mu\ underline{\mkern- 2 mu \ smash{\Phi }\m kern-2 mu } \m k e rn2 mu},K,{\mker n2 mu\un d erline{ \ mk e r n -2m u \smash{K}\mke rn-2mu}\mke r n2m u }\ri gh tar r ow \Ph i ^{\ pr i me},{\mkern2m u\un derline{\ mkern- 2 mu\smas h {\Phi } \mkern -2m u}\ mker n 2m u}^{ \p r ime }, K^{ \ pri me },{\m ke rn 2mu\u nder l i n e {\mk ern -2mu \smas h{K}\mkern-2m u}\ mker n 2mu  }^{\ prime  }$th at pr eserve  theba ckground fieldmast er equati ons  ( \[t re ide\] )  and t hebas ic prop ertieso f $ \h a t { S} $ and $\bar{S}$.
By d ef inition,  all c a no ni c al trans fo rma tion s prese rvet he  antipar enthes e s,  s o (\[tr ei de\])ar e t urn ed in t o $$ \llbra cket \ha t{S}^ { \prime },\hat{ S }^{\prime }\r r br a c ke t  ^{\ pri me }=\llbra cket \hat {S}^ { \p rim e  },\b ar{S} ^{ \ pr i me }\rrbracket ^{\p ri me }=\ llbra cket \bar{S}^ {\prime }, \ b a r{S}^{\p rime }\ r rbracket ^{\pr ime } =0.
\label { tretre}$ $ Mor eover, $ \hat{S}^{ \ p rime }$sho uld  be  ${ \ m ke rn2mu\underli n e {\mk er n-2mu\s mas h{K}\mk ern -2m u}\ mke rn 2mu }^{\p rime }$an d${ \m ker n2mu\ u nderline {\ mke rn -2m u\sma s h{C}\m kern- 2mu} \m ke r n2m u }^{\p r im e }$ i nd ep ende nt,  w hile$\ba r {S} $ shoul d be inva ria n t, b ec au se it e ncodes the ba ck ground tra ns for mation s .  This me ans $$\bar{S}^{\prime } ( \Phi,{\ mke rn2mu \und erline{\m ker n-2mu\ sma s h{\Phi  }\mke rn-2m u} \mk e r n2mu} , K, {\m ke rn2mu\unde r l ine {\mke rn -2mu \smash{ K}\mkern-2mu}\mker n 2mu  })=\bar{S}(\ Phi ,{\m k e rn 2mu \ un d erl in e {\m k e rn-2mu\smash{\P hi }\mkern -2 
{S}_{\text{gf}}$ and_assume that_the background field theory_is gauge-fixed_in_the way_just_explained.

Background-preserving canonical transformations
-----------------------------------------------

It_is useful to_characterize the most general_canonical transformations $\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi_}\mkern-2mu}\mkern2mu_},K,{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }\rightarrow \Phi ^{\prime },{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu }^{\prime },K^{\prime },{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu }^{\prime }$ that preserve the_background_field master_equations_(\[treide\])_and the basic properties of_$\hat{S}$ and $\bar{S}$.

By definition, all_canonical transformations_preserve the antiparentheses, so (\[treide\]) are turned into_$$\llbracket_\hat{S}^{\prime },\hat{S}^{\prime }\rrbracket_^{\prime }=\llbracket \hat{S}^{\prime },\bar{S}^{\prime }\rrbracket ^{\prime }=\llbracket \bar{S}^{\prime },\bar{S}^{\prime_}\rrbracket ^{\prime }=0.
\label{tretre}$$ Moreover, $\hat{S}^{\prime }$_should be ${\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu_}^{\prime_}$_and ${\mkern2mu\underline{\mkern-2mu\smash{C}\mkern-2mu}\mkern2mu }^{\prime }$_independent, while $\bar{S}$ should be invariant,_because it encodes the background transformations._This means $$\bar{S}^{\prime }(\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi }\mkern-2mu}\mkern2mu },K,{\mkern2mu\underline{\mkern-2mu\smash{K}\mkern-2mu}\mkern2mu })=\bar{S}(\Phi,{\mkern2mu\underline{\mkern-2mu\smash{\Phi_}\mkern-2