Related papers: Op\'erations de Steenrod motiviques
Let $k$ be a field, let $R$ be a commutative ring, and assume the exponential characteristic of $k$ is invertible in $R$. In this note, we prove that isomorphisms in Voevodsky's triangulated category of motives $\mathcal{DM}(k;R)$ are…
In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…
The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit cocycles. The appropriate cohomology theory is based on considering sheaves on a certain site. An advantage of…
We introduce the notion of $\mathrm{R}$-Eulerian sequences for any $\mathcal{N}_\infty$-ring spectrum $\mathrm{R}$ of finite orientation order. We prove that each $\mathrm{R}$-Eulerian sequence determines a stable $\mathrm{R}$-cohomology…
We construct a ``logarithmic'' cohomology operation on Morava E-theory, which is a homomorphism defined on the multiplicative group of invertible elements in the ring E^0(K) of a space K. We obtain a formula for this map in terms of the…
We compute the h_1-localized cohomology of the motivic Steenrod algebra over C. This serves as the input to an Adams spectral sequence that computes the motivic stable homotopy groups of the eta-local motivic sphere. We compute some of the…
Let $k$ be a field of characteristic zero and let $(F,R)$ be a Landweber exact formal group law. We consider a Landweber exact $T$-spectrum $\mathcal{E}:=R\otimes_{\mathbb{L}}\text{MGL}$ and its effective cover $f_0\mathcal{E}\to…
We show that the rational cohomology of the genus zero stable map spaces to SL flag varieties is entirely tautological.
For each fs log scheme $(X,\mathcal M_X)$ over a field $k$ we construct a geometrical Voevodsky motive $[X]^{log}\in DM_{gm}(k,\mathbb Q)$. We prove that, for $k=\mathbb C$, the Betti realization of $[X]^{log}$ is the log Betti cohomology…
Let NG0 denote the category of all pointed numerically generated spaces and continuous maps preserving base-points. In [SYH], we described a passage from bivariant functors to generalized homology and cohomology theories. In this paper, we…
We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as…
We give a geometric proof of a theorem of Weyl on the continuous part of the spectrum of Sturm-Liouville operators on the half-line with asymptotically constant coefficients. Earlier proofs due to Weyl and Kodaira depend on special features…
The motivic zeta function of a smooth and proper $\mathbb{C}((t))$-variety $X$ with trivial canonical bundle is a rational function with coefficients in an appropriate Grothendieck ring of complex varieties, which measures how $X$…
The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…
In this note, we provide an axiomatic framework that characterizes the stable $\infty$-categories that are module categories over a motivic spectrum. This is done by invoking Lurie's $\infty$-categorical version of the Barr--Beck theorem.…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…
We verify a conjecture of Voevodsky, concerning the slices of co-operations in motivic $K$-theory.
For any $E_\infty$ ring spectrum $E$, we show that there is an algebra $\mathrm{Pow}(E)$ of stable power operations that acts naturally on the underlying spectrum of any $E$-algebra. Further, we show that there are maps of rings $E \to…
Let G be a split semisimple linear algebraic group over a field k0. Let E be a G-torsor over a field extension k of k0. Let h be an algebraic oriented cohomology theory in the sense of Levine-Morel. Consider a twisted form E/B of the…
Morel's stable connectivity theorems state that for any connective $S^1$-spectrum $F$ of motivic spaces (Nisnevich simplicial sheaves) over an arbitrary field, the spectrum $L_{\mathbb A^1}(F)$ is connective, and the same property for…