The homological-algebra tag has no wiki summary.

**21**

votes

**0**answers

2k views

### Sums of injective modules, products of projective modules?

Under what assumptions on a noncommutative ring R does a countable direct sum of injective left R-modules necessarily have a finite injective dimension?
Analogously, under what assumptions on R does ...

**17**

votes

**0**answers

370 views

### Other examples of computations using transfer of structure from the chains to the homology?

There is a `long' history of transfer (up to homotopy!) of algebraic structure from a dg _ algebra A to its homology H(A) (e.g. Kadeishvili for the associative case and Heubschmann for the Lie case). ...

**15**

votes

**0**answers

290 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.
...

**14**

votes

**0**answers

764 views

### Epimorphisms $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ are split

Consider the additive group of integer sequences $\mathbb{Z}^{\mathbb{N}}$. Why does every epimorphism of groups $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ split? $(\star)$
Actually this ...

**14**

votes

**0**answers

370 views

### Refinement of concept of support of a module

My rings are commutative and noetherian.
The support of a module is usually defined to be the set of prime ideals of the ring such that localization at that prime does not make the module zero. This ...

**13**

votes

**0**answers

492 views

### When is every “solid” perfect complex faithful?

Let $R$ be a noetherian commutative ring. Consider $D^{perf}(R)=K^b(R-proj)$ the category of bounded complexes of finitely generated projective $R$-modules, with maps of complexes up to homotopy.
...

**12**

votes

**0**answers

398 views

### Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains:
$$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$
where the right hand side denotes the free abelian ...

**12**

votes

**0**answers

719 views

### Homotopy flat DG-modules

A right DG-module $F$ over an associative DG-algebra (or DG-category) $A$ is said to be homotopy flat (h-flat for brevity) if for any acyclic left DG-module $M$ over $A$ the complex of abelian groups ...

**12**

votes

**0**answers

499 views

### References for a certain generalization of Hochschild cohomology?

Let $C$ be an algebra. Let $E = C^{\otimes 2n}$ be the tensor product (over the ground field) of $2n$ copies of $C$. [EDIT: Or better, $E = C\otimes C^{op}\otimes C\otimes C^{op}\cdots\otimes C ...

**11**

votes

**0**answers

353 views

### Lifting DG-categories to characteristic zero

The question of lifting (smooth projective) varieties from an algebraically closed field $k$ of characteristic $p$ to characteristic zero (i.e., to the Witt vectors $W(k)$) is a classical one. It's ...

**11**

votes

**0**answers

339 views

### Bar construction vs. twisted tensor product

One may study the cohomology of a space $E$ expressed as a homotopy pullback of $X$ and $Y$ over $Z$ using either the Eilenberg-Moore spectral sequence or the Serre spectral sequence for the fibration ...

**11**

votes

**0**answers

1k views

### Idea of presheaf cohomology vs. sheaf cohomology

Let $X$ be a topological space and $U$ an open cover of $X$.
In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology:
The zeroth Cech ...

**10**

votes

**0**answers

765 views

### Complexes of representations with complementary central charges

This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary ...

**9**

votes

**0**answers

261 views

### Homological algebra is linearized homotopical algebra?

I have stumbled across statements like
Homological algebra is linearized homotopical algebra.
Chain complexes are linearizations of simplicial complexes.
The Dold-Kan correspondence was ...

**9**

votes

**0**answers

196 views

### Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...

**9**

votes

**0**answers

162 views

### Is it possible to take “limits up to homotopy”?

Before I begin, an apology: it's been a while since I've done much analysis, so I might be misusing (or just missing) terminology.
I have a chain complex $(V_\bullet,\partial)$ of topological vector ...

**9**

votes

**0**answers

178 views

### The global dimension of fields

In the absence of the Axiom of Choice, it is not necessarily true that all vector spaces over a field have bases.
What are the possible global dimensions of fields in a model of ZF in which AoC ...

**9**

votes

**0**answers

268 views

### Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if
(i) $R$ has finite left and right injective dimension (in which case it turns out ...

**9**

votes

**0**answers

378 views

### Are the supports of $Ext^i(M,N)$ eventually periodic?

Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules.
Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic ...

**8**

votes

**0**answers

318 views

### Pairing of cohomology and homology Künneth formulas

Let $k$ be a field, and let $X$ and $Y$ be CW-complexes of finite type (although the question makes sense for $k$ a ring and for more general chain complexes of finitely generated free abelian ...

**8**

votes

**0**answers

152 views

### Depth for non-commutative rings

The depth of a ring or module is one of the most basic invariants in commutative ring theory.
Q1: Is there also a powerful notion of depth for non-commutative rings ?
By a search in mathscinet, I ...

**8**

votes

**0**answers

209 views

### (Reduced) cyclic homology of a free product of unital algebras

Shameless upfloat of 1-year old question - the motivation is that in general the corresponding Banach version is false, so I am trying to see where the proof breaks down, and what (if anything) can be ...

**8**

votes

**0**answers

476 views

### Strange boundary-like map on tensor algebra: what is its kernel?

Let $k$ be a commutative ring and $L$ a $k$-module. The tensor algebra $\otimes L$ is $\mathbb{Z}$-graded and $\mathbb{Z}_2$-graded (an element of $L^{\otimes n}$ has degree $n$ and ...

**8**

votes

**0**answers

516 views

### Who proved the exactness of Amitsur's complex ?

A foundational result in Grothendieck's descent theory and in his étale cohomology is the exactness of Amitsur's complex. More precisely, suppose we have an $A$-algebra
$A\to B$; then there is a ...

**7**

votes

**0**answers

400 views

### Grothendieck trace on local cohomology?

Let R be an augmented regular local ring over a field $k$ with maximal ideal m. There is the Grothendieck residue symbol:
$$Res: H^n_m(\Omega^n) \to k$$
If $k=\mathbb{C}$ and $R$ is affine space, ...

**7**

votes

**0**answers

250 views

### Do the Adeles Split?

I asked this question about a week ago here http://math.stackexchange.com/questions/288955/splitting-the-exact-sequence-of-the-idele-class-group, but got no answer so I thought I'd aske here and see ...

**7**

votes

**0**answers

291 views

### Reference/ elementary proof of a result about projective dimension in group rings

Hello- I've had to use a result that sounds like it should be well-known, but I couldn't find any references, and my proof is rather unsatisfactory. I was hoping someone here could help! The problem ...

**6**

votes

**0**answers

125 views

### Stable, tame A-infinity isomorphism?

Linear duality provides a correspondence between differentials on free tensor algebras and A-infinity algebras. Under this correspondence, what is the A-infinity counterpart of "stable, tame ...

**6**

votes

**0**answers

166 views

### Can we “complete” model categories to compute derived functors in the usual way?

Suppose we have a functor between two model categories $F\colon \mathcal{C}\to \mathcal{D}$. Suppose we don't know that it is a part of a Quillen pair. Nevertheless, it can still happen that the ...

**6**

votes

**0**answers

142 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 ...

**6**

votes

**0**answers

135 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 ...

**6**

votes

**0**answers

373 views

### Lyndon-Hochschild-Serre spectral sequence and cup products

First here is my setup:
Let $W$ be some group, and $C$ a normal subgroup of finite index, and let $W/C=G$. Now let $L$ be a a $G$-module on which $C$ acts trivially, so in particular we get on action ...

**6**

votes

**0**answers

168 views

### Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...

**6**

votes

**0**answers

271 views

### homotopy pullbacks of tensor product chain complexes (towards Kunneth formula in diff cohomology)

I have editted this question from the previous version which did not obtain much attention.
Suppose I have two diagrams of chain complexes:
$A^* \rightarrow C^* \leftarrow B^*$
$\tilde{A}^* ...

**6**

votes

**0**answers

164 views

### The meaning of a “subcomplex” of the Cartan-Eilenberg of a Lie algebra

Let $\mathfrak{g}$ be a finite dimensional real Lie algebra, and $\mathfrak{g}^* $ be the dual vector space. We have the standard Cartan-Eilenberg complex
$(\wedge^{\cdot} \mathfrak{g}^* ...

**6**

votes

**0**answers

256 views

### Fourier-Mukai bimodule

Let $X$ and $Y$ be two smooth varieties over some field, and let $E$ be a perfect complex on $X \times Y$. It looks like it is not possible to define a DG-functor
$F_E : Perf(X) \to Perf(Y)$ such ...

**6**

votes

**0**answers

334 views

### Quantum polynomial rings and singularities

Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{-1}[x_1,...x_n]$ generated as a graded ring in degree 1 with ...

**5**

votes

**0**answers

66 views

### How can you see the minimal relations on a quiver from its bimodule resolution?

Suppose that you are given an algebra $KQ/I$, coming from a quiver Q, of finite global dimension. Suppose also that you know its minimal bimodule resolution over its enveloping algebra. Can you get a ...

**5**

votes

**0**answers

157 views

### homology theory for affine and projective algebraic sets?

Given $f_1,\ldots,f_r\in K[x_1,\ldots,x_m]$, resp. homogeneous $f_1,\ldots,f_r\in K[x_0,\ldots,x_m]$, is there a chain complex built from these polynomials, such that any polynomial map $\varphi\!: ...

**5**

votes

**0**answers

120 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?
...

**5**

votes

**0**answers

273 views

### Sign problem for the shift functor on DG modules

Let $\mathcal{A}$ be a Differential graded $k$ category, where $k$ is a commutative ring. I want to extend the shift functor $[1]$ on chain complexes to dg modules over $\mathcal{A}$. Now a right dg ...

**5**

votes

**0**answers

197 views

### Lagrangian (classical) BRST cohomology groups

I'm trying to understand BRST complex in its Lagrangian incarnation i.e. in the form mostly closed to original Faddeev-Popov formulation. It looks like the most important part of that construction ...

**5**

votes

**0**answers

221 views

### Extension to a right exact functor

Setup. Let $k$ be a field, $\mathcal{C}$ be a $k$-linear abelian category, $\mathcal{D}$ an arbitrary $k$-linear category. Let $\mathcal{C}'$ be a full subcategory of $\mathcal{C}$ with the following ...

**5**

votes

**0**answers

238 views

### Exactness is often an open condition. How often?

Let $\mathcal C$ denote an abelian category. Consider a formal $\mathbb Z$-graded object $V_\bullet$ in $\mathcal C$, by which I simply mean a $\mathbb Z$-indexed list $n\mapsto V_n$ of objects. A ...

**5**

votes

**0**answers

199 views

### Not isomorphic varieties with isomorphic tilting algebras

Let $X$ be a smooth projective variety over a field, than tilting object $T$ on $X$ is a perfect complex that is a compact generator of the derived category $\operatorname{D}(QCoh(X))$ and satisfies ...

**5**

votes

**0**answers

376 views

### Alternative approaches to the universal coefficient theorem

Let $A$ be a chain complex of free $R$-modules over a PID $R$, and let's assume $A$ has finite cohomological type, by which I mean $H^\ast(A)$ is finitely generated in each dimension and $0$ for large ...

**5**

votes

**0**answers

498 views

### On the multiplicative structure in spectral sequences.

Let $f\colon X \rightarrow Y$ be a continuous map of sufficiently nice
topological spaces (say, smooth manifolds). Let ${\cal F}=(\dots\rightarrow
F_i \rightarrow F_{i+1}\to \dots)$ be a bounded ...

**5**

votes

**0**answers

315 views

### Pullbacks of Abelian Categories and their Ext-Groups

Let $\mathcal{A}$, $\mathcal{B}$ and $\mathcal{C}$ be abelian categories and $F: \mathcal{A} \to \mathcal{C}$ and $G: \mathcal{B} \to \mathcal{C}$ be functors between them. It is then possible to ...

**4**

votes

**0**answers

29 views

### A “lower-central” filtration of Steenrod algebra?

$\renewcommand{\Atwo}{\mathcal{A}_2}$ So, a lot of good work has been accomplished by filtering the Steenrod algebras $\mathcal{A}_p$ in powers of the Augmentation ideal; For reasons partly ...

**4**

votes

**0**answers

142 views

### When do we have $D_{\text{perf}}(\text{Qcoh}(X))\simeq D_{\text{perf}}(X)$?

Let $(X,\mathcal{O}_X)$ be a scheme (or more generally a ringed space). We know that in general the derived category of complexes of quasi-coherent modules $D(\text{Qcoh}(X))$ is not equivalent to the ...