Affine representability results in A^1-homotopy theory. I: Vector bundles.
The main goal of this paper is to prove the representability of vector bundles in the (unstable) \(\mathbb{A}^1\)-homotopy category for smooth affine schemes over a base scheme for which the Bass-Quillen conjecture holds (for example if the base is the spectrum of a noetherian ring regular over a Dedekind domain with perfect residue fields, see Theorem 5.2.1). This result generalizes a theorem of Morel (Theorem 8.1 in [\textit{F. Morel}, \(\mathbb A^1\)-algebraic topology over a field. Berlin: Springer (2012; Zbl 1263.14003)]) using a quite different method. The precise statement of the result is as follows: for any scheme \(X\) and any integer \(r\geq0\) denote by \(V_r(X)\) the isomorphism classes of vector bundles over \(X\). We say that the Bass-Quillen conjecture holds for a ring \(A\) if for any \(n\geq0\), the map \[ V_r(\text{Spec}\;A) \to V_r(\text{Spec}\;A[t_1,\cdots,t_n]) \] is a bijection. Suppose that \(S\) is a quasi-compact quasi-separated scheme such that for any scheme \(X\) smooth affine over \(S\), the Bass-Quillen conjecture holds for \(\mathcal{O}(X)\). Then any scheme \(X\) smooth affine over \(S\), there is a canonical bijection \[ V_r(X)\simeq[X,Gr_r]_{\mathbf{H}(S)} \] where the right hand side is the homomorphisms in the \(\mathbb{A}^1\)-homotopy category and \(Gr_r\) is the infinite Grassmannian. There are two crucial ingredients of the proof: the first is affine Nisnevich excision property introduced by Morel, which plays the role of the Mayer-Vietoris property for affine schemes; the second one is Theorem 4.2.3, which is originally due to \textit{M. Schlichting} [Adv. Math. 320, 1--81 (2017; Zbl 1387.19002)]. The authors then deduce Corollary 4.2.4, which says that the \(\mathbb{A}^1\) fibrant replacement functor \(\mathrm{Sing}^{\mathbb{A}^1}\) preserves the affine Nisnevich excision property for simplicial presheaves whose \(\pi_0\) presheaf is \(\mathbb{A}^1\)-invariant; the condition on \(\pi_0\) being guaranteed by the Bass-Quillen conjecture, the authors conclude using Theorem 3.3.4, which compares affine Nisnevich excision and Nisnevich topology using Voevodsky's theory of cd-structures.
- Affine representability results in \(\mathbb A^1\)-homotopy theory. II: Principal bundles and homogeneous spaces
- \(A^1\)-representability of hermitian \(K\)-theory and Witt groups
- Affine representability results in \(\mathbb A^1\)-homotopy theory. III: Finite fields and complements
- \(\mathbb A^1\)-algebraic topology over a field
- \(\mathbb{A}^1\)-homotopy theory of schemes
- Model topoi and motivic homotopy theory
- Affine Grassmannians in \(\mathbb{A}^1\)-homotopy theory
- Generically split octonion algebras and \(\mathbb{A}^1\)-homotopy theory
- The \(\operatorname{arc}\)-topology
- \(\mathbb{A}^1\)-homotopy theory and contractible varieties: a survey
- \(\mathbb{A}^1\)-invariance of non-stable \(K_1\)-functors in the equicharacteristic case
- The Chow \(t\)-structure on the \(\infty\)-category of motivic spectra
- The \(\text{K}\)-theory of perfectoid rings
- Affine representability of quadrics revisited
- Gabber's presentation lemma over Noetherian domains
- Cancellation theorem for motivic spaces with finite flat transfers
- Unstable operations on \(K\)-theory for singular schemes
- The Morel-Voevodsky localization theorem in spectral algebraic geometry
- Motivic spheres and the image of the Suslin-Hurewicz map
- On the K-theory of pullbacks
- Euler class groups and the homology of elementary and special linear groups
- A survey on Albert algebras
- On the number of generators of ideals in polynomial rings
- Cdh descent, cdarc descent, and Milnor excision
- \(\mathbb{A}^1\)-connected components of classifying spaces and purity for torsors
- Brown representability in \(\mathbb A^{1}\)-homotopy theory
- Excision in algebraic K-theory revisited
- Obstructions to algebraizing topological vector bundles
- Algebraic vs. topological vector bundles on spheres
- Comparing \(\mathbb{A}^1\)-\(h\)-cobordism and \(\mathbb{A}^1\)-weak equivalence
- Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic 𝐾-theory
- Localization and nilpotent spaces in \(\mathbb{A}^1\)-homotopy theory
- Affine representability results in \(\mathbb A^1\)-homotopy theory. III: Finite fields and complements
- Splitting vector bundles outside the stable range and 𝔸¹-homotopy sheaves of punctured affine spaces
- THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY
- A descent principle for compactly supported extensions of functors
- Cellular \(\mathbb{A}^1\)-homology and the motivic version of Matsumoto's theorem
- Vector bundles on algebraic varieties
- The \(\operatorname{cdh}\)-local motivic homotopy category
- Motivic stable cohomotopy and unimodular rows
- Continuous \(K\)-theory and cohomology of rigid spaces
- Making the motivic group structure on the endomorphisms of the projective line explicit
- Affine representability results in \(\mathbb A^1\)-homotopy theory. II: Principal bundles and homogeneous spaces
- Motivic cohomology of cyclic coverings
- On pro-cdh descent on derived schemes
- Algebraic vector bundles and \(p\)-local \(\mathbb{A}^1\)-homotopy theory
- Atiyah-Segal completion for the Hermitian \(\mathrm{K}\)-theory of symplectic groups
- On the Whitehead theorem for nilpotent motivic spaces
- Combing a hedgehog over a field
- Suslin's cancellation conjecture in the smooth case
- The Bass-Quillen conjecture for torsors over valuation rings
- On Tate Milnor-Witt motives
- Non-finite type étale sites over fields
- Comparison of exterior power operations on higher K-theory of schemes
- A pro-cdh topology on formal schemes
This page was built for publication: Affine representability results in \(\mathbb{A}^1\)-homotopy theory. I: Vector bundles.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2403441)
