Showing 1–5 of 5 results for author: Dahlhausen, C

Towards $\mathbb{A}^1$-homotopy theory of rigid analytic spaces

Authors: Christian Dahlhausen, Can Yaylali

Abstract: To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a functor on the category of rigid analytic spaces. Moreover, we show that there exists a full six functor formalism for the precomposition with the analytification… ▽ More To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a functor on the category of rigid analytic spaces. Moreover, we show that there exists a full six functor formalism for the precomposition with the analytification functor by evoking Ayoub's thesis. As an application, we identify connective analytic K-theory in the unstable homotopy category with both $\mathbb{Z}\times\mathrm{BGL}$ and the analytification of connective algebraic K-theory. As a consequence, we get a representability statement for coefficients in light condensed spectra. △ Less

Submitted 14 March, 2025; v1 submitted 12 July, 2024; originally announced July 2024.

Comments: 49 pages; Corrections in gluing (3.29), and Appendix (A.15) - Changed beginning of Section 4.1; comments are welcome!

MSC Class: 14F42; 19E99; 14G22

Regularity of semi-valuation rings and homotopy invariance of algebraic K-theory

Authors: Christian Dahlhausen

Abstract: We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield examples of regular rings which are not homotopy invariant for algebraic K-theory. On the other hand, they are not necessarily coherent, so that they provide a cla… ▽ More We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield examples of regular rings which are not homotopy invariant for algebraic K-theory. On the other hand, they are not necessarily coherent, so that they provide a class of possibly non-coherent examples for homotopy invariance of algebraic K-theory. As an application, we show that Temkin's relative Riemann-Zariski spaces also satisfy homotopy invariance for K-theory under some finiteness assumption. △ Less

Submitted 14 October, 2024; v1 submitted 4 March, 2024; originally announced March 2024.

Comments: 11 pages. Proof of Theorem 4.1 in v1 incorrect, replaced by (extended) argument of former Remark 4.2 of v1. Comments still welcome!

MSC Class: 19E08; 19D35

K-theory of admissible Zariski-Riemann spaces

Authors: Christian Dahlhausen

Abstract: We study relative algebraic K-theory of admissible Zariski-Riemann spaces and prove that it is equivalent to G-theory and satisfies homotopy invariance. Moreover, we provide an example of a non-noetherian abelian category whose negative K-theory vanishes. We study relative algebraic K-theory of admissible Zariski-Riemann spaces and prove that it is equivalent to G-theory and satisfies homotopy invariance. Moreover, we provide an example of a non-noetherian abelian category whose negative K-theory vanishes. △ Less

Submitted 4 March, 2024; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: v3: Last submitted and final version. Text overlap with arXiv:1910.10437 concerning the basics about admissible Zariski-Riemann spaces

Journal ref: Ann. K-Th. 8 (2023) 1-23

Continuous K-Theory and Cohomology of Rigid Spaces

Authors: Christian Dahlhausen

Abstract: We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the dimension. Likewise, the cohomology groups vanish in degrees above the dimension. The main result provides the existence of an isomorphism between the lowest possibly… ▽ More We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the dimension. Likewise, the cohomology groups vanish in degrees above the dimension. The main result provides the existence of an isomorphism between the lowest possibly non-vanishing continuous K-group and the highest possibly non-vanishing cohomology group with integral coefficients. A key role in the proof is played by a comparison between cohomology groups of an admissible Zariski-Riemann space with respect to different topologies; namely, the rh-topology which is related to K-theory as well as the Zariski topology whereon the cohomology groups in question rely. △ Less

Submitted 4 March, 2024; v1 submitted 23 October, 2019; originally announced October 2019.

Comments: v3: last submitted and final version

Journal ref: manuscripta math. 173, 119-153 (2024)

Milnor K-theory of complete discrete valuation rings with finite residue fields

Authors: Christian Dahlhausen

Abstract: Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to \hat{\mathrm{K}}^\mathrm{M}_*F$ on improved Milnor K-theory. We show that this map is an isomorphism in degrees bigger or equal to 3. This implies the Gersten conjecture for imp… ▽ More Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to \hat{\mathrm{K}}^\mathrm{M}_*F$ on improved Milnor K-theory. We show that this map is an isomorphism in degrees bigger or equal to 3. This implies the Gersten conjecture for improved Milnor K-theory. This result is new in the $p$-adic case. △ Less

Submitted 19 July, 2017; v1 submitted 3 September, 2015; originally announced September 2015.

Comments: 18 pages. An edited version will appear in J. Pure Appl. Algebra (2017)