Related papers: A splitting lemma for coherent sheaves

A natural requirement of many distributed structures is fault-tolerance: after some failures, whatever remains from the structure should still be effective for whatever remains from the network. In this paper we examine spanners of general…

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…

Orlov's famous representability theorem asserts that any fully faithful functor between the derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. This result has been extended by Lunts and Orlov…

These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…

Asymptotic separation index is a parameter that measures how easily a Borel graph can be approximated by its subgraphs with finite components. In contrast to the more classical notion of hyperfiniteness, asymptotic separation index is…

We consider some well-behaved cases of the gluing formalism for punctured stable log maps of Abramovich-Chen-Gross-Siebert. This gives a gluing formula for log Gromov-Witten invariants in a diverse set of cases; in particular, the gluing…

The stochastic sewing lemma recently introduced by Le~(2020) allows to construct a unique limit process from a doubly indexed stochastic process that satisfies some regularity. This lemma is stated in a given probability space on which…

The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs. At present, one of its biggest challenges is to effectively prove entailments containing…

The name of Oka principle, or Oka-Grauert principle, is traditionally used to refer to the holomorphic incarnation of the homotopy principle: on a Stein space, every problem that can be solved in the continuous category, can be solved in…

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…

Over the past decade, the class of Oka manifolds has emerged from Gromov's seminal work on the Oka principle. Roughly speaking, Oka manifolds are complex manifolds that are the target of "many" holomorphic maps from affine spaces. They are…

We use thin position of Heegaard splittings to give a new proof of Haken's Lemma that a Heegaard surface of a reducible manifold is reducible and of Scharlemann's ``Strong Haken Theorem'': a Heegaard surface for a 3-manifold may be isotoped…

We prove a warped product splitting theorem for manifolds with Ricci curvature bounded from below in the spirit of [Croke-Kleiner, \emph{Duke Math.\;J}.\;(1992)], but instead of asking that one boundary component is compact and mean-convex,…

The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be weakened. An…

This is the first of a series of papers on the $L^2$-theory for formally integrable structures. It is devoted to constructing a resolution of the solution sheaf for a class of overdetermined systems introduced by L. H{\"o}rmander. A…

The Lov\'{a}sz Local Lemma is a very powerful tool in probabilistic combinatorics, that is often used to prove existence of combinatorial objects satisfying certain constraints. Moser and Tardos have shown that the LLL gives more than just…

In the first part of the paper, we prove a fractional fundamental (du Bois-Reymond) lemma and a fractional variant of the integration by parts formula. The proof of the second result is based on an integral representation of functions…

We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes.…

We give a brief account on a basic result (Lemma \ref{lem2}) which is a very useful tool in proving various convergence theorems in the framework of the iterative approximation of fixed points of demicontractive mappings in Hilbert spaces.…

The blow-up lemma states that a system of super-regular pairs contains all bounded degree spanning graphs as subgraphs that embed into a corresponding system of complete pairs. This lemma has far-reaching applications in extremal…