(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

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)\...
8
votes
1answer
416 views

Deformations of Ext rings

Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...
5
votes
1answer
143 views

Left orthogonals to compact objects in triangulated categories: existence and “control”?

Let $C$ be a compactly generated triangulated category. Can it contain a non-zero object $M$ such that there are no non-zero morphisms FROM $M$ into compact objects? I would be grateful for any ...
2
votes
1answer
160 views

Ext groups in the equivariant derived category

I apologize in advance that this question is probably too basic for MO, but I reckoned I would not get an answer on Math.Stackexchange. I am starting to learn about perverse sheaves, the ...
4
votes
1answer
130 views

Extension-closed subcategories of triangulated categories as “almost exact” categories

Did anybody study those subcategories of triangulated categories that are closed with respect to "extensions" (in the sense of distinguished triangles; in particular, any such $B$ is additive)? If we ...
3
votes
1answer
93 views

Can you test flatness on $FP_3$-modules?

Let $A$ be a ring, and let $M$ be a right $A$-module. Then $M$ is flat if and only if for each left $A$-module $N$ we have that $Tor^1_A(M,N) = 0$. Becasuse $Tor$ commutes with filtered direct limits, ...
16
votes
0answers
745 views

Derived functors - homotopical vs homological approach

This question is a crosspost of the second part of this MSE question. In my first course in homological algebra, derived functors were defined in terms of universal $\delta$-functors. In the text ...
4
votes
0answers
62 views

Minimal rank of a permutation resolution of a $G$-lattice

Let $G$ be a finite group. By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$. One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...
3
votes
0answers
196 views

Is there a Hochschild-Serre spectral sequence for unramified cohomology?

