Related papers: Reduced \v{C}ech complexes and computing higher di…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

We propose a concept of truncation for arbitrary smooth projective toric varieties and construct explicit cellular resolutions for nef truncations of their total coordinate rings. We show that these resolutions agree with the short…

In this article we study the equivariant elliptic cohomology of complex toric varieties. We prove a partial reconstruction theorem showing that equivariant elliptic cohomology encodes considerable non-trivial information on the equivariant…

Computing embedded contact homology (ECH) and related invariants of certain toric 3-manifolds (in the sense of Lerman) has led to interesting new results in the study of symplectic embeddings. Here, we give a combinatorial formulation of…

Segmentation remains an important problem in image processing. For homogeneous (piecewise smooth) images, a number of important models have been developed and refined over the past several decades. However, these models often fail when…

We describe explicitly the cohomology of the total complex of certain diagrams of invertible sheaves on normal toric varieties. These diagrams, called wheels, arise in the study of toric singularities associated to dimer models. Our main…

We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an…

We generalise the notion of a Barge-Diamond complex, in the one-dimensional case, to a mixed system of tiling substitutions. This gives a way of describing the associated tiling space as an inverse limit of Barge-Diamond complexes. We give…

We study embedded rational curves in projective toric varieties. Generalizing results of the first author and Zotine for the case of lines, we show that any degree $d$ rational curve in a toric variety $X$ can be constructed from a special…

The main objective of the present paper is to set up the theoretical basis and the language needed to deal with the problem of direct images of hermitian vector bundles for projective non-necessarily smooth morphisms. To this end, we first…

Achieving machine intelligence requires a smooth integration of perception and reasoning, yet models developed to date tend to specialize in one or the other; sophisticated manipulation of symbols acquired from rich perceptual spaces has so…

Current learned image compression models typically exhibit high complexity, which demands significant computational resources. To overcome these challenges, we propose an innovative approach that employs hierarchical feature extraction…

This survey paper introduces to a technique called Torsion Subcomplex Reduction (TSR) for computing torsion in the cohomology of discrete groups acting on suitable cell complexes. TSR enables one to skip machine computations on cell…

This paper studies reduced-order modeling of dynamic networks with strongly connected topology. Given a graph clustering of an original complex network, we construct a quotient graph with less number of vertices, where the edge weights are…

Shape graphs are complex geometrical structures commonly found in biological and anatomical systems. A shape graph is a collection of nodes, some connected by curvilinear edges with arbitrary shapes. Their high complexity stems from the…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…

This is a collection of results on the topology of toric symplectic manifolds. Using an idea of Borisov, we show that a closed symplectic manifold supports at most a finite number of toric structures. Further, the product of two projective…

Defining cellular sheaves beyond graph structures, such as on simplicial complexes containing higher-dimensional simplices, is an essential and intriguing topic in topological data analysis (TDA) and the development of sheaf neural…