Functional equations of polylogarithms in motivic cohomology

For an infinite field F, we study the integral relationship between the Bloch group B_2(F) and the higher Chow group CH^2(F,3) by proving some relations corresponding to the functional equations of the dilogarithm. As a second result, the groups involved in Suslin’s exact sequence 0 → Tor^1(F^× ,F^×)∼ → CH^2(F,3) → B_2(F) → 0 are identified with homology groups of the cycle complex Z^2(F,•) computing Bloch’s higher Chow groups. Using these results, we give explicit cycles in motivic cohomology generating the integral motivic cohomology groups of some specific number fields and determine whether a given cycle in the Chow group already lives in one of the other groups of Suslin’s sequence. In principle, this enables us to find a presentation of the codimension two Chow group of an arbitrary number field. Finally, we also prove some relations in the higher Chow groups of codimension three modulo 2-torsion coming from relations in the higher Bloch group B_3(F) modulo 2-torsion. Further, we can prove a series of relations in CH^ 3(Q(zeta_p),5) for a primitive pth root of unity zeta_p.

A commutative higher cycle map into Deligne-Beilinson cohomology

Das Ziel dieser Arbeit ist die Konstruktion eines Homomorphismus von partiell definierten, graduiert-kommutativen Algebren, der nach Ubergang zu rationalen Kohomologiegruppen mit der Regulatorabbildung reg zwischen motivischer und Deligne-Beilinson Kohomologie übereinstimmt.rnZu Beginn der Arbeit werden verschiedene Komplexe beschrieben, mit denen sich die motivische und die Deligne-Beilinson Kohomologie berechnen lassen.rnIm ersten Kapitel wird der Komplex der höheren Chow Ketten und der Unterkomplex der "alternierenden" Ketten "in guter Lage" eingeführt, die beide die motivische Kohomologie berechnen (letzterer mit rationalen Koeffizienten).rnIn den folgenden beiden Kapiteln werden Komplexe C_D und P_D beschrieben, mit denen sich die (rationale) Deligne-Beilinson Kohomologie berechnen lässt. Diese sind aufgebaut aus sogenannten Strömen, die im zweiten Kapitel eingeführt werden. Verknüpft sind die beiden Komplexe durch eine Auswertungsabbildung ev, die für rationale Koeffizienten zu einem Quasi-Isomorphismus wird. Auf beiden Komplexen lassen sich (Schnitt-)Produkte definieren, von denen jedoch nur das Produkt auf P_D gleichzeitig assoziativ und graduiert-kommutativ ist.rnIm vierten Kapitel wird ganz allgemein für eine Familie von Komplexen, die einer Reihe an Anforderungen genügt, ein (partiell definierter) Homomorphismus (der Regulator) von dem Komplex der höheren Chow Ketten in eben diese Komplexe konstruiert. Die beiden oben genannten Komplexe erfüllen diese Anforderungen und liefern daher Regulatoren reg_C und reg_P

Lagrange-Singularitäten

In dieser Arbeit wird eine Deformationstheorie fürLagrange-Singularitäten entwickelt. Wir definieren einen Komplex von Moduln mit nicht-linearem Differential, densogenannten Lagrange-de Rham-Komplex, dessen ersteKohomologie isomorph zum Raum der infinitesimalenLagrange-Deformationen ist. Wir beschreiben die Beziehung diesesKomplexes zur Theorie der Moduln über dem Ring vonDifferentieloperatoren. Informationen zur Obstruktionstheorie vonLagrange-Deformationen werden aus derzweiten Kohomologie des Lagrange-de Rham-Komplexes gewonnen.Wir zeigen, dass unter einer geometrischen Bedingung an dieSingularität ie Kohomologie von des Lagrange-deRham-Komplexes ausendlich dimensionalen Vektorräumen besteht. Desweiteren wirdeine Methode zur effektiven Berechnung dieser Kohomologie fürquasi-homogene Lagrange-Flächensingularitäten entwickelt. UnterZuhilfenahme von Computeralgebra wird diese Methode für konkreteBeispiele angewendet.

Frobenius polynomials for Calabi-Yau equations

