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

learn more… | top users | synonyms

5
votes
1answer
93 views

Flat dimension of injectives over a Gorenstein ring

Let $A$ be a Gorenstein noetherian local ring, and let $M$ be an $A$-module of finite injective dimension. If $M$ is a finite $A$-module, it is easy to show these assumptions imply that $M$ has ...
3
votes
0answers
125 views

Seeking an unpublished manuscript by Tetsuro Okuyama

Several papers in representation theory attribute the notion of relatively projective modules to Tetsuro Okuyama's manuscript "A generalization of projective covers of modules over finite group ...
4
votes
0answers
108 views

Cohomology of $Sym^m Q \otimes Sym^k Q \otimes L^p$

Let $V$ be a complex vector space. Let $L=\mathcal{O}(-1)$ and $Q=V/L$ be the quotient bundle over $\mathbb{P}V$. I'm trying to compute the cohomologies with coefficients in $Sym^m Q \otimes Sym^k Q \...
4
votes
1answer
103 views

Maps between products of symmetric powers

This question might be too elementary but it arises naturally as a part of a more complicated computation and I struggle to find the answer. Let $V$ be an $n$-dimensional complex vector space. ...
2
votes
1answer
163 views

Formal DG-algebra

Let $\mathcal{C}$ be a nice $k$-linear abelian category (the example I have in mind is the category of coherent sheaves on a smooth projective variety over $\mathbb{C}$). Let $B \in D^{b}(\mathcal{C})$...
1
vote
0answers
115 views

Relation of primary decomposition of two ideals

I have a simple question: Let $R=\mathbb{C} \lbrace t,u \rbrace$ be the ring of formal series in two variables. Let $I,J \subset R$ ideals of heigth one, and $I \subset J$. What is the relation of the ...
23
votes
2answers
1k views

Lemma 1 from Beilinson's “Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra”, intuition?

Consider Lemma 1 from Beilinson's paper "Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra", as follows. Let $\mathcal{C}$ and $\mathcal{D}$ be triangulated categories, $F: \...
8
votes
2answers
387 views

Confusion about Subcategories of Category $\mathcal{O}$

So, in learning about category $\mathcal{O}$ representations of a semisimple Lie algebra $\mathfrak{g}$, I've come across two natural kinds of subcategories, and I think I'm confused about their ...
5
votes
1answer
218 views

To calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$

Let $G$ be a finite $p$-group and $N$ be a normal subgroup of $G$. I wish to calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$, where $Q=G/N$. I could not found any lecture notes ...
3
votes
1answer
142 views

For what kind of sheaves can we always extend a sheaf map from a closed subset to the whole space?

Let $X$ be a topological space. We know that a sheaf on $X$ is call soft if for any closed subset $Z$ of $X$, a section on $Z$ can be always extend to a section on $X$. Now we consider a similar ...
1
vote
0answers
127 views

Is local-to-global spectral sequence functorial?

Consider a lower term of local-to-global spectral sequence $0 \to H^1(X,\mathcal{Hom}(\mathcal{F},\mathcal{G})) \to Ext^1(\mathcal{F},\mathcal{G}) \to H^0(X,\mathcal{Ext}^1(\mathcal{F},\mathcal{G})) \...
15
votes
1answer
293 views

Moduli space of boundary maps with prescribed chain and homology groups?

Let $R$ be a reasonable ring (maybe I mean a PID, or $\mathbb{Z}$, and when sufficiently desperate, a field). Now consider fixed sequences $C_n$ and $H_n$ of $R$-modules, which are tame in every ...
3
votes
1answer
198 views

generalized universal coefficient sequence

Take the familiar Universal Coefficient Theorem for ordinary homology with $\mathbb{Z}$-coefficients and ordinary cohomology with coefficients in some abelian group $A$:$$0\rightarrow \text{Ext}_\...
1
vote
0answers
68 views

Twisting cochains in non-unital settings

I'm reading chapter 2 of Loday and Vallette's book: Algebraic operads. My question is about how to translate some results in augmented settings into non unital settings. Let $k$ be a field of ...
2
votes
0answers
90 views

Flat resolutions of DG-schemes

Recall that a DG-scheme is a pair $(X,\mathcal{O}_X)$, where $(X,\mathcal{O}^0_X)$ is a scheme, $\mathcal{O}_X$ is a sheaf of commutative DG-algebras over $(X,\mathcal{O}^0_X)$, and each $\mathcal{O}^...
1
vote
0answers
65 views

How to calculate Chern class for reflexive sheaf?

Let $(X,\omega)$ be a Kahler manifold of dimension $n$ and $\mathcal{F}$ a reflexive sheaf on $X$. Since there is no global resolution of sheaf by vector bundles in the non-projective manifolds. It ...
3
votes
0answers
140 views

Can one complete a morphism of commutative triangles to a “commutative cube” in a triangulated category?

This question is a continuation of Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?. I am deeply grateful for the contributions there; they roughly say that ...
4
votes
2answers
198 views

Vanishing natural transformation and strong generator

Let $X$ be a smooth projective variety (over the field of complex numbers). Let $T$ be strong generator of $D^b(X)$ : this means that every object in $D^b(X)$ can be obtained in a given finite number ...
3
votes
1answer
127 views

Classifying space for homology endomorphisms supported on a graph?

Let $X$ be a reasonable topological space (say one that has the homotopy type of a finite CW complex) and consider a subset $\Gamma$ of $X \times X$ so that the projection $p:\Gamma \to X$ onto the ...
0
votes
1answer
168 views

Can you detect homological dimensions from homology?

Suppose you are given a bounded chain complex $M$ over a commutative ring $R$. Is there a clear relation between homological dimensions of $M$ and homological dimensions of its cohomologies? For ...
1
vote
0answers
64 views

On (universal) additive functors making a given complex contractible: examples?

Let $M=(M^i)$ be a (cohomological) complex of objects of some additive category $A$ (I am mostly interested in "short" complexes; yet one may also consider an unbounded $M$). I am interested in those ...
1
vote
0answers
66 views

Concerning the $SBI$-sequence for dihedral homology (Loday, Cyclic Homology, 5.2)

I was wondering about the signs of the $SBI$-sequence ("Connes' periodicity exact sequence") in equations $(5.2.7.2)$ and $(5.2.7.3)$ of 'Cyclic Homology' by Jean-Louis Loday. Why is the sequence ...
2
votes
0answers
113 views

Unital $A_{\infty}$-algebra?

