The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
20 views

Another description for the map $\text{Ext}^1_\mathbb{Z}(A,G)\to H^2(G,A)$

Group extensions of $G$ by $A$ $0\to A\to E\to G\to 0$ up to equivalence (where $G$ and $E$ may be nonabelian) are in bijection with the second group cohomology ...
5
votes
1answer
53 views

Ext functor commutes with connecting homomorphisms?

Suppose we have an exact sequence $0 \to L \to M \to N \to 0$ and a morphism $f \colon A \to B$ of $R$-modules. If $\delta \colon \text{Ext}^{i}_{R}(B,N) \to \text{Ext}^{i+1}_{R}(B,L)$ and $\delta' ...
2
votes
0answers
127 views

Homotopy limits

Let $\mathfrak C$ be a Grothendieck category and let ${\bf D}=\mathrm{D}(\frak C)$ be its derived category, that is, consider the injective model structure on the category $\mathrm{Ch}(\frak C)$ of ...
0
votes
0answers
31 views

how to derive the canonical form of a transfer second order equation?

How to derive the canonical form of the second order transfer function?? $$\frac{(\omega_n)^2}{s^2+2\zeta\omega_ns + (\omega_n)^2}$$
2
votes
1answer
53 views

Computing $H^\bullet(\Bbb Z/n\Bbb Z)$

This is related to this other question of mine Showing that $\operatorname {Br}(\Bbb F_q)=0$ in which I also got stuck at writing a free resolution. I want to compute the group cohomology ...
2
votes
1answer
21 views

Behaviour of $\operatorname{Ext}$ with left exact sequences.

Maybe is a trivial question but I am not so good in derived functors. Assume we are in the category of abelian groups and we have an exact sequence $$0\longrightarrow A\longrightarrow B\longrightarrow ...
2
votes
2answers
86 views

Having trouble understanding the Tor functor

I am having trouble understanding the Tor functor as presented in Dummit and Foote. Given $\dotsb\to P_n\to P_{n-1}\to\dotsb\to P_0\to B\to 0$ as a projective resolution with homomorphisms ...
4
votes
0answers
96 views

Long exact sequence in cohomology associated to a short exact sequence of *functors*

In homological algebra, when you have a left exact functor $F$ From an abelian category $\mathcal{A}$ to an abelian category $\mathcal{B}$ and you have enough injectives in $\mathcal{A}$, then you ...
6
votes
2answers
107 views

Why is the definition of $\lim^1$ via a cokernel the first derived functor of $\lim$?

Let $A_*=\ldots\to A_n\to A_{n-1}\to\ldots\to A_0$ be a linear system of abelian groups. The limit of this system may be defined as the kernel of the map $$ \prod A_n\xrightarrow{g-1}\prod A_n $$ ...
0
votes
0answers
26 views

Exactness of derived functor [duplicate]

Is the right derived functor of a left exact functor left exact also? If now, can anything be said about its exactness in general?
3
votes
1answer
72 views

Fully faithful and essentially surjective is an equivalence

The question asks to prove the statement in the subject. So assume the functor is $F: \mathcal{C} \rightarrow \mathcal{D}$ is fully faithful and essentially surjective. We need to construct a map ...
4
votes
0answers
48 views

The functor $\underline{\mathbf{R}}^if_*$

Let $f: X \to Y$ be a proper morhpism of varieties, and $\mathcal{F}$ be a sheaf on $X$. Then we have $f_* \mathcal{F}$ as a sheaf on Y and we also have a higher derived functor $\mathbf{R}^i ...
1
vote
0answers
73 views

Derived push-forward of projective sheaf

Let S,X be schemes and $s \in S$ be a closed point. Let $D(X)$ be the derived category of complexes of sheaves. Let $$i_s: X \cong {s} \times X \hookrightarrow S \times X$$ be the natural embedding. ...
0
votes
1answer
59 views

$Tor_1^\mathbb{Z}(\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/2\mathbb{Z})$

How do I find $Tor_1^\mathbb{Z}(\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/2\mathbb{Z})$? and is it free or at least projective? I tried using the obvious short exact sequence then tensoring with ...
1
vote
0answers
49 views

Where is the mistake? (derived functors )

Assume $pd(M) =n \leq \infty$ for a left $R$-module. I then have to show there exists a free module $F$ such that $Ext_{R}^{n}(M,F) \neq 0 $. I have tried these steps and obtained a contradiction: ...
2
votes
0answers
31 views

Physical interpretation of categorical structures related to Dirichlet Branes

In Dirichlet Branes and Mirror Symmetry by Aspinwall et al, section 5.9 discusses various questions that remain open. In particular they say: "There are many constructions from homological ...
15
votes
1answer
420 views

Homological methods in algebraic geometry

This question will probably seem quite silly to those well-versed in algebraic geometry (about which I admittedly hardly know anything); in the preface of Atiyah-Macdonald's book on commutative ...
0
votes
1answer
74 views

Derived Distributions: PDF of -ln|X| [answered]

I am studying questions for a probability exam. I am stuck on derived distributions. One of my textbook's questions asks: If $X$ is a random variable uniformly distributed between $-1$ and $1$, find ...
2
votes
0answers
61 views

