Let X be an abstract not necessarily compact orientable CR manifold of dimension 2n−1, n⩾2, and let Lk be the k-th tensor power of a CR complex line bundle L over X. Given q∈{0,1,…,n−1}, let □(q)b,k be the Gaffney extension of Kohn Laplacian for (0,q) forms with values in Lk. For λ≥0, let Π(q)k,≤λ:=E((−∞,λ]), where E denotes the spectral measure of □(q)b,k. In this work, the author proves that Π(q)k,≤k−N0F∗k, FkΠ(q)k,≤k−N0F∗k, N0≥1, admit asymptotic expansions with respect to k on the non-degenerate part of the characteristic manifold of □(q)b,k, where Fk is some kind of microlocal cut-off function. Moreover, we show that FkΠ(q)k,≤0F∗k admits a full asymptotic expansion with respect to k if □(q)b,k has small spectral gap property with respect to Fk and Π(q)k,≤0 is k-negligible away the diagonal with respect to Fk. By using these asymptotics, the authors establish almost Kodaira embedding theorems on CR manifolds and Kodaira embedding theorems on CR manifolds with transversal CR S1 action.

This book examines holomorphic Morse inequalities and the asymptotic expansion of the Bergman kernel on manifolds by using the heat kernel. It opens perspectives on several active areas of research in complex, Kähler and symplectic geometry. A large number of applications are also included, such as an analytic proof of Kodaira's embedding theorem, a solution of the Grauert-Riemenschneider and Shiffman conjectures, compactification of complete Kähler manifolds of pinched negative curvature, Berezin-Toeplitz quantization, weak Lefschetz theorems, and asymptotics of the Ray-Singer analytic torsion.

... Je mehr ich tiber die Principien der Functionentheorie nachdenke - und ich thue dies unablassig -, urn so fester wird meine Uberzeugung, dass diese auf dem Fundamente algebraischer Wahrheiten aufgebaut werden muss (WEIERSTRASS, Glaubensbekenntnis 1875, Math. Werke II, p. 235). 1. Sheaf Theory is a general tool for handling questions which involve local solutions and global patching. "La notion de faisceau s'introduit parce qu'il s'agit de passer de donnees 'locales' a l'etude de proprietes 'globales'" [CAR], p. 622. The methods of sheaf theory are algebraic. The notion of a sheaf was first introduced in 1946 by J. LERAY in a short note Eanneau d'homologie d'une representation, C.R. Acad. Sci. 222, 1366-68. Of course sheaves had occurred implicitly much earlier in mathematics. The "Monogene analytische Functionen", which K. WEIERSTRASS glued together from "Func tionselemente durch analytische Fortsetzung", are simply the connected components of the sheaf of germs of holomorphic functions on a RIEMANN surface*'; and the "ideaux de domaines indetermines", basic in the work of K. OKA since 1948 (cf. [OKA], p. 84, 107), are just sheaves of ideals of germs of holomorphic functions. Highly original contributions to mathematics are usually not appreciated at first. Fortunately H. CARTAN immediately realized the great importance of LERAY'S new abstract concept of a sheaf. In the polycopied notes of his Semina ire at the E.N.S

Foliation theory has its origins in the global analysis of solutions of ordinary differential equations: on an n-dimensional manifold M, an [autonomous] differential equation is defined by a vector field X ; if this vector field has no singularities, then its trajectories form a par tition of M into curves, i.e. a foliation of codimension n - 1. More generally, a foliation F of codimension q on M corresponds to a partition of M into immersed submanifolds [the leaves] of dimension ,--------,- - . - -- p = n - q. The first global image that comes to mind is 1--------;- - - - - - that of a stack of "plaques". 1---------;- - - - - - Viewed laterally [transver 1--------1- - - -- sally], the leaves of such a 1--------1 - - - - -. stacking are the points of a 1--------1--- ----. quotient manifold W of di L..... -' _ mension q. -----~) W M Actually, this image corresponds to an elementary type of folia tion, that one says is "simple". For an arbitrary foliation, it is only l- u L ally [on a "simpIe" open set U] that the foliation appears as a stack of plaques and admits a local quotient manifold. Globally, a leaf L may - - return and cut a simple open set U in several plaques, sometimes even an infinite number of plaques.

An account for graduate students of this new technique in diophantine geometry; includes account of higher dimensional theory.

This book corresponds to a graduate course given many times by the authors, and should prove to be useful to mathematicians and theoretical physicists.