BZPEERReading, trust and collaboration for researchSource author record
Satoshi Mochizuki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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
In this article, we propose noncommutative versions of Tate conjecture and Hodge conjecture. If we consider these conjectures for a dg-category of perfect complexes over a certain schemes $X$, then they are equivalent to the classical Tate and Hodge conjectures for $X$ respectively. We also propose a strategy of how to prove these conjectures by utilizing a version of motivic Bass conjecture.
In this short note, for a morphism of Waldhausen categories $f\colon \mathbb{A} = (\mathcal{A} ,w_{\mathbb{A}}) \to \mathbb{B} = (\mathcal{B},w_{\mathbb{B}})$, we will define $\operatorname{Cone} f$ to be a Waldhausen category. There exists the canonical morphism of Waldhausen categories $κ_f\colon \mathbb{B}\to \operatorname{Cone} f$. We will show that the sequence $\mathbb{A}\overset{f}{\to}\mathbb{B}\overset{κ_f}{\to}\operatorname{Cone}f$ induces fibration sequence of spaces $K(\mathbb{A})\overset{K(f)}{\to}K(\mathbb{B})\overset{K(κ_f)}{\to} K(\operatorname{Cone} f)$ on connective $K$-theory. Moreover we will define a notion of strictly derivable Waldhausen categories and define non-connective $K$-theory for strictly derivable Waldhausen categories.
In this paper, we show local Gersten's conjecture for regular system of parameters. As its consequence we obtain Gersten's conjecture for a commutative regular local ring and smooth over a commutative discrete valuation ring.
The goal of this note is to give a variant of the generic fibration theorem for Waldhausen K-theory without assuming the factorization axiom.
The main theorem in this paper is that the base change functor from a noetherian abelian category to its noetherian polynomial category induces an isomorphism on K-theory. The main theorem implies the well-known fact that A^1-homotopy invariance of K'-theory for noetherian schemes.
In this paper, we give a sufficient condition which makes the total complex of a cube exact. This can be regarded as a variant of the Buchsbaum-Eisenbud theorem which gives a characterization of what makes a complex of finitely generated free modules exact in terms of the grade of the Fitting ideals of boundary maps of the complex.
The main objective of this paper is to determine generators of the topological filtrations on the higher K-theory of a noetherian commutative ring with unit A. We introduce the concept of Koszul cubes and give a comparison theorem between the K-theory of Koszul cubes with that of topological filtrations.
We prove that negative K-groups of small abelian categories are trivial.
The main objective of this paper is to propose a definition of non-connective K-theory for a wide class of relative exact categories which, in general, do not satisfy the factorization axiom and confirm that it agrees with the non-connective K-theory for exact categories and complicial exact categories with weak equivalences. The main application is to study the topological filtrations of non-connective K-theory of a noetherian commutative ring with unit in terms of Koszul cubes.
The main objective of this paper is to generalize a notion of Koszul resolutions and charcterizing modules which admits such a resolution. We turn out that for a noetherian ring $A$ and a coherent $A$ module $M$, $M$ has a two dimensional generalized Koszul resolution if and only if $M$ is a pure weight two module in the sense of \cite{HM09}.
The main theorem in this paper is that the base change functor from an abelian category $\cA$ to its polynomial category in the sense of Schlichting $-\otimes_{\cA}\bbZ[t]:\cA \to \cA[t]$ induces an isomorphism on their $K$-theories if $\cA$ is noetherian and has enough projective objects. The main theorem implies the well-known fact that $\mathbb{A}^1$-homotopy invariance of $K'$-theory for noetherian schemes.
We introduce a notion of quasi-weak equivalences associated with weak-equivalences in an exact category. It gives us a delooping for (idempotent complete) exact categories and a condition that the negative $K$-group of an exact category becomes trivial.