Related papers: Fan's lemma via bistellar moves

The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…

A set S is independent if no two vertices from S are adjacent. In this paper we prove that if F is a collection of maximum independent sets of a graph, then there is a matching from S-{intersection of all members of F} into {union of all…

Monod proved that any continuous cohomology of a semisimple Lie group $G$ can be represented by a measurable cocycle on the associated Furstenberg boundary, which we upgraded to an alternating cocycle. In the current paper we improve that…

We explicate the combinatorial/geometric ingredients of Arthur's proof of the convergence and polynomiality, in a truncation parameter, of his non-invariant trace formula. Starting with a fan in a real, finite dimensional, vector space and…

The proximinality of certain subspaces of spaces of bounded affine functions is proved. The results presented here are some linear versions of an old result due to Mazur. For the proofs we use some sandwich theorems of Fenchel's duality…

Let $M$ be a closed, connected, orientable topological four-manifold with $H_1(M)$ nontrivial and free abelian, $b_2(M)\ne 0, 2$, and $\chi(M)\ne 0$. We show that if $G$ is a finite group of 2-rank $\le 1$ which admits a homologically…

We undertake a systematic investigation of compact aspherical manifolds with boundary; motivated by the plethora of examples in the bounded case and by the beauty of the theory in the closed case. Our main theorems give a homological…

We prove that every isometry between the unit spheres of 2-dimensional Banach spaces extends to a linear isometry of the Banach spaces. This resolves the famous Tingley's problem in the class of 2-dimensional Banach spaces.

We develop a method for constructing standard complexes which turns easy the calculation of their algebraic invariants and, as well, the precise evaluation of whether these complexes are embeddable or not in a 3-manifold. This method…

We prove that any isometry between the unit spheres of $C^2$-smooth (more generally, absolutely smooth) smooth Banach spaces extends to a linear isometry of the Banach spaces. This answers the famous Tingley's problem in the class of…

In this paper, we prove that the $3$-sphere endowed with an arbitrary Riemannian metric either contains at least two embedded minimal $2$-spheres or admits an optimal foliation by $2$-spheres. This generalizes recent results by…

We prove the following result: Let $(\mathcal{O},g_0)$ be a complete, connected 3-orbifold with uniformly positive scalar curvature, with bounded geometry, and containing no bad 2-suborbifolds. Then there is a finite collection…

We show that if a permutation statistic can be written as a linear combination of bivincular patterns, then its moments can be expressed as a linear combination of factorials with constant coefficients. This generalizes a result of…

We give a generalization of the theory of $\mathbb{Z}_2$-graded manifolds to a theory of $\mathcal{I}$-graded manifolds, where $\mathcal{I}$ is a commutative semi-ring with some additional properties. We prove Batchelor's theorem in this…

The Schwarz--Pick lemma is a fundamental result in complex analysis. It is well-known that Yau generalized it to the higher dimensional manifolds by applying his maximum principle for complete Riemannian manifolds. Jeffres obtained Schwarz…

In 1967 Herbert Scarf suggested a new proof of Brouwer's fixed point theorem based on a combinatorial analogue of Sperner's lemma. Scarf presented his arguments in very geometric language, even purely combinatorial ones. Recently H. Petri…

We define a combinatorial structure on 3-manifolds that combines the model manifolds constructed in Minsky's proof of the ending lamination conjecture with the layered triangulations defined by Jaco and Rubinstein.

In this article we give combinatorial criteria to decide whether a transitive cyclic combinatorial d-manifold can be generalized to an infinite family of such complexes, together with an explicit construction in the case that such a family…

The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete…

Tightness of a triangulated manifold is a topological condition, roughly meaning that any simplexwise linear embedding of the triangulation into euclidean space is "as convex as possible". It can thus be understood as a generalization of…