arXiv subjects

Ko Aoki

Publications and source records attributed to Ko Aoki.

17 recordsLinked to original sources

arXiv2026

The Oka principle for \'etale Chow groups

The celebrated theorems of Shilov, Arens--Royden, and Forster give direct descriptions of the first three integral cohomology groups of the Gelfand spectrum of a commutative complex Banach algebra. In his 1974 ICM address, Taylor asked whether the higher cohomology groups admit descriptions in terms of the underlying ring. We give a solution to this question in even degrees: The \'etale (aka Lichtenbaum) Chow group in every codimension is canonically isomorphic to the corresponding even integral cohomology group of the Gelfand spectrum.

math.KT↗

arXiv2026

The decomposition relations alone present the Goncharov Lie coalgebra

Recently, Kupers--Rudenko--Sierra introduced the Goncharov Lie coalgebra. They gave a presentation using correlator generators and four types of relations: homogeneity, cyclic symmetry, shuffle relations, and decomposition relations. We show that the first three families of relations follow from the decomposition relations.

math.KT↗

arXiv2026

Inaccessibility of the flat topology

We prove that singleton covers in the flat topology on affine schemes are not closed under $\kappa$-cofiltered limits for any regular cardinal $\kappa$. Therefore, for every accessible flat sheaf there exists a strictly finer topology for which it is still a sheaf. The flat topology thus contrasts with other big topologies, such as the arc and pure topologies.

math.AG↗

arXiv2026

Berkovich $2$-motives and normed ring stacks

The de Rham stack construction of Simpson shows that D-modules are quasicoherent sheaves on a modified geometry. Drinfeld furthermore introduced the ring stack perspective (aka transmutation), which asserts that a coefficient theory is determined by a ring stack. Scholze proposed relating this idea to motivic realizations using $(\infty,2)$-categorical language. In this work, we formulate and prove a precise version of this principle: The presentable category of kernels of motivic homotopy theory is the linearly symmetric monoidal $(\infty,2)$-category that is freely generated by a homologically trivial smooth sutured ring stack. We also prove the \'etale version of this statement, reducing \'etale descent to the Kummer and Artin--Schreier conditions. Lastly, we prove an analytic version connecting Scholze's Berkovich motives and ring stacks with an absolute value. This is useful to construct motivic realization functors in analytic geometry, such as the Habiro and Hyodo--Kato realizations.

math.AG↗

arXiv2025

Higher presentable categories and limits

Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $\kappa$-compactly generated $(\infty, n)$-category, which avoids universe enlargement. Using the new definition, we prove the underlying functor of a morphism between presentable $(\infty, 2)$-categories has a right adjoint. In particular, any presentable $(\infty, 2)$-category has limits. We also prove that this fails drastically when we go higher: The unit presentable $(\infty, 3)$-category, i.e., the category of presentable $(\infty, 2)$-categories, does not have limits. This settles Stefanich's conjecture in the negative.

math.CT↗

arXiv2025

Higher Zariski Geometry

We revisit the classical constructions of tensor-triangular geometry in the setting of stably symmetric monoidal idempotent-complete $\infty$-categories, henceforth referred to as 2-rings. In this setting, we produce a Zariski topology, a Zariski spectrum, a category of locally 2-ringed spaces (more generally $\infty$-topoi), and an affine spectrum-global sections adjunction, based on the framework of ``$\infty$-topoi with geometric structure'' as developed by Lurie in \cite{LurieDAG5}. Using work of Kock and Pitsch, we compute that the underlying space of the Zariski spectrum of a 2-ring recovers the Balmer spectrum of its homotopy category. These constructions mirror the analogous structures in the classical Zariski geometry of commutative rings (and commutative ring spectra), and we also demonstrate additional compatibility between classical Zariski and higher Zariski geometry. For rigid 2-rings, we show that the descent results of Balmer and Favi admit coherent enhancements. As a corollary, we obtain that the Zariski spectrum fully faithfully embeds rigid 2-rings into locally 2-ringed $\infty$-topoi. In an appendix, we prove a ``stalk-locality principle'' for the telescope conjecture in the rigid setting, extending earlier work of Hrbek.

math.AG↗

arXiv2025

Very Schwartz coidempotents and continuous spectrum

We introduce the continuous version of the (unstable) smashing spectrum functor. In the stable case, it assigns to each dualizably symmetric monoidal stable presentable $\infty$-category a stably compact space whose open subsets correspond to very Schwartz idempotents -- a certain class of idempotents we define. As an application, we prove Tannaka duality for spectral sheaves on stably compact spaces, including the case of compact Hausdorff spaces.

math.CT↗

arXiv2024

On cohomology of locally profinite sets

We construct a locally profinite set of cardinality $\aleph_{\omega}$ with infinitely many first cohomology classes of which any distinct finite product does not vanish. Building on this, we construct the first example of a nondescendable faithfully flat map between commutative rings of cardinality $\aleph_{\omega}$ within Zermelo--Fraenkel set theory.

