English
Related papers

Related papers: Relational Sheaves for a Heyting Algebra

200 papers

Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat \'etale $R$-algebra are…

Algebraic Geometry · Mathematics 2018-04-26 Eva Bayer-Fluckiger , Uriya A. First , Mathieu Huruguen

The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is…

Algebraic Topology · Mathematics 2022-09-09 Peter J. Haine , Mauro Porta , Jean-Baptiste Teyssier

We show that in the category of analytic sheaves on a complex analytic space, the full subcategory of quasi-coherent sheaves is an abelian subcategory.

Complex Variables · Mathematics 2024-07-17 Haohao Liu

We apply the general theory of tensor products of modules for a vertex operator algebra developed in our papers hep-th/9309076, hep-th/9309159, hep-th/9401119, q-alg/9505018, q-alg/9505019 and q-alg/9505020 to the case of the…

q-alg · Mathematics 2008-02-03 Yi-Zhi Huang , James Lepowsky

We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…

Algebraic Geometry · Mathematics 2012-09-25 Dennis Gaitsgory

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends…

Algebraic Geometry · Mathematics 2010-06-24 Roman Bezrukavnikov

Given a tensor triangulated category we investigate the geometry of the Balmer spectrum as a locally ringed space. Specifically we construct functors assigning to every object in the category a corresponding sheaf and a notion of support…

Category Theory · Mathematics 2021-11-12 James Rowe

We formulate a connection between a topological and a geometric category. The former is the idempotent completion of the (horizontal) trace of the affine Hecke category, while the latter is the equivariant derived category of the…

Geometric Topology · Mathematics 2024-12-10 Eugene Gorsky , Andrei Neguţ

We develop a unifying framework for the treatment of various persistent homology architectures using the notion of correspondence modules. In this formulation, morphisms between vector spaces are given by partial linear relations, as…

Algebraic Topology · Mathematics 2021-06-01 Haibin Hang , Washington Mio

A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…

Algebraic Topology · Mathematics 2026-03-10 Cheyne Glass

Convex semilattices are algebras that are at the same time a convex algebra and a semilattice, together with a distributivity axiom. These algebras have attracted some attention in the last years as suitable algebras for probability and…

Logic in Computer Science · Computer Science 2025-07-16 Ana Sokolova , Harald Woracek

We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page. We introduce the category of extended spectral sequences and show that…

Algebraic Topology · Mathematics 2026-03-25 Muriel Livernet , Sarah Whitehouse

It is shown that the Joyal quasi-category model structure for simplicial sets extends to a model structure on simplicial presheaves, for which the weak equivalences are local (or stalkwise) Joyal equivalences.

Category Theory · Mathematics 2016-07-20 Nicholas Meadows

Inspired by the work of Henn, Lannes and Schwartz on unstable algebras over the Steenrod algebra modulo nilpotents, a characterization of unstable algebras that are $A$-finitely generated up to nilpotents is given in terms of the associated…

Algebraic Topology · Mathematics 2018-06-22 Geoffrey Powell

We introduce a class of analytic sheaves in a Banach space X, that we call cohesive sheaves. Cohesion is meant to generalize the notion of coherence from finite dimensional analysis. Accordingly, we prove the analog of Cartan's Theorems A…

Complex Variables · Mathematics 2007-05-23 Laszlo Lempert

We establish a bijective correspondence between isomorphism classes of basic silting objects of $\mathsf{per}(A)$ and algebraic $t$-structures of $\mathsf{D}_{\rm fd}(A)$ for locally finite non-positive dg algebra $A$ over a field $k$ (more…

Representation Theory · Mathematics 2024-12-30 Riku Fushimi

This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves.…

Algebraic Geometry · Mathematics 2009-09-29 Nefon Pali

Consider a collection of vector subspaces of a given vector space and a collection of projectors on these vector spaces, can we decompose the vector space into a product of vector subspaces such that the projectors are isomorphic to…

Category Theory · Mathematics 2021-05-25 Grégoire Sergeant-Perthuis

In this paper we construct full support character sheaves for stably graded Lie algebras. Conjecturally these are precisely the cuspidal character sheaves. Irreducible representations of Hecke algebras associated to complex reflection…

Representation Theory · Mathematics 2025-03-25 Kari Vilonen , Ting Xue

For all almost affine (hyperbolic) Lie superalgebras, the defining relations are computed in terms of their Chevalley generators.

Representation Theory · Mathematics 2015-05-20 Sofiane Bouarroudj , Pavel Grozman , Dimitry Leites