Die vorliegende Arbeit beschäftigt sich mit der Höhe (-log Determinante) kompakter nicht-singulärer heisenbergartiger Nilmannigfaltigkeiten. Heisenbergartige Nilmannigfaltigkeiten sind Verallgemeinerungen von Heisenbergmannigfaltigkeiten, d.h., kompakter Quotienten der Heisenberg-Gruppe, ausgestattet mit einer linksinvarianten Metrik. Zunächst werden explizite Formeln für die spektrale Zeta-Funktion und die Höhe bewiesen. Mithilfe dieser Formeln werden im Weiteren mehrere Resultate zur Existenz unterer Schranken/Minima der Höhe auf verschiedenen Moduli bewiesen. Zum Beispiel ist die Höhe stets von unten beschränkt, wenn man nur Metriken vom Heisenberg-Typ und mit Volumen 1 auf einer gegebenen Nilmannigfaltigkeit betrachtet. Im Gegensatz dazu hängt die Existenz unterer Schranken für die Höhe auf dem Modulraum der heisenbergartigen Metriken mit Volumen 1 von der Dimension Modulo 4 der zugrundeliegenden Mannigfaltigkeit ab. Im letzten Abschnitt werden konkrete Minima der Höhe behandelt. Wir zeigen, dass gewisse 3-, 5-, 9- und 25-dimensionale Nilmannigfaltigkeiten vom Heisenberg-Typ lokale Minima sind. Diese stehen in Zusammenhang mit den Minima der Höhe flacher Tori in der jeweiligen Dimension minus 1. Zum Abschluss werden diejenigen linksinvarianten Metriken charakterisiert, an denen die Höhe ein globales Minimum auf einer gegebenen dreidimensionalen Nilmannigfaltigkeit annimmt, indem sie zur Höhe flacher 2-dimensionaler Tori in Bezug gesetzt werden. / This thesis deals with the height (-log determinant) of compact nonsingular Heisenberg-like nilmanifolds. Heisenberg-like nilmanifolds are generalisations of Heisenberg manifolds, i.e., compact quotients of the Heisenberg group endowed with a left invariant metric. First, an explicit formula for the spectral zeta-function and the height is proved. By means of these formulas, several results concerning the existence of lower bounds/minima for the height on different moduli are proved. For example, while the height is always bounded from below when one considers only volume normalised Heisenberg-type metrics on a fixed nilmanifold, the existence of lower bounds for the height on the moduli space of volume normalised Heisenberg-like metrics depends on the dimension modulo 4 of the underlying nilmanifold. In the last part, we consider concrete minima of the height on Heisenberg manifolds. We show that certain 3-, 5-, 9- and 25-dimensional Heisenberg-type nilmanifolds are (local) minima for the height. These nilmanifolds are related to the minima of the height of flat tori in dimensions one less. Finally, the left invariant metrics at which the height attains a global minimum on any three-dimensional nilmanifold are characterised by relating them to the height of flat 2-dimensional tori.

Wir untersuchen und berechnen Welleninvarianten von Schrödinger-Operatoren, die auf Schnitte von Hermiteschen Geradenbündeln über flachen Tori gerader Dimension wirken. Die Schrödinger-Operatoren werden aus einem translationsinvarianten Zusammenhang des Bündels sowie einem Potential, d.h. einer glatten Funktion auf dem Torus, konstruiert. Wir beschränken uns auf Bündel mit nichtentarteter Chern-Klasse und untersuchen, in welchem Umfang das Spektrum eines Schrödinger-Operators mit gegebenem Potential den Zusammenhang bestimmt. Wir berechnen die ersten fünf Welleninvarianten explizit mittels des Computeralgebrasystems Mathematica. Für einfache Potentiale erhalten wir eine vollständige Charakterisierung der Isospektralität der translationsinvarianten Zusammenhänge. Weiterhin werden allgemeine Eigenschaften der Welleninvarianten bewiesen, welche allgemeinere Aussagen über die Existenz nichtisospektraler Zusammenhänge implizieren. Andererseits ergeben sich Erkenntnisse über die Grenzen der spektralen Information, die in endlich vielen Welleninvarianten enthalten ist. Negative spektrale Ergebnisse, d.h. Unterschiede in den Zusammenhängen, die nicht durch das Spektrum bestimmt werden, werden durch die Konstruktion von Transplantationen zwischen den Schrödinger-Operatoren zweier Zusammenhänge bei gleichem Potential bewiesen. / We study and compute wave invariants of Schrödinger operators acting on sections of Hermitian line bundles over even-dimensional flat tori. The Schrödinger operators are constructed from translation-invariant connections on the bundle and a potential, a smooth function on the torus. Restricting to bundles with nondegenerate Chern class we study the extent to which the spectrum of the Schrödinger operator of a given potential determines the connection. The first five wave invariants are computed explicitly using the computer algebra software Mathematica. For simple potentials we find a full characterization of the isospectrality of the translation-invariant connections. We also prove general properties of the wave invariants, which imply a more general existence of nonisospectral connections but which also show limitations of the spectral information contained within finitely many wave invariants. Negative spectral results, i.e. differences in connections not determined by spectra, are obtained by constructing transplantations between the Schrödinger operators of two connections with a fixed potential.

