• ### Purity of reciprocity sheaves(1704.02442)

March 7, 2019 math.AG
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 Kahn-Saito-Yamazaki. 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 Kahn-Saito-Yamazaki, 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.
• ### Reciprocity sheaves and motives with modulus(1707.07398)

March 2, 2019 math.AG
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 Mayer-Vietoris sequences for Suslin homology with modulus.
• ### Motives with modulus(1511.07124)

March 2, 2019 math.AG, math.KT, math.NT
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 non-homotopy 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.
• ### Towards a non-archimedean analytic analog of the Bass-Quillen conjecture(1608.00703)

Dec. 12, 2018 math.AG
We suggest an analog of the Bass-Quillen conjecture for smooth affinoid algebras over a complete non-archimedean field. We prove this in the rank-1 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.
• ### K-theory of non-archimedean rings I(1802.09819)

Feb. 27, 2018 math.AG, math.KT
We introduce a variant of homotopy K-theory for Tate rings, which we call analytic K-theory. It is homotopy invariant with respect to the analytic affine line viewed as an ind-object 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 K-theory with continuous K-theory, which is defined in terms models. Along the way we also prove some results about the algebraic K-theory of Tate rings.
• ### Duality for relative logarithmic de Rham-Witt sheaves and wildly ramified class field theory over finite fields(1611.08720)

Oct. 16, 2017 math.AG, math.NT
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 Rham-Witt sheaves of $X$ depending on effective divisors $D$ supported in $X-U$. Then we establish a perfect duality between cohomology groups of the logarithmic de Rham-Witt 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$.
• ### Relative cycles with moduli and regulator maps(1412.0385)

Sept. 5, 2017 math.AG
Let X be a separated scheme of finite type over a field k and D a non-reduced 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 Bloch-Esnault, R\"ulling, Park and Krishna-Levine, 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 El-Zein'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_{X|D}$ of the pair (X,D). For r= dim X, we show that $J^r_{X|D}$ is the universal regular quotient of the Chow group of 0-cycles with modulus.
• ### Higher Chow groups with modulus and relative Milnor K-theory(1504.02669)

July 12, 2016 math.AG
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 r-th Nisnevich motivic complex of the pair (X,D) to a shift of the r-th relative Milnor K-sheaf 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 i-th Nisnevich cohomology of the r-th relative Minor K-sheaf of (X,D). This generalizes the well-known 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}).
• ### Reciprocity sheaves(1402.4201)

March 19, 2016 math.AG, math.KT, math.NT
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.
• ### Chow group of 0-cycles with modulus and higher dimensional class field theory(1304.4400)

Nov. 24, 2015 math.AG, math.NT
One of the main results of this paper is a proof of the rank one case of an existence conjecture on lisse l-adic 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.
• ### Weight homology of motives(1411.5831)

Nov. 21, 2014 math.AG
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 Gillet-Soul\'e's weight homology, and Geisser's Kato-Suslin 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.
• ### Zero-cycles on varieties over p-adic fields and Brauer groups(0906.2273)

Feb. 1, 2014 math.AG
In this paper, we study the Brauer-Manin 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.
• ### Lefschetz theorem for abelian fundamental group with modulus(1304.3896)

Dec. 19, 2013 math.AG, math.NT
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.
• ### Cohomological Hasse principle and resolution of quotient singularities(1111.7177)

Sept. 4, 2013 math.AG, math.NT
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.
• ### Canonical embedded and non-embedded resolution of singularities for excellent two-dimensional schemes(0905.2191)

Feb. 18, 2013 math.AG, math.AC
We prove the existence of resolution of singularities for arbitrary (not necessarily reduced or irreducible) excellent two-dimensional schemes, via permissible blow-ups. The resolution is canonical, and functorial with respect to automorphisms or etale or Zariski localizations. We treat the embedded case as well as the non-embedded case, with or without a boundary, and we relate the diferent versions. In the non-embedded case, a boundary is a collection of locally principal closed subschemes. Our main tools are the stratifications by Hilbert-Samuel 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.
• ### \'Etale duality for constructible sheaves on arithmetic schemes(0910.3759)

March 11, 2012 math.AG, math.NT
In this note we relate three topics for arithmetic schemes: a general duality for \'etale constructible torsion sheaves, an \'etale homology theory, and a Gersten-Bloch-Ogus-Kato complex. The results in this paper have been used in other papers of the authors ([JS], [Sa], [SaH] in the list of references).
• ### Cohomological Hasse principle and motivic cohomology for arithmetic schemes(1010.5930)

Dec. 6, 2011 math.AG, math.NT
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 so-called cohomological Hasse principle for an arithmetic scheme. In this paper we prove the prime-to-characteristic part of the cohomological Hasse principle. We also explain its implications on finiteness of motivic cohomology and special values of zeta functions.
• ### A Finiteness theorem for zero-cycles over $p$-adic fields(math/0605165)

Jan. 24, 2010 math.AG, math.NT
In this paper we prove a finiteness result concerning the Chow group of zero-cycles 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 p-adic regulator map and finiteness results for arithmetic schemes(math/0612081)

Jan. 22, 2009 math.AG, math.NT
A main theme of the paper is a conjecture of Bloch-Kato 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 Beilinson-Lichtenbaum.
• ### Algebraic Cycles and Mumford-Griffiths Invariants(0705.4661)

May 31, 2007 math.AG
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 Bloch-Beilinson 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''.
• ### Chow group of 0-cycles on surface over a p-adic field with infinite torsion subgroup(math/0611161)

Jan. 30, 2007 math.AG, math.NT
We show an example of Chow group of 0-cycles on surface over a p-adic field which has infinite torsion subgroup.
• ### On Beilinson's Hodge and Tate conjectures for open complete intersections(math/0203148)

March 19, 2002 math.AG
The contents is changed.
• ### Generalized Jacobian Rings for Open Complete Intersections(math/0203147)

March 15, 2002 math.AG
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 $X-Z$ 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.