Im ersten Teil dieser Dissertation untersuchen wir Formfaktoren von allgemeinen eichinvarianten lokalen zusammengesetzten Operatoren in der N=4 Super-Yang-Mills-Theorie bei verschiedenen Schleifenordnungen und Anzahlen externer Felder. Wir zeigen, wie Masseschalen-Methoden zu ihrer Berechnung genutzt werden können, und extrahieren aus ihnen insbesondere den Dilatationsoperator. Wir untersuchen auch die Eigenschaften der zugehörigen Rückstandsfunktionen. Des Weiteren verallgemeinern wir Masseschalen-Diagramme, Graßmann-Integrale und die integrabilitätsinspirierte Technik der R-Operatoren zur Anwendung auf Formfaktoren, wobei wir uns auf das Beispiel des chiralen Teils des Energie-Impuls-Tensors konzentrieren. Im zweiten Teil untersuchen wir die Beta- und die Gamma-i-Deformation. Bei diesen handelt es sich um die allgemeinste supersymmetrische beziehungsweise nicht-supersymmetrische feldtheoretische Deformation von N=4 Super-Yang-Mills-Theorie, welche auf der Ebene des asymptotischen Bethe-Ansatzes integrabel sind. Hierbei tritt ein neuer Effekt der endlichen Systemgröße auf, der durch Doppelspurstrukturen in der deformierten Lagrange-Dichte hervorgerufen wird und den wir Vorwickeln nennen. Während die Beta-Deformation für sich an ihren nicht-verschwindenden IR-Fixpunkten befindliche Doppelspurkopplungen konform invariant ist, weist die Gamma-i-Deformation rennende Doppelspurkopplungen ohne Fixpunkte auf, was die konforme Invarianz selbst im planaren Limes bricht. Nichtsdestotrotz erlaubt die Gamma-i-Deformation hochgradig nicht-triviale Tests der Integrabilität bei beliebig hohen Schleifenordnungen. / In the first part of this thesis, we study form factors of general gauge-invariant local composite operators in N=4 super Yang-Mills theory at various loop orders and for various numbers of external legs. We show how to use on-shell methods for their calculation and in particular extract the dilatation operator from the result. We also investigate the properties of the corresponding remainder functions. Moreover, we extend on-shell diagrams, a Graßmannian integral formulation and an integrability-based construction via R-operators to form factors, focussing on the chiral part of the stress-tensor supermultiplet as an example. In the second part, we study the beta- and the gamma-i-deformation, which were respectively shown to be the most general supersymmetric and non-supersymmetric field-theory deformations of N=4 super Yang-Mills theory that are integrable at the level of the asymptotic Bethe ansatz. For these theories, a new kind of finite-size effect occurs, which we call prewrapping and which emerges from double-trace structures that are required in the deformed Lagrangians. While the beta-deformation is conformal when the double-trace couplings are at their non-trivial IR fixed points, the gamma-i-deformation has running double-trace couplings without fixed points, which break conformal invariance even in the planar theory. Nevertheless, the gamma-i-deformation allows for highly non-trivial field-theoretic tests of integrability at arbitrarily high loop orders.

