BZPEERReading, trust and collaboration for researchResearcher profile
Teruhisa Koshikawa contributes to research discovery and scholarly infrastructure.
Trust snapshot
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We introduce a logarithmic variant of the notion of $δ$-rings, which we call $δ_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to construct the Breuil-Kisin cohomology in the semistable case.
We construct a relative version of the $A_{\rm inf}$-cohomology theory developed by Bhatt-Morrow-Scholze and relate it to the prismatic theory of Bhatt-Scholze. The construction relies on the fiber product of topoi. As an application we show that there is an étale comparison of the $q$-crystalline pushforward after inverting $μ\in A_{\rm inf}$.
As an application of our previous work on CM liftings of K3 surfaces and the Tate conjecture, we prove the Hodge standard conjecture for squares of K3 surfaces. We also deduce the Hodge standard conjecture for all the powers of certain K3 surfaces.
We prove the numerical Hodge standard conjecture for the square of a simple abelian variety of prime dimension, and also in some related cases.
We show that the mod $p$ cohomology of a simple Shimura variety treated in Harris-Taylor's book vanishes outside a certain nontrivial range after localizing at any non-Eisenstein ideal of the Hecke algebra. In cases of low dimensions, we show the vanishing outside the middle degree.
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.
We study heights of motives with integral coefficients over number fields introduced by Kato. It is a generalization of the Faltings height of an abelian variety and we establish generalizations of some properties of the Faltings height in our context as conjectured by Kato. This sheds some light on integral structures of motives.