Related papers: Purity of reciprocity sheaves
This is the revised version of our previous preprint. In this paper, we establish a generic smoothness result for moduli space of semistable sheaves of arbitrary rank over surfaces provided that the second Chern class of the sheaves is…
We construct a surjective homomorphism from Somekawa's K-group associated to a finite collection of semi-abelian varieties over a perfect field to a corresponding Hom group in Voevodsky's triangulated category of effective motivic…
Higher theta series on moduli spaces of Hermitian shtukas were constructed by Feng--Yun--Zhang and conjectured to be modular, parallel to classical conjectures in the Kudla program. In this paper we prove the modularity of higher theta…
We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…
We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between…
This paper investigates the structure of generic motives and their implications for the motivic cohomology of fields. Originating in Voevodsky's theory of motives and related to Beilinson's vision of a motivic $t$-structure, generic motives…
We study Grothedieck groups of triangulated categories using weight structures, weight complexes, and the corresponding pure (co)homological functors. We prove some general statements on $K_0$ of weighted categories and apply it to…
A conjecture of Mumford predicts a complete set of relations between the generators of the cohomology ring of the moduli space of rank 2 semi-stable sheaves with fixed odd degree determinant on a smooth, projective curve of genus at least…
We study the multiplicities of pure motives modulo numerical equivalence, which are defined as scalars comparing the tannakian trace with the ring-theoretic trace. Our general set-up is that of a rigid semi-simple tensor category such that…
The quantum modularity conjecture, first introduced by Don Zagier, is a general statement about a relation between $\mathfrak{sl}_2$ quantum invariants of links and 3-manifolds at roots of unity related by a modular transformation. In this…
Following an insight of Kontsevich, we prove that the quotient of Voevodsky's category of geometric mixed motives DM by the endofunctor -Q(1)[2] embeds fully-faithfully into Kontsevich's category of noncommutative mixed motives KMM. We show…
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 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…
We provide a definition of Tanaka-Thomas's Vafa-Witten invariants for \'etale gerbes over smooth projective surfaces using the moduli spaces of $\mu_r$-gerbe twisted sheaves and Higgs sheaves. Twisted sheaves and their moduli are naturally…
The main result of this paper is the proof for elliptic modular threefolds of conjectures on the existence and structure of a filtration on the Chow groups of smooth projective varieties. In the form we prove them these conjectures were…
We consider categorical and geometric purity for sheaves of modules over a scheme satisfying some mild conditions, both for the category of all sheaves and for the category of quasicoherent sheaves. We investigate the relations between…
For noetherian schemes of finite dimension over a field of characteristic exponent $p$, we study the triangulated categories of $\mathbf{Z}[1/p]$-linear mixed motives obtained from cdh-sheaves with transfers. We prove that these have many…
The category of framed correspondences $Fr_*(k)$ was invented by Voevodsky in his notes in order to give another framework for SH(k) more amenable to explicit calculations. Based on that notes and on their JAMS paper Garkusha and the author…
The category of finite Milnor-Witt correspondences, introduced by Calm\`es and Fasel, provides a new type of correspondences closer to the motivic homotopy theoretic framework than Suslin-Voevodsky's correspondences. A fundamental result of…
We prove N.Takahashi's conjecture determining the contribution of each contact point in genus-$0$ maximal contact Gromov-Witten theory of $\mathbb{P}^2$ relative to a smooth cubic $E$. This is a new example of a question in Gromov-Witten…