We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite field. As an application, we deduce the equicharacteristic case of classical conjectures on $\ell$-independence for proper smooth varieties over complete discrete valuation fields. Moreover, we show that compatible systems have compatible ramification. We also prove an analogue for integrality along the boundary.

Let $M$ and $N$ be two compact complex manifolds. We show that if the tautological line bundle ${\mathcal{O}}_{T_{M}^{\ast }}(1)$ is not pseudo-effective and ${\mathcal{O}}_{T_{N}^{\ast }}(1)$ is nef, then there is no non-constant holomorphic map from $M$ to $N$. In particular, we prove that any holomorphic map from a compact complex manifold $M$ with RC-positive tangent bundle to a compact complex manifold $N$ with nef cotangent bundle must be a constant map. As an application, we obtain that there is no non-constant holomorphic map from a compact Hermitian manifold with positive holomorphic sectional curvature to a Hermitian manifold with non-positive holomorphic bisectional curvature.

Let $k$ be a perfect field of characteristic $p>0$ and let $\operatorname{W}$ be the ring of Witt vectors of $k$. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over $k$ relative to $\operatorname{W}$. This proof allows us to deduce an analogue of the de Rham complexes comparison theorem of Berthelot [$\mathscr{D}$-modules arithmétiques. II. Descente par Frobenius, Mém. Soc. Math. Fr. (N.S.) 81 (2000)] without assuming a lifting of the Frobenius morphism. As an application, we prove a version of Berthelot’s conjecture on the preservation of convergent isocrystals under the higher direct image by a smooth proper morphism of $k$-varieties.

We extend results on asymptotic invariants of line bundles on complex projective varieties to projective varieties over arbitrary fields. To do so over imperfect fields, we prove a scheme-theoretic version of the gamma construction of Hochster and Huneke to reduce to the setting where the ground field is $F$-finite. Our main result uses the gamma construction to extend the ampleness criterion of de Fernex, Küronya, and Lazarsfeld using asymptotic cohomological functions to projective varieties over arbitrary fields, which was previously known only for complex projective varieties. We also extend Nakayama’s description of the restricted base locus to klt or strongly $F$-regular varieties over arbitrary fields.

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, pseudo-normalization, and pseudo-Hensel valuation ring. We use this notion to give a shorter and more direct proof that $H_{\operatorname{cdh}}^{n}(X,F_{\operatorname{cdh}})=H_{l\operatorname{dh}}^{n}(X,F_{l\operatorname{dh}})$ for homotopy sheaves $F$ of modules over the $\mathbb{Z}_{(l)}$-linear motivic Eilenberg–Maclane spectrum. This comparison is an alternative to the first half of the author’s volume Astérisque 391 whose main theorem is a cdh-descent result for Voevodsky motives. The motivating new insight is really accepting that Voevodsky’s motivic cohomology (with $\mathbb{Z}[\frac{1}{p}]$-coefficients) is invariant not just for nilpotent thickenings, but for all universal homeomorphisms.

For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable ${\mathcal{O}}_{K}$-model ${\mathcal{X}}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same ${\mathcal{O}}_{K}$-lattice inside $H_{\text{dR}}^{i}(X/K)$ and, moreover, that this lattice is functorial in $X$. For this, we extend the results of Bhatt–Morrow–Scholze on the construction and the analysis of an $A_{\text{inf}}$-valued cohomology theory of $p$-adic formal, proper, smooth ${\mathcal{O}}_{\overline{K}}$-schemes $\mathfrak{X}$ to the semistable case. The relation of the $A_{\text{inf}}$-cohomology to the $p$-adic étale and the logarithmic crystalline cohomologies allows us to reprove the semistable conjecture of Fontaine–Jannsen.

We study Tate motives with integral coefficients through the lens of tensor triangular geometry. For some base fields, including $\overline{\mathbb{Q}}$ and $\overline{\mathbb{F}_{p}}$, we arrive at a complete description of the tensor triangular spectrum and a classification of the thick tensor ideals.

Over the past forty years many papers have studied logarithmic sheaves associated to reduced divisors, in particular logarithmic bundles associated to plane curves. An interesting family of these curves are the so-called free ones for which the associated logarithmic sheaf is the direct sum of two line bundles. Terao conjectured thirty years ago that when a curve is a finite set of distinct lines (i.e. a line arrangement) its freeness depends solely on its combinatorics, but this has only been proved for sets of up to 12 lines. In looking for a counter-example to Terao’s conjecture, the nearly free curves introduced by Dimca and Sticlaru arise naturally. We prove here that the logarithmic bundle associated to a nearly free curve possesses a minimal non-zero section that vanishes on one single point, P say, called the jumping point, and that this characterises the bundle. We then give a precise description of the behaviour of P. Based on detailed examples we then show that the position of P relative to its corresponding nearly free arrangement of lines may or may not be a combinatorial invariant, depending on the chosen combinatorics.

