One of the fundamental inequalities in convex geometry is the Brunn-Minkowski inequality, which asserts that if are two non-empty bounded open subsets of , then
is the sumset of and , and denotes Lebesgue measure. The estimate is sharp, as can be seen by considering the case when are convex bodies that are dilates of each other, thus for some , since in this case one has , , and .
The Brunn-Minkowski inequality has many applications in convex geometry. To give just one example, if we assume that has a smooth boundary , and set equal to a small ball , then , and in the limit one has
where is the surface measure of ; applying the Brunn-Minkowski inequality and performing a Taylor expansion, one soon arrives at the isoperimetric inequality
Thus one can view the isoperimetric inequality as an infinitesimal limit of the Brunn-Minkowski inequality.
There are many proofs known of the Brunn-Minkowski inequality. Firstly, the inequality is trivial in one dimension:
Proof: By inner regularity we may assume that are compact. The claim then follows since contains the sets and , which meet only at a single point .
For the higher dimensional case, the inequality can be established from the Prékopa-Leindler inequality:
This inequality is usually stated using instead of in order to eliminate the ungainly factor . However, we formulate the inequality in this fashion in order to avoid any reference to the dilation maps ; the reason for this will become clearer later.
for any . We can now optimise in ; the optimal value turns out to be
which yields (1).
To prove the Prékopa-Leindler inequality, we first observe that the inequality tensorises in the sense that if it is true in dimensions and , then it is automatically true in dimension . Indeed, if are measurable functions obeying (2) in dimension , then for any , the functions obey (2) in dimension . Applying the Prékopa-Leindler inequality in dimension , we conclude that
for all , where and similarly for . But then if we apply the Prékopa-Leindler inequality again, this time in dimension and to the functions , , and , and then use the Fubini-Tonelli theorem, we obtain (3).
From tensorisation, we see that to prove the Prékopa-Leindler inequality it suffices to do so in the one-dimensional case. We can derive this from Lemma 1 by reversing the “Prékopa-Leindler implies Brunn-Minkowski” argument given earlier, as follows. We can normalise to have sup norm . If (2) holds (in one dimension), then the super-level sets are related by the set-theoretic inclusion
and thus by Lemma 1
whenever . On the other hand, from the Fubini-Tonelli theorem one has the distributional identity
(and similarly for , but with restricted to ), and thus
The claim then follows from the weighted arithmetic mean-geometric mean inequality .
In this post, I wanted to record the simple observation (which appears in this paper of Leonardi and Mansou in the case of the Heisenberg group, but may have also been stated elsewhere in the literature) that the above argument carries through without much difficulty to the nilpotent setting, to give a nilpotent Brunn-Minkowski inequality:
Theorem 3 (Nilpotent Brunn-Minkowski) Let be a connected, simply connected nilpotent Lie group of (topological) dimension , and let be bounded open subsets of . Let be a Haar measure on (note that nilpotent groups are unimodular, so there is no distinction between left and right Haar measure). Then
Here of course is the product set of and .
Indeed, by repeating the previous arguments, the nilpotent Brunn-Minkowski inequality will follow from
Theorem 4 (Nilpotent Prékopa-Leindler inequality) Let be a connected, simply connected nilpotent Lie group of topological dimension with a Haar measure . Let , and let be non-negative measurable functions obeying the inequality
for all . Then we have
To prove the nilpotent Prékopa-Leindler inequality, the key observation is that this inequality not only tensorises; it splits with respect to short exact sequences. Indeed, suppose one has a short exact sequence
of connected, simply connected nilpotent Lie groups. The adjoint action of the connected group on acts nilpotently on the Lie algebra of and is thus unimodular. Because of this, we can split a Haar measure on into Haar measures on respectively so that we have the Fubini-Tonelli formula
for any measurable , where is defined by the formula
for any coset representative of (the choice of is not important, thanks to unimodularity of the conjugation action). It is then not difficult to repeat the proof of tensorisation (relying heavily on the unimodularity of conjugation) to conclude that the nilpotent Prékopa-Leindler inequality for and implies the Prékopa-Leindler inequality for ; we leave this as an exercise to the interested reader.
Now if is a connected simply connected Lie group, then the abeliansation is connected and simply connected and thus isomorphic to a vector space. This implies that is a retract of and is thus also connected and simply connected. From this and an induction of the step of the nilpotent group, we see that the nilpotent Prékopa-Leindler inequality follows from the abelian case, which we have already established in Theorem 2.
Remark 1 Some connected, simply connected nilpotent groups (and specifically, the Carnot groups) can be equipped with a one-parameter family of dilations , which are a family of automorphisms on , which dilate the Haar measure by the formula
for an integer , called the homogeneous dimension of , which is typically larger than the topological dimension. For instance, in the case of the Heisenberg group
which has topological dimension , the natural family of dilations is given by
with homogeneous dimension . Because the two notions of dimension are usually distinct in the nilpotent case, it is no longer helpful to try to use these dilations to simplify the proof of the Brunn-Minkowski inequality, in contrast to the Euclidean case. This is why we avoided using dilations in the preceding discussion. It is natural to wonder whether one could replace by in (4), but it can be easily shown that the exponent is best possible (an observation that essentially appeared first in this paper of Monti). Indeed, working in the Heisenberg group for sake of concreteness, consider the set
for some large parameter . This set has measure using the standard Haar measure on . The product set is contained in
and thus has measure at most . This already shows that the exponent in (4) cannot be improved beyond ; note that the homogeneous dimension is making its presence known in the term in the measure of , but this is a lower order term only.
It is somewhat unfortunate that the nilpotent Brunn-Minkowski inequality is adapted to the topological dimension rather than the homogeneous one, because it means that some of the applications of the inequality (such as the application to isoperimetric inequalities mentioned at the start of the post) break down. (Indeed, the topic of isoperimetric inequalities for the Heisenberg group is a subtle one, with many naive formulations of the inequality being false. See the paper of Monti for more discussion.)
Remark 2 The inequality can be extended to non-simply-connected connected nilpotent groups , if is now set to the dimension of the largest simply connected quotient of . It seems to me that this is the best one can do in general; for instance, if is a torus, then the inequality fails for any , as can be seen by setting .
Remark 3 Specialising the nilpotent Brunn-Minkowski inequality to the case , we conclude that
This inequality actually has a much simpler proof (attributed to Tsachik Gelander in this paper of Hrushovski, as pointed out to me by Emmanuel Breuillard): one can show that for a connected, simply connected Lie group , the exponential map is a measure-preserving homeomorphism, for some choice of Haar measure on , so it suffices to show that
But contains all the squares of , so contains the isotropic dilation , and the claim follows. Note that if we set to be a small ball around the origin, we can modify this argument to give another demonstration of why the topological dimension cannot be replaced with any larger exponent in (4).
One may tentatively conjecture that the inequality in fact holds in all unimodular connected, simply connected Lie groups , and all bounded open subsets of ; I do not know if this bound is always true, however.