14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

124 <strong>Convex</strong> Bodies<br />

P Q<br />

.<br />

.<br />

.<br />

.<br />

Fig. 7.1. Translative equidissectability of rectangles<br />

Remark. The volume or Jordan measure on C can be extended in two ways to a<br />

valuation on L(C). First, by Groemer’s extension theorem. Second, by the restriction<br />

of the Jordan measure on J which is a valuation on J to L(C) ⊆ J . The uniqueness<br />

part of Groemer’s theorem implies that both extensions coincide.<br />

Comparison of Volumes by Sections <strong>and</strong> Projections; the Problems of Busemann-<br />

Petty <strong>and</strong> Shephard <strong>and</strong> the Slicing Problem<br />

Given two convex bodies C, D, how do their volumes compare? More precisely,<br />

what conditions on sections or projections of C <strong>and</strong> D guarantee that V (C) ≤ V (D)?<br />

A particularly attractive problem in this context is the following problem of<br />

Busemann-Petty [184], where v(·) is the (d − 1)-dimensional volume.<br />

Problem 7.2. Let C, D ∈ Cp be two o-symmetric convex bodies such that<br />

(13) v(C ∩ H) ≤ v(D ∩ H)<br />

for each (d − 1)-dimensional linear subspace H of E d . Does it follow that V (C) ≤<br />

V (D)?<br />

This problem has attracted a good deal of interest over the last two decades, so we<br />

give the main steps of its solution:<br />

The answer is no for:<br />

d ≥ 12: Larman <strong>and</strong> Rogers [629]<br />

d ≥ 10: Ball [48]<br />

d ≥ 7: Giannopoulos [373], Bourgain [159]<br />

d ≥ 5: Papadimitrakis [785], Gardner [358], Zhang [1043]<br />

The answer is yes for:<br />

d = 3: Gardner [357]<br />

d = 4: Zhang [1044]<br />

A unified solution for all dimensions using Fourier analysis was given by Gardner,<br />

Koldobsky <strong>and</strong> Schlumprecht [361]. The answers are based on the notion of intersection<br />

body, introduced by Lutwak [668]. Use is made of the following interesting<br />

result of Lutwak: The solution of the Busemann-Petty problem in E d is positive if<br />

R<br />

l<br />

T<br />

l<br />

S

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!