In dieser Dissertationsschrift werden Amplituden in QFTs und CFTs studiert. Zunächst wird mittels der »double copy«-Methode gezeigt, inwiefern Integranden von Gravitationsamplituden aus Integranden von Eichtheorien gewonnen werden können. Um diese Methode anzuwenden, bedarf es einer konkreten Darstellung der Eichtheorieintegranden, sodass die kinematischen Faktoren des Integranden die gleichen algebraischen Relationen erfüllen wie die Strukturkonstanten der Eichtheorie. Mithilfe dieser Methode werden Vierpunktsamplituden in N = 0 Supergravitation gekoppelt mit Yang-Mills in erster Ordnung der Störungsreihe berechnet, welche als asymptotische Zustände Gravitonen oder Gluonen positiver Helizität enthalten. Das Analogon der Amplituden in konform invarianten Theorien, genannt Mellinamplituden, wird anschließend im zweiten Teil diskutiert. Nicht nur durch ihre Beschreibung als Funktionen »lorentzinvarianter« Variablen, welche durch eine Art »LSZ-Reduktion« gewonnen werden, weisen Mellinamplituden eine formal heuristische Ähnlichkeit zu Amplituden auf, sondern auch können alle physikalischen Größen einer CFT aus ihnen berechnet werden. D.h., ebenso wie Amplituden einen Streuprozess vollständig charakterisieren, ist eine CFT eindeutig über ihre Mellinamplituden festgelegt. Fermionische Mellinamplituden wurden zum ersten Mal, in der Veröffentlichung worauf diese Dissertationsschrift basiert, studiert. Jede Komponente der fermionischen Mellinamplituden ist einer bestimmen Tensorstruktur zugeordnet, deren Polstruktur im einzelnen diskutiert wird. Es werden die analytische Eigenschaften der fermionischen Mellinamplituden der gemischten Vierpunktskorrelationsfunktion von zwei Fermionen und Skalaren, sowie von vier Fermionen studiert und darauffolgend werden diese Resultate durch störungstheoretische Rechnungen bei schwacher und starker Kopplung bestätigt. / In this thesis, amplitudes in QFT and CFT are studied. In the first chapter a modern technique to obtain integrands for gravity theories from gauge theory integrands is discussed. This formalism is called the doubly copy method and it can be applied if the gauge theory integrand is given in a specific representation where the kinematic numerator factors obey the same algebraic relations as the colour factors, e.g. the Jacobi identity. This method is applied to obtain the positive helicity sector of amplitudes in N = 0 supergravity coupled to Yang-Mills with external gravitons and gluons at one loop. Only the special case of four external particles is studied. Partial results are also obtained for pure Einstein-Yang-Mills amplitudes, where the axion and dilaton as virtual particles have been removed. In the second chapter, the natural analogue of amplitudes in CFTs is studied. These mathematical objects are called Mellin amplitudes. Mellin amplitudes can be understood as the CFT analogue of QFT amplitudes, because they are functions of “Lorentz invariant” quantities of their “momenta”. In addition all the CFT data is encoded in the Mellin amplitudes as all the data of a scattering process is included in usual amplitudes. The study of fermionic Mellin amplitudes has been carried out for the first time in the associated publication. These Mellin amplitudes have several components each associated to a certain tensor structure. The analytic properties of fermionic Mellin amplitudes corresponding to mixed four fermion-scalar conformal correlators and four fermion conformal correlators are deduced and finally these general results are confirmed by explicit perturbative calculations at weak and strong coupling.

Die maximal supersymmetrische Yang-Mills-Theorie im vierdimensionalen Minkowski-Raum ist ein außergewöhnliches Modell der mathematischen Physik. Dies gilt vor allem im planaren Limes, in dem die Theorie integrabel zu sein scheint. So sind etwa ihre Streuamplituden auf Baumgraphenniveau Invarianten einer Yangschen Algebra, die die superkonforme Algebra psu(2,2|4) beinhaltet. Diese unendlichdimmensionale Symmetrie ist ein Kennzeichen für Integrabilität. In dieser Dissertation untersuchen wir Verbindungen zwischen solchen Amplituden und integrablen Modellen, um Grundlagen für eine effiziente, auf der Integrabilität basierende Berechnung von Amplituden zu legen. Dazu charakterisieren wir Yangsche Invarianten innerhalb der Quanten-Inverse-Streumethode, die Werkzeuge zur Behandlung integrabler Spinketten bereitstellt. In diesem Rahmen entwickeln wir Methoden zur Konstruktion Yangscher Invarianten. Wir zeigen, dass der algebraische Bethe-Ansatz für die Erzeugung von Yangschen Invarianten für u(2) anwendbar ist. Die zugehörigen Bethe-Gleichungen lassen sich leicht lösen. Unser Zugang erlaubt es zudem diese Invarianten als Zustandssummen von Vertexmodellen zu interpretieren. Außerdem führen wir ein unitäres Graßmannsches Matrixmodell zur Berechnung Yangscher Invarianten mit Oszillatordarstellungen von u(p,q|m) ein. In einem Spezialfall reduziert es sich zu dem Brezin-Gross-Witten-Model. Wir wenden eine auf Bargmann zurückgehende Integraltransformation auf unser Matrixmodell an, welche die Oszillatoren in Spinor-Helizitäts-artige Variablen überführt. Dadurch gelangen wir zu einer Weiterentwicklung der Graßmann-Integralformulierung bestimmter Amplituden. Die maßgeblichen Unterschiede sind, dass wir in der Minkowski-Signatur arbeiten und die Integrationskontur auf die unitäre Gruppenmannigfaltigkeit festgelegt ist. Wir vergleichen durch unser Integral gegebene Yangsche Invarianten mit Amplituden und kürzlich eingeführten Deformationen derselben. / The maximally supersymmetric Yang-Mills theory in four-dimensional Minkowski space is an exceptional model of mathematical physics. Even more so in the planar limit, where the theory is believed to be integrable. In particular, the tree-level scattering amplitudes were shown to be invariant under the Yangian of the superconformal algebra psu(2,2|4). This infinite-dimensional symmetry is a hallmark of integrability. In this dissertation we explore connections between these amplitudes and integrable models. Our aim is to lay foundations for an efficient integrability-based computation of amplitudes. To this end, we characterize Yangian invariants within the quantum inverse scattering method, which is an extensive toolbox for integrable spin chains. Making use of this setup, we develop methods for the construction of Yangian invariants. We show that the algebraic Bethe ansatz can be specialized to yield Yangian invariants for u(2). Our approach also allows to interpret these Yangian invariants as partition functions of vertex models. What is more, we establish a unitary Graßmannian matrix model for the construction of u(p,q|m) Yangian invariants with oscillator representations. In a special case our formula reduces to the Brezin-Gross-Witten model. We apply an integral transformation due to Bargmann to our unitary Graßmannian matrix model, which turns the oscillators into spinor helicity-like variables. Thereby we are led to a refined version of the Graßmannian integral formula for certain amplitudes. The most decisive differences are that we work in Minkowski signature and that the integration contour is fixed to be a unitary group manifold. We compare Yangian invariants defined by our integral to amplitudes and recently introduced deformations thereof.

