Related papers: Separable K-Linear Categories

We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…

For an arbitrary infinite cardinal $\kappa$, we define classes of coordinatewise $\kappa$-slender and tailwise $\kappa$-slender modules as well as related classes of $h\kappa$-modules and initiate a study of these classes.

The concept of a k-translatable groupoid is explored in depth. Some properties of idempotent k-translatable groupoids, left cancellative k-translatable groupoids and left unitary k-translatable groupoids are proved. Necessary and sufficient…

We study generic objects in triangulated categories and characterize the finite dimensional algebras $A$ such that the derived categories $D(\Mod A)$ are generically trivial. This is an analogue of a result of Crawley-Boevey for module…

Let C be a finite EI category and k be a field. We consider the category algebra kC. Suppose K(C)=D^b(kC-mod) is the bounded derived category of finitely generated left modules. This is a tensor triangulated category and we compute its…

We study the category of discrete modules over the ring of degree zero stable operations in p-local complex K-theory. We show that the p-local K-homology of any space or spectrum is such a module, and that this category is isomorphic to a…

We construct projections from the space of differential k-forms which belong to L2 and whose exterior derivative also belongs to L2, to finite dimensional subspaces of piecewise polynomial differential forms defined on a simplicial mesh.…

We prove that united K-theory is a surjective functor from the category of real simple purely infinite C*-algebras to the cateogry of countable acyclic CRT-modules.

It is known that a group G definable in the field of p-adic numbers is definably locally isomorphic to the group of Q_p-points of a connected algebraic group H defined over Q_p. We show that if H is commutative then G is…

We introduce the notion of positive local combinatorial dividing-lines in model theory. We show these are equivalently characterized by indecomposable algebraically trivial Fraisse classes and by complete prime filter classes. We exhibit…

For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…

We explain how, under some hypotheses, one can construct a sequence of finite dimensional $kG$-modules that lie in certain prescribed additive subcategories, but whose direct limits do not. We use these to show that many of the triangulated…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

We prove that a group $G$ is locally finite if and only if every surjective real (or complex) linear cellular automaton with finite-dimensional alphabet over $G$ is injective.

In this paper, we characterize several properties of commutative notherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application we prove that…

We fix a path model for the space of filters of the inverse semigroup $\mathcal{S}_\Lambda$ associated to a left cancellative small category $\Lambda$. Then, we compute its tight groupoid, thus giving a representation of its $C^*$-algebra…

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

We show that every k-linear abelian Ext-finite hereditary category with Serre duality which is generated by preprojective objects is derived equivalent to the category of representations of a strongly locally finite thread quiver.

We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…

We obtain a classification of metaplectic modular categories: every metaplectic modular category is a gauging of the particle-hole symmetry of a cyclic modular category. Our classification suggests a conjecture that every weakly-integral…