
The purpose of this paper is to extend Voevodsky's fundamental results on
homotopy invariant (pre)sheaves with transfers to its generalization,
reciprocity (pre)sheaves introduced by KahnSaitoYamazaki. The main results of
this paper play a crucial role in deducing the main properties of the
triangulated category of motives with modulus constructed by
KahnSaitoYamazaki, which is a new triangulated category enlarging Voevodsky's
triangulated category of motives to encompass non homotopy invariant motivic
phenomena. This paper improves its previous version by removing an assumption
on resolution of singularities from Theorems 0.6, 0.7 and 0.8 and weakening it
in Theorem 0.4.

We exhibit an intimate relationship between "motives with modulus" from
arXiv:1511.07124 [math.AG] and "reciprocity sheaves" from arXiv:1402.4201
[math.AG]. Assuming resolution of singularities, we prove that the triangulated
category of effective motivic complexes $\mathbf{MDM}^{\mathrm{eff}}$ admits a
$t$structure whose heart is equivalent to the category of reciprocity
Nisnevich sheaves. We also give an isomorphism between some Hom groups in
$\mathbf{MDM}^{\mathrm{eff}}$ and the hypercohomology of some Suslin complexes
with modulus. As an application, we prove some MayerVietoris sequences for
Suslin homology with modulus.

We construct and study a triangulated category of motives with modulus
$\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends
Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way
as to encompass nonhomotopy invariant phenomena. In a similar way as
$\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth
$k$varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out
of \emph{proper modulus pairs}, that is, pairs of a proper $k$variety $X$ and
an effective divisor $D$ on $X$ such that $X \setminus D$ is smooth. To a
modulus pair $(X, D)$ we associate its motive $M(X, D) \in
\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the Hom group in
$\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ between the motives of two modulus
pairs can be described in terms of Bloch's higher Chow groups.

We suggest an analog of the BassQuillen conjecture for smooth affinoid
algebras over a complete nonarchimedean field. We prove this in the rank1
case, i.e. for the Picard group. For complete discretely valued fields and
regular affinoid algebras that admit a regular model (automatic if the residue
characteristic is zero) we prove a similar statement for the Grothendieck group
of vector bundles.

We introduce a variant of homotopy Ktheory for Tate rings, which we call
analytic Ktheory. It is homotopy invariant with respect to the analytic affine
line viewed as an indobject of closed disks of increasing radii. Under a
certain regularity assumption we prove an analytic analog of the Bass
fundamental theorem and we compare analytic Ktheory with continuous Ktheory,
which is defined in terms models. Along the way we also prove some results
about the algebraic Ktheory of Tate rings.

In order to study $p$adic \'etale cohomology of an open subvariety $U$ of a
smooth proper variety $X$ over a perfect field of characteristic $p>0$, we
introduce new $p$primary torsion sheaves. It is a modification of the
logarithmic de RhamWitt sheaves of $X$ depending on effective divisors $D$
supported in $XU$. Then we establish a perfect duality between cohomology
groups of the logarithmic de RhamWitt cohomology of $U$ and an inverse limit
of those of the mentioned modified sheaves. Over a finite field, the duality
can be used to study wild ramification class field theory for the open
subvariety $U$.

Let X be a separated scheme of finite type over a field k and D a nonreduced
effective Cartier divisor on it. We attach to the pair (X, D) a cycle complex
with modulus, whose homotopy groups  called higher Chow groups with modulus 
generalize additive higher Chow groups of BlochEsnault, R\"ulling, Park and
KrishnaLevine, and that sheafified on $X_{Zar}$ gives a candidate definition
for a relative motivic complex of the pair, that we compute in weight 1.
When X is smooth over k and D is such that $D_{red}$ is a normal crossing
divisor, we construct a fundamental class in the cohomology of relative
differentials for a cycle satisfying the modulus condition, refining ElZein's
explicit construction. This is used to define a natural regulator map from the
relative motivic complex of (X,D) to the relative de Rham complex. When X is
defined over $\mathbb{C}$, the same method leads to the construction of a
regulator map to a relative version of Deligne cohomology, generalizing Bloch's
regulator from higher Chow groups.
Finally, when X is moreover connected and proper over $\mathbb{C}$, we use
relative Deligne cohomology to define relative intermediate Jacobians with
modulus $J^r_{XD}$ of the pair (X,D). For r= dim X, we show that $J^r_{XD}$
is the universal regular quotient of the Chow group of 0cycles with modulus.

