3 research outputs found
Incidence bounds on multijoints and generic joints
A point is a joint formed by a finite collection
of lines in if there exist at least lines in
through that span . It is known that there are
joints formed by .
We say that a point is a multijoint formed by the finite
collections of lines in
if there exist at least lines through , one from each collection,
spanning . We show that there are such points for any
field and , as well as for and any .
Moreover, we say that a point is a generic joint formed
by a finite collection of lines in if each
lines of through form a joint there. We show that, for
and any , there are
generic joints formed by , each lying in lines of
. This result generalises, to all dimensions, a (very small) part
of the main point-line incidence theorem in in
\cite{Guth_Katz_2010} by Guth and Katz.
Finally, we generalise our results in to the case of
multijoints and generic joints formed by real algebraic curves.Comment: Some errors corrected. Theorem 4.4 is now slightly stronger than its
previous version. To appear in Discrete Comput. Geo
Joints formed by lines and a k-plane, and a discrete estimate of Kakeya type
Let be a family of lines and let be a family of -planes in where is a field. In our first result we show that the number of joints formed by a -plane in together with lines in is (||||. This is the first sharp result for joints involving higher-dimensional affine subspaces, and it holds in the setting of arbitrary fields . In contrast, for our second result, we work in the three-dimensional Euclidean space , and we establish the Kakeya-type estimate
where is the set of joints formed by ; such an estimate fails in the setting of arbitrary fields. This result strengthens the known estimates for joints, including those counting multiplicities. Additionally, our techniques yield significant structural information on quasi-extremisers for this inequality