Connectivity of motivic \(H\)-spaces (Q384638): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(Sm/k\) be the category of smooth separated \(k\)-schemes, \(PSH(Sm/k)\) the category of presheaves of sets on \(Sm/k\). Let \(\Delta\) be the category of simplices and \(\Delta^{\mathrm{op}}PSh(Sm/k)\) the category of spaces. A functor \({\mathcal X}:\Delta^{\mathrm{op}}\to PSh(Sm/k)\) is called a simplicial presheaf or a space. \(\Delta^{\mathrm{op}}PSh(Sm/k)\) has a local model category structure with respect to to the Nisnevich topology. The Bousfield localization of the local model structure on \(\Delta^{\mathrm{op}}PSh(Sm/k)\), with respect to the class of maps \({\mathcal X}\times\mathbb{A}^1\to{\mathcal X}\), is called the \(\mathbb{A}^1\)-model structure. Let \(\mathbb{H}(k)\) be the resulting homotopy category. For any space \({\mathcal X}\), \(\pi^{\mathbb{A}^1}_0({\mathcal X})\) is the presheaf \[ U\in Sm/k\to \Hom_{\mathbb{H}(k)}(U,{\mathcal X}) \] which is homotopy invariant, i.e. for any \(U\in Sm/k\) the morphism \[ \pi^{\mathbb{A}^1}_0({\mathcal X})(U)\to \pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_U) \] induced by the projection \(\mathbb{A}^1_U\to U\), is bijective. Let \[ \alpha_{\mathrm{Nis}}: PSh(Sm/k)\to Sh_{\mathrm{Nis}}(Sm/k) \] denote the Nisnevich sheafification functor. A conjecture by Morel states that, for any \(U\in Sm/k\), the morphism \[ \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(U))\to \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_U)) \] is bijective. In this paper the author proves that the \(\mathbb{A}^1\)-connected component sheaf \(\alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X}))\) of an \(H\)-group is \(\mathbb{A}^1\)-invariant. The following result gives a partial answer to the conjecture. Theorem 1. For any space \({\mathcal X}\), the canonical morphism \[ \pi_0({\mathcal X})(\mathbb{A}^1_F)\to \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_F)) \] is bijective for all finitely generated separable field extensions \(F/k\). | |||
Property / review text: Let \(Sm/k\) be the category of smooth separated \(k\)-schemes, \(PSH(Sm/k)\) the category of presheaves of sets on \(Sm/k\). Let \(\Delta\) be the category of simplices and \(\Delta^{\mathrm{op}}PSh(Sm/k)\) the category of spaces. A functor \({\mathcal X}:\Delta^{\mathrm{op}}\to PSh(Sm/k)\) is called a simplicial presheaf or a space. \(\Delta^{\mathrm{op}}PSh(Sm/k)\) has a local model category structure with respect to to the Nisnevich topology. The Bousfield localization of the local model structure on \(\Delta^{\mathrm{op}}PSh(Sm/k)\), with respect to the class of maps \({\mathcal X}\times\mathbb{A}^1\to{\mathcal X}\), is called the \(\mathbb{A}^1\)-model structure. Let \(\mathbb{H}(k)\) be the resulting homotopy category. For any space \({\mathcal X}\), \(\pi^{\mathbb{A}^1}_0({\mathcal X})\) is the presheaf \[ U\in Sm/k\to \Hom_{\mathbb{H}(k)}(U,{\mathcal X}) \] which is homotopy invariant, i.e. for any \(U\in Sm/k\) the morphism \[ \pi^{\mathbb{A}^1}_0({\mathcal X})(U)\to \pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_U) \] induced by the projection \(\mathbb{A}^1_U\to U\), is bijective. Let \[ \alpha_{\mathrm{Nis}}: PSh(Sm/k)\to Sh_{\mathrm{Nis}}(Sm/k) \] denote the Nisnevich sheafification functor. A conjecture by Morel states that, for any \(U\in Sm/k\), the morphism \[ \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(U))\to \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_U)) \] is bijective. In this paper the author proves that the \(\mathbb{A}^1\)-connected component sheaf \(\alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X}))\) of an \(H\)-group is \(\mathbb{A}^1\)-invariant. The following result gives a partial answer to the conjecture. Theorem 1. For any space \({\mathcal X}\), the canonical morphism \[ \pi_0({\mathcal X})(\mathbb{A}^1_F)\to \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_F)) \] is bijective for all finitely generated separable field extensions \(F/k\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Claudio Pedrini / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6234203 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\mathbb A^{1}\)-homotopy theory | |||
Property / zbMATH Keywords: \(\mathbb A^{1}\)-homotopy theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(H\)-spaces | |||
Property / zbMATH Keywords: \(H\)-spaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homotopy pullback | |||
Property / zbMATH Keywords: homotopy pullback / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3098618854 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1209.0484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Smooth varieties up to \(\mathbb A^1\)-homotopy and algebraic \(h\)-cobordisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy limits, completions and localizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4357476 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3566605 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiplication on Spheres (II) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial presheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Motivic symmetric spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5485722 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2902058 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\mathbb A^1\)-algebraic topology over a field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\mathbb{A}^1\)-homotopy theory of schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <sup>1</sup>-Homotopy of Chevalley Groups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:20, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Connectivity of motivic \(H\)-spaces |
scientific article |
Statements
Connectivity of motivic \(H\)-spaces (English)
0 references
28 November 2013
0 references
Let \(Sm/k\) be the category of smooth separated \(k\)-schemes, \(PSH(Sm/k)\) the category of presheaves of sets on \(Sm/k\). Let \(\Delta\) be the category of simplices and \(\Delta^{\mathrm{op}}PSh(Sm/k)\) the category of spaces. A functor \({\mathcal X}:\Delta^{\mathrm{op}}\to PSh(Sm/k)\) is called a simplicial presheaf or a space. \(\Delta^{\mathrm{op}}PSh(Sm/k)\) has a local model category structure with respect to to the Nisnevich topology. The Bousfield localization of the local model structure on \(\Delta^{\mathrm{op}}PSh(Sm/k)\), with respect to the class of maps \({\mathcal X}\times\mathbb{A}^1\to{\mathcal X}\), is called the \(\mathbb{A}^1\)-model structure. Let \(\mathbb{H}(k)\) be the resulting homotopy category. For any space \({\mathcal X}\), \(\pi^{\mathbb{A}^1}_0({\mathcal X})\) is the presheaf \[ U\in Sm/k\to \Hom_{\mathbb{H}(k)}(U,{\mathcal X}) \] which is homotopy invariant, i.e. for any \(U\in Sm/k\) the morphism \[ \pi^{\mathbb{A}^1}_0({\mathcal X})(U)\to \pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_U) \] induced by the projection \(\mathbb{A}^1_U\to U\), is bijective. Let \[ \alpha_{\mathrm{Nis}}: PSh(Sm/k)\to Sh_{\mathrm{Nis}}(Sm/k) \] denote the Nisnevich sheafification functor. A conjecture by Morel states that, for any \(U\in Sm/k\), the morphism \[ \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(U))\to \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_U)) \] is bijective. In this paper the author proves that the \(\mathbb{A}^1\)-connected component sheaf \(\alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X}))\) of an \(H\)-group is \(\mathbb{A}^1\)-invariant. The following result gives a partial answer to the conjecture. Theorem 1. For any space \({\mathcal X}\), the canonical morphism \[ \pi_0({\mathcal X})(\mathbb{A}^1_F)\to \alpha_{\mathrm{Nis}}(\pi^{\mathbb{A}^1}_0({\mathcal X})(\mathbb{A}^1_F)) \] is bijective for all finitely generated separable field extensions \(F/k\).
0 references
\(\mathbb A^{1}\)-homotopy theory
0 references
\(H\)-spaces
0 references
homotopy pullback
0 references