File:Chain homotopy.svg

From Wikimedia Commons, the free media repository

Jump to: navigation, search

Chain_homotopy.svg‎ (SVG file, nominally 403 × 106 pixels, file size: 49 KB)

[edit] LaTeX source

\documentclass{amsart}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\begin{equation*}
\xymatrix@+3em{
{\dots} \ar[r]^{d_A^{n - 2}}
	& A^{n - 1}
		\ar[r]^{d_A^{n - 1}}
		\ar@<0.5ex>[d]^{g^{n - 1}}
		\ar@<-0.5ex>[d]_{f^{n - 1}}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n - 1}}
	& A^n
		\ar[r]^{d_A^n}
		\ar@<0.5ex>[d]^{g^n}
		\ar@<-0.5ex>[d]_{f^n}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^n}
	& A^{n + 1}
		\ar[r]^{d_A^{n + 1}}
		\ar@<0.5ex>[d]^{g^{n + 1}}
		\ar@<-0.5ex>[d]_{f^{n + 1}}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n + 1}}
	& {\dots}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n + 2}}\\
{\dots} \ar[r]^{d_B^{n - 2}}
	& B^{n - 1} \ar[r]^{d_B^{n - 1}}
	& B^n \ar[r]^{d_B^n}
	& B^{n + 1} \ar[r]^{d_B^{n + 1}}
	& {\dots}
}
\end{equation*}
\end{document}

[edit] Summary

Description

Let A be an additive category. The homotopy category K(A) is based on the following definition: if we have complexes A, B and maps f, g from A to B, a chain homotopy from f to g is a collection of maps h^n \colon A^n \to B^{n - 1} (not a map of complexes) such that

f^n - g^n = d_B^{n - 1} h^n + h^{n + 1} d_A^n, or simply f − g = dBh + hdA.

This can be depicted as shown in the diagram.
Date

2007-03-19, 2008-02-06
Source

en:Image:Chain homotopy.jpg
Author

en:User:Ryan Reich, User:Stannered
Permission
(Reusing this image)
PD-icon.svg This image has been (or is hereby) released into the public domain by its author, Ryan Reich at the English Wikipedia project. This applies worldwide.

In case this is not legally possible:
Ryan Reich grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

العربية | Català | Česky | Dansk | Deutsch | Ελληνικά | English | Eesti | Suomi | Français | עברית | Italiano | 한국어 | Lietuvių | Македонски | Plattdüütsch | Nederlands | Polski | Română | Русский | Српски / Srpski | Svenska | ไทย | Vèneto | 中文 | ‪中文(简体)‬ | ‪中文(繁體)‬ | +/−
Other versions en:Image:Chain homotopy.jpg

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current20:29, 13 January 2009Thumbnail for version as of 20:29, 13 January 2009403×106 (49 KB)Ryan Reich (Talk | contribs) ({{Information |Description=A depiction of a homotopy of two maps of chain complexes |Source=Created it myself |Date=01-13-2009 |Author=~~~ |Permission=See below |other_versions= }})
14:04, 6 February 2008Thumbnail for version as of 14:04, 6 February 2008795×208 (49 KB)Stannered (Talk | contribs) ({{Information |Description=Let ''A'' be an additive category. The homotopy category ''K(A)'' is based on the following definition: if we have complexes ''A'', ''B'' and maps ''f'', ''g'' from ''A'' to ''B'', a '''chain homotopy''' from ''f'' to ''g'')

There are no pages on Wikimedia Commons that link to this file. Some pages on other Wikimedia projects may link to it.

Global file usage

The following other wikis use this file:

Retrieved from "http://commons.wikimedia.org/wiki/File:Chain_homotopy.svg"