In dieser Arbeit untersuchen wir Varietäten singulärer, quadratischer Hyperflächen, die eine projektive Kurve enthalten, und effektive Divisoren im Modulraum von Kurven, die mittels verschiedener Eigenschaften von quadratischen Hyperflächen definiert werden. In Kapitel 2 berechnen wir die Klasse des effektiven Divisors im Modulraum von Kurven mit Geschlecht g und n markierten Punkten, der als der Ort von solchen markierten Kurven definiert ist, dass das Projektion der kanonischen Abbildung der Kurve von den markierten Punkten auf einer quadratischen Hyperfläche liegt. Mithilfe dieser Klasse zeigen wir, dass die Modulräume mit Geschlecht 16, 17 und 8 markierten Punkten Varietäten von allgemeinem Typ sind. In Kapitel 3 stratifizieren wir den Raum von quadratischen Hyperflächen, die eine projektive Kurve enthalten, mithilfe des Rangs dieser Hyperflächen. Wir zeigen, dass jedes Stratum die erwartete Dimension hat, falls die Kurve ein allgemeines Element des Hilbertschemas ist. Mit Rücksicht auf Rang von quadratischen Hyperflächen, eine ähnliche Konstruktion wie in Kapitel 2 ergibt neue Divisoren im Modulraum von Kurven. Wir berechnen die Klasse von diesen Divisoren und zeigen, dass der Modulraum von Kurven mit Geschlecht 15 und 9 markierten Punkten eine Varietät von allgemeinem Typ ist. In Kapitel 4 präsentieren wir unterschiedliche Resultate, die mit Themen von vorigen Kapiteln im Zusammenhang stehen. Zum Ersten berechnen wir die Klasse von Divisoren im Modulraum von Kurven, die als die Orte von Kurven definiert sind, wo die maximale Rang Vermutung nicht gilt. Zweitens zeigen wir, dass jedes Geradenbündel als Tensorprodukt von zwei Geradenbündeln mit zwei Schnitten geschrieben werden kann, falls die Kurve allgemein ist und eine gewisse numerische Bedingung erfüllt ist. Zuletzt benutzen wir bekannte Divisorklassen zu zeigen, dass der Modulraum von Kurven mit Geschlecht 12 und 10 markierten Punkten eine Varietät von allgemeinem Typ ist. / In this thesis, we study varieties of singular quadrics containing a projective curve and effective divisors in the moduli space of pointed curves defined via various constructions involving quadric hypersurfaces. In Chapter 2, we compute the class of the effective divisor in the moduli space of n-pointed genus g curves, which is defined as the locus of pointed curves such that the projection of the canonical model of the curve from the marked points lies on a quadric hypersurface. Using this class, we show that the moduli spaces of 8-pointed genus 16 and 17 curves are varieties of general type. In Chapter 3, we stratify the space of quadrics that contain a given curve in the projective space, using the ranks of the quadrics. We show, in a certain numerical range, that each stratum has the expected dimension if the curve is general in its Hilbert scheme. By incorporating the datum of the rank of quadrics, a similar construction as the one in Chapter 2 yields new divisors in the moduli space of pointed curves. We compute the class of these divisors and show that the moduli space of 9-pointed genus 15 curves is a variety of general type. In Chapter 4, we present miscellaneous results, which are related with our main work in the previous chapters. Firstly, we consider divisors in the moduli space of genus g curves, which are defined as the failure locus of maximal rank conjecture for hypersurfaces of degree greater than two. We illustrate three examples of such divisors and compute their classes. Secondly, using the classical correspondence between rank 4 quadrics and pencils on curves, we show that the map that associates to a pair of pencils their tensor product in the Picard variety is surjective, when the curve is general and obvious numerical assumptions are satisfied. Finally, we use divisor classes, that are already known in the literature, to show that the moduli space of 10-pointed genus 12 curves is a variety of general type.

