Related papers: Thurston's broken windows only theorem revisited

Given an ample Hausdorff groupoid $G$, a unital commutative ring $R$, and a discrete twist $(\Sigma,i,q)$, we establish a generalised uniqueness theorem for the twisted Steinberg algebra $A_R(G;\Sigma)$. By applying this theorem when $G$ is…

The purpose of this article is to give a proof of the Orbifold Theorem announced by Thurston in late 1981: If $O$ is a compact, connected, orientable, irreducible and topologically atoroidal 3-orbifold with non-empty ramification locus,…

This is a new and short proof of the main theorem of classical structure tree theory. Namely, we show the existence of certain automorphism-invariant tree-decompositions of graphs based on the principle of removing finitely many edges. This…

This is an expository paper giving a proof of the existence and uniqueness of smooth structures (hence also PL structures) on topological surfaces. Most published proofs rely on the topological Schoenflies theorem, but here we use instead…

Brouwer's fan theorem states that every bar is a uniform bar. We give an overview of the status of this axiom in Bishop's constructive mathematics. In particular, we describe the relationship between the fan theorem, the weak K\"onig lemma,…

This paper has been withdrawn by the author, as the proof of Theorem 3.2 contains a flaw; subsequently, both it and Theorem 3.3 are not known to hold. The content of Section 5 has been improved and expanded upon in two separate papers. The…

The main theorem states that any complete connected Riemannian manifold of bounded geometry can be isometrically realized as a leaf with trivial holonomy in a compact Riemannian foliated space.

Every element in the first cohomology group of a 3--manifold is dual to embedded surfaces. The Thurston norm measures the minimal `complexity' of such surfaces. For instance the Thurston norm of a knot complement determines the genus of the…

The truncation operation facilitates the articulation and analysis of several aspects of the structure of archimedean vector lattices; we investigate two such aspects in this article. We refer to archimedean vector lattices equipped with a…

The nth relative Kauffman bracket skein modules are defined and two theorems are given relating them to the Kauffman bracket skein module of a 3-manifold. The first theorem covers the case when the 3-manifold is split along a separating…

In the paper Optimal Dual Frames for Probabilistic Erasures, the authors have given conditions under which the canonical dual is claimed to be the unique probability optimal dual for 1-erasure reconstruction. In this paper, we demonstrate…

In this paper we consider Kakutani's extension of the Brouwer fixed point theorem within the framework of Bishop's constructive mathematics. Kakutani's fixed point theorem is classically equivalent to Brouwer's fixed point theorem. The…

We proved a truncated second main theorem of level one with explicit exceptional sets for analytic maps into $\mathbb P^2$ intersecting the coordinate lines with sufficiently high multiplicities. As applications, we studied some cases of…

We show that the problem of tiling the Euclidean plane with a finite set of polygons (up to translation) boils down to prove the existence of zeros of a non-negative convex function defined on a finite-dimensional simplex. This function is…

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…

Karush's proof of McMillan's theorem is recast as an argument involving polynomials with non-commuting indeterminates certain evaluations of which yield the Kraft sums of codes, proving a strengthened version of McMillan's theorem.

Motivated by an open problem from graph drawing, we study several partitioning problems for line and hyperplane arrangements. We prove a ham-sandwich cut theorem: given two sets of n lines in R^2, there is a line l such that in both line…

We prove a vanishing theorem for the twisted de Rham cohomology of a compact manifold.

By using Brownian motion and stochastic calculus, we establish a second main theorem for holomorphic curves into a projective subvariety $V\subset\mathbb P^n(\mathbb C)$ with an arbitrary family $\mathcal Q$ of $q$ hypersurfaces…

In this paper we present a surprisingly short proof of Minkowski's second theorem. The author hopes there is no mistake in it, though the argument seems to be too plain to contain one. Also, we apply the main construction of the proof to…