答案1
三點建議:
首先,第 4 行和第 6 行的箭頭過長。這是因為第 7 行第 3 列的條目非常寬,tikz-cd
不會與列重疊。您可以使用\llap
該條目中的命令覆蓋它。
請注意,您應該只\llap
最多該條目的一部分,而不是整個條目,因此上面的箭頭仍然指向該條目的一部分。
\begin{tikzcd}
AAAAAAAAAAAAA\arrow[rrr,equal]\arrow[dd] &&& AAAAAAAAAAA\arrow[d,"s"]\\
&&& AAAAAAAAAAAAAAAA\arrow[d,"P"]\\
AAAAAAAAAAAAAAAAAA\arrow[d] &&& AAAAAAAAAAAAAAAAAAAA\arrow[d]\\
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[r]\arrow[d] & I_1\arrow[r] & I_2\arrow[r,"\simeq"]\arrow[dd]& AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[dd,equal]\\
AAAAAAAAAAAAAAA\arrow[d]\\
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[rr] && I_3\arrow[d] & AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[d]\\
&& \llap{$BBBBBBBBBBBBBBBBBB$}CCCC\arrow[r,equal] & AAAAAAAAAAAAAAAAAAAAA\arrow[d,"f"]\\
&&& AAAAAAAAAAAAAAA
\end{tikzcd}
其次,如果您不介意重新組織一下,您可以透過刪除一列並使地圖保持垂直來節省更多I_1
空間I_2
。
\begin{tikzcd}
AAAAAAAAAAAAA\arrow[rr,equal]\arrow[d] && AAAAAAAAAAA\arrow[d,"s"]\\
AAAAAAAAAAAAAAAAAA\arrow[d] && AAAAAAAAAAAAAAAA\arrow[d,"P"]\\
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[r]\arrow[d] & I_1\arrow[d] & AAAAAAAAAAAAAAAAAAAA\arrow[d]\\
AAAAAAAAAAAAAAA\arrow[d] & I_2\arrow[r,"\simeq"]\arrow[d]& AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[d,equal]\\
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[r] & I_3\arrow[d] & AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\arrow[d]\\
& \llap{$BBBBBBBBBBBBBBBBBB$}CCCC\arrow[r,equal] & AAAAAAAAAAAAAAAAAAAAA\arrow[d,"f"]\\
&& AAAAAAAAAAAAAAA
\end{tikzcd}
第三,如果您仍然需要更多空間,則\mu hom(G_1,G_2)
許多條目中都有重複的表達式。您可以將該表達式指派給單一字元。例如,Let $\mathcal{M}=\mu hom(G_1,G_2)$.
然後將其替換\mathcal{M}
為您的圖表。
答案2
aligned
您可以透過使用彎曲箭頭將最大的物件分成兩行來節省大量空間,以避免重複另一個大物件。
人們aligned
需要\amp
技巧,因為tikzcd
符號內部&
有另一種意義。
請參閱手冊以了解如何填寫帶有圓圈的字母。
\documentclass{article}
\usepackage{amsmath,mathrsfs,amssymb}
\usepackage{tikz-cd}
\usepackage{rotating}
\DeclareMathOperator{\mhom}{\mu hom}
\newcommand{\uR}{\mathrm{R}}
\newcommand{\CC}{\mathbb{C}}
\begin{document}
\begin{sidewaysfigure}
\centering\footnotesize
\let\amp=& % for the inner aligned
\begin{tikzcd}
\uR p^{}_{1_!} p^{-1}_{2^a} \mhom(G_1,G_2) \arrow[rrr,equals] \arrow[dd]
%&&[-11em]&[-3em]
&&&
\uR p^{}_{1_!} p^{-1}_{2^a} \mhom(G_1,G_2) \arrow[d,"s"]
\\
&&&
\uR p^{}_{1_!}(K_W\otimes p^{-1}_{2^a} \mhom(G_1,G_2)) \arrow[d,"P"]
\\
\uR p^{}_{1_!}(K_W\otimes p^{-1}_{2^a} \mhom(G_1,G_2)) \arrow[d] &&&
\uR p^{}_{1_!}(p^{-1}_1 E_U\otimes K_W\otimes p^{-1}_{2^a} \mhom(G_1,G_2)) \arrow[d]
\\
\uR p^{}_{1_!}(\mhom(L,\Omega_{X\times Y/X}\otimes p^{-1}_{2^a}\mhom(G_1,G_2))
\arrow[r] \arrow[d] &
\mathscr{I}_1 \arrow[r] &
\mathscr{I}_2 \arrow[r,"\simeq"] \arrow[dd] &
\begin{aligned}[t]
\amp\uR p^{}_{1_!}(\uR p^{}_{12_!}(p^{-1}_{12}\mhom(\CC_{\Delta_X},\Omega_{X\times X/X})[d_X] \\
\amp\qquad \otimes p^{-1}_{2^a3}\mhom(L,\Omega_{X\times Y/X})
\otimes p^{-1}_{3^a}\mhom(G_1,G_2))) \arrow[dd,equals]
\end{aligned}
\\
\mhom(L\circ G_1,\Omega_{X\times Y/X}\circ G_2) \arrow[d]
\\
\uR\tilde{p}^{}_{1_!}(\delta^a_* E_U
\otimes \tilde{p}^{-1}_{2^a}\mhom(L\circ G_1,\Omega_{X\times Y/X}\circ G_2))
\arrow[rr] &&
\mathscr{I}_3 \arrow[dr,to path=|-(\tikztotarget.real west)] &
\mhom(\CC_{\Delta_X},\Omega_{X\times X/X})[d_X]\circ
\mhom(L,\Omega_{X\times Y/X})\circ\mhom(G_1,G_2) \arrow[d] \\
&&&
\mhom(\CC_{\Delta_X}\circ L\circ G_1,\Omega_{X\times X/X}\circ\Omega_{X\times Y/X}\circ G_2)[d_X]
\arrow[d,"\int"]
\\
&&&
\mhom(L\circ G_1,\Omega_{X\times Y/X}\circ G_2)
\end{tikzcd}
\caption{A very big diagram}
\end{sidewaysfigure}
\end{document}