We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson’s philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose category is equivalent to the category of overconvergent isocrystals.

The notion of Hochschild cochains induces an assignment from $\mathsf{Aff}$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under appropriate finiteness conditions, to a functor $\mathbb{H}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$, where the latter denotes the category of monoidal DG categories and bimodules. Any functor $\mathbb{A}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$ gives rise, by taking modules, to a theory of sheaves of categories $\mathsf{ShvCat}^{\mathbb{A}}$. In this paper, we study $\mathsf{ShvCat}^{\mathbb{H}}$. Loosely speaking, this theory categorifies the theory of $\mathfrak{D}$-modules, in the same way as Gaitsgory’s original $\mathsf{ShvCat}$ categorifies the theory of quasi-coherent sheaves. We develop the functoriality of $\mathsf{ShvCat}^{\mathbb{H}}$, its descent properties and the notion of $\mathbb{H}$-affineness. We then prove the $\mathbb{H}$-affineness of algebraic stacks: for ${\mathcal{Y}}$ a stack satisfying some mild conditions, the $\infty$-category $\mathsf{ShvCat}^{\mathbb{H}}({\mathcal{Y}})$ is equivalent to the $\infty$-category of modules for $\mathbb{H}({\mathcal{Y}})$, the monoidal DG category of higher differential operators. The main consequence, for ${\mathcal{Y}}$ quasi-smooth, is the following: if ${\mathcal{C}}$ is a DG category acted on by $\mathbb{H}({\mathcal{Y}})$, then ${\mathcal{C}}$ admits a theory of singular support in $\operatorname{Sing}({\mathcal{Y}})$, where $\operatorname{Sing}({\mathcal{Y}})$ is the space of singularities of ${\mathcal{Y}}$. As an application to the geometric Langlands programme, we indicate how derived Satake yields an action of $\mathbb{H}(\operatorname{LS}_{{\check{G}}})$ on $\mathfrak{D}(\operatorname{Bun}_{G})$, thereby equipping objects of $\mathfrak{D}(\operatorname{Bun}_{G})$ with singular support in $\operatorname{Sing}(\operatorname{LS}_{{\check{G}}})$.

Using a recent computation of the rational minus part of $SH(k)$ by Ananyevskiy, Levine and Panin, a theorem of Cisinski and Déglise and a version of the Röndigs and Østvær theorem, rational stable motivic homotopy theory over an infinite perfect field of characteristic different from 2 is recovered in this paper from finite Milnor–Witt correspondences in the sense of Calmès and Fasel.

Let ${\mathcal{V}}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $u:{\mathcal{Z}}{\hookrightarrow}\mathfrak{X}$ be a closed immersion of smooth, quasi-compact, separated formal schemes over ${\mathcal{V}}$, $T$ be a divisor of $X$ such that $U:=T\cap Z$ is a divisor of $Z$, and $\mathfrak{D}$ a strict normal crossing divisor of $\mathfrak{X}$ such that $u^{-1}(\mathfrak{D})$ is a strict normal crossing divisor of ${\mathcal{Z}}$. We pose $\mathfrak{X}^{\sharp }:=(\mathfrak{X},\mathfrak{D})$, ${\mathcal{Z}}^{\sharp }:=({\mathcal{Z}},u^{-1}\mathfrak{D})$ and $u^{\sharp }:{\mathcal{Z}}^{\sharp }{\hookrightarrow}\mathfrak{X}^{\sharp }$ the exact closed immersion of smooth logarithmic formal schemes over ${\mathcal{V}}$. In Berthelot’s theory of arithmetic ${\mathcal{D}}$-modules, we work with the inductive system of sheaves of rings $\widehat{{\mathcal{D}}}_{\mathfrak{X}^{\sharp }}^{(\bullet )}(T):=(\widehat{{\mathcal{D}}}_{\mathfrak{X}^{\sharp }}^{(m)}(T))_{m\in \mathbb{N}}$, where $\widehat{{\mathcal{D}}}_{\mathfrak{X}^{\sharp }}^{(m)}$ is the $p$-adic completion of the ring of differential operators of level $m$ over $\mathfrak{X}^{\sharp }$ and where $T$ means that we add overconvergent singularities along the divisor $T$. Moreover, Berthelot introduced the sheaf ${\mathcal{D}}_{\mathfrak{X}^{\sharp }}^{\dagger }(\text{}^{\dagger }T)_{\mathbb{Q}}:=\underset{\underset{m}{\longrightarrow }}{\lim }\,\widehat{{\mathcal{D}}}_{\mathfrak{X}^{\sharp }}^{(m)}(T)\otimes _{\mathbb{Z}}\mathbb{Q}$ of differential operators over $\mathfrak{X}^{\sharp }$ of finite level with overconvergent singularities along $T$. Let ${\mathcal{E}}^{(\bullet )}\in \underset{\displaystyle \longrightarrow }{LD}\text{}_{\mathbb{Q},\text{coh}}^{\text{b}}(\widehat{{\mathcal{D}}}_{\mathfrak{X}^{\sharp }}^{(\bullet )}(T))$ and ${\mathcal{E}}:=\varinjlim ~({\mathcal{E}}^{(\bullet )})$ be the corresponding object of $D_{\text{coh}}^{\text{b}}({\mathcal{D}}_{\mathfrak{X}^{\sharp }}^{\dagger }(\text{}^{\dagger }T)_{\mathbb{Q}})$. In this paper, we study sufficient conditions on ${\mathcal{E}}$ so that if $u^{\sharp !}({\mathcal{E}})\in D_{\text{coh}}^{\text{b}}({\mathcal{D}}_{{\mathcal{Z}}^{\sharp }}^{\dagger }(\text{}^{\dagger }U)_{\mathbb{Q}})$ then $u^{\sharp (\bullet )!}({\mathcal{E}}^{(\bullet )})\in \underset{\displaystyle \longrightarrow }{LD}\text{}_{\mathbb{Q},\text{coh}}^{\text{b}}(\widehat{{\mathcal{D}}}_{{\mathcal{Z}}^{\sharp }}^{(\bullet )}(U))$. For instance, we check that this is the case when ${\mathcal{E}}$ is a coherent ${\mathcal{D}}_{\mathfrak{X}^{\sharp }}^{\dagger }(\text{}^{\dagger }T)_{\mathbb{Q}}$-module such that the cohomological spaces of $u^{\sharp !}({\mathcal{E}})$ are isocrystals on ${\mathcal{Z}}^{\sharp }$ overconvergent along $U$.

For a character of the absolute Galois group of a complete discrete valuation field, we define a lifting of the refined Swan conductor, using higher dimensional class field theory.

We study the singularity at the origin of $\mathbb{C}^{n+1}$ of an arbitrary homogeneous polynomial in $n+1$ variables with complex coefficients, by investigating the monodromy characteristic polynomials $\unicode[STIX]{x1D6E5}_{l}(t)$ as well as the relation between the monodromy zeta function and the Hodge spectrum of the singularity. In the case $n=2$, we give a description of $\unicode[STIX]{x1D6E5}_{C}(t)=\unicode[STIX]{x1D6E5}_{1}(t)$ in terms of the multiplier ideal.

We determine the irregular Hodge filtration, as introduced by Sabbah, for the purely irregular hypergeometric ${\mathcal{D}}$-modules. We obtain, in particular, a formula for the irregular Hodge numbers of these systems. We use the reduction of hypergeometric systems from GKZ-systems as well as comparison results to Gauss–Manin systems of Laurent polynomials via Fourier–Laplace and Radon transformations.

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of proper smooth families of curves over Abelian varieties. More generally, we prove the isotriviality over projective smooth varieties on which any convergent $F$-isocrystal has constant Newton polygons.

We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient triangulated category. We also observe that the category generated by the structure sheaf of a smooth projective variety over the complex numbers only depends on its graded cohomology algebra.

In this paper we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for $k$ a perfect field of characteristic $p$, a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k\unicode[STIX]{x27E6}t\unicode[STIX]{x27E7}$ lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter-example to show that the variational Tate conjecture for divisors cannot hold with $\mathbb{Q}_{p}$-coefficients.

Derived equivalences of twisted K3 surfaces induce twisted Hodge isometries between them; that is, isomorphisms of their cohomologies which respect certain natural lattice structures and Hodge structures. We prove a criterion for when a given Hodge isometry arises in this way. In particular, we describe the image of the representation which associates to any autoequivalence of a twisted K3 surface its realization in cohomology: this image is a subgroup of index $1$ or $2$ in the group of all Hodge isometries of the twisted K3 surface. We show that both indices can occur.

This paper examines Euler characteristics and characteristic classes in the motivic setting. We establish a motivic version of the Becker–Gottlieb transfer, generalizing a construction of Hoyois. Making calculations of the Euler characteristic of the scheme of maximal tori in a reductive group, we prove a generalized splitting principle for the reduction from $\operatorname{GL}_{n}$ or $\operatorname{SL}_{n}$ to the normalizer of a maximal torus (in characteristic zero). Ananyevskiy’s splitting principle reduces questions about characteristic classes of vector bundles in $\operatorname{SL}$-oriented, $\unicode[STIX]{x1D702}$-invertible theories to the case of rank two bundles. We refine the torus-normalizer splitting principle for $\operatorname{SL}_{2}$ to help compute the characteristic classes in Witt cohomology of symmetric powers of a rank two bundle, and then generalize this to develop a general calculus of characteristic classes with values in Witt cohomology.