Related papers: Making the motivic group structure on the endomorp…

We compute the set of naive pointed homotopy classes of endomorphisms of the projective line P^1 over the spectrum of a field. Our computation compares well with Fabien Morel's one of the motivic pointed homotopy classes of endomorphisms of…

To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and…

For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an…

Let $S$ be a normal base scheme. The aim of this paper is to study the line bundles on 1-motives defined over $S$. We first compute a d\'evissage of the Picard group of a 1-motive $M$ according to the weight filtration of $M$. This…

Let $M$ be a monoid and $G:\mathbf{Mon} \to \mathbf{Grp}$ be the group completion functor from monoids to groups. Given a collection $\mathcal{X}$ of submonoids of $M$ and for each $N\in \mathcal{X}$ a collection $\mathcal{Y}_N$ of…

Over a smooth and proper complex scheme, the differential Galois group of an integrable connection may be obtained as the closure of the transcendental monodromy representation. In this paper, we employ a completely algebraic variation of…

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…

We prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of…

In his thesis, Cazanave proved that the set of naive $\mathbb{A}^1$-homotopy classes of endomorphisms of the projective line admits a monoid structure whose group completion is genuine $\mathbb{A}^1$-homotopy classes of endomorphisms of the…

We give a universal construction of a derived affine group scheme and its representation category from a symmetric monoidal infinity-category, which we shall call the tannnakization of a symmetric monoidal infinity-category. This can be…

In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log…

We use categorification of monoid actions to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by To\"{e}n and Vaqui\'{e}, along…

Differential modules over a commutative differential ring R which are finitely generated projective as ring modules, with differential homomorphisms, form an additive category, so their isomorphism classes form a monoid. We study the…

We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in…

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two…

In this paper, we continue the program initiated by Kahn-Saito-Yamazaki by constructing and studying an unstable motivic homotopy category with modulus, extending the Morel-Voevodsky construction from smooth schemes over a field $k$ to…

We construct characteristic classes for singular algebraic varieties in motivic Borel-Moore homology, extending the motivic Euler class of the tangent bundle defined for smooth varieties. The two classes we define refine, in the setting of…

We show that the description of the holomorphic $\mathbb C \mathrm P^1$-bundle associated to a holomorphic projective structure on a Riemann surface in terms of the principal bundle of projective $2$-frames extends very well to the setting…

This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…

We study the action of the group of automorphisms of the projective plane on the Maruyama scheme of sheaves $\mathcal{M}_{P^{2}}(r,c_{1,}c_{2})$ of rank $r$ and Chern classes $c_{1}=0$ and $c_{2}=n$ and obtain sufficient conditions for…