In dieser Dissertation untersuchen wir das Verhalten von Schrödinger-Operatoren unter Riemannschen Überlagerungen. Wir betrachten folgende Situation: Sei eine Riemannsche Überlagerung und ein Schrödinger-Operator S mit glattem, von unten beschränktem Potential auf der Basismannigfaltigkeit gegeben. Sei S‘ der Lift von S auf die Überlagerungsmannigfaltigkeit. Man sieht leicht, dass das Minimum des Spektrums von S nicht größer als das Minimum des Spektrums von S‘ ist. R. Brooks hat als erster untersucht, wann die Gleichheit gilt. Er bewies insbesondere, dass eine normale Riemannsche Überlagerung einer geschlossenen Mannigfaltigkeit genau dann amenabel ist, wenn sie das Minimum des Spektrums des Laplace-Operators unverändert lässt. Zusammen mit W. Ballmann und H. Matthiesen bewiesen wir, dass amenable Riemannsche Überlagerungen immer das Minimum des Spektrums von Schrödinger-Operatoren erhalten; dies verallgemeinert Resultate von R. Brooks sowie von P. Bérard und Ph. Castillon. In dieser Dissertation beweisen wir, dass im Fall vollständiger Mannigfaltigkeiten das Spektrum von S im Spektrum von S‘ enthalten ist. Tatsächlich beweisen wir diese Beziehung sogar für eine deutlich größere Klasse von Differentialoperatoren. Obwohl Amenabilität eine natürliche Bedingung für die Gleichheit der Minima der Spektren ist, ist es unklar, inwieweit diese Bedingung optimal ist. In dieser Dissertation beweisen wir: Wenn eine Riemannsche Überlagerung das Minimum des Spektrums eines Schrödinger-Operators erhält, und wenn dieses zum diskreten Spektrum des Operators auf der Basismannigfaltigkeit gehört, dann ist die Überlagerung amenabel. Man beachte, dass wir keinerlei geometrische oder topologische Bedingungen an die Mannigfaltigkeiten stellen. Dies verallgemeinert sowohl frühere Resultate von R. Brooks, T. Roblin und S. Tapie als auch ein kürzliches Resultat aus einer gemeinsamen Arbeit mit W. Ballmann und H. Matthiesen. / In this thesis, we investigate the behavior of the spectrum of Schrödinger operators under Riemannian coverings. To set the stage, consider a Riemannian covering and a Schrödinger operator S on the base manifold, with smooth potential bounded from below potential. Let S’ be the lift of S on the covering space. It is easy to see that the bottom (that is, the minimum) of the spectrum of S is no greater than the bottom of the spectrum of S’. R. Brooks was the first one to examine when the equality holds. In particular, he proved that a normal Riemannian covering of a closed manifold is amenable if and only if it preserves the bottom of the spectrum of the Laplacian. Generalizing former results of R. Brooks, and P. Berard and Ph. Castillon, in a joint work with W. Ballmann and H. Matthiesen, we proved that amenable Riemannian coverings preserve the bottom of the spectrum of Schrödinger operators. In this thesis, we prove that if, in addition, the manifolds are complete, then the spectrum of S is contained in the spectrum of S’. As a matter of fact, we establish this result for a quite wide class of differential operators. Although amenability is a natural assumption for the preservation of the bottom of the spectrum, it is not clear to what extent it is optimal. In this thesis, we prove that if a Riemannian covering preserves the bottom of the spectrum of a Schrödinger operator, which belongs to the discrete spectrum of the operator on the base manifold, then the covering is amenable. It is worth to point out that we do not impose any geometric or topological assumptions on the manifolds. This generalizes former results by R. Brooks, T. Roblin and S. Tapie, and a recent result of a joint work with W. Ballmann and H. Matthiesen.

In dieser Doktorarbeit untersuchen wir einige Modulräume der Prym-Paaren, Prym-Varietäten und Spin-Kurven. Nachdem der passende theoretische Rahmen eingeführt wird, erhalten wir neue Ergebnisse zu zwei verschiedenen Aspekten ihrer Geometrie, die wir in zwei entsprechenden Kapiteln beschreiben. In Kapitel 1 betrachten wir die universelle Prym-Varietät über dem Modulraum R_g der Prym-Paaren vom Geschlecht g und bestimmen ihre Unirationalität für g=3. Dazu bilden wir eine explizite rationale Parametrisierung der universellen 2-fachen Prym-Kurve über R_3, die die universelle Prym-Varietät durch die globale Version der Abel-Prym-Abbildung dominiert. Darüber hinaus passen wir den Beweis an den Rahmen von Nikulin-Flächen an und zeigen, dass die universelle doppelte Nikulin-Fläche ebenfalls unirational ist. In Kapitel 2 untersuchen wir die Wechselwirkung zwischen R_g und dem Modulraum S_g der (stabilen) Spin-Kurven vom Geschlecht g. Wenn man den Divisor der Kurven, die mit einem verschwindenden Thetanull ausgestattet sind, von S_g^+ nach R_g versetzt, erhält man zwei geometrische Divisoren der (stabilen) Prym-Kurven mit einem verschwindenden Thetanull. Wir verwenden Testkurventechniken, um die Klassen dieser (Prym-Null-)Divisoren für g>=5 zu berechnen, und werten die Prymnull-Klassen auf einigen weiteren Familien von Kurven aus, um ihre verschwindenden Thetanulls zu analysieren. Darüber hinaus diskutieren wir am Ende von Kapitel 2 eine mögliche Kompaktifizierung des Modulraums der Kurven, die eine doppelte Quadratwurzel tragen. Anschließend untersuchen wir den Rand des Modulraums RS_g der (stabilen) Prym-Spin-Kurven vom Geschlecht g und überprüfen die Prymnull-Klassen anhand des Diagramms R_g<--RS_g-->S_g. Zum Schluss schlagen wir eine Erweiterung des Produkts von Wurzeln, das über glatten Kurven durch das Tensorprodukt definiert ist, zu einer Operation auf stabilen Doppelwurzeln vor. / In this thesis, we study several moduli spaces of Prym pairs, Prym varieties, and spin curves. After the appropriate theoretical framework is introduced, we obtain new results concerning two different aspects of their geometry, which we describe across two corresponding chapters. In Chapter 1, we consider the universal Prym variety over the moduli space R_g of Prym pairs of genus g, and determine its unirationality for g=3. To do this, we build an explicit rational parametrization of the universal 2-fold Prym curve over R_3, which dominates the universal Prym variety through the global version of the Abel-Prym map. Furthermore, we adapt the proof to the setting of Nikulin surfaces and show that the universal double Nikulin surface is also unirational. In Chapter 2, we explore the interaction between R_g and the moduli space S_g of (stable) spin curves of genus g. When the divisor of curves equipped with a vanishing theta-null is moved from S_g^+ to R_g, it yields two geometric divisors of (stable) Prym curves with a vanishing theta-null. We use test curve techniques to compute the classes of these (Prym-null) divisors for g>=5, and evaluate the Prym-null classes on some more families of curves in order to analyse their vanishing theta-nulls. In addition, at the end of Chapter 2 we discuss a potential compactification of the moduli space of curves carrying a double square root. We then examine the boundary of the moduli space RS_g of (stable) Prym-spin curves of genus g and check the Prym-null classes against the diagram R_g<--RS_g-->S_g. Finally, we propose an extension of the product of roots, defined over smooth curves by the tensor product, to an operation on stable double roots.

In dieser Arbeit beschäftigen wir uns mit Spektralinvarianten von Polygonen und geschlossenen Orbiflächen konstanter Gaußkrümmung. Unsere Methode ist es jeweils den Wärmeleitungskern und die asymptotische Entwicklung der Wärmespur zu untersuchen. Als erstes untersuchen wir hyperbolische Polygone, d.h. relativ kompakte Gebiete in der hyperbolischen Ebene mit stückweise geodätischem Rand. Wir berechnen die asymptotische Entwicklung der Wärmespur bezüglich des Dirichlet-Laplace Operators eines beliebigen hyperbolischen Polygons, und wir erhalten explizite Formeln für alle Wärmeinvarianten. Analoge Resultate für euklidische und sphärische Polygone waren vorher bekannt. Wir vereinheitlichen diese Resultate und leiten die Wärmeinvarianten für beliebige Polygone her, d.h. für relativ kompakte Gebiete mit stückweise geodätischem Rand in einer vollständigen Riemann'schen Mannigfaltigkeit konstanter Gaußkrümmung. Es stellt sich heraus, dass die Wärmeinvarianten viele Informationen über ein Polygon liefern, falls die Krümmung nicht verschwindet. Zum Beispiel sind dann die Multimenge aller echten Winkel (d.h. derjenigen Winkel die ungleich Pi sind) und die Euler-Charakteristik eines Polygons Spektralinvarianten. Außerdem berechnen wir die asymptotische Entwicklung der Wärmespur von geschlossenen Riemann'schen Orbiflächen konstanter Krümmung und erhalten explizite Formeln für alle Wärmeinvarianten. Falls die Krümmung nicht verschwindet, so kann man interessante Informationen aus den Wärmeinvarianten über die Topologie und die singuläre Menge einer Orbifläche ermitteln. / In this thesis we deal with spectral invariants for polygons and closed orbisurfaces of constant Gaussian curvature. In each case our method is to study the heat kernel and the asymptotic expansion of the heat trace. First, we investigate hyperbolic polygons, i.e. relatively compact domains in the hyperbolic plane with piecewise geodesic boundary. We compute the asymptotic expansion of the heat trace associated to the Dirichlet Laplacian of any hyperbolic polygon, and we obtain explicit formulas for all heat invariants. Analogous results for Euclidean and spherical polygons were known before. We unify these results and deduce the heat invariants for arbitrary polygons, i.e. for relatively compact domains with piecewise geodesic boundary contained in a complete Riemannian manifold of constant Gaussian curvature. It turns out that the heat invariants provide much information about a polygon, if the curvature does not vanish. For example, then the multiset of all real angles (i.e. those which are not equal to pi) and the Euler characteristic of a polygon are spectral invariants. Furthermore, we compute the asymptotic expansion of the heat trace for any closed Riemannian orbisurface of constant curvature, and obtain explicit formulas for all heat invariants. If the curvature does not vanish, then it is possible to detect interesting information about the topology and the singular set of an orbisurface from the heat invariants.

Diese Dissertation untersucht Aspekte des Zusammenspiels von ergodischem Langzeitver- halten und der Glättungseigenschaft dynamischer Systeme, die von stochastischen Differen- tialgleichungen (SDEs) mit Sprüngen erzeugt sind. Im Speziellen werden SDEs getrieben von Lévy-Prozessen und der Marcusschen kanonischen Gleichung untersucht. Ein vari- ationeller Ansatz für den Malliavin-Kalkül liefert eine partielle Integration, sodass eine Variation im Raum in eine Variation im Wahrscheinlichkeitsmaß überführt werden kann. Damit lässt sich die starke Feller-Eigenschaft und die Existenz glatter Dichten der zuge- hörigen Markov-Halbgruppe aus einer nichtstandard Elliptizitätsbedingung an eine Kom- bination aus Gaußscher und Sprung-Kovarianz ableiten. Resultate für Sprungdiffusionen auf Untermannigfaltigkeiten werden aus dem umgebenden Euklidischen Raum hergeleitet. Diese Resultate werden dann auf zufällige dynamische Systeme angewandt, die von lin- earen stochastischen Differentialgleichungen erzeugt sind. Ruelles Integrierbarkeitsbedin- gung entspricht einer Integrierbarkeitsbedingung an das Lévy-Maß und gewährleistet die Gültigkeit von Oseledets multiplikativem Ergodentheorem. Damit folgt die Existenz eines Lyapunov-Spektrums. Schließlich wird der top Lyapunov-Exponent über eine Formel der Art von Furstenberg–Khasminsikii als ein ergodisches Mittel der infinitesimalen Wachs- tumsrate über die Einheitssphäre dargestellt. / The present thesis investigates certain aspects of the interplay between the ergodic long time behavior and the smoothing property of dynamical systems generated by stochastic differential equations (SDEs) with jumps, in particular SDEs driven by Lévy processes and the Marcus’ canonical equation. A variational approach to the Malliavin calculus generates an integration-by-parts formula that allows to transfer spatial variation to variation in the probability measure. The strong Feller property of the associated Markov semigroup and the existence of smooth transition densities are deduced from a non-standard ellipticity condition on a combination of the Gaussian and a jump covariance. Similar results on submanifolds are inferred from the ambient Euclidean space. These results are then applied to random dynamical systems generated by linear stochas- tic differential equations. Ruelle’s integrability condition translates into an integrability condition for the Lévy measure and ensures the validity of the multiplicative ergodic theo- rem (MET) of Oseledets. Hence the exponential growth rate is governed by the Lyapunov spectrum. Finally the top Lyapunov exponent is represented by a formula of Furstenberg– Khasminskii–type as an ergodic average of the infinitesimal growth rate over the unit sphere.

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.