Extended Picard complexes for algebraic groups and homogeneous spaces (Q2499670)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extended Picard complexes for algebraic groups and homogeneous spaces
scientific article

    Statements

    Extended Picard complexes for algebraic groups and homogeneous spaces (English)
    0 references
    0 references
    0 references
    14 August 2006
    0 references
    Let \(K\) be a field of characteristic zero, \(X\) a \(K\)-variety (i.e. smooth and geometrically integral \(K\)-variety) and \(\overline X:= X\times_K\overline K\), where \(\overline K\) is a fixed algebraic closure of \(K\). The authors of the paper under review define the extended Picard complex \(U\,\text{Pic}(\overline X)\) which is going to be a 2-extension of \(\text{Pic}(\overline X)\) by \(U(\overline X):= \overline K[\overline X]^*/K^*\). They prove that there is a natural injection of \[ \text{Pic}(X)\hookrightarrow H^1(K,U\,\text{Pic}(\overline X)) \] and also a natural injection of \[ \text{Br}_a(X)\hookrightarrow H^2(K,U\,\text{Pic}(\overline X)). \] (Here \(\text{Br}(k)@>\alpha>> \text{B}r(X)@>b>> \text{Br}(\overline X)\), with \(\alpha\) and \(b\) the canonical homomorphisms and \(\text{Br}_a(X):= \ker b/\text{im\,}\alpha\).) If \(C\) is a complex of \(\text{Gal}(\overline K/K)\)-modules, define \[ \text{Ш}^2_\omega(K,C):= \ker[H^i(K,C)\to \prod_j H^i(\gamma,C)], \] where \(\gamma\) runs over all closed procyclic subgroups of \(\text{Gal}(\overline K/K)\), then there is an isomorphism \[ \text{Ш}^1_\omega(K,\text{Pic}(\overline X_c))\widetilde\rightarrow \text{Ш}^2_\omega(K,U\,\text{Pic}(\overline X)), \] where \(X_C\) is a smooth compactification of \(X\). For connected linear \(K\)-groups \(G\) they have also computed \(U\,\text{Pic}(\overline G)\) in terms of the algebraic fundamental group \(\pi_1(\overline G)\) \((\pi_1(\overline G):= \pi_1(\overline G^{\text{red}}))\). Similar results have also been obtained for homogeneous spaces \(X\) of a connected \(K\)-group \(G\). Here have been stated only the results and no proofs.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references