Related papers: Covariant functors commuting with direct limits

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally…

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…

We can define a module to be an exact functor on a small abelian category. This is explained and shown to be equivalent to the usual definition but it does offer a different perspective, inspired by the notions from model theory of…

We derive the metric of an expanding universe with zero accelerations by pure kinematic method. By doing so we expatiate physics related with co-moving coordinate system in details. The most important discovery or our study is, in an…

In this note we obtain commutativity criteria for normal compact operators using the projective spectrum. We thus improve a corresponding result obtained by Chagouel, Stessin and Zhu[Trans AMS,2016].

We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups…

In this paper the some questions of equivariant movability connected with substitution of acting group $G$ on closed subgroup $H$ and with transitions to spaces of $H$-orbits and $H$-fixed points spaces are investigated. In the special case…

Axisymmetric spacetimes with a conformal symmetry are studied and it is shown that, if there is no further conformal symmetry, the axial Killing vector and the conformal Killing vector must commute. As a direct consequence, in conformally…

We show that under mild hypotheses on a proper algebraic space $X$, the functors of taking its symmetric powers and its \'{e}tale realisation commute up to weak equivalence. We conclude an effective version of the Dold-Thom theorem for the…

Let $G$ be a $p$-adic Lie group with reductive Lie algebra $\mathfrak{g}$. In analogy to the translation functors introduced by Bernstein and Gelfand on categories of $U(\mathfrak{g})$-modules we consider similarly defined functors on the…

This notes aims to clarify the proof given by Raynaud and Gruson that the Mittag-Leffler property descents via pure rings monomorphism of commutative rings. A consequence of that is that projectivity dencents via such ring homomorphisms, a…

We investigate an analogue of the Grothendieck $p$-curvature conjecture, where the vanishing of the $p$-curvature is replaced by the stronger condition, that the module with connection mod $p$ underlies a $\mathcal{D}_X$-module structure.…

A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a…

The article investigates the question of under what conditions a functor between small categories preserves cohomology groups when passing to the inverse image. For example, it is known that the left adjoint functor preserves the category…

Let $R$ be a unitary operator whose spectrum is the circle. We show that the set of unitaries $U$ which essentially commute with $R$ (i.e., $[U,R]\equiv UR-RU$ is compact) is path-connected. Moreover, we also calculate the set of…

We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With…

A module over a ring $R$ is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings.…

We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure…

We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…

This paper investigates the transformation of determinants of pairs of Fredholm operators with trace class commutators. We study the extent to which the functional calculus commutes, modulo operator ideals, with projections in a finitely…