Related papers: On the abelianization of derived categories and a …
There is a well known theorem by Deuring which gives a criterion for when the reduction of an elliptic curve with complex multiplication (CM) by the ring of integers of an imaginary quadratic field has ordinary or supersingular reduction.…
In recent work, Harman and Snowden constructed a symmetric tensor category associated to an oligomorphic group equipped with a measure. The oligomorphic group $\mathbb{G}$ of order preserving automorphisms of the real line admits exactly…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
Let $A$, $B$ and $C$ be associative rings with identity. Using a result of Koenig we show that if we have a $\mathbb{D}^{{\rm{b}}}({\rm{{mod\mbox{-}}}} )$ level recollement, writing $A$ in terms of $B$ and $C$, then we get a…
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and…
We prove that the category $\mathcal{M}$ of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category $\mathcal{A}$ of abelian…
For a global field, local field, or finite field $k$ with infinite Galois group, we show that there can not exist a functor from the Morel--Voevodsky $\mathbb{A}^1$-homotopy category of schemes over $k$ to a genuine Galois equivariant…
For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…
We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…
Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of…
If $k$ is a field, $A$ a finite dimensional $k$-algebra, then the simple $A$-modules form a simple minded collection in the derived category $\operatorname{D}^b( \operatorname{mod} A )$. Their extension closure is $\operatorname{mod} A$; in…
We determine the Ringel duals for all blocks in the parabolic versions of the BGG category O associated to a reductive finite dimensional Lie algebra. In particular we find that, contrary to the original category O and the specific…
For a commutative Noetherian ring $R$ with finite Krull dimension, we study the nullity classes in $D^c_{fg}(R)$, the full triangulated subcategory $D^c_{fg}(R)$ of the derived category $D(R)$ consisting of objects which can be represented…
Grandis's non-abelian homological algebra generalizes standard homological algebra in abelian categories to \textit{homological categories}, which are a broader class of categories including for example the category of lattices and Galois…
In this note, we are working within the category $\rmod$ of (unitary, left) $R$-modules, where $R$ is a {\bf countable} ring. It is well known (see e.g. Kie{\l}pi\'nski & Simson [5], Theorem 2.2) that the latter condition implies that the…
For a triangulated category T, if C is a cluster-tilting subcategory of T, then the quotient category T\C is an abelian category. Under certain conditions, the converse also holds. This is an very important result of cluster-tilting theory,…
Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $\kappa$-compactly generated $(\infty, n)$-category,…
Let $R$ be a commutative local uniserial ring of length $n$, $p$ a generator of the maximal ideal, and $k$ the radical factor field. The pairs $(B,A)$ where $B$ is a finitely generated $R$-module and $A\subset B$ a submodule of $B$ such…
We deal with the problem of existence of uncountable co-Hopfian abelian groups and (absolute) Hopfian abelian groups. Firstly, we prove that there are no co-Hopfian reduced abelian groups $G$ of size $< \mathfrak{p}$ with infinite…
Consider a Stein manifold M obtained by plumbing cotangent bundles of manifolds of dimension greater than or equal to 3 at points. We prove that the Fukaya category of closed exact Lagrangians with vanishing Maslov class in M is generated…