¿Cómo construir el siguiente diagrama en LaTeX?

Question

Me gustaría construir el siguiente diagrama en LaTeX. ¿Cuál es la mejor manera de hacerlo? Me gustaría evitar el uso de software externo. (Actualmente tengo una secuencia "lineal" \cdots\to H_p(L)\to H_p(K)\to\cdotspero me gustaría rehacerla para que se parezca a la de la imagen).

Answer 1

La parte más difícil es probablemente cómo hacer que se ajuste al ancho del texto:

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\[
\begin{tikzcd}[column sep=small]
\cdots \arrow[r,"\varepsilon_*"] &
  H_{p+2}(K,L) \arrow[d,"\partial_*"] \\
& H_{p+1}(L) \arrow[r,"i_*"] &
  H_{p+1}(K) \arrow[r,"\varepsilon_*"] &
  H_{p+1}(K,L) \arrow[d,"\partial_*"] \\
&&& H_{p}(L) \arrow[r,"i_*"] &
    H_{p}(K) \arrow[r,"\varepsilon_*"] &
    H_{p}(K,L) \arrow[d,"\partial_*"] \\
&&&&& H_{p-1}(L) \arrow[r,"i_*"] & \cdots
\end{tikzcd}
\]

\end{document}

con este codigo

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}

\[
\begin{tikzcd}[column sep=.5em]
\cdots \arrow[r,"\varepsilon_*"] &[.5em]
  H_{p+2}(K,L) \arrow[d,"\partial_*"] \\
& H_{p+1}(L) \arrow[r,"i_*"] &
  H_{p+1}(K) \arrow[r,"\varepsilon_*"] &[.5em]
  H_{p+1}(K,L) \arrow[d,"\partial_*"] \\
&&& H_{p}(L) \arrow[r,"i_*"] &
    H_{p}(K) \arrow[r,"\varepsilon_*"] &[.5em]
    H_{p}(K,L) \arrow[d,"\partial_*"] \\
&&&&& H_{p-1}(L) \arrow[r,"i_*"] &[.5em] \cdots
\end{tikzcd}
\]

\end{document}

y el ancho de texto estándar, articleobtenemos un cuadro demasiado lleno de menos de 1 punto y el resultado parece bastante aceptable.

Answer 2

Basándonos en la respuesta de egreg, quiero mostrar que este diagrama se puede configurar con macros puramente definidas por TeX simple.

\def\rar#1{\mathop{\longrightarrow}\limits^{#1}}
\def\dar#1{\bigg\downarrow\rlap{$\scriptstyle#1$}}

$$
  \ialign{\hfil$#$\hfil&&\hskip.1em\hfil$#$\hfil\crcr
    \cdots & \rar{\varepsilon_*} & H_{p+2}(K,L) \cr
    && \dar{\partial_*} \cr
    && H_{p+1}(L) & \rar{i_*} & H_{p+1}(K) & \rar{\varepsilon_*} & H_{p+1}(K,L) \cr
    &&&&&& \dar{\partial_*} \cr
    &&&&&& H_{p}(L) & \rar{i_*} & H_{p}(K) & \rar{\varepsilon_*} & H_{p}(K,L) \cr
    &&&&&&&&&& \dar{\partial_*} \cr
    &&&&&&&&&& H_{p-1}(L) & \rar{i_*} & \cdots \cr
  }
$$

\bye