The homological-algebra tag has no wiki summary.

**3**

votes

**0**answers

126 views

### Pursuing an abelian categorical proof of the Zassenhaus Lemma

Fix an abelian category and suppose $M',M,N',N$ are sub-objects of a given object such that $M'\subset M$ and $N'\subset N$. Then there exists a canonical isomorphism
$\frac{M'+(M\bigcap ...

**2**

votes

**0**answers

197 views

### Tensor product of pullbacks of abelian categories

Does the tensor product of abelian categories commute with pullbacks? In more detail:
Let $k$ be a field. We consider $k$-linear small abelian categories ...

**3**

votes

**0**answers

86 views

### When does a commutative DGA have a finitely generated quasi-free resolution?

Suppose that $A$ is a commutative dg-algebra (say over base $k$) which is bounded in non-positive degree (with cochain complex conventions). There exists a quasi-free resolution of $A$. My question ...

**6**

votes

**0**answers

133 views

### Coherent sheaves and Mitchell's embedding theorem

Let $S$ be a scheme. By Freyd-Mitchell's theorem the category of (quasi)coherent sheaves of $\mathcal{O}_S$-modules is equivalent to a full subcategory of the category of left $R$-modules for some ...

**5**

votes

**0**answers

110 views

### Vanishing of Andre-Quillen homology and injective dimension

Let $(A,m,k)$ be a commutative local ring.
Assume that for all $n\ge 3$, the Andre-Quillen homology modules $H_n(A,k,k)$ vanish.
Does this imply that $A$ has finite injective dimension over itself?
...

**2**

votes

**1**answer

96 views

### Does semi-free behave well under totalization

Suppose I have a dg algebra $(A,d)$ and a chain complex $M^\bullet$ of semi-free $(A,d)$ modules. I am hoping it is true that $ Tot^\coprod (M^\bullet)$ is again a semi-free $(A,d)$ module. Is this ...

**8**

votes

**1**answer

260 views

### Known norm varieties and the Bloch-Kato conjecture

The Bloch-Kato conjecture states that
$K_M^n(k)/l \simeq H^n(k,\mu^{\otimes n}_l)$ for every $n,l$,while $l$ is invertible in $k$.
A important part in the proof of the Bloch-Kato conjecture is to ...

**0**

votes

**0**answers

95 views

### How to prove a Lefschetzesque principle for relative homology and absolute homology

Here is my conjecture:
If H is some homology theory from some abelian category A to some abelian category B, E is the class of all epimorphism in A, E' is some closed class of epimorphisms in A and ...

**5**

votes

**1**answer

169 views

### Rank four quadratic Form with non trivial discriminant in I(k)

Im sure this is a beginners question.
Let $k$ be a field and $I(k)$ the fundamental ideal in the Witt-ring W(k).
The Arason-Pfister-Hauptsatz states:
"If $\varphi$ is any anisotropic class in ...

**4**

votes

**1**answer

133 views

### Interpretations of differentials in hypercohomology spectral sequences as Yoneda products

I would like to know whether the differentials in a particular hypercohomology spectral sequence can each be interpreted, in some natural way, as Yoneda products between extension groups.
More ...

**0**

votes

**1**answer

75 views

### Bounded algebras of finite global dimension

Let $k$ be a field, $Q$ an acyclic finite quiver and $I$ an admissible ideal of $kQ$.
I am looking for a reference for the fact that the bounded algebra $kQ/I$ has finite global dimension.

**1**

vote

**0**answers

79 views

### A factorization system on ${\rm Ch}(R)$

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Ch}(R)$ be the category of chain complexes of $R$-modules (eventually bounded).
...

**1**

vote

**0**answers

209 views

### Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit ...

**5**

votes

**2**answers

342 views

### Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...

**7**

votes

**1**answer

340 views

### DG enhancements of $\ell$-adic derived categories

