We will establish a nearby and vanishing cycle formalism for the arithmetic $\mathscr{D}$-module theory following Beilinson’s philosophy. As an application, we define smooth objects in the framework of arithmetic $\mathscr{D}$-modules whose category is equivalent to the category of overconvergent isocrystals.

We give a sufficient condition for the hypergeometric function $_{3}F_{2}$ to be a linear combination of the logarithm of algebraic functions.

For a certain class of hypergeometric functions $_{3}F_{2}$ with rational parameters, we give a sufficient condition for the special value at $1$ to be expressed in terms of logarithms of algebraic numbers. We give two proofs, both of which are algebro-geometric and related to higher regulators.

We discuss the kernel of the localization map from étale motivic cohomology of a variety over a number field to étale motivic cohomology of the base change to its completions. This generalizes the Hasse principle for the Brauer group, and is related to Tate–Shafarevich groups of abelian varieties.

In this paper, we construct Chern classes from the relative $K$-theory of modulus pairs to the relative motivic cohomology defined by Binda–Saito. An application to relative motivic cohomology of henselian dvr is given.

For a character of the absolute Galois group of a complete discrete valuation field, we define a lifting of the refined Swan conductor, using higher dimensional class field theory.

In order to work with non-Nagata rings which are Nagata “up-to-completely-decomposed-universal-homeomorphism,” specifically finite rank Hensel valuation rings, we introduce the notions of pseudo-integral closure, pseudo-normalization, and pseudo-Hensel valuation ring. We use this notion to give a shorter and more direct proof that $H_{\operatorname{cdh}}^{n}(X,F_{\operatorname{cdh}})=H_{l\operatorname{dh}}^{n}(X,F_{l\operatorname{dh}})$ for homotopy sheaves $F$ of modules over the $\mathbb{Z}_{(l)}$-linear motivic Eilenberg–Maclane spectrum. This comparison is an alternative to the first half of the author’s volume Astérisque 391 whose main theorem is a cdh-descent result for Voevodsky motives. The motivating new insight is really accepting that Voevodsky’s motivic cohomology (with $\mathbb{Z}[\frac{1}{p}]$-coefficients) is invariant not just for nilpotent thickenings, but for all universal homeomorphisms.

We use higher ideles and duality theorems to develop a universal approach to higher dimensional class field theory.

This paper examines Euler characteristics and characteristic classes in the motivic setting. We establish a motivic version of the Becker–Gottlieb transfer, generalizing a construction of Hoyois. Making calculations of the Euler characteristic of the scheme of maximal tori in a reductive group, we prove a generalized splitting principle for the reduction from $\operatorname{GL}_{n}$ or $\operatorname{SL}_{n}$ to the normalizer of a maximal torus (in characteristic zero). Ananyevskiy’s splitting principle reduces questions about characteristic classes of vector bundles in $\operatorname{SL}$-oriented, $\unicode[STIX]{x1D702}$-invertible theories to the case of rank two bundles. We refine the torus-normalizer splitting principle for $\operatorname{SL}_{2}$ to help compute the characteristic classes in Witt cohomology of symmetric powers of a rank two bundle, and then generalize this to develop a general calculus of characteristic classes with values in Witt cohomology.

In this paper, we construct surfaces in $\mathbf{P}^{3}$ with large higher Chow groups defined over a Laurent power series field. Explicit elements in higher Chow group are constructed using configurations of lines contained in the surfaces. To prove the independentness, we compute the extension class in the Galois cohomologies by comparing them with the classical monodromies. It is reduced to the computation of linear algebra using monodromy weight spectral sequences.