Related papers: Hom$_*$ commuting with filtered products

Let $\mathfrak{q}$ denote an ideal of a local ring $(A,\mathfrak{m})$. For a system of elements $\underline{a} = a_1,\ldots,a_t$ such that $a_i \in \mathfrak{q}^{c_i}, i = 1, \ldots,t,$ and $n \in \mathbb{Z}$ we investigate a subcomplex…

For a category C we investigate the problem of when the coproduct $\bigoplus$ and the product functor $\prod$ from C^I to C are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for…

For abelian groups $A, B$, $A$ is called $B$-small if the covariant functor $Hom(A,-)$ commutes with all direct sums $B^{(\kappa)}$ and $A$ is self-small provided it is $A$-small. The paper characterizes self-small products applying…

We show that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then one can split their cross-product into the tensor product algebra of $A$ itself with a subalgebra isomorphic to $H$ and commuting with $A$.…

For a triple $(G,A,\kappa)$ (where $G$ is a group, $A$ is a $G$-module and $\kappa:G^3\to A$ is a 3-cocycle) and a $G$-module $B$ we introduce a new cohomology theory $_2H^n(G,A,\kappa;B)$ which we call the secondary cohomology. We give a…

Let $A \leq G$ be a subgroup of a group $G$. An $A$-complement of $G$ is a subgroup $H$ of $G$ such that $G = A H$ and $A \cap H = \{1\}$. The \emph{classifying complements problem} asks for the description and classification of all…

We show that the ordinary cohomology functor from the category of augmented $k$-algebras to itself exchanges coproducts and products, and that Hochschild cohomology is close to sending coproducts to products if the factors are…

The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of…

We characterize the compactness properties of the product of \lambda\ copies of the space \omega\ with the discrete topology, dealing in particular with the case \lambda\ singular, using regular and uniform ultrafilters, infinitary…

Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…

A genuine infinite tensor product of complex vector spaces is a vector space ${\bigotimes}_{i\in I} X_i$ whose linear maps coincide with multilinear maps on an infinite family $\{X_i\}_{i\in I}$ of vector spaces. We give a direct sum…

We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects…

For a quiver $Q$, a $k$-algebra $A$, and a full subcategory $\mathcal X$ of $A$-mod, the monomorphism category ${\rm Mon}(Q, \mathcal X)$ is introduced. The main result says that if $T$ is an $A$-module such that there is an exact sequence…

For a cardinal $\kappa$, denote by $\mathbf{H}^\kappa$ the algebraic real hyperbolic space of dimension $\kappa$. For a topological group $\Gamma$, we study the set of continuous representations $\Gamma \to…

We associate to each algebraic variety defined over $\mathbb{R}$ a filtered cochain complex, which computes the cohomology with compact supports and $\mathbb{Z}\_2$-coefficients of the set of its real points. This filtered complex is…

For a cardinal kappa and a model M of cardinality kappa let No(M) denote the number of non-isomorphic models of cardinality kappa which are L_{infty,kappa}--equivalent to M. In [Sh:133] Shelah established that when kappa is a weakly compact…

For an acyclic quiver $Q$ and a finite-dimensional algebra $A$, we give a unified form of the indecomposable injective objects in the monomorphism category ${\rm Mon}(Q,A)$ and prove that ${\rm Mon}(Q, A)$ has enough injective objects. As…

Let $X$ be an infinite compact metric space with finite covering dimension and let $\alpha, \beta : X\to X$ be two minimal homeomorphisms. We prove that the crossed product $C^*$-algebras $C(X)\rtimes_\alpha\Z$ and $C(X)\rtimes_\belta\Z$…

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Let $\mathcal C$ be category over a commutative ring $k$, its Hochschild-Mitchell homology and cohomology are denoted respectively $HH_*(\mathcal C)$ and $HH^*(\mathcal C).$ Let $G$ be a group acting on $\mathcal C$, and $\mathcal C[G]$ be…