Related papers: A splitting lemma for coherent sheaves

We use semiclassical propagation of singularities to give a general method for gluing together resolvent estimates. As an application we prove estimates for the analytic continuation of the resolvent of a Schr\"odinger operator for certain…

We show that a closed subscheme of a given locally noetherian scheme can be constructed by prescribing it germs at all points of the ambient scheme in a manner consistent with specialization of points, provided the resulting set of all…

Inspired by the works in linkage theory of modules, we define the concept of linkage of sheaves of modules as a generalization of linkage of modules. Thus, we expressed it in geometry algebraic language. We show that the linkedness of…

In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…

We give the p-adic and F_q((t)) analogue of the real van der Corput Lemma, where the real condition of sufficient smoothness for the phase is replaced by the condition that the phase is a convergent power series. This van der Corput style…

In a series of four papers we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$…

An infinite log-gas formalism, due to Dyson, and independently Fogler and Shklovskii, is applied to the computation of conditioned gap probabilities at the hard and soft edges of random matrix $\beta$-ensembles. The conditioning is that…

We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $\Lambda \subset S^*M$ along continuation maps constructed using the…

The holonomic approximation lemma of Eliashberg and Mishachev is a powerful tool in the philosophy of the $h-$principle. By carefully keeping track of the quantitative geometry behind the holonomic approximation process, we establish…

Thin spanning trees lie at the intersection of graph theory, approximation algorithms, and combinatorial optimization. They are central to the long-standing \emph{thin tree conjecture}, which asks whether every $k$-edge-connected graph…

We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with control structures, such as conditionals and loops. POCKA enables reasoning about programs that can access…

We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat…

We generalize the feasible interpolation theorem for semantic derivations from K.(1997) by allowing randomized protocols (protocols in the sense of K.(1997). We also introduce an extension of the monotone circuit model, monotone circuits…

There is a description of the torsion product of two modules in terms of generators and relations given by Eilenberg and Mac Lane. With some additional data on the chain complexes there is a splitting of the map in the Kunneth formula in…

We prove that for every finitely generated subgroup of a virtually connected Lie group which admits a finite dimensional model for the classifying space for proper actions the assembly map in algebraic K-theory is split injective. We also…

These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose is to give a brief account on forcing axioms with a special…

Using a prime element of a local field K of positive characteristic p, the concepts of multiresolution analysis (MRA) and wavelet can be generalized to such a field. We prove a version of the splitting lemma for this setup and using this…

In this note we observe that in the hyper-graph removal lemma the edge removal can be done in a way that the symmetries of the original hyper-graph remain preserved. As an application we prove the following generalization of Szemer\'edi's…

Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…

A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…