Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with homological-algebra
Search options not deleted
user 1306
(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.
4
votes
Accepted
Second cohomology group of the contact Lie algebra $K_3$
Yes, it is true. In fact, it is true that $H^i(K_{2n+1},F)=0$ for $0<i\le 2n$. This can be deduced from the theorem of Feigin sketched in
Feigin, B.L. Cohomology of contact Lie algebras.
(Russian) C. …
- 16.9k
3
votes
Accepted
Differential of the Twisted complex for algebraic operads
Since $\alpha$ is of degree $-1$, these terms come in pairs appearing with opposite signs that cancel each other. In other words, the (co)associativity for (co)operads has a sequential axiom and a par …
- 16.9k
3
votes
Two definitions of minimal models
The two definitions are the same. The thesis of Lefèvre-Hasegawa does not require the differential to be zero, it requires the component $m_1$ of the differential to be equal to zero: minimality trans …
- 16.9k
5
votes
Accepted
Infinity-homotopies
I don't know if you found an answer since you posted the question, but I will write this just in case: there is a "cute" (easy) definition in case of nonsymmetric operads which generalises the A-infin …
- 16.9k
9
votes
Is $Tor_A(k,k)$ a bicommutative Hopf algebra?
This is not true. Consider the algebra $A=T(V)/V^{\otimes 2}$, it is a commutative algebra whose augmentation ideal has zero multiplication. We have $\mathrm{Tor}_A(k,k)\cong T(V[1])$ with the shuffle …
- 16.9k
7
votes
What should I call a "differential" which cubes, rather than squares, to zero?
The situation similar to what you are describing happens when people talk about the so-called N-Koszul algebras, originally defined by R. Berger in his paper "Koszulity for nonquadratic algebras" (J. …
- 16.9k
10
votes
Accepted
Poincaré duality for (co)homology of Lie algebras?
First, let me expand on the reply of Dietrich Burde: I got hold of the paper of Hazewinkel, and can now be more precise about what is and what is not there (last time I saw it was some years ago).
…
- 63.9k
6
votes
Accepted
Commutator of finite global dimension algebras
Yes. See the result of Section 2.5 of a wonderful paper of Bernhard Keller :
https://webusers.imj-prg.fr/~bernhard.keller/publ/ilc.pdf
(and the references therein).
- 16.9k
3
votes
Quadratic algebras and Koszul algebras
A useful reference for answering your questions at least partially is Theorem 1.7 (especially part (5) of it) in the notes http://inmabb.criba.edu.ar/revuma/pdf/v48n2/v48n2a05.pdf .
- 16.9k
4
votes
Hochschild cohomology of certain local algebras
The right term to look for is "truncated quiver algebras".
There are two relevant references which I believe lead to a complete answer to your question in the non-commutative case.
First, Section …
- 16.9k
2
votes
Analogy of Gerstenhaber algebra
One possible answer is contained in the paper of Victor Ginzburg and Travis Schedler, "Free products, cyclic homology, and Gauss-Manin connection", https://arxiv.org/abs/0803.3655. You will be in part …
- 16.9k
5
votes
Projective resolutions for commutative monoids
Homological algebra for monoids have been done by a lot of people in theoretical computer science. What is done for associative algebras over a field in a brilliant paper of David Anick (http://www.js …
- 16.9k
1
vote
What can be said about $A$ and $B$ given the exact sequence $0 \to R^p \to A \to R^r \to R^q...
Assume $R$ is a PID.
Clearly, there is a short exact sequence $0\to M_2\to A\to M_1\to 0$, where $M_1\subset R^r$ is the image of the map $A\to R^r$, so a free module of rank $d\le r$, and $M_2\cong …
- 16.9k
3
votes
Accepted
Homotopy transfer in the opposite direction
Let us denote by $p\colon Y\to X$ and $i\colon X\to Y$ the maps of your SDR. Since $pi=\mathop{\mathrm{id}}\nolimits_X$, the map $i$ is injective, and is an isomorphism with its image. The map $\pi=i\ …
- 16.9k
1
vote
Whitehead's second Lemma and invariants of exterior square
The way the question is formulated, it is trivial.
If $V\ne\mathfrak{g}$ ($\mathfrak{g}$ here being the adjoint module, in which case you already know everything), the corresponding sum is clearly d …
- 16.9k