{"docId":241,"paperId":241,"url":"https:\/\/dmtcs.episciences.org\/241","doi":"10.46298\/dmtcs.241","journalName":"Discrete Mathematics & Theoretical Computer Science","issn":"","eissn":"1365-8050","volume":[{"vid":68,"name":"Vol. 1"}],"section":[],"repositoryName":"Hal","repositoryIdentifier":"hal-00955694","repositoryVersion":1,"repositoryLink":"https:\/\/hal.science\/hal-00955694v1","dateSubmitted":"2015-03-26 16:17:05","dateAccepted":"2015-06-09 14:44:58","datePublished":"1997-01-01 08:00:00","titles":{"en":"BRST Charge and Poisson Algebras"},"authors":["Caprasse, H."],"abstracts":{"en":"An elementary introduction to the classical version of gauge theories is made. The shortcomings of the usual gauge fixing process are pointed out. They justify the need to replace it by a global symmetry: the BRST symmetry and its associated BRST charge. The main mathematical steps required to construct it are described. The algebra of constraints is, in general, a nonlinear Poisson algebra. In the nonlinear case the computation of the BRST charge by hand is hard. Itis explained how this computation can be made algorithmic. The main features of a recently created BRST computer algebra program are described. It can handle quadratic algebras very easily. Its capability to compute the BRST charge as a formal power series in the generic case of a cubic algebra is illustrated."},"keywords":[["guage theory"],["BRST symmetry"],"[INFO.INFO-DM] Computer Science [cs]\/Discrete Mathematics [cs.DM]"]}