Related papers: Relative Interlevel Set Cohomology Categorifies Ex…
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…
Let $V$ be an $n$ dimensional vector space over an algebraic closure of a finite field $F_q$ and put $G = GL(V)$. For a positive integer $r$, we consider the variety $X_{uni} = G_{uni} \times V^{r-1}$, on which $G$ acts diagonally.…
This paper continues the development of the deformation theory of abelian categories introduced in a previous paper by the authors. We show first that the deformation theory of abelian categories is controlled by an obstruction theory in…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
One-dimensional persistent homology is arguably the most important and heavily used computational tool in topological data analysis. Additional information can be extracted from datasets by studying multi-dimensional persistence modules and…
Syntomic cohomology here defined yields a link between rigid cohomology and etale cohomology, viewing the last one as the fixed points under Frobenius of the former one. Let V be a complete discrete valuation ring, with perfect residue…
We introduce the notion of fundamental heap for compact orientable surfaces with boundary embedded in $3$-space, which is an isotopy invariant of the embedding. It is a group, endowed with a ternary heap operation, defined using diagrams of…
Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…
We expand \v{C}ech cohomology of a topological space $X$ with values in a presheaf on $X$ to \v{C}ech cohomology of a commutative ring with unity $R$ with values in a presheaf on $R$. The strategy is to observe that both the set of open…
Motivated by algebraic quantum field theory, we study presheaves of symmetric tensor categories defined over the base of a space, intended as a spacetime. Any section of a presheaf (that is, any "superselection sector", in the applications…
We study continuous bounded cohomology of totally disconnected locally compact groups with coefficients in a non-Archimedean valued field $K$. To capture the features of classical amenability that induce the vanishing of real bounded…
This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "constructible" colimits to a category such that specified "relation"…
In this paper we give a metric construction of a tree which correctly identifies connected components of superlevel sets of $\mathbb{R}$-valued continuous functions $f$ on $X$ and show that it is possible to retrieve the $H_0$-persistent…
A categorification of a polynomial link invariant is an homological invariant which contains the polynomial one as its graded Euler characteristic. This field has been initiated by Khovanov categorification of the Jones polynomial. Later,…
The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched…
We give two alternate presentations of the Frobenius Heisenberg category, $\mathcal{Heis}_{F,k}$, defined by Savage, when the Frobenius algebra $F=F_1\oplus\dotsb\oplus F_n$ decomposes as a direct sum of Frobenius subalgebras. In these…
We develop the notion of a "filtered cospan" as an algebraic object that stands in the same relation to interlevel persistence modules as filtered chain complexes stand with respect to sublevel persistence modules. This relation is…
This paper is devoted to the study of algebraic structures leading to link homology theories. The originally used structures of Frobenius algebra and/or TQFT are modified in two directions. First, we refine 2-dimensional cobordisms by…
Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…
We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…