Let X be a smooth variety over a field k and D an effective divisor whose
support has simple normal crossings. We construct an explicit cycle map from
the rth Nisnevich motivic complex of the pair (X,D) to a shift of the rth
relative Milnor Ksheaf of (X,D). We show that this map induces an isomorphism
for all i greater or equal the dimension of X between the motivic Nisnevich
cohomology of (X,D) in bidegree (i+r,r) and the ith Nisnevich cohomology of
the rth relative Minor Ksheaf of (X,D). This generalizes the wellknown
isomorphism in the case D=0. We use this to prove a certain Zariski descent
property for the motivic cohomology of the pair (\A^1_k, (m+1){0}).

We start developing a notion of reciprocity sheaves, generalizing Voevodsky's
homotopy invariant presheaves with transfers which were used in the
construction of his triangulated categories of motives. We hope reciprocity
sheaves will eventually lead to the definition of a larger triangulated
category of motivic nature, encompassing non homotopy invariant phenomena.

One of the main results of this paper is a proof of the rank one case of an
existence conjecture on lisse ladic sheaves on a smooth variety over a finite
field due to Deligne and Drinfeld. The problem is translated into the language
of higher dimensional class field theory over finite fields, which describes
the abelian fundamental group by Chow groups of zero cycles with moduli. A key
ingredient is the construction of a cycle theoretic avatar of refined Artin
conductor in ramification theory originally studied by Kazuya Kato.

In the first half of this article we define a new weight homology functor on
Voevodsky's category of effective motives, and investigate some of its
properties. In special cases we recover GilletSoul\'e's weight homology, and
Geisser's KatoSuslin homology. In the second half, we consider the notions of
"co\'etale" and "reduced" motives, and use the notions to a prove a theorem
comparing motivic homology to \'etale motivic homology. Due to the first
author's Ph.D. thesis arXiv:1305.5349 we do not have to restrict to smooth
schemes.

In this paper, we study the BrauerManin pairing of smooth proper varieties
over local fields, and determine the $p$adic part of the kernel of one side.
We also compute the $A_0$ of a potentially rational surface which splits over a
wildly ramified extension.

We prove a Lefschetz hypersurface theorem for abelian fundamental groups
allowing wild ramification along some divisor. In fact, we show that
isomorphism holds if the degree of the hypersurface is large relative to the
ramification along the divisor.

In this paper we study weight homology of singular schemes. Weight homology
is an invariant of a singular scheme defined in terms of hypercoverings of
resolution of singularities. Our main result is McKay principle for weight
homology of quotient singularities, i.e. we describe weight homology of a
quotient scheme in terms of weight homology of an equivariant scheme. Our
method is to reduce the geometric McKay principle for weight homology to Kato's
cohomological Hasse principle for arithmetic schemes. The McKay principle for
weight homology implies McKay principle for the homotopy type of the dual
complex of the exceptional divisors of a resolution of a quotient singularity.
As a consequence we show that the dual complex is contractible for isolated
quotient singularities.

We prove the existence of resolution of singularities for arbitrary (not
necessarily reduced or irreducible) excellent twodimensional schemes, via
permissible blowups. The resolution is canonical, and functorial with respect
to automorphisms or etale or Zariski localizations. We treat the embedded case
as well as the nonembedded case, with or without a boundary, and we relate the
diferent versions. In the nonembedded case, a boundary is a collection of
locally principal closed subschemes. Our main tools are the stratifications by
HilbertSamuel functions and the characteristic polyhedra introduced by H.
Hironaka. In an appendix we show that the standard method used in
characteristic zero  the theory of maximal contact  does not work for
surfaces in positive characteristic (the counterexamples are hypersurfaces in
affine threespace and work over any field of positive characteristic).
In this new version, we treat the case of locally noetherian but not
necessarily noetherian schemes in an appropriate way. Here one does not have a
finite resolution sequence, but still a canonical resolution morphism by
glueing. The same techniques allow to treat algebraic spaces and stacks.

