Given a family of formal power series, its set of monomial convergence is defined as those z’s for which the series converges. The main focus is given to the sets of monomial convergence of the m-homogeneous polynomials on c0 and of the bounded holomorphic functions on B_{c0}. The first one is completely described in terms of the Marcinkiewicz space l_{(2m)/(m-1), ∞}. For the second one there is no complete description. If z is such that limsup (log n)^(1/2) ∑_j^n (z*_j)^{2} < 1 (where z* is the decreasing rearrangement of z), then z is in the set of monomial convergence of the bounded holomorphic functions. Also, if z belongs to the set of monomial convergence, then the limit superior is ≤ 1. This is related to Bohr’s problem (see Chapter 1). First of all, if M denotes the supremum over all q so that l_q is contained in the set of monomial convergence of the bounded holomorphic functions on Bc0, then S=1/M. But this can be more precise: S is the infimum over all σ >0 so that the sequence (p_n^(-σ))_n (being p_n the n-th prime number) belongs to the set of monomial convergence of the bounded holomorphic functions on Bc0.

This is a short introduction to the theory of holomorphic functions in finitely and infinitely many variables. We begin with functions in finitely many variables, giving the definition of holomorphic function. Every such function has a monomial series expansion, where the coefficients are given by a Cauchy integral formula. Then we move to infinitely many variables, considering functions defined on B_{c0}, the open unit ball of the space of null sequences. Holomorphic functions are defined by means of Fréchet differentiability. We have versions of Weierstrass and Montel theorems in this setting. Every holomorphic function on B_{c0} defines a family of coefficients through a Cauchy integral formula and a (formal) monomial series expansion. Every bounded analytic (represented by a convergent power series) function is holomorphic. Hilbert’s criterion, that gives conditions on a family of scalars so that it is attached to a bounded holomorphic function on B_{c0}. Homogeneous polynomials are those entire functions having non-zero coefficients only for multi-indices of a given order. We show how these are related to multilinear forms on c0 through the polarization formulas.

The solution of Bohr’s problem (see Chapter 4) implies that for every Dirichlet series in \mathcal{H}_\infty, the sum ∑ |a_n| n^(-s) is finite for every Re s > 1/2, and we ask if we can in fact get to Re s=1/2. This is addressed by considering, for Dirichlet polynomials, the quotient between ∑ | a_n | and the norm (in \mathcal{H}_\infty) of the polynomial. We define S(x) as the supremum over all Dirichlet polynomials of length x ≥ 2 of these quotients. It is shown that S(x)=exp(- (1/\sqrt{2} + o(1)) (log n loglog n)^(1/2)) as x goes to ∞. This is reformulated in terms of the Sidon constant of the monomials as characters of the infinite-dimensional polydisc. The proof uses the hypercontractive Bohnenblust-Hille inequality and a fine decomposition of the natural numbers as those having ‘big’ and ‘small’ prime factors. Also, a version for homegeneous Dirichlet series is given.

The following question is addressed: if X is an infinite dimensional Banach space with unconditional basis, does the space of m-homogeneous polynomials have an unconditional basis for m ≥ 2? The purpose of this chapter is to show that the answer is negative. The proof is done in three steps. The first step shows that X contains the l_2^n’s or the l_\infty^n’s uniformly complemented whenever the space of m-homogeneous is separable. The second step proves that, if the space of m-homogeneous polynomials on X has an unconditional basis, then the unconditional basis constants of the monomials in the spaces of m-homogeneous polynomials on l_2^n and l_\infty^n are bounded (in n). But the third step shows that these unconditional basis constants in fact are not bounded. The first step uses greedy bases and spreading models. The second step goes through a cycle of ideas developed by Gordon and Lewis, relating the unconditional basis constant of a space to its Gordon-Lewis constant. The third step is given with the probabilistic devices developed in Chapter 17.