Related papers: Universal coefficient theorem in triangulated cate…

This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving…

A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fra\"iss\'e theory, we show that there is a universal ultrahomogeneous cubic space $V$ of countable infinite dimension, which is unique up to…

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

In this paper, we deal with two types of representability. The first is a variant of the Brown representability theorem in the spirit of Rouquier and Neeman. The second is a variant of the Brown-Adams representability. If $A$ is a…

The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…

In a type-theoretic fibration category in the sense of Shulman (representing a dependent type theory with at least 1, Sigma, Pi, and identity types), we define the type of constant functions from A to B. This involves an infinite tower of…

Let $\mathcal{A}$ be the class of unital separable simple amenable $C$*-algebras $A$ which satisfy the Universal Coefficient Theorem for which $A\otimes M_{\texttt{P}}$ has tracial rank zero for some supernatural number $\texttt{p}$ of…

Assume that $K$ is an algebraically closed field, $R$ a locally bounded $K$-category, $G$ an admissible group of $K$-linear automorphisms of $R$ and $F:R\rightarrow A$ the Galois $G$-covering functor. In the first part of the paper we show…

We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and…

A classification is provided of functors, in particular polynomial ones, from a category with a zero object in which every object is a finite sum of copies of a generating object, into an abelian category. This classification is extended to…

We make explicit some conditions on a semi-abelian category D such that, for any abelian group A in D and any object Y in D, the cohomology group homomorphisms with coefficients in A, induced by the inclusion of the abelian objects of D at…

Let $G$ denote an infinite-dimensional Heisenberg-like group, which is a class of infinite-dimensional step 2 stratified Lie groups. We consider holomorphic functions on $G$ that are square integrable with respect to a heat kernel measure…

In this paper it is investigated whether various shape homology theories satisfy the Universal Coefficients Formula (UCF). It is proved that pro-homology and strong homology satisfy UCF in the class FAB of finitely generated abelian groups,…

We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…

We prove a connexity theorem for abelian varieties in characteristic $0$: if $X$ is an abelian variety and $V\rightarrow X$ and $W\rightarrow X$ two morphisms, then, under certain hypotheses, the fiber product of $V$ and $W$ over $X$ is…

An analogue over imaginary quadratic fields of a result in algebraic number theory known as Ihara's lemma is established. More precisely, we show that for a prime ideal P of the ring of integers of an imaginary quadratic field F, the kernel…

We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and…

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…

In [16], a theory of universal extensions in abelian categories is developed; in particular, the notion of Ext-universal object is presented. In the present paper, we show that an Ab3 abelian category which is Ext-small satisfies the Ab4…

The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for…