三维稠密点线构型中的团簇

作为著名的 Szemerédi--Trotter 定理的一个变体，Guth 和 Katz 证明了 $\mathbb{R}^3$ 中 $m$ 个点与 $n$ 条直线，若共面直线至多 $\sqrt{n}$ 条，则在 $n^{1/2}\leq m\leq n^{3/2}$ 时确定的关联数至多为 $O(m^{1/2}n^{3/4})$。该上界渐近紧，并在 Erdős 不同距离问题中有重要应用。我们通过证明：当 $m \ll n$ 时，如此大的稠密点线构型必含一个处于一般位置的 $k$-团簇，来刻画朝向 Guth--Katz 界的极值构造。这是 Solymosi 关于平面上极值 Szemerédi--Trotter 构造结果的一个类比。