<p>This paper studies the structure of Kakeya sets in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{R}^{3}$</EquationSource> </InlineEquation>. We show that for every Kakeya set <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>K</mi> <mo>⊂</mo> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$K\subset \mathbb{R}^{3}$</EquationSource> </InlineEquation>, there exist well-separated scales <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mn>0</mn> <mo>&lt;</mo> <mi>δ</mi> <mo>&lt;</mo> <mi>ρ</mi> <mo>≤</mo> <mn>1</mn> </math></EquationSource> <EquationSource Format="TEX">$0&lt;\delta &lt;\rho \leq 1$</EquationSource> </InlineEquation> so that the <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> <EquationSource Format="TEX">$\delta $</EquationSource> </InlineEquation> neighborhood of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$K$</EquationSource> </InlineEquation> is almost as large as the <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq8.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> <EquationSource Format="TEX">$\rho $</EquationSource> </InlineEquation> neighborhood of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$K$</EquationSource> </InlineEquation>. As a consequence, every Kakeya set in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{R}^{3}$</EquationSource> </InlineEquation> has Assouad dimension 3 and every Ahlfors-David regular Kakeya set in <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{R}^{3}$</EquationSource> </InlineEquation> has Hausdorff dimension 3. We also show that every Kakeya set in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1336_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{R}^{3}$</EquationSource> </InlineEquation> that has “stably equal” Hausdorff and packing dimension (this is a new notion, which is introduced to avoid certain obvious obstructions) must have Hausdorff dimension 3. The above results follow from certain multi-scale structure theorems for arrangements of tubes and rectangular prisms in three dimensions, and a generalization of the sticky Kakeya theorem previously proved by the authors.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Assouad dimension of Kakeya sets in \(\mathbb{R}^{3}\)

  • Hong Wang,
  • Joshua Zahl

摘要

This paper studies the structure of Kakeya sets in R 3 $\mathbb{R}^{3}$ . We show that for every Kakeya set K R 3 $K\subset \mathbb{R}^{3}$ , there exist well-separated scales 0 < δ < ρ 1 $0<\delta <\rho \leq 1$ so that the δ $\delta $ neighborhood of K $K$ is almost as large as the ρ $\rho $ neighborhood of K $K$ . As a consequence, every Kakeya set in R 3 $\mathbb{R}^{3}$ has Assouad dimension 3 and every Ahlfors-David regular Kakeya set in R 3 $\mathbb{R}^{3}$ has Hausdorff dimension 3. We also show that every Kakeya set in R 3 $\mathbb{R}^{3}$ that has “stably equal” Hausdorff and packing dimension (this is a new notion, which is introduced to avoid certain obvious obstructions) must have Hausdorff dimension 3. The above results follow from certain multi-scale structure theorems for arrangements of tubes and rectangular prisms in three dimensions, and a generalization of the sticky Kakeya theorem previously proved by the authors.