Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe 0-th stable A^1-homotopy sheaf and quadratic zero cycles
344
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We study the 0-th stable A^1-homotopy sheaf of a smooth proper variety over a field k assumed to be infinite, perfect and to have characteristic unequal to 2. We provide an explicit description of this sheaf in terms of the theory of (twisted) Chow-Witt groups as defined by Barge-Morel and developed by Fasel. We study the notion of rational point up to stable A^1-homotopy, defined in terms of the stable A^1-homotopy sheaf of groups mentioned above. We show that, for a smooth proper k-variety X, existence of a rational point up to stable A^1-homotopy is equivalent to existence of a 0-cycle of degree 1.
rate research
Read More
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 study generically split octonion algebras over schemes using techniques of ${mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over smooth affine schemes of small dimension. In particular, for smooth affine schemes over algebraically closed fields, we show that generically split octonion algebras may be classified by characteristic classes including the second Chern class and another mod $3$ invariant. We review Zorns vector matrix construction of octonion algebras, generalized to rings by various authors, and show that generically split octonion algebras are always obtained from this construction over smooth affine schemes of low dimension. Finally, generalizing P. Gilles analysis of octonion algebras with trivial norm form, we observe that generically split octonion algebras with trivial associated spinor bundle are automatically split in low dimensions.
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 a trace formula in stable motivic homotopy theory over a general base scheme, equating the trace of an endomorphism of a smooth proper scheme with the Euler characteristic integral of a certain cohomotopy class over its scheme of fixed points. When the base is a field and the fixed points are etale, we compute this integral in terms of Morels identification of the ring of endomorphisms of the motivic sphere spectrum with the Grothendieck-Witt ring. In particular, we show that the Euler characteristic of an etale algebra corresponds to the class of its trace form in the Grothendieck-Witt ring.
We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of motivic homotopy theory: the (unstable) purity and gluing theorems of Morel and Voevodsky and the (stable) ambidexterity theorem of Ayoub. Our proof of the latter is different than Ayoubs and is of interest even when G is trivial. Using these results, we construct a formalism of six operations for equivariant motivic spectra, and we deduce that any cohomology theory for G-schemes that is represented by an absolute motivic spectrum satisfies descent for the cdh topology.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
