On holomorphic domination, I

Let X be a separable Banach space and u:X→R locally upper bounded. We show that there are a Banach space Z and a holomorphic function h:X→Z with u(x)<‖h(x)‖ for x∈X. As a consequence we find that the sheaf cohomology group Hq(X,O) vanishes if X has the bounded approximation property (i.e., X is a direct summand of a Banach space with a Schauder basis), O is the sheaf of germs of holomorphic functions on X, and q⩾1. As another consequence we prove that if f is a C1-smooth -closed (0,1)-form on the space X=L1[0,1] of summable functions, then there is a C1-smooth function u on X with on X.

RésuméOn montre ici p. ex. que lʼon a u(x)<‖h(x)‖ pour x∈X, où sont X un espace de Banach complexe et séparable quelconque, u:X→R une fonction localement bornée quelconque, et h:X→Z une fonction holomorphe convenable à valeurs dans un espace de Banach complexe Z convenable. Majoration holomorphe comme ci-dessus est une propriété de convexité holomorphe qui joue un grand rôle en exhaustion.