Introduction Partial commutative monoids Continuous dimension scales Espaliers Classes of espaliers Bibliography Index

Contents: A tree structure for the unit ball $mathbb B? n$ in $mathbb C'n$; Carleson measures; Pointwise multipliers; Interpolating sequences; An almost invariant holomorphic derivative; Besov spaces on trees; Holomorphic Besov spaces on Bergman trees; Completing the multiplier interpolation loop; Appendix; Bibliography

In this memoir, we prove that the universal Teichmuller space $T(1)$ carries a new structure of a complex Hilbert manifold and show that the connected component of the identity of $T(1)$ -- the Hilbert submanifold $T {0 (1)$ -- is a topological group. We define a Weil-Petersson metric on $T(1)$ by Hilbert space inner products on tangent spaces, compute its Riemann curvature tensor, and show that $T(1)$ is a Kahler-Einstein manifold with negative Ricci and sectional curvatures. We introduce and compute Mumford-Miller-Morita characteristic forms for the vertical tangent bundle of the universal Teichmuller curve fibration over the universal Teichmuller space. As an application, we derive Wolpert curvature formulas for the finite-dimensional Teichmuller spaces from the formulas for the universal Teichmuller space. We study in detail the Hilbert manifold structure on $T {0 (1)$ and characterize points on $T {0 (1)$ in terms of Bers and pre-Bers embeddings by proving that the Grunsky operators $B {1 $ and The results of this memoir were presented in our e-prints: Weil-Petersson metric on the universal Teichmuller space I. Curvature properties and Chern forms, arXiv:math.CV/0312172 (2003), and Weil-Petersson metric on the universal Teichmuller space II. Kahler potential and period mapping, arXiv:math.CV/0406408 (2004).

An important theorem by Beilinson describes the bounded derived category of coherent sheaves on $\mathbb{P n$, yielding in particular a resolution of every coherent sheaf on $\mathbb{P n$ in terms of the vector bundles $\Omega {\mathbb{P n j(j)$ for $0\le j\le n$. This theorem is here extended to weighted projective spaces. To this purpose we consider, instead of the usual category of coherent sheaves on $\mathbb{P ({\rm w )$ (the weighted projective space of weights $\rm w=({\rm w 0,\dots,{\rm w n)$), a suitable category of graded coherent sheaves (the two categories are equivalent if and only if ${\rm w 0=\cdots={\rm w n=1$, i.e. $\mathbb{P ({\rm w )= \mathbb{P n$), obtained by endowing $\mathbb{P ({\rm w )$ with a natural graded structure sheaf. The resulting graded ringed space $\overline{\mathbb{P ({\rm w )$ is an example of graded scheme (in chapter 1 graded schemes are defined and studied in some greater generality than is needed in the rest of the work). Then in chapter 2 we prove This weighted version of Beilinson's theorem is then applied in chapter 3 to prove a structure theorem for good birational weighted canonical projections of surfaces of general type (i.e., for morphisms, which are birational onto the image, from a minimal surface of general type $S$ into a $3$-dimensional $\mathbb{P ({\rm w )$, induced by $4$ sections $\sigma i\in H0(S,\mathcal{O S({\rm w iK S))$). This is a generalization of a theorem by Catanese and Schreyer (who treated the case of projections into $\mathbb{P 3$), and is mainly interesting for irregular surfaces, since in the regular case a similar but simpler result (due to Catanese) was already known. The theorem essentially states that giving a good birational weighted canonical projection is equivalent to giving a symmetric morphism of (graded) vector bundles on $\overline{\mathbb{P ({\rm w )$, satisfying some suitable conditions. Such a morphism is then explicitly determined in chapter 4 for a family of surfaces with numerical invariant

We prove a very general Kobayashi-Hitchin correspondence on arbitrary compact Hermitian manifolds, and we discuss differential geometric properties of the corresponding moduli spaces. This correspondence refers to moduli spaces of ``universal holomorphic oriented pairs''. Most of the classical moduli problems in complex geometry (e. g. holomorphic bundles with reductive structure groups, holomorphic pairs, holomorphic Higgs pairs, Witten triples, arbitrary quiver moduli problems) are special cases of this universal classification problem. Our Kobayashi-Hitchin correspondence relates the complex geometric concept ``polystable oriented holomorphic pair'' to the existence of a reduction solving a generalized Hermitian-Einstein equation. The proof is based on the Uhlenbeck-Yau continuity method. Using ideas from Donaldson theory, we further introduce and investigate canonical Hermitian metrics on such moduli spaces. We discuss in detail remarkable classes of moduli spaces in the non-Kahlerian framework: Oriented holomorphic structures, Quot-spaces, oriented holomorphic pairs and oriented vortices, non-abelian Seiberg-Witten monopoles.

"Volume 183, number 864 (end of volume)."

KAM theory is a powerful tool apt to prove perpetual stability in Hamiltonian systems, which are a perturbation of integrable ones. The smallness requirements for its applicability are well known to be extremely stringent. A long standing problem, in this context, is the application of KAM theory to ``physical systems'' for ``observable'' values of the perturbation parameters. The authors consider the Restricted, Circular, Planar, Three-Body Problem (RCP3BP), i.e., the problem of studying the planar motions of a small body subject to the gravitational attraction of two primary bodies revolving on circular Keplerian orbits (which are assumed not to be influenced by the small body). When the mass ratio of the two primary bodies is small, the RCP3BP is described by a nearly-integrable Hamiltonian system with two degrees of freedom; in a region of phase space corresponding to nearly elliptical motions with non-small eccentricities, the system is well described by Delaunay variables. The Sun-Jupiter observed motion is nearly circular and an asteroid of the Asteroidal belt may be assumed not to influence the Sun-Jupiter motion. The Jupiter-Sun mass ratio is slightly less than 1/1000. The authors consider the motion of the asteroid 12 Victoria taking into account only the Sun-Jupiter gravitational attraction regarding such a system as a prototype of a RCP3BP. for values of mass ratios up to 1/1000, they prove the existence of two-dimensional KAM tori on a fixed three-dimensional energy level corresponding to the observed energy of the Sun-Jupiter-Victoria system. Such tori trap the evolution of phase points ``close'' to the observed physical data of the Sun-Jupiter-Victoria system. As a consequence, in the RCP3BP description, the motion of Victoria is proven to be forever close to an elliptical motion. The proof is based on: 1) a new iso-energetic KAM theory; 2) an algorithm for computing iso-energetic, approximate Lindstedt series; 3) a computer-aided application of 1)+2) to the Sun-Jupiter-Victoria system. The paper is self-contained but does not include the ($\sim$ 12000 lines) computer programs, which may be obtained by sending an e-mail to one of the authors.

One of the aims of this work is to investigate some natural properties of Borel sets which are undecidable in $ZFC$. The authors' starting point is the following elementary, though non-trivial result: Consider $X \subset 2omega\times2omega$, set $Y=\pi(X)$, where $\pi$ denotes the canonical projection of $2omega\times2omega$ onto the first factor, and suppose that $(\star)$: Any compact subset of $Y$ is the projection of some compact subset of $X$. If moreover $X$ is $\mathbf{\Pi 0 2$ then $(\star\star)$: The restriction of $\pi$ to some relatively closed subset of $X$ is perfect onto $Y$ it follows that in the present case $Y$ is also $\mathbf{\Pi 0 2$. Notice that the reverse implication $(\star\star)\Rightarrow(\star)$ holds trivially for any $X$ and $Y$. But the implication $(\star)\Rightarrow (\star\star)$ for an arbitrary Borel set $X \subset 2omega\times2omega$ is equivalent to the statement $\forall \alpha\in \omegaomega, \, \aleph 1$ is inaccessible in $L(\alpha)$. More precisely The authors prove that the validity of $(\star)\Rightarrow(\star\star)$ for all $X \in \varSigma0 {1+\xi+1 $, is equivalent to $\aleph \xi \aleph 1$. $ZFC$, derive from $(\star)$ the weaker conclusion that $Y$ is also Borel and of the same Baire class as $X$. This last result solves an old problem about compact covering mappings. In fact these results are closely related to the following general boundedness principle Lift$(X, Y)$: If any compact subset of $Y$ admits a continuous lifting in $X$, then $Y$ admits a continuous lifting in $X$, where by a lifting of $Z\subset \pi(X)$ in $X$ we mean a mapping on $Z$ whose graph is contained in $X$. The main result of this work will give the exact set theoretical strength of this principle depending on the descriptive complexity of $X$ and $Y$. The authors also prove a similar result for a variation of Lift$(X, Y)$ in which continuous liftings are replaced by Borel liftings, and which answers a question of H. Friedman. Among other applications the authors obtain a complete solution to a problem which goes back to Lusin concerning the existence of $\mathbf{\Pi 1 1$ sets with all constituents in some given class $\mathbf{\Gamma $ of Borel sets, improving earlier results by J. Stern and R. Sami. Borel sets (in $ZFC$) of a new type, involving a large amount of abstract algebra. This representation was initially developed for the purposes of this proof, but has several other applications.

Sir Arthur Conan Doyle's famous fictional detective Sherlock Holmes and his sidekick Dr. Watson go camping and pitch their tent under the stars. During the night, Holmes wakes his companion and says, ``Watson, look up at the stars and tell me what you deduce.'' Watson says, ``I see millions of stars, and it is quite likely that a few of them are planets just like Earth. Therefore there may also be life on these planets.'' Holmes replies, ``Watson, you idiot. Somebody stole ourtent.'' When seeking proofs of Ramanujan's identities for the Rogers-Ramanujan functions, Watson, i.e., G. N. Watson, was not an ``idiot.'' He, L. J. Rogers, and D. M. Bressoud found proofs for several of the identities. A. J. F. Biagioli devised proofs for most (but not all) of the remaining identities.Although some of the proofs of Watson, Rogers, and Bressoud are likely in the spirit of those found by Ramanujan, those of Biagioli are not. in particular, Biagioli used the theory of modular forms. Haunted by the fact that little progress has been made into Ramanujan's insights on these identities in the past 85 years, the present authors sought ``more natural'' proofs. Thus, instead of a missing tent, we have had missing proofs, i.e., Ramanujan's missing proofs of his forty identities for theRogers-Ramanujan functions. in this paper, for 35 of the 40 identities, the authors offer proofs that are in the spirit of Ramanujan. Some of the proofs presented here are due to Watson, Rogers, and Bressoud, but most are new. Moreover, for several identities, the authors present two or threeproofs. For the five identities that they are unable to prove, they provide non-rigorous verifications based on an asymptotic analysis of the associated Rogers-Ramanujan functions. This method, which is related to the 5-dissection of the generating function for cranks found in Ramanujan's lost notebook, is what Ramanujan might have used to discover several of the more difficult identities. Some of the new methods in this paper can be employed to establish new identities for the Rogers-Ramanujanfunctions.