Related papers: Files for Gabriel-Zisman localization
We present another interpretation of the data by P.Markos and give a lot of new illustrations for our conception. All existing numerical data look perfectly compatible with predictions of the self-consistent theory of localization.
A number of arguments purport to show that quantum field theory cannot be given an interpretation in terms of localizable particles. We show, in light of such arguments, that the classical $\hbar\to 0$ limit can aid our understanding of the…
This article is a sequel to hep-th/9411050, q-alg/9412017, q-alg/9503013. Given a collection of $m$ finite factorizable sheaves $\{\CX_k\}$, we construct here some perverse sheaves over configuration spaces of points on a projective line…
The uniform interpolation property in a given logic can be understood as the definability of propositional quantifiers. We mechanise the computation of these quantifiers and prove correctness in the Coq proof assistant for three modal…
In this paper we present a technical lemma about localization at countable infinitely many prime ideals. We apply this lemma to get many results about the finiteness of associated prime ideals of local cohomology modules.
The Kottwitz conjecture describes the cohomology of basic Rapoport-Zink spaces using local Langlands correspondences. In this paper, via geometrical studies of some Kottwitz-type Shimura varieties, we prove this conjecture for basic simple…
In this article we introduce Variable exponent Fock spaces and study some of their basic properties such as the boundedness of evaluation functionals, density of polynomials, boundedness of a Bergman-type projection and duality.
Presilting and silting subcategories in extriangulated categories were introduced by Adachi and Tsukamoto recently. In this paper, we prove that the Gabriel-Zisman localization $\mathcal B/({\rm thick}\mathcal W)$ of an extriangulated…
We prove concentration inequalities for $f\left( X\right) $ about its median, where $X$ is a random vector in $\mathbb{R}^n$ with independent heavy tailed coordinates of Weibull or power type, and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a…
Source code plagiarism detection is a problem that has been addressed several times before; and several tools have been developed for that purpose. In this research project we investigated a set of possible disguises that can be…
We introduce the quiver of a bicomodule over a cosemisimple coalgebra. Applying this to the coradical $C_0$ of an arbitrary coalgebra $C$, we give an alternative definition of the Gabriel quiver of $C$, and then show that it coincides with…
Quillen's localization theorem is well known as a fundamental theorem in the study of algebraic K-theory. In this paper, we present its arithmetic analogue for the equivariant K-theory of arithmetic schemes, which are endowed with an action…
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification…
We define q-Catalan bases which are a generalization of the q-polynomials z^n(z,q)_n. The determination of their dual bases involves some q-power series termed dual coefficients. We show how these dual coefficients occur in the solution of…
In \cite{gmw2022}, Guan, Murugan and Wei established the equivalence of the classical Helmholtz equation with a ``fractional Helmholtz" equation in which the Laplacian operator is replaced by the nonlocal fractional Laplacian operator. More…
A simple corollary of the localization theorem (due to the author and, independently, to Lian-Liu-Yau) is applied to several problems in enumerative geometry. New formulas for Schubert calculus on flag manifolds, due to Kong, and a new…
We introduce a general class of models for charaterizing the non-Gaussian properties of foreground contaminants in the cosmic microwave background with view towards the removal of the non-primordial non-Gaussian signal from the primordial…
The aim of these notes is to collect and motivate the basic localization toolbox for the geometric study of ``spaces'', locally described by noncommutative rings and their categories of one-sided modules. We present the basics of Ore…
The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the…