This question is similar in flavor to Existence of dg realization for 6 functors
Let $X$ be a complex variety and $D(X)$ the bounded derived category of constructible sheaves (the Euclidean topology ...

**5**

votes

**1**answer

147 views

### Is a Gorenstein ring a quotient of a local complete intersection

The title says it all - Suppose you are given a noetherian Gorenstein local ring $(A,m,k)$ of finite Krull dimension.
Does there exist a local complete intersection ring $B$ such that $A$ is a ...

**2**

votes

**0**answers

84 views

### How to understand $\mathcal{L}BG \simeq G/^{\text{ad}}G$ in term of simplicial sets?

First let $G$ be a topological group and $BG$ its classifying space. Let $\mathcal{L}BG=\text{Map}(S^1, BG)$ be the free loop space of $BG$.
We can see that $\mathcal{L}BG$ has the homotopy type of ...

**3**

votes

**1**answer

129 views

### Can André–Quillen homology detect the property of being Gorenstein?

Let $(A,m,k)$ be commutative noetherian local ring.
Can one detect if $A$ is a Gorenstein ring from the André–Quillen homologies $H_n(A,k,-)$?

**0**

votes

**0**answers

130 views

### Trivial extensions by torsion-free groups

Let $A$ be an abelian group. Recall that $A$ is
($\bullet$) a Whitehead group if $\text{Ext}(A,\mathbb Z)=0$,
($\bullet$) a free abelian group if $\text{Ext}(A,D)=0$ for every abelian group $D$.
...

**0**

votes

**0**answers

84 views

### Dimension of category of sheaves [duplicate]

Let $k$ be a field. Consider the category $Shv(\mathbb{R}^n)$ of sheaves of $k$-vector spaces on $\mathbb{R}^n$. What is the cohomological dimension $d$ of $Shv(\mathbb{R}^n)$? I know that $d \in ...

**2**

votes

**0**answers

130 views

### What is a morphism of $B_\infty$ algebra

Let $k$ be a commutative ring and $C$ a $ \mathbb{Z}$ graded $k$ module. A $B_\infty$ structure on $C$ is the datum of a differential and a multiplication on $ BC:= \bigoplus^\infty_{i =0} ...

**4**

votes

**0**answers

237 views

### Cohomological dimension of the category of sheaves

Let $X$ be an $n$-dimensional manifold. Then for any sheaf $\mathcal{F}$ on $X$, the cohomology $H^i(X; \mathcal{F})$ vanishes for $i > n$.
Let $k$ be a field, and let $\mathrm{Shv}_k(X)$ be the ...

**4**

votes

**0**answers

88 views

### Definition of modules over $C_\infty$-algebras (“commutative $A_\infty$-algebras”)

Let $\Lambda$ be a finite-dimensional associative algebra. We can think of this as an $A_\infty$-algebra with vanishing $m_i$ for $i \ne 2$ and consider $A_\infty$-modules $M$ over it. A list of ...

**1**

vote

**0**answers

106 views

### Hochschild cohomology and bar resolutions

I asked the following question on mathstack but didn't receive any comments, so I thought I'd try my luck here.
Let $A$ be an associative algebra over a field $k$. One can define $HH^n (A,A)$ as $ ...

**6**

votes

**0**answers

63 views

### Injective dimension over enveloping algebra

Let $k$ be a field, and let $A$ be a commutative noetherian $k$-algebra.
If a finitely generated $A$-module $M$ has finite injective dimension over $A$, does this imply that $M\otimes_k M$ has finite ...

**2**

votes

**1**answer

158 views

### Are there analogs of String Homology structure in cyclic homology?

I was reading John D.S. Jones' paper "Cyclic homology and equivariant homology" where he introduces a variant of cyclic homology that is isomorphic (as modules over the ring $K[u]$) to equivariant ...

**2**

votes

**1**answer

159 views

### Exact triple yields a distinguished triangle in derived category

In Methods of Homological Algebra before Proposition III.3.5 there is a short comment:
"The next proposition shows that any exact triple [of complexes] can be competed to a distinguished triangle".
...

**1**

vote

**0**answers

114 views

### Reference needed: Homology of the blow-up

Given an algebraic variety $X$ over the complex numbers.
Let $V$ be a subvariety of $X$ and $\pi_V \colon X' \rightarrow X$
be the blow-up of $X$ at $V$.
It is posible in general to compute the ...

**3**

votes

**1**answer

126 views

### Is the space of smooth functions with compact support a DF space?

Is there a good criterion, when a (nuclear) LF space is DF (DFN)? What are references to find out about that? If not, is there a known way, to construct a projective resolution of LF spaces? Prosmans ...

**1**

vote

**0**answers

107 views

### Flat and injective quasi-coherent sheaves

Let $X$ be a quasi-compact semi-separated scheme and
$$\varepsilon: 0\to A \to B \to C \to 0$$
be a short exact sequence of quasi-coherent sheaves. $\varepsilon$ is called a (categorical) pure exact ...

**1**

vote

**0**answers

259 views

### Kunneth spectral sequence

In Rotman's Homological Algebra, 1st edition, there is written:
Is every detail of 11.31-11.35 correct? Isn't the spectral sequence in 11.35 1st quadrant and not 3rd quadrant? Do 11.34-35 also ...

**4**

votes

**0**answers

114 views

### interpretation of homology of “non-commutative Koszul complex”

Let $A = Sym^*(V)$ be a polynomial ring. The Koszul complex
$\cdots \to \wedge^2 V \otimes A \to V \otimes A \to A$
gives a resolution of the residue field $k$, so for any $A$-module $M$, the ...

**15**

votes

**0**answers

267 views

### Are dualizable modules finitely generated?

Let $A$ be a commutative noetherian ring, and assume that $A$ has a dualizing complex $R$. Let $D(-) := \operatorname{RHom}_A(-,R)$ be the associated dualizing functor, and let $M$ be an $A$-module.
...

**5**

votes

**1**answer

305 views

### Spectral Sequences reference

What is the best reference for spectral sequences for mathematicians who are not experts at the subject, but would just like to open a book and find the SS they need, without going in to deep.
I'm ...

**1**

vote

**0**answers

105 views

### (Co)homology of classifying space of spin group $BSpin(n)$

In the answer for question: Homology of classifying space of spin group BSpin(n),
it was shown that $H_i(BSpin(\infty),Z)$ is $0,0,0,Z$, for $i=1,2,3,4$.
What is $H_i(BSpin(\infty),Z)$ or ...

**0**

votes

**0**answers

131 views

### Second Quadrant Spectral Sequence

Let $\{E^{p,q}_r\}$ be a second quadrant spectral sequence (arising from a double complex), i.e. $E^{p,q}_r\neq 0$ only if $p\le 0$ and $q\ge 0$. In some papers I have seen such spectral sequences and ...

**1**

vote

**0**answers

46 views

### Example H-unital algebra which is not unital

What is an example of an algebra which is H-unital (that is its Bar complex is acyclic) and yet it is not unital?

**2**

votes

**1**answer

58 views

### dg-flat complexes and their characters

Let $\otimes$ denotes the usual tensor products of complexes and symbols live in the category of chain complexes of $R$-modules. Let $X$ be a dg-flat complex (i.e. $X_n$ is flat for each n and ...

**1**

vote

**1**answer

85 views

### Finite universal delta-functors

Let $F^\bullet : \mathcal{A} \to \mathcal{B}$ be a cohomological delta-functor which vanishes in degree strictly greater than $d$.
Thus, $F^{d-\bullet}$ is a homological delta-functor.
Now assume ...

**1**

vote

**0**answers

160 views

### Soft Question: What does periodic cyclic theory measure?

Ex1) The cyclic homology of $\mathbb{C}[X,Y]$ and that of the algebra of functions on the sphere $S^2$ have the same periodic cyclic homology, clearly however these objects are topologically very ...

**1**

vote

**1**answer

96 views

### Original sources for two theorems by Bass, Matlis and Papp

It is an interesting fact that a commutative ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective, and if and only if every injective $R$-module is a direct sum of ...

**7**

votes

**1**answer

206 views

### Why can't one modify Kaplansky's proof to conclude that every projective module is a direct sum of its finitely generated projetive submodules?

Due to the examples given in the answer to this question, I know that the conclusion is of course incorrect. But by reading Kaplansky's proof of theorem 1 in this paper and replacing every occurrence ...

**1**

vote

**0**answers

84 views

### Chain homotopy of non-abelian category

How can one define the chain homotopy in non-abelian category? (The category I have in mind is the category of chain complexes of monoids.)

**3**

votes

**3**answers

378 views

### is the tensor product of projective modules again projective?

Let $R$ be a commutative ring and let $A_1$ and $A_2$ be (not necessarily commutative) $R$-algebras. Under which conditions on $A_1$ and $A_2$ is the following true:
For every projective $A_1$-module ...

**1**

vote

**0**answers

81 views

### Homology of the fixed points of the singular complex of a G-space

I posted the following to stackexchange a while ago [1], without any answers. Maybe the question is too unmotivated, but it seems very natural to me.
Suppose $X$ is a topological space and $G$ a ...

**0**

votes

**0**answers

79 views

### Exposition of the Calabi complex

I am interested in a complex derived by Eugenio Calabi in his article "On compact Riemannian manifolds with constant curvature".
The complex is referenced as "Calabi complex" in various citing ...

**3**

votes

**1**answer

255 views

### Projectives and Injectives in Functor Categories

Would it be possible to enlighten me (or even better give a reference) about enough projectives (injectives) in functor categories?
Here is a precise question. Let $C$ be a small category, whose ...

**0**

votes

**1**answer

102 views

### Jacobi-Zariski exact sequence question

Denote by $HC(A,M)$ the Hochschild homological complex of an algebra $A$ with coefficients in an $A$-bimodule $M$, and let $B\rightarrow A$ be an $R$-flat extension of $R$-algebras, for some $CRing$ ...

**10**

votes

**1**answer

240 views

### Homological criteria for finite generation and finite presentation of modules?

(I'm new here; if I'm doing something wrong please help me out.)
In short, my question is: There are some results on the behavior of finite generation and finite presentation in exact sequences (of ...

**6**

votes

**0**answers

127 views

### Split exact categories arising naturally

If you're interested in the $K$-theory of rings, a useful feature of the exact category of finitely generated projective (or free) modules is that it is split exact, i.e. every short exact sequence is ...