One thing I absolutely love about harmonic analysis is that it really has something interesting to say about nearly every other field of Analysis. Today’s example is exactly of this kind: I will show how a Fourier Restriction estimate can say something about Affine Geometry. This was first noted by Carbery and Ziesler (see below for references).

## 1. Affine Isoperimetric Inequality

Recall the Affine Invariant Surface Measure that we have defined in a previous post. Given a hypersurface sufficiently smooth to have a well-defined Gaussian curvature (where ranges over ) and with surface measure denoted by , we can define the Affine Invariant Surface measure as the weighted surface measure

this measure has the property of being invariant under the action of – hence the name. Here invariant means that if is an equi-affine map (thus volume preserving) then

for any measurable .

The Affine Invariant Surface measure can be used to formulate a very interesting result in Affine Differential Geometry – an inequality of isoperimetric type. Let be a convex body – say, centred in the origin and symmetric with respect to it, i.e. . We denote by the boundary of the convex body and we can assume for the sake of the argument that is sufficiently smooth – for example, piecewise -regular, so that the Gaussian curvature is defined at every point except maybe a -null set. Then the __Affine Isoperimetric Inequality__ says that (with )

Notice that the inequality is invariant with respect to the action of indeed – thanks to the fact that is. Observe also the curious fact that this inequality goes in the opposite direction with respect to the better known Isoperimetric Inequality of Geometric Measure Theory! Indeed, the latter says (let’s say in the usual ) that (a power of) the volume of a measurable set is controlled by (a power of) the perimeter of the set; more precisely, for any measurable

where denotes the perimeter^{1} of – in case a symmetric convex body as above we would have . But in the affine context the “affine perimeter” is and is controlled by the volume instead of viceversa. This makes perfect sense: if is taken to be a cube then and so the “affine perimeter” cannot control anything. Notice also that the power of the perimeter is for the standard isoperimetric inequality and it is instead for the affine isoperimetric inequality. Informally speaking, this is related to the fact that the affine perimeter is measuring curvature too instead of just area.

So, the inequality should actually be called something like “Affine anti-Isoperimetric inequality” to better reflect this, but I don’t get to choose the names.

The inequality above is formulated for convex bodies since those are the most relevant objects for Affine Geometry. However, below we will see that Harmonic Analysis provides a sweeping generalisation of the inequality to arbitrary hypersurfaces that are not necessarily boundaries of convex bodies. Before showing this generalisation, we need to introduce Affine Fourier restriction estimates, which we do in the next section.

## 2. Affine Fourier Restriction estimates

It was noted from quite early in the history of Fourier restriction that the (allowed) range of boundedness of the Fourier restriction operator for hypersurface , given by , depends on how well-curved is. In particular, the *Knapp example*^{2} (see page 6ff. of this survey on Fourier restriction by Tao) shows that a necessary condition for the restriction inequality

we will say that a pair of exponents for which the above is an equality are __on the critical line__.

Suppose however that the Gaussian curvature is *identically vanishing* on (a portion of) – for example, you can imagine taking the hypersurface to be a truncated cone. In this case the adapted Knapp example shows that the necessary condition becomes as follows: if principal curvatures of (the eigenvalues of the shape operator…) are non-vanishing across then the necessary condition becomes

(you can check that for one recovers condition (Kn)). You can verify (by e.g. plotting the region on a Riesz diagram with axes ) that the range allowed by this condition is smaller than the one allowed by (Kn) when , which shows that "worse curvature" means "worse Fourier restriction" if you allow me this rough expression. There are other ways in which the curvature can worsen, for example if the hypersurface has points that are flatter than a non-degenerate quadratic hypersurface but not totally flat – say, the contact along any tangent line at that point is of order higher than 2.

All of this is reflected in practice in the fact that typically Fourier restriction estimates for hypersurfaces are proven under the assumption that the Gaussian curvature is bounded from below (at least in absolute value), with the constant depending implicitely on this lowerbound – and necessarily blowing up as it approaches zero, by the above conditions (that is, if the estimates reach all the way to the critical line). When the hypersurface has no lowerbound on the Gaussian curvature, things start to get messy.

Flatness of varying degrees is therefore going to be a problem for Fourier restriction, at least in the sense that the number of situations to consider increases considerably. However, clever people have thought of a way to bypass this issue and obtain general estimates that are at least partially independent of the particular surface under consideration.

