Related papers: Tate objects in stable $(\infty,1)$-categories
We are currently designing an object oriented model which describes static and dynamical knowledge in diff{\'e}rent domains. It provides a twin conceptual level. The internal level proposes: the object structure composed of sub-objects…
In this work more questions arise than answers given, for which of course we do not apologize. The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves…
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…
We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…
We study certain toric Gorenstein varieties with isolated singularities which are the quotient spaces of generic unimodular representations by the one-dimensional torus, or by the product of the one-dimensional torus with a finite abelian…
We classify thick subcategories of the $\infty$-categories of perfect modules over ring spectra which arise as functions on even periodic derived stacks satisfying affineness and regularity conditions. For example, we show that the thick…
We enrich the setting of strongly stable ideals (SSI): We introduce shift modules, a module category encompassing SSI's. The recently introduced duality on SSI's is given an effective conceptual and computational setting. We study strongly…
Let k be a field, let A a finite-dimensional hereditary k-algebra. We consider the category of all finite-dimensional A-modules. We are going to characterize the representation type of A (tame or wild) in terms of the possible subcategories…
We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory…
Small, finite entities are easier and simpler to manipulate than gigantic, infinite ones. Consequently huge chunks of mathematics are devoted to methods reducing the study of big, cumbersome objects to an analysis of their finite building…
We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of…
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes…
In this paper we study the subcategory of finite-length objects of the category of positive level integrable representations of a toroidal Lie algebra. The main goal is to characterize the blocks of the category. In the cases when the…
In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.
We construct a well-behaved stable category of modules for a large class of infinite groups. We then consider its Picard group, which is the group of invertible (or endotrivial) modules. We show how this group can be calculated when the…
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…
We introduce the notion of ST-pairs of triangulated subcategories, a prototypical example of which is the pair of the bound homotopy category and the bound derived category of a finite-dimensional algebra. For an ST-pair $(\C,\D)$, we…
We explain the linear algebraic framework provided by Tate modules of isogenous abelian varieties in a category-theoretic way.
For an arbitrary finite dimensional algebra $\Lambda$, we prove that any wide subcategory of $\mathsf{mod} \Lambda$ satisfying a certain finiteness condition is $\theta$-semistable for some stability condition $\theta$. More generally, we…
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to…