The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
2answers
474 views

Properties of quotient categories.

I asked this on math.stackexchange.com, but didn't get any answer. Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A Serre/thick/dense ...
2
votes
1answer
158 views

Is there an $A$ such that $B$ injective iff 1st Ext functor vanishes?

In the category of $\mathbb{Z}$-modules, there exists a module $A$---for instance $\bigoplus_{k=2}^\infty \mathbb{Z}/k\mathbb{Z}$---such that a $\mathbb{Z}$-module $B$ is injective iff ...
1
vote
0answers
122 views

When does Ext^2 vanish in a category of group representations.

Let $G$ be a linear algebraic group over field $k$ of characteristic zero. It is well known that the category of finite dimensional $k$--linear representations of $G$ is abelian, and that it is ...
1
vote
0answers
146 views

Model structure on the category of chain complexes in an abelian category gives rise to the derived category

Let $\mathcal A$ be an abelian category with enough projectives. Consider a morphism $f \colon X^\bullet \longrightarrow Y^\bullet$ in the category $C(\cal A)$ of chain complexes in $\mathcal A$. Is ...
3
votes
1answer
109 views

Natural Isomorphism of $S(V[1])$ and $(\bigwedge V)[n]$

Let $V:=\oplus_{j\in\mathbb{Z}}V_j$ be a graded $\mathbb{F}$-vector space over the field $\mathbb{F}$. The graded tensor product of graded vector spaces is given by $V \otimes W:= \oplus_{j\in ...
1
vote
0answers
110 views

Why are the left exact functors from an abelian category to abelian groups cocomplete and have a injective generator?

Let $\mathcal{C}$ be an abelian category, $\mathcal{Ab}$ the category of abelian groups and $Lex(\mathcal{C}, \mathcal{B})$ the category of left exact functors between abelian categories. What is the ...
1
vote
2answers
136 views

Why every complex of injectives is homotopically injective (provided that, the injective dimension is finite)?

Let $\scr A$ be an abelian category with exact products and a cogenerator (e.g. $\scr A$ is a category of modules). Let ${\mathbf K}(\scr A)$ be the homotopy category of cochain complexes over $\scr ...
4
votes
2answers
354 views

Homological characterization of smooth maps

Let $A \to B$ be a finitely generated homomorphism between two commutative noetherian rings. As far as I understand, in various generalizations of this situation, such a map is called smooth if $B$ ...
1
vote
1answer
289 views

Drect limit of sequences

Let $\mathcal{C}$ is a grothendiect category and consider all of what follows in $\mathcal{C}$. Let $$\{\varepsilon_i: 0\to A_i \to B_i \to C_i\to 0\ ,\ \phi_i^j\}$$ be a direct system of short ...
3
votes
0answers
101 views

minimal model of $A_\infty$ structure

Hi all, I am reading about minimal model of $A_\infty$ structure. So far, I find two different ways of the construction, given by Kadeishvili and Kontsevich, Soibelman. 1) The construction of these ...
4
votes
0answers
175 views

Computation of Ext(Z^N,Z)

What is $Ext_{\mathbb Z}^1 (\mathbb Z^{\mathbb N},\mathbb Z)$, where $\mathbb Z^{\mathbb N}$ stands for the infinite product $\prod_{n \in \mathbb N} \mathbb Z$?
0
votes
0answers
192 views

Homology of the dg-nerve vs Hochschild homology of the dg-category

Lurie in Higher Algebra, section 1.3 associates a quasi-category to a dg-category A via the so called dg-nerve construction, extending the classical nerve. I have a feeling the homology of the ...
2
votes
1answer
290 views

An example of a tensor product consisting of only simple tensors?

Hy guys. I'm doing some independent analysis which makes use of the tensor product of modules (over commutative rings with unit 1, and ring homomorphisms map $1 \mapsto 1$). Let $\pi: A' \to A$ be a ...
1
vote
1answer
265 views

A computation by the Shapiro Lemma

Hi: When I read the book "An introduction to Homological algebra" by Weibel, the page 206, line 9 says that "Shapiro's Lemma tell us that $H_q(S_n(X)\otimes_{Z}A)$ is zero if $q\neq 0$ and is ...
3
votes
2answers
294 views

Why is $Lex(\mathcal{A},\mathcal{Ab})$ abelian? Does $Lex(\mathcal{A},\mathcal{Ab})\rightarrow Func(\mathcal{A},\mathcal{Ab})$ admit a left-adjoint?

What is the best way to show, that $Lex(\mathcal{A},\mathcal{Ab})$ is abelian, where $\mathcal{A}$ is an abelian category and $\mathcal{Ab}$ is the category of abelian groups from scratch? There is ...
2
votes
0answers
147 views

Coordinate free Koszul-Tate resolution

