We prove that any Besicovitch set in R3 must have Hausdorff
dimension at least 5/2+ϵ0 for some small constant ϵ0>0.
This follows from a more general result about the volume of unions of tubes
that satisfy the Wolff axioms. Our proof grapples with a new "almost counter
example" to the Kakeya conjecture, which we call the SL2 example; this
object resembles a Besicovitch set that has Minkowski dimension 3 but Hausdorff
dimension 5/2. We believe this example may be an interesting object for
future study.Comment: 65 pages, 11 figures. v3: Incorporates referee suggestion