Derived functors and coboundary operator

I understand that one can define the cohomology of an object $A$ in terms of a complex (non-zero in positive degrees) in some Abelian category, together with differentials, such that the composition ...
3
votes
2answers
79 views

Reference request: localisation of categories

I'm trying to track down a result mentioned in Verdier's Categories Derivees apearing in SGA 4.5. In chapter 2, 3.1 (page 280 in SGA 4.5) Verdier mentions that categorical localisations always exist, ...
11
votes
1answer
220 views

What is a concrete example of why one wants to have a *derived category* in algebraic geometry?

My question asks for a concrete (and hopefully easy) example, why one wants to derive things in algebraic geometry. I heard, that a resolution of an object by free ones behaves much better than the ...
1
vote
0answers
25 views

Why is dual functor continuous?

Recall that a functor F is continuous is the map from Hom(V,W)to Hom(F(V),F(W)) is always continuous. I have already know how to prove the functor V** is continuous, but don't know why the functor ...
5
votes
3answers
198 views

What does it mean to have exact derived functors?

Let $F:\mathcal A\to \mathcal B$ be a functor between abelian categories. Suppose $F$ is, say, left exact (plus additive and covariant). We have built its right derived functors $R^iF$. I see no ...
3
votes
1answer
63 views

$\mathrm{Ann}_RA+\mathrm{Ann}_RB\,\subseteq\mathrm{Ann}_R\,\mathrm{Ext}^n_R\!(A,B)$?

Let $R$ be a commutative unital ring and $r\!\in\!R$. Let $A$ and $B$ be $R$-modules. Does $rA\!=\!0$ or $rB\!=\!0$ imply $r\mathrm{Ext}^n_R(A,B)=0$ for all $n\in\mathbb{N}$? For $n=0$ it holds, but ...
3
votes
2answers
95 views

Derived functors definition

I´m searching for a reference that defines $n^{th}$derived functors in an analogous way to the definition given in Mitchell´s "Theory of Categories" for the $0^{th}$ derived functor of $T$ covariant ...
0
votes
1answer
120 views

$\mathrm{Tor}_1(R/a,M)$ and $\mathrm{Ext}^1_R(R/a,M)$, $a\in R$ a non-zero divisor

In Lecture Notes in Algebraic Topology, Davis & Kirk, it is written: Proposition $\mathbf{2.4.}\,\,$ Let $R$ be a commutative ring and $a\in R$ a non-zero divisor (i.e. $ab=0$ implies $b=0$). ...
4
votes
1answer
76 views

Does $\varprojlim\ ^1$ vanish whenever it doesn't have to account for non-right exactness of $\varprojlim$?

The projective limit functor is not right-exact: if $G_\bullet\rightarrowtail H_\bullet\twoheadrightarrow K_\bullet$ is a projective system of extensions, then there is a long exact sequence $$ ...
2
votes
1answer
69 views

On the element $2\in\mathrm{Ext}(\mathbb Z/4,\mathbb Z)$.

There is a canonical isomorphism $\mathrm{Ext}(\mathbb Z/4,\mathbb Z)\cong\mathbb Z/4$ based on the fact that an extension $$0\to\mathbb Z\xrightarrow i G\xrightarrow{p}\mathbb Z/4\to 0$$ is ...
6
votes
1answer
165 views

Description of Tor via the derived category?

If $A,B$ are objects of an abelian category $\mathcal{A}$ and $n \in \mathbb{N}$, there is a very nice and useful description of $\mathrm{Ext}^n(A,B)$. Namely, it is just the set of morphisms $A \to ...
5
votes
1answer
129 views

Equivalence between Ext and Hom

This is a question from Homology by Saunders Mac Lane. This is problem 5 page 76. I've been struggling to solve this problem for like more than a day, but still nothing valuable comes across my mind ...
1
vote
1answer
149 views

Computation of the hom-set of a comodule over a coalgebra: $Ext_{E(x)}(k, E(x)) = P(y)$.

First of all, since every other book somehow mentions that this is trivial, I apologize if it turns out that I am just misunderstanding something in the definitions. So here goes: The motivation for ...
2
votes
2answers
142 views

Equivalence of categories and derived functors.

Don't know if this kind of a dumb question but let $A$ and $B$ be abelian categories and suppose they're equivalent: there are two functors $P: A \rightarrow B$ and $Q: B \rightarrow A$ satisfying the ...
9
votes
1answer
169 views

Ext between two coherent sheaves

Let $X$ be a smooth projective variety over a field $k = \overline k$. From Hartshorne we know, that $\textrm{dim} \, H^i (X,F)<\infty$ for any coherent sheaf $F$. How to show, that all $Ext^i ...
2
votes
0answers
48 views

Hypercohomology and acyclicity of direct images

Let $f: X\rightarrow Y$, $g:Y \rightarrow Z$ be morphisms of topological spaces and let $K^{.}$ be an injective object in the category of complexes of abelian sheaves on $X$. Write $\mathbb R^0f_* ...
6
votes
1answer
190 views

