Related papers: Reciprocity sheaves and logarithmic motives
We study the motive of the moduli space of semistable Higgs bundles of coprime rank and degree on a smooth projective curve C over a field k under the assumption that C has a rational point. We show this motive is contained in the thick…
In this paper, we prove a form of purity property for the $(\mathbb{P}^1, \infty)$-invariant replacement $h_0^{\overline{\square}}(\mathfrak{X})$ of the Yoneda object $\mathbb{Z}_{\rm tr} (\mathfrak{X})$ for a modulus pair…
We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to \'etale cohomology…
Hilbert scheme topological invariants of plane curve singularities are identified to framed threefold stable pair invariants. As a result, the conjecture of Oblomkov and Shende on HOMFLY polynomials of links of plane curve singularities is…
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 prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of…
We construct a motivic Eilenberg-MacLane spectrum with a highly structured multiplication over smooth schemes over Dedekind domains which represents Levine's motivic cohomology. The latter is defined via Bloch's cycle complexes. Our method…
We show that the set of augmentations of the Chekanov-Eliashberg algebra of a Legendrian link underlies the structure of a unital A-infinity category. This differs from the non-unital category constructed in [BC], but is related to it in…
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,…
The cohomology theory of Lie triple systems in the sense of Yamaguti is studied by means of cohomology of Leibniz algebras in the sense of Loday. The notion of Nijenhuis operators for Lie triple system is introduced to describe trivial…
In order to work with non-Nagata rings which are Nagata "up-to-completely-decomposed-universal-homeomorphism", specifically finite rank hensel valuation rings, we introduce the notions of pseudo-integral closure and pseudo-normalisation. We…
For $E$ a presheaf of spectra on the category of smooth $k$-schemes satisfying Nisnevich excision, we prove that the canonical map from the algebraic singular complex of the theory $E$ with quasi-finite supports to the theory $E$ with…
The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on…
In this paper we investigate the relationship between twisted and untwisted character varieties via a specific instance of the Cohomological Hall algebra for moduli of objects in 3-Calabi-Yau categories introduced by Kontsevich and…
This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to…
We establish a cluster theoretical interpretation of the isomorphisms of [F.-H.-O.-O., J. Reine Angew. Math., 2022] among quantum Grothendieck rings of representations of quantum loop algebras. Consequently, we obtain a quantization of the…
This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the…
We study orientation data, as introduced by Kontsevich and Soibelman in order to define well-behaved integration maps from the motivic Hall algebra of 3-dimensional Calabi-Yau categories to rings of motives. We start with an example that…
Motivic homotopy theory is meant to play the role of algebraic topology, in particular homotopy theory, in the context of algebraic geometry. As proved by Oliver Rondigs and Paul Arne Ostvaer, this theory is closely connected to Voevodsky's…
We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…