(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

-1
votes
1answer
140 views

Distinguished triangle and short exact sequence

Forgive me for asking an elementary question. Given coherent sheaves $A$, $B$, $C$ and morphisms $B\xrightarrow{f} C\xrightarrow{g} A$ which give rise to the distinguished triangle $A[-1] \rightarrow ...
6
votes
0answers
169 views

Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...
7
votes
0answers
47 views

Non-Standard Derived Equivalences of Non-Flat Algebras

I read that for algebras $R$ and $S$ (over a commutative ring), assuming that $R$ or $S$ is flat, the existence of a derived equivalence $\mathcal{D}(R) \to \mathcal{D}(S)$ implies the existence of an ...
5
votes
1answer
193 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
2answers
292 views

Definition of E-infinity operad

What is the definition of $E_\infty$-operad in the category of chain complexes over $\mathbb{Z}/p\mathbb{Z}$? J. Smith in http://arxiv.org/abs/math/0004003 define it for complexes over $\mathbb{Z}$ ...
5
votes
0answers
250 views
+50

Transgression map spectral sequence of Ext

Let $X$ be a scheme over $k$ and $p:\ X \to Spec(k)$ the structure morphism. If $M$ is an étale sheaf of abelian groups over $Spec(k)$ I have a Grothendieck spectral sequence ...
3
votes
0answers
74 views

Differentially closed fields

Let F be a field. Recall that an additive map $d: F\rightarrow F$ is said to be a derivation if $d(ab)=ad(b)+d(a)b$. Now let $F$ be a ring and let $d$ be a derivation of $F$. Examples I have in mind ...
2
votes
0answers
99 views

Reference request for a “truncated version” of the de Rham algebra

Let's start on the $n$-torus for sake of simplicity.$\newcommand{\T}{\mathbb T}$ If I understand the relevant definitions correctly, the usual de Rham algebra of smooth differential forms on $\T^n$ is ...
4
votes
1answer
113 views

Do $RHom(C,D)$ and $DG(C,D)$ have equivalent homotopy categories?

Toen in The homotopy theory of dg-categories and derived Morita theory Section 6 introduced the internal Hom's between dg-categories. Actually for two dg-categories $C$ and $D$, Toen defined $$ ...
5
votes
1answer
495 views

Projectives and Injectives in Functor Categories

Would it be possible to enlighten me (or even better give a reference) about enough projectives (injectives) in functor categories? Here is a precise question. Let $C$ be a small category, whose ...
3
votes
0answers
97 views

Are there necessary and sufficient conditions for a chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ to be Poincare?

I am looking for necessary and/or sufficient conditions for the chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ over a principal ideal domain to be Poincare in the sense that $H_0 \cong H^2$, $H_1 ...
0
votes
1answer
112 views

Tensor products of simple modules over algebras [closed]

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules. We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural ...
7
votes
1answer
308 views

Is there a practical criterion to determine whether the limit of a diagram of real chain complexes is also a homotopy limit?

Consider a diagram D: I→ChR of real connective chain complexes. In the example I have in mind all chain complexes are concentrated in some fixed degree n. There is a canonical map lim D → holim D ...
4
votes
0answers
127 views

References for bilinear forms on chain complexes?

I am looking for references that include general results and theorems for bilinear forms defined on chain complexes. That is, bilinear forms $\langle \cdot , \cdot \rangle_i : C_i \times C_i \to ...
8
votes
2answers
717 views

Relation between Gerstenhaber bracket and Connes differential

Let $C$ be an arbitrary algebra (more generally, a linear 1-category). The following structures are well-known: A degree-0 product on the Hochschild cohomology $HH^*(C)$ $$ HH^*(C) \otimes HH^*(C) ...
8
votes
2answers
230 views

derived categories as presentable DG-categories

Let $A$ be a ring. Is it true that the DG category of unbounded complexes of $A$-modules, localized by quasi-isomorphisms, is cocomplete and compactly generated? What would be a reference for that and ...
1
vote
1answer
117 views

What can be said about $A$ and $B$ given the exact sequence $0 \to R^p \to A \to R^r \to R^q \to B \to 0$?

Let $A,B$ be two $R$-modules over a commutative ring $R$ (restrict to $R = \mathbb{Z}$ or $R= \mathbb{K}$ a field where appropriate). Suppose $A$ and $B$ fit into an exact sequence $0 \to R^p \to ...
4
votes
1answer
233 views

Homotopy classification of selfmaps of product of spheres?

Self-maps of n-torus $T^n=S^1\times ...\times S^1$ are classified by the induced homorphism of fundamental group $\pi_1 T^n=Z^n$. Is a similar result true form self-maps of $S^k\times ...\times S^k$ ...
15
votes
2answers
490 views

Grothendieck spectral sequence when one of the functors is contravariant

Let $f \colon X \rightarrow S$ be a morphism of schemes. I am interested in computing the cohomology groups of $$ \mathbf{R}\mathscr{H}om(\mathbf{R}f_* \mathcal{O}_X, \mathcal{O}_S) $$ in terms of ...
4
votes
0answers
216 views

Do differential objects form triangulated categories?

Let $\mathcal{A}$ be a (fixed) additive category. To a differential object $(A,a)$ for $\mathcal{A}$ (so, $a:A\to A$ and $a^2=0$) one may associate an $\mathcal{A}$-complex $\dots \to ...
3
votes
1answer
96 views

Homological characterisation of standardly stratified algebras using Ext

Let A be a finite dimensional algebra and $S_1,S_2,...,S_n$ the simple $A$-modules and $P_1,..,P_n$ the indecomposable projective $A$-modules. For $i=1,...,n$, define the standard module $\Delta_i$ as ...
6
votes
2answers
814 views

Does module Hom commute with tensor product in the second variable?

Let $A$ be a commutative ring, and $L, M, N$ be $A$-modules. Then is it true that $$\text{Hom}_A (L, M)\otimes_A N \cong \text{Hom}_A (L, M\otimes_A N)$$ as $A$-modules? (Note that there is a ...
1
vote
1answer
149 views

$E_{\infty}$ algebra in characteristic zero

I asked this question on MSE(http://math.stackexchange.com/q/1579026/239218). Let $A^{\bullet}$ be a cosimplicial commutative algebra over a field $\Bbbk$. Denote with $N(A)^{\bullet}$ the ...
6
votes
1answer
324 views

Is the sheaf of smooth functions flat?

Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}_X$ module?
3
votes
0answers
70 views

Classification of representation-finite algebras up to stable equivalence of Morita type

assume K is an algebraically closed field. I wanted to ask if there is a classification of the representation-finite K-algebras up to stable equivalence of Morita type at least for some small numbers ...
10
votes
1answer
431 views

teaching higher algebra

Has anyone ever (successfully or unsuccessfully) taught a course in higher algebra (in the $\infty$-categorical sense)? I'm asking out of curiosity (and also hoping for more resources). The ...
33
votes
12answers
11k views

Homological Algebra texts

I would like to hear the communities' ideas on good Homological Algebra textbooks / references. The standard example is of course Weibel (which I'll leave for someone else to describe). As usual, ...
4
votes
1answer
173 views

Information and intuition packed in the Chern character for coherent sheaves

even after quite some time learning it, I still get somehow puzzled by the Chern character. Let me recall some stuff to get notation and setting. Let us consider a smooth projective algebraic variety ...
2
votes
0answers
121 views

completion and convergence of spectral sequence

I would like to understand the connection between $p$-adic completion and the strong convergence of a spectral sequence. Precisely, suppose $E^2_{s,t}\implies G_{s+t}$ is a first quadrant strongly ...
2
votes
0answers
42 views

Calculation of minimal right $\operatorname{add}(M)$-approximations

given a finite dimensional quiver algebra $A$ and a generator $M$ with $\operatorname{Ext}^1(M,M)=0$. By Wakamatsus lemma, for any $A$-module $N$ there exists a surjective $A$-linear map $f\colon M_1 ...
3
votes
2answers
185 views

How do we get the quotient $Ext^1(N,M)/Hom(N,M)$?

If $0\longrightarrow M\longrightarrow E\longrightarrow N\longrightarrow 0$ is a short exact sequence of torsion free coherent sheaves on a surface. Here $M$ is a line bundle, $E$ a vector bundle of ...
5
votes
0answers
96 views

Second homology of mapping class group via universal coefficient theorem

Let $S_g$ be the closed, orientable surface of genus $g\ge 2$ and $Mod(S_{g,1})$ the mapping class group of homeomorphisms fixing a base point $x_0\in S_g$ modulo isotopies fixing $x_0$. It is known ...
20
votes
1answer
678 views

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

This is a followup to here. Consider Lemma 2 from Beilinson's paper "Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra", as follows. Lemma 2. For any pair $i$, $j$ such that $0 ...
1
vote
1answer
88 views

dg-resolution of the polynomial algebra

I am intersted in constructing a cofibrant resolution of the commutative polynomial algebra in some number of variables in the category of dg-algebras(not necceserily commutative). The resolutions ...
20
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: ...
7
votes
0answers
156 views

Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then it should hopefully be understood by most readers as saying ...
0
votes
0answers
61 views

Homology of product of two groups [duplicate]

There is well known formula for the homology of product of two groups with coefficient in integers, that is $0 \rightarrow \oplus_{p+q=n}H_p(G,\mathbb{Z}) \otimes H_q(H,\mathbb{Z}) \rightarrow H_n(G ...
11
votes
3answers
1k views

Does Qcoh(X) admit a generating set?

Let $X$ be a scheme (or more generally a ringed space, if it works). Does $Qcoh(X)$, the category of quasi-coherent sheaves on $X$, admit a generating set? This would be useful, because then every ...
2
votes
1answer
182 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 ...
0
votes
0answers
48 views

One-sided endomorphism rings of centred bimodules

Let R be an associative unital ring. An R-bimodule M is called centred bimodule if M = R*Z(M), where Z(M)={m:rm=mr,∀r∈R}, i.e., M is generated as an R-module by the set of R-centralizing elements. ...
3
votes
1answer
177 views

Reference for constructing tensor products of finitely presented functors

I need references related to the construction of tensor product between functors Let $k$ be a commutative ring, $C$ a small $k$-linear category and $A$ cocomplete abelian category. Let $A^C$ denote ...
5
votes
1answer
83 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 ...
5
votes
1answer
101 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. ...
3
votes
0answers
114 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 ...
2
votes
1answer
136 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 ...
13
votes
1answer
563 views

When is every “solid” perfect complex faithful?

Let $R$ be a noetherian commutative ring. Consider $D^{perf}(R)=K^b(R-proj)$ the category of bounded complexes of finitely generated projective $R$-modules, with maps of complexes up to homotopy. ...
8
votes
2answers
340 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 ...
1
vote
0answers
104 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 ...
9
votes
1answer
549 views

Grothendieck trace on local cohomology?

Let R be an augmented regular local ring over a field $k$ with maximal ideal m. There is the Grothendieck residue symbol: $$Res: H^n_m(\Omega^n) \to k$$ If $k=\mathbb{C}$ and $R$ is affine space, ...