In this note we relate three topics for arithmetic schemes: a general duality
for \'etale constructible torsion sheaves, an \'etale homology theory, and a
GerstenBlochOgusKato complex. The results in this paper have been used in
other papers of the authors ([JS], [Sa], [SaH] in the list of references).

In 1985 Kazuya Kato formulated a fascinating framework of conjectures which
generalizes the Hasse principle for the Brauer group of a global field to the
socalled cohomological Hasse principle for an arithmetic scheme. In this paper
we prove the primetocharacteristic part of the cohomological Hasse principle.
We also explain its implications on finiteness of motivic cohomology and
special values of zeta functions.

In this paper we prove a finiteness result concerning the Chow group of
zerocycles for varieties over $p$adic local fields.
In this final version, there are several corrections concerning mathematical
symbols and reference to related known results.

A main theme of the paper is a conjecture of BlochKato on the image of
$p$adic regulator maps for a proper smooth variety $X$ over an algebraic
number field $k$. The conjecture for a regulator map of particular degree and
weight is related to finiteness of two arithmetic objects: One is the
$p$primary torsion part of the Chow group in codimension 2 of $X$. Another is
an unramified cohomology group of $X$. As an application, for a regular model
${\mathscr X}$ of $X$ over the integer ring of $k$, we show an injectivity
result on torsion of a cycle class map from the Chow group in codimension 2 of
${\mathscr X}$ to a new $p$adic cohomology of ${\mathscr X}$ introduced by the
second author, which is a candidate of the conjectural \'etale motivic
cohomology with finite coefficients of BeilinsonLichtenbaum.

Let $X$ be a projective algebraic manifold and let $CH^r(X)$ be the Chow
group of algebraic cycles of codimension $r$ on $X$, modulo rational
equivalence. Working with a candidate BlochBeilinson filtration
$\{F^{\nu}\}_{\nu\geq 0}$ on $CH^r(X)\otimes {\Bbb Q}$ due to the second
author, we construct a space of arithmetic Hodge theoretic invariants $\nabla
J^{r,\nu}(X)$ and corresponding map $\phi_{X}^{r,\nu} :
Gr_{F}^{\nu}CH^r(X)\otimes {\Bbb Q} \to \nabla J^{r,\nu}(X)$, and determine
conditions on $X$ for which the kernel and image of $\phi_{X}^{r,\nu}$ are
``uncountably large''.

We show an example of Chow group of 0cycles on surface over a padic field
which has infinite torsion subgroup.

The contents is changed.

In this paper, we develop the theory of Jacobian rings of open complete
intersections, which mean a pair $(X,Z)$ where $X$ is a smooth complete
intersection in the projective space and and $Z$ is a simple normal crossing
divisor in $X$ whose irreducible components are smooth hypersurface sections on
$X$. Our Jacobian rings give an algebraic description of the cohomology of the
open complement $XZ$ and it is a natural generalization of the Poincar\'e
residue representation of the cohomology of a hypersurface originally invented
by Griffiths. The main results generalize the Macaulay's duality theorem and
the Donagi's symmetrizer lemma for usual Jacobian rings for hypersurfaces. A
feature that distinguishes our generalized Jacobian rings from usual ones is
that there are instances where duality fails to be perfect while the defect can
be controlled explicitly by using the defining equations of $Z$ in $X$. Two
applications of the main results are given: One is the infinitesimal Torelli
problem for open complete intersections. Another is an explicit bound for
Nori's connectivity in case of complete intersections. The results have been
applied also to study of algebraic cycles in several other works.