Related papers: Connectivity and Purity for logarithmic motives

We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…

We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth…

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 prove that the moduli spaces of twisted $\mathrm{SL}_n$ and $\mathrm{PGL}_n$-Higgs bundles on a smooth projective curve have the same (stringy) class in the Grothendieck ring of rational Chow motives. On the level of Hodge numbers this…

Grothendieck-Chow motives of quadric hypersurfaces have provided many insights into the theory of quadratic forms. Subsequently, the landscape of motives of more general projective homogeneous varieties has begun to emerge. In particular,…

Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this…

We explicitly describe the $\mathbb A^1$-chain homotopy classes of morphisms from a smooth henselian local scheme into a smooth projective surface, which is birationally ruled over a curve of genus $> 0$. We consequently determine the sheaf…

Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…

We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a…

We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct…

We give an overview of the theory of framed correspondences in motivic homotopy theory. Motivic spaces with framed transfers are the analogue in motivic homotopy theory of $E_{\infty}$-spaces in classical homotopy theory, and in particular…

Using the trivial fiber topology we describe motivic $\infty$-loop spaces and fibrant replacements in the motivic stable homotopy category $\mathbf{SH}_{\mathbb{A}^1,\mathrm{Nis}}(B)$ defined over one-dimensional base schemes $B$.

In a compactly generated triangulated category, we introduce a class of tilting objects satisfying certain purity condition. We call these the decent tilting objects and show that the tilting heart induced by any such object is equivalent…

We construct a comparison functor from the dual category of motivic homotopy category $\mathcal{SH}$ to the category of $\mathbb{A}^1$-invariant localizing motives $\operatorname{Mot}_{\operatorname{loc}}^{\mathbb{A}^1}$ in the sense of…

In a previous paper we constructed $\textit{higher}$ theta series for unitary groups over function fields, and conjectured their modularity properties. Here we prove the generic modularity of the $\ell$-adic realization of higher theta…

Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first…

We study maps from a smooth scheme to a motivic sphere in the Morel-Voevodsky ${\mathbb A}^1$-homotopy category, i.e., motivic cohomotopy sets. Following Borsuk, we show that, in the presence of suitable hypotheses on the dimension of the…

We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…

We consider proper, algebraic semismall maps f from a complex algebraic manifold X. We show that the topological Decomposition Theorem implies a "motivic" decomposition theorem for the rational algebraic cycles of X and, in the case X is…

Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational…