BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Shuji Saito

Shuji Saito appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.NTmath.KTmath.AC

Catalog footprint

What is connected

16works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

16 published item(s)

preprint2024arXiv

A procdh topology

In this article we propose a definition of a procdh topos. We show that it encodes procdh excision, has bounded homotopy dimension and therefore is hypercomplete and admits a conservative family of fibre functors. We also describe the local rings. As an application, we show that nonconnective $K$-theory is the procdh sheafification of connective $K$-theory, and that the motivic cohomology recently proposed by Elmanto and Morrow is the procdh sheafification of Voevodsky's motivic cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the cohomology of reciprocity sheaves

In this paper we show the existence of an action of Chow correspondences on the cohomology of reciprocity sheaves. In order to do so, we prove a number of structural results, such as a projective bundle formula, a blow-up formula, a Gysin sequence, and the existence of proper pushforward. In this way we recover and generalize analogous statements for the cohomology of Hodge sheaves and Hodge-Witt sheaves. We give several applications of the general theory to problems which have been classically studied. Among these applications, we construct new birational invariants of smooth projective varieties and obstructions to the existence of zero-cycles of degree one from the cohomology of reciprocity sheaves.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors under finite étale groups. This new characterization is used to define characteristic forms for reciprocity sheaves. We obtain applications on pseudo-rational singularities and on questions regarding the representability of certain cohomology groups of reciprocity sheaves in the triangulated category of motives with modulus introduced by Kahn-Miyazaki-Saito-Yamazaki.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Motives with modulus, III: The categories of motives

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 proper modulus pairs, introduced in Part I of this work. To such a modulus pair we associate its motive in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the $\mathrm{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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Purity of reciprocity sheaves

The purpose of this paper is to prove a conjecture on reciprocity sheaves by Kahn-Saito-Yamazaki. This is accomplished by extending Voevodsky's fundamental results on homotopy invariant (pre)sheaves with transfers to its generalizations, reciprocity sheaves and cube-invariant sheaves in the context of theory of modulus (pre)sheave with transfers. The main results of this paper is expected to play a crucial role in deducing the main properties of the triangulated category of motives with modulus, which is a new triangulated category enlarging Voevodsky's triangulated category of motives to encompass non homotopy invariant motivic phenomena.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Semi-purity for cycles with modulus

In this paper, we prove a form of purity property for the $(\mathbb{P}^1, \infty)$-invariant replacement $h_0^{\overline{\square}}(\mathfrak{X})$ of the Yoneda object $\mathbb{Z}_{\rm tr} (\mathfrak{X})$ for a modulus pair $\mathfrak{X}=(\overline{X}, X_\infty)$ over a field $k$, consisting of a smooth projective $k$-scheme and an effective Cartier divisor on it. As application, we prove the analogue in the modulus setting of Voevodsky's fundamental theorem on the homotopy invariance of the cohomology of homotopy invariant sheaves with transfers, based on a main result of "Purity of reciprocity sheaves" arXiv:1704.02442. This plays an essential role in the development of the theory of motives with modulus, and among other things implies the existence of a homotopy $t$-structure on the category $\mathbf{MDM}^{\rm eff}(k)$ of Kahn-Saito-Yamazaki.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Higher Chow groups with modulus and relative Milnor K-theory

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}).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Weight homology of motives

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é's weight homology, and Geisser's Kato-Suslin homology. In the second half, we consider the notions of "co-étale" and "reduced" motives, and use the notions to a prove a theorem comparing motivic homology to étale motivic homology. Due to the first author's Ph.D. thesis arXiv:1305.5349 we do not have to restrict to smooth schemes.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Canonical embedded and non-embedded resolution of singularities for excellent two-dimensional schemes

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Cohomological Hasse principle and resolution of quotient singularities

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Cohomological Hasse principle and motivic cohomology for arithmetic schemes

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.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

On K_1 and K_2 of algebraic surfaces

We study the higher Chow groups $CH^2(X,1)$ and $CH^3(X,2)$ of smooth, projective algebraic surfaces over a field of char 0. We develop a theoretical framework to study them by using so-called higher normal functions and higher infinitesimal invariants when the cycles are supported on normal crossing divisors. Then we investigate their structure on hypersurfaces in projective 3-space. This leads to vanishing or decomposbility results. On the other hand we find examples of these groups in degrees 4 and 5 where the result is a highly indecomposably (hence big) abelian group. Part of the examples are due to Alberto Collino.

0 citations0 reviewsNo code linkedOpen access