Sei $\pi:X\rightarrow S$ eine \"uber $\Z$ definierte Familie von Calabi-Yau Varietaten der Dimension drei. Es existiere ein unter dem Gauss-Manin Zusammenhang invarianter Untermodul $M\subset H^3_{DR}(X/S)$ von Rang vier, sodass der Picard-Fuchs Operator $P$ auf $M$ ein sogenannter {\em Calabi-Yau } Operator von Ordnung vier ist. Sei $k$ ein endlicher K\"orper der Charaktetristik $p$, und sei $\pi_0:X_0\rightarrow S_0$ die Reduktion von $\pi$ \uber $k$. F\ur die gew\ohnlichen (ordinary) Fasern $X_{t_0}$ der Familie leiten wir eine explizite Formel zur Berechnung des charakteristischen Polynoms des Frobeniusendomorphismus, des {\em Frobeniuspolynoms}, auf dem korrespondierenden Untermodul $M_{cris}\subset H^3_{cris}(X_{t_0})$ her. Sei nun $f_0(z)$ die Potenzreihenl\osung der Differentialgleichung $Pf=0$ in einer Umgebung der Null. Da eine reziproke Nullstelle des Frobeniuspolynoms in einem Teichm\uller-Punkt $t$ durch $f_0(z)/f_0(z^p)|_{z=t}$ gegeben ist, ist ein entscheidender Schritt in der Berechnung des Frobeniuspolynoms die Konstruktion einer $p-$adischen analytischen Fortsetzung des Quotienten $f_0(z)/f_0(z^p)$ auf den Rand des $p-$adischen Einheitskreises. Kann man die Koeffizienten von $f_0$ mithilfe der konstanten Terme in den Potenzen eines Laurent-Polynoms, dessen Newton-Polyeder den Ursprung als einzigen inneren Gitterpunkt enth\alt, ausdr\ucken,so beweisen wir gewisse Kongruenz-Eigenschaften unter den Koeffizienten von $f_0$. Diese sind entscheidend bei der Konstruktion der analytischen Fortsetzung. Enth\alt die Faser $X_{t_0}$ einen gew\ohnlichen Doppelpunkt, so erwarten wir im Grenz\ubergang, dass das Frobeniuspolynom in zwei Faktoren von Grad eins und einen Faktor von Grad zwei zerf\allt. Der Faktor von Grad zwei ist dabei durch einen Koeffizienten $a_p$ eindeutig bestimmt. Durchl\auft nun $p$ die Menge aller Primzahlen, so erwarten wir aufgrund des Modularit\atssatzes, dass es eine Modulform von Gewicht vier gibt, deren Koeffizienten durch die Koeffizienten $a_p$ gegeben sind. Diese Erwartung hat sich durch unsere umfangreichen Rechnungen best\atigt. Dar\uberhinaus leiten wir weitere Formeln zur Bestimmung des Frobeniuspolynoms her, in welchen auch die nicht-holomorphen L\osungen der Gleichung $Pf=0$ in einer Umgebung der Null eine Rolle spielen.

Symplectic Lagrangian fibrations

In this work we investigate the deformation theory of pairs of an irreducible symplectic manifold X together with a Lagrangian subvariety Y in X, where the focus is on singular Lagrangian subvarieties. Among other things, Voisin's results [Voi92] are generalized to the case of simple normal crossing subvarieties; partial results are also obtained for more complicated singularities.rnAs done in Voisin's article, we link the codimension of the subspace of the universal deformation space of X parametrizing those deformations where Y persists, to the rank of a certain map in cohomology. This enables us in some concrete cases to actually calculate or at least estimate the codimension of this particular subspace. In these cases the Lagrangian subvarieties in question occur as fibers or fiber components of a given Lagrangian fibration f : X --> B. We discuss examples and the question of how our results might help to understand some aspects of Lagrangian fibrations.

L-2-Kohomologie von Calabi-Yau-Familien über Kurven

Ist $f: X \to S$ eine glatte Familie von Calabi-Yau-Mannigfaltigkeiten der Dimension $m$ über einer quasiprojektiven Kurve, so trägt nach einem Resultat von Zucker die erste $L^2$-Kohomologiegruppe $H^1_{(2)}(S, R^m f_* \mathbb{C}_X)$ eine reine Hodgestruktur vom Gewicht $m+1$. In dieser Arbeit berechnen wir die Hodgezahlen solcher Hodgestrukturen für $m= 1, 2, 3$ und verallgemeinern dabei Formeln aus einem Artikel von del Angel, Müller-Stach, van Straten und Zuo auf den Fall, in dem die lokalen Monodromiematrizen bei Unendlich nicht unipotent, sondern echt quasi-unipotent sind. Wir verwenden dazu den $L^2$-Higgs-Komplex nach Jost, Yang und Zuo. Für Familien von Kurven führt dies auf eine bereits bekannte Formel von Cox und Zucker. Schließlich wenden wir die Ergebnisse im Fall $m=3$ auf 14 Familien von Calabi-Yau-Mannigfaltigkeiten an, die eine Rolle in der Spiegelsymmetrie spielen, sowie auf eine von Rohde konstruierte Familie ohne Punkte mit maximal unipotenter Monodromie.