اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe etale symmetric Kunneth theorem
52
0
0.0
(
0
)
تأليف
Marc Hoyois
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Let $k$ be an algebraically closed field, $l eqoperatorname{char} k$ a prime number, and $X$ a quasi-projective scheme over $k$. We show that the etale homotopy type of the $d$th symmetric power of $X$ is $mathbb Z/l$-homologically equivalent to the $d$th strict symmetric power of the etale homotopy type of $X$. We deduce that the $mathbb Z/l$-local etale homotopy type of a motivic Eilenberg-Mac Lane space is an ordinary Eilenberg-Mac Lane space.
قيم البحث
اقرأ أيضاً
Let $p$ be a prime. We calculate the connective unitary K-theory of the smash product of two copies of the classifying space for the cyclic group of order $p$, using a K{u}nneth formula short exact sequence. As a corollary, using the Bott exact seque
nce and the mod $2$ Hurewicz homomorphism we calculate the connective orthogonal K-theory of the smash product of two copies of the classifying space for the cyclic group of order two.
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.
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 hom
otopy 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.
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 point
s. 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.
In this short paper we outline (mostly without proofs) our new approach to the derived category of sheaves of commutative DG rings. The proofs will appear in a subsequent paper. Among other things, we explain how to form the derived intersection of
two closed subschemes inside a given algebraic scheme X, without recourse to simplicial or higher homotopical methods, and without any global assumptions on X.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
