Abstract
One of the most important and useful examples in discrete geometry is a finite sequence of points on the moment curve γ(t) = (t, t2, t3, …, td) or, more generally, on a strictly monotone curve in ℝd. These sequences as well as the ambient curve itself can be described in terms of universality properties and we will study the question: “What is a universal sequence of oriented and unoriented lines in d-space”.
We give partial answers to this question, and to the analogous one for k-flats. It turns out that, like the case of points, the number of universal configurations is bounded by a function of d, but unlike the case of points, there are a large number of distinct universal finite sequences of lines. We show that their number is at least 2d−1 − 2 and at most (d − 1)!. However, like for points, in all dimensions except d = 4, there is essentially a unique continuous example of universal family of lines. The case d = 4 is left as an open question.
References
N. Alon, The number of polytopes, configurations and real matroids, Mathematika 33 (1986), 62–71.
B. Bukh, J. Matoušek and G. Nivasch, Lower bounds on weak ε-nets and stair convexity, Israel Journal of Mathematics 182 (2011), 199–228.
P. Erdős and Gy. Szekeres, A combinatorial problem in geometry, Compositio Mathematica 2 (1935), 463–470.
P. Erdős and Gy. Szekeres, On some extremum problems in elementary geometry, Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Mathematica 3 (1960), 53–62.
J. E. Goodman and R. Pollack, Upper bounds for configurations and polytopes in Rd, Discrete & Computational Geometry 1 (1986), 219–227.
E. R. Heineman, Generalized Vandermonde determinants, Transactions of the American Mathematical Society 31 (1929), 464–476.
J. W. Milnor, On the Betti numbers of real algebraic varieties, Proceedings of the American Mathematical Society 15 (1964), 275–280.
N. Mnëv, The universality theorems on the classification problem of configuration varieties and convex polytopes varieties, in Topology and geometry—Rohlin Seminar, Lecture Notes in Mathematics, Vol. 1346, Springer, Berlin, 1988, pp. 527–543
O. A. Oleinik and I. B. Petrovskii, On the topology of real albebraic surfaces, Izvestiya Akademii Nauk SSSR 13 (1949), 389–402.
A. Pór, Universality of vector sequences and universality of Tverberg partitions, https://arxiv.org/abs/1805.07197.
J. Radon, Menger konvexen Körper, die einen gemeinsamen Punkt enthalten, Mathematische Annalen 83 (1921), 113–115.
F. P. Ramsey, On a problem of formal logic, Proceedings of the London Mathematical Society 30 (1929), 264–286.
J. Richter-Gebert, Realization Spaces of Polytopes, Lecture Notes in Mathematics, Vol. 1643, Springer, Berlin, 1996.
B. Sturmfels, Cyclic polytopes and d-order curves, Geometriae Dedicata 24 (1987), 103–107.
R. Thom, Sur l’homologie des variétés algébriques réelles. in Differential and Combinatorial Topology, Princeton University Press, Princeton, NJ, 1965, pp. 255–265.
Acknowledgements
The research of I.B. was partially supported by Hungarian National Research Grants 131529, 131696 and 133819, and the research of G.K. by ERC advanced grant 834735 and by ISF grant 2669/21. We thank the anonymous referee for careful reading and for useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Nati Linial for his friendship and influence, and for his vision of graphs as geometric objects
Rights and permissions
About this article
Cite this article
Bárány, I., Kalai, G. & Pór, A. Universal sequences of lines in ℝd. Isr. J. Math. 256, 35–60 (2023). https://doi.org/10.1007/s11856-023-2504-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-023-2504-x