Showing 1–12 of 12 results for author: Clausen, D

Duality and linearization for p-adic lie groups

Authors: Dustin Clausen

Abstract: We promote Lazard's Poincaré duality for p-adic Lie groups to spectrum coefficients. The key aspect is the determination of the dualizing object in terms of "linear" data, namely the adjoint representation. We promote Lazard's Poincaré duality for p-adic Lie groups to spectrum coefficients. The key aspect is the determination of the dualizing object in terms of "linear" data, namely the adjoint representation. △ Less

Submitted 22 June, 2025; originally announced June 2025.

Mapping Cone and Morse Theory

Authors: David Clausen, Xiang Tang, Li-Sheng Tseng

Abstract: On a smooth manifold, we associate to any closed differential form a mapping cone complex. The cohomology of this mapping cone complex can vary with the de Rham cohomology class of the closed form. We present a novel Morse theoretical description for the mapping cone cohomology. Specifically, we introduce a Morse complex for the mapping cone complex which is generated by pairs of critical points w… ▽ More On a smooth manifold, we associate to any closed differential form a mapping cone complex. The cohomology of this mapping cone complex can vary with the de Rham cohomology class of the closed form. We present a novel Morse theoretical description for the mapping cone cohomology. Specifically, we introduce a Morse complex for the mapping cone complex which is generated by pairs of critical points with the differential defined by gradient flows and an integration of the closed form over spaces of gradient flow lines. We prove that the cohomology of our cone Morse complex is isomorphic to the mapping cone cohomology and hence independent of both the Riemannian metric and the Morse function used to define the complex. We also obtain sharp inequalities that bound the dimension of the mapping cone cohomology in terms of the number of Morse critical points and the properties of the specified closed form. Our results are widely applicable, especially for any manifold equipped with a geometric structure described by a closed differential form. We also obtain a bound on the difference between the number of Morse critical points and the Betti numbers. △ Less

Submitted 19 June, 2024; v1 submitted 3 May, 2024; originally announced May 2024.

Comments: 40 pages. v1:This paper is an outgrowth of v1 of arXiv:2211.11712 which has been greatly expanded and separated into 2 papers: (1) the replaced version of arXiv:2211.11712 concerns symplectic manifolds and uses analytic-based method; (2) this paper which defines the general notion of a cone Morse theory for smooth manifolds with respect to any closed form. v2:Typos corrected, clarifications added

Symplectic Morse Theory and Witten Deformation

Authors: David Clausen, Xiang Tang, Li-Sheng Tseng

Abstract: On symplectic manifolds, we introduce a Morse-type complex with elements generated by pairs of critical points of a Morse function. The differential of the complex consists of gradient flows and an integration of the symplectic structure over spaces of gradient flow lines. Using the Witten deformation method, we prove that the cohomology of this complex is independent of both the Riemannian metric… ▽ More On symplectic manifolds, we introduce a Morse-type complex with elements generated by pairs of critical points of a Morse function. The differential of the complex consists of gradient flows and an integration of the symplectic structure over spaces of gradient flow lines. Using the Witten deformation method, we prove that the cohomology of this complex is independent of both the Riemannian metric and the Morse function used to define the complex and is in fact isomorphic to the cohomology of differential forms of Tsai, Tseng and Yau (TTY). We also obtain Morse-type inequalities that bound the dimensions of the TTY cohomologies by the number of Morse critical points and the interaction of symplectic structure with the critical points. △ Less

Submitted 2 July, 2024; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: v1: 27 pages, 1 figure. v2: 53 pages. Significant changes including title and abstract. The original v1 paper has been greatly expanded and now separated into two papers. One of the two is this replaced version which concerns the symplectic case and uses analytic-based methods. v3: Minor revisions, typos corrected

The reductive Borel-Serre compactification as a model for unstable algebraic K-theory

Authors: Dustin Clausen, Mikala Ørsnes Jansen

Abstract: Let $A$ be an associative ring and $M$ a finitely generated projective $A$-module. We introduce a category $\operatorname{RBS}(M)$ and prove several theorems which show that its geometric realisation functions as a well-behaved unstable algebraic K-theory space. These categories $\operatorname{RBS}(M)$ naturally arise as generalisations of the exit path $\infty$-category of the reductive Borel-Ser… ▽ More Let $A$ be an associative ring and $M$ a finitely generated projective $A$-module. We introduce a category $\operatorname{RBS}(M)$ and prove several theorems which show that its geometric realisation functions as a well-behaved unstable algebraic K-theory space. These categories $\operatorname{RBS}(M)$ naturally arise as generalisations of the exit path $\infty$-category of the reductive Borel-Serre compactification of a locally symmetric space, and one of our main techniques is to find purely categorical analogues of some familiar structures in these compactifications. △ Less

Submitted 21 November, 2023; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: 89 pages; v2 minor revision; v3 final accepted version, minor errors fixed, to appear in Selecta Mathematica

Report number: CPH-GEOTOP-DNRF151, CPH-SYM-DNRF92

Descent and vanishing in chromatic algebraic $K$-theory via group actions

Authors: Dustin Clausen, Akhil Mathew, Niko Naumann, Justin Noel

Abstract: We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with Ausoni-Rognes's redshift philosophy: in particular, we show that if $R$ is an $\mathbb{E}_\infty$-ring spectrum with $L_{T(n)}R=0$, then $L_{T(n+1)}K(R)=0$. Our key obse… ▽ More We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with Ausoni-Rognes's redshift philosophy: in particular, we show that if $R$ is an $\mathbb{E}_\infty$-ring spectrum with $L_{T(n)}R=0$, then $L_{T(n+1)}K(R)=0$. Our key observation is that descent and vanishing are logically interrelated, permitting to establish them simultaneously by induction on the height. △ Less

Submitted 8 November, 2022; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 48 pages, revised version; comments always welcome

Report number: CPH-GEOTOP-DNRF151

Remarks on $K(1)$-local $K$-theory

Authors: Bhargav Bhatt, Dustin Clausen, Akhil Mathew

Abstract: We prove two basic structural properties of the algebraic $K$-theory of rings after $K(1)$-localization at an implicit prime $p$. Our first result (also recently obtained by Land--Meier--Tamme by different methods) states that $L_{K(1)} K(R)$ is insensitive to inverting $p$ on $R$; we deduce this from recent advances in prismatic cohomology and $\mathrm{TC}$. Our second result yields a Künneth for… ▽ More We prove two basic structural properties of the algebraic $K$-theory of rings after $K(1)$-localization at an implicit prime $p$. Our first result (also recently obtained by Land--Meier--Tamme by different methods) states that $L_{K(1)} K(R)$ is insensitive to inverting $p$ on $R$; we deduce this from recent advances in prismatic cohomology and $\mathrm{TC}$. Our second result yields a Künneth formula in $K(1)$-local $K$-theory for adding $p$-power roots of unity to $R$. △ Less

Submitted 12 May, 2020; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: 13 pages, revised and final version

Hyperdescent and étale K-theory

Authors: Dustin Clausen, Akhil Mathew

Abstract: We study the étale sheafification of algebraic K-theory, called étale K-theory. Our main results show that étale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories. Consequently, we show that étale K-theory has surprisingly well-behaved properties, integrally and without finiteness assumptions. A key theoretical ingredient is th… ▽ More We study the étale sheafification of algebraic K-theory, called étale K-theory. Our main results show that étale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories. Consequently, we show that étale K-theory has surprisingly well-behaved properties, integrally and without finiteness assumptions. A key theoretical ingredient is the distinction, which we investigate in detail, between sheaves and hypersheaves of spectra on étale sites. △ Less

Submitted 18 March, 2021; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 89 pages, v3: various corrections and edits

Report number: CPH-GEOTOP-DNRF151

K-theory and topological cyclic homology of henselian pairs

Authors: Dustin Clausen, Akhil Mathew, Matthew Morrow

Abstract: Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a generalization of the classical Gabber-Gillet-Thomason-Suslin rigidity theorem (for mod $n$ coefficients, with $n$ invertible in $R$) and McCarthy's theorem on relative… ▽ More Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a generalization of the classical Gabber-Gillet-Thomason-Suslin rigidity theorem (for mod $n$ coefficients, with $n$ invertible in $R$) and McCarthy's theorem on relative $K$-theory (when $I$ is nilpotent). We deduce that the cyclotomic trace is an equivalence in large degrees between $p$-adic $K$-theory and topological cyclic homology for a large class of $p$-adic rings. In addition, we show that $K$-theory with finite coefficients satisfies continuity for complete noetherian rings which are $F$-finite modulo $p$. Our main new ingredient is a basic finiteness property of $\mathrm{TC}$ with finite coefficients. △ Less

