Logarithmic de Rham complexes and vanishing theorems (Q1082499): Difference between revisions

Verschwindungssätze für Cohomologieklassen (z. B. von lokal freien Garben \({\mathcal M})\) in algebraischer und komplex analytischer Geometrie betreffen ein unerschöpflich weites Feld vorhandener und noch zu erzielender Resultate: gewissermaßen ein anspruchsvolles mathematisches Standardprogramm. Die vorliegende Arbeit erzielt eine Reihe von Verschwindungssätzen für gewisse lokal freie Garben \({\mathcal M}\) auf gewissen (stets kompakten) algebraischen oder komplex analytischen Mannigfaltigkeiten. Die Resultate umfassen von einem einheitlichen Rahmen her (und lassen von hier her neu verstehen) unterschiedliche Satzfälle aus der Literatur wie z. B.: Verschwindungssätze von Kodaira-Nakano, von Bogomolov-Sommese, von Grauert-Riemenschneider. Bemerkenswert is die hier entwickelte Beweistechnik: Die anderen Orts manchmal verwendeten differentialgeometrischen \(C^{\infty}\)-Techniken (covariante \(C^{\infty}\)-Ableitungen) werden hier ersetzt durch rein algebraische/komplexanalytische Techniken, so durch gewisse covariante holomorphe Ableitungen in lokal-freien Garben \({\mathcal M}\) auf (hier kompakten) Mannigfaltigkeiten \({\mathcal X}\). Dabei müssen allerdings ''Pole'' entlang von ''schönen'' Ausnahmevarietäten \({\mathcal D}\subset {\mathcal X}\) zugelassen werden. In diesem Rahmen verfügt man über die von P. Deligne entwickelte Theorie der logarithmischen covarianten Ableitungen zu einer lokalfreien Garbe \({\mathcal M}\) auf \({\mathcal X}:\nabla: {\mathcal M}\to \Omega^{1}_{x}({\mathcal D})\otimes {\mathcal M}\). \(\nabla\) operiert jetzt auch auf \(\Omega^{*}_{x}({\mathcal D})\times {\mathcal M}\) und macht diesen zu einem Komplex. In diesem hat man als lokal freien Teil \(V:=Ker\nabla | U\), mit \(U:={\mathcal X}\setminus {\mathcal D}\). Verschwindungssätze betreffen nun Garben vom Typ V, \({\mathcal M}\) und \(\Omega^{p}_{x}({\mathcal D})\otimes {\mathcal M}\), entweder als Aussagen über U ({\S} 2) oder über Einschränkungsabbildungen von ''\({\mathcal X}\) auf \({\mathcal D}''\). I.a. werden Voraussetzungen z. B. der folgenden Art getroffen: \({\mathcal X}\) kompakt, Moishežon, \({\mathcal D}\) ''schön'', U ''schön'' (z. B. affin), \({\mathcal M}\) ''schön'' (z. B. gelte eine gewisse \(E_ 1({\mathcal M})\)-Entartung für \({\mathcal M}\), und eine gewisse Monodromiebedingung sei mit \(\nabla\) erfüllt). Ein Problem ist vor allem, wann die \(E_ 1({\mathcal M})\)-Entartung vorliegt. Hier hilft z. B. weiter Deligne's Theorie der gemischten Hodge-Strukturen, ferner ein von K. Timmerscheid im ''Anhang D'' der vorliegenden Arbeit bewiesenes Resultat. Die Lektüre dieser Arbeit setzt für das Verstehen der Beweise insbesondere die Kenntnis der Arbeiten (Beweistechniken) von P. Deligne voraus.