The Topology of the set of line Transversals

Otfried Cheong,Xavier Goaoc,Andreas F. Holmsen

DOI: https://doi.org/10.1007/s00454-023-00573-2

2024-09-05

Abstract:We prove that for any set $F$ of $n\ge 2$ pairwise disjoint open convex sets in $\mathbb{R}^3$, the connected components of the set of lines intersecting every member of $F$ are contractible. The same result holds for directed lines.

Metric Geometry

What problem does this paper attempt to address?

A colorful Goodman-Pollack-Wenger theorem

Andreas F. Holmsen

DOI: https://doi.org/10.1007/s00454-023-00573-2

2024-09-05

Abstract:Hadwiger's transversal theorem gives necessary and sufficient conditions for the existence of a line transversal to a family of pairwise disjoint convex sets in the plane. These conditions were subsequently generalized to hyperplane transversals to general families of convex sets in $\mathbb{R}^d$ by Goodman, Pollack, and Wenger. Here we show a colorful genealization of their theorem which confirms a conjecture of Arocha, Bracho, and Montejano. The proof is topological and uses the Borsuk-Ulam theorem.

Combinatorics,Metric Geometry
Topology of the Bend Loci of Convex Piecewise Linear Functions

Jidong Wang

DOI: https://doi.org/10.48550/arXiv.2306.15147

2023-06-27

Combinatorics

Abstract:This short article serves as the appendix for [Tran and Wang, 2022]. We prove that a complete intersection of $n$ generic polyhedral hypersurfaces in $\mathbb{R}^d$ is $(d-n-1)$-connected for $d\geq 2, d>n$.
Topological Drawings meet Classical Theorems from Convex Geometry

Helena Bergold,Stefan Felsner,Manfred Scheucher,Felix Schröder,Raphael Steiner

2024-07-27

Abstract:In this article we discuss classical theorems from Convex Geometry in the context of topological drawings and beyond. In a simple topological drawing of the complete graph $K_n$, any two edges share at most one point: either a common vertex or a point where they cross. Triangles of simple topological drawings can be viewed as convex sets. This gives a link to convex geometry. As our main result, we present a generalization of Kirchberger's Theorem that is of purely combinatorial nature. It turned out that this classical theorem also applies to "generalized signotopes" - a combinatorial generalization of simple topological drawings, which we introduce and investigate in the course of this article. As indicated by the name they are a generalization of signotopes, a structure studied in the context of encodings for arrangements of pseudolines. We also present a family of simple topological drawings with arbitrarily large Helly number, and a new proof of a topological generalization of Carathéodory's Theorem in the plane and discuss further classical theorems from Convex Geometry in the context of simple topological drawings.

Combinatorics,Computational Geometry,Discrete Mathematics
A necessary and sufficient condition for $k$-transversals

Daniel McGinnis,Nikola Sadovek

2024-11-12

Abstract:We establish a necessary and sufficient condition for a family of convex sets in $\mathbb{R}^d$ to admit a $k$-transversal, for any $0 \le k \le d-1$. This result is a common generalization of Helly's theorem ($k=0$) and the Goodman-Pollack-Wenger theorem ($k=d-1$). Additionally, we obtain an analogue in the complex setting by characterizing the existence of a complex $k$-transversal to a family of convex sets in $\mathbb{C}^d$, extending the work of McGinnis ($k=d-1$). Our approach employs a Borsuk-Ulam-type theorem on Stiefel manifolds.

Combinatorics,Metric Geometry
Topological spaces satisfying a closed graph theorem

Dominikus Noll

2024-04-04

Abstract:We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed graph theorem, and we compare closed graph and open mapping spaces.

General Topology
The pluri-fine topology is locally connected

Said El Marzguioui,Jan Wiegerinck

DOI: https://doi.org/10.48550/arXiv.math/0512241

2005-12-13

