Related papers: Relative subanalytic sheaves II
Given a projection $f$ of a product of real analytic manifolds onto one factor, let us say, $S$, and a subanalytic sheaf $\mathcal{F}$ on the associated subanalytic site, we give a natural construction of the (subanalytic) relative sheaf…
In this paper we give a construction of conic sheaves on a subanalytic site and we extend the Fourier-Sato transform to this framework. Let E be a n dimensional complex vector space and let E^* be its dual. As an application we construct…
On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $\rho$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived…
In this paper, we address the problem of change in an abstract argumentation system. We focus on a particular change: the addition of a new argument which interacts with previous arguments. We study the impact of such an addition on the…
We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a…
In biology, predicting RNA secondary structures plays a vital role in determining its physical and chemical properties. Although we have powerful energy models to predict them as well as parametric analysis to understand the models…
Generalizing an old result proved by P. Rao [see MR 83i:14025] for arithmetically Cohen-Macaulay, self-linked subschemes of codimension 2 in the projective n-space P, we give a characterization of self-linked pure subschemes of codimension…
Given a closed real analytic Riemannian manifold, we construct and study a one parameter family of adapted complex structures on the manifold of its geodesics.
The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible…
Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…
There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…
This is the second part of a work dedicated to the study of Bernstein-Sato polynomials for several analytic functions depending on parameters. In this part, we give constructive results generalizing previous ones obtained by the author in…
Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic…
We study the relation between augmentations and sheaves in the context of framed oriented links. In this set up, we find slightly more sheaves than augmentations. After removing the sporadic sheaves, we construct a bijective correspondence…
As data grows in size and complexity, finding frameworks which aid in interpretation and analysis has become critical. This is particularly true when data comes from complex systems where extensive structure is available, but must be drawn…
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
The rich analytic structure of hadronic form factors makes a theoretically consistent yet easily applicable parametrisation cumbersome. Consequently, most parametrisations are limited to reproducing the simplest analytic features sufficient…
Reynolds' parametricity originally equips types with proof-irrelevant binary propositional relations over the types. But such relations can also be taken proof-relevant or unary, and described either in an indexed or fibred way.…
Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or invariant sets, are formulated as functors on…