Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [homological-algebra]

(Co)chain complexes, abelian Categories, (pre)sheaves, (co)homology in various (possibly highly generalized) settings, spectra, derived functors, resolutions, spectral sequences, homotopy categories. Chain complexes in an abelian category form the heart of homological algebra.

3
votes
0answers
38 views

Weak generators of the right-bounded derived category of a finite-dimensional algebra

The setup: Let $A$ be a finite-dimensional $k$-algebra over some field $k$. Let $\mathcal{B} = Hot^-(Proj \, A)$ denote the homotopy category of cochain complexes of (possibly infinitely generated) ...
7
votes
1answer
280 views

Does this algebra have finite global dimension ? (Human vs computer)

Usually computers can calculate the global dimension of a finite dimensional quiver algebra much faster than humans. But in this case a high end computer (calculating for 3 weeks) was not able to ...
4
votes
1answer
99 views

Algebras derived equivalent to quasi-hereditary algebras

Let an algebra always be finite dimensional over a field and connected. It is well known that a quasi-hereditary algebra with $n$ simple modules has global dimension at most $2n-2$. Questions: 1. ...
2
votes
0answers
108 views

Can one always find a bigger global resolution

Let $X$ be a scheme. Let $E$ be a perfect complex of coherent sheaves on $X$ and suppose it admits two global resolutions $ F$ and $F'$. By global resolution I mean that both $F$ and $F'$ are quasi-...
6
votes
0answers
54 views

Does the category of $G$-equivariant sheaves have enough injectives?

The question is related to this one. Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$. Let $G$ be a topological group which ...
-2
votes
1answer
59 views

Alternating property of H_2(T, Z)

Let us consider the torus $T = S^1_X \times S^1_Y$, where the former $S^1_X$ has the coordinate $X$, whereas the latter $S^1_Y$ has $Y$. We have an alternate property $dX \wedge dY = - dY \wedge dX \...
4
votes
0answers
61 views

Finitistic dimension via a bimodule

Let $A$ be a connected finite dimensional basic algebra. Question: Is there an indecomposable $A$-bimodule $W$ such that the finitistic dimension of $A$ is equal to the right projective dimension ...
2
votes
0answers
75 views

Map from coproduct of products to product of coproducts

Consider obvious (imagine generators as $k \times l$ dot rectangle) epimorphism $$p: \Bbb Z^k * \dots (l \text{ times}) \dots \Bbb Z^k \to F(l)^{\times k}$$ where $F(l)$ are relatively free groups in ...
4
votes
0answers
76 views

Could we characterize injective objects in the category of $G$-equivariant sheaves?

Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$. Let $G$ be a topological group which act on $X$ continuously from the left....
-1
votes
1answer
141 views

Alternate property of H^2(T, Z) [on hold]

