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.
2,620
questions
3
votes
1
answer
322
views
Question on $Ext^1$
Given a finite dimensional algebra $A$ with two indecomposable modules $M$ and $N$. Define $H(M,N)$ as the largest number of indecomposable summands of a module $X$ such that there exists a non-split ...
- 44k
15
votes
1
answer
498
views
Non isomorphic two term complexes with isomorphic kernel, image and cokernel
Let $R$ be a ring. Can we have two $R$-module maps $A, B: R^n \to R^m$ such that $\mathrm{Ker}(A) \cong \mathrm{Ker}(B)$, $\mathrm{Im}(A) \cong \mathrm{Im}(B)$ and $\mathrm{CoKer}(A) \cong \mathrm{...
- 33.9k
2
votes
0
answers
765
views
Applications of Jordan-Holder theorem in an abelian category
The Jordan-Holder theorem says that any chain of subobjects of a finite length object can be refined to a composition series, and that any composition series has the same length.
This theorem holds ...
- 129
3
votes
0
answers
51
views
Inequality for the magnitude of quiver algebras
A conjecture on the global dimension of quiver algebras of finite global dimension states that the global dimension is bounded by the vector space dimension of the algebra.
The magnitude of a finite ...
- 26.1k
14
votes
0
answers
358
views
Gel'fand and Fuks' "Globalizing" of cohomology of formal vector fields
I apologize for the length of this question. If anybody already spent some time with cohomology of (formal) vector fields and the results of Gel'fand and Fuks, I imagine a lot can be skipped. I do ...
- 60.2k
4
votes
0
answers
96
views
When are extensions of algebraically good groups algebraically good?
Let $G$ be a discrete group. The pro-algebraic completion of $G$ is a pro-algebraic group $G^{\mathrm{alg}}$ together with a morphism $s:G\to G^{\mathrm{alg}}$ which is initial among all morphisms ...
- 1,635
1
vote
0
answers
260
views
On normalized 2-cocycle
Let $G$ be a group acts trivially on an abelian group $A$. Let
$\varepsilon $ be a normalized 2-cocycle in $ Z^{2}(G,A)$. Assume
that $G=H_{1} \times H_{2}$ and let $\varepsilon_{1}=res_{H_{1}\times
...
- 181
12
votes
2
answers
369
views
Obstruction to splitting an object in derived category into a sum of two-term complexes
Let $\mathcal{A}$ be an abelian category, and $D$ its bounded derived category. An object $M \in D$ may be described as a list of cohomology objects $H^i = H^i(M)$ together with some complicated ...
- 858
5
votes
1
answer
378
views
$Ext^1$ for some modules over the polynomial ring in one variable
Let $M$ be a module over the polynomial ring $\mathbb C[x]$ such that $x+n$ is invertible in $M$ for every integer $n$. Let
$N=\oplus _{n>0} \mathbb C_n$ where $\mathbb{C}_n := \mathbb C[x]/x+n$.
...
- 22.9k
2
votes
0
answers
211
views
Do dg schemes have derived points?
Working over a base field $k$ of characteristic $0$, say $K$ is a field (over $k$) and $X$ is a ("nice" if necessary) dg scheme in the sense of Toen-Vezzosi and others, and say $X^0$ is the reduced ...
- 7,902
4
votes
2
answers
626
views
Perfect DG modules
I was wondering whether there is a characterization of perfect DG modules over a DG algebra as there is one for modules over a ring. Namely, an object in $D(R)$, where $R$ is a ring, is perfect if and ...
- 7,902
3
votes
1
answer
489
views
Cup product in Tate Cohomology Ring
Let $G$ be a finite cyclic group of order $p$. The tate cohomology groups $\hat{H}^*(G, \mathbb{F}_p)$ are defined using a complete resolution of $\mathbb{F}$ as $\mathbb{F}_pG$-module.
There is a ...
- 35k
4
votes
0
answers
170
views
Borromean Lines of three $\mathbb{R}^1$ in $\mathbb{R}^3$ and analogous Milnor link invariants
It is know that Borromean rings can be detected by Milnor invariant
$$
\bar{\mu}(\gamma_1,\gamma_2,\gamma_3)=
\# (\Sigma_1 \cap \Sigma_2 \cap \Sigma_3)-\frac{1}{2}\sum_{I,J,K}\epsilon_{IJK}
\sum_{\...
CommunityBot
- 1
1
vote
0
answers
153
views
Characterization of weakly convergence of spectral sequences
Let $C$ be a chain complex (in any abelian category) and let $\{F_p\}$ be a decreasing filtration of $C$. It induces a filtration on the homologies of $C$, given by $$F_pH=im(H(F_p)\rightarrow H(C)),$$...
- 183
13
votes
0
answers
1k
views
Is there a slick proof of the fundamental theorem of dimension theory?
The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of ...
- 1,484
2
votes
1
answer
182
views
Projective dimensions of simple modules in acyclic quiver algebras
Given a quiver algebra $A=KQ/I$ with acyclic $Q$. Then $A$ has finite global dimension, lets say $g$.
Question: Is there for any $0 \leq i \leq g$ a simple module with projective dimension equal to ...
- 33.9k
5
votes
2
answers
364
views
bialgebra cohomology
It seems that the Gerstenhaber-Schack (bi)complex of an associative bialgebra carries a homotopy e_3-algebra structure and a degree 2 Lie algebra bracket, up to homotopy. Does anyone know about a ...
- 8,244
6
votes
0
answers
199
views
Relation between extensions and filtrations
We work in an Abelian category. Consider Yoneda extensions, i.e., the Abelian groups Ext$^n(C,A)$ consisting (for $n \ge 1$) of equivalence classes of exact sequences starting at $A$ and ending at $C$ ...
CommunityBot
- 1
2
votes
0
answers
271
views
Derived category of coherent sheaves with a codimension $\geq$ 1 support
Let $X$ be some smooth algebraic variety. I would like to understand the relation between the following two categories:
$D^b_{cd,1}\text{Coh}(X) \subset D^b\text{Coh}(X)$: the full subcategory of the ...
- 914
4
votes
1
answer
341
views
Verma module and vanishing of extension groups
Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra with Cartan subalgebra $\mathfrak{h}$.
Let $W$ be the associated Weyl group and let $\Phi$ be its root system.
We write $\Phi^+...
- 1,855
2
votes
1
answer
179
views
Number of generators for the Schur multiplier of a finite group
Let $G$ be a finite group, and let $M(G)=H_2(G,\mathbb{Z})$ be its Schur multiplier. Are there any known bounds on the number of generators of $M(G)$ in terms of $G$? For example, if $G$ is abelian of ...
- 33.9k
4
votes
1
answer
242
views
Boundness of torsion in $R^i\pi_*\mathcal F$ for a smooth $\pi:X\rightarrow S$
Let $\pi:X\rightarrow S$ be a smooth scheme over $S$ and let's assume for simplicity that $S=\mathrm{Spec} R$ is affine, Noetherian and regular. Let $\mathcal F$ be a coherent sheaf on $X$ and let's ...
- 66
3
votes
0
answers
79
views
Image of Obstruction Map for Relative Quot-scheme
Let $f: X \to S$ be a projective morphisms between finite-type projective schemes, and $\mathcal{O}_{X}(1)$ an $f$-ample line bundle. Given an $S$-flat coherent $\mathcal{O}_{X}$-module $\mathcal{H}$ ...
- 1,701
10
votes
3
answers
1k
views
Dual of a bimodule
For a noncommutative ring $R$, and an $R$-$R$-bimodule $B$, is there a "correct/natural" notion of a dual bimodule? I am interested, really, when $B$ is projective as a left $R$-module.
Note: ...
- 7,658
5
votes
0
answers
112
views
Extreme no loop conjecture for group algebras
Let $A=KG$ be a group algebra for a finite group $G$. Let $S$ be a simple $A$-module. The extreme no loop conjecture predicts that $Ext_A^1(S,S) \neq 0$ implies $Ext_A^i(S,S) \neq 0$ for infinitely ...
- 26.1k
1
vote
1
answer
74
views
Selfextensions for modules of commutative Frobenius algebras
Let $A$ be a commutative finite dimensional Frobenius algebra and $M$ a non-projective $A$-module.
Can we have $Ext_A^i(M,M)=0$ for some $i>0$?
Can we have $Ext_A^i(M,M)=0$ for some $i>0$ in ...
CommunityBot
- 1
2
votes
0
answers
82
views
Gerstanharber bracket and derived Hom
Let $A$ be a honest algebra or more generally, a DG algebra. It is known that the Hochschild cochain complex is quasi-isomorphic to the derived Hom complex, i.e. one has
$$\mathrm{HH}^{\bullet}(A,\,A)...
- 661
28
votes
0
answers
509
views
What algebraic structure characterizes all natural operations between differential operators and differential forms?
On a smooth manifold $M$ one can define various algebraic structures, natural with respect to diffeomorphisms:
the differential graded-commutative algebra $\Omega(M)$ of differential forms on $M$;
...
- 11.4k
2
votes
1
answer
94
views
When is $N^{*} \otimes_K M$ projective for a local Hopf algebra?
Given a finite dimensional local Hopf algebra $A$ over a field $K$ and two finite dimensional indecomposable modules $N$ and $M$. Is it known when the module $N^{*} \otimes_K M$ is projective? Can ...
- 26.1k
3
votes
0
answers
185
views
Reference request :Conjugation action in the mod 2 cohomology of Integral Eilenberg Maclane spectrum
Due to work of Stanley Kochman in "Integral cohomology operations. Current trends in algebraic topology, Part 1 (London, Ont., 1981), pp. 437–478,
CMS Conf. Proc., 2, Amer. Math. Soc., Providence, ...
- 2,590
4
votes
0
answers
62
views
Constructing $\delta$ to show Chevalley-Eilenberg complex $\Lambda \mathfrak g \otimes \mathcal U\mathfrak g \rightarrow k$ is null homotopic
Let $\mathfrak g$ be a finite dimensional Lie algebra over a field $k$ and $(\Lambda^\bullet \mathfrak g \otimes \mathcal U\mathfrak g, d)$ be the Chevalley-Eilenberg chain complex.
I would like to ...
- 323
4
votes
0
answers
145
views
When is being flat a derived invariant?
For which commutative rings k is the following true:
A k-algebra $A$ that is flat over $k$ and derived equivalent to a $k$-algebra $B$ implies that also $B$ is flat over $k$.
The motivation is ...
- 26.1k
1
vote
0
answers
172
views
Injective envelope in the category of left exact functors
Let $\mathcal{A}$ be an Abelian category. $\mathcal{L}$ is the category of
absolutely pure objects of $\mathcal{A}$ and $\mathcal{L}(\mathcal{A})$ is the category of the exact left functors of $\...
- 4,618
2
votes
0
answers
76
views
Cohomology of sheaves on $X \cup_{Z} Y$
I am in the following situation, I have two schemes $X$, $Y$ and two closed immersions $Z \rightarrow Y$, $Z \rightarrow X$. Everything is smooth. I am interested in calculating morphisms in the ...
- 1,315
4
votes
0
answers
68
views
Auslander-Solberg algebras from non-rigid modules
Let $A$ be a Nakayama algebra and $M$ be the direct sum of all indecomposable $A$-modules $N$ with $Ext_A^1(N,N) \neq 0$.
The following is suggested by computer experiments with QPA:
Question: Is ...
- 26.1k
4
votes
2
answers
706
views
Motivation/intuition behind the definition of delta-functors and related concepts
I originally posted this on Maths SE, but then realised that the question probably fits MO better, as my objective was to gain different perspectives regarding the matter.
Why are $\delta$-functors ...
- 34.2k
2
votes
1
answer
165
views
Combinatorial problem on periodic dyck paths from homological algebra
edit: I added conjecture 2 that looks much more accessible.
Here is the elementary combinatorial translation of the problem (read below for the homological background):
Let $n \geq 2$.
A Nakayama ...
CommunityBot
- 1
3
votes
0
answers
157
views
Free DGA given a map and cohomology groups
Why do Free DGAs on a morphism often give the same (co)homology as other (co)homologies?
Here is the example that comes to mind first:
Example: Let $R$ be a ring, let $A$ be an $R$-algebra, let $M$ ...
CommunityBot
- 1
2
votes
0
answers
51
views
Selfinjective algebras with loops
Given a selfinjective finite dimensional algebra $A$ with an indecomposable module $M$ with $Ext_A^1(M,M) \neq 0$.
Question:
Is A derived equivalent to an algebra with a loop in the quiver in ...
- 26.1k
2
votes
0
answers
53
views
Strong no loop conjecture for uniserial modules
Let $A$ be a an Artin algebra. The strong no loop conjecture states that a simple $A$-module with $Ext_A^1(S,S) \neq 0$ has infinite projective dimension.
This conjecture was recently proved for ...
- 26.1k
2
votes
0
answers
44
views
On monomial and $\Omega^d$-finite algebras
Let $Q$ be a finite quiver and $I$ a monomial admissible ideal of the path algebra $KQ$ for a field $K$. Then an algebra $A=KQ/I$ is called a monomial algebra.
It is well known that monomial algebras ...
CommunityBot
- 1
6
votes
1
answer
399
views
Why does every chain complex have a map into its cone?
In Weibel's An introduction to homological algebra he defines a cone as an explicit chain complex associated to the given one -i.e. for a chain $C=(C_i, d)$ he defines $Cone(C)=\left(C_{i-1} \oplus ...
- 33.9k
1
vote
0
answers
152
views
What does "standard Koszul morphism" mean?
I'm reading a paper 'D'Andrea, Carlos(RA-UBA), Dickenstein, Alicia(RA-UBA)Explicit formulas for the multivariate resultant. (English summary)
Effective methods in algebraic geometry (Bath, 2000).
J. ...
- 3,309
0
votes
0
answers
200
views
Equivalence of the category of covariant functors and the category of contravariant functors
Let $\mathcal{C}$ be a category. Then we have the category $\mathcal{C}^{\vee}$ of contravariant functors from $\mathcal{C}$ to $\mathcal{Sets}$ which is the category of sets. In the textbook "Sheaves ...
- 203
1
vote
0
answers
42
views
Checking $\mathbb{K}_{U\times(a,b)}\ast\mathbb{K}_{[0,\infty)}\simeq \mathbb{K}_{U\times[a,\infty)}[-1]$ in derived category $D(X\times\mathbb{R})$
Let $D(X\times\mathbb{R})$ be the derived category of sheaves of $\mathbb{K}$-vector spaces on a smooth manifold $X\times\mathbb{R}$ where $\mathbb{K}$ is a ground field. Let $p_1:X\times\mathbb{R}\...
- 203
2
votes
0
answers
376
views
Computing injective resolution of some constant sheaves
I follow the notations on "Sheaves on manifolds" written by Kashiwara-Schapira. Let $\mathbb{K}$ be a ground field and $X$ be a smooth manifold. Let $D(X)$ be the derived category of sheaves of $\...
- 203
1
vote
0
answers
55
views
$\mathrm{Ext}^1$-ordering on ${}^IW^{\Sigma_\mu}$
Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra with Cartan subalgebra $\mathfrak{h}$.
Let $W$ be the associated Weyl group and let $\Phi$ be its root system.
We write $\Phi^+...
- 1,855
6
votes
1
answer
350
views
Conditionally convergent spectral sequences with exiting and entering differentials
I have to deal with unbounded filtrations and want to use the conditional convergence of spectral sequences and the results from
[1]: J. Michael Boardman, Conditionally Convergent Spectral Sequences,...
- 8,857
4
votes
1
answer
146
views
Testing whether a module generates $K_0(\mbox{mod-}A)$
Given a representation-finite (connected) quiver algebra $A$ and a module $M$.
Is there a good way to test whether the set $\{ [N] \mid N \in \mathrm{add}(M) \}$ generates $K_0(\mbox{mod-}A)$?
Can ...
CommunityBot
- 1
5
votes
1
answer
196
views
Strøm model structure on nonnegatively graded chain complexes
Let $\newcommand{\Ch}{\mathsf{Ch}}\Ch_{\ge 0}(R)$ be the category of $\mathbb{N}$-graded chain complexes over some ring $R$, and $\Ch(R)$ the category of $\mathbb{Z}$-graded chain complexes.
The ...
- 29.8k