Tate's original construction of the Koszul-Tate resolution involved choosing cocycles representing the cohomology to be killed. Where is it written in a coordinate free treatment, perhaps via a ...
1
vote
1answer
196 views

Cup-products and Transgression maps.

This question is related to Lyndon-Hochschild-Serre spectral sequence and cup products. I have the followin result by J.S Milne in his book Arithmetic duality theorems pg 105. Let $$0 \rightarrow C ...
1
vote
0answers
98 views

Explicit transgression maps for Group homology in LHS

This question is related to another question of mine (Here: Lyndon-Hochschild-Serre spectral sequence and cup products). I'm trying to figure out if some diagram commutes an one of the maps involved ...
6
votes
0answers
296 views

Lyndon-Hochschild-Serre spectral sequence and cup products

First here is my setup: Let $W$ be some group, and $C$ a normal subgroup of finite index, and let $W/C=G$. Now let $L$ be a a $G$-module on which $C$ acts trivially, so in particular we get on action ...
2
votes
1answer
142 views

Compatibility of connecting homomorphisms for Tor/Ext

This is a simple question about Tor and Ext functors. Let $R$ be a commutative ring, and let $0 \to M' \to M \to M'' \to 0$ and $0 \to N' \to N \to N'' \to 0$ be short exact sequences of $R$-modules. ...
0
votes
0answers
121 views

Split and pure exact sequence of sheaves

Let $X$ be a topological space and $$\varepsilon \ :\ 0 \to A \to B \to C \to 0$$ be an exact sequence of sheaves of ${\cal O}_X$-modules. $\varepsilon$ is said to be pure if for each point $x\in ...
0
votes
2answers
327 views

Is this square a push-out square?

Consider the following diagram which lives in the category of $R$-modules. $$ \begin{array}{ccccccccc} 0 & \xrightarrow{i} & A & \xrightarrow{f} & B & \xrightarrow{q} & C ...
3
votes
1answer
221 views

Resolutions chain homotopic to projective ones

Motivation. In my research I have a situation where a monoid $M$ is acting by nice cellular maps on a contractible cell complex and so the augmented chain complex is a resolution of the trivial module ...
4
votes
2answers
231 views

the first cohomology group of units of biquadratic number fields

Let $k=\mathbb{Q}(\sqrt{d_1}, \sqrt{-d_0})$, be an imaginary biquadratic number field and $H^1(G, U_k)$ the first cohomology group with $G=\mathrm{G}al(k/\mathbb{Q})$ and $U_k$ is the unit group of ...
1
vote
1answer
243 views

Coequalizer in category of dg-algebras

It is known that there is a model structure on category of dg algebras (non-commutative over arbitrary commutative ring). In particular it is complete and co-complete category. My question is how to ...
4
votes
4answers
196 views

Stratifications and Cohomology Computations

I am interested in references and suggestions concerning the use of stratifications in topology to inductively compute topological invariants. I would appreciate a fairly introductory reference on the ...
3
votes
0answers
135 views

Repeated Homotopy Category of Chain Complexes

Consider an additive category $\mathcal{C}$. It is known that the category $Ch(\mathcal{C})$ of chain complexes in $\mathcal{C}$ is again an additive category and hence one can consider the category ...
8
votes
2answers
530 views

H^d[U(1)^n,U(1)] of the Borel cohomology and Chern-Simons theory

Firstly I apologize that I am a physicist, with a relatively unrigorous math training. My approach of the problem can be Feynman style. Below $Z$ is the integer $\mathbb{Z}$, and $U(1)$ Abelian group ...
0
votes
2answers
141 views

Flatness and tensor product of rings

Let $R_1$ and $R_2$ be two subrings of the ring $R$ which commute in $R$ so that we have a ring homomorphism $R_1\otimes_\mathbb{Z} R_2\rightarrow R$. Assume that $R$ is flat over $R_1$ and $R_2$. Is ...
9
votes
1answer
408 views

Examples of applications of the Freyd-Mitchell embedding theorem.

The Freyd-Mitchell embedding theorem states the following: Let $\mathcal{A}$ be a small abelian category. There exists a unital ring $R$ and a full, faithful and exact functor ...
1
vote
0answers
82 views

Cocompleteness of the category of small $A_\infty$ categories

To follow up on my previous question, is the category of small $A_\infty$ categories even cocomplete? Looking for reference.
0
votes
2answers
306 views

An exercise about Tor [closed]