Abstract:We prove that the pluri-fine topology on any open set $\Omega$ in $\mathbb{C}^{n}$ is locally connected. This answers a question by Fuglede in [4]. See also Bedford [6].

Complex Variables
Path-connectedness and topological closure of some sets related to the non-compact Stiefel manifold

Nizar El Idrissi,Samir Kabbaj,Brahim Moalige

2023-06-20

Abstract:If $H$ is a Hilbert space, the non-compact Stiefel manifold $St(n,H)$ consists of independent $n$-tuples in $H$. In this article, we contribute to the topological study of non-compact Stiefel manifolds, mainly by proving two results on the path-connectedness and topological closure of some sets related to the non-compact Stiefel manifold. In the first part, after introducing and proving an essential lemma, we prove that $\bigcap_{j \in J} \left( U(j) + St(n,H) \right)$ is path-connected by polygonal paths under a condition on the codimension of the span of the components of the translating $J$-family. Then, in the second part, we show that the topological closure of $St(n,H) \cap S$ contains all polynomial paths contained in $S$ and passing through a point in $St(n,H)$. As a consequence, we prove that $St(n,H)$ is relatively dense in a certain class of subsets which we illustrate with many examples from frame theory coming from the study of the solutions of some linear and quadratic equations which are finite-dimensional continuous frames. Since $St(n,L^2(X,\mu;\mathbb{F}))$ is isometric to $\mathcal{F}_{(X,\Sigma,\mu),n}^\mathbb{F}$, this article is also a contribution to the theory of finite-dimensional continuous Hilbert space frames.

Functional Analysis,General Topology
Global Topology of Hyperbolic Components: Cantor Circle Case

Xiaoguang Wang,Yongcheng Yin

DOI: https://doi.org/10.1112/plms.12058

2017-01-01

Proceedings of the London Mathematical Society

