Related papers: A Note on the Two Approaches to Stringy Functors f…
We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras. In the first part of the paper we construct an endofunctor on the category of…
Given an open-closed decomposition of the stratifying poset, we construct a new semi-orthogonal decomposition of the $\infty$-category of constructible sheaves on a stratified space admitting an exit-path $\infty$-category. From this we…
We show that the formalism of "Sum-Over-Path" (SOP), used for symbolically representing linear maps or quantum operators, together with a proper rewrite system, has a structure of dagger-compact PROP. Several consequences arise from this…
In recent work we have developed a new unfolding method for computing one-loop modular integrals in string theory involving the Narain partition function and, possibly, a weak almost holomorphic elliptic genus. Unlike the traditional…
We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued…
We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain…
The nonlinear, or warped, resolvent recently explored by Giselsson and B\`ui-Combettes has been used to model a large set of existing and new monotone inclusion algorithms. To establish convergent algorithms based on these resolvents,…
In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any…
We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that…
We derive an effectively three-dimensional relativistic spin precession formalism. The formalism is applicable to any spacetime where an arbitrary timelike reference congruence of worldlines is specified. We employ what we call a stopped…
Using skein valued holomorphic curve counting techniques, we give a flow loop formula for the skein valued partition function of the Lagrangian knot complement of a fibered knot (of the $A$-model open topological strings with Lagrangian…
We study the collection of measures obtained via push-forward along a map between smooth varieties over p-adic fields. We investigate when the stalks of this collection are finite-dimensional. We provide an algebro-geometric criterion…
Building on Schlessinger's work, we define a framework for studying geometric deformation problems which allows us to systematize the relationship between the local and global tangent and obstruction spaces of a deformation problem.…
We first make more precise a recent "Hamiltonian" reformulation of the Hohm-Zwiebach approach to the tree-level, $O(d,d)$-invariant string cosmology equations at all orders in the $\alpha'$ expansion, and recall how it allows to give a…
We effectively conclude the local rigidity program for generic restrictions of partially hyperbolic Weyl chamber flows. Our methods replace and extend previous ones by circumventing computations made in Schur multipliers. Instead, we…
We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map…
We introduce how to pushforward shifted symplectic fibrations along base changes. This is achieved by considering symplectic forms that are closed in a stronger sense. Examples include: symplectic zero loci and symplectic quotients.…
Finding the product of two polynomials is an essential and basic problem in computer algebra. While most previous results have focused on the worst-case complexity, we instead employ the technique of adaptive analysis to give an improvement…
Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has…
Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…