Related papers: Variations on the Tait-Kneser theorem
We present proofs of basic results, including those developed by Harold Bell, for the plane fixed point problem: does every map of a non-separating plane continuum have a fixed point? Some of these results had been announced much earlier by…
It is well known that plane curves with the same endpoints are homotopic. An analogous claim for plane curves with the same endpoints and bounded curvature still remains open. In this work we find necessary and sufficient conditions for two…
As many will agree, it feels good to complement a cup of tea by a donut or two. This sweet relationship is also a guiding principle of non-commutative geometry known as Serre Theorem. We explain the algebra behind this theorem and prove…
We introduce a notion of curvature on finite, combinatorial graphs. It can be easily computed by solving a linear system of equations. We show that graphs with curvature bounded below by $K>0$ have diameter bounded by $\mbox{diam}(G) \leq…
The famous Szemer\'{e}di-Trotter theorem states that any arrangement of $n$ points and $n$ lines in the plane determines $O(n^{4/3})$ incidences, and this bound is tight. In this paper, we prove the following Tur\'an-type result for…
The conic sections, as well as the solids obtained by revolving these curves, and many of their surprising properties, were already studied by Greek mathematicians since at least the fourth century B.C. Some of these properties come to the…
In 1965, E. C. Zeeman proved that the (+/-)-twist spin of any knotted sphere in (n-1)-space is unknotted in the n-sphere. In 1991, Y. Marumoto and Y. Nakanishi gave an alternate proof of Zeeman's theorem by using the moving picture method.…
A classical theorem of Riemannian geometry, due in its original form to Cartan, states that the Taylor expansion of the metric in geodesic normal coordinates is a universal formal power series involving only the symmetrizations of the…
Steinhaus conjectured that every closed oriented $C^1$-curve has a pair of anti-parallel tangents. Porter disproved the conjecture by showing that there exist curves with no anti-parallel tangents. Colin Adams rised the question of whether…
Starting with a $\mathbb{C}^*$-valued cocycle on the global quotient orbifold $X // G$, we apply transgression techniques for 2-gerbes, as developed by Lupercio and Uribe, to construct a gerbe on the orbifold loop space $\mathcal{L}(X//G)$.…
The Bar\'at-Thomassen conjecture asserts that for every tree $T$ on $m$ edges, there exists a constant $k_T$ such that every $k_T$-edge-connected graph with size divisible by $m$ can be edge-decomposed into copies of $T$. So far this…
The topological Tverberg theorem claims that for any continuous map of the (q-1)(d+1)-simplex to R^d there are q disjoint faces such that their images have a non-empty intersection. This has been proved for affine maps, and if $q$ is a…
We define homology of ternary algebras satisfying axioms derived from particle scattering or, equivalently, from the third Reidemeister move. We show that ternary quasigroups satisfying these axioms appear naturally in invariants of…
We use the invariant theory of binary quartics to give a new formula for the Cassels-Tate pairing on the $2$-Selmer group of an elliptic curve. Unlike earlier methods, our formula does not require us to solve any conics. An important role…
Dasbach and Lin proved a "volumish theorem" for alternating links. We prove the analogue for alternating link diagrams on surfaces, which provides bounds on the hyperbolic volume of a link in a thickened surface in terms of coefficients of…
Conjugate line parametrizations of surfaces were first discretized almost a century ago as quad meshes with planar faces. With the recent development of discrete differential geometry, two discretizations of principal curvature line…
We introduce four new elementary short proofs of the famous K\"onig's theorem which characterizes bipartite graphs by absence of odd cycles.
Michael Handel proved in [7] the existence of a fixed point for an orientation preserving homeomorphism of the open unit disk that can be extended to the closed disk, provided that it has points whose orbits form an oriented cycle of links…
The Petrov type D equation imposed on the 2-metric tensor and the rotation scalar of a cross-section of an isolated horizon can be used to uniquely distinguish the Kerr - (anti) de Sitter spacetime in the case the topology of the…
The nonorientable four-ball genus of a knot $K$ in $S^3$ is the minimal first Betti number of nonorientable surfaces in $B^4$ bounded by $K$. By amalgamating ideas from involutive knot Floer homology and unoriented knot Floer homology, we…