Related papers: The Patch Topology in Univalent Foundations

Let $R$ be a standard graded polynomial ring that is finitely generated over a field, and let $I$ be a homogenous prime ideal of $R$. Bhatt, Blickle, Lyubeznik, Singh, and Zhang examined the local cohomology of $R/I^t$, as $t$ grows…

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…

We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…

We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…

We define a new concept of local states in the framework of algebraic quantum field theory (AQFT). Local states are a natural generalization of states and give a clear vision of localization in the context of QFT. In terms of them, we can…

We present a rigorous and functorial quantization scheme for affine field theories, i.e., field theories where local spaces of solutions are affine spaces. The target framework for the quantization is the general boundary formulation,…

We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.

In this paper, we give lower bounds for the homology of the fibers of a map to a manifold. Using new sheaf theoretic methods, we show that these lower bounds persist over whole open sets of the manifold, and that they are stable under…

Following the classical results of Stong, we introduce a cohomological analogue of a core of a finite sheaved topological space and propose an algorithm for simplification in this category. In particular we generalize the notion of beat…

Under an assumption on the existence of p-adic Galois representations, we carry out Taylor--Wiles patching (in the derived category) for the completed homology of the locally symmetric spaces associated to GL(n) over a number field. We use…

In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

We survey the cohomology jumping loci and the Alexander-type invariants associated to a space, or to its fundamental group. Though most of the material is expository, we provide new examples and applications, which in turn raise several…

This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…

We present an Eilenberg-Steenrod-like axiomatic framework for equivariant coarse homology and cohomology theories. We also discuss a general construction of such coarse theories from topological ones and the associated transgression maps. A…

We prove that the mapping stack Map(Y,X) of topological stacks X and Y is again a topological stack if Y admits a compact groupoid presentation. If Y admits a locally compact groupoid presentation, we show that Map(Y,X) is a paratopological…

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

In this paper, we show that every topological group is a strong small loop transfer space at the identity element. This implies that the quasitopological fundamental group of a connected locally path connected topological group is a…

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…