%~Mouliné par MaN_auto v.0.32.3 2024-06-04 13:54:56
\documentclass[CRMATH,Unicode,XML,biblatex,francais]{cedram}

\TopicFR{Géométrie algébrique, Théorie des nombres}
\TopicEN{Algebraic geometry, Number theory}

\addbibresource{CRMATH_Nguyen_20220426.bib}

\usepackage[all]{xy}
\usepackage{amssymb}
\usepackage{calligra}
\usepackage{mathrsfs}
\usepackage[OT2, T1]{fontenc}

\DeclareMathOperator{\iHom}{\mathscr{H}\text{\kern -3pt {\calligra\large om}\kern -1pt}\ }

\DeclareMathOperator{\Br}{Br}
\DeclareMathOperator{\Pic}{Pic}
\DeclareMathOperator{\UPic}{UPic}
\DeclareMathOperator{\Gal}{Gal}
\DeclareMathOperator{\SL}{SL}
\DeclareMathOperator{\Hom}{Hom}

\DeclareMathOperator{\Img}{Im}
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\res}{res}
\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\PGCD}{PGCD}
\DeclareMathOperator{\ord}{ord}
\DeclareMathOperator{\lien}{lien}

\newcommand{\et}{\mathrm{{\'e}t}}
\newcommand{\ab}{\mathrm{ab}}
\newcommand{\grp}{\textrm{-grp}}
\newcommand{\type}{\mathrm{type}}
\newcommand{\ssumult}{\mathrm{ssumult}}

\renewcommand{\H}{\mathrm{H}}
\newcommand{\R}{\mathrm{R}}
\newcommand{\C}{\mathrm{C}}

\newcommand{\Cbb}{\mathbb{C}}
\newcommand{\Gbb}{\mathbb{G}}
\newcommand{\Pbb}{\mathbb{P}}
\newcommand{\Qbb}{\mathbb{Q}}
\newcommand{\Zbb}{\mathbb{Z}}

\newcommand{\Acal}{\mathcal{A}}
\newcommand{\Gcal}{\mathcal{G}}

\newcommand{\gfrak}{\mathfrak{g}}

\newcommand{\del}{\partial}

\newcommand{\ol}[1]{\bar{#1}}
\newcommand{\tuple}[1]{\left(#1\right)}
\newcommand{\pair}[1]{\left<#1\right>}
\newcommand{\ps}[1]{(\!(#1)\!)}
\newcommand{\pssq}[1]{\llbracket #1\rrbracket}

\makeatletter
\let\save@mathaccent\mathaccent
\newcommand*\if@single[3]{%
  \setbox0\hbox{${\mathaccent"0362{#1}}^H$}%
  \setbox2\hbox{${\mathaccent"0362{\kern0pt#1}}^H$}%
  \ifdim\ht0=\ht2 #3\else #2\fi
  }
%The bar will be moved to the right by a half of \macc@kerna, which is computed by amsmath:
\newcommand*\rel@kern[1]{\kern#1\dimexpr\macc@kerna}
%If there's a superscript following the bar, then no negative kern may follow the bar;
%an additional {} makes sure that the superscript is high enough in this case:
\newcommand*\widebar[1]{\@ifnextchar^{{\wide@bar{#1}{0}}}{\wide@bar{#1}{1}}}
%Use a separate algorithm for single symbols:
\newcommand*\wide@bar[2]{\if@single{#1}{\wide@bar@{#1}{#2}{1}}{\wide@bar@{#1}{#2}{2}}}
\newcommand*\wide@bar@[3]{%
  \begingroup
  \def\mathaccent##1##2{%
%Enable nesting of accents:
    \let\mathaccent\save@mathaccent
%If there's more than a single symbol, use the first character instead (see below):
    \if#32 \let\macc@nucleus\first@char \fi
%Determine the italic correction:
    \setbox\z@\hbox{$\macc@style{\macc@nucleus}_{}$}%
    \setbox\tw@\hbox{$\macc@style{\macc@nucleus}{}_{}$}%
    \dimen@\wd\tw@
    \advance\dimen@-\wd\z@
%Now \dimen@ is the italic correction of the symbol.
    \divide\dimen@ 3
    \@tempdima\wd\tw@
    \advance\@tempdima-\scriptspace
%Now \@tempdima is the width of the symbol.
    \divide\@tempdima 10
    \advance\dimen@-\@tempdima
%Now \dimen@ = (italic correction / 3) - (Breite / 10)
    \ifdim\dimen@>\z@ \dimen@0pt\fi
%The bar will be shortened in the case \dimen@<0 !
    \rel@kern{0.6}\kern-\dimen@
    \if#31
      \overline{\rel@kern{-0.6}\kern\dimen@\macc@nucleus\rel@kern{0.4}\kern\dimen@}%
      \advance\dimen@0.4\dimexpr\macc@kerna
%Place the combined final kern (-\dimen@) if it is >0 or if a superscript follows:
      \let\final@kern#2%
      \ifdim\dimen@<\z@ \let\final@kern1\fi
      \if\final@kern1 \kern-\dimen@\fi
    \else
      \overline{\rel@kern{-0.6}\kern\dimen@#1}%
    \fi
  }%
  \macc@depth\@ne
  \let\math@bgroup\@empty \let\math@egroup\macc@set@skewchar
  \mathsurround\z@ \frozen@everymath{\mathgroup\macc@group\relax}%
  \macc@set@skewchar\relax
  \let\mathaccentV\macc@nested@a
%The following initialises \macc@kerna and calls \mathaccent:
  \if#31
    \macc@nested@a\relax111{#1}%
  \else
%If the argument consists of more than one symbol, and if the first token is
%a letter, use that letter for the computations:
    \def\gobble@till@marker##1\endmarker{}%
    \futurelet\first@char\gobble@till@marker#1\endmarker
    \ifcat\noexpand\first@char A\else
      \def\first@char{}%
    \fi
    \macc@nested@a\relax111{\first@char}%
  \fi
  \endgroup
}
\makeatother

\let\oldbar\bar
\renewcommand*{\bar}[1]{{\mathchoice{\widebar{#1}}{\widebar{#1}}{\widebar{#1}}{\oldbar{#1}}}}

\renewcommand*{\to}{\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}}
\let\oldmapsto\mapsto
\renewcommand*{\mapsto}{\mathchoice{\longmapsto}{\oldmapsto}{\oldmapsto}{\oldmapsto}}

\DeclareSymbolFont{cyrletters}{OT2}{wncyr}{m}{n}
\DeclareMathSymbol{\Sha}{\mathalpha}{cyrletters}{"58}

\makeatletter
\def\@setafterauthor{%
  \vglue3mm%
%  \hspace*{0pt}%
\begingroup\hsize=12.5cm\advance\hsize\abstractmarginL\raggedright
\noindent
%\hspace*{\abstractmarginL}\begin{minipage}[t]{10cm}
   \leftskip\abstractmarginL
  \normalfont\Small
  \@afterauthor\par
\endgroup
\vskip2pt plus 3pt minus 1pt
}
\makeatother


\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\newcommand*{\relabel}{\renewcommand{\labelenumi}{(\theenumi)}}
\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}\relabel}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}\relabel}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}\relabel}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}\relabel}
\let\oldtilde\tilde
\renewcommand*{\tilde}[1]{\mathchoice{\widetilde{#1}}{\widetilde{#1}}{\oldtilde{#1}}{\oldtilde{#1}}}
\let\oldhat\hat
\renewcommand*{\hat}[1]{\mathchoice{\widehat{#1}}{\widehat{#1}}{\oldhat{#1}}{\oldhat{#1}}}


\title{Groupes de Brauer alg\'ebriques modulo les constantes d'espaces homog\`enes et leurs compactifications}
\alttitle{Algebraic Brauer groups modulo constants of homogeneous spaces and their compactifications}

\author{\firstname{Nguyen Manh} \lastname{Linh}}
\address{Laboratoire de Mathématiques d'Orsay, B\^atiment 307, rue Michel Magat, Faculté des Sciences d'Orsay, Université Paris-Saclay, F-91405 Orsay Cedex, France}
\thanks{L'auteur est financé par un « Contrat doctoral spécifique normalien » de l'\'Ecole normale supérieure de Paris}
\email{manh-linh.nguyen@universite-paris-saclay.fr}

\subjclass{14F22}

\begin{abstract}
Soit $X$ une variété lisse, géométriquement int\`egre, sans fonctions inversibles non constantes sur un corps $K$. Alors le quotient du groupe Brauer \og algébrique \fg{} de $X$ par $\mathrm{Br}\, K$ s'injecte dans $\mathrm{H}^1(K,\mathrm{Pic}{\overline{X}})$. Nous montrons que cette inclusion n'est pas toujours un isomorphisme m\^eme dans le cas o\`u $X$ est un espace homog\`ene d'un groupe algébrique linéaire connexe sur $K$. Un résultat similaire pour les compactifications lisses de $X$ est aussi donné.
\end{abstract}

\begin{altabstract}
Let $X$ be a smooth, geometrically integral variety without non-constant invertible functions over a field $K$. Then the quotient of the ``algebraic'' Brauer group of $X$ by $\mathrm{Br}\,K$ injects into $\mathrm{H}^1(K,\mathrm{Pic}{\overline{X}})$. We show that this inclusion is not always an isomorphism, even in the case where $X$ is a homogeneous space of a connected linear algebraic group over $K$. A similar result for the smooth compactifications of $X$ is also given.
\end{altabstract}


\begin{document}
\maketitle


\section{Contexte du probl\`eme}

Fixons quelques notations. Si $K$ est un corps, $\ol{K}$ désigne une cl\^oture \emph{séparable} fixée de $K$ et $\Gamma_K:=\Gal(\ol{K}/K)$. Pour $r \ge 0$, on note $\Qbb/\Zbb(r):=\varinjlim_n \mu_n^{\otimes r}$, et $\mu:=\Qbb/\Zbb(1)$ le sous-module de torsion de $\ol{K}^\times$. Si $A$ est un $\Gamma_K$-module, on note $A' = \iHom_K(A,\ol{K}^\times)$ son dual de Cartier. On définit
\begin{equation*}
\Sha^1_\omega(K,A):=\Ker\tuple{\H^1(K,A) \to \prod_{\sigma \in \Gamma_K} \H^1(\ol{\pair{\sigma}},A)}.
\end{equation*}
Si $L$ est une extension finie galoisienne de $K$ déployant $A$, alors $\Sha^1_\omega(L,A) = 0$, donc la suite exacte d'inflation-restriction donne
\begin{equation}\label{eqSha1Omega}
\Sha^1_\omega(K,A) = \Sha^1_\omega(\Gal(L/K),A) := \Ker\tuple{\H^1(\Gal(L/K),A) \to \prod_{g \in \Gal(L/K)} \H^1(\pair{g},A)}.
\end{equation}

Soit $X$ une variété lisse et géométriquement int\`egre sur $K$ avec $\ol{K}[X]^\times = \ol{K}^\times$. Par convention, le groupe de Brauer de $X$ est toujours le groupe de Brauer--Grothendieck $\Br X:=\H^2_{\et}(X,\Gbb_m)$. Le groupe de Brauer \emph{algébrique} de $X$ est $\Br_1 X := \Ker(\Br X \to \Br \ol{X})$, o\`u $\ol{X}:=X \times_K \ol{K}$. La fl\`eche naturelle $\Br K \to \Br X$ se factorise par $\Br_1 X$ (puisque $\Br \ol{K} = 0$), et son image est le sous-groupe des éléments \emph{constants} de $\Br_1 X$. On dispose d'une suite exacte
\begin{equation}\label{eqExactSequenceX}
0 \to \Br_1 X / \Br K \to \H^1(K,\Pic\ol{X}) \to \Ker(\H^3(K,\Gbb_m) \to \H^3_{\et}(X,\Gbb_m)),
\end{equation}
tirée de la suite spectrale de Hochschild--Serre $\H^p(K,\H^q_{\et}(\ol{X},\Gbb_m)) \Rightarrow \H^{p+q}_{\et}(X,\Gbb_m)$.

Soit $K$ un corps de caractéristique nulle, et soit $X$ un espace homog\`ene d'un $K$-groupe linéaire semi-simple simplement connexe $G$. On suppose que le stabilisateur $\ol{H}$ d'un point géométrique de $X$ est de type $\ssumult$, c'est-\`a-dire une extension d'un groupe de type multiplicatif par un groupe connexe sans caract\`eres (\emph{cf.}~\cite[Définition~6.1]{BDH}). Borovoi, Demarche et Harari ont construit une suite exacte de type~\eqref{eqExactSequenceX}, qui fait intervenir le groupe de Brauer \emph{non ramifié} de $X$, c'est-\`a-dire le groupe $\Br X^c$, o\`u $X^c$ est n'importe quelle compactification lisse de $X$. On suit les notations du Théor\`eme~8.1 dans \cite{BDH}. Le quotient torique maximal de $G$ est $T = 1$ (puisque $G$ est semi-simple). En outre, $S$ désigne la $K$-forme canonique du quotient de type multiplicatif maximal de $\ol{H}$. Le complexe $[T' \to S']$ de $\Gamma_K$-modules (o\`u $T'$ est en degré $-1$) est quasi-isomorphe au \emph{complexe de Picard étendu} $\UPic \ol{X}$ décalé par $1$ (voir~\cite[Main Theorem~1]{BvH} pour cet énoncé, ainsi que la définition du complexe $\UPic$). En particulier, $S' \simeq [T' \to S'] \simeq \Pic\ol{X}$. Pour conclure, \cite[Théor\`eme~8.1]{BDH} fournit une suite exacte
\begin{equation}\label{eqExactSequenceXc}
0 \to \Br_1 X^c / \Br K \to \Sha^1_\omega(K,\Pic\ol{X}) \to \Ker(\H^3(K,\Gbb_m) \to \H^3_{\et}(X,\Gbb_m)).
\end{equation}

Lorsque $\H^3(K,\Gbb_m) = 0$ (par exemple si $K$ est un corps local, un corps global, ou encore le corps des fonctions d'une courbe sur l'un de ces corps) ou si $X(K) \neq \varnothing$, la suite exacte~\eqref{eqExactSequenceX} (resp. \eqref{eqExactSequenceXc}) donne un isomorphisme $\Br_1 X / \Br K \simeq \H^1(K,\Pic\ol{X})$ (resp. $\Br_1 X^c / \Br K \simeq \Sha^1_\omega(K,\Pic\ol{X})$). On est intéressé par la question suivante, soulevée par Harari: ces isomorphismes valent-ils sur un corps quelconque ? Le contexte de cette question est comme suit. Soit $k$ un corps de nombres et soit $f: X \to B$ un morphisme projectif, dominant de $k$-variétés lisses, on veut étudier l'obstruction de Brauer--Manin pour l'espace total $X$, connaissant celle pour la base~$B$ et pour les fibres au-dessus d'\og assez \fg{} de $k$-points de $B$. Il convient de se déplacer entre les groupes de Brauer de ces fibres. Par exemple, cela est possible si les \og fl\`eches de spécialisations \fg{} $\Br_1 X_\eta / \Br k(\eta) \to \Br_1 X_b / \Br k$ sont des isomorphismes pour beaucoup de points $b \in B(k)$, o\`u $\eta$ désigne le point générique de $B$ (voir~\cite[Section~4]{Harari_fibration} pour quelques résultats obtenus par cette méthode). Pour ce type d'argument, il est crucial que les éléments de $\H^1(k(\eta),\Pic\ol{X_\eta})$ (resp. de $\Sha^1_\omega(k(\eta),\Pic\ol{X_\eta})$) proviennent de $\Br_1 X_\eta / \Br k(\eta)$ (resp. de $\Br_1 X_\eta^c / \Br k(\eta)$). Bien entendu, dans le cas o\`u $B$ est une courbe (sur le corps de nombres $k$) ou $f$ admet une section, ce probl\`eme dispara\^it. Harari a traité le cas o\`u $B = \Pbb^n_k$, mais en utilisant un argument de récurrence qui s'appuie fortement sur la nature des espaces projectifs (qui ne s'étend pas au cas o\`u $B$ est $k$-rationnelle).

Nous allons donner dans ce texte une réponse négative aux deux parties de la question mentionnée ci-dessus (le Corollaire~\ref{corDifferential} et le Théor\`eme~\ref{thmMain}). Pour le groupe $\Br_1 X / \Br K$, c'est une conséquence simple du théor\`eme de Rost--Voevodsky (anciennement connu sous le nom de la conjecture de Bloch--Kato) d\`es que la fl\`eche $\H^1(K,\Pic\ol{X}) \to \H^3(K,\Gbb_m)$ de~\eqref{eqExactSequenceX} est explicitée dans la Section~\ref{section1}. Pour le contre-exemple concernant le groupe $\Br_1 X^c / \Br K$, il s'agit de la dualité sur des corps $2$-locaux.



\section{Une différentielle de la suite spectrale de Hochschild--Serre} \label{section1}

Soient $K$ un corps parfait, $G$ un $K$-groupe linéaire semi-simple simplement connexe, et $X$ un espace homog\`ene de $G$. On ne suppose pas que $X$ poss\`ede un $K$-point. Notons $\ol{H}$ le stabilisateur d'un $\ol{K}$-point de $X$, qu'on suppose réductif\footnote{C'est-\`a-dire que la composante neutre de $\ol{H}$ est réductive.}. Si $\ol{H}$ n'est pas abélien, il n'est pas nécessairement défini sur $K$. Cependant, on peut toujours associe \`a $X$ le $K$-\emph{lien de Springer} $L_X$ (dont le $\ol{K}$-groupe sous-jacent est $\ol{H}$), l'ensemble de $2$-cohomologie non abélienne $\H^2(K,L_X)$, ainsi que la \emph{classe de Springer} $\eta_X \in \H^2(K,L_X)$ (voir~\cite[Section~1]{FSS} pour leur définition). La neutralité de $\eta_X$ est une obstruction \`a l'existence des espaces principaux homog\`enes de $G$ dominant $X$.

Il y a une action naturelle de $\Gamma_K$ sur l'abélianisé $\ol{H}^{\ab} = \ol{H}/[\ol{H},\ol{H}]$. On note $H^{\ab}$ la $K$-forme correspondante, qui est un $K$-groupe de type multiplicatif ($\ol{H}$ étant réductif). En particulier, $\H^0_{\et}(\ol{X},\ol{H}^{\ab}) = H^{\ab}(\ol{K})$. En effet, $\ol{H}^{\ab} = F \times_{\ol{K}} \Gbb_m^r$, o\`u $F$ est un $\ol{K}$-schéma en groupes fini, étale, commutatif, et $r \ge 0$ est un entier. D'une part, $\H^0_{\et}(\ol{X},F) = F(\ol{K})$ comme $\ol{X}$ est connexe. D'autre part $\ol{K}[G]^\times = \ol{K}^\times$ par le lemme de Rosenlicht~\cite[Proposition~3]{Rosenlicht} ($G$ étant semi-simple), \emph{a fortiori} $\ol{K}[X]^\times = \ol{K}^\times$, d'o\`u $\H^0_{\et}(\ol{X},\Gbb_m^r) = (\ol{K}^\times)^r$.

Notons de plus que le dual de Cartier $H':=(H^{\ab})'$ est un $\Gamma_K$-module discret qui est de type fini en tant que groupe abélien. La projection $\rho: \ol{H} \to \ol{H}^{\ab}$ induit un morphisme $L_X \to \lien(H^{\ab})$ de $K$-liens algébriques. Par surjectivité de $\rho$, ce morphisme induit une \emph{application} $\H^2(K,L_X) \to \H^2(K,H^{\ab})$ (\emph{a priori}, un morphisme de $K$-liens induit seulement une \emph{relation} entre les ensembles de $2$-cohomologie non abélienne correspondants). On note $\eta_X^{\ab} \in \H^2(K,H^{\ab})$ l'image de $\eta_X$ par cette application.

Sur $\ol{K}$, on a $\ol{X} = \ol{G} / \ol{H}$. Notons $\ol{Z} = \ol{G} / [\ol{H},\ol{H}]$, alors la projection $\ol{Z} \to \ol{X}$ est un torseur sous $\ol{H}^{\ab}$. Au vu du diagramme
\begin{equation*}
\xymatrix{
\ol{G} \ar[rd]^{[\ol{H},\ol{H}]} \ar[dd]_{\ol{H}} \\
& \ol{Z} \ar[ld]^{\ol{H}^{\ab}} \\
\ol{X}, }
\end{equation*}
on peut considérer la classe $[\ol{G}] \in \H^1_{\et}(\ol{X},\ol{H})$ (resp. $[\ol{Z}] \in \H^1_{\et}(\ol{X},\ol{H}^{\ab})$) du $\ol{X}$-torseur $\ol{G}$ sous $\ol{H}$ (resp. du $\ol{X}$-torseur $\ol{Z}$ sous $\ol{H}^{\ab}$). Leur \emph{type} est par définition le morphisme $\Gamma_K$-équivariant
\begin{equation*}
\lambda: H' \to \Pic \ol{X} = \H^1_{\et}(\ol{X},\Gbb_m), \qquad \chi \mapsto \chi_\ast[\ol{G}] = \chi_\ast[\ol{Z}].
\end{equation*}
En fait, $\lambda$ est un isomorphisme (par~\cite[Section~5]{BvH}, compte tenu du fait que $\ol{K}[G]^\times = \ol{K}^\times$ et que $\Pic\ol{G} = 0$).

\begin{lemm}\label{lemDifferential}
La classe $[\ol{Z}] \in \H^1_{\et}(\ol{X},\ol{H}^{\ab})$ est $\Gamma_K$-invariante. De plus, notant
\begin{equation*}
d_2^{0,1}: \H^0(K,\H^1_{\et}(\ol{X},\ol{H}^{\ab})) \to \H^2(K,H^{\ab})
\end{equation*}
la différentielle tirée de la suite spectrale de Hochschild--Serre
\begin{equation}\label{eqDifferentialHSSpec}
E_2^{p,q} = \H^p(K,\H^q_{\et}(\ol{X},\ol{H}^{\ab})) \Longrightarrow \H^{p+q}_{\et}(X,H^{\ab}),
\end{equation}
on a $d_2^{0,1}([\ol{Z}]) = \eta_X^{\ab}$.
\end{lemm}
\begin{proof}
Soit $\pi: X \to \Spec K$ le morphisme structural. On consid\`ere la suite spectrale de Leray
\begin{equation}\label{eqDifferentialLeraySpec}
\tilde{E}_2^{p,q} = \Ext_{K\grp}^p(H',\R^q \pi_\ast \Gbb_m) \Longrightarrow \H^{p+q}_{\et}(X,H^{\ab}).
\end{equation}
Comme $\ol{K}[X]^\times = \ol{K}^\times$ est divisible ($K$ étant parfait), un résultat de Skorobogatov~\cite[Proposition~2.3.11]{Skorobogatov} compare~\eqref{eqDifferentialHSSpec} et~\eqref{eqDifferentialLeraySpec}. En particulier, on dispose d'un diagramme commutatif dont les fl\`eches verticales sont des isomorphismes:
\begin{equation}\label{eqDifferentialDiagram}
\begin{aligned}
\xymatrix{
\H^0(K,\H^1_{\et}(\ol{X},\ol{H}^{\ab})) \ar[d]^{\type} \ar[rr]^{d_2^{0,1}} && \H^2(K,H^{\ab}) \ar@{=}[d] \\
\Hom_{K\grp}(H',\Pic \ol{X})
\ar[rr]^{\tilde{d}_2^{0,1}} && \H^2(K,H^{\ab}). }
\end{aligned}
\end{equation}
Dans~\eqref{eqDifferentialDiagram}, $\tilde{d}_2^{0,1}$ est la différentielle tirée de~\eqref{eqDifferentialLeraySpec}, et l'isomorphisme $\type: \H^1_{\et}(\ol{X},\ol{H}^{\ab}) \to \Hom_{\ol{K}\grp}(H',\Pic\ol{X})$ associe \`a chaque classe d'isomorphie de $\ol{X}$-torseurs sous $\ol{H}^{\ab}$ son type. Comme $\lambda \in \Hom_{K\grp}(H',\Pic \ol{X})$ provient de $[\ol{Z}] \in \H^1_{\et}(\ol{X},\ol{H}^{\ab})$, on a $[\ol{Z}] \in \H^0(K,\H^1_{\et}(\ol{X},\ol{H}^{\ab}))$. Il reste donc \`a montrer que $\tilde{d}_2^{0,1}(\lambda) = \eta_X^{\ab}$.

Suivons la preuve de~\cite[Theorem~9.5.1]{Skorobogatov}. La classe $e(X):=\tilde{d}_2^{0,1}(\lambda) \in \H^2(K,H^{\ab})$ est appelée \emph{obstruction élémentaire} de $X$, c'est une obstruction \`a l'existence des $X$-torseurs sous $H^{\ab}$ de type $\lambda$. Elle est représentée par la gerbe $\Gcal_\lambda$ des torseurs sur $X$ de type $\lambda$, \emph{i.e.} pour toute extension finie séparable $K'/K$, la fibre $\Gcal_\lambda(K')$ est le groupoïde des $X_{K'}$-torseurs sous $H^{\ab}_{K'}$ de type $\lambda$~\cite[Chapitre~IV, Section~3.2 et Chapitre~V, Section~3.1]{Giraud}. D'ailleurs, la classe de Springer $\eta_X \in \H^2(K,L_X)$ est représentée par la gerbe $\Gcal_X$, dont la fibre $\Gcal_X(K')$ est pour toute extension finie séparable $K'/K$ le groupoïde des espaces principaux homog\`enes de $G_{K'}$ dominant $X_{K'}$~\cite[Chapitre~IV, Section~5.1]{Giraud}. Si $Y$ est un tel espace principal homog\`ene et $Y \to X_{K'}$ est un morphisme $G_{K'}$-équivariant, le groupe algébrique $\Aut_{G_{K'}}(Y/X_{K'})$ est une $K'$-forme de $\ol{H}$, qu'on va noter $H_{K'}$, et $Y$ est un $X_{K'}$-torseur sous $H_{K'}$. Le \emph{produit contracté} $W:=Y \times^{H_{K'}} H_{K'}^{\ab}$ est un $X_{K'}$-torseur sous $H_{K'}^{\ab}$. Comme $\ol{Y} = \ol{G}$, on a $\ol{W} = \ol{G}/[\ol{H},\ol{H}] = \ol{Z}$, qui est un $\ol{X}$-torseur sous $\ol{H}^{\ab}$ de type $\lambda$. La construction $Y \mapsto W$ définit un morphisme $\Gcal_X \to \Gcal_\lambda$ de $K$-gerbes algébriques, donc l'application $\H^2(K,L_X) \to \H^2(K,H^{\ab})$ envoie $\eta_X$ sur $e(X)$, \emph{i.e.} $d_2^{0,1}([\ol{Z}]) = \tilde{d}_2^{0,1}(\lambda) = e(X) = \eta_X^{\ab}$.
\end{proof}


\begin{prop}\label{propDifferential}
Soient $G$, $X$ et $\ol{H}$ comme ci-dessus. On utilise le type $\lambda$ de $X$ pour identifier $H'$ \`a $\Pic \ol{X}$. Alors pour tout $p \ge 0$, la différentielle $d^{p,1}_2: \H^p(K,H') \to \H^{p+2}(K,\Gbb_m)$de la suite spectrale de Hochschild--Serre $E_2^{p,q} = \H^p(K,\H^q_{\et}(\ol{X},\Gbb_m)) \Rightarrow \H^{p+q}_{\et}(X,\Gbb_m)$ est donnée par les cup-produits avec $\eta_X^{\ab} \in \H^2(K,H^{\ab})$.
\end{prop}
\begin{proof}
Ce calcul est essentiellement pris de~\cite[Theorem~2.4.4]{NSW}. Pour tout faisceau $\Acal$ de groupes abéliens sur $X_{\et}$, on utilisera abusivement la m\^eme notation pour sa restriction \`a $\ol{X}_{\et}$. Soit $0 \to \Acal \to \Gcal^0_\Acal \to \Gcal^1_\Acal \to \cdots$ la résolution de Godement de $\Acal$, alors la suite spectrale de Hochschild--Serre
\begin{equation}\label{eqDifferentialHochschildSerre}
E_2^{p,q} = \H^p(K,\H^q_{\et}(\ol{X},\Acal)) \Longrightarrow \H^{p+q}_{\et}(X,\Acal)
\end{equation}
est induite par le complexe double $(\C^\bullet(K,\Gcal^\bullet_\Acal(\ol{X})))$. Sa différentielle $d_2^{p,1}$ est obtenue de la partie
\begin{equation*}
\xymatrix{
\C^p(K,\Gcal_\Acal^1(\ol{X})) \ar[r] & \C^{p+1}(K,\Gcal_\Acal^1(\ol{X})) \\
& \C^{p+1}(K,\Gcal_\Acal^0(\ol{X})) \ar[u] \ar[r] & \C^{p+2}(K,\Gcal_\Acal^0(\ol{X})) }
\end{equation*}
de ce complexe, comme suit. Considérons les suites exactes courtes
\begin{equation}\label{eqDifferentialExact1}
0 \to M_\Acal \to N_\Acal \to \H^1_{\et}(\ol{X},\Acal) \to 0
\end{equation}
et
\begin{equation}\label{eqDifferentialExact2}
0 \to \Acal(\ol{X}) \to \Gcal_\Acal^0(\ol{X}) \to M_\Acal \to 0
\end{equation}
de $\Gamma_K$-modules, o\`u $M_\Acal := \Img(\Gcal_\Acal^0(\ol{X}) \to \Gcal_\Acal^1(\ol{X}))$ et $N_\Acal := \Ker(\Gcal_\Acal^1(\ol{X}) \to \Gcal_\Acal^2(\ol{X}))$. Alors $d_2^{p,1}: \H^p(K,\H^1_{\et}(\ol{X},\Acal)) \to \H^{p+2}(K,\Acal(\ol{X}))$ est la composée des morphismes connectants
\begin{equation*}
\H^p(K,\H^1_{\et}(\ol{X},\Acal)) \xrightarrow{\del} \H^{p+1}(K,M_\Acal) \xrightarrow{\delta} \H^{p+2}(K,\Acal(\ol{X}))
\end{equation*}
induits par~\eqref{eqDifferentialExact1} et par~\eqref{eqDifferentialExact2}. On prend pour $\Acal$ respectivement $H^{\ab}_X$ et $\Gbb_m$. Alors pour tout caract\`ere $\chi \in H'$, on a un diagramme commutatif
\begin{equation*}
\xymatrix{ 0 \ar[r] & \ol{H}^{\ab} \ar[d]^{\chi} \ar[r] & \Gcal^0_{H^{\ab}_X}(\ol{X}) \ar[d]^{\Gcal^0_\chi} \ar[r] & \Gcal^1_{H^{\ab}_X}(\ol{X}) \ar[d]^{\Gcal^1_\chi} \ar[r] & \cdots \\
0 \ar[r] & \ol{K}^\times \ar[r] & \Gcal^0_{\Gbb_m}(\ol{X}) \ar[r] & \Gcal^1_{\Gbb_m}(\ol{X}) \ar[r]& \cdots. }
\end{equation*}
Le fait que le foncteur de Godement soit $\Gamma_K$-équivariant nous permet de définir des accouplements
\begin{equation*}
\Gcal^p_{H_X^{\ab}}(\ol{X}) \times H' \to \Gcal^p_{\Gbb_m}(\ol{X}), \qquad (u,\chi) \mapsto \Gcal^p_{\chi}(u)
\end{equation*}
pour tout $p \ge 0$. D'o\`u des accouplements
\begin{equation*}
M_{H_X^{\ab}} \times H' \to M_{\Gbb_m}, \qquad N_{H_X^{\ab}} \times H' \to N_{\Gbb_m}, \qquad \text{et} \qquad \Gcal^0_{H^{\ab}_X}(\ol{X}) \times H' \to \Gcal^0_{\Gbb_m}(\ol{X}),
\end{equation*}
qui, au vu de~\eqref{eqDifferentialExact1} and~\eqref{eqDifferentialExact2}, sont compatibles avec les accouplements
\begin{equation*}
\H^1_{\et}(\ol{X},\ol{H}^{\ab}) \times H' \to \Pic\ol{X}, \qquad (u,\chi) \mapsto \chi_\ast u
\end{equation*}
et
\begin{equation*}
H^{\ab}(\ol{K}) \times H' \to \ol{K}^\times, \qquad (h,\chi) \mapsto \chi(h).
\end{equation*}
Par compatibilité des cup-produits avec les morphismes connectants~\cite[Proposition~1.4.3]{NSW}, on dispose d'un diagramme commutatif
\begin{equation}\label{eqDifferentialDiagram2}
\begin{aligned}
\xymatrix{ **[l] \H^0(K,\H^1_{\et}(\ol{X},\ol{H}^{\ab})) \ar@<-15ex>[d]^{\del} \times \H^p(K,H') \ar@{=}[d]<-2.75ex> \ar[r]^-{\cup} & \H^p(K,\Pic\ol{X})\ar[d]^{\del} \\
**[l] \H^1(K,M_{H^{\ab}_X}) \ar@<-15ex>[d]^{\delta} \times \H^p(K,H') \ar@{=}[d]<-2.75ex> \ar[r]^-{\cup} & \H^{p+1}(K,M_{\Gbb_m}) \ar[d]^{\delta}\\
**[l] \H^2(K,H^{\ab}) \times \H^p(K,H') \ar[r]^-{\cup} & \H^{p+2}(K,\Gbb_m). }
\end{aligned}
\end{equation}
Regardons la classe $[\ol{Z}] \in \H^0(K,\H^1_{\et}(\ol{X},\ol{H}^{\ab}))$ et soit $y \in \H^p(K,H')$. Par définition de $\lambda$, on a $[\ol{Z}] \cup y = \lambda_\ast y \in \H^p(K,\Pic \ol{X})$. D'un autre c\^oté, $\delta(\del([\ol{Z}])) = d_2^{0,1}([\ol{Z}]) = \eta_X^{\ab}$ par le Lemme~\ref{lemDifferential}, donc~\eqref{eqDifferentialDiagram2} donne
\begin{equation*}
d_2^{p,1}(\lambda_\ast y) = \delta(\del(\lambda_\ast y)) = \delta(\del([\ol{Z}] \cup y)) = \delta(\del([\ol{Z}])) \cup y = \eta_X^{\ab} \cup y,
\end{equation*}
qui est ce qu'on veut.
\end{proof}

\begin{coro}\label{corDifferential}
Soit $n \ge 2$ un entier et soit $K$ un corps parfait de caractéristique ne divisant pas $n$. Supposons que $K$ contient $\mu_n$ et que $\H^3(K,\Gbb_m)[n] \neq 0$. Alors il existe un entier $m$ et un $K$-espace homog\`ene $X$ de $\SL_m$, \`a stabilisateurs géométriques isomorphes \`a $\mu_n$, tels que la fl\`eche $\Br_1 X / \Br K \to \H^1(K,\Pic\ol{X})$ de la suite exacte~\eqref{eqExactSequenceX} ne soit pas surjective.
\end{coro}
\begin{proof}
Par le théor\`eme de Rost--Voevodsky~\cite[Theorem~6.16]{Voevodsky}, on a un isomorphisme $K^M_\bullet(K)/n \simeq \H^\bullet(K,\mu_n^{\otimes \bullet})$ d'anneaux anti-commutatifs gradués, o\`u $K^M_\bullet$ désigne la $K$-théorie de Milnor. D'o\`u $K^M_\bullet(K)/n \simeq \H^\bullet(K,\Zbb/n)$ puisque $K$ contient $\mu_n$. L'anneau $K^M_\bullet(K)$ étant engendré par les éléments de degré~$1$, tout élément de $\H^r(K,\Zbb/n)$ (o\`u $r \ge 1$) est une somme de symboles $a_1 \cup \cdots \cup a_r$, o\`u $a_1,\ldots,a_r \in \H^1(K,\Zbb/n)$. Soit $c \in \H^3(K,\Gbb_m)[n]$ non nul. Comme $\H^3(K,\mu_n)\to \H^3(K,\Gbb_m)[n]$ est surjectif, $c$ se rel\`eve en un élément de $\H^3(K,\mu_n)$, il s'écrit donc comme une somme de symboles de la forme $a \cup b$, o\`u $a \in \H^2(K,\mu_n)$ et $b \in \H^1(K,\Zbb/n)$. Comme $c \neq 0$, l'un de ces symboles est non nul, \emph{i.e.} il existe $a \in \H^2(K,\mu_n)$ et $b \in \H^1(K,\Zbb/n)$ tels que $a \cup b \neq 0 \in \H^3(K,\Gbb_m)$. La construction de Demarche--Lucchini Arteche~\cite[Corollaire~3.3]{DLA} assure l'existence d'un entier $m$ et d'un $K$-espace homog\`ene $X$ de $\SL_m$ de lien de Springer $L_X = \lien(\mu_n)$ et de classe de Springer $\eta_X = a \in \H^2(K,\mu_n)$. Au vu de la Proposition~\ref{propDifferential}, on a $\Pic \ol{X} = \Zbb/n$, et l'image de $b \in \H^1(K,\Zbb/n)$ dans $\H^3(K,\Gbb_m)$ vaut $a \cup b \neq 0$. Par exactitude de~\eqref{eqExactSequenceX}, $b$ ne provient pas de $\Br_1 X$.
\end{proof}


\begin{exam}
Pour $K = \Cbb\ps{t}\ps{x}\ps{y}$, on a $\H^3(K,\Gbb_m) = \Qbb/\Zbb$ (voir la Section~\ref{section2} ci-dessous), d'o\`u un exemple numérique du Corollaire~\ref{corDifferential}.
\end{exam}



\section{Le contre-exemple} \label{section2}

Notre principal résultat est le

\begin{thm} \label{thmMain}
Il existe un entier $m$ et un espace homog\`ene $X$ de $\SL_m$ sur $K := \Cbb\ps{t} \ps{x} \ps{y}$, \`a stabilisateurs géométriques isomorphes \`a $\mu_4 \times \mu_4 \times \mu_4$, tels que la fl\`eche $\Br_1 X^c / \Br K \to \Sha^1_\omega(K,\Pic\ol{X})$ de la suite exacte~\eqref{eqExactSequenceXc} ne soit pas surjective.
\end{thm}

La Proposition~\ref{propLocalDuality} ci-dessous mentionne au passage quelques théor\`emes de dualités pour des corps locaux supérieurs. Les corps $0$-locaux sont par définition les corps finis et le corps $\Cbb\ps{t}$. Pour $d \ge 1$, on appelle corps $d$-local tout corps complet pour une valuation discr\`ete de corps résiduel un corps $(d-1)$-local. Si $K$ est un corps $d$-local, on notera $K_d := K$, et $K_{i-1}$ le corps résiduel de $K_i$ pour $i \in \{1,\ldots,d\}$. Les points~\eqref{propLocalDuality1} et~\eqref{propLocalDuality2} de la Proposition~\ref{propLocalDuality} se démontrent de mani\`ere similaire \`a~\cite[Theorem~2.17, Lemma~2.18]{Milne}, compte tenu du fait que $\mu \simeq \Qbb/\Zbb$ sur toutes les extensions de $\Cbb$, et que le module galoisien $\Gbb_m/\mu$ est uniquement divisible (donc \emph{cohomologiquement trivial}). On pourra consulter~\cite[Théor\`eme~8.9]{Harari_cohomologie} pour le point~\eqref{propLocalDuality3}. Le point~\eqref{propLocalDuality4} se trouve dans~\cite[Proposition~3.5]{Izquierdo}.

\begin{prop}\label{propLocalDuality}
Soit $K$ un corps $d$-local $(d \ge 1$) avec $K_0 = \Cbb\ps{t}$.
\begin{enumerate}
\item \label{propLocalDuality1}
On dispose d'un isomorphisme (non canonique) $\H^{d+1}(K,\Gbb_m) \simeq \Qbb/\Zbb$.

\item \label{propLocalDuality2}
Pour tout $\Gamma_K$-module fini $M$ et $r \in \{0,1,\ldots,d+1\}$, le cup-produit
\[
\H^r(K,M') \times \H^{d+1-r}(K,M) \to \Qbb/\Zbb
\]
est une dualité parfaite de groupes finis.

\item \label{propLocalDuality3}
Pour toute extension finie $L/K$, la restriction $\H^{d+1}(K,\Gbb_m) \to \H^{d+1}(L,\Gbb_m)$ est la multiplication par $[L:K]$ de $\Qbb/\Zbb$.

\item \label{propLocalDuality4}
Supposons $d = 2$. Soit $T$ un $K$-tore et $S$ son tore dual, c'est-\`a-dire $\iHom_K(T,\Gbb_m) = \iHom_K(\Gbb_m,S)$. Il existe un accouplement parfait
\begin{equation*}
\varprojlim_n\H^0(K,S) / n \times \H^2(K,T) \to \Qbb/\Zbb,
\end{equation*}
o\`u $\varprojlim_n\H^0(K,S) / n$ est profini et o\`u $\H^2(K,T)$ est discret de torsion.
\end{enumerate}
\end{prop}

\begin{coro}\label{corH3KMuN}
Soit $K = \Cbb\ps{t}\ps{x}\ps{y}$. Pour tout entier $n \ge 2$, $\H^3(K,\mu_n)$ s'identifie au sous-groupe $\frac{1}{n}\Zbb/\Zbb$ de $\H^3(K,\Gbb_m) \simeq \Qbb/\Zbb$.
\end{coro}
\begin{proof}
Le point~\eqref{propLocalDuality4} de la Proposition~\ref{propLocalDuality} appliqué au tore $T = \Gbb_m$ donne une dualité parfaite entre $\Br K$ et $\varprojlim_n K^\times/K^{\times n}$. Or $k\ps{t}^\times = \Zbb \times k^\times \times (1 + tk\pssq{t})$ pour tout corps $k$, et le groupe $(1 + tk\pssq{t}, \cdot\,)$ est divisible lorsque $k$ est de caractéristique nulle. Donc $K^\times = \Zbb^3 \times \Cbb^\times \times D$ avec $D$ divisible. Comme $\Cbb^\times$ est aussi divisible, $\varprojlim_n K^\times/K^{\times n} = \hat{\Zbb}^3$, d'o\`u $\Br K = (\Qbb/\Zbb)^3$.

Pour tout entier $n \ge 2$, la suite de Kummer donne une suite exacte
\begin{equation*}
0 \to \Br K / n \to \H^3(K,\mu_n) \to \H^3(K,\Gbb_m)[n] \to 0.
\end{equation*}
Or $\Br K = (\Qbb/\Zbb)^3$ est divisible, d'o\`u $\H^3(K,\mu_n) \simeq \H^3(K,\Gbb_m)[n]$. Finalement, $\H^3(K,\Gbb_m) \simeq \Qbb/\Zbb$ au vu de la Proposition~\ref{propLocalDuality}~\eqref{propLocalDuality1}, d'o\`u le résultat.
\end{proof}

Pour démontrer le Théor\`eme~\ref{thmMain}, la premi\`ere étape est de construire un $\Gamma_K$-module $H$ avec $\Sha^1_\omega(K,H') \neq 0$. La construction suivante est inspirée par un exemple de Serre~\cite[Chapitre~III, 4.7, Lemme~7]{Serre}, et est également réapparue par exemple dans des articles de Borovoi--Kunyavski\u{\i}~\cite{BK}, Demarche--Lucchini Arteche--Neftin~\cite[Lemma~5.5]{DLN} et Rivera-Mesas~\cite[Lemma~4.1]{RM}.

\begin{prop}\label{propData}
Soient $n \ge 2$ un entier, $K$ un corps contenant $\mu_n$, de caractéristique ne divisant pas $n$, et $L/K$ une extension finie galoisienne. Notons $\gfrak = \Gal(L/K)$, $N = \PGCD(n,|\gfrak|)$ et $N' = \PGCD(n,\exp(\gfrak))$. Soit $j: \mu_n \hookrightarrow \R_{L/K} \mu_n$ l'inclusion canonique et soit $H$ le $\Gamma_K$-module défini par la suite exacte
\begin{equation}\label{eqExactSequenceH}
1 \to \mu_n \overset j\to \R_{L/K} \mu_n \to H \to 1.
\end{equation}
Alors $\Sha^1_\omega(K,H')$ est un groupe cyclique d'ordre $N/N'$ dont un générateur est $\delta'(\exp(\gfrak))$, o\`u $\delta': \Zbb/n \to \H^1(K,H')$ est le morphisme connectant induit par la suite exacte duale de~\eqref{eqExactSequenceH}:
\begin{equation}\label{eqExactSequenceHDual}
1 \to H' \to (\Zbb/n)[\gfrak] \overset{j'}\to \Zbb/n \to 1.
\end{equation}
\end{prop}
\begin{proof}
On vérifie sans peine que $j'$ est l'application d'augmentation, \emph{i.e.} si $(e_g)_{g \in \gfrak}$ désigne la $(\Zbb/n)$-base canonique de $(\Zbb/n)[\gfrak]$, alors $j'(e_g) = 1$ pour tout $g \in \gfrak$.

Au vu de~\eqref{eqSha1Omega}, $\Sha^1_\omega(K,H') = \Sha^1_\omega(\gfrak, H') = \Ker\tuple{\H^1(\gfrak,H') \to \prod_{g \in \gfrak} \H^1(\pair{g},H')}$. Pour tout $g \in \gfrak$, \eqref{eqExactSequenceHDual} donne un diagramme commutatif \`a lignes exactes:
\begin{equation}\label{eqExactSequenceSha1Omega}
\xymatrix{
\H^0(\gfrak, (\Zbb/n)[\gfrak]) \ar[r]^-{j'} \ar[d] & \Zbb/n \ar@{=}[d] \ar[r]^-{\delta'} & \H^1(\gfrak,H') \ar[d] \ar[r] & 0 \\
\H^0(\pair{g}, (\Zbb/n)[\gfrak]) \ar[r]^-{j'} & \Zbb/n \ar[r]^-{\delta'} & \H^1(\pair{g},H') \ar[r] & 0, }
\end{equation}
o\`u $\H^1(\gfrak, (\Zbb/n)[\gfrak]) = \H^1(\pair{g}, (\Zbb/n)[\gfrak]) = 0$ par le lemme de Shapiro. En particulier, tout élément $c \in \H^1(\gfrak,H')$ s'écrit sous la forme $\delta'(m)$, o\`u $m \in \Zbb/n$. Comme $j'$ est l'application d'augmentation et comme la $(\Zbb/n)$-base $(e_g)_{g \in \gfrak}$ de $(\Zbb/n)[\gfrak]$ est permutée par $\gfrak$, on voit que l'image de $\H^0(\gfrak, (\Zbb/n)[\gfrak])$ par $j'$ est $|\gfrak|(\Zbb/n)$, et celle de $\H^0(\pair{g}, (\Zbb/n)[\gfrak])$ est $\ord(g)(\Zbb/n)$. Donc, $c \in \Sha^1_\omega(\gfrak,H')$ si et seulement si $m \in \ord(g)(\Zbb/n)$ pour tout $g \in \gfrak$, \emph{i.e.} $m \in \exp(\gfrak)(\Zbb/n) = N'(\Zbb/n)$. D'autre part, $c = 0$ si et seulement si $m \in |\gfrak|(\Zbb/n) = N(\Zbb/n)$. D'o\`u $\Sha^1_\omega(\gfrak,H') \simeq \frac{N'(\Zbb/n)}{N(\Zbb/n)}$ est un groupe cyclique d'ordre $N/N'$, engendré par $\delta'(\exp(\gfrak))$.
\end{proof}

\begin{lemm}\label{lemShapiroRestriction}
Avec les données de la Proposition~\ref{propData}, on a une suite exacte longue
\begin{equation*}
\cdots \to \H^{r-1}(K,H) \overset{\delta}\to \H^r(K,\mu_n) \overset{\res}\to \H^r(L,\mu_n) \to \H^r(K,H) \overset{\delta}\to \cdots,
\end{equation*}
o\`u $\delta$ sont les morphismes connectants induits par~\eqref{eqExactSequenceH}.
\end{lemm}
\begin{proof}
C'est la suite exacte longue induite par~\eqref{eqExactSequenceH}, compte tenu du fait que $\H^r(K,\R_{L/K} \mu_n) = \H^r(L,\mu_n)$ pour tout $r \ge 1$ par le lemme de Shapiro, et de la compatibilité de $j_\ast: \H^r(K,\mu_n) \to \H^r(K,\R_{L/K}\mu_n)$ avec la restriction (voir~\cite[Proposition~1.6.5]{NSW}).
\end{proof}

\begin{proof}
[Démonstration du Théor\`eme~\ref{thmMain}]
On consid\`ere les données suivantes: $K = \Cbb\ps{t}\ps{t_1}\ps{t_2}$, $L = K(\sqrt{t_1},\sqrt{t_2})$ et $n = 4$. Avec les notations de la Proposition~\ref{propData}, on a $N' = 2$ et $N = 4$. Regardons l'élément $a = \frac{1}{4} \in \Qbb/\Zbb \simeq \H^3(K,\Gbb_m)$. Sa restriction \`a $\H^3(L,\Gbb_m)$ vaut $0$ au vu de la Proposition~\ref{propLocalDuality}$\MK$\eqref{propLocalDuality3}. En vertu du Corollaire~\ref{corH3KMuN}, on a $a \in \H^3(K,\mu_4)$, et $\res(a) = 0 \in \H^3(L,\mu_4)$. Par le Lemme~\ref{lemShapiroRestriction}, il existe $x \in \H^2(K,H)$ tel que $a = \delta(x)$.

On prend $y = \delta'(2) \in \H^1(K,H')$. Alors $y \in \Sha^1_\omega(K,H')$ et $x \cup y = - 2a \in \H^3(K,\Gbb_m)$ par compatibilité des cup-produits avec les morphismes connectants~\cite[Corollary~1.4.6]{NSW}. Or $2a \neq 0$, donc $x \cup y \neq 0$. Soit $X$ un $K$-espace homog\`ene de $\SL_m$ de lien de Springer $\lien(H)$ et de classe de Springer $\eta_X = x$, qui existe d'apr\`es la construction de Demarche--Lucchini Arteche~\cite[Corollaire~3.3]{DLA}. Par la Proposition~\ref{propDifferential}, $\Pic \ol{X} = H'$, et l'image de $y \in \H^1(K,H')$ dans $\H^3(K,\Gbb_m)$ est $x \cup y \neq 0$, donc l'exactitude de~\eqref{eqExactSequenceXc} assure que $y$ ne provient pas de $\Br_1 X^c$.
\end{proof}


\section*{Declaration of interests}
The authors do not work for, advise, own shares in, or receive funds from any organization that could benefit from this article, and have declared no affiliations other than their research organizations.

\printbibliography
\end{document}
