In dieser Arbeit wird das Fraïssé-Hrushowskis Amalgamationsverfahren in Zusammenhang mit nilpotenten graduierten Lie Algebren über einem endlichen Körper untersucht. Die Prädimensionen die in der Konstruktion auftauchen sind mit dem gruppentheoretischen Begriff der Defizienz zu vergleichen, welche auf homologische Methoden zurückgeführt werden kann. Darüber hinaus wird die Magnus-Lazardsche Korrespondenz zwischen den oben genannten Lie Algebren und nilpotenten Gruppen von Primzahl-Exponenten beschrieben. Dabei werden solche Gruppen durch die Baker-Haussdorfsche Formel in den entsprechenden Algebren definierbar interpretiert. Es wird eine omega-stabile Lie Algebra von Nilpotenzklasse 2 und Morleyrang omega + omega erhalten, indem man eine unkollabierte Version der von Baudisch konstruierten "new uncountably categorical group" betrachtet. Diese wird genau analysiert. Unter anderem wird die Unabhängigkeitsrelation des Nicht-Gabelns durch die Konfiguration des freien Amalgams charakterisiert. Mittels eines induktiven Ansatzes werden die Grundlagen entwickelt, um neue Prädimensionen für Lie Algebren der Nilpotenzklassen größer als zwei zu schaffen. Dies erweist sich als wesentlich schwieriger als im Fall 2. Wir konzentrieren uns daher auf die Nilpotenzklasse 3, als Induktionsbasis des oben genannten Prozesses. In diesem Fall wird die Invariante der Defizienz auf endlich erzeugte Lie Algebren adaptiert. Erstes Hauptergebnis der Arbeit ist der Nachweis dass diese Definition zu einem vernüftigen Begriff selbst-genügender Erweiterungen von Lie Algebren führt und sehr nah einer gewünschten Prädimension im Hrushovskischen Sinn ist. Wir zeigen – als zweites Hauptergebnis – ein erstes Amalgamationslemma bezüglich selbst-genügender Einbettungen. / In this work, the so called Fraïssé-Hrushowski amalgamation is applied to nilpotent graded Lie algebras over the p-elements field with p a prime. We are mainly concerned with the uncollapsed version of the original process. The predimension used in the construction is compared with the group theoretical notion of deficiency, arising from group Homology. We also describe in detail the Magnus-Lazard correspondence, to switch between the aforementioned Lie algebras and nilpotent groups of prime exponent. In this context, the Baker-Hausdorff formula allows such groups to be definably interpreted in the corresponding algebras. Starting from the structures which led to Baudisch’ new uncountably categorical group, we obtain an omega-stable Lie algebra of nilpotency class 2, as the countable rich Fraïssé limit of a suitable class of finite Lie algebras. We study the theory of this structure in detail: we show its Morley rank is omega+omega and a complete description of non-forking independence is given, in terms of free amalgams. In a second part, we develop a new framework for the construction of deficiency-predimensions among graded Lie algebras of nilpotency class higher than 2. This turns out to be considerably harder than the previous case. The nil-3 case in particular has been extensively treated, as the starting point of an inductive procedure. In this nilpotency class, our main results concern a suitable deficiency function, which behaves for many aspects like a Hrushovski predimension. A related notion of self-sufficient extension is given. We also prove a first amalgamation lemma with respect to self-sufficient embeddings.

Es sei Γ eine torsionsfreie arithmetische Untergruppe der symplektischen Gruppe Sp(n,R), die auf dem Siegelschen oberen Halbraum H_n vom Grad n wirkt. Wir betrachten den d-dimensionalen Raum der Siegelschen Spitzenformen vom Gewicht k zur Gruppe Γ, mit einer Orthonormalbasis {f_1,…,f_d}. In der vorliegenden Dissertation zeigen wir mit Hilfe des Wärmeleitungskerns, dass die Supremumsnorm von S_k(Z):=det(Y)^k (|f_1(Z)|^2+…+|f_d(Z)|^2) (Z∈H_n) für n=2 ohne zusätzliche Bedingungen und für n>2 unter Annahme einer vermuteten Determinanten-Ungleichung nach oben beschränkt ist. Wenn M:=Γ\H_n kompakt ist, dann ist die obere Schranke durch c_(n,Γ) k^{n(n+1)/2} gegeben. Wenn M nicht kompakt und von endlichem Volumen ist, dann ist die obere Schranke durch c_(n,Γ) k^{3n(n+1)/4} gegeben. In beiden Fällen ist c_(n,Γ) eine positive reelle Konstante, die nur vom Grad n und der Gruppe Γ abhängt. Wir zeigen weiter, dass die obere Schranke in dem Sinne gleichmäßig ist, dass bei fixierter Gruppe Γ_0 die Konstante c_(n,Γ) für Untergruppen Γ von endlichem Index nur vom Grad n und der Gruppe Γ_0 abhängt. / Let Γ be a torsion-free arithmetic subgroup of the symplectic group Sp(n,R) acting on the Siegel upper half-space H_n of degree n. Consider the d-dimensional space of Siegel cusp forms of weight k for Γ with an orthonormal basis {f_1,…,f_d}. In this thesis we show using the heat kernel method that for n=2 unconditionally and for n>2 subject to a conjectural determinant-inequality, the sup-norm of the quantity S_k(Z):=det(Y)^k (|f1(Z)|^2+…+|f_d(Z)|^2) (Z∈H_n) is bounded above by c_(n,Γ) k^{n(n+1)/2} when M:=Γ\H_n is compact and by c_(n,Γ) k^{3n(n+1)/4} when M is non-compact of finite volume, where c_(n,Γ) denotes a positive real constant depending only on the degree n and the group Γ. Furthermore, we show that this bound is uniform in the sense that if we fix a group Γ_0 and take Γ to be a subgroup of Γ_0 of finite index, then the constant c_(n,Γ) in these bounds depends only on the degree n and the fixed group Γ_0.