Related papers: From nonabelian basechange to basechange with coef…
Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…
Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of…
We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…
The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…
We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an…
We construct smooth localized orthonormal bases compatible with homogeneous mixed-norm Triebel-Lizorkin spaces in an anisotropic setting on $\bR^d$. The construction is based on tensor products of so-called univariate brushlet functions…
We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…
We obtain a theorem which allows to prove compact generation of derived categories of Grothendieck categories, based upon certain coverings by localizations. This theorem follows from an application of Rouquier's cocovering theorem in the…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine…
Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…
An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…
Let $f \colon X \to A$ be a morphism from a smooth projective variety to an abelian variety (over the field of complex numbers). We show that the sheaves $f_* \omega_X^{\otimes m}$ become globally generated after pullback by an isogeny. We…
The paper studies representation theoretic aspects of a nonabelian version of the Jacobian for a smooth complex projective surface $X$ introduced in [R1]. The sheaf of reductive Lie algebras $\bf\calG$ associated to the nonabelian Jacobian…
It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras…
In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…
To any triangulated category with tensor product $(K,\otimes)$, we associate a topological space $Spc(K,\otimes)$, by means of thick subcategories of $K$, a la Hopkins-Neeman-Thomason. Moreover, to each open subset $U$ of $Spc(K,\otimes)$,…
There is a long-standing problem of algebra to extend the symmetric monoidal structure of abelian groups, given by the tensor product, to a non abelian setting. In this paper we show that such an extension is possible. Morover our non…
Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or invariant sets, are formulated as functors on…
In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived…