相关论文: Sheaves on subanalytic sites
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…
We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can…
Ordinary differential operators with periodic coefficients analytic in a strip act on a Hardy-Hilbert space of analytic functions with inner product defined by integration over a period on the boundary of the strip. Simple examples show…
In order to have cohomological operations for de Rham p-adic cohomology with coefficients as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of…
We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…
This is a brief survey of recent results by the authors devoted to one of the most important operators of integral geometry. Basic facts about the analytic family of cosine transforms on the unit sphere and the corresponding Funk transform…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
We study Artin-Schelter Gorenstein fixed subrings of some Artin-Schelter regular algebras of dimension 2 and 3 under finite group actions, and prove a noncommutative version of the Kac-Watanabe and Gordeev theorem for these algebras.
Stepwise inference protocols, such as scratchpads and chain-of-thought, help language models solve complex problems by decomposing them into a sequence of simpler subproblems. Despite the significant gain in performance achieved via these…
We define a series of Artin-Schelter Gorenstein Hopf algebras $H_\beta$ with injective dimensions 3. Radford's Hopf algebra and Gelaki's Hopf algebra are homomorphic images of $H_\beta$. We determine its Grothendieck ring $G_0(H_\beta)$.…
In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent…
We introduce a general context involving a presheaf A and a subpresheaf B of A. We show that all previously considered cases of local analysis of generalized functions (defined from duality or algebraic techniques) can be interpretated as…
Building on the work of Gerstenhaber and Schack for presheaves of algebras, we define a Gerstenhaber-Schack complex C_GS(A) for an arbitrary prestack A, that is a pseudofunctor taking values in linear categories over a commutative ground…
We give a direct description of the category of sheaves on Lichtenbaum's Weil-\'etale site of a number ring. Then we apply this result to define a spectral sequence relating Weil-\'etale cohomology to Artin-Verdier \'etale cohomology.…
In the classical theory for coherent sheaves, the only missing piece in the Grothendieck six-functor formalism picture is $j_!$ for an open immersion $j$. Towards fixing this gap, Deligne proposed a construction of $j_!$ by extending the…
The factorisation method for Schr\"odinger operators with magnetic fields on a two-dimensional surface $M^2$ with non-trivial metric is investigated. This leads to the new integrable examples of such operators and brings a new look at some…
We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local…
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…
To a Nash function germ, we associate a zeta function similar to the one introduced by J. Denef and F. Loeser. Our zeta function is a formal power series with coefficients in the Grothendieck ring $\mathcal{M}$ of $\mathcal{AS}$-sets up to…
This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…