Submitted 20 July, 2020; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: 59 pages, revised and final version

Report number: CPH-SYM-DNRF92

A K-theoretic approach to Artin maps

Authors: Dustin Clausen

Abstract: We define a functorial "Artin map" attached to any small $\bf{Z}$-linear stable $\infty$-category, which in the case of perfect complexes over a global field recovers the usual Artin map from the idele class group to the abelianized absolute Galois group. In particular, this gives a new proof of the Artin reciprocity law. We define a functorial "Artin map" attached to any small $\bf{Z}$-linear stable $\infty$-category, which in the case of perfect complexes over a global field recovers the usual Artin map from the idele class group to the abelianized absolute Galois group. In particular, this gives a new proof of the Artin reciprocity law. △ Less

Submitted 3 April, 2017; v1 submitted 22 March, 2017; originally announced March 2017.

Report number: CPH-SYM-DNRF92

A short proof of telescopic Tate vanishing

Authors: Dustin Clausen, Akhil Mathew

Abstract: We give a short proof of a theorem of Kuhn that Tate constructions for finite group actions vanish in telescopically localized stable homotopy theory. In particular, we observe that Kuhn's theorem is equivalent to the statement that the transfer $BC_{p+} \to S^0$ admits a section after telescopic localization, which in turn follows from the Kahn-Priddy theorem. We give a short proof of a theorem of Kuhn that Tate constructions for finite group actions vanish in telescopically localized stable homotopy theory. In particular, we observe that Kuhn's theorem is equivalent to the statement that the transfer $BC_{p+} \to S^0$ admits a section after telescopic localization, which in turn follows from the Kahn-Priddy theorem. △ Less

Submitted 4 January, 2017; v1 submitted 6 August, 2016; originally announced August 2016.

Comments: 4 pages. Revised version adds additional references and remarks. To appear in Proceedings of the AMS

Report number: CPH-SYM-DNRF92

Descent in algebraic $K$-theory and a conjecture of Ausoni-Rognes

Authors: Dustin Clausen, Akhil Mathew, Niko Naumann, Justin Noel

Abstract: Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally i… ▽ More Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally in most cases of interest. Motivated by the classical descent theorem of Thomason, one also expects such a result after periodic localization. We formulate and prove a general result which enables one to promote rational descent statements as above into descent statements after periodic localization. This reduces the localized descent problem to establishing an elementary condition on $K_0(-)\otimes \mathbb{Q}$. As applications, we prove various descent results in the periodic localized $K$-theory, $TC$, $THH$, etc. of structured ring spectra, and verify several cases of a conjecture of Ausoni and Rognes. △ Less

Submitted 22 November, 2017; v1 submitted 10 June, 2016; originally announced June 2016.

Comments: 46 pages. With an appendix by Lennart Meier, Niko Naumann, and Justin Noel. Revised version, to appear in Journal of the European Mathematical Society

Report number: CPH-SYM-DNRF92

Journal ref: J. Eur. Math. Soc. (JEMS) 22 (2020), no. 4, 1149-1200

p-adic J-homomorphisms and a product formula

Authors: Dustin Clausen

Abstract: One-point compactification turns real vector spaces into spheres. In homotopy theory, this transformation gets encoded in a map called the "real J-homomorphism". Here we define and investigate p-adic J-homomorphisms, which sort of turn p-adic vector spaces into spheres. Our main theorem is a product formula for these J-homomorphisms, saying what happens when you start with a rational vector space.… ▽ More One-point compactification turns real vector spaces into spheres. In homotopy theory, this transformation gets encoded in a map called the "real J-homomorphism". Here we define and investigate p-adic J-homomorphisms, which sort of turn p-adic vector spaces into spheres. Our main theorem is a product formula for these J-homomorphisms, saying what happens when you start with a rational vector space. This formula specializes to Hilbert's version of the quadratic reciprocity law after applying second homotopy groups. △ Less

Submitted 28 January, 2012; v1 submitted 26 October, 2011; originally announced October 2011.

Comments: Added Conjecture 4.5 on alternative description of J_{F_p}, otherwise just minor edits