The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
19 views

Reference for derived functor

I'm following a course in algebraic geometry and in 2-3 month we will see the cohomology of schemes using derived functors. I don't know anything about it, (and about category theory in general), ...
4
votes
0answers
63 views

Spectral sequence $\bigoplus_{k-j=q}\mathrm{Ext}^p(\mathcal{H}^j,\mathcal{H}^k)\Rightarrow \mathrm{Hom}^{p+q}(P,P)$

Reading the proof in Bondal-Orlov reconstruction theorem (http://arxiv.org/pdf/alg-geom/9712029v1.pdf), I found the spectral sequence in the title ...
0
votes
0answers
44 views

$\mathrm{Ext}^i(-,A/\mathfrak{m})$ in $(A,\mathfrak{m})$ noetherian regular local ring

Dealing with $\mathrm{Ext}^i(\mathcal{F},k(x))$ on a smooth variety over a field $k$, with $\mathcal{F}$ coherent and $k(x)$ skyscraper sheaf of a closed point I foundin a proof that for $i=2,3$ (and ...
1
vote
0answers
35 views

derived versions of natural isomorphisms

I have just recently started approaching the topic of derived categories in algebraic geometry, and I'm doing so reading Huybrechts "Fourier-Mukai transforms in algebraic geometry". I have a doubt ...
0
votes
0answers
16 views

Closure properties for classes of modules that form a cotorsion pair

A torsion theory is a pair of classes of $R$-modules (where $R$ is an associative ring with identity) $({\mathbb T},{\mathbb F})$, such that $r({\mathbb T})={\mathbb F}$ and $l({\mathbb F})={\mathbb ...
2
votes
0answers
19 views

Derived categories of filtered modules

For a ${\mathbb Z}$-filtered ring ${\mathbb k}$ one can consider the category ${\mathbb k}\text{-filt}$ of ${\mathbb Z}$-filtered ${\mathbb k}$-modules, equipped with the exact structure which ...
1
vote
1answer
44 views

Ext and extensions

There are two abelian groups up to isomorphism of order $p^2$, where $p$ is a prime. But Ext$(\mathbb{Z}/p,\mathbb{Z}/p)$ is cyclic of order $p$. I can embed $\mathbb{Z}/p$ into $\mathbb{Z}/p^2$ in ...
2
votes
0answers
59 views

Derived version of projection formula

Let $f \colon X \to Y$ be a continuous map of locally compact spaces. Denote by $Sh(X)$, $Sh(Y)$ the categories of sheaves of $k$-vector spaces for some field $k$ and by $D^b(X)$, $D^b(Y)$ their ...
0
votes
0answers
41 views

How do you take divergence of this field?

I forgot how to do divergences 3 years ago, this one is very confusing. We used to take them with respect to $x,y,z$ but this one doesn't have them. Help me with this question Prove that $∇.E = 0$ ...
2
votes
1answer
61 views

Derived equivalences implying isomorphism of Hochschild cohomologies, question.

Let $k$ be a field, let $A$ and $B$ be associative unital $k$-algebras, in this paper (http://webusers.imj-prg.fr/~bernhard.keller/publ/dih.pdf) Keller says that if there's an equivalence of derived ...
1
vote
0answers
40 views

Equivalences between categories $\mathcal{K}^b(\text{Injectives})$ and $\mathcal{D}^b(\mathcal A)$ if $\mathcal{A}$ has enough injectives

I have the following question: Let $\mathcal{A}$ be a abelian category and $\mathcal{I}$ be the full subcategory of injective objexts of $\mathcal{A}$. Assume that $\mathcal{A}$ has enough ...
3
votes
1answer
68 views

On finite generation of certain $\operatorname{Ext}$'s

All rings below are commutative. I have the following situation: $A$ is a commutative ring, $B=A/I$, and I know that $B$ is noetherian. I have a $B$-module $M$ which is finitely generated as a ...
1
vote
1answer
37 views

What is the forgetful functor for this simple finite category (based on the cyclic group C3)?

I am trying to understand what a forgetful functor is. I have read the definition here but I still cannot figure out what the forgetful functor is exactly for the simple cyclic group C3 viewed as a ...
10
votes
2answers
175 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 ...
0
votes
1answer
57 views

Tor functors: a basic explanation?

Could anyone give a basic explanation about Tor functors and, particularly, any idea about how they might be useful for the description of natural language?
1
vote
1answer
43 views

A necessary and sufficient condition for contravariant auto-equivalence on module categories

I have a problem about the condition of contravariant auto-equivalence on module categories. Let $R$ be a algebra over a field. Let $\mathcal{C}$ be a abelian subcategory of $R$-modules, and assume ...
10
votes
1answer
89 views

Motivation for Definition of Derived Category

On the $n$Lab entry about derived categories, I read the derived category of an abelian category $\mathsf A$ is the localization of $\mathsf{Ch}_\bullet (\mathsf A)$ at the quasi-isomorphisms. My ...
3
votes
1answer
78 views

How to pronounce Ext

Maybe this is a dull question, but I'm curious about how people pronounce the word 'Ext', for the $\operatorname{Ext}^{n}_{R}$ functor; some people called it as 'ee-ex-tee', 'eksit', or even just an ...
6
votes
0answers
150 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 ...
0
votes
2answers
26 views

First Derivative The slope at the sample points

I am trying to implement an interpolation function in C# and one of the parameter is an array of 4 elements, which should contains first derivative of the slope at the sample 4 points. I am not a ...
2
votes
1answer
43 views

Extensions of $\mathbb{Z}/(m)$ by $\mathbb{Z}$

I know that $\text{Ext}_{\mathbb{Z}}^1(\mathbb{Z}/(n), \mathbb{Z}) \cong \mathbb{Z}/(n)$. I am trying to use this to show that the extensions of $\mathbb{Z}/(n)$ by $\mathbb{Z}$ are $$0 \to ...
3
votes
0answers
80 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
1answer
89 views

Question on how to get back “classical” Serre-duality from its derived functor formulation

I'm really new to derived categories, so i hope this isn't a stupid question. I'm trying to understand how the duality described as for example in Residues and Duality of R. Hartshorne, using the ...
0
votes
1answer
48 views

If $F$ is a left exact functor is $A$ acyclic iff $F$ preserves exactness of every SES $0\to A\to B\to C\to 0$?

If $F:\mathscr{A}\to\mathscr{B}$ is a left exact functor between abelian categories where $\mathscr{A}$ has enough injectives, is it true that $A$ is an acyclic object iff $F$ preserves exactness of ...
0
votes
0answers
58 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 ...
2
votes
1answer
63 views

Do any 2 morphisms from objects $X$ to $Y$ define a chain homotopy equivalence?

I was curious about one thing: Let $A$ and $B$ be abelian categories with enough projectives, let $X$, $Y$ be objects in $A$ and let $P_{\bullet} \rightarrow X$, $P'_{\bullet} \rightarrow Y$ be ...
1
vote
1answer
57 views

Confusion in Serre's Local fields book

I read that for right exact functors we consider left derived functors and the resolutions that we consider are projective resolutions... I read that for left exact functors we consider right derived ...
1
vote
2answers
106 views

Relation between long exact sequences and Derived functors

I know that if i have a short exact sequence of chain complexes $$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$ then i can extend it to long exact sequence of homology groups as ...
1
vote
1answer
71 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
73 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' ...
3
votes
0answers
138 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 ...
6
votes
1answer
135 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 ...
0
votes
0answers
163 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
54 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
26 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
115 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 ...
6
votes
1answer
194 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 ...
6
votes
2answers
185 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 $$ ...
4
votes
0answers
220 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
1answer
168 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
58 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 ...
0
votes
1answer
150 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$). ...
1
vote
0answers
116 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
60 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 ...
3
votes
0answers
48 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 ...
1
vote
0answers
50 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: ...
15
votes
1answer
506 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
125 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
75 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
86 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, ...