Showing 1–19 of 19 results for author: Tamme, G

On pro-cdh descent on derived schemes

Authors: Shane Kelly, Shuji Saito, Georg Tamme

Abstract: We prove a `pro-cdh descent' result for suitably connective localizing invariants and the cotangent complex on arbitrary qcqs derived schemes. As an application, we deduce a generalised Weibel vanishing for negative $K$-groups of non-Noetherian schemes. We prove a `pro-cdh descent' result for suitably connective localizing invariants and the cotangent complex on arbitrary qcqs derived schemes. As an application, we deduce a generalised Weibel vanishing for negative $K$-groups of non-Noetherian schemes. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: 28 pages

A remark on crystalline cohomology

Authors: Moritz Kerz, Georg Tamme

Abstract: We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy." We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy." △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 10 pages

On the $K$-theory of pushouts

Authors: Markus Land, Georg Tamme

Abstract: We reveal a relation between the behaviour of localizing invariants $E$ on pushouts and on pullbacks of ring spectra. More concretely, we show that the failure of $E$ sending a pushout of ring spectra to a pushout is controlled by the value of $E$ on a pullback of ring spectra. Vice versa, in many situations, we show that the failure $E$ of sending a pullback square to a pullback is controlled by… ▽ More We reveal a relation between the behaviour of localizing invariants $E$ on pushouts and on pullbacks of ring spectra. More concretely, we show that the failure of $E$ sending a pushout of ring spectra to a pushout is controlled by the value of $E$ on a pullback of ring spectra. Vice versa, in many situations, we show that the failure $E$ of sending a pullback square to a pullback is controlled by the value of $E$ on a pushout of ring spectra. The latter can be interpreted as identifying the $\odot$-ring, introduced in earlier work of ours, as a pushout which turns out to be explicitly computable in many cases. This opens up new possibilities for direct computations. As further applications, we give new proofs of (generalizations) of Waldhausen's seminal results on the $K$-theory of generalized free products and obtain a general relation between the value of a localizing invariant on trivial square zero extensions and on tensor algebras. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Comments: 47 pages

Report number: CPH-GEOTOP-DNRF151

K-theory of non-archimedean rings II

Authors: Moritz Kerz, Shuji Saito, Georg Tamme

Abstract: We study fundamental properties of analytic $K$-theory of Tate rings such as homotopy invariance, Bass fundamental theorem, Milnor excision, and descent for admissible coverings. We study fundamental properties of analytic $K$-theory of Tate rings such as homotopy invariance, Bass fundamental theorem, Milnor excision, and descent for admissible coverings. △ Less

Submitted 30 January, 2023; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: v1: 16 pages; v2: 18 pages, final version

Purity in chromatically localized algebraic $K$-theory

Authors: Markus Land, Akhil Mathew, Lennart Meier, Georg Tamme

Abstract: We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only dep… ▽ More We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only depends on the $T(n-1)\oplus T(n)$-localization of $R$, again for $n \geq 1$. As consequences, we deduce several vanishing results for telescopically localized $K$-theory, as well as an equivalence between $K(R)$ and $\mathrm{TC}(τ_{\geq 0} R)$ after $T(n)$-localization for $n\geq 2$. △ Less

Submitted 18 December, 2023; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: v5: accepted version; v4:new introduction, updated references, 26 pages; v3: New author, new title; this is an almost completely rewritten version of the paper that was previously entitled `Vanishing results for chromatic localizations of algebraic K-theory'. In particular, we affirmatively answer a question about purity for telescopically localized algebraic K-theory from the previous version

Report number: CPH-GEOTOP-DNRF151

Towards Vorst's conjecture in positive characteristic

Authors: Moritz Kerz, Florian Strunk, Georg Tamme

Abstract: Vorst's conjecture relates the regularity of a ring with the $\mathbb{A}^1$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic. Vorst's conjecture relates the regularity of a ring with the $\mathbb{A}^1$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic. △ Less

Submitted 3 November, 2020; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: v1: 23 pages; v2: added a result for curves in mixed characteristic, 30 pages; v3: final version, 31 pages

Journal ref: Compositio Math. 157 (2021) 1143-1171

On the K-theory of pullbacks

Authors: Markus Land, Georg Tamme

Abstract: To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the failure of excision for any localizing invariant in place of $K$-theory. As immediate consequences we obtain an improved version of Suslin's excision result in… ▽ More To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the failure of excision for any localizing invariant in place of $K$-theory. As immediate consequences we obtain an improved version of Suslin's excision result in $K$-theory, generalizations of results of Geisser and Hesselholt on torsion in (bi)relative $K$-groups, and a generalized version of pro-excision for $K$-theory. Furthermore, we show that any truncating invariant satisfies excision, nilinvariance, and cdh-descent. Examples of truncating invariants include the fibre of the cyclotomic trace, the fibre of the rational Goodwillie--Jones Chern character, periodic cyclic homology in characteristic zero, and homotopy $K$-theory. Various of the results we obtain have been known previously, though most of them in weaker forms and with less direct proofs. △ Less

Submitted 8 November, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: v1: 33 pages, v2: 41 pages. Added a discussion of homotopy K-theory as truncating invariant; a sufficient criterion on a pullback square of ring spectra to give rise to a pullback square of categories of (perfect) modules; a new proof of the fundamental theorem; and a second appendix on cdh descent with coefficients. v3: 41 pages, published version

Journal ref: Ann. of Math. (2) 190 (2019), no. 3, 877-930

K-theory of non-archimedean rings I

Authors: Moritz Kerz, Shuji Saito, Georg Tamme

Abstract: 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 ter… ▽ More 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. △ Less

Submitted 30 August, 2019; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: 43 pages, final version

Journal ref: Doc. Math. 24 (2019), 1365-1411

Weak completions, bornologies and rigid cohomology

Authors: Guillermo Cortiñas, Joachim Cuntz, Ralf Meyer, Georg Tamme

Abstract: Let $V$ be a complete discrete valuation ring with residue field $k$ of positive characteristic and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using completions of bornological $V$-algebras. This leads us to a functorial chain complex for a finitely generated commutative algebra over the residue field… ▽ More Let $V$ be a complete discrete valuation ring with residue field $k$ of positive characteristic and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using completions of bornological $V$-algebras. This leads us to a functorial chain complex for a finitely generated commutative algebra over the residue field $k$ that computes its rigid cohomology in the sense of Berthelot. △ Less

Submitted 20 December, 2017; originally announced December 2017.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1708.00357

MSC Class: 14F30; 14F40; 13D03

Journal ref: J. Geom. Phys. 129 (2018), pp. 192-199

Nonarchimedean bornologies, cyclic homology and rigid cohomology

Authors: Guillermo Cortiñas, Joachim Cuntz, Ralf Meyer, Georg Tamme

Abstract: Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius estimates for bounded subsets in complete bornological $V$-algebras. This leads us to a functorial chain complex for commutative $k$-algebras that computes Berthelot'… ▽ More Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius estimates for bounded subsets in complete bornological $V$-algebras. This leads us to a functorial chain complex for commutative $k$-algebras that computes Berthelot's rigid cohomology. This chain complex is related to the periodic cyclic homology of certain complete bornological $V$-algebras. △ Less

Submitted 1 August, 2017; originally announced August 2017.

Comments: 51 pages

MSC Class: 14F30; 14F40; 19D55 (Primary); 14G22; 13D03 (Secondary)

Journal ref: Doc. Math. 23 (2018), pp. 1197-1245

Excision in algebraic K-theory revisited

Authors: Georg Tamme

Abstract: By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We give a new and direct proof of Suslin's result based on an exact sequence of categories of perfect modules. In fact, we prove a more general descent result for a pullback square of ring spectra and any localizing invariant. Besides Suslin's result, this also contains Nisnevich descent of… ▽ More By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We give a new and direct proof of Suslin's result based on an exact sequence of categories of perfect modules. In fact, we prove a more general descent result for a pullback square of ring spectra and any localizing invariant. Besides Suslin's result, this also contains Nisnevich descent of algebraic K-theory for affine schemes as a special case. Moreover, the role of the Tor-unitality condition becomes very transparent. △ Less

Submitted 28 May, 2018; v1 submitted 9 March, 2017; originally announced March 2017.

Comments: v2: improved exposition v3: major revision: removed unnecessary connectivity assumption, formulated a general criterion saying when a diagram of small stable $\infty$-categories yields a pullback diagram after applying a localizing invariant

Journal ref: Compositio Math. 154 (2018) 1801-1814

Algebraic K-theory and descent for blow-ups

Authors: Moritz Kerz, Florian Strunk, Georg Tamme

Abstract: We prove that algebraic K-theory satisfies `pro-descent' for abstract blow-up squares of noetherian schemes. As an application we derive Weibel's conjecture on the vanishing of negative K-groups. We prove that algebraic K-theory satisfies `pro-descent' for abstract blow-up squares of noetherian schemes. As an application we derive Weibel's conjecture on the vanishing of negative K-groups. △ Less

Submitted 16 August, 2017; v1 submitted 25 November, 2016; originally announced November 2016.

Comments: 48 pages, final version

Journal ref: Invent. Math. 211 (2018), no. 2, 523-577

Towards a non-archimedean analytic analog of the Bass-Quillen conjecture

Authors: Moritz Kerz, Shuji Saito, Georg Tamme

Abstract: 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. 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. △ Less

Submitted 12 December, 2018; v1 submitted 2 August, 2016; originally announced August 2016.

Comments: 17 pages

Journal ref: J. Inst. Math. Jussieu 19 (2020), no. 6, 1931-1946

The Beilinson regulator is a map of ring spectra

Authors: Ulrich Bunke, Thomas Nikolaus, Georg Tamme

Abstract: We prove that the Beilinson regulator, which is a map from $K$-theory to absolute Hodge cohomology of a smooth variety, admits a refinement to a map of $E_\infty$-ring spectra in the sense of algebraic topology. To this end we exhibit absolute Hodge cohomology as the cohomology of a commutative differential graded algebra over $\mathbb{R}$. The associated spectrum to this CDGA is the target of the… ▽ More We prove that the Beilinson regulator, which is a map from $K$-theory to absolute Hodge cohomology of a smooth variety, admits a refinement to a map of $E_\infty$-ring spectra in the sense of algebraic topology. To this end we exhibit absolute Hodge cohomology as the cohomology of a commutative differential graded algebra over $\mathbb{R}$. The associated spectrum to this CDGA is the target of the refinement of the regulator and the usual $K$-theory spectrum is the source. To prove this result we compute the space of maps from the motivic $K$-theory spectrum to the motivic spectrum that represents absolute Hodge cohomology using the motivic Snaith theorem. We identify those maps which admit an $E_\infty$-refinement and prove a uniqueness result for these refinements. △ Less

Submitted 29 May, 2018; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: final version, 40 pages

Journal ref: Adv. Math. 333 (2018) 41-86

On an analytic version of Lazard's isomorphism

Authors: Georg Tamme

Abstract: We prove a comparison theorem between locally analytic group cohomology and Lie algebra cohomology for locally analytic representations of a Lie group over a nonarchimedean field of characteristic 0. The proof is similar to that of van-Est's isomorphism and uses only a minimum of functional analysis. We prove a comparison theorem between locally analytic group cohomology and Lie algebra cohomology for locally analytic representations of a Lie group over a nonarchimedean field of characteristic 0. The proof is similar to that of van-Est's isomorphism and uses only a minimum of functional analysis. △ Less

Submitted 6 April, 2015; v1 submitted 19 August, 2014; originally announced August 2014.

Comments: v1: 15 pages, v2: 17 pages, final version to appear in Algebra & Number Theory

Journal ref: Algebra & Number Theory 9-4 (2015), 937--956

Multiplicative differential algebraic K-theory and applications

Authors: Ulrich Bunke, Georg Tamme

Abstract: We construct a version of Beilinson's regulator as a map of sheaves of commutative ring spectra and use it to define a multiplicative variant of differential algebraic K-theory. We use this theory to give an interpretation of Bloch's construction of K_3-classes and the relation with dilogarithms. Furthermore, we provide a relation to Arakelov theory via the arithmetic degree of metrized line bundl… ▽ More We construct a version of Beilinson's regulator as a map of sheaves of commutative ring spectra and use it to define a multiplicative variant of differential algebraic K-theory. We use this theory to give an interpretation of Bloch's construction of K_3-classes and the relation with dilogarithms. Furthermore, we provide a relation to Arakelov theory via the arithmetic degree of metrized line bundles, and we give a proof of the formality of the algebraic K-theory of number rings. △ Less

Submitted 29 October, 2015; v1 submitted 6 November, 2013; originally announced November 2013.

Comments: v1:28 pages, v2:revised version, v3:references updated, changed numbering to match published version. To appear in Annals of K-Theory

Journal ref: Ann. K-Theory 1 (2016), No. 3, 227-258

Regulators and cycle maps in higher-dimensional differential algebraic K-theory

Authors: Ulrich Bunke, Georg Tamme

Abstract: We develop differential algebraic K-theory of regular arithmetic schemes. Our approach is based on a new construction of a functorial, spectrum level Beilinson regulator using differential forms. We construct a cycle map which represents differential algebraic K-theory classes by geometric vector bundles. As an application we derive Lott's relation between short exact sequences of geometric bundle… ▽ More We develop differential algebraic K-theory of regular arithmetic schemes. Our approach is based on a new construction of a functorial, spectrum level Beilinson regulator using differential forms. We construct a cycle map which represents differential algebraic K-theory classes by geometric vector bundles. As an application we derive Lott's relation between short exact sequences of geometric bundles with a higher analytic torsion form. △ Less

Submitted 25 September, 2015; v1 submitted 28 September, 2012; originally announced September 2012.

Comments: 106 pages (corrects a mistake in the sheaf condition), published version

MSC Class: 19D55

Journal ref: Advances in Mathematics (2015), pp. 1853-1969

Karoubi's relative Chern character, the rigid syntomic regulator, and the Bloch-Kato exponential map

Authors: Georg Tamme

Abstract: We construct a variant of Karoubi's relative Chern character for smooth, separated schemes over the ring of integers in a p-adic field and prove a comparison with the rigid syntomic regulator. For smooth projective schemes we further relate the relative Chern character to the etale p-adic regulator via the Bloch-Kato exponential map. This reproves a result of Huber and Kings for the spectrum of th… ▽ More We construct a variant of Karoubi's relative Chern character for smooth, separated schemes over the ring of integers in a p-adic field and prove a comparison with the rigid syntomic regulator. For smooth projective schemes we further relate the relative Chern character to the etale p-adic regulator via the Bloch-Kato exponential map. This reproves a result of Huber and Kings for the spectrum of the ring of integers and generalizes it to all smooth projective schemes as above. △ Less

Submitted 21 July, 2014; v1 submitted 17 November, 2011; originally announced November 2011.

Comments: v1:33 pages; v2:major revision (28 pages); v3:minor changes; v4:minor changes following suggestions by a referee

MSC Class: 14F43; 14F30; 19F27

Journal ref: Forum of Mathematics, Sigma, 2 (2014) e20

The Relative Chern Character and Regulators

Authors: Georg Tamme

Abstract: In this thesis we construct a modified version of Karoubi's relative Chern character for smooth varieties over the complex numbers or the ring of integers in a p-adic number field. Comparison results with the Deligne-Beilinson Chern character and the p-adic Borel regulator constructed by Huber and Kings are proven. As a corollary we obtain a new proof of Burgos' theorem that Borel's regulator is t… ▽ More In this thesis we construct a modified version of Karoubi's relative Chern character for smooth varieties over the complex numbers or the ring of integers in a p-adic number field. Comparison results with the Deligne-Beilinson Chern character and the p-adic Borel regulator constructed by Huber and Kings are proven. As a corollary we obtain a new proof of Burgos' theorem that Borel's regulator is twice Beilinson's regulator. △ Less

Submitted 8 July, 2010; originally announced July 2010.

Comments: doctoral thesis, University of Regensburg, 144 pages

MSC Class: 19F27 (Primary)