Related papers: A localized version of the basic triangle theorem

This paper gives an elementary proof of an improved version of the algebraic Local B\'ezout Theorem (given by the authors in JSC 45 (2010) 975--985). Here we remove some ad hoc hypotheses and obtain an optimal algebraic version of the…

By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean…

We introduce the notion of a rank function on a triangulated category $\mathcal{C}$ which generalizes the Sylvester rank function in the case when $\mathcal{C}=\operatorname{Perf}(A)$ is the perfect derived category of a ring $A$. We show…

We extend calculus from smooth manifolds to topological manifolds making use of a theory of generalized functions developed for this aim. Actually such extension fits into a boarder context: the universal construction of a site containing…

We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for…

The main result of this paper is that in order to prove the local uniformization theorem for local rings it is enough to prove it for rank one valuations. Our proof does not depend on the nature of the class of local rings for which we want…

The theory of quaternionic slice regular functions was introduced in 2006 and successfully developed for about a decade over symmetric slice domains, which appeared to be the natural setting for their study. Some recent articles paved the…

This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…

The Euclidean algorithm makes possible a simple but powerful generalization of Taylor's theorem. Instead of expanding a function in a series around a single point, one spreads out the spectrum to include any number of points with given…

We provide an effective ramification theorem for the ratio of canonical forms of a weakly complete flat front in the hyperbolic three-space. Moreover we give the two applications of this theorem, the first one is to show an analogue of the…

We give a complete proof of a propagation theorem of multiplicity-free property from fibers to spaces of global sections for holomorphic vector bundles. The propagation theorem is formalised in three ways, aiming for producing various…

Let G be a connected split reductive group over a p-adic field. In the first part of the paper we prove, under certain assumptions on G and the prime p, a localization theorem of Beilinson-Bernstein type for admissible locally analytic…

We develop classical globally supersymmetric theories. As much as possible, we treat various dimensions and various amounts of supersymmetry in a uniform manner. We discuss theories both in components and in superspace. Throughout we…

Locally checkable labeling problems (LCLs) form the foundation of the modern theory of distributed graph algorithms. First introduced in the seminal paper by Naor and Stockmeyer [STOC 1993], these are graph problems that can be described by…

The main contribution of this note is to establish a framework to extend results of tensor functions over specific field to general field. As a consequence of this framework, we extend the existing work to more general settings: \emph{(1)}…

This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study…

Key to structured prediction is exploiting the problem structure to simplify the learning process. A major challenge arises when data exhibit a local structure (e.g., are made by "parts") that can be leveraged to better approximate the…

In this article, we pursue two main objectives. The first is to show that the fundamental results of Green-Lazarsfeld (1987, 1991) on generic vanishing theorems, and works of Budur-Wang (2015, 2020) on cohomology jumping loci, can be…

A recently proposed criterion for the existence of local quantum fields with a prescribed factorizing scattering matrix is verified in a non-trivial model, thereby establishing a new constructive approach to quantum field theory in a…

We formulate a general abstract criterion for verifying the local-to-global principle for a rigidly-compactly generated tensor triangulated category. Our approach is based upon an inductive construction using dimension functions. Using our…