In the third of the Distinguished Lecture Series given by Eli Stein here at UCLA, Eli presented a slightly different topic, which is work in preparation with Alex Nagel, Fulvio Ricci, and Steve Wainger, on algebras of singular integral operators which are sensitive to multiple different geometries in a nilpotent Lie group.

For sake of discussion, let us begin by working on the Heisenberg group {\Bbb H}^n = \{ (z,t) \in {\Bbb C}^n \times {\Bbb R} \} with group law (z,t) (z',t') = (z+z',t+t'+2\hbox{Im}(z\overline{z'})) (this notation differs slightly from that in the previous lectures, as we have decremented n by 1).  We have two classical algebras of singular integral operators on this space.  On the one hand, one can view {\Bbb H}^n as a 2n+1-dimensional Euclidean space {\Bbb R}^{2n+1} and consider the algebra of pseudodifferential operators on this space.  On the other hand, one can look at convolution operators T: f \mapsto f*K using the group multiplication (thus Tf(x) = \int_{{\Bbb H}^n} K(y) f(xy^{-1})\ dy), where K is a Calderòn-Zygmund kernel adapted to the scaling structure of the Heisenberg group.  Both algebras of operators are indeed algebras, and are bounded on every L^p space for 1 < p < \infty.  It is then a natural question to ask whether there is some larger algebra that contains both types of operators.  This will naturally create operators with “hybrid kernels” that detect both the Euclidean geometric structure and the Heisenberg geometric structure.  A model example of this is the convolution operator Tf := f * K where K is the distribution given by a suitable principal value interpretation of the function

\displaystyle K( z, t ) := \frac{z_j z_k}{(|z|^2+|t|^2)^{n+1}} \frac{1}{|z|^2+it} (1)

where 1 \leq j,k \leq n are fixed indices.  More generally, one could consider convolution kernels f\mapsto f*K where K is smooth for non-zero (z,t) and obeys the derivative estimates

\displaystyle |\partial_t^\beta \partial_{z,\overline{z}}^\alpha K(x)| \leq C_{\alpha,\beta} |x|_E^{-2n-|\alpha|} |x|_H^{-2-2\beta} (2)

where x = (z,t), |x|_E := (|z|^2+|t|^2)^{1/2}, and |x|_H := |z|+|t|^{1/2}, and also obeys the cancellation condition \langle K, \phi_{r,R} \rangle| \leq C for all 0 < R^2 \leq r^2 \leq R, where \phi is a non-trivial bump function and \phi_{r,R}(z,t) = \phi(z/r,t/R).  [Note that (2) just barely prevents K from being absolutely integrable, in analogy with other singular integral operator kernels.] There is also a new condition that appears in this hybrid setting that does not occur in the previous settings:  one needs the “marginal distributions” \int_{\Bbb R} K(z,t) \phi(t/R)\ dt and \int_{{\Bbb C}^n} K(z,t) \phi(z/R)\ dz to themselves be Calderòn-Zygmund kernels on {\Bbb C}^n and {\Bbb R} respectively, uniformly in R > 0.

The first main result of Nagel et al. is that the class of such operators is an algebra, and is bounded on L^p({\Bbb H}^n) for all 1 < p < \infty.  Furthermore, this algebra of convolution operators can be extended to a larger algebra of “hybrid pseudodifferential operators”

\displaystyle Tf(x) := \int_{{\Bbb H}^n} K(x,y) f(xy^{-1})\ dy (3)

where for each fixed x, K(x,y) (and more generally \partial_x^\alpha K(x,y)) is a kernel of the above form, uniformly in x.  This algebra contains both standard pseudodifferential operators and Calderòn-Zygmund operators on the Heisenberg group.  The former turn out to be “almost central” in the sense that the commutator between a pseudodifferential operator and any other operator in this algebra is a smoothing operator (more precisely, it gains 1/2 of a Euclidean derivative in L^2, and a proportionally lesser amount of regularity in other L^p spaces).  Similar results exist for other nilpotent groups than the Heisenberg group, as discussed a little later.

One major difficulty here is that these kernels have a more complicated singularity than just being singular along the diagonal x=y, in that the region where the kernel is large also concentrates along various higher-dimensional spaces, such as the space \{ ((z,t), (z',t')): x=x' \}.    Because of this, the second part of the Calderòn-Zygmund paradigm – i.e. leveraging L^2 boundedness to obtain L^p bounds – does not work well any more.  Instead, what Eli and his coauthors did was to go back to an older paradigm, the product paradigm, in which results in multidimensional (or multiparameter) harmonic analysis were obtained by iterating results in one-dimensional (or one-parameter) harmonic analysis.

To explain this paradigm, Eli went back to one of the very first applications of this paradigm, namely the Marcinkiewicz multiplier theorem, proven in 1933, and used among other things to show that the Riesz-like transforms \partial_{x_i} \partial_{x_j} \Delta^{-1} were bounded on L^p({\Bbb R}^n) for 1 < p < \infty.  The precise statement of the theorem is slightly technical and was not given here, but the main ingredient of this theorem was the multidimensional Littlewood-Paley inequality, which in turn followed from iterations of the one-dimensional Littlewood-Paley inequality.  To describe this in more detail, Eli then discussed an improvement of the Marcinkiewicz multiplier theorem due to R. Fefferman and Stein, concerning product singular integral operators, which serves as a partial model for the more recent results of Nagel et al..  For simplicity, let us consider convolution operators T: f \mapsto f * K on the plane {\Bbb R}^2 \equiv {\Bbb R} \times {\Bbb R}, although the theory extends to arbitrary products of finitely many Euclidean spaces.  We define a product kernel to be a distribution K, smooth away from the coordinate axes \{ (x_1,x_2): x_1=0 \hbox{ or } x_2 = 0 \}, that obeys the kernel bounds

|\partial_{x_1}^{\alpha_1} \partial_{x_2}^{\alpha_2} K(x_1,x_2)| \leq C_{\alpha_1, \alpha_2} |x_1|^{-1-|\alpha_1|} |x_2|^{-1-|\alpha_2|}

for all \alpha_1, \alpha_2 \geq 0 and all non-zero x_1, x_2.  We also require two cancellation conditions: firstly, that |\langle K, \phi_{R_1,R_2} \rangle| \leq C for all R_1,R_2 > 0, where \phi_{R_1,R_2}(x_1,x_2) := \phi(x_1/R_1,x_2/R_2) and \phi is a non-trivial bump function, and secondly that the marginal kernels \int_{{\Bbb R}} K(x_1,x_2) \phi(x_1/R_1)\ dx_1 and \int_{{\Bbb R}} K(x_1,x_2) \phi(x_2/R_2)\ dx_2 are one-dimensional Calderòn-Zygmund operators.  [Examples of such kernels include the classical two-dimensional Calderòn-Zygmund kernels on {\Bbb R}^2, as well as tensor products K_1(x_1) K_2(x_2) of one-dimensional Calderòn-Zygmund kernels.]

The main result of R. Fefferman and Stein was that such convolution operators are bounded on L^p({\Bbb R}^2) for all 1 < p < \infty and form a (commutative) algebra.  The proof proceeds by the product paradigm.  Firstly, one observes that kernels in the above class can be characterised in two different manners, much as in the classical case.  On the Fourier-analytic side, the Fourier transform m = \hat K of a product kernel obeys the product symbol estimates |\partial_{\xi_1}^{\alpha_1} \partial_{\xi_2}^{\alpha_2} m(\xi_1,\xi_2)| \leq C_{\alpha_1,\alpha_2} |\xi_1|^{-|\alpha_1|} |\xi_2|^{-|\alpha_2|} for all non-zero \alpha_1,\alpha_2.  This is enough to establish L^p boundedness, but the non-local nature of the singularity means that the usual Calderòn-Zygmund argument to boost the L^2 bound to L^p bounds no longer works well.  Instead, one uses the third type of characterisation of these kernels, namely that they can be decomposed as K = \sum_I \phi_I, where I = (i_1,i_2) \in {\Bbb Z}^2, \phi_{i_1,i_2}(x_1,x_2) = 2^{i_1+i_2} \phi^{(i_1,i_2)}( 2^{i_1} x_1, 2^{i_2} x_2), and the \phi^{(i_1,i_2)} are bump functions uniformly in i_1,i_2 that satisfy the marginal cancellation conditions \int_{\Bbb R} \phi^{(i_1,i_2)}(x_1,x_2)\ dx_2 = 0 and \int_{\Bbb R} \phi^{(i_1,i_2)}(x_1,x_2)\ dx_1 = 0.

This characterisation can be combined with the Littlewood-Paley square function inequality to establish the theorem of R. Fefferman and Stein.  To explain this, Eli returned to the one-dimensional (or one-parameter) theory.  If T: f \mapsto f*K is a classical Calderòn-Zygmund convolution operator, then by decomposing K into dyadic pieces it is not difficult to show a pointwise estimate of the form

|P_j ( Tf )| \leq C M |\tilde P_j f| (4)

for all j, where P_j: f \mapsto f * \phi_j is a Littlewood-Paley type projection (thus \phi_j(x) = 2^j \phi(2^j x) and \phi has mean zero), M is the Hardy-Littlewood maximal function, and \tilde P_j is a slightly larger variant of P_j (chosen so that P_j = P_j \tilde P_j, and hence P_j(Tf) = P_j(T \tilde P_j f) by commutativity).  The L^p boundedness of T can then be deduced from the Littlewood-Paley square function inequality

\| (\sum_j |P_j(f)|^2)^{1/2} \|_{L^p} \sim \|f\|_{L^p} (5)

and the variant

\| (\sum_j |M \tilde P_j(f)|^2)^{1/2} \|_{L^p} \sim \|f\|_{L^p} (6)

(which follows by combining the square function inequality with the vector-valued maximal inequality of C. Fefferman and Stein).

The same method can be applied in the product setting, using the product version of the Littlewood-Paley inequality.  On {\Bbb R}^2, for instance, one can introduce the Littlewood-Paley projections P_{j_1,j_2} := P^1_{j_1} P^2_{j_2} for (j_1,j_2) \in {\Bbb Z}^2, defined by first applying a one-dimensional Littlewood-Paley projection P^1_{j_1} in the x_1 variable (keeping x_2 frozen), and then applying a one-dimensional Littlewood-Paley projection P^2_{j_2} in the x_2 variable (keeping x_1 frozen).  For the product operators T considered by R. Fefferman and Stein, there is a product analogue of (4), namely

|P_J ( Tf )| \leq C {\mathcal M} |\tilde P_J f| (7)

for all J = (j_1,j_2) \in {\Bbb Z}^2, where \tilde P_J is again a variant of P_J, and {\mathcal M} =M_1 M_2 is the strong maximal function, defined by composing the two one-dimensional Hardy-Littlewood maximal functions.  There are analogues of the Littlewood-Paley inequalities (5), (6), which can be proven by concatenating various one-dimensional inequalities (basically, one needs certain “vector-valued” extensions of (5), (6)).  From these facts, the proof of the theorem of R. Fefferman and Stein is relatively straightforward.

The moral of the above story is this: the product operator T was not itself a tensor product of lower-dimensional operators, but it was nevertheless controlled by objects (such as the Littlewood-Paley square function and the strong maximal function) which were products of lower-dimensional objects, thus allowing this operator to be controlled by the lower-dimensional theory.

Eli now returned to the Heisenberg group {\Bbb H}^n to apply the product paradigm to convolution operators f \mapsto f*K such as convolution with the kernel (1).  Note that kernels like (1) are already almost of product form; morally we have

\displaystyle K(z,t) = \frac{z_j z_k}{(|z|^2+|t|^2)^{n+1}} \frac{1}{|z|^2+it} ``\leq`` \frac{z_j z_k}{|z|^{2n+2}} \frac{1}{it}

which suggests that K is “dominated” by the tensor product of two classical kernels.  If we were dealing with a Euclidean convolution rather than a Heisenberg convolution, the product theory of R. Fefferman and Stein would then presumably allow us to conclude the bounds one wants for this operator.  So the main new difficulty is how to deal with the “twisted” nature of Heisenberg convolution.

It turns out that the correct way to deal with this is to extend this class of hybrid kernels to a larger class of kernels, which were singular on a flag of subspaces rather than at a point.  In the Heisenberg case, the relevant flag is \{0\} \subset \{ (0,t): t \in {\Bbb R} \} \subset {\Bbb H}^n.  The corresponding kernels are those that are smooth on \{ (x,t): x \neq 0 \} and obey the estimates

|\partial_t^\alpha \partial_{z,\overline{z}}^\beta K(z,t)| \leq C_{\alpha,\beta} |z|^{-2n-|\alpha|} |(z,t)|_H^{-2-2|\beta|}

for all multi-indices \alpha,\beta, where |(z,t)|_H := |z|+|t|^{1/2}.  We also need some cancellation conditions; firstly, that |\langle K, \phi_{r,R} \rangle| \leq C whenever $0 < R^2 \leq r^2 \leq R$, where \phi_{r,R}(z,t) := \phi(z/r,t/R), and secondly that the marginal distributions of K are themselves Calderòn-Zygmund kernels.

Examples of such operators includes multipliers of the form m( {\mathcal L}, iT), where {\mathcal L} :=- \sum_{i=1}^n X_i^2+Y_i^2 is the sub-Laplacian (which commutes with T), and m is a product symbol of order 0.  (In fact, every convolution operator whose kernel obeys the properties of the previous paragraph and is invariant under rotations of the z variable, is of this form.)

The work of Nagel et al. shows that these flag kernel convolution operators are bounded on L^p and form an algebra; furthermore, there is a “variable-coefficient” extension of this algebra involving operators such as (3).  To establish this claim, it is in fact convenient to work in a more general setting than a Heisenberg group, namely that of a graded simply connected nilpotent Lie group G.  This group can be described as the exponential G = \exp{\mathfrak g} of its Lie algebra {\mathfrak g}, which in turn can be split as a direct sum {\mathfrak g} = \bigoplus_{j=1}^k {\mathfrak h}_j, where the {\mathfrak h}_j are subspaces obeying the commutation relations {}[{\mathfrak h}_j, {\mathfrak h}_l] \subset {\mathfrak h}_{j+l} (with the convention that {\mathfrak h}_j is trivial for j > k).  This grading leads to a filtration (or flag)

{\mathfrak g} = {\mathfrak g}_1 \supset \ldots \supset {\mathfrak g}_k \supset \{0\}

defined by {\mathfrak g}_j := {\mathfrak h}_j \oplus \ldots \oplus {\mathfrak h}_k.  Exponentiating this leads to a corresponding filtration of Lie groups

G = G_1 \geq G_2 \geq \ldots \geq G_k \geq \{\hbox{id}\}.

We parameterise elements of {\mathfrak g} \equiv G by (x_1,\ldots,x_k), where x_j \in {\mathfrak g}_j.  We then have a natural scaling

(x_1,\ldots,x_k) \mapsto (\delta x_1, \ldots, \delta^k x_k)

that respects all the previous structures, and gives the Lie algebra a homogeneous dimension of Q := \sum_{j=1}^k j \hbox{dim}({\mathfrak g}_j).  We also have some “semi-norms”

N_j(x_1,\ldots,x_k) := |x_1|^j + |x_2|^{j/2} + \ldots + |x_j|

which can be viewed as a variant of |x_j| (for instance, they behave the same way with respect to scaling).  We then define a flag kernel to be a function K on {\mathfrak g} \equiv G that is smooth on the set x_1 \neq 0, obeys the derivative bounds

|\partial_{x_1}^{\alpha_1} \ldots \partial_{x_k}^{\alpha_k} K(x_1,\ldots,x_k)| \leq C_{\alpha_1,\ldots,\alpha_k} \prod_{j=1}^k N_j(x_j)^{-\hbox{dim}({\mathfrak g}_j)-|\alpha_j|},

is such that |\langle K, \phi_R \rangle| \leq C for all “acceptable” radii R = (r_1,\ldots,r_k), where \phi_R(x_1,\ldots,x_k) = \phi(x_1/r_1,\ldots,x_k/r_k) and “acceptable” means that r_1^k \leq r_2^{k/2} \leq \ldots \leq r_k, and such that every marginal integral of K is itself a flag kernel of lower dimension (so this is a recursive definition).  The main theorem here is, once again, that convolution operators with flag kernels are bounded on L^p(G) for every 1 < p < \infty and form a (non-commutative) algebra. Once one has this result (as well as a variable coefficient generalisation of this result), all the other results claimed earlier follow fairly easily.

[The main reason we restrict attention to "acceptable" radii scales is that the corresponding bump functions \phi_R are stable under twisted convolution: the convolution of two such \phi_R is essentially a multiple of another \phi_R.]

Eli then briefly sketched the main ingredients of the proof of the above theorem.  The first step is to introduce Littlewood-Paley operators P^{(m)}_j for each subgroup G_m, which one can then lift to act also on the whole group G (by foliating G into cosets of the normal subgroup G_m).  One can then create multiparameter Littlewood-Paley operators P_J = P_{j_k}^{(k)} \ldots P_{j_1}^{(1)} for J = (j_1,\ldots,j_k) \in {\Bbb Z}^k.  (One has to be a little careful here because these operators don’t commute with each other, but as long as one orders things consistently, things turn out to be OK.)   One also has a strong maximal function {\mathcal M} associated to acceptable boxes.  The main proposition is then a variant of (7), namely that

|P_J T P_I^* f| \leq C 2^{-c|I-J|} {\mathcal M} f (8)

for all I, J \in {\Bbb Z}^k, where c > 0 is an absolute constant.  One can use this inequality to deduce everything one needs using appropriate variants of the Littlewood-Paley square function inequality as before.

The proof of (8) is somewhat complicated by the twisted nature of convolution on nilpotent Lie groups.  A key technical step in the proof of (8) (and one which, apparently, held up the project for quite some time) was to show that the class of flag kernels was stable under various “acceptable” changes of variables, such as the change from canonical coordinates \exp(\sum_i a_i X_i ) \to (a_1,\ldots,a_n) of the first kind for the Lie group G, to canonical coordinates \prod_i \exp(a_i X_i) \to (a_1,\ldots,a_n) of the second kind.