Related papers: The existence of thick triangulations -- an "eleme…
We give three new proofs of the triangle inequality in Euclidean Geometry. There seems to be only one known proof at the moment. It is due to properties of triangles, but our proofs are due to circles or ellipses. We aim to prove the…
This is an example on the cohomology of threefolds.
We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to…
Unimodular triangulations of lattice polytopes arise in algebraic geometry, commutative algebra, integer programming and, of course, combinatorics. In this article, we review several classes of polytopes that do have unimodular…
We prove that for a given flat surface with conical singularities, any pair of geometric triangulations can be connected by a chain of flips.
Given any nondegenerate k-dimensional minimal submanifold K of codimension greater than 1, we prove the existence of families of constant mean curvature submanifolds, with mean curvature varying from one member of the family to another,…
We prove compactness of solutions to some fourth order equations with exponential nonlinearities on four manifolds. The proof is based on a refined bubbling analysis, for which the main estimates are given in integral form. Our result is…
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…
We introduce the concept of pseudo-trisections of smooth oriented compact 4-manifolds with boundary. The main feature of pseudo-trisections is that they have lower complexity than relative trisections for given 4-manifolds. We prove…
We present a self-contained short proof of the seminal result of Dillencourt (SoCG 1987 and DCG 1990) that Delaunay triangulations, of planar point sets in general position, are 1-tough. An important implication of this result is that…
We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of…
This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete…
We investigate the classification of topological quandles on some simple manifolds. Precisely we classify all Alexander quandle structures, up to isomorphism, on the real line and the unit circle. For the closed unit interval $[0, 1]$, we…
We study the rigidity of compact submanifolds of Riemannian manifolds of arbitrary codimension that satisfy a sharp pinching condition involving the norm of the second fundamental form and the mean curvature. Without assuming that the…
We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be…
On objects of a triangulated category with a stability condition, we construct a topology.
We prove thin-thick decompositions, for the class of Hardy martingales and thereby strengthen its square function characterization. We apply the underlying method to several classical martingale inequalities, for which we give new proofs .
We revisit here a fundamental result on planar triangulations, namely that the flip distance between two triangulations is upper-bounded by the number of proper intersections between their straight-segment edges. We provide a complete and…
It is proved that a triangulation of a polyhedron can always be transformed into any other triangulation of the polyhedron by using only elementary moves. One consequence is that an additive function (valuation) defined only on simplices…
Given a compact oriented triangulated $3$-manifold we find a non-trivial condition satisfied by certain labelings of the tetrahedra by elements of an arbitrary abelian group which we call angle structures. Smoothness of the manifold is used…