Similar to the Hochschild-Serre spectral sequence for etale cohomology ($H^p(G, H^q_{et}(X_L, \mathcal F|_{X_L})) \Rightarrow H^{p+q}_{et}(X, \mathcal F)$ for a Galois field extension $L/k$ with ...
4
votes
0answers
172 views

Reference for Grothendieck's duality and Cousin, Dualizing and Residual complexes

I am a graduate student currently reading Hartshorne's Residues and Duality. In order to reach the construction of the right adjoint $f^!$ of $Rf_*$ for some special types of maps of locally ...
2
votes
1answer
81 views

Morphisms $P \to M$ in the derived category of a dg-category, if $P$ is h-projective

Let $\mathbf A$ be a dg-category. Denote by $\mathsf{C}_{\mathrm{dg}}(\mathbf A)$ the dg-category of right $\mathbf A$-modules, and by $\mathsf{C}(\mathbf A) = Z^0(\mathsf{C}_{\mathrm{dg}}(\mathbf A))$...
4
votes
1answer
309 views

On various “extension closures” and “orthogonals” in triangulated categories

A vague form of my question is the following one: for a class of objects $D$ of a triangulated category $C$ we consider the class $E$ of objects that satisfy $Mor_{C}(d,e)=\{0\}\ \forall d\in D$; ...
4
votes
1answer
223 views

Different ways of having infinite global dimension

Is there any ring $R$ of infinite global dimension such that any $R$-module is a retract (i.e. direct summand) of some $\oplus_{i\in I}M_i$ where each $M_i$ has finite projective dimension? I ask ...
3
votes
1answer
252 views

Model structure on non-negative differential graded algebras with homological grading

I was wondering if there exists a model structure on the category of non-negative differential graded algebras with homological grading. To be more precise: Let $Ch_{k}$ the model category of non-...
13
votes
1answer
399 views

Homotopy transfer in the opposite direction

Let $X\rightleftarrows Y\circlearrowleft$ be a strong deformation retraction of chain complexes (a.k.a. contraction), i.e. $X\rightarrow Y\rightarrow X$ is the identity, $Y\rightarrow Y$ is a homotopy ...
0
votes
1answer
42 views

Subgroups with some closed property

Assume $A$ and $B$ are infinite abelian groups, $B$ is a subgroup of $A$. Is it true that if every homomorphism from $B$ to $\mathbb Z$ can be extended to a homomorphism from $A$ to $\mathbb Z$, then ...
5
votes
0answers
151 views

Matrix factorizations as a dg-category?

Matrix factorizations (in the graded case) give a triangulated category. I would imagine that there should be an underlying dg-category. Is there such a definition, and if so, where can I find it in ...
1
vote
1answer
193 views

Dimension of Ext modules [closed]

Let $(R,m)$ be a noetherian local ring, and $M$ and $N$ be two finitely generated $R$-module. Then is it true that $\dim \text{Ext}^k(M,N)\leq \dim M-k$? If not does the reversed inequality hold?
3
votes
1answer
214 views

When is the cohomology of a space Ext(k,k)?

If $X$ is aspherical, we know that $H^*(X,k) = \text{Ext}_R(k,k)$, with $R = k\pi_1$. For non-aspherical spaces, do we ever have $H^*(X,k) = \text{Ext}_R(k,k)$ for some ring $R$? Obviously we need ...
2
votes
0answers
63 views

Antisymmetrization of the Hochschild cocycle

Let $A$ be a commutative (unital, complex) algebra and let $\varphi$ be a $n+1$-linear functional on $A$ (we will call it cochain). Define $$(b\varphi)(a_0,a_1,...,a_{n+1}):=\sum_{j=0}^{n}(-1)^j\...
3
votes
1answer
162 views

LES for relative cohomology via sheaves

I was unable to find a suitable answer for the following question: Once one learns that singular cohomology is the same as cohomology with coefficients in locally constant sheaf, it is natural to try ...
8
votes
0answers
301 views

End of the Ext functors

Let $R$ be a ring, and consider the hom functor $\hom\colon Mod(R)^\text{op}\times Mod(R)\to Mod(R)$; the end of $\hom$ is well-known to be the set of endomorphisms (endonatural transformations) of ...
0
votes
1answer
138 views

$\inf\{i\in \mathbb N \cup \{0\}\cup\infty\mid Ext^i_R(R/I,R)\neq 0\}=0 ?$

Let $R := k[x_1, \cdots, x_n, \cdots]/(x_1^1, \cdots , x^n_n, \cdots),$ where $k$ is a field. Set $I:=(x_1, \cdots, x_n, \cdots)$. the questions are: Is $\inf\{i\in \mathbb N \cup \{0\}\cup \{\...
3
votes
1answer
252 views

A question on the cohomology of elliptic curves over local fields

Let $K$ be a number field,$\nu$ a nonarchimedian prime of $K$, $K_{\nu} $ the completion of $K $ at $\nu $ with maximal unramified extension $K_{\nu}^{unr} $. Let $E $ be an elliptic curve defined ...
1
vote
0answers
86 views

Global dimension of graded Lie algebra

The rational global dimension of a graded algebra $A=(A_k)_{k\geq 0}$, with $A_0=\mathbb Q$, denoted here ${\rm gl}\dim A$ is defined to be the greatest integer $k$ (or $\infty$) such that ${\rm Ext}^...
2
votes
0answers
58 views

Minimal free resolution of sum of ideals

Let $S$ be the polynomial ring in $n$ variables, and let $I_1$ and $I_2$ be ideals in $S$. What can be said about the $\mathbb{Z}$-graded minimal free resolution of $I_1+ I_2$ in terms of the $\mathbb{...
2
votes
1answer
178 views

Decide two indices of Ext functor

This question is from the proof of Theorem 11.34 in the book: Twenty-four Hours of Local Cohomology. Let $R$ and $S$ be CM local ring and $R\to S$ a local homomorphism such that $S$ is a finite ...
6
votes
0answers
62 views

A “lower-central” filtration of Steenrod algebra?

$\renewcommand{\Atwo}{\mathcal{A}_2}$ So, a lot of good work has been accomplished by filtering the Steenrod algebras $\mathcal{A}_p$ in powers of the Augmentation ideal; For reasons partly ...
3
votes
1answer
214 views

When is finding an explicit inverse of an isomorphism not possible

My question is about Shapiro's lemma. Consider the isomorphism $\phi: H^n(G, Hom_{ZH}(ZG, A))\cong H^n(H,A)$ of shapiro's lemma. I would like to describe this via cochains. So the obvious map is $\...
4
votes
1answer
268 views

Is the derived category of perfect complexes idempotent complete?

Let $\mathcal{C}$ be a category. We call a morphism $\alpha: X\rightarrow X$ an idempotent if $\alpha^2=\alpha$ in $\mathcal{C}$. We call $\mathcal{C}$ is $\textit{idempotent complete}$ if any ...
4
votes
0answers
204 views

When do we have $D_{\text{perf}}(\text{Qcoh}(X))\simeq D_{\text{perf}}(X)$?

Let $(X,\mathcal{O}_X)$ be a scheme (or more generally a ringed space). We know that in general the derived category of complexes of quasi-coherent modules $D(\text{Qcoh}(X))$ is not equivalent to the ...
2
votes
1answer
199 views

An alternative definition of pseudo-coherent complex

Let $(X,\mathcal{O}_X)$ be a scheme or a general ringed space. First recall that a complex of $\mathcal{O}_X)$-modules $\mathcal{E}^{\bullet}$ is called strictly perfect if $\mathcal{E}^{\bullet}$ is ...
2
votes
0answers
132 views

What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?

It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor $\text{Hom}_{\text{Qcoh}(X)}(\...
5
votes
1answer
405 views

Is a locally free sheaf projective in the category of $\mathcal{O}_X$-modules when $X$ is an affine scheme?

Let $X$ be an affine scheme and $\mathcal{E}$ a finitely generated locally free sheaf on $X$. It is obvious that $\mathcal{E}$ is a projective object in the category Qcoh$(X)$ since we can pass to ...
6
votes
0answers
476 views

How can you see the minimal relations on a quiver from its bimodule resolution?

Suppose that you are given an algebra $KQ/I$, coming from a quiver Q, of finite global dimension. Suppose also that you know its minimal bimodule resolution over its enveloping algebra. Can you get a ...
2
votes
0answers
95 views

project limit on $n$- simplical complex which is principal homogeneous with respect to an action

The setting: Let G be compact locally $\Bbb{Q}_p$ analytic group. We fix a countable basis of open normal subgroups $G\supset G_1\supset ...G_r\supset...$ We suppose that we are given a system of ...
2
votes
1answer
436 views

Recollement of multiple $t$-structures

Given a recollement $$ \mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} \...
1
vote
0answers
148 views

Récollement of stable $t$-structures

Given a recollement $$ \mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} \...
-1
votes
1answer
102 views

Is this apushout diagram [closed]

Let $A, B, C, E$ and $F$ be some objects in an abeleian category $\mathcal{C}$. Let we have a commutative diagram \begin{array}{ccccccccc} 0 & \xrightarrow{} & A & \xrightarrow{f} & ...
3
votes
1answer
115 views

Is the image of a idempotent morphism in $\mathcal{K}(\mathcal{A})$ defined in the naive way?

Let $\mathcal{A}$ be an abelian category and $\mathcal{K}(\mathcal{A})$ be the homotopy category of chain complexes in $\mathcal{A}$. It is well-known that $\mathcal{K}(\mathcal{A})$ is idempotent ...
1
vote
0answers
289 views

How to prove that any perfect complex on an affine scheme is strictly perfect?

Let $(X,\mathcal{A})$ be a ringed space. A complex $\mathcal{S}^{\bullet}$ of $\mathcal{A}$-modules is $\textit{perfect}$ if for any point $x\in X$, there exists an open neighborhood $U$ of $x$ and a ...
5
votes
1answer
180 views

Relations between functors in a recollement

Consider a recollement situation like the following by the very definition of the various functors it follows that $i^* j_*=0$, and $j^! i_* = 0 = j^* i_!$. Also, $j^! i_! = 0 = j^* i_*$ by ...
7
votes
1answer
371 views

Explict form of $E_\infty$-morphisms between differential graded commutative algebras

This is a partial duplicate to this MO question, I apologize for that. I'm asking since the answers there still do not allow me to work out an answer to my question, which is a bit more specific. ...
0
votes
0answers
112 views

Relating overlapping simplicial complexes

Let $X$ be a simplicial complex and let $A,B\subset X$ be subcomplexes such that $C=A\cap B$ is a non-empty simplicial complex. Finally, let $C_{\cdot}(X)$, $C_{\cdot}(A)$, $C_{\cdot}(B)$, $C_{\cdot}...
1
vote
1answer
333 views

Are chain complexes over a field always injective?

Question: Let $\mathbb{F}$ be an algebraically closed field of characteristic zero and let $\mathrm{Ch}_{\mathbb{F}}$ be the category whose objects are chain complexes (of $\mathbb{F}$-modules) and ...
9
votes
0answers
361 views

Pairing of cohomology and homology Künneth formulas

Let $k$ be a field, and let $X$ and $Y$ be CW-complexes of finite type (although the question makes sense for $k$ a ring and for more general chain complexes of finitely generated free abelian groups)....
6
votes
2answers
553 views

Applications of cohomology to probability and statistics

Are there interesting/useful applications of cohomology (and homological algebra in general) to probability and statistics, or information theory? By "interesting/useful", I mean "not merely ...
0
votes
0answers
112 views

$\text{Hom}(G,\mathbb{Z})$ [duplicate]

Fix a cardinal $\kappa$ and consider $\mathbb{Z}^\kappa$ with componentwise addition and the subgroup $$F_\kappa :=\{g:\kappa \to \mathbb{Z}: \{\alpha\in \kappa: g(\alpha)\neq 0\} \text{ is finite}\}.$...
5
votes
1answer
332 views

Does homotopy invariance of homology follow from the structure of the simplex category $\Delta$?

Explicitly: Let $\Delta$ denote the simplex category, and $\mathscr{C}$ any small category, and fix a functor $F:\Delta \rightarrow \mathscr{C}$ such that $F\Delta^0$ is terminal. Also, assume $\...
0
votes
1answer
120 views

Do levelwise quasi-isomorphisms of bicomplexes induce a quasi-isomorphism between the total complexes?

Let $C^{p,q}$ be a bicomplex with differentials $d_h:C^{p,q} \to C^{p+1,q}$ and $d_v:C^{p,q} \to C^{p,q+1}$ where $d_h \circ d_v = d_v \circ d_h$. Let $D^{p,q}$ be another bicomplex defined similarly. ...