Showing 1–31 of 31 results for author: Lempert, L

Two variational problems in Kähler geometry

Authors: Laszlo Lempert

Abstract: On a Kähler manifold we consider the problems of maximizing/minimizing Monge--Ampère energy over certain subsets of the space of Kähler potentials. Under suitable assumptions we prove that solutions to these variational problems exist, are unique, and have a simple characterization. We then use the extremals to construct hermitian metrics on holomorphic vector bundles, and investigate their curvat… ▽ More On a Kähler manifold we consider the problems of maximizing/minimizing Monge--Ampère energy over certain subsets of the space of Kähler potentials. Under suitable assumptions we prove that solutions to these variational problems exist, are unique, and have a simple characterization. We then use the extremals to construct hermitian metrics on holomorphic vector bundles, and investigate their curvature. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: Welcome

MSC Class: 32Q15; 32U05; 32W20; 52A40; 58E40

Aron--Berner--type extension in complex Banach manifolds

Authors: László Lempert

Abstract: Let $S$ be a compact Hausdorff space and $X$ a complex manifold. We consider the space $C(S,X)$ of continuous maps $S\to X$, and prove that any bounded holomorphic function on this space can be continued to a holomorphic function, possibly multivalued, on a larger space $B(S,X)$ of Borel maps. As an application we prove two theorems about bounded holomorphic functions on $C(S,X)$, one reminiscent… ▽ More Let $S$ be a compact Hausdorff space and $X$ a complex manifold. We consider the space $C(S,X)$ of continuous maps $S\to X$, and prove that any bounded holomorphic function on this space can be continued to a holomorphic function, possibly multivalued, on a larger space $B(S,X)$ of Borel maps. As an application we prove two theorems about bounded holomorphic functions on $C(S,X)$, one reminiscent of the Monodromy Theorem, the other of Liouville's Theorem. △ Less

Submitted 21 March, 2023; originally announced March 2023.

MSC Class: 32K05; 46G20; 58D10

To the geometry of spaces of plurisubharmonic functions on a Kähler manifold

Authors: László Lempert

Abstract: Consider a compact Kähler manifold $(X,ω)$ and the space $\cal E(X,ω)=\cal E$ of $ω$--plurisubharmonic functions of full Monge--Ampère mass on it. We introduce a quantity $ρ[u,v]$ to measure the distance between $u, v\in\cal E$; $ρ[u,v]$ is not a number but rather a decreasing function on a certain interval $(0,V)\subset\mathbb R$. We explore properties of $ρ[u,v]$, and using them we study Lagrang… ▽ More Consider a compact Kähler manifold $(X,ω)$ and the space $\cal E(X,ω)=\cal E$ of $ω$--plurisubharmonic functions of full Monge--Ampère mass on it. We introduce a quantity $ρ[u,v]$ to measure the distance between $u, v\in\cal E$; $ρ[u,v]$ is not a number but rather a decreasing function on a certain interval $(0,V)\subset\mathbb R$. We explore properties of $ρ[u,v]$, and using them we study Lagrangians and associated energy spaces of $ω$--plurisubharmonic functions. Many results here generalize Darvas's findings about his metrics $d_χ$. △ Less

Submitted 28 January, 2022; originally announced January 2022.

MSC Class: 32Q15; 32U15; 53C35; 58B20; 58E30; 70H99

On the Bergman kernels of holomorphic vector bundles

Authors: László Lempert

Abstract: Consider a very ample line bundle $ E \to X$ over a compact complex manifold, endowed with a hermitian metric of curvature $-i ω$, and the space $\mathcal{O}(E)$ of its holomorphic sections. The Fubini--Study map associates with positive definite inner products $\langle \, , \rangle$ on $\mathcal{O}(E)$ functions FS… ▽ More Consider a very ample line bundle $ E \to X$ over a compact complex manifold, endowed with a hermitian metric of curvature $-i ω$, and the space $\mathcal{O}(E)$ of its holomorphic sections. The Fubini--Study map associates with positive definite inner products $\langle \, , \rangle$ on $\mathcal{O}(E)$ functions FS$(\langle \, ,\rangle) \in \mathcal{H}_ω=\{u \in C^{\infty}(X):ω+i\partial\overline{\partial} u >0\}$. We prove that FS is an injective immersion, but its image in general is not closed in $\mathcal{H}_ω$. To obtain a closed range, FS has to be extended to certain degenerate inner products. This we do by associating Bergman kernels with general inner products on the dual $\mathcal{O}(E)^*$, and the paper describes some simple properties of this association. △ Less

