Related papers: Log-decay $F$-isocrystals on higher dimensional va…

We prove the semistable reduction theorem for $\mathcal{E}^{\dag}_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and P\'{a}l. As an application, we prove the finite…

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

Let k be a perfect field of characteristic p>0 and W 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 W. This proof allows us to deduce…

We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on…

We will discuss $\infty$-categorical perverse $p$-adic differential equations over stacks. On one hand, we are going to study some $p$-adic analogous results of the Drinfeld's original lemma about the \'etale fundamental groups in the…

Let V be a complete discrete valuation ring of unequal characteristic with perfect residue field. Let X be smooth separated formal V-scheme, Z a strict normal crossing divisor of X and T a divisor of the special fiber of X. We study in this…

For a proper map $f:X\to S$ between varieties over $\mathbb{C}$ with $X$ smooth, we introduce increasing filtrations $\textbf{P}^{\leq \cdot}_f\subset P^{\leq \cdot}_f$ on $\text{gr}^\cdot K_\cdot(X)$, the associated graded on $K$-theory…

The dimension of Kakeya sets can be bounded using sum-difference exponents $\SD(R;s)$ for various sets of rational slopes $R$ and output slope $s$; the arithmetic Kakeya conjecture, which implies the Kakeya conjecture in all dimensions,…

We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the…

In this paper, we investigate the general notion of the slope for families of curves $f: X \to Y$. The main result is an answer to the above question when $\dim Y = 2$, and we prove a lower bound for this new slope in this case over fields…

Graph convolutions have gained popularity due to their ability to efficiently operate on data with an irregular geometric structure. However, graph convolutions cause over-smoothing, which refers to representations becoming more similar…

It has been proven by Serre, Larsen-Pink and Chin, that over a smooth curve over a finite field, the monodromy groups of compatible semi-simple pure lisse sheaves have "the same" $\pi_0$ and neutral component. We generalize their results to…

Let $\mathcal{O}_{K}$ be a complete discrete valuation ring of mixed characteristic with perfect residue field, endowed with its canonical log-structure. We prove that log $p$-divisible groups over $\mathcal{O}_{K}$ correspond to…

We introduce an approach of Riemann--Roch theorem to the boundedness problem of minimal log discrepancies in fixed dimension. After reducing it to the case of a Gorenstein terminal singularity, firstly we prove that its minimal log…

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.

Using the Tannakian formalism, we formulate conjectural analogs of Chebotar\"ev's Density Theorem for $F$-isocrystals over a smooth geometrically irreducible variety defined over a finite field. We prove these analogs for several large…

In this paper, we study the singularities of a pair (X,Y) in arbitrary characteristic via jet schemes. For a smooth variety X in characteristic 0, Ein, Lazarsfeld and Mustata showed that there is a correspondence between irreducible closed…

Let X be a smooth variety over a perfect field of characteristic p>0. In this small note we define overconvergent F-de Rham-Witt connections as an analogue for F-crystals over proper schemes. We prove that the forgetful functor from the…

Oort-Zink proved that a $p$-divisible group over a normal base in characteristic $p$ with constant Newton polygon is isogenous to a $p$-divisible group admitting a slope filtration. In this paper, we generalize this result to log…