The original seed goes back to Sjölin’s work on Fourier restriction to curves in , in which he showed uniform (or universal, if you prefer) restriction theorems for a large class of curves: the idea was to replace the arclength measure with a special weighted arclength measure. This weighted measure is the __Affine Invariant Arclength Measure__, the 1-dimensional cousin of the affine invariant surface measure above. I will say more about that measure in the future, but for the moment I avoid defining it entirely and observe that in curves and surfaces are the same thing, so it coincides with the affine invariant surface measure. In particular, if is a parametrisation of a curve, its curvature at is given by and its “surface” measure is the arclength measure ; therefore in this case we have

What Sjölin proved is that for lying on the critical line – that is, – and such that one has the Affine Invariant Fourier restriction estimate

notice that this estimate with these parameters is only affine invariant for on the critical line, and if one wanted affine invariant estimates for inside the boundedness region one would have to change the exponent in the density of to something that depends on themselves – in particular, one would need to use measure .

Inspired by Sjölin’s work, Carbery and Ziesler looked at hypersurfaces (possibly with “problematic” curvature) and considered affine invariant Fourier restriction estimates for these. The analogue of Sjölin’s measure is the affine invariant surface measure that we have introduced above and thus what they looked for is estimates of the form

where are on the critical line; notice that again this inequality is invariant under affine transformations (but if you go out of the critical line you need to change the exponent in the density of to retain affine invariance, as before).

An estimate of this form would be uniform (or universal) across a class of hypersurfaces (possibly only constrained by basic regularity assumptions) if the constant could be taken to be independent of the particular hypersurface – all the dependence would be subsumed in the measure . They considered whether it’s possible to establish these uniform estimates at least in the well-understood Stein-Tomas range^{3} but ran into a counterexample when considering the broadest class of hypersurfaces (simply those of regularity). Their counterexample consists of a highly oscillating surface (see Theorem 1.3 in their paper) and this shows that one cannot have uniformity across a large class of hypersurfaces *without some sort of bounded multiplicity assumption*. Since in dimensions higher than 2 the Stein-Tomas estimates are more-or-less equivalent to decay estimates for the Fourier transform of the characteristic function of the weighted hypersurface (in this case, that would be ), they went on to identify some decay estimates^{4} that, if true, imply affine invariant Stein-Tomas estimates. Furthermore, they identify classes of radial hypersurfaces in all dimensions that satisfy such estimates.

I highly recommend seeing the introduction in Carbery and Ziesler’s paper and the references therein for more information about what I briefly and roughly discussed above.

Before I close this section, let me mention that D. Oberlin has shown a weak-type Fourier restriction estimate that is uniform over all hypersurfaces in *of bounded multiplicity* (see paper for a definition). His proof is extremely short and relies on choosing a particular exponent for which the corresponding restriction estimate on the critical line can be restated in a geometric-combinatorial form (thus devoid of cancellation phenomena). More precisely, he has shown that for a hypersurface one has

where denotes the multiplicity^{5} of . The key point is that with one has and this allows one to multilinearise the adjoint extension estimate. I will present D. Oberlin’s proof in the future.

## 3. Affine Fourier Restriction implies Affine Isoperimetric Inequalities

In their paper, Carbery and Ziesler also observed that affine invariant Fourier restriction estimates are strong enough to show affine isoperimetric inequalities – which is the main thing I wanted to present today. More precisely, we will show that *any* affine invariant Fourier restriction estimate along the critical line implies the affine isoperimetric inequality for __any measurable subset of the hypersurface__ – a sensibly stronger result than the typical affine isoperimetric inequality for convex bodies!

Given a set we denote by its convex hull, that is

and by the closure of its convex hull. Then the Extended Affine Isoperimetric Inequality that we are going to show today can be stated as follows:

Definition:Let be a hypersurface. is said to satisfy the Extended Affine Isoperimetric Inequality if for every measurable subset it holds that (with )

Notice that while is a convex body by definition, __is NOT its boundary in general__! For example, if is hyperbolic it is going to be contained in the interior of . Thus the Extended Affine Isoperimetric inequality is much stronger than the Affine Isoperimetric Inequality ().

We are going to show the following.

Proposition 1:If an affine invariant Fourier restriction inequality on the critical line holds for the hypersurface , then satisfies the Extended Affine Isoperimetric inequality.In full, if are such that and we have

for every , then for every measurable we have

By the way, to recover () from the Proposition just take .

In this final section we are going to prove this Proposition, but before we do that we need a small preliminary fact.

### 3.1. Reverse Blaschke-Santaló inequality