How to compute Hom in derived category?

Let $X$ be a smooth variety, $D^{b}(X)$ be the derived category of bounded coherent sheaves.Then there is a definition of $Hom(F^{\cdot},G^{\cdot})$ which is the derived functor of $Hom(F^{\cdot},-)$. ...
5
votes
1answer
136 views

Sheaves on $\mathbb{P}^n \times \mathbb{P}^m$, and a commutation relation for derived functors of global sections and tensor products on it.

I'll state my questions first and then provide some background. Question 3 is by far my most important one. We work over $k=\mathbb{C}$ whenever necessary. Is it true that $\text{Pic}(\mathbb{P}^n ...
6
votes
1answer
115 views

Example where Čech and derived functor cohomologies don't agree.

I'm studying sheaf cohomology, and I've seen that Čech and derived functor cohomologies agree, at least on paracompact Hausdorff topological spaces. Is there a simple example of a topological space ...
3
votes
1answer
133 views

Computing left derived functors from acyclic complexes (not resolutions!)

I am reading a paper where the following trick is used: To compute the left derived functors $L_{i}FM$ of a right-exact functor $F$ on an object $M$ in a certain abelian category, the authors ...
4
votes
1answer
198 views

Why are these two functors isomorphic?

Let $A$ be a local noetherian ring, $M$ an $A$-module finitely generated. Let $f$ be an $A$-regular and $M$-regular element (i.e. $f$ is not a zero divisors on $A$ nor on $M$). Then inside the ...
9
votes
2answers
152 views

What does $Tor_{R}^n(M,N)$ represent?

Let $R$ be a commutative ring and $M$ and $N$ be $R$-modules (I am not sure if one really needs commutativity in the following). It is well-known that $Ext_{R}^n(M,N)$ for $n>1$ parametrizes ...
4
votes
0answers
125 views

Cartan-Eilenberg resolutions, adapted classes and acyclic resolutions

I may get grilled for this but here I go: Let $\mathcal{A}$ be an abelian category with enough injectives. What I want to know is VERY VERY specific. Let's say I have a complex in $\mathcal{A}$ $0 ...
3
votes
0answers
152 views

Adapted classes of objects and left (right) exact functors

I had a question about adapted classes of objects, I was confused by the definition and how it relates to left exact functors. Let $\mathcal{A}$ be an abelian category with enough injectives, let $F: ...
2
votes
0answers
130 views

Computing Derived Pullback on the Complement

Let $X$ be a scheme and $\iota: Z\hookrightarrow X$ the embedding of a closed subscheme $Z$; let $j: U\hookrightarrow X$ be the open complement. Suppose $\mathcal{F}$ is a coherent sheaf on $X$. ...
7
votes
0answers
245 views

Composition of derived functors and comparison between hypercohomology and sheaf cohomology

I had a few questions about compositions of derived functors, the comparison between hypercohomology, and sheaf cohomology and the following theorem from the Gelfand, Manin homological algebra book: ...
2
votes
1answer
58 views

Map from $\operatorname{Ext}^1(M,M)$ to $H^1(G, \operatorname{End}(M))$

The setting is as follows: $(R,m)$ is a local ring (assume noetherian, complete, if you need) and $\rho\colon G\to \operatorname{Aut}(M)$ is a group representation on the free, finite-rank ...
0
votes
0answers
72 views

What is the cohomological dimension of a functor?

Let $F:\mathcal{C}\rightarrow \mathcal{D}$ be a functor between abelian categories. Could anyone explain what the cohomological dimension the functor $F$ is? We may need some additional condition to ...
2
votes
1answer
164 views

Question about the $\mathrm{Tor}$ functor

Assume we want to define $\mathrm{Tor}_n (M,N)$ where $M,N$ are $R$-modules and $R$ is a commutative unital ring. We take a projective resolution of $M$: $$ \dots \to P_1 \to P_0 \to M \to 0$$ Now ...
2
votes
1answer
133 views

Example computation of $\operatorname{Tor_i}{(M,N)}$

Let $M = \mathbb Z / 284 \mathbb Z$ and $N = \mathbb Z / 2 \mathbb Z$. Can you tell me if my computation of $\operatorname{Tor_i}{(M,N)}$ is correct: (i) First we want a projective resolution of ...
7
votes
1answer
83 views

Is there an easy formula for $\operatorname{Tor}_i^{\mathbb{Z}/(p^n)}(\mathbb{Z}/(p),\mathbb{Z}/(p))$?

I've been following some old slides from the Spring 2010 Algebra Seminar at UWaterloo. I now know that $$ \operatorname{Ext}_{\mathbb{Z}/(p^n)}^i(\mathbb{Z}/(p),\mathbb{Z}/(p))\cong\mathbb{Z}/(p) $$ ...
3
votes
1answer
90 views

Is there a general formula for $\operatorname{Ext}_{\mathbb{Z}/(p^n)}^i(\mathbb{Z}/(p),\mathbb{Z}/(p))$?

The other day I was reading through some slides I found online about Ext and Tor. One of the examples gave a cursory derivation for a general formula $$ ...