Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

More specifically, let $(K,\partial^K,\varepsilon^K)$ and $(L,\partial^L,\varepsilon^L)$ be augmented aclycic complexes of free abelian groups with augmentation module $\mathbb{Z}$; that is, $\varepsilon^K:K_0 \rightarrow \mathbb{Z}$. Does the tensor product of these complexes $(K \otimes L,\partial^{\otimes})$ have a acyclic augmentation?

share|improve this question

1 Answer 1

Let us be a bit more simple minded. Suppose $K,L$ are two free $R$ resolutions of $\mathbb{Z}$ where we can take $R$ to be polynomial over $\mathbb{Z}$ with a countable number of generators. Then $K \otimes L$ will not be acyclic, in fact its homology computes $Tor^R(\mathbb{Z}, \mathbb{Z})$ which in this situation is and exterior algebra over $\mathbb{Z}$ on countably many generators. It seems like your question, if we don't worry about the augmentation for a moment, is asking if $Tor$ is always zero, which it isn't. Granted you are asking about acyclic things, well free resolutions are certainly acyclic.

Does this help?

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.