Related papers: A splitting lemma for coherent sheaves

Large formal mathematical libraries consist of millions of atomic inference steps that give rise to a corresponding number of proved statements (lemmas). Analogously to the informal mathematical practice, only a tiny fraction of such…

We introduce new flatness coefficients, which we call $\iota$-numbers, for Ahlfors $k$-regular sets in metric spaces ($k\in \mathbb{N}$). Using these coefficients for $k=1$, we characterize uniform $1$-rectifiability in rather general…

Motivated by the real version of the Gopakumar-Vafa conjecture for 3-folds, the authors introduced in [GI] the notion of local real Gromov-Witten invariants associated to local 3-folds over Real curves. This article is devoted to the proof…

We generalize the Bartsch-Li's splitting lemma at infinity for $C^2$-functionals in [2] and some later variants of it to a class of continuously directional differentiable functionals on Hilbert spaces. Different from the previous flow…

Due to the omission of a hypothesis from an elementary lemma in the author's paper "Gleason parts and point derivations for uniform algebras with dense invertible group", some of the proofs presented in that paper are flawed. We prove here…

Szemer\'edi's regularity lemma is a fundamental tool in extremal combinatorics. However, the original version is only helpful in studying dense graphs. In the 1990s, Kohayakawa and R\"odl proved an analogue of Szemer\'edi's regularity lemma…

We give the following positive answer to Gromov's question (in "Oka's principle for holomorphic sections of elliptic bundles", J. Amer. Math. Soc. 2, 851-897 (1989), 3.4.(D), page 881). THEOREM: If every holomorphic map from a compact…

We prove a conjecture of Michel--Venkatesh on joinings of distinct Linnik problems, in the setting of simultaneous quaternionic embeddings of imaginary quadratic fields having sufficiently many small split primes. This splitting condition…

A major theme in arithmetic combinatorics is proving multiple recurrence results on semigroups (such as Szemer\'edi's theorem) and this can often be done using methods of ergodic Ramsey theory. What usually lies at the heart of such proofs…

We prove a far-reaching strengthening of Szemer\'edi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such…

We survey recent work, published since 2015, on equivariant Oka theory. The main results described in the survey are as follows. Homotopy principles for equivariant isomorphisms of Stein manifolds on which a reductive complex Lie group $G$…

The main goal of this paper is proving the fixed point theorem for finite groups acting on weakly systolic complexes. As corollaries we obtain results concerning classifying spaces for the family of finite subgroups of weakly systolic…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

Our previous paper applied a lopsided version of the Lov\'asz Local Lemma that allows negative dependency graphs to the space of random injections from an $m$-element set to an $n$-element set. Equivalently, the same story can be told about…

This paper presents an approach to lemma synthesis to support advanced inductive entailment procedures based on separation logic. We first propose a mechanism where lemmas are automatically proven and systematically applied. The lemmas may…

It contains the proof of a very general $\partial\bar\partial$-lemma, together with a decomposition theorem for currents with values in a (singular) Hermitian line bundle. As a corollary, we establish the K\"ahler version on an injectivity…

The aim of these notes is to generalize Laumon's construction [18] of automorphic sheaves corresponding to local systems on a smooth, projective curve $C$ to the case of local systems with indecomposable unipotent ramification at a finite…

Microlocal sheaf theory of \cite{KS90} makes an essential use of an extension lemma for sheaves due to Kashiwara, and this lemma is based on a criterion of the same author giving conditions in order that a functor defined in $\mathbb{R}$…

The Szemer\'edi Regularity Lemma, in combination with the Blow-up Lemma, form the Regularity Method, a fundamental tool in graph embeddings, albeit restricted to very large and dense graphs. We propose an alternative vertex-partitioning…

We give a self-contained treatment of the theory of persistence modules indexed over the real line. We give new proofs of the standard results. Persistence diagrams are constructed using measure theory. Linear algebra lemmas are simplified…