Submitted 17 September, 2021; originally announced September 2021.

MSC Class: 32L05; 32Q99

The principle of least action in the space of Kähler potentials

Authors: Laszlo Lempert

Abstract: Given a compact Kähler manifold, the space $\mathcal H$ of its (relative) Kähler potentials is an infinite dimensional Fréchet manifold, on which Mabuchi and Semmes have introduced a natural connection $\nabla$. We study certain Lagrangians on $T\mathcal H$, in particular Finsler metrics, that are parallel with respect to the connection. We show that geodesics of $\nabla$ are paths of least action… ▽ More Given a compact Kähler manifold, the space $\mathcal H$ of its (relative) Kähler potentials is an infinite dimensional Fréchet manifold, on which Mabuchi and Semmes have introduced a natural connection $\nabla$. We study certain Lagrangians on $T\mathcal H$, in particular Finsler metrics, that are parallel with respect to the connection. We show that geodesics of $\nabla$ are paths of least action; under suitable conditions the converse also holds; and prove a certain convexity property of the least action. This generalizes earlier results of Calabi, Chen, and Darvas. △ Less

Submitted 9 February, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: Added to version 1: Example 5.4 of a weak geodesic with little regularity, and Sections 10, 11 to show that under suitable conditions weak geodesics are unique minimizers of the action. Some inaccuracies in version 1 corrected

MSC Class: 32Q15; 32U15; 53C35; 58B20; 58E30; &0H99

On the adjoint action of the group of symplectic diffeomorphisms

Authors: Laszlo Lempert

Abstract: We study the action of Hamiltonian diffeomorphisms of a compact symplectic manifold ($X,ω$) on $C^\infty(X)$ and on functions $C^\infty(X)\to \mathbb R$. We describe various properties of invariant convex functions on $C^\infty(X)$. Among other things we show that continuous convex functions $C^\infty(X)\to \mathbb R$ that are invariant under the action are automatically invariant under so called… ▽ More We study the action of Hamiltonian diffeomorphisms of a compact symplectic manifold ($X,ω$) on $C^\infty(X)$ and on functions $C^\infty(X)\to \mathbb R$. We describe various properties of invariant convex functions on $C^\infty(X)$. Among other things we show that continuous convex functions $C^\infty(X)\to \mathbb R$ that are invariant under the action are automatically invariant under so called strict rearrangements and they are continuous in the sup norm topology of $C^\infty(X)$; but this is not generally true if the convexity condition is dropped. △ Less

Submitted 8 January, 2021; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: In addition to cosmetic changes, Definition 5.1 has been corrected. The correction led to a simplification in the proof of Theorem 5.2

MSC Class: 53D05; 58D19

On Riemannian submersions

Authors: László Lempert

Abstract: We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic. We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic. △ Less

Submitted 14 January, 2019; originally announced January 2019.

MSC Class: 53B20; 53C22; 32V05

Adapted complex and involutive structures

Authors: László Lempert

Abstract: We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures. We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures. △ Less

Submitted 10 January, 2019; originally announced January 2019.

MSC Class: 53C15; 53C22; 58E20; 32V05

On complex Legendre duality

Authors: Laszlo Lempert

Abstract: Complex Legendre duality is a generalization of Legendre transformation from Euclidean spaces to Kahler manifolds, that Berndtsson and collaborators have recently constructed. It is a local isometry of the space of Kahler potentials. We show that the fixed point of such a transformation must correspond to a real analytic Kahler metric. Complex Legendre duality is a generalization of Legendre transformation from Euclidean spaces to Kahler manifolds, that Berndtsson and collaborators have recently constructed. It is a local isometry of the space of Kahler potentials. We show that the fixed point of such a transformation must correspond to a real analytic Kahler metric. △ Less

Submitted 6 March, 2017; originally announced March 2017.

MSC Class: 32Q15; 32W20; 53C55

Isometries in spaces of Kähler potentials

Authors: László Lempert

