The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
1answer
190 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 ...
11
votes
0answers
315 views

Why do universal $\delta$-functors annihilate injectives?

Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories. Suppose $\mathcal{A}$ has enough injectives, and consider a universal (cohomological) $\delta$-functor $T^\bullet$ from $\mathcal{A}$ to ...
7
votes
0answers
273 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: ...
6
votes
0answers
132 views

Andre-Quillen Homology of the cuspidal curve $k[x,y]/(x^2 - y^3)$

I was wondering if I am in the right track here. Let $A := k[x,y]/(x^2 - y^3)$, the cuspidal curve. Obviously this isn't etale or smooth over $k$ so its cotangent complex is not contractible. Now, I ...
4
votes
0answers
151 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 ...
4
votes
0answers
56 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 ...
4
votes
0answers
136 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
72 views

A certain natural map between Tor functors

Consider the following Here $A$ is a flat (commutative, unital) $k$-algebra ($k$ a commutative ring) and $\mu:A\otimes_k A\rightarrow A$ is by $\mu(a\otimes b)=ab$, $\mathcal{M}$ denotes a maximal ...
3
votes
0answers
136 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 ...
3
votes
0answers
159 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: ...
3
votes
0answers
171 views

Left-derived functors

Let $F:\mathcal{A}\to\mathcal{B}$ be a covariant right-exact functor between two abelian categories. Suppose $\mathcal{A}$ has enough projectives. Then we define the left derived functors of $F$ by ...
2
votes
0answers
35 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 ...
2
votes
0answers
67 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 ...
2
votes
0answers
50 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_* ...
2
votes
0answers
142 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$. ...
1
vote
0answers
91 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. ...
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: ...
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 ...
0
votes
0answers
48 views

Endomorphisms of constant sheaves on connected spaces

In a paper by Deligne and Lusztig it says An endomorphism of a constant sheaf over a connected base is constant My interpretation of this statement is that given a (non-empty) connected ...
0
votes
0answers
114 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}$$
0
votes
0answers
84 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 ...