Related papers: Modules homotopiques (Homotopy modules)
By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…
In this paper we show that both variants of the Hopf cyclic homology has excision under some natural homological conditions on the objects and the coefficient module.
Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of…
We introduce the notion of modular $q$-holonomic modules whose fundamental matrices define a cocycle with improved analyticity properties and show that the generalised $q$-hypergeometric equation, as well as three key $q$-holonomic modules…
We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…
We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
Using cohomological methods, we prove a criterion for the embedding of a group extension with abelian kernel into the split extension of a co-induced module. This generalises some earlier similar results. We also prove an assertion about…
We associate canonically a cyclic module to any Hopf algebra endowed with a modular pair, consisting of a group-like element and a character, in involution. This provides the key construct allowing to extend cyclic cohomology to Hopf…
These notes, written version of a Bourbaki talk, survey Morel-Voevodsky's motivic homotopy theory over a field, with a focus on computations of motivic homotopy sheaves, both stable and unstable. We also describe Isaksen-Wang-Xu's…
We develop the technique of compactified correspondences and homotopies over one-dimensional base schemes, and illuminate the perfectness and the inverting of characteristic assumptions from the celebrating Voevodsky's strict homotopy…
In this paper, we introduce a symmetric continuous cohomology of topological groups. This is obtained by topologizing a recent construction due to Staic (J. Algebra 322 (2009), 1360-1378), where a symmetric cohomology of abstract groups is…
In Voevodsky's theory of motives, the Nisnevich topology on smooth schemes is used as an important building block. In this paper, we introduce a Grothendieck topology on proper modulus pairs, which will be used to construct a non-homotopy…
In this paper, we introduce and study the notion of linkage of modules by reflexive homomorphisms. This notion unifies and generalizes several known concepts of linkage of modules and enables us to study the theory of linkage of modules…
We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be…
The motivic homotopy categories can be defined with respect to different topologies and different underlying categories of schemes. For a number of reasons (mainly because of the Gluing Theorem) the motivic homotopy category built out of…
The moduli space of twisted stable maps into the stack $B(\Z/m\Z)^2$ carries a natural $S_n$-action and so its cohomology may be decomposed into irreducible $S_n$-representations. Working over $\Spec \Z[1/m]$ we show that the alternating…
We prove a topological invariance statement for the Morel-Voevodsky motivic homotopy category, up to inverting exponential characteristics of residue fields. This implies in particular that SH[1/p] of characteristic p>0 schemes is invariant…
Cyclic cohomology has been recently adapted to the treatment of Hopf symmetry in noncommutative geometry. The resulting theory of characteristic classes for Hopf algebras and their actions on algebras allows to expand the range of…
We will determine the motivic cohomology $H^{*,*}(BSO_n , Z/2)$ with coefficients in $Z/ 2$ of the classifying space of special orthogonal groups $SO_n$ over the complex numbers $C$.