# 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

**1**answer

203 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

**0**answers

66 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

**0**answers

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

**0**answers

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

**2**

votes

**0**answers

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

**1**answer

91 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

**1**answer

286 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

**1**answer

129 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

**1**answer

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

**0**

votes

**1**answer

177 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

**0**answers

52 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

**0**answers

177 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

**1**answer

442 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

**0**answers

77 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

**1**answer

367 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

**0**answers

105 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

**0**answers

144 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

**0**answers

66 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

**1**answer

101 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

**1**answer

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

**0**answers

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

**0**answers

112 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

**0**answers

103 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

**0**answers

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

**7**

votes

**0**answers

61 views

### Is the double orthogonal of a localizing Serre subcategory still a localizing Serre subcategory?

Let $R$ be an unital ring and consider the category of left $R$-modules $R$-Mod. We call a full subcategory $\mathcal{W}\subset R$-Mod a localizing Serre subcategory if $\mathcal{W}$ is closed under ...

**3**

votes

**0**answers

64 views

### Deformations of nilpotent parts of superalgebras

I have two questions concerning some results in the article "Deformations of nilpotent parts of superalgebras" of N. van den Hijligenberg, J.Math.Phys. 35, 1427 (1994); doi:10.1063/1.530598
After ...

**1**

vote

**0**answers

88 views

### Question on vanishing Hochschild cohomology

Recall that for an $K$-algebra $A$ with $A^e:=A^{op} \otimes_K A$ the Hochschild cohomology is defined as $HH^n(A,M):=Ext_{A^e}^n(A,M)$.
Question:
Is there a finite dimensional selfinjective ...

**7**

votes

**1**answer

123 views

### Tensor product of a DGA and an $A_\infty$ algebra

In general there seems no way to naturally define the tensor product of two $A_\infty$ algebras $A$ and $B$. But, if $(A, m^A_1,m^A_2)$ is only a DGA(differential graded algebra) and $(B, m^B_k, k\ge ...

**1**

vote

**1**answer

72 views

### Gorenstein projective modules of a certain triangular matrix algebra

Let $B$ be a finite dimensional selfinjective algebra over a field $k$ with a finite dimensional non-projective $B$-module $M$ and $$A=\pmatrix{k&M\\0&B}.$$
A module $N$ over an algebra $C$ ...

**3**

votes

**0**answers

42 views

### Quotient of quasi-isomorphic nonpositively graded cdga's

I'm looking for a theorem about quotient of quasi-isomorphic cdga's:
Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) concentrated in nonpositive degree, and $\mathfrak ...

**4**

votes

**1**answer

121 views

### Quotient of quasi-isomorphic cdga's

I'm looking for a theorem about quotient of quasi-isomorphic cdga's:
Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) of nonpositive degrees, and $\mathfrak m \subset A, ...

**5**

votes

**1**answer

219 views

### Calculating the Ext-algebra with a computer

Given a finite dimensional quiver algebra $A$ over an arbitrary field and a module $M$ of finite injective dimension or finite projective dimension.
Let $B$ be the Ext algebra of $M$, that is $B:=\...

**5**

votes

**0**answers

85 views

### Derived invariant acyclic algebras

Call a connected quiver algebra $A=KQ/I$ (finite quiver Q and admissible ideal I) derived-invariant in case every quiver algebra derived equivalent to $A$ is even isomorphic to $A$.
For example local ...

**4**

votes

**0**answers

155 views

### How to visualize the Microsupport of a Sheaf?

I am looking through Persistent homology and microlocal sheaf theory to learn a bit on barcodes. They are require the notion of a microsupport of a sheaf, looks like it could be a rather concrete ...

**3**

votes

**0**answers

114 views

### Induced Homomorphism on Cohomology of Symmetric Group 3