Abstract:We prove that in the moduli space Md of degree d2 rational maps, any hyperbolic component in the disconnectedness locus and of Cantor circle type is a finite quotient of R4d-4-nxTn, where n is determined by dynamics. The proof uses some ideas from Riemann surface theory (Abel's Theorem), dynamical system and algebraic topology.
Notes on Convex Transversals

Lena Schlipf

DOI: https://doi.org/10.48550/arXiv.1211.5107

2012-11-22

Abstract:In this paper, we prove the problem of stabbing a set of disjoint bends by a convex stabber to be NP-hard. We also consider the optimization version of the convex stabber problem and prove this problem to be APX-hard for sets of line segments.

Computational Geometry
Topological relations between directed lines and simple geometries

Yong Gao,Yi Zhang,Yuan Tian,JingNong Weng

DOI: https://doi.org/10.1007/s11431-008-5010-9

2008-01-01

Science in China Series E: Technological Sciences

Abstract:Directed lines are fundamental geometric elements to represent directed linear entities. The representations of their topological relations are so different from those of simple lines that they cannot be solved exactly with normal methods. In this paper, a new model based on point-set topology is defined to represent the topological relations between directed lines and simple geometries. Through the intersections between the start-points, end-points, and interiors of the directed lines and the interiors, boundaries, and exteriors of the simple geometries, this model identifies 5 cases of topological relations between directed lines and points, 39 cases of simple lines, and 26 cases of simple polygons. Another 4 cases of simple lines and one case of simple polygons are distinguished if considering the exteriors of the directed lines. All possible cases are furthermore grouped into an exclusive and complete set containing 11 named predicts. And the conceptual neighborhood graph is set up to illustrate their relationship and similarity. This model can provide a basis for natural language description and spatial query language to present the dynamic semantics of directed lines relative to the background features.
Convex hypersurface theory in contact topology

Ko Honda,Yang Huang

2023-06-25

Abstract:We lay the foundations of convex hypersurface theory (CHT) in contact topology, extending the work of Giroux in dimension three. Specifically, we prove that any closed hypersurface in a contact manifold can be $C^0$-approximated by a convex one. We also prove that a $C^0$-generic family of mutually disjoint closed hypersurfaces parametrized by $t \in [0,1]$ is convex except at finitely many times $t_1, \dots, t_N$, and that crossing each $t_i$ corresponds to a bypass attachment. As applications of CHT, we prove the existence of compatible (relative) open book decompositions for contact manifolds and an existence h-principle for codimension 2 contact submanifolds.

Symplectic Geometry
On a transversal theorem of Montejano and Karasev

Andreas F. Holmsen

DOI: https://doi.org/10.1007/s00454-023-00573-2

2024-09-05

Abstract:We give a new proof of a theorem of Montejano and Karasev regarding $k$-dimensional transversals to small families of convex sets. While their proof uses technical algebraic and topological tools, our proof is a simple application of the Borsuk-Ulam theorem. Additionally, in certain cases our result is stronger than the Montejano-Karasev theorem.

Combinatorics
Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

Feng Luo,Stephan Tillmann

2013-01-01

Abstract:We define a new combinatorial class of triangulations of closed 3-manifolds, satisfying a weak version of 0-efficiency combined with a weak version of minimality, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3-manifold from the existence of non-smooth maxima of the volume function on the space of circle-valued angle structures.
Topological Conjugacy of Non-hyperbolic Linear Flows

Tongmu He

DOI: https://doi.org/10.48550/arXiv.1703.04413

2017-03-13

Dynamical Systems

Abstract:The topological equivalence classification for linear flows on $\mathbb{R}^n$ had been completely solved by Kuiper and independently Ladis in 1973. However, Ladis' proof was published in a Russian journal which isn't easily available, Kuiper's proof is more topological and a little bit subtle. Aiming at topological conjugacy classification, mainly based on the ideas of Kuiper, we introduce other techniques and try to present an elementary and self-contained proof just using linear algebra and elementary topology.
Reconstruction of the core convex topology and its applications in vector optimization and convex analysis

Ashkan Mohammadi,Majid Soleimani-damaneh

DOI: https://doi.org/10.48550/arXiv.1704.06932

2017-04-23

Abstract:In this paper, the core convex topology on a real vector space $X$, which is constructed just by $X$ operators, is investigated. This topology, denoted by $\tau_c$, is the strongest topology which makes $X$ into a locally convex space. It is shown that some algebraic notions $(closure ~ and ~ interior)$ existing in the literature come from this topology. In fact, it is proved that algebraic interior and vectorial closure notions, considered in the literature as replacements of topological interior and topological closure, respectively, in vector spaces not necessarily equipped with a topology, are actually nothing else than the interior and closure with the respect to the core convex topology. We reconstruct the core convex topology using an appropriate topological basis which enables us to characterize its open sets. Furthermore, it is proved that $(X,\tau_c)$ is not metrizable when X is infinite-dimensional, and also it enjoys the Hine-Borel property. Using these properties, $\tau_c$-compact sets are characterized and a characterization of finite-dimensionality is provided. Finally, it is shown that the properties of the core convex topology lead to directly extending various important results in convex analysis and vector optimization from topological vector spaces to real vector spaces.

Optimization and Control
Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles

Yan Alves Radtke,Stefan Felsner,Johannes Obenaus,Sandro Roch,Manfred Scheucher,Birgit Vogtenhuber

DOI: https://doi.org/10.48550/arXiv.2310.19711

2023-10-30

Combinatorics

Abstract:Flip graphs of combinatorial and geometric objects are at the heart of many deep structural insights and connections between different branches of discrete mathematics and computer science. They also provide a natural framework for the study of reconfiguration problems. We study flip graphs of arrangements of pseudolines and of arrangements of pseudocircles, which are combinatorial generalizations of lines and circles, respectively. In both cases we consider triangle flips as local transformation and prove conjectures regarding their connectivity. In the case of $n$ pseudolines we show that the connectivity of the flip graph equals its minimum degree, which is exactly $n-2$. For the proof we introduce the class of shellable line arrangements, which serve as reference objects for the construction of disjoint paths. In fact, shellable arrangements are elements of a flip graph of line arrangements which are vertices of a polytope (Felsner and Ziegler; DM 241 (2001), 301--312). This polytope forms a cluster of good connectivity in the flip graph of pseudolines. In the case of pseudocircles we show that triangle flips induce a connected flip graph on \emph{intersecting} arrangements and also on cylindrical intersecting arrangements. The result for cylindrical arrangements is used in the proof for intersecting arrangements. We also show that in both settings the diameter of the flip graph is in $\Theta(n^3)$. Our constructions make essential use of variants of the sweeping lemma for pseudocircle arrangements (Snoeyink and Hershberger; Proc.\ SoCG 1989: 354--363). We finally study cylindrical arrangements in their own right and provide new combinatorial characterizations of this class.
Reconfiguration of Independent Transversals

Pjotr Buys,Ross J. Kang,Kenta Ozeki

2024-07-05

Abstract:Given integers $\Delta\ge 2$ and $t\ge 2\Delta$, suppose there is a graph of maximum degree $\Delta$ and a partition of its vertices into blocks of size at least $t$. By a seminal result of Haxell, there must be some independent set of the graph that is transversal to the blocks, a so-called independent transversal. We show that, if moreover $t\ge2\Delta+1$, then every independent transversal can be transformed within the space of independent transversals to any other through a sequence of one-vertex modifications, showing connectivity of the so-called reconfigurability graph of independent transversals. This is sharp in that for $t=2\Delta$ (and $\Delta\ge 2$) the connectivity conclusion can fail. In this case we show furthermore that in an essential sense it can only fail for the disjoint union of copies of the complete bipartite graph $K_{\Delta,\Delta}$. This constitutes a qualitative strengthening of Haxell's theorem.

Combinatorics,Data Structures and Algorithms
Two Applications of Topological Fixed Point Theory

Chaitanya Ambi

2023-04-19

Abstract:We give a new proof of Cartan's fixed point theorem using topological fixed point theory. For an odd dimensional, simply connected and complete manifold having non-positive curvature, we further prove that every isometry with finite order not only fixes a point, but also maps a pencil of geodesics to itself. We apply similar techniques to the automorphism group of a smoothly bounded domain in the complex plane having connectivity three or more. We show that any prime dividing the order of this finite group must divide a certain integer depending only on the connectivity of the domain.

Differential Geometry
Lovasz' Conjecture and Other Applications of Topological Methods in Discrete Mathematics

Jingsi Hou,Guangyan Huang,Sammy Suliman,Haoran Yan

2024-05-02

Abstract:In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as combinatorics, graph theory, and theoretical computer science. In this paper, we seek to provide an introduction to the relevant topological concepts to non-specialists, as well as a selection of some existing applications to theorems in discrete mathematics.

History and Overview,Combinatorics

The Topology of the set of line Transversals

A colorful Goodman-Pollack-Wenger theorem

Topology of the Bend Loci of Convex Piecewise Linear Functions

Topological Drawings meet Classical Theorems from Convex Geometry

A necessary and sufficient condition for $k$-transversals

Topological spaces satisfying a closed graph theorem

The pluri-fine topology is locally connected

Path-connectedness and topological closure of some sets related to the non-compact Stiefel manifold

Global Topology of Hyperbolic Components: Cantor Circle Case

Notes on Convex Transversals

Topological relations between directed lines and simple geometries

Convex hypersurface theory in contact topology

On a transversal theorem of Montejano and Karasev

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

Topological Conjugacy of Non-hyperbolic Linear Flows

Reconstruction of the core convex topology and its applications in vector optimization and convex analysis

Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles

Reconfiguration of Independent Transversals

Two Applications of Topological Fixed Point Theory

Lovasz' Conjecture and Other Applications of Topological Methods in Discrete Mathematics