I've been trying to wrap my head around derived functors and have come upon the following chain of arguments, which seems to yield the unreasonabel conclusion that all left derived functors are exact. I presume there must be some mistake, but have thus far been unable to find it, and would be gratefull for any help. The argument goes like this. Take some exact sequence $$0 \rightarrow A \rightarrow X \rightarrow C \rightarrow 0 $$ With projective resolutions $$A_* \rightarrow A, C_*\rightarrow C$$ By the horseshoe lemma we may choose a projective resolution $X_*\rightarrow X$ st. $X_n = A_n \oplus C_n$, s.t the sequence of deleted deleted chain complex $$A_*\rightarrow X_* \rightarrow C_*$$ with connecting arrows respectively the injection and projection of the coproduct, is a split short exact sequence of chain complexes. We may compute our left derived functor on our original sequence using this sequence, and since derived functors are only defined on additive functors, homology functors are also additive, and additive functors preserve split exact sequences, this seems to suggest that the derived functor on any short exact sequence yields a split short exact sequence. A conclusion that seems mildly utopic, if any one can point out what i did wrong it would be much appreciated.
2026-03-26 08:04:20.1774512260
A faulty "proof" regarding exactness of derived functors
51 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in HOMOLOGICAL-ALGEBRA
- How does $\operatorname{Ind}^G_H$ behave with respect to $\bigoplus$?
- Describe explicitly a minimal free resolution
- $A$ - dga over field, then $H^i(A) = 0, i > 1$ implies $HH_i(A) = 0, i < -1$
- Tensor product $M\otimes_B Hom_B(M,B)$ equals $End_B(M)$, $M$ finitely generated over $B$ and projective
- Group cohomology of $\mathrm{GL}(V)$
- two maps are not homotopic equivalent
- Existence of adjugant with making given natural transformation be the counit
- Noetherian property is redundant?
- What is the monomorphism that forms the homology group?
- Rational points on conics over fields of dimension 1
Related Questions in EXACT-SEQUENCE
- Does every sequence of digits occur in one of the primes
- Linear transformation and Exact sequences
- Snake lemma and regular epi mono factorization
- Replacing terms of an exact sequence by quotients
- Module over integral domain, "Rank-nullity theorem", Exact Sequence
- Inclusion and quotient mappings in exact sequences
- Parsing the Bockstein morphism
- Short exact sequence on modules
- G-groups homomorphism regarding the subgroup fixed by G
- A problem about split exact sequences.
Related Questions in FAKE-PROOFS
- Fake induction, can't find flaw, every graph with zero edges is connected
- A possible proof of Brocard’s Problem?
- How can I express a resulting discrepancy? (Proving $\varphi(x \in G) = x^{-1}$ is an automorphism iff G is abelian)
- An irreducible topological space $X$ admits a constant sheaf iff it is indiscrete.
- Difference between minus one and plus one induction?
- Every group is solvable, fake proof.
- If $ImA = (ImB)^{\bot}$ then $B^TA = 0$
- $\cos(\frac{2 \pi}{n}) = 1 \ \forall n \geq 1$? Need help in finding my mistake.
- Do all series whose terms are differences between a sequence and its limit diverge?
- Mistake in the wording of a question about the cardinality of a set of primes?
Related Questions in DERIVED-FUNCTORS
- Derived functors in the category of sheaves
- Question about $\mbox{Ext}$ groups in abelian categories
- Determining right derived functor of the left exact functor $M \to M[p]$.
- Defining contravariant left/right-exact functor with opposite category?
- Transfer modules and Weyl algebra
- Derived functors and induced functors
- Tor functor on a torsion ring
- Properties of derived functors
- Cohomology of $Hom$'s between Complexes
- When does the inverse image functor commute with internal hom?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The middle complex $X_\ast$ has terms that are $A_n\oplus C_n$, but it is generally not true that $X_\ast=A_\ast\oplus C_\ast$ as complexes. To compute the left derived functors of $F$ you would apply $F$ to each of the three resolutions and take the homology. It is indeed true that you will have split exact sequences $$0\to F(A_n)\to F(A_n)\oplus F(C_n)\to F(C_n)\to 0,$$ but the differential in the middle column will not be the sum of differentials of the outer columns. As a result, you will not get a split exact sequence $$0\to H_n(F(A_\ast))\to H_n(F(A_\ast))\oplus H_n(F(C_\ast))\to H_n(F(C_\ast))\to 0.$$
To have a look at what's going on, you can try to write the three resolutions explicitly for the exact sequence $$0\to\mathbb{Z}\to\mathbb{Z}\to\mathbb{Z}/2\mathbb{Z}\to 0$$