Abstract: The space of Kähler potentials in a compact Kähler manifold, endowed with Mabuchi's metric, is an infinite dimensional Riemannian manifold. We characterize local isometries between spaces of Kähler potentials, and prove existence and uniqueness for such isometries. The space of Kähler potentials in a compact Kähler manifold, endowed with Mabuchi's metric, is an infinite dimensional Riemannian manifold. We characterize local isometries between spaces of Kähler potentials, and prove existence and uniqueness for such isometries. △ Less

Submitted 14 August, 2019; v1 submitted 20 February, 2017; originally announced February 2017.

Comments: Typos corrected; to appear in Ann. Polon. Math

MSC Class: 32Q15; 53C55

Riemannian geometry in infinite dimensional spaces

Authors: László Lempert

Abstract: We lay foundations of the subject in the title, on which we build in another paper devoted to isometries in spaces of Kähler metrics. We lay foundations of the subject in the title, on which we build in another paper devoted to isometries in spaces of Kähler metrics. △ Less

Submitted 16 February, 2017; originally announced February 2017.

MSC Class: 58B20

Noncommutative potential theory

Authors: Laszlo Lempert

Abstract: We propose to view hermitian metrics on trivial holomorphic vector bundles $E\toΩ$ as noncommutative analogs of functions defined on the base $Ω$, and curvature as the notion corresponding to the Laplace operator or $\partial\overline\partial$. We discuss noncommutative generalizations of basic results of ordinary potential theory, mean value properties, maximum principle, Harnack inequality, and… ▽ More We propose to view hermitian metrics on trivial holomorphic vector bundles $E\toΩ$ as noncommutative analogs of functions defined on the base $Ω$, and curvature as the notion corresponding to the Laplace operator or $\partial\overline\partial$. We discuss noncommutative generalizations of basic results of ordinary potential theory, mean value properties, maximum principle, Harnack inequality, and the solvability of Dirichlet problems. △ Less

Submitted 11 October, 2016; originally announced October 2016.

MSC Class: 31C; 47A

Extrapolation, a technique to estimate

Authors: Laszlo Lempert

Abstract: We introduce a technique to estimate a linear operator by embedding it in a family $A_t$ of operators, $t\in(σ_0,\infty)$, with suitable curvature properties. One can then estimate the norm of each $A_t$ by bounds that hold in the limit $t\toσ_0$, respectively, $t\to\infty$. We illustrate this technique on an extension problem that arises in complex geometry. We introduce a technique to estimate a linear operator by embedding it in a family $A_t$ of operators, $t\in(σ_0,\infty)$, with suitable curvature properties. One can then estimate the norm of each $A_t$ by bounds that hold in the limit $t\toσ_0$, respectively, $t\to\infty$. We illustrate this technique on an extension problem that arises in complex geometry. △ Less

Submitted 14 August, 2019; v1 submitted 22 July, 2015; originally announced July 2015.

A proof of the Ohsawa-Takegoshi theorem with sharp estimates

Authors: Bo Berndtsson, László Lempert

Abstract: We show how ideas from \cite{2Blocki} and \cite{3Blocki} to prove the Suita conjecture can be adapted to give a proof of the Ohsawa-Takegoshi extension theorem with sharp estimates. We show how ideas from \cite{2Blocki} and \cite{3Blocki} to prove the Suita conjecture can be adapted to give a proof of the Ohsawa-Takegoshi extension theorem with sharp estimates. △ Less

Submitted 18 July, 2014; originally announced July 2014.

Comments: 10 pages

Modules of square integrable holomorphic germs

Authors: Laszlo Lempert

Abstract: This paper was inspired by Guan and Zhou's recent proof of the so-called strong openness conjecture for plurisubharmonic functions. We give a proof shorter than theirs and extend the result to possibly singular hermitian metrics on vector bundles. This paper was inspired by Guan and Zhou's recent proof of the so-called strong openness conjecture for plurisubharmonic functions. We give a proof shorter than theirs and extend the result to possibly singular hermitian metrics on vector bundles. △ Less

Submitted 17 June, 2014; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: Typos corrected, reference added

MSC Class: 14F18; 32C35; 32L20; 32U05

Representing analytic cohomology groups of complex manifolds

Authors: Laszlo Lempert