Inspiriert von den integrablen Strukturen der schwach gekoppelten planaren N=4 Super-Yang-Mills-Theorie studieren wir Q-Operatoren und Yangsche Invarianten. Wir geben eine Übersicht der Quanten-Inverse-Streumethode zusammen mit der Yang-Baxter Gleichung welche zentral für diesen systematischen Zugang zu integrablen Modellen ist. Den Fokus richten wir auf rationale integrable Spinketten und Vertexmodelle. Wir besprechen einige ihrer bekannten Gemeinsamkeiten und wie sie durch Bethe-Ansatz-Methoden mit Hilfe sogenannter Q-Funktionen gelöst werden können. Der Hauptteil basiert auf den ursprünglichen Publikationen des Autors. Zuerst konstruieren wir Q-Operatoren, deren Eigenwerte zu den Q-Funktionen rationaler homogener Spinketten führen. Die Q-Operatoren werden als Spuren gewisser Monodromien von R-Operatoren eingeführt. Unsere Konstruktion erlaubt es uns die Hierarchie der kommutierenden Q-Operatoren und ihre funktionalen Beziehungen herzuleiten. Wir studieren wie der nächste-Nachbarn Hamiltonoperator, sowie höhere lokale Ladungen direkt aus den Q-Operatoren extrahiert werden können. Danach widmen wir uns der Formulierung der Yangschen Invarianzbedingung, wie sie auch im Zusammenhang mit Baumgraphen die bei der Berechnung von Streuamplituden in der N=4 Super-Yang-Mills-Theorie auftreten, innerhalb der RTT-Realisierung. Dies erlaubt es uns den algebraischen Bethe-Ansatz anzuwenden und die dazugehörigen Bethe Gleichungen herzuleiten, welche für die Konstruktion der Eigenzustände die Yangsche Invarianz aufweisen, relevant sind. Die Komponenten dieser Eigenzustände der von uns betrachteten Spinketten können außerdem als Zustandssummen gewisser zweidimensionaler Vertexmodelle angesehen werden. Zudem analysieren wir die Verbindung zwischen den Eigenzuständen und den oben genannten Baumgraphen. Schlussendlich diskutieren wir die von uns vorgelegten Ergebnisse und deren Folgen im Hinblick auf die Erforschung der planaren N=4 Super-Yang-Mills-Theorie. / Inspired by the integrable structures appearing in weakly coupled planar N=4 super Yang-Mills theory, we study Q-operators and Yangian invariants of rational integrable spin chains. We review the quantum inverse scattering method QISM along with the Yang-Baxter equation which is the key relation in this systematic approach to study integrable models. Our main interest concerns rational integrable spin chains and lattice models. We recall the relation among them and how they can be solved using Bethe ansatz methods incorporating so-called Q-functions. In order to remind the reader how the Yangian emerges in this context, an overview of its so-called RTT-realization is provided. The main part is based on the author''s original publications. Firstly, we construct Q-operators whose eigenvalues yield the Q-functions for rational homogeneous spin chains. The Q-operators are introduced as traces over certain monodromies of R-operators. Our construction allows us to derive the hierarchy of commuting Q-operators and the functional relations among them. We study how the nearest-neighbor Hamiltonian and in principle also higher local charges can be extracted from the Q-operators directly. Secondly, we formulate the Yangian invariance condition, also studied in relation to scattering amplitudes of N=4 super Yang-Mills theory, in the RTT-realization. We find that Yangian invariants can be interpreted as special eigenvectors of certain inhomogeneous spin chains. This allows us to apply the algebraic Bethe ansatz and derive the corresponding Bethe equations that are relevant to construct the invariants. We examine the connection between the Yangian invariant spin chain eigenstates whose components can be understood as partition functions of certain two-dimensional lattice models and tree-level scattering amplitudes of the four-dimensional gauge theory. Finally, we conclude and discuss some future directions and implications of our studies for planar N=4 super Yang-Mills theory.

