Related papers: Logarithmic sheaves attached to arrangements of hy…
Topological filters via sheaves generalize the classical linear translation-invariant filter theory by attaching the filter computation locally to a simplicial topological space. This paper develops topological filters for causal signal…
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…
We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth…
This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent…
We construct a moduli space of stable pairs over a smooth projective variety, parametrizing morphisms from a fixed coherent sheaf to a varying sheaf of fixed topological type, subject to a stability condition. This generalizes the notion…
We investigate toric varieties defined by arrangements of hyperplanes and call them strongly symmetric. The smoothness of such a toric variety translates to the fact that the arrangement is crystallographic. As a result, we obtain a…
We develop novel tools for computing the likelihood correspondence of an arrangement of hypersurfaces in a projective space. This uses the module of logarithmic derivations. This object is well-studied in the linear case, when the…
We introduce excess logarithmic residues for one-dimensional holomorphic foliations tangent to a divisor. They arise from the comparison between the logarithmic normal sheaf and the ordinary normal sheaf of the foliation, and measure the…
For a reduced hyperplane arrangement we prove the analytic Twisted Logarithmic Comparison Theorem, subject to mild combinatorial arithmetic conditions on the weights defining the twist. This gives a quasi-isomorphism between the twisted…
We establish a general theory for projective dimensions of the logarithmic derivation modules of hyperplane arrangements. That includes the addition-deletion and restriction theorem, Yoshinaga-type result, and the division theorem for…
We introduce a Lie algebra of initial terms of logarithmic vector fields along a hypersurface singularity. Extending the formal structure theorem in [GS06, Thm. 5.4], we show that the completely reducible part of its linear projection lifts…
We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to…
We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…
We give a long exact sequence for the homology of a graded atomic lattice equipped with a sheaf of modules, in terms of the deleted and restricted lattices. This is then used to compute the homology of the arrangement lattice of a…
We describe stability conditions for pairs consisting of a coherent sheaf and a homomorphism to a fixed coherent sheaf on a projective variety. The corresponding moduli spaces are constructed for pairs on curves and surfaces. We consider…
On a smooth discretely ringed adic space $\mathcal{X}$ over a field $k$ we define a subsheaf $\Omega_{\mathcal{X}}^+$ of the sheaf of differentials $\Omega_{\mathcal{X}}$. It is defined in a similar way as the subsheaf…
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…