Another important result in Affine Geometry is the Blaschke-Santaló inequality. Let be a convex symmetric body as before; its *convex dual* (or polar body) is the convex set

The Blaschke-Santaló inequality says that are dual in the following sense: for every convex symmetric body centred in the origin it holds that

We know that the constant is sharp and equality is obtained only when is any affine image of the unit ball (an ellipsoid). Surprisingly, if one is not concerned with the best constant (which for affine geometers is very important, but bear with me) the inequality can be proved quickly using just Plancherel’s theorem. Indeed, observe the following about the Fourier transform of : if we have for every , and therefore for such an we have

Using this lowerbound we get by Plancherel

from which it is immediate that (with a bad constant). This calculation will be useful below. Even more surprisingly, one can also give a completely Fourier analytic proof of the Blaschke-Santaló inequality with the optimal constant by using less trivial means. See this paper of Bianchi and Kelly for the nice proof. Alternatively, see this post of Văn Hoàng for a shorter account of the proof.

However, interestingly some sort of “affine uncertainty principle” also holds, in the form of a reverse Blaschke-Santaló inequality. That is, for it holds for some dimensional constant that

For this direction of the inequality we don’t know what the best constant is! We have a conjecture that says that the best constant should be the one given by taking to be a cube^{6}, but we don’t know how to prove it. The reverse inequality above was first proven by Mahler in 1939, with a constant that is of the conjectured one. Such bounds with bad constants are not hard to prove, and so it is fine for our purposes in this post to consider the inequality above with a bad dimensional constant elementary. Regarding the best constant however, the first huge step forward -and currently still the best result in this regard, up to the value of below- was obtained by Bourgain (of course) and Milman, who proved that for some

with the unit cube. Their paper is justly celebrated as a great achievement. It is Charlie Fefferman’s favourite paper of Bourgain! A rough sketch of the proof can be found in the Proceedings of Thiele’s Summer School of 2019.

For further information about this topic, the reader should check out these lecture notes by Ryabogin and Zvavitch, or these notes [download link] by Tao and also this post by Tao where you can find other interesting contributions by other experts in the comments.

### 3.2. Proof of Proposition 1

After much setting up, we are finally ready to prove the Proposition.

Let be a (sufficiently smooth) hypersurface and let denote its Affine Invariant Surface Measure. We assume that the Affine Fourier Restriction estimate

holds for exponents on the critical line, that is are such that . Observe that this latter condition can be rewritten as .

By duality, the adjoint (weighted) Fourier extension estimate

is also true: indeed

So, for a measurable subset take : , the RHS of the affine Fourier extension inequality, is precisely . For the LHS, let and let denote its convex dual as before; then, by the same calculation as above (Section 3.1.), if we see that since we have

Using this pointwise bound we can lowerbound

and therefore we have

Rearranging the terms we have shown

On the RHS we want instead, so we appeal to the reverse Blaschke-Santaló inequality (rB-S) (and here is where we actually need to have chosen to be the convex hull of ) to have

as we have already observed, , so if we raise both sides to the power we have the desired extended affine isoperimetric inequality ().

** Footnotes: **

^{1}: There are different ways of defining the perimeter of an arbitrary measurable set. The most common and versatile one is to define to be the total variation of the function , that is

a definition that doesn’t make sense the first time you see it until you realise that by Stoke’s theorem if you replace with a differentiable function then the integral above becomes equal to , and taking the supremum of this would then give , a more easily recognisable variation.

[go back]

^{2}: Essentially, the Knapp example is obtained by testing the Fourier extension inequality (dual to the given restriction inequality) against the characteristic function of a small cap on the surface; the conditions on the exponents are then obtained by letting the size of the cap go to zero. [go back]

^{3}: The Stein-Tomas range has endpoint along the critical line, thus and hence . [go back]

^{4}: We record here the estimate for the interested reader. Let be given by a graph ; then since and we have . Then the desired estimate is (with )

for some , some and for every . gives the classical Stein-Tomas endpoint exponent. [go back]

^{5}: For completeness, the multiplicity of is defined as follows. Assuming that is given by the graph , let ; then

[go back]

^{6}: Interestingly, there are lots of other (conjectured) minimisers for the reverse Blaschke-Santaló inequality. Besides the cube, convex bodies that give the same constant are octahedra (defined in dimension to be the unit ball with respect to norm), products of (lower dimensional) cubes and octahedra, convex duals of these sets, products of these convex duals, etc. [go back]