Let $I$ and $J$ be two ideals in $A$. Show that $\operatorname{Tor}_{1} (A/I, A/J) =\frac {I \cap J} { IJ} $ and $Tor_{2} (A/I, A/J) =\ker(I \otimes_ {A}J \to IJ )$. The first Tor is not a ...
9
votes
0answers
248 views

Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if (i) $R$ has finite left and right injective dimension (in which case it turns out ...
2
votes
0answers
150 views

About free resolutions of graded commutative algebras

Hi, I'm having troubles in adapting certain algebraic constructions to graded cases. We know that if $A$ is a commutative ring and $a_1,...,a_k$ are elements on $A$, there is a construction of the ...
13
votes
1answer
599 views

What is the purpose of section 3 of BBD?

I am not quite sure that this question is appropriate for Mathoverflow, yet I would be deeply grateful for any hint: what happens in section 3 of Beilinson A., Bernstein J., Deligne P., Faisceaux ...
3
votes
1answer
245 views

Commutativity of Tor

Let $A$ be a commutative ring with $1$ and $M,N$ be $A$-modules. Can you give a quick proof that $\textrm{Tor}_i(M,N) \cong \textrm{Tor}_i(N, M)$ using derived categories? In his Homological algebra ...
4
votes
1answer
251 views

Additive functors and Derived Categories

I have been learning about derived categories from Hartshorne's "Residues and Duality". One of the main theorems, as it is presented there seems to be the canonical isomorphism $RF \circ RG \cong R(F ...
5
votes
2answers
376 views

Are subfunctors of left exact functors also left exact?

Consider the direct image functor $f_*: Sh(X) \rightarrow Sh(Y)$, let $X$ and $Y$ be topological spaces, let $f: X \rightarrow Y$ be a continuous map, let $G \in Sh(X)$ be a sheaf. I was reading this ...
1
vote
1answer
310 views

Sequences of maps between modules such that $\ker(d_n) \subseteq \text{im}(d_{n+1})$

Consider a sequence of maps between $R$ modules (where $R$ is a ring with unity) $$\cdots \rightarrow M_{n+1} \xrightarrow{d_{n+1}} M_{n} \xrightarrow{d_{n}} M_{n-1} \rightarrow \cdots$$ such that ...
2
votes
1answer
140 views

morphism of injective objects

Let $A,B$ be two bounded below complexes in module category, and $A \longrightarrow I$ (resp. $B \longrightarrow J$) a injective resolution. If $f: A \longrightarrow B$ is a morphism of complexes. My ...
13
votes
1answer
666 views

Homology in the $A_\infty$ World

This question is turning out to be a little long so let me start off with the headline. Given a differential graded algebra $A$, we can recover $A$ from its homology $HA$ if we know "the" ...
13
votes
1answer
536 views

How much of a variety can be reconstructed from codimension-zero data?

This is an improved version of this question. Maybe it should be an edit -- I'm not sure what the MO convention is. I'm curious, more or less, how much information one can get out of the derived ...
1
vote
1answer
297 views

How much of a variety can be reconstructed from codimension-zero data?

Suppose $X$ is a nice (finite type over $\mathbb{C}$, smooth and proper if necessary) variety. Suppose we're given the $\mathbb{C}$-points of $X$ as a set and for any finite subset $S\subset X$ we ...
1
vote
1answer
603 views

question on an exercise on homological algebra?

Suppose R has finite global dimension n, N is a f.g. module, F is a free module and Ext^n(N,F) is not equal to zero, then Ext^n(N, R) is not trival either. Note, HERE R is not Noetherian necessarily. ...
1
vote
2answers
357 views

Let $M$ be a $R$-Bimodule that happens to be projective, is its associated left $R \otimes R^{op}$-module projective too?

Let $k$ be a commutative ring, a $R$-Bimodule $M$ over a $k$-algebra $R$ is a $k$-module with two actions of $R$ on $M$, on the left and on the right, the classical example of this being $R$ itself ...
1
vote
1answer
202 views

Defining Transfers Algebraically

I was trying to understand group (co)homology from a homological algebra point of view. Namely, given a group, $G$, one considers the category of (left) $\mathbb{Z}[G]$-modules, ...
4
votes
1answer
322 views

Mayer-Vietoris sequence in homology with local coefficients

Background. I'm trying to compute some homology groups using a Mayer-Vietoris argument, but I really need local coefficients. Question 1. What does the Mayer-Vietoris sequence look like when using ...
3
votes
0answers
230 views

Do exact functors commute with spectral sequences ?

Let $F: \mathcal{A} \to \mathcal{B}$ be an exact covariant functor of abelian categories and let $$\mathscr{C}: A \to A \to B \to A$$ be an exact couple in $\mathcal{A}$ with corresponding spectral ...
1
vote
1answer
165 views

Compact generator of $D(\mathbb{P}^1)$

I suppose that Beilinson's compact generator (and, in fact, tilting object) $\mathcal{O} \oplus \mathcal{O}(1)$ in $D(\mathbb{P}^1)$ is the most well known example. I have the following simple ...
3
votes
2answers
324 views

Morphisms between $K_0$

I suppose this is a question with a well known answer. Suppose $A$ and $B$ are two algebras over some field and there is a map $$ f: \operatorname{K_0}(A) \to \operatorname{K_0}(B) $$ is it ...