Related papers: Quantitative sheaf theory

In this paper we introduce constructible analogs of the discrete complexity classes $\mathbf{VP}$ and $\mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $\mathbb{R}^n$ or…

We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

Motivated by the idea that consistent quantum field theories should admit a finite description, we investigate the complexity of effective field theories using the framework of effective o-minimality. Our focus is on quantifying the…

This paper is the sequel of the paper "Continuity of volumes on arithmetic varieties", in which we established the arithmetic volume function of smooth hermitian Q-invertible sheaves and proved its continuity. The continuity of the volume…

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 construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…

In this article, we show that if $X$ is an excellent surface with rational singularities, the constant sheaf $\mathbb{Q}_{\ell}$ is a dualizing complex. In coefficient $\mathbb{Z}_{\ell}$, we also prove that the obstruction for…

We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the…

If $X$ is a variety over a number field, Annette Huber has defined a category of "horizontal" (or "almost everywhere unramified") $\ell$-adic complexes and $\ell$-adic perverse sheaves on $X$. For such objects, the notion of weights makes…

These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a…

Using basic properties of perverse sheaves, we give new upper bounds for compactly supported Betti numbers for arbitrary affine varieties in $\mathbb{A}^n$ defined by $r$ polynomial equations of degrees at most $d$. As arithmetic…

We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…

The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

In this paper, we introduce a new class of $\ell$-adic sheaves, which we call quadratic $\ell$-adic sheaves, on connected unipotent commutative algebraic groups over finite fields. They are sheaf-theoretic enhancements of quadratic forms on…

The goal of this paper is to motivate a boundedness conjecture on nearby slopes of $\ell$-adic sheaves in positive characteristic, and to prove it for smooth curves. For a constructible $\ell$-adic sheaf, we prove the finiteness of the set…

We give an algorithm to determine whether a kernel sheaf over a smooth projective curve over an algebraically closed field is semistable. The algorithm uses symmetric powers to make destabilizing subbundles visible as global sections.

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…

Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…