Abstract: Consider a holomorphic vector bundle $L\to X$ and an open cover ${\frak U}=\{U_a\colon a\in A\}$ of $X$, parametrized by a complex manifold $A$. We prove that the sheaf cohomology groups $H^q(X,L)$ can be computed from the complex $C^{\bullet}_{\text{hol}}$ $({\frak U},L)$ of cochains $(f_{a_0\ldots a_q})_{a_0,\ldots, a_q\in A}$ that depend holomorphically on the $a_j$, provided… ▽ More Consider a holomorphic vector bundle $L\to X$ and an open cover ${\frak U}=\{U_a\colon a\in A\}$ of $X$, parametrized by a complex manifold $A$. We prove that the sheaf cohomology groups $H^q(X,L)$ can be computed from the complex $C^{\bullet}_{\text{hol}}$ $({\frak U},L)$ of cochains $(f_{a_0\ldots a_q})_{a_0,\ldots, a_q\in A}$ that depend holomorphically on the $a_j$, provided $S=\{(a,x)\in A\times X\colon x\in U_a\}$ is a Stein open subset of $A\times X$. The result is proved in the setting of Banach manifolds, and is applied to study representations on cohomology groups induced by a holomorphic action of a complex reductive Lie group on $L$. △ Less

Submitted 30 December, 2013; originally announced December 2013.

MSC Class: 14F25; 32E10; 32L10; 46G20

Analytic cohomology groups of infinite dimensional complex manifolds

Authors: Laszlo Lempert

Abstract: Given a cohesive sheaf $\Cal S$ over a complex Banach manifold $M$, we endow the cohomology groups $H^q(M,\Cal S)$ of $M$ and $H^q(\frak U,\Cal S)$ of open covers $\frak U$ of $M$ with a locally convex topology. Under certain assumptions we prove that the canonical map $H^q(\frak U,\Cal S)\to H^q(M,\Cal S)$ is an isomorphism of topological vector spaces. Given a cohesive sheaf $\Cal S$ over a complex Banach manifold $M$, we endow the cohomology groups $H^q(M,\Cal S)$ of $M$ and $H^q(\frak U,\Cal S)$ of open covers $\frak U$ of $M$ with a locally convex topology. Under certain assumptions we prove that the canonical map $H^q(\frak U,\Cal S)\to H^q(M,\Cal S)$ is an isomorphism of topological vector spaces. △ Less

Submitted 27 December, 2013; originally announced December 2013.

MSC Class: 32C35; 46E50; 58B12

A maximum principle for hermitian (and other) metrics

Authors: Laszlo Lempert

Abstract: We consider homomorphisms of hermitian holomorphic Hilbert bundles. Assuming the homomorphism decreases curvature, we prove that its pointwise norm is plurisubharmonic. We consider homomorphisms of hermitian holomorphic Hilbert bundles. Assuming the homomorphism decreases curvature, we prove that its pointwise norm is plurisubharmonic. △ Less

Submitted 11 September, 2013; originally announced September 2013.

Comments: 10 pages

MSC Class: 32L10; 32Q99; 32U05

Weak geodesics in the space of Kähler metrics

Authors: Tamás Darvas, László Lempert

Abstract: Given a compact Kähler manifold (X,ω_0), according to Mabuchi, the set of Kähler forms cohomologous to ω_0 has the natural structure of an infinite dimensional Riemannian manifold. We address the question whether points in this space can be joined by a geodesic, and strengthening previous findings of the second author with Vivas, we show that this cannot always be done even with a certain type of… ▽ More Given a compact Kähler manifold (X,ω_0), according to Mabuchi, the set of Kähler forms cohomologous to ω_0 has the natural structure of an infinite dimensional Riemannian manifold. We address the question whether points in this space can be joined by a geodesic, and strengthening previous findings of the second author with Vivas, we show that this cannot always be done even with a certain type of generalized geodesics. △ Less

Submitted 3 May, 2012; originally announced May 2012.

MSC Class: 32Q15; 32W20

Journal ref: Mathematical Research Letters, 19 (2012), no. 5

Curvature of fields of quantum Hilbert spaces

Authors: László Lempert, Róbert Szőke

