Source author record

Atsushi Shiho

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT

Catalog footprint

Research overview

8works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Comparison of relatively unipotent log de Rham fundamental groups

In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely algebraic. As an application, we give a purely algebraic calculation of the monodromy action on the unipotent log de Rham fundamental group of a stable log curve. As a corollary we give a purely algebraic proof to the transcendental part of Andreatta-Iovita-Kim's article: obtaining in this way a complete algebraic criterion for good reduction for curves.

preprint2016arXiv

Convergent isocrystals on simply connected varieties

It is conjectured by de Jong that, if $X$ is a connected smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial étale fundamental group, any isocrystal on on $X/W$ is trivial. We prove this conjecture under two additional assumptions. Version 2: the main change is an addendum. We prove that if $X$ is a connected smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial étale fundamental group, any infinitesimal isocrystal on $X/W$ is trivial. To this aim we wrote some general facts on such infinitesimal isocrystals over W which are missing in the literature.

preprint2015arXiv

Chern classes of crystals

The crystalline Chern classes of the value of a locally free crystal vanish on a smooth variety defined over a perfect field. Out of this we conclude new cases of de Jong's conjecture relating the geometric étale fundamental group of a smooth projective variety defined over a perfect field and the triviality of its category of isocrystals. We also discuss the case of the Gauß-Manin convergent isocrystal.

preprint2014arXiv

A note on convergent isocrystals on simply connected varieties

It is conjectured by de Jong that, if $X$ is a connected projective smooth variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial etale fundamental group, any convergent isocrystal $\mathcal{E}$ on $X$ is trivial. We discuss this conjecture when $X$ is liftable to characteristic zero, and prove the triviality of $\mathcal{E}$ in this case under certain conditions on (semi)stability.

preprint2014arXiv

On $p$ -adic differential equations on semistable varieties II

This paper is a complement to the paper "On $p$ -adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully faithful algebraization functor from the category of certain log overconvergent isocrystals on the special fiber to the category of modules with regular integrable connection on the generic fiber. In this paper, we prove that, with convenable hypothesis, this functor is a tensor functor whose essential image is closed under extensions and subquotients. As a consequence, we can find suitable Tannakian subcategories of log overconvergent isocrystals and of modules with regular integrable connection on which the algebraization functor is an equivalence of Tannakian categories.

preprint2012arXiv

Notes on generalizations of local Ogus-Vologodsky correspondence

Given a smooth scheme over $\Z/p^n\Z$ with a lift of relative Frobenius to $\Z/p^{n+1}\Z$ , we construct a functor from the category of Higgs modules to that of modules with integrable connections as the composite of the level raising inverse image functors from the category of modules with integrable $p^{m}$ -connections to that of modules with integrable $p^{m-1}$ -connections for $1 \leq m \leq n$ . In the case $m=1$ , we prove that the level raising inverse image functor is an equivalence when restricted to quasi-nilpotent objects, which generalizes a local result of Ogus-Vologodsky. We also prove that the above level raising inverse image functor for a smooth $p$ -adic formal scheme induces an equivalence of $\Q$-linearized categories for general $m$ when restricted to nilpotent objects (in strong sense), under a strong condition on Frobenius lift. We also prove a similar result for the category of modules with integrable $p^{m}$ -Witt-connections.

preprint2012arXiv

Parabolic log convergent isocrystals

In this paper, we introduce the notion of parabolic log convergent isocrystals on smooth varieties endowed with a simple normal crossing divisor, which is a kind of $p$ -adic analogue of the notion of parabolic bundles on smooth varieties defined by Seshadri, Maruyama-Yokogawa, Iyer-Simpson, Borne. We prove that the equivalence between the category of $p$ -adic representations of the fundamental group and the category of unit-root convergent $F$ -isocrystals (proven by Crew) induces the equivalence between the category of $p$ -adic representations of the tame fundamental group and the category of unit-root semisimply adjusted parabolic log convergent $F$ -isocrystals. We also prove equivalences which relate categories of log convergent isocrystals on certain fine log algebraic stacks with some conditions and categories of adjusted parabolic log convergent isocrystals with some conditions. We also give an interpretation of unit-rootness in terms of the generic semistability with slope 0. Our result can be regarded as a $p$ -adic analogue of the results of Seshadri, Mehta-Seshadri, Iyer-Simpson and Borne.

preprint2010arXiv

Purity for overconvergence

Let $X \hookrightarrow \overline{X}$ be an open immersion of smooth varieties over a field of characteristic $p>0$ such that the complement is a simple normal crossing divisor and let $\overline{Z} \subseteq Z \subseteq \overline{X}$ be closed subschemes of codimension at least $2$ . In this paper, we prove that the canonical restriction functor between the category of overconvergent $F$ -isocrystals $F\text{-}{\rm Isoc}^{\dagger}(X,\overline{X}) \longrightarrow F\text{-}{\rm Isoc}^{\dagger}(X \setminus Z, \overline{X} \setminus \overline{Z})$ is an equivalence of categories. We also prove an application to the category of $p$ -adic representations of the fundamental group of $X$ , which is a higher-dimensional version of a result of Tsuzuki.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Atsushi Shiho

Research overview

Is this your work?

8 publications

Comparison of relatively unipotent log de Rham fundamental groups

Convergent isocrystals on simply connected varieties

Chern classes of crystals

A note on convergent isocrystals on simply connected varieties

On $p$ -adic differential equations on semistable varieties II

Notes on generalizations of local Ogus-Vologodsky correspondence

Parabolic log convergent isocrystals

Purity for overconvergence

See the researcher in context

Building this map preview

Atsushi Shiho

Research overview

Is this your work?

8 publications

Comparison of relatively unipotent log de Rham fundamental groups

Convergent isocrystals on simply connected varieties

Chern classes of crystals

A note on convergent isocrystals on simply connected varieties

On ppp-adic differential equations on semistable varieties II

Notes on generalizations of local Ogus-Vologodsky correspondence

Parabolic log convergent isocrystals

Purity for overconvergence

See the researcher in context

Building this map preview

On $p$ -adic differential equations on semistable varieties II