Diese Arbeit untersucht die N = 4 super-Yang-Mills-Theorie bei schwacher Kopplung, mit dem Ziel eines tieferen Verständnisses von Größen der Theorie als Zustände des integrablen Modells dass der planaren Theorie zu Grunde liegt. Wir leiten On-Shell-Diagramme für Formfaktoren des chiralen Energie-Impuls-Tensor-Multipletts aus der BCFW-Rekursion her, und untersuchen deren Eigenschaften. Dies erlaubt die Herleitung eines Graßmannschen Integrals. Für NMHV-Formfaktoren bestimmen wir die Integrationskontur. Dies erlaubt es das Integral mit einer Twistor-String-Formulierung in Beziehung zu setzen. Mit Hilfe dieser Methoden zeigen wir dass Formfaktoren des chiralen Energie-Impuls-Tensor-Multipletts und On-Shell-Funktionen mit Einfügungen beliebiger Operatoren Eigenzustände integrabler Transfermatrizen sind. Diese Identitäten verallgemeinern die Yangsche Invarianz der On-Shell-Funktionen von Amplituden. Wir zeigen weiterhin dass ein Teil der Yangschen Symmetrien erhalten bleibt. Wir erweitern unsere Untersuchung auf nichtplanare On-Shell-Funktionen und zeigen dass sie ebenfalls solche Symmetrien besitzen. Weitere Identitäten mit Transfermatrizen werden hergeleitet, und zeigen insbesondere dass Diagramme auf Zylindern als Intertwiner fungieren. Als Schritt hin zur Berechnung der Eigenzustände des integrablen Modells zu höheren Schleifenordnungen untersuchen wir Einspuroperatoren. Hier erlaubt die Quantum Spectral Curve die nichtperturbative Berechnung ihres Spektrums, liefert jedoch keine Information zu den Zustände. Die QSC kann als Q-System verstanden werden, welches durch Baxter Q-Operatoren formulierbar sein sollte. Um darauf hinzuarbeiten untersuchen wir die Q-Operatoren nichtkompakter Superspinketten und entwickeln ein effiziente Methode zur Berechnung ihrer Matrixelemente. Dies erlaubt es das gesamte Q-System durch Matrizen für jeden Anregungssektor zu realisieren, und liefert die Grundlage für perturbative Rechnungungen mit der QSC in Operatorform. / This thesis investigates weakly coupled N = 4 super Yang-Mills theory, aiming at a better understanding of various quantities as states of the integrable model underlying the planar theory. We use the BCFW recursion relations to develop on-shell diagrams for form factors of the chiral stress-tensor multiplet, and investigate their properties. The diagrams allow to derive a Graßmannian integral for these form factors. We devise the contour of this integral for NMHV form factors, and use this knowledge to relate the integral to a twistor string formulation. Based on these methods, we show that both form factors of the chiral stress-tensor multiplet as well as on-shell functions with insertions of arbitrary operators are eigenstates of integrable transfer matrices. These identities can be seen as symmetries generalizing the Yangian invariance of amplitude on-shell functions. In addition, a part of these Yangian symmetries are unbroken. We furthermore consider nonplanar on-shell functions and prove that they exhibit a partial Yangian invariance. We also derive identities with transfer matrices, and show that on-shell diagrams on cylinders can be understood as intertwiners. To make progress towards the calculation of the higher loop eigenstates of the integrable model, we consider single trace operators, for which the Quantum Spectral Curve determines their spectrum non-perturbatively. This formulation however carries no information about the states. The QSC is an algebraic Q-system, for which an operatorial form in terms of Baxter Q-operators should exist. To initiate the development such a formulation we investigate the Q-operators of non-compact super spin chains and devise efficient methods to evaluate their matrix elements. This allows to obtain the entire Q-system in terms of matrices for each magnon sector. These can be used as input data for perturbative calculations using the QSC in operatorial form.