For the symmetric group $S_3$, there is an inclusion $i:\mathbb{Z}/3\mathbb{Z}\hookrightarrow S_3$. How can I assert that the induced homomorphism $$i^{\ast}:H^{n}(S_3,\mathbb{Z})\rightarrow H^{n}(\...

**3**

votes

**0**answers

61 views

### $\Omega^2(S) \cong \tau(S)$ for simple modules

Let $A$ be an Artin algebra with $\Omega^2(S) \cong \tau(S)$ for each simple module $S$. Is $A$ a quasi-Frobenius (=selfinjective) algebra?
Here $\tau$ denotes the Auslander-Reiten translate, which is ...

**7**

votes

**0**answers

109 views

### DG functors along which contractions can be lifted

For an object $X$ in a DG category, its contraction is $r \in Hom^{-1}(X,X)$ such that $d(r)=1_X$. Let us say that contractions lift along a DG functor $F: \mathcal{C} \to \mathcal{D}$, if for a ...

**9**

votes

**1**answer

473 views

### “Exactness” of operadic cohomology

There are two somewhat widely known theorems which say
if $A$ is a nonnegatively graded commutative algebra in char $0$, then forgetful map on operadic cohomology $H^*_{Harr}(A, A) \to H^*_{Hoch}(A, ...

**6**

votes

**1**answer

267 views

### Understanding the functoriality of group homology

EDIT: I've decided to rephrase my question in order for it to be more concise and to the point.
Let $G$ be a group, and let $F_\bullet\rightarrow\mathbb{Z}$ be a free $\mathbb{Z}[G]$-resolution of ...

**5**

votes

**1**answer

195 views

### Manifold generators of O-bordism invariants

If I understand correctly, I can obtain the $O$-cobordism group of
$$
\Omega^{O}_3(BO(3))=(\mathbb{Z}/2\mathbb{Z})^4,
$$
The 3d cobordism invariants have 4 generators of mod 2 classes, are generated ...

**2**

votes

**0**answers

46 views

### $Ext_{A^e}^i(D(A),A)$ for finite dimensional algebras

Let $A$ be a finite dimensional non-semisimple algebra over a field $K$ with enveloping algebra $A^e=A^{op} \otimes_K A$. Let $D(A)=Hom_K(A,K)$.
Question:
Is there always a positive integer $i>...

**4**

votes

**1**answer

115 views

### Reference for isomorphism $Ext_A^n(X,Y) \cong Ext_A^1(\Omega^{n-1}(X),Y)$

Let $A$ be a finite dimensional algebra and $X,Y$ indecomposable modules and $n \geq 2$.
We know that $Ext_A^n(X,Y) \cong Ext_A^1(\Omega^{n-1}(X),Y)$.
Now such an isomorphism should be given by ...

**9**

votes

**1**answer

353 views

### Hochschild homology with coefficients in a certain bimodule

Let $A$ be a finite-dimensional $k$-algebra and $U$ and $V$ two finite-dimensional projective $A$-modules (maybe neither the finiteness nor projectivity has to play a role, but these requirements are ...

**7**

votes

**0**answers

93 views

### Is there a homological interpretation for the cokernel of the kernel of a map between complexes induced by tensor product?

Let $A$ be a free abelian group of rank 2, and let $S = \mathbb{Z}[A]\cong\mathbb{Z}[a_1^{\pm1},a_2^{\pm1}]$ the group algebra for $A$.
Let $t : S\times S\rightarrow S$ be the $S$-module map given by ...

**5**

votes

**1**answer

161 views

### Questions on group and Nakayama algebras from a book

Recall that a Nakayama algebra (also called serial algebras in the literature) is an algebra such that every indecomposable module has a unique composition series.
In the book "Classical artinian ...

**4**

votes

**0**answers

215 views

### Generalized Postnikov square

Following Wikipedia (https://en.wikipedia.org/wiki/Postnikov_square), a Postnikov square is a certain cohomology operation from a first cohomology group $H^1$ to a third cohomology group $H^3$, ...

**8**

votes

**2**answers

244 views

### Künneth formulas/theorem for bordism groups and cobordisms?

We are familiar with Künneth theorem:
The Kunneth formula is given by $R$ as a ring, $M,M'$ as the R-modules, $X,X'$ are some chain complex. The Kunneth formula shows the cohomology of a chain ...

**8**

votes

**0**answers

143 views

### Are dualizable objects in the derived category of a ringed topos perfect?

Recall that an object $a$ in a symmetric monoidal category $(\mathcal{C}, \otimes, e)$
is dualizable if there exists an object $b$ and morphisms $\varepsilon\colon b \otimes a \to e$
and $\eta\colon e ...

**4**

votes

**2**answers

296 views

### When is $\Omega^1$ an equivalence?

Let $C$ be an abelian category with enough projectives and $\underline{C}$ the stable category of $C$ that is obtained by factoring out projective modules.
When is the functor $\Omega^1 : \underline{...

**5**

votes

**0**answers

147 views

### Homotopy functor calculus vs functor calculus in additive categories

Consider the Goodwillie calculus of a homotopy functor $F : \mathrm{Sp} \to \mathrm{Sp}$, where $\mathrm{Sp}$ denotes an appropriate model for spectra (... orthogonal spectra for instance).
Then ...