\(\mathbb A^1\)-algebraic topology over a field (Q417642): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 00:13, 5 March 2024

scientific article
Language Label Description Also known as
English
\(\mathbb A^1\)-algebraic topology over a field
scientific article

    Statements

    \(\mathbb A^1\)-algebraic topology over a field (English)
    0 references
    0 references
    14 May 2012
    0 references
    This book deals with \(\mathbb{A}^1\)-homotopy theory over a base field, i.e., with the natural homotopy theory associated to the category of smooth varieties over a field, in which the affine line is imposed to be contractible. It is a natural sequel to to the paper by \textit{F. Morel} and \textit{V. Voevodsky} [Publ. Math., Inst. Hautes Étud. Sci. 90, 45--143 (1999; Zbl 0983.14007)]. A main technical result contained in this text is the precise nature of the \(\mathbb{A}^1\)-homotopy sheaves of \(\mathbb{A}^1\)-connected pointed spaces. Using these results the author introduces the \(\mathbb{A}^1\)-homology sheaves of a space and then proves several results, which are the analogues of classical theorems in algebraic topology such as the Brouwer degree theorem and Hurewicz theorem. Let \(Sm_k\) be the category of smooth schemes over a field \(k\). A sheaf of groups \({\mathcal G}\) on \(Sm_k\) in the Nisnevich topology is said to be strongly \(\mathbb{A}^1\)-invariant if for any \(X\in Sm_k\) the map \[ H^i_{Nis}(X,{\mathcal G})\to H^i_{Nis}(X\times \mathbb{A}^1,{\mathcal G}) \] induced by the projection \(\mathbb{A}^1\times X\to X\) is a bijection , for \(i= 0,1\). \({\mathcal G}\) is said to be strictly \(\mathbb{A}^1\)-invariant if the above map is a bijection for all \(i\in\mathbb{N}\). A basic example of strictly \(\mathbb{A}^1\)-invariant sheaves are Voevodsky's \(\mathbb{A}^1\)-invariant sheaves with transfers. The notion of strong \(\mathbb{A}^1\)-invariance given here is new: there are important examples of non-commutative strongly \(\mathbb{A}^1\)-invariant sheaves groups , e.g., \(\pi^{\mathbb{A}^1}_1(\mathbb{P}^1_k)\). The computation given in 7.3 of the book \(\pi^{\mathbb{A}^1}_1(\mathbb{P}^1_k)\) shows that there is a central extension of sheaves of groups \[ 0\to \mathbb{K}^{MW}_2\to \pi^{\mathbb{A}^1}_1(\mathbb{P}^1_k)\to \mathbb{G}_m\to 0, \] where, for a field \(F\), \(K^{MW}_*(F)\) is the Milnor-Witt \(K\)-theory of \(F\) and \(\mathbb{K}^{MW}_n\) is the sheaf of Milnor-Witt \(K\)-theory in weight \(n\), so that, if \(X\) is irriducible with function field \(F\), one has \(\mathbb{K}^{MW}_n(X)\subset K^{MW}_n(F)\). The \(\mathbb{A}^1\)-fundamental group sheaves play a fundamental role in the understanding of \(\mathbb{A}^1\)-connected projective smooth varieties over \(k\). In this context a version of Hurewicz theorem is the following Theorem 0.1. Let \({\mathcal X}\) be a pointed \(\mathbb{A}^1\)-connected space. Then the Hurewicz morphism \[ \pi^{\mathbb{A}^1}_1({\mathcal X})\to H^{\mathbb{A}^1}_1({\mathcal X}) \] is the initial morphism from the sheaf of groups \(\pi^{\mathbb{A}^1}_1({\mathcal X})\) to a strictly \(\mathbb{A}^1\)-invariant sheaf of Abelian groups. This means that, given a strictly \(\mathbb{A}^1\)-invariant sheaf of Abelian groups \(M\) and a morphism of sheaves of groups \(\pi^{\mathbb{A}^1}_1({\mathcal X})\to M\), it factors uniquely trough \(\pi^{\mathbb{A}^1}_1({\mathcal X})\to H^{\mathbb{A}^1}_1({\mathcal X})\).
    0 references

    Identifiers