In dieser Dissertation werden Aspekte von superkonformen Quantenfeldtheorien untersucht, die für die sogenannte AdS/CFT Korrespondenz relevant sind. Die AdS/CFT Korrespondenz beschreibt eine Dualität zwischen Stringtheorien im Anti-de Sitter Raum und superkonformen Quantenfeldtheorien im Minkowskiraum. In diesem Kontext wurde die sog. Wilsonschleifen / Amplituden Dualität entdeckt, die die Übereinstimmung von n-Gluon MHV Amplituden und n-seitigen polygonalen Wilsonschleifen in der N=4 supersymmetrischen Yang-Mills (SYM) Theorie beschreibt. Im ersten Teil dieser Dissertation wird die Wilsonschleifenseite einer solchen möglichen Dualität in der N=6 superkonformen Chern-Simons (ABJM) Theorie untersucht. Das Hauptergebnis dieser Untersuchungen ist, dass der Erwartungswert der n-seitigen polygonalen Wilsonschleifen auf Einschleifenebene verschwindet, während er auf Zweischleifenebene in seiner funktionalen Form identisch zu der analogen Wilsonschleife in N=4 SYM auf Einschleifenniveau ist. Außerdem wird eine anomale konforme Wardidentität für Wilsonschleifen in Chern-Simons Theorie berechnet. Zudem werden die damit im Zusammenhang stehenden Entwicklungen für Amplituden und Korrelatoren in der ABJM Theorie diskutiert. Im zweiten Teil dieser Dissertation werden Dreipunktfunktionen von zwei geschützten Operatoren und einem Twist-Zwei Operator mit beleibigem Spin j in der N=4 SYM Theorie berechnet. Dafür werden die Indizes des Spin j Operators auf den Lichtkegel projiziert und der Korrelator wird in einem Grenzfall untersucht in dem der Impuls der bei dem Spin j Operator einfließt verschwindet. Dieser Grenzfall vereinfacht die perturbative Berechnung erheblich, da alle Dreipunktdiagramme effektiv auf Zweipunktdiagramme reduziert werden und die Abhängigkeit der Mischungsmatrix auf Einschleifenebene herausfällt. Das Ergebnis stimmt mit der Analyse der Operatorproduktentwicklung von Vierpunktfunktionen geschützter Operatoren von Dolan und Osborn aus dem Jahre 2004 überein. / In this thesis aspects of superconformal field theories that are of interest in the so-called AdS/CFT correspondence are investivated. The AdS/CFT correspondence states a duality between string theories living on Anti-de Sitter space and superconformal quantum field theories in Minkowski space. In the context of the AdS/CFT correspondence the so-called Wilson loop / amplitude duality was discovered, stating the equality of the finite parts of n-gluon MHV amplitudes and n-sided lightlike polygonal Wilson loops in N=4 supersymmetric Yang-Mills (SYM) theory. It is the subject of the first part of this thesis to investigate the Wilson loop side of a possible similar duality in N=6 superconformal Chern-Simons matter (ABJM) theory. The main result is, that the expectation value of n-sided lightlike polygonal Wilson loops vanishes at one-loop order and at two-loop order is identical in its functional form to the Wilson loop in N=4 SYM theory at one-loop order. Furthermore, an anomalous conformal Ward identity for Wilson loops in Chern-Simons theory is derived. Related developments and symmetries of amplitudes and correlators in ABJM theory are discussed as well. In the second part of this thesis we calculate three-point functions of two protected operators and one twist-two operator with arbitrary even spin j in N =4 SYM theory. In order to carry out the calculations, the indices of the spin j operator are projected to the light-cone and the correlator is evaluated in a soft-limit where the momentum coming in at the spin j operator becomes zero. This limit largely simplifies the perturbative calculation, since all three-point diagrams effectively reduce to two-point diagrams and the dependence on the one-loop mixing matrix drops out completely. The result is in agreement with the analysis of the operator product expansion of four-point functions of half-BPS operators by Dolan and Osborn in 2004.