Abstract: We show that using the family of adapted Kähler polarizations of the phase space of a compact, simply connected, Riemannian symmetric space of rank-1, the obtained field $H^{corr}$ of quantum Hilbert spaces produced by geometric quantization including the half-form correction is flat if $M$ is the 3-dimensional sphere and not even projectively flat otherwise. We show that using the family of adapted Kähler polarizations of the phase space of a compact, simply connected, Riemannian symmetric space of rank-1, the obtained field $H^{corr}$ of quantum Hilbert spaces produced by geometric quantization including the half-form correction is flat if $M$ is the 3-dimensional sphere and not even projectively flat otherwise. △ Less

Submitted 4 April, 2012; originally announced April 2012.

MSC Class: 53D50; 53C35; 32L10; 70G45; 65

Geodesics in the space of Kähler metrics

Authors: László Lempert, Liz Vivas

Abstract: Let (X,ω) be a compact Kähler manifold. As discovered in the late 1980s by Mabuchi, the set H_0 of Kähler forms cohomologous to ωhas the natural structure of an infinite dimensional Riemannian manifold. We address the question whether any two points in H_0 can be connected by a smooth geodesic, and show that the answer, in general, is "no". Let (X,ω) be a compact Kähler manifold. As discovered in the late 1980s by Mabuchi, the set H_0 of Kähler forms cohomologous to ωhas the natural structure of an infinite dimensional Riemannian manifold. We address the question whether any two points in H_0 can be connected by a smooth geodesic, and show that the answer, in general, is "no". △ Less

Submitted 11 May, 2011; originally announced May 2011.

MSC Class: 32Q15; 32W20

Journal ref: Duke Math. J. 162, no. 7 (2013), 1369-1381

Direct images, fields of Hilbert spaces, and geometric quantization

Authors: László Lempert, Róbert Szőke

Abstract: Geometric quantization often produces not one Hilbert space to represent the quantum states of a classical system but a whole family $H_s$ of Hilbert spaces, and the question arises if the spaces $H_s$ are canonically isomorphic. [ADW] and [Hi] suggest to view $H_s$ as fibers of a Hilbert bundle $H$, introduce a connection on $H$, and use parallel transport to identify different fibers. Here we ex… ▽ More Geometric quantization often produces not one Hilbert space to represent the quantum states of a classical system but a whole family $H_s$ of Hilbert spaces, and the question arises if the spaces $H_s$ are canonically isomorphic. [ADW] and [Hi] suggest to view $H_s$ as fibers of a Hilbert bundle $H$, introduce a connection on $H$, and use parallel transport to identify different fibers. Here we explore to what extent this can be done. First we introduce the notion of smooth and analytic fields of Hilbert spaces, and prove that if an analytic field over a simply connected base is flat, then it corresponds to a Hermitian Hilbert bundle with a flat connection and path independent parallel transport. Second we address a general direct image problem in complex geometry: pushing forward a Hermitian holomorphic vector bundle $E-->Y$ along a non-proper map $Y-->S$. We give criteria for the direct image to be a smooth field of Hilbert spaces. Third we consider quantizing an analytic Riemannian manifold $M$ by endowing $TM$ with the family of adapted Kähler structures from arxiv:1004.4069 [LSz]. This leads to a direct image problem. When $M$ is homogeneous, we prove the direct image is an analytic field of Hilbert spaces. For certain such $M$---but not all---the direct image is even flat; which means that in those cases quantization is unique. △ Less

Submitted 28 November, 2013; v1 submitted 27 April, 2010; originally announced April 2010.

Comments: 53 pages, the proof of Theorem 2.3.2 got shortened, some typos corrected, references added, the title has been changed and two new paragraphs have been added at the end of the introduction. To appear in CMP

MSC Class: 53D50; 32L10; 70G45; 70G65

A new look at adapted complex structures

Authors: László Lempert, Róbert Szőke

Abstract: Given a closed real analytic Riemannian manifold, we construct and study a one parameter family of adapted complex structures on the manifold of its geodesics. Given a closed real analytic Riemannian manifold, we construct and study a one parameter family of adapted complex structures on the manifold of its geodesics. △ Less

Submitted 23 April, 2010; originally announced April 2010.

Comments: 8 pages

MSC Class: 32Q15; 53C20; 53C22

On the cohomology groups of holomorphic Banach bundles

