Related papers: Rigid connections and $F$-isocrystals

Motivated by Simpson's conjecture on the motivicity of rigid irreducible connections, Esnault and Groechenig demonstrated that the mod-$p$ reductions of such connections on smooth projective varieties have nilpotent $p$-curvatures. In this…

To each complex composition algebra $\mathbb{A}$, there associates a projective symmetric manifold $X(\mathbb{A})$ of Picard number one, which is just a smooth hyperplane section of the following varieties ${\rm Lag}(3,6), {\rm Gr}(3,6),…

We generalise a theorem on the existence of Frobenius isocrystal and Fontaine-Laffaille module structures on rigid flat connections to the non-proper setting. The proof is based on a new strategy of a point-set topological flavour, which…

For any smooth proper rigid analytic space $X$ over a complete algebraically closed extension of $\mathbb Q_p$, we construct a $p$-adic Simpson correspondence: an equivalence of categories between vector bundles on Scholze's pro-\'etale…

We construct a functor from the category of p-adic etale local systems on a smooth rigid analytic variety X over a p-adic field to the category of vector bundles with an integrable connection over its "base change to B_dR", which can be…

In arXiv:2401.00636 we introduced the notion of a periodic pencil of flat connections on a smooth variety $X$. Namely, a pencil is a linear family of flat connections $\nabla(s_1,...,s_n)=d-\sum_{i=1}^r\sum_{j=1}^ns_jB_{ij}dx_i,$ where…

Let $X\to S$ be a smooth projective morphism. Katz proved the Grothendieck-Katz $p$-curvature conjecture for the Gauss-Manin connection on the $i$-th cohomology of $X/S$: if its $p$-curvature vanishes mod $p$ for infinitely many $p$, then…

We study several rigidity properties of $p$-adic local systems on a smooth rigid analytic space $X$ over a $p$-adic field. We prove that the monodromy of the log isocrystal attached to a $p$-adic local system is ''rigid'' along irreducible…

If $X$ is a projective, geometrically irreducible variety defined over a finite field $\F_q$, such that it is smooth and its Chow group of 0-cycles fulfills base change, i.e. $CH_0(X\times_{\F_q}\bar{\F_q(X)})=\Q$, then the second author's…

Let X be a smooth complex projective variety with basepoint x. We prove that every rigid integral irreducible representation $\pi_1(X,x)\to SL (3,{\mathbb C})$ is of geometric origin, i.e., it comes from some family of smooth projective…

Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…

In this paper, we study smooth proper rigid varieties which admit formal models whose special fibers are projective. The main theorem asserts that the identity components of the associated rigid Picard varieties will automatically be…

Let $G$ be a reductive group, and let $X$ be a smooth quasi-projective complex variety. We prove that any $G$-irreducible, $G$-cohomologically rigid local system on $X$ with finite order abelianization and quasi-unipotent local monodromies…

A locally metric connection on a smooth manifold $M$ is a torsion-free connection $D$ on $TM$ with compact restricted holonomy group $\mathrm{Hol}_0(D)$. If the holonomy representation of such a connection is irreducible, then $D$ preserves…

Denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, that is the union of components whose general point corresponds to a smooth irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\mathbb P^r$. A component…

In this paper, we settle a long-standing problem on the connectivity of spaces of finite unit norm tight frames (FUNTFs), essentially affirming a conjecture first appearing in [Dykema and Strawn, 2003]. Our central technique involves…

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

We investigate an analogue of the Grothendieck $p$-curvature conjecture, where the vanishing of the $p$-curvature is replaced by the stronger condition, that the module with connection mod $p$ underlies a $\mathcal{D}_X$-module structure.…

Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…

Let $p$ be a prime number and $\Bbbk=\bar{\mathbb{F}}_p$, the algebraic closure of the finite field $\mathbb{F}_p$ of $p$ elements. Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_p$ and ${\bf B}$ be a Borel subgroup…