Related papers: A localized version of the basic triangle theorem
The aim of this paper is to generalize the hyperplane section theorem of Gurjar to arbitrary (local) analytic varieties even if the intersection with of hyperplanes is not necessarily isolated. In case of formal varieties, we generalize the…
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing…
This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in…
We study the logarithmic topological Hochschild homology of ring spectra with logarithmic structures and establish localization sequences for this theory. Our results apply, for example, to connective covers of periodic ring spectra like…
We consider local-global principles for rational points on varieties, in particular torsors, over one-variable function fields over complete discretely valued fields. There are several notions of such principles, arising either from the…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
The main purpose of this article is to present a localization of Forelli's theorem for the functions holomorphic along a standard suspension of linear discs. This generalizes one of the main results of \cite{CK21} and the original Forelli's…
We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…
Within the Local Unitarity formalism, any physical cross-section is re-written in such a way that cancellations of infrared singularities between real and virtual contributions are realised locally. Consequently, phase-space and loop…
The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional…
We use localization techniques to calculate the Euclidean partition functions for $\mathcal{N}=1$ theories on four-dimensional manifolds $M$ of the form $S^1 \times M_3$, where $M_3$ is a circle bundle over a Riemann surface. These are…
The concept of ``multi-microlocalization'' was introduced to extend the usual microlocal sheaf theory to a more general scope. This paper aims to further extend this theory by exploring advanced topics. One is a stalk formula for…
For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…
We give a new proof of the so-called Lie algebra version of Jacquet-Rallis's fundamental lemma for local non-Archimedean fields of characteristic zero. This proof is local and based on a previous result of W. Zhang on the compatibility of…
Viewing higher local fields as ring objects in the category of iterated pro-ind-objects, a definition of open subgroups in Milnor K-groups of the fields is given. The self-duality of the additive group of a higher local field is proved. By…
The purpose of this contribution is to give a coherent account of a particular narrative which links locales, geometric theories, sheaf semantics and constructive commutative algebra. We are hoping to convey a firm grasp of three ideas: (1)…
The local logarithmic conformal field theory corresponding to the triplet algebra at c=-2 is constructed. The constraints of locality and crossing symmetry are explored in detail, and a consistent set of amplitudes is found. The spectrum of…
We examine the proof of a classical localization theorem of Bousfield and Friedlander and we remove the assumption that the underlying model category be right proper. The key to the argument is a lemma about factoring in morphisms in the…