Cote n° 18 · pages 5–38
· 14 diagrammes commutatifs · Motifs et théorie de Hodge : notes manuscrites (s.d.).
Datation de l’inventaire : [à partir de 1969-vers 1972]
Édition de démonstration
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
& \pi \arrow[d, "u"] & & & \\
& G(\mathbb{Q}_{p}) \arrow[d, no head, "p"'] & & & \\
& G(\mathbb{C}) \arrow[d, no head, "j_{1}"'] & & & \\
1 \arrow[r] & G'(\mathbb{Q}) \arrow[r] \arrow[d, no head] & E \arrow[r] & \pi \arrow[r] \arrow[l, bend left=30, "\sigma_{1}"] \arrow[l, bend right=30, "\sigma_{2}"'] & 1 \\
& G'(\mathbb{Q}_{p}) & & & \\
& G_{m}(\mathbb{Q}_{p}) = \mathbb{Q}_{p}^{*} \arrow[u, "j_{2}"] & & & \\
& \pi \arrow[u, "\chi"] & & &
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\operatorname{Gr}^{i}(X_{\bar{t}})_{\mathbb{Q}} \arrow[r, "\mathrm{cl}"] \arrow[d] & H^{2i}(X_{\bar{t}}, \mathbb{Q}_{\ell}(i)) \arrow[d, "\wr"] \\
\operatorname{Gr}^{i}(X_{\bar{s}})_{\mathbb{Q}} \arrow[r, "\mathrm{cl}"] & H^{2i}(X_{\bar{s}}, \mathbb{Q}_{\ell}(i))
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
Z^{i}(X_{t}) \arrow[r, "\mathrm{cl}"] \arrow[d, "\sigma"'] & H^{2i}(X_{t}, \mathbb{Z}_{\ell}(i)) \\
Z^{i}(X_{s}) \arrow[r, "\mathrm{cl}"] & H^{2i}(X_{s}, \mathbb{Z}_{\ell}(i)) \arrow[u]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
T_{B} \otimes_{\mathbb{Q}} \mathbb{C} \arrow[r, "\alpha"] & T_{DR} \otimes_{k} \mathbb{C} \arrow[d, "\beta"] \\
& T_{Hdg} \otimes_{\mathbb{Q}} \mathbb{C} \arrow[ul, "\gamma"]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{2p}_{Y}(X, \mathbb{Z}) \arrow[r, "i"] & H^{2p}_{Y}(X, \mathbb{Z}) \otimes_{\mathbb{Z}} \mathbb{C} \arrow[r, "\mathrm{can}"] & H^{2p}_{Y}(X, \mathbb{C}) \arrow[r, "\sim"] & H^{2p}_{Y}(X, \Omega^{\bullet}_{X}) \\
\mathbb{Z}_{Y} \arrow[u, "P^{\mathbb{Z}}_{\mathrm{top}}"] \arrow[r, hook] & \mathbb{C}_{Y} & \mathbb{C}_{Y} \arrow[u, "P^{\mathbb{C}}_{\mathrm{top}}"] & \mathbb{C}_{Y} \arrow[u, "P^{\Omega}_{\mathrm{an}}"]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{i+p}(X, \mathbb{Z}) \arrow[r] & H^{i+p}(X, \mathbb{C}) \arrow[r, "\sim"] & H^{i+p}(X, \Omega^{\bullet}_{X}) \\
H^{i}(Y, \mathbb{Z}) \arrow[u, "P_{\mathrm{top}}"] \arrow[r] & H^{i}(Y, \mathbb{C}) \arrow[u, "P_{\mathrm{top}}"] \arrow[r, "\frac{1}{(2i\pi)^{p}}\,\mathrm{can}"] & H^{i}(Y, \Omega^{\bullet}_{Y}) \arrow[u, "P_{\mathrm{an}}"]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{*}(X, \mathbb{C}) \arrow[r, "\sim"] & H^{*}(X, \Omega^{\bullet}_{X}) \\
{} \arrow[u, "\wr"] & {} \arrow[u]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{*}(Y, i^{!}(\mathbb{C})) \arrow[r, "\sim"] & H^{*}(Y, i^{!}(\Omega^{\bullet}_{X})) \\
H^{*}(Y, \mathbb{C}) \arrow[u, "P_{\mathrm{top}}"] \arrow[r, "\frac{1}{2i\pi}\,\mathrm{can}"] & H^{*}(Y, \Omega^{\bullet}_{Y}) \arrow[u, "P_{\mathrm{an}}"]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
i^{!}(\mathbb{C}) \arrow[r, "\sim"] & i^{!}(\Omega^{\bullet}_{X}) \\
\mathbb{C}_{Y} \arrow[u, "P_{\mathrm{top}}"] \arrow[r, "\frac{1}{(2i\pi)^{p}}\,\mathrm{can}"] & \Omega^{\bullet}_{Y} \arrow[u]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
a^{i}(X) \arrow[r, "P^{\mathbb{Z}}_{\mathrm{top}}"] \arrow[d, "(\frac{1}{2i\pi})^{p} P_{\mathrm{an}}"'] & H^{2i}(X, \mathbb{Z}) \arrow[d, "\mathrm{can}"] \\
H^{2i}(X, \Omega^{\bullet}_{X}) \arrow[r, "\sim"] & H^{2i}(X, \mathbb{C})
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{2i}(X, \mathbb{C}) \arrow[r, "f^{\mathrm{top}}_{*}"] \arrow[d, "\wr"'] & H^{2i-2p}(Y, \mathbb{C}) \arrow[d, "\wr"] \\
H^{2i}(X, \Omega^{\bullet}_{X}) \arrow[r, "\frac{1}{(2i\pi)^{p}} f^{\mathrm{an}}_{*}"] & H^{2i-2p}(Y, \Omega^{\bullet}_{Y})
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{i}(X, \mathbb{C}) \arrow[r, "\xi_{\mathbb{C}}(\xi)"] \arrow[d, "\mathrm{can}"'] & H^{i'}(Y, \mathbb{C}) \arrow[d, "\mathrm{can}"] \\
H^{p}(X, \Omega^{\bullet}_{X}) \arrow[r, "\xi_{\mathbb{C},\infty}(\xi)"] & H^{i'}(Y, \Omega^{\bullet}_{Y})
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{*}(X(K), \mathbb{Q}) = V \arrow[r, hook] & DR(M)_{K} \simeq DR(M_{K}) \\
H^{*}(X(\mathbb{R}), \mathbb{Q}) = V \cap W = V^{f} \arrow[u, hook] & W \arrow[u, hook]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
H^{*}(X_{\mathrm{top}}, \mathbb{C}) \arrow[r] \arrow[rd] & H^{*}(X) \arrow[d] \\
{} & H^{*}(X^{c})
\end{tikzcd}