Authors: Laszlo Lempert

Abstract: We consider a compact complex manifold $M$, and introduce the notion of two holomorphic Banach bundles $E,F$ over $M$ being compact perturbations of one another. Given two such bundles we show that if the cohomology groups $H^q(M,E)$ are finite dimensional then so are the cohomology groups $H^q(M,F)$; as well as a more precise result in the same spirit. We consider a compact complex manifold $M$, and introduce the notion of two holomorphic Banach bundles $E,F$ over $M$ being compact perturbations of one another. Given two such bundles we show that if the cohomology groups $H^q(M,E)$ are finite dimensional then so are the cohomology groups $H^q(M,F)$; as well as a more precise result in the same spirit. △ Less

Submitted 30 October, 2008; originally announced October 2008.

Comments: 14 pages

MSC Class: 32L05; 32L10; 58B15

Coherent sheaves and cohesive sheaves

Authors: Laszlo Lempert

Abstract: We consider coherent and cohesive sheaves of $\cO$--modules over open sets $Ω\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from cohesive sheaves are coherent. An important tool in all this, also proved here, is that the sheaf of Banach space valued holomorphic germs is flat. We consider coherent and cohesive sheaves of $\cO$--modules over open sets $Ω\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from cohesive sheaves are coherent. An important tool in all this, also proved here, is that the sheaf of Banach space valued holomorphic germs is flat. △ Less

Submitted 20 October, 2008; v1 submitted 12 August, 2008; originally announced August 2008.

Comments: 18 pages. In replacement the proof of Lemma 6.2 improved; typos corrected

MSC Class: 32C35; 32B05; 14F05; 13C

Analytic continuation in mapping spaces

Authors: Laszlo Lempert

Abstract: We consider a Stein manifold $M$ of dimension $\geq 2$ and a compact subset $K\subset M$ such that $M'=M\backslash K$ is connected. Let $S$ be a compact differential manifold, and let $M_S$, resp. $M'_S$ stand for the complex manifold of maps $S\to M$, resp. $S\to M'$, of some specified regularity, that are homotopic to constant. We prove that any holomorphic function on $M'_S$ continues analyti… ▽ More We consider a Stein manifold $M$ of dimension $\geq 2$ and a compact subset $K\subset M$ such that $M'=M\backslash K$ is connected. Let $S$ be a compact differential manifold, and let $M_S$, resp. $M'_S$ stand for the complex manifold of maps $S\to M$, resp. $S\to M'$, of some specified regularity, that are homotopic to constant. We prove that any holomorphic function on $M'_S$ continues analytically to $M_S$ (perhaps as a multivalued function). △ Less

Submitted 12 August, 2008; originally announced August 2008.

Comments: 24 pages

MSC Class: 32D; 32E10; 46G20; 58B12; 58D15

Analytic sheaves in Banach spaces

Authors: Laszlo Lempert

Abstract: We introduce a class of analytic sheaves in a Banach space X, that we call cohesive sheaves. Cohesion is meant to generalize the notion of coherence from finite dimensional analysis. Accordingly, we prove the analog of Cartan's Theorems A and B for cohesive sheaves over pseudoconvex open subsets of X, provided X has an unconditional basis. We introduce a class of analytic sheaves in a Banach space X, that we call cohesive sheaves. Cohesion is meant to generalize the notion of coherence from finite dimensional analysis. Accordingly, we prove the analog of Cartan's Theorems A and B for cohesive sheaves over pseudoconvex open subsets of X, provided X has an unconditional basis. △ Less

Submitted 26 July, 2005; originally announced July 2005.

Comments: 38 pages

MSC Class: 32C35; 46G20; 32T

Rationally Connected Varieties and Loop Spaces

Authors: L. Lempert, E. Szabo

Abstract: We consider rationally connected complex projective manifolds M and show that their loop spaces--infinite dimensional complex manifolds--have properties similar to those of M. Furthermore, we give a finite dimensional application concerning holomorphic vector bundles over rationally connected complex projective manifolds. We consider rationally connected complex projective manifolds M and show that their loop spaces--infinite dimensional complex manifolds--have properties similar to those of M. Furthermore, we give a finite dimensional application concerning holomorphic vector bundles over rationally connected complex projective manifolds. △ Less

