Hasse principle for classical groups over function fields of curves over number fields (Q1399677): Difference between revisions

The main object of the paper under review is a semisimple simply connected linear algebraic group \(G\) defined over \(F=k(X)\), the function field of a smooth geometrically integral curve \(X\) defined over a number field \(k\). A conjecture of Colliot-Thélène says that the following Hasse principle holds: the kernel of the map of pointed sets \[ H^1(k(X),G)\to\prod_{v\in\Omega_k}H^1(k_v(X),G), \] where \(\Omega_k\) is the set of places of \(k\), is trivial. In the case where \(G\) is a \(k\)-group and \(X\) is the projective line, this statement was proved by \textit{P. Gille} [J. Reine Angew. Math. 518, 145--161 (2000; Zbl 0983.12002)]. For the \(k(X)\)-groups of type \({}^1A^*\), i.e. groups \(G=SL_1(A)\), where \(A\) is a central simple \(F\)-algebra of square free index, the statement is known, being a consequence of the theorems of Merkurjev-Suslin and Kato. The authors establish the conjecture for the \(k\)-groups of type \({}^2A^*\), i.e. \(G=SU(B,\tau)\), where \(B\) is a central simple \(k'\)-algebra of a square free index with a \(k'|k\) involution \(\tau\) (\(k'\) stands for a quadratic extension of \(k\)), as well as for the \(k\)-groups of types \(B_n\), \(C_n\), \(D_n\) (\(D_4\) nontrialitarian), \(F_4\) and \(G_2\). The proof is based on case-by-case considerations. The main ingredients are higher-dimensional class field theory [\textit{K. Kato}, J. Reine Angew. Math. 366, 142-183 (1986; Zbl 0576.12012) and \textit{U. Jannsen}, Prog. Math. 102, 121--140 (1992; Zbl 0745.11053)], results on Witt groups of function fields in one and two variables over number fields due to \textit{J. Kr. Arason, R. Elman}, and \textit{B. Jacob} [Math. Ann. 274, 649--657 (1986; Zbl 0576.12025), Trans. Am. Math. Soc. 314, 745--780 (1989; Zbl 0675.10012)], the Merkurjev-Suslin reduced norm criterion in terms of cohomology [\textit{A. A. Suslin}, J. Sov. Math. 30, 2556--2611 (1985; Zbl 0566.12016)], the norm principle for algebraic groups in the form of \textit{A. S. Merkurjev} [St. Petersbg. Math. J. 7, 243--264 (1996; Zbl 0859.20039)], and results of \textit{V. Suresh} [Galois cohomology in degree 3 of function fields of curves over number fields, Preprint]. In the course of the proof the authors establish classification theorems for Hermitian forms over division algebras with an orthogonal or unitary involution.