math.LO↗

arXiv2024

Rosenberg's conjecture for the first negative $K$-group

Based on his claims in 1990, Rosenberg conjectured in 1997 that the negative algebraic $K$-groups of C*-algebras are invariant under continuous homotopy. Contrary to his expectation, we prove that such invariance holds for $K_{-1}$ of arbitrary Banach rings by establishing a certain continuity result. We also construct examples demonstrating that similar continuity results do not hold for lower $K$-groups.

math.OA↗

arXiv2024

(Semi)topological $K$-theory via solidification

Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known constructions: the semitopological $K$-theory of a real (associative) algebra and the topological (aka operator) $K$-theory of a real Banach algebra.

math.KT↗

arXiv2024

The smashing spectrum of sheaves

For an arbitrary $\infty$-topos, we classify the smashing localizations in the $\infty$-category of sheaves valued in derived vector spaces: Any of them is the restriction functor to a (unique) closed subtopos. Our proof is based on the existence of a Boolean cover. This result in particular gives us the first example of a nonzero presentably symmetric monoidal stable $\infty$-category whose smashing spectrum has no points. Combining this with the sheaves-spectrum adjunction, we obtain a Tannaka-type categorical reconstruction result for locales.

math.CT↗

arXiv2024

$K$-theory of rings of continuous functions

We study the algebraic $K$-theory of the ring of continuous functions on a compact Hausdorff space with values in a local division ring, e.g., a local field: We compute its negative $K$-theory and show its $K$-regularity. The complex case reproves the results of Rosenberg, Friedlander--Walker, and Corti\~nas--Thom. Our consideration in the real case proves two previously unconfirmed claims made by Rosenberg in 1990. The algebraic nature of our methods enables us to deal with the nonarchimedean and noncommutative cases analogously.

math.KT↗

arXiv2023

The sheaves--spectrum adjunction

This paper demystifies the notion of the smashing spectrum of a stable presentably symmetric monoidal $\infty$-category, defined as a locale whose opens correspond to smashing localizations. Previously, this concept was studied in tensor-triangular geometry in the compactly generated rigid setting. Our main result identifies the smashing spectrum functor as the right adjoint to the spectral sheaves functor, providing in particular an external characterization that avoids explicit reference to objects, ideals, or localizations. The sheaves--spectrum adjunction formalizes the intuition that the smashing spectrum constitutes the best approximation of a given $\infty$-category by $\infty$-categories of sheaves. We establish an unstable generalization of this result by identifying the correct unstable analog of the smashing spectrum, which parametrizes smashing colocalizations instead. As an application, we give a categorical presentation of Clausen--Scholze's categorified locales.

math.CT↗

arXiv2022

Posets for which Verdier duality holds

We discuss two known sheaf-cosheaf duality theorems: Curry's for the face posets of finite regular CW complexes and Lurie's for compact Hausdorff spaces, i.e., covariant Verdier duality. We provide a uniform formulation for them and prove their generalizations. Our version of the former works over the sphere spectrum and for more general finite posets, which we characterize in terms of the Gorenstein* condition. Our version of the latter says that the stabilization of a proper separated $\infty$-topos is rigid in the sense of Gaitsgory. As an application, for stratified topological spaces, we clarify the relation between these two duality equivalences.

math.AT↗

arXiv2020

Quasiexcellence implies strong generation

We prove that the bounded derived category of coherent sheaves on a quasicompact separated quasiexcellent scheme of finite dimension has a strong generator in the sense of Bondal-Van den Bergh. This extends a recent result of Neeman and is new even in the affine case. The main ingredient includes Gabber's weak local uniformization theorem and the notions of boundedness and descendability of a morphism of schemes.

math.AG↗

arXiv2020

Tensor triangular geometry of filtered objects and sheaves

We compute the the Balmer spectra of compact objects of tensor triangulated categories whose objects are filtered or graded objects of (or sheaves valued in) another tensor triangulated category. Notable examples include the filtered derived category of a scheme as well as the homotopy category of filtered spectra. We use an $\infty$-categorical method to properly formulate and deal with the problem. Our computations are based on a point-free approach, so that distributive lattices and semilattices are used as key tools. In the appendix, we prove that the $\infty$-topos of hypercomplete sheaves on an $\infty$-site is recovered from a basis, which may be of independent interest.

math.AT↗

arXiv2019

The weight complex functor is symmetric monoidal

Bondarko's (strong) weight complex functor is a triangulated functor from Voevodsky's triangulated category of motives to the homotopy category of chain complexes of classical Chow motives. Its construction is valid for any dg enhanced triangulated category equipped with a weight structure. In this paper we consider weight complex functors in the setting of stable symmetric monoidal $\infty$-categories. We prove that the weight complex functor is symmetric monoidal under a natural compatibility assumption. To prove this result, we develop additive and stable symmetric monoidal variants of the $\infty$-categorical Yoneda embedding, which may be of independent interest.

math.CT↗