Let us take $T = S^1_X \times S^1_Y$, which is a torus, where the former $S^1_X$ has the coordinate $X$, whereas the latter $S^1_Y$ has $Y$. If we consider the generator $dX \wedge dY \in H^2(T, {\Bbb ...
10
votes
1answer
383 views

Serre spectral sequence for de Rham cohomology

Suppose we a given a fibration of manifolds $p\colon E\to M$ with a path connected fiber $F$ and simply connected $M$, then we have the Serre spectral sequence with $$ E_2^{p,q} = H^p(M,\underline{H^...
1
vote
1answer
159 views

The sheafification of taking cohomology is trivial?

Consider the Nisnevich site of a noetherian scheme $S$ of finite Krull dimension (the objects are schemes $U$ smooth and of finite type over $S$), let $A$ be a sheaf of abelian groups on this site. I ...
2
votes
0answers
106 views

$E_\infty$-algebras and Tor-unital rings

Recall that a non-unital ring $R$ is called Tor-unital if $Tor^1_{R_+}(\mathbb Z,\mathbb Z) \cong 0$ where $R_+$ is the unitalization of $R$. See e.g. https://arxiv.org/pdf/1610.04998.pdf. If $R$ is ...
14
votes
1answer
617 views

Combinatorial inequality for dominant dimension

In the following I present a conjecture on Nakayama algebras that I have for nearly 2 years now. Since I was not able to solve it and it can be stated purely combinatorically, I thought it might be ...
4
votes
0answers
65 views

On existence of finitely generated projective generator with commutative endomorphism ring in ${}_R Mod$

Let $R$ be a ring with unity (not necessarily commutative). Let ${}_R Mod$ be the category of left $R$-modules. If ${}_R Mod$ has a projective generator with commutative endomorphism ring , then does $...
1
vote
0answers
35 views

Could we extend isomorphisms between cohomologies of h-injective complexes to h-injective complexes themselves?

Let $R$ be an associative ring with unit and $I$ be a complex of $R$-modules. We call $I$ is h-injective if for any acyclic complex $T$ of $R$-modules, the mapping complex $\text{Hom}_R(T,I)$ is ...
5
votes
2answers
616 views

Algebra for algebraic topology

My research is in analysis, but it moved to the area that requires algebraic topology. I have some working knowledge in that area, but I always feel that I am on a shaky ground and I need to go back ...
5
votes
0answers
73 views

Equivariant L-infinity structure associated to a DGBV algebra

Let $V$ be a differential graded Batalin-Vilkovisky (DGBV) algebra over say $\mathbb{C}$. This means that $V$ is a commutative differential graded algebra (CDGA), with differential $\partial$ of ...
1
vote
0answers
101 views

Whitehead Theorem for maps

Let us consider two simply-connected CW complexes. Combining the theorems of Whitehead and Hurewicz we have that a map between them is an equivalence if and only if its induced map on integral chains ...
4
votes
0answers
112 views

Explicit description of injective hulls

Let $k$ be a field, let $R:=k[x_1,\ldots,x_n]$, and consider the $R$-module $M:=R/{(x_1,\ldots,x_n)}\cong k$. Then the injective hull $I_M$ of $M$ admits the following explicit description: $$ I_M = k[...
7
votes
0answers
125 views

Cohomology of little disks and dg algebras over $\mathbb{F}_p$

This a alternative form of the question I posted some time ago. We, the people who don't know topology, are told that in characteristic p the formalizm of DG algebras is not quite adequate for ...
2
votes
0answers
103 views

Long exact sequence from a short exact sequence of double complexes

I'm having trouble finding a reference for something that I think should be in the literature. Consider a short exact sequence of bounded double-complexes, in an abelian category: $$0 \rightarrow A^{\...
3
votes
0answers
60 views

Upper bound for embedding of submodules of projective modules

Assume we have a finite dimensional algebra $A$ with the following property: Every indecomposable submodule of a projective module embedds into $A^n$ for a fixed $n$. Is there a good method to ...
4
votes
1answer
125 views

Global dimension of the tensor algebra

Let $R$ be a semisimple ring with a non-zero $R$-bimodule V. Let $T_R(V):= \bigoplus\limits_{k=0}^{\infty}{V^{\otimes_k}}$ be the tensor algebra of $V$. Question 1: Is there a simple proof that $...
3
votes
1answer
128 views

Global dimension of a graded algebra

Let $A= \bigoplus\limits_{n=0}^{\infty}{A_n}$ be an $\mathbb{N}$-graded algebra with semisimple $A_0$. Question: Do we have that the global dimension of $A$ is equal to $\sup \{i \geq 0 | Ext_A^i(...
3
votes
1answer
201 views

Quadratic algebras and Koszul algebras

Let $A$ be a quadratic algebra and $B$ the Ext-algebra of $A$. In case $A$ is a Koszul algebra, we should have that the global dimension of $A$ plus one is equal to the Loewy length of $B$ (is there a ...
4
votes
0answers
65 views

Decomposition of bordism groups for $BG$ where $G$ is a product of two groups

Let a group $G=G_1 \times G_2$, where $G_1$ is a discrete group (can be finite or infinite), $G_2$ be any compact Lie group or finite group. Question: Is there some simple result that we can ...
3
votes
0answers
58 views

Do we have criteria of strict localization of a Grothendieck category?

Let $\mathcal{C}$ be an abelian category and $\mathcal{S}$ be a full subcategory of $\mathcal{C}$. We call $\mathcal{S}$ a Serre subcategory of $\mathcal{C}$ if $\mathcal{S}$ is closed under ...
3
votes
0answers
83 views

How to show mapping cones are homotopy cofibers

In a dg-category $\mathcal{C}$, the $n$-translation of an object $C$ is an object $C[n]$ representing the functor $$ {\rm Hom}(-,C)[n]. $$ The cone of a closed morphism $f\colon C \to D$ of degree ...
0
votes
0answers
99 views

is the homology of a free complex again free?

Let $k$ be a field and $R$ be a finitely generated graded $k$-algebra (e.g. a polynomial ring in some variables). Let $M$ be a finitely generated graded vector space so the graded module $\widetilde{M}...
2
votes
0answers
76 views

Length 2 modules over finite dimensional algebras

Given a finite dimensional algebra $A$ over an infinite field and two simple modules $S,T$. Question 1: Is there a useful (homological/computational) crtierion to decide when there are infinitely ...
3
votes
1answer
79 views

Projective dimension of graded modules

Short version: Why is the projective dimension of a graded module the same as the projective dimension of its underlying ungraded module? Longer version: Let $G$ be a commutative group, let $R$ ...
4
votes
1answer
279 views

Kernels and cokernels of multicomplex homomorphisms

Let $\mathcal A$ be a (complete and cocomplete) Abelian category. A multicomplex in $\mathcal A$ is a bigraded object $X^{(\bullet,\bullet)}$ with differentials $$ d^{(i,j)}_r\colon X^{(i,j)}\to X^{(...
2
votes
1answer
127 views

An example of a local ring which is not CM and a MCM module over it

I am looking for an example of a commutative noetherian local ring $(A,m)$, and a maximal Cohen-Macaulay module $M$ over $A$ (in particular $M$ is finitely generated over $A$), such that for some $p \...
3
votes
1answer
123 views

Question on $\operatorname{Ext}$ in a local Frobenius algebra

Let $A$ be a finite dimensional local Frobenius algebra with simple module $k$ and an indecomposable non-projective module $M$ (that is also finite dimensional). Question: Is there an example of ...
-1
votes
1answer
170 views

Flat module and Projective Module

In Rotman's book "Intro to homological algebra" Theorem 3.62 Let $0\rightarrow K\rightarrow\ F\rightarrow A\rightarrow 0$ be an exact sequence of right R-modules, where $F$ is free. The following are ...
1
vote
0answers
50 views

Tensor product of mapping cones

If $A^*_i \to B^*_i \to C^*_i \to A^*_i[1]$ is a distinguished triangle of complexes for $i=1,2$, is there a nice way to express the derived tensor product $C^*_1 \otimes^L C^*_2$ in terms of the ...
5
votes
0answers
169 views

On the coalgebraic Homotopy Transfer Theorem

Let $A$ be a dg algebra, say over a field. The Homotopy Transfer Theorem says that $H(A)$ can noncanonically be given the structure of $A_\infty$-algebra, extending the induced multiplication on $H(A)$...
5
votes
1answer
428 views

Is there an adjoint to the inclusion of I-adically complete modules to all modules?

A module $M$ over a ring $R$ is $I$-adically complete with respect to the ideal $I$, if the canonical map $M \to \lim M/I^nM$ is an isomorphism. There exists a completion functor: $M \mapsto \lim M/I^...
1
vote
0answers
75 views

Strict units in A-infinity algebras

In Kontsevich-Soibelman's paper "Notes on $A_\infty$-algebras, $A_\infty$-categories and non-commutative geometry", $A_\infty$-algebras with strict units are defined so units act trivially on higher ...
7
votes
1answer
339 views

Koszul-Tate Resolution for Subvarieties of $\mathbb P^n$

All varieties appearing below are assumed smooth projective over $\mathbb C$ and all vector bundles, sections etc are assumed to be algebraic/holomorphic. We use the word resolution to mean quasi-...
6
votes
0answers
103 views

Pin cobordism v.s. “KO” theory in low or in any dimensions

Fact: The spin cobordism is equivalent to "KO" theory in low dimension if we only consider the 2-torsion. This is related to a question and an answer supports the claim. Here we denote the $p$-...
6
votes
0answers
143 views

Arf-Brown-Kervaire invariant and a surjective map $G \to Pin^-$

We know that the Arf-Brown-Kervaire (abk) invariant is a bordism invariant of $$ \Omega_2^{Pin^-}(pt)=\mathbb{Z}/(8\mathbb{Z}), $$ where the $\mathbb{Z}/(8\mathbb{Z})$ is generated by a 2-manifold $M^...
2
votes
0answers
61 views

Reference Request: A “Chevalley-Eilenberg”-style formulation of the $L_\infty$ algebra minimal model theorem?

The nicest definition of $L_\infty$-algebras ---which I will call a "Chevalley-Eilenberg" style definition after the obvious analogy with the Chevalley-Eilenberg differential of Lie algebras--- is the ...
1
vote
1answer
99 views

modules whose every submodule is a homomorphic image

Let $R$ be a commutative ring with unity. Let us say that an $R$-module $M$ satisfies property $\mathcal P$ if every submodule of $M$ is a homomorphic image of $M$. Can we characterize all ...
3
votes
1answer
131 views

commutative ring satisfying descending chain condition on radical ideals

Let $R$ be a commutative ring with unity which satisfies d.c.c. on radical ideals. then does $R$ satisfy a.c.c. on radical ideals ? If this is not true in general, then what happens if we also assume $...
3
votes
0answers
54 views

Monoidal equivalence of categories of modules in different models of higher algebra

A result of Shipley states the following (in the language of model categories): For a differential graded algebra $A$, the $\infty$-category of (dg)-modules over $A$ agrees with the $\infty$-category ...
2
votes
0answers
108 views

On a conjecture about tilting modules

There is the following conjecture on tilting modules (see also History of an open problem on partial tilting modules): Given a partial tilting module $T$ over a finite dimensional algebra $A$ (that ...
4
votes
0answers
101 views

Tensor product of bimodules

Im not sure whether this question is appropriate for MO, but I do not have much experience with bimodules (or I forgot many things). Let $A$ be a finite dimensional (connected) algebra over a field $...
8
votes
0answers
112 views

$n$-fold tensor products of $D(A)$ for finite dimensional algebras

Let $A$ be a finite dimensional quiver algebra over a field $K$ and let $D(-):=Hom_K(-,K)$ denote the natural duality (assume algebras are connected). Define $\psi_A:=sup \{ n \geq 1 | D(A)^{\otimes ...