Wir studieren die perturbative Quantisierung von Eichtheorien und Gravitation. Unsere Untersuchungen beginnen mit der Geometrie von Raumzeiten und Teilchenfeldern. Danach diskutieren wir die verschiedenen Lagrangedichten in der Kopplung der (effektiven) Quanten-Allgemeinen-Relativitätstheorie zum Standardmodell. Desweiteren studieren wir den zugehörigen BRST-Doppelkomplex von Diffeomorphismen und Eichtransformationen. Danach wenden wir Connes--Kreimer-Renormierungstheorie auf die perturbative Feynmangraph-Entwicklung an: In dieser Formulierung werden Subdivergenzen mittels des Koprodukts einer Hopfalgebra strukturiert und die Renormierungsoperation mittels einer algebraischen Birkhoff-Zerlegung beschrieben. Dafür verallgemeinern und verbessern wir bekannte Koprodukt-Identitäten und ein Theorem von van Suijlekom (2007), das (verallgemeinerte) Eichsymmetrien mit Hopfidealen verbindet. Insbesondere lässt sich unsere Verallgemeinerung auf Gravitation anwenden, wie von Kreimer (2008) vorgeschlagen. Darüberhinaus sind unsere Resultate anwendbar auf Theorien mit mehreren Vertexresuiden, Kopplungskonstanten und ebensolchen mit einer transversalen Struktur. Zusätzlich zeigen wir Kriterien für die Kompatibilität dieser Hopfideale mit Feynmanregeln und dem gewählten Renormierungsschema. Als nächsten Schritt berechnen wir die entsprechenden Gravitations-Materie Feynmanregeln für alle Vertexvalenzen und mit einem allgemeinen Eichparameter. Danach listen wir alle Propagator- und dreivalenten Vertex-Feynmanregeln auf und berechnen die entsprechenden Kürzungsidentitäten. Abschließend stellen wir geplante Folgeprojekte vor: Diese schließen eine Verallgemeinerung von Wigners Klassifikation von Elementarteilchen für linearisierte Gravitation ein, ebenso wie die Darstellung von Kürzungsidentitäten mittels Feynmangraph-Kohomologie und eine Untersuchung der Äquivalenz verschiedener Definitionen des Gravitonfeldes. Insbesondere argumentieren wir, dass das richtige Setup um perturbative BRST-Kohomologie zu studieren eine differentialgraduierte Hopfalgebra ist. / We study the perturbative quantization of gauge theories and gravity. Our investigations start with the geometry of spacetimes and particle fields. Then we discuss the various Lagrange densities of (effective) Quantum General Relativity coupled to the Standard Model. In addition, we study the corresponding BRST double complex of diffeomorphisms and gauge transformations. Next we apply Connes--Kreimer renormalization theory to the perturbative Feynman graph expansion: In this framework subdivergences are organized via the coproduct of a Hopf algebra and the renormalization operation is described as an algebraic Birkhoff decomposition. To this end, we generalize and improve known coproduct identities and a theorem of van Suijlekom (2007) that relates (generalized) gauge symmetries to Hopf ideals. In particular, our generalization applies to gravity, as was suggested by Kreimer (2008). In addition, our results are applicable to theories with multiple vertex residues, coupling constants and such with a transversal structure. Additionally, we also provide criteria for the compatibility of these Hopf ideals with Feynman rules and the chosen renormalization scheme. We proceed by calculating the corresponding gravity-matter Feynman rules for any valence and with a general gauge parameter. Then we display all propagator and three-valent vertex Feynman rules and calculate the respective cancellation identities. Finally, we propose planned follow-up projects: This includes a generalization of Wigner's classification of elementary particles to linearized gravity, the representation of cancellation identities via Feynman graph cohomology and an investigation on the equivalence of different definitions for the graviton field. In particular, we argue that the appropriate setup to study perturbative BRST cohomology is a differential-graded Hopf algebra.