12 problems

Let $k$ be the base field, let $Y$ be a smooth $k$-variety, let $E$ be an overconvergent $F$-isocrystal on $Y$, and let $\operatorname{sp}_{Y+}(E)$ denote its specialization as an…

Let $k$ be a field, let $Y$ be a separated smooth $k$-scheme, let $E$ be an overconvergent $F$-isocrystal on $Y$, and let $\mathrm{sp}_{Y+}(E)$ denote its specialization. An arithm…

Let $Y_0$ be a $k$-scheme, let $X_0$ be a smooth ambient scheme when specified, and let $\rho_{Y_0,X_0}:\mathrm{Isoc}^{\dag}(Y_0/K)\to\mathrm{Isoc}^{\dag}(Y_0,X_0/K)$ and…

Let $\Psi$ be the nearby-cycle object with filtrations $F$ and $G$, let $\mathbb{D}$ denote duality, and let $b$ be the isomorphism relating the dual nearby cycles to…

Let $f:X\to X'$ be a morphism between the strictly semi-stable schemes in the paper, with induced morphism $f_\eta$ on generic fibres, and let $D_I\subset X$ and…

Let $X_\eta$ be the generic fibre of the strictly semi-stable scheme considered in the paper, let $\mathcal{E}^{\dagger}_K$ be the bounded Robba-ring coefficient field, and write…

Let $S$ be the base formal scheme, let $\eta$ denote its generic point, and let $\mathbb{D}_S$ and $\mathbb{D}_{\mathfrak{S}}$ be the corresponding arithmetic differential-operator…

Let $X$ be a smooth proper curve over $\mathbb{F}_p$, let $G\to X$ satisfy the stated hypotheses, and let $\mathcal{E}\in\mathbb{D}_{\mathrm{hol}}(X)$ be an augmented commutative…

Finite-dimensionality conjecture. Its cohomology

Let $X$ be a smooth proper curve over $\mathbb{F}_p$, let $G\to X$ satisfy the stated smoothness, affine, semisimplicity, simple-connectedness, and connected-fiber hypotheses, and…

Let arithmetic $\mathscr{D}$-modules be a theory equipped with Frobenius structure, and call an object holonomic in the sense of that theory. Berthelot's conjecture. Holonomic arit…

Let ${\mathcal X}$ be a smooth formal scheme, let $Z$ be a divisor of its special fibre, and write ${\mathcal U}$ for the complement of $Z$. Let ${\mathcal E}^\dagger$ be a coheren…