Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAffine Grassmannians in A^1-algebraic topology
75
0
0.0
(
0
)
Authors
Tom Bachmann
Ask ChatGPT about the research
No Arabic abstract
Let k be a field. Denote by Spc(k)_* the unstable, pointed motivic homotopy category and by Omega_Gm: Spc(k)_* to Spc(k)_* the Gm-loops functor. For a k-group G, denote by Gr_G the affine Grassmannian of G. If G is isotropic reductive, we provide a canonical motivic equivalence Omega_Gm G = Gr_G. If k is perfect, we use this to compute the motive M(Omega_Gm G) in DM(k, Z).
rate research
Read More
We construct many``low rank algebraic vector bundles on ``simple smooth affine varieties of high dimension. In a related direction, we study the existence of polynomial representatives of elements in the classical (unstable) homotopy groups of spheres. Using techniques of A^1-homotopy theory, we are able to produce ``motivic lifts of elements in classical homotopy groups of spheres; these lifts provide interesting polynomial maps of spheres and algebraic vector bundles.
We prove that the $infty$-category of $mathrm{MGL}$-modules over any scheme is equivalent to the $infty$-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite $mathbb{P}^1$-loop spaces, we deduce that very effective $mathrm{MGL}$-modules over a perfect field are equivalent to grouplike motivic spaces with finite syntomic transfers. Along the way, we describe any motivic Thom spectrum built from virtual vector bundles of nonnegative rank in terms of the moduli stack of finite quasi-smooth derived schemes with the corresponding tangential structure. In particular, over a regular equicharacteristic base, we show that $Omega^infty_{mathbb{P}^1}mathrm{MGL}$ is the $mathbb{A}^1$-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for $n>0$, $Omega^infty_{mathbb{P}^1} Sigma^n_{mathbb{P}^1} mathrm{MGL}$ is the $mathbb{A}^1$-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension $-n$.
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendiecks six operations. Objects in this category represent generalized cohomology theories for stacks like algebraic K-theory, as well as new examples like genuine motivic cohomology and algebraic cobordism. These cohomology theories admit Gysin maps and satisfy homotopy invariance, localization, and Mayer-Vietoris. We also prove a fixed point localization formula for torus actions. Finally, the construction is contrasted with a limit-extended stable motivic homotopy category: we show for example that limit-extended motivic cohomology of quotient stacks is computed by the equivariant higher Chow groups of Edidin-Graham, and we also get a good new theory of Borel-equivariant algebraic cobordism.
We prove that existence of a k-rational point can be detected by the stable A^1-homotopy category of S^1-spectra, or even a rationalized variant of this category.
We obtain geometric models for the infinite loop spaces of the motivic spectra $mathrm{MGL}$, $mathrm{MSL}$, and $mathbf{1}$ over a field. They are motivically equivalent to $mathbb{Z}times mathrm{Hilb}_infty^mathrm{lci}(mathbb{A}^infty)^+$, $mathbb{Z}times mathrm{Hilb}_infty^mathrm{or}(mathbb{A}^infty)^+$, and $mathbb{Z}times mathrm{Hilb}_infty^mathrm{fr}(mathbb{A}^infty)^+$, respectively, where $mathrm{Hilb}_d^mathrm{lci}(mathbb{A}^n)$ (resp. $mathrm{Hilb}_d^mathrm{or}(mathbb{A}^n)$, $mathrm{Hilb}_d^mathrm{fr}(mathbb{A}^n)$) is the Hilbert scheme of lci points (resp. oriented points, framed points) of degree $d$ in $mathbb{A}^n$, and $+$ is Quillens plus construction. Moreover, we show that the plus construction is redundant in positive characteristic.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