Submitted 21 July, 2005; originally announced July 2005.

Comments: 24 pages

MSC Class: 14J45; 32H02

Dolbeault cohomology of a loop space

Authors: Laszlo Lempert, Ning Zhang

Abstract: The loop space LP_1 of the Riemann sphere is an infinite dimensional complex manifold consisting of maps (loops) from S^1 to P_1 in some fixed C^k or Sobolev W^{k,p} space. In this paper we compute the Dolbeault cohomology groups H^{0,1}(LP_1). The loop space LP_1 of the Riemann sphere is an infinite dimensional complex manifold consisting of maps (loops) from S^1 to P_1 in some fixed C^k or Sobolev W^{k,p} space. In this paper we compute the Dolbeault cohomology groups H^{0,1}(LP_1). △ Less

Submitted 24 March, 2004; originally announced March 2004.

Comments: 26 pages

MSC Class: 58B12; 32Q99; 58D15

Journal ref: Acta Math., 193 (2004), 241-268

The Dolbeault complex in infinite dimensions. II

Authors: Laszlo Lempert

Abstract: We prove that the equation d-bar u = f can be solved on a ball B(R) of radius R in the Banach space l^1 if f is a closed Lipschitz continuous (0,1) form on B(R). We also present examples of closed (0,1) forms f of various regularities on the spaces l^p that are not exact. In particular, in the first result above, it is not enough to assume that f is merely continuous, rather than Lipschitz con… ▽ More We prove that the equation d-bar u = f can be solved on a ball B(R) of radius R in the Banach space l^1 if f is a closed Lipschitz continuous (0,1) form on B(R). We also present examples of closed (0,1) forms f of various regularities on the spaces l^p that are not exact. In particular, in the first result above, it is not enough to assume that f is merely continuous, rather than Lipschitz continuous. △ Less

Submitted 24 March, 1998; originally announced March 1998.

Comments: 22 pages

MSC Class: 32F15; 46G20

Algebraic approximations of holomorphic maps from Stein domains to projective manifolds

Authors: Jean-Pierre Demailly, Laszlo Lempert, Bernard Shiffman

Abstract: It is shown that every holomorphic map $f$ from a Runge domain $Ω$ of an affine algebraic variety $S$ into a projective algebraic manifold $X$ is a uniform limit of Nash algebraic maps $f_ν$ defined over an exhausting sequence of relatively compact open sets $Ω_ν$ in $Ω$. A relative version is also given: If there is an algebraic subvariety $A$ (not necessarily reduced) in $S$ such that the rest… ▽ More It is shown that every holomorphic map $f$ from a Runge domain $Ω$ of an affine algebraic variety $S$ into a projective algebraic manifold $X$ is a uniform limit of Nash algebraic maps $f_ν$ defined over an exhausting sequence of relatively compact open sets $Ω_ν$ in $Ω$. A relative version is also given: If there is an algebraic subvariety $A$ (not necessarily reduced) in $S$ such that the restriction of $f$ to $A\capΩ$ is algebraic, then $f_ν$ can be taken to coincide with $f$ on $A\capΩ_ν$. The main application of these results, when $Ω$ is the unit disk, is to show that the Kobayashi pseudodistance and the Kobayashi-Royden infinitesimal metric of a quasi-projective algebraic manifold $Z$ are computable solely in terms of the closed algebraic curves in $Z$. Similarly, the $p$-dimensional Eisenman metric of a quasi-projective algebraic manifold can be computed in terms of the Eisenman volumes of its $p$-dimensional algebraic subvarieties. Another question addressed in the paper is whether the approximations $f_ν$ can be taken to have their images contained in affine Zariski open subsets of $X$. By using complex analytic methods (pluricomplex potential theory and Hörmander's $L^2$ estimates), we show that this is the case if $f$ is an embedding (with $\dim S<\dim X$) and if there is an ample line bundle $L$ on $X$ such that △ Less

Submitted 7 November, 1993; v1 submitted 1 December, 1992; originally announced December 1992.

Comments: 32 pages, plain-TeX. Note: This paper is a revision of our manuscript of December 11, 1992. The present version contains many technical changes in the first three sections. More general results are obtained with a simpler proof

Journal ref: Duke Math. J. 76 (1994), 333-363