Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA 1-dimensional formal group over the prismatization of Spf Z_p
105
0
0.0
(
0
)
Authors
Vladimir Drinfeld
Ask ChatGPT about the research
No Arabic abstract
Let Sigma denote the prismatization of Spf (Z_p). The multiplicative group over Sigma maps to the prismatization of the multiplicative group over Spf (Z_p). We prove that the kernel of this map is the Cartier dual of some 1-dimensional formal group over Sigma. We obtain some results about this formal group (e.g., we describe its Lie algebra). We give a very explicit description of the pullback of the formal group to the quotient of the q-de Rham prism by the action of the multiplicative group of Z_p.
rate research
Read More
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 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.
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).
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.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