I'm not familiar with the subject and i don't know if my question make sense. In Homological mirror symmetry and torus fibrations (http://arxiv.org/abs/math/0011041) a structure of a non-unital $A_{\...
1
vote
2answers
113 views

Showing that the stable module category of a ring $R$ restricted to maximal Cohen-Macaulay objects is trivial if $\text{gldim } R < \infty$

(In the following, a (not necessarily commutative) ring $R$ is Gorenstein if it has finite injective dimension as a module over itself on either side, and a finitely generated (right) $R$-module is ...
1
vote
1answer
91 views

Independent set of relations in an algebra [closed]

Let $k⟨X⟩$ be a free associative algebra generated by a set $X$ over a field $k$. Let $S$ be a set of $k$-algebra relations. Then what does it mean by the set of relations are independent ?
2
votes
0answers
136 views

Existence of universal extension between two modules?

I need a reference for the following fact: Let $R$ be (for simplicity) an algebra over the field $k$, let $A, B$ be $R$-modules. Let $E = Ext^1_R(B, A)$. There is a natural isomorphism between $...
5
votes
1answer
492 views

reference for “Topological algebra of Grothendieck”

I would like to have some references for Grothendieck's theory of "Topological algebra": a synthesis of homotopical and homological algebra, with special emphasis on topoi.
2
votes
1answer
128 views

Projectivity of torsion-free modules over integral group rings

Let $G$ be a torsion-free group and assume that the integral group ring $\mathbb{Z}G$ is torsion-free as well. Let $M$ be a torsion-free, finitely generated module over $\mathbb{Z}G$. If we assume ...
4
votes
1answer
191 views

locally noetherian categories and the category of quasi-coherent sheaves over a noetherian scheme

It is known that a ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective if and only if every injective $R$-module is a direct sum of indecomposable injective $R$-...
4
votes
0answers
180 views

Hochschild Cohomology of the Quantum Torus

I would like some advice on how to compute directly, or by a higher powered method the Hochschild Cohomology groups of the quantum torus using the stated complex I have found. I think there are ...
5
votes
1answer
383 views

soft: Reference/ Suggested Read: Homological Algebraic techniques in PDEs

I was reading this article on wikipiedia and was interested by the apparent link between Homological Algebra and PDEs. What is an accessible reference which showcases the link between these topics?
7
votes
1answer
224 views

Frobenius $A_{\infty}$-bialgebras?

Recall that a finite dimensional associative algebra $A$ over a field $k$ is called a symmetric Frobenius algebra (sometimes called "closed" Frobenius algebra) if its equipped with a symmetric non ...
4
votes
0answers
164 views

Generation of cohomology of graded algebras

Let $A$ be an unital, associative, graded algebra over a base ring $k$. I'm happy to assume that $k$ is a field if need be, and will insist that $A$ free and of finite rank in each degree (locally ...
6
votes
1answer
301 views

Connected CW complex, isomorphism?

Let $\pi$ be a group and let $K(\pi, 1)$ be a connected CW complex such that $\pi_1(K(\pi, 1)) = \pi$ and $\pi_q(K(\pi, 1)) = 0$ for $q \neq 1$. My question is, are $H_*(K(\pi, 1);A)$ and $\text{Tor}...
1
vote
0answers
223 views

Image of an $F$-acyclic resolution homotopic to a projective resolution?

This is a crosspost of this MSE question according to the recommendation in the comments. I know this question is elementary, but I'm hoping the author of these notes could provide a more detailed ...
1
vote
1answer
128 views

When the restriction of derived equivalence to a summand is a derived equivalence as well

I have a question about the equivalence of derived categories. Let $\mathcal{A} = \mathcal{A}'\oplus \mathcal{A}''$ and $\mathcal{B} = \mathcal{B}' \oplus \mathcal{B}''$ are direct sum of abelian ...
6
votes
1answer
235 views

When the restriction of a derived functor to a subcategory is the derived functor of the restriction

Let $\mathcal{D},\mathcal{E}$ be abelian categories and $\mathcal{C}$ be a Serre subcategory of $\mathcal{D}$. Let $D(\mathcal{C}), \, D(\mathcal{D})$ denote the derived categories of $\mathcal{C},\...
5
votes
1answer
568 views

How to compute this $\mathrm{Ext}^1$?

Let $A$ be a regular local $\mathbb{C}$-algebra of dimension $2$, such as the localization of $\mathbb{C}[x,y]$ at $(x,y)$, and let $\nu=(\nu_1\geq\nu_2\geq\cdots\geq\nu_{\ell}\geq0)$, $\mu=(\mu_1\geq\...
3
votes
0answers
187 views

Ring epimorphisms, and epimorphism in the category of small preadditive cats

This question is related to this other question I have asked some time ago. Let $R$ and $S$ be two rings and let $\phi:R\to S$ be a ring homomorphism. It is well-known that $\phi$ is an epimorphism ...
4
votes
0answers
72 views

Homological dimension of Joseph quotients

Let $\mathfrak g$ be a simple Lie algebra over $\mathbb C$ not isomorphic to $sl(n)$. Let $\mathcal O$ be the minimal nilpotent orbit in $\mathfrak g^*$. Joseph proved that there exists unique two-...
2
votes
0answers
78 views

Counting chain maps

I initially asked this question over at math stack exchange, you can find it here. I haven't really gotten any traction and I'm beginning to wonder if maybe its a harder question than I originally ...
6
votes
3answers
553 views

Homological vs. cohomological dimension of a group/space

I have several related questions regarding homological vs. cohomological dimension of a space/group (this is not a duplicate of this). The standard definition of the cohomological dimension $cd(X)$ ...
1
vote
0answers
155 views

How do I check if a sequence of R-modules is exact?

Let R be a ring. For example, take $R=k[x_1,\ldots,x_n]$ or, if possible, $R = \Bbb{Z}[x_1,\ldots,x_n]$. Consider a sequence of free R-modules $$R^a \stackrel{f}\to R^b \stackrel{g}\to R^c$$ where $f$...
0
votes
1answer
121 views

Spliting of short exact exact sequences of partially ordered groups

Consider a short exact sequence of partially ordered groups $$0 \longrightarrow H \stackrel{\alpha}{\longrightarrow} G \stackrel{\beta} {\longrightarrow} G/H \longrightarrow 0 ,$$ where $H$ is a ...
2
votes
1answer
69 views

Is the class of acyclic complexes deconstructible?

Let $\mathcal{C}$ be a category, then a class $\mathcal{A}\subseteq \mathcal{C}$ is deconstructible if there is a set $\mathcal{S}\subseteq\mathcal{C}$ such that $\mathcal{A}$ consists of $\mathcal{S}$...
4
votes
0answers
194 views

Can triangulated categories be “approximated by countable subcategories” (that are triangulated but not full!)?

For a given (finite) set of (objects and) morphisms $f_i$ in a triangulated category $C$ I am interested in a (non-full!) triangulated subcategory $C'\subset C$ of "small size" that would contain them....
3
votes
0answers
131 views

When there exists some “cone” of a morphism of (ind-representable) cohomological functors?

I am interested in cohomological functors from a certain small triangulated category $C$ to abelian groups. The question is: given a tranformation $F\to G$ of two functors of this sort, is it ...
3
votes
2answers
253 views

A conservative, non faithful functor between triangulated categories

Suppose that we have: 1) triangulated categories $C,D$, each equipped with a $t$-structure. 2) triangulated functor $F: C \to D$ which is $t$-exact. 3) $F$ reflects isomorphisms, i.e. is conservative....
0
votes
1answer
303 views

On a claim of Zagier on extending a map to cocycle

Zagier, in his paper 'Some Surprising Consequences of the Cohomology of SL$_2(\bf{ Z})$' (link, p. 6), studies the action of $\Gamma=PSL_2(\bf Z)$ on a vector space $V$, denoting the action by $v\ |\ \...
0
votes
0answers
215 views

Conditions for splitting of short exact sequence?

Assume $K$ is a number field and $E$ is an elliptic curve defined over $K$. Are there conditions under which the short exact sequence $$0\rightarrow E (K)/mE (K)\rightarrow H^1_{Sel}(K,E_m)\...