Local cyclic homology of group Banach algebras of "non-positively curved" discrete groups

Michael Puschnigg

2023-06-01

Abstract:We calculate the local cyclic homology of group Banach-algebras of discrete groups acting properly, isometrically and cocompactly on a CAT(0)-space.

K-Theory and Homology

What problem does this paper attempt to address?

Topological cyclic homology of local fields

Ruochuan Liu,Guozhen Wang

DOI: https://doi.org/10.1007/s00222-022-01134-9

IF: 3.128

2022-01-01

Inventiones mathematicae

Abstract:We introduce a new approach to determining the structure of topological cyclic homology by means of a descent spectral sequence. We carry out the computation for a p -adic local field with 𝔽_p -coefficients, including the case p=2 which was only covered by motivic methods except in the totally unramified case.
Cyclic homology, tight crossed products, and small stabilizations

Guillermo Cortiñas

DOI: https://doi.org/10.48550/arXiv.1304.3508

2013-05-07

Abstract:In \verb|<a class="link-https" data-arxiv-id="1212.5901" href="https://arxiv.org/abs/1212.5901">arXiv:1212.5901</a>| we associated an algebra $\Gami(\fA)$ to every bornological algebra $\fA$ and an ideal $I_{S(\fA)}\triqui\Gami(\fA)$ to every symmetric ideal $S\triqui\elli$. We showed that $I_{S(\fA)}$ has $K$-theoretical properties which are similar to those of the usual stabilization with respect to the ideal $J_S\triqui\cB$ of the algebra $\cB$ of bounded operators in Hilbert space which corresponds to $S$ under Calkin's correspondence. In the current article we compute the relative cyclic homology $HC_*(\Gami(\fA):I_{S(\fA)})$. Using these calculations, and the results of \emph{loc. cit.}, we prove that if $\fA$ is a $C^*$-algebra and $c_0$ the symmetric ideal of sequences vanishing at infinity, then $K_*(I_{c_0(\fA)})$ is homotopy invariant, and that if $*\ge 0$, it contains $K^{\top}_*(\fA)$ as a direct summand. This is a weak analogue of the Suslin-Wodzicki theorem (\cite{sw1}) that says that for the ideal $\cK=J_{c_0}$ of compact operators and the $C^*$-algebra tensor product $\fA\sotimes\cK$, we have $K_*(\fA\sotimes\cK)=K^{\top}_*(\fA)$. Similarly, we prove that if $\fA$ is a unital Banach algebra and $\ell^{\infty-}=\bigcup_{q<\infty}\ell^q$, then $K_*(I_{\ell^{\infty-}(\fA)})$ is invariant under Hölder continuous homotopies, and that for $*\ge 0$ it contains $K^{\top}_*(\fA)$ as a direct summand. These $K$-theoretic results are obtained from cyclic homology computations. We also compute the relative cyclic homology groups $HC_*(\Gami(\fA):I_{S(\fA)})$ in terms of $HC_*(\elli(\fA):S(\fA))$ for general $\fA$ and $S$. For $\fA=\C$ and general $S$, we further compute the latter groups in terms of algebraic differential forms. We prove that the map $HC_n(\Gami(\C):I_{S(\C)})\to HC_n(\cB:J_S)$ is an isomorphism in many cases.

K-Theory and Homology,Operator Algebras
The cyclic bar construction and fundamental groups

Nir Gadish

2024-10-18

Abstract:We determine the 0-th Hochschild homology of the associative algebra of simplicial cochains valued in a PID: it consists of the ``finite-type" homotopy invariants of free loops, equivalently finite-type class functions on the fundamental group. One major motivation for this calculation is joint work in progress aiming to geometrically construct invariants of links in the 3-sphere as well as other $3$-manifolds, and to realize Milnor's linking numbers as evaluations of 0-th Hochschild homology classes.

Algebraic Topology,Rings and Algebras
Cyclic theory for commutative differential graded algebras and s-cohomology

Dan Burghelea

DOI: https://doi.org/10.48550/arXiv.0905.1489

2009-05-11

Abstract:In this paper one considers three homotopy functors on the category of manifolds, $hH^\ast, cH^\ast, sH^\ast,$ and parallel them with other three homotopy functors on the category of connected commutative differential graded algebras, $HH^\ast, CH^\ast, SH^\ast.$ If $P$ is a smooth 1-connected manifold and the algebra is the de-Rham algebra of $P$ the two pairs of functors agree but in general do not. The functors $ HH^\ast $ and $CH^\ast$ can be also derived as Hochschild resp. cyclic homology of commutative differential graded algebra, but this is not the way they are introduced here. The third $SH^\ast ,$ although inspired from negative cyclic homology, can not be identified with any sort of cyclic homology of any algebra. The functor $sH^\ast$ might play some role in topology. Important tools in the construction of the functors $HH^\ast, CH^\ast $and $SH^\ast ,$ in addition to the linear algebra suggested by cyclic theory, are Sullivan minimal model theorem and the "free loop" construction described in this paper.

Algebraic Topology,K-Theory and Homology
Analytic cyclic homology in positive characteristic

Ralf Meyer,Devarshi Mukherjee

2023-07-04

Abstract:Let $V$ be a complete discrete valuation ring with residue field $\mathbb{F}$. We define a cyclic homology theory for algebras over $\mathbb{F}$, by lifting them to free algebras over $V$, which we enlarge to tube algebras and complete suitably. We show that this theory may be computed using any pro-dagger algebra lifting of an $\mathbb{F}$-algebra. We show that our theory is polynomially homotopy invariant, excisive, and matricially stable.

K-Theory and Homology,Algebraic Geometry,Operator Algebras
Cyclic homology of categorical coalgebras and the free loop space

Manuel Rivera,Daniel Tolosa

2024-03-16

Abstract:We prove that the cyclic chain complex of the categorical coalgebra of singular chains on an arbitrary topological space $X$ is naturally quasi-isomorphic to the $S^1$-equivariant chains of the free loop space of $X$. This statement does not require any hypotheses on $X$ or on the commutative ring of coefficients. Along the way, we introduce a family of polytopes, coined as Goodwillie polytopes, that controls the combinatorics behind the relationship of the coHochschild complex of a categorical coalgebra and the Hochschild complex of its associated differential graded category.

Algebraic Topology,Quantum Algebra
Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

Valerio Proietti,Makoto Yamashita

2023-10-16

Abstract:We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for groupoids which are principal with orbits homeomorphic to a Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

K-Theory and Homology,Dynamical Systems,Operator Algebras
Local duality theorems for commutative algebraic groups

Cristian D. Gonzalez-Aviles

2024-02-02

Abstract:If k is an arbitrary field, we construct a category of k-1-motives in which every commutative algebraic k-group G has a dual object $G^{\vee}$. When k is a local field of arbitrary characteristic, we establish Pontryagin duality theorems that relate the fppf cohomology groups of G to the hypercohomology groups of the k-1-motive $G^{\vee}$. We also obtain a duality theorem for the second cohomology group of an arbitrary k-1-motive. These results have applications (to be discussed elsewhere) to certain extensions of Lichtenbaum-van Hamel duality to a class of non-smooth proper k-varieties.

Number Theory,Algebraic Geometry
Straightening Banach-Lie-group-valued almost-cocycles

Alexandru Chirvasitu

2024-08-05

Abstract:For a compact group $\mathbb{G}$ acting continuously on a Banach Lie group $\mathbb{U}$, we prove that maps $\mathbb{G}\to \mathbb{U}$ close to being 1-cocycles for the action can be deformed analytically into actual 1-cocycles. This recovers Hyers-Ulam stability results of Grove-Karcher-Ruh (trivial $\mathbb{G}$-action, compact Lie $\mathbb{G}$ and $\mathbb{U}$) and de la Harpe-Karoubi (trivial $\mathbb{G}$-action, $\mathbb{U}:=$invertible elements of a Banach algebra). The obvious analogues for higher cocycles also hold for abelian $\mathbb{U}$.

Group Theory,Functional Analysis,General Topology
A $p$-adic local invariant cycle theorem with applications to Brauer groups

Yanshuai Qin

DOI: https://doi.org/10.48550/arXiv.2103.04945

2021-03-09

Abstract:In this article, we prove a $p$-adic analogue of the local invariant cycle theorem for $H^2$ in mixed characteristics. As a result, for a smooth projective variety $X$ over a $p$-adic local field $K$ with a proper flat regular model $\mathcal{X}$ over $O_K$, we show that the natural map $Br(\mathcal{X})\rightarrow Br(X_{\bar{K}})^{G_K}$ has a finite kernel and a finite cokernel. And we prove that the natural map $Hom(Br(X)/Br(K)+Br(\mathcal{X}), \mathbb{Q}/\mathbb{Z}) \rightarrow Alb_X(K)$ has a finite kernel and a finite cokernel, generalizing Lichtenbaum's duality between Brauer groups and Jacobians for curves to arbitrary dimensions.

Algebraic Geometry,Number Theory
The bounded cohomology of transformation groups of Euclidean spaces and discs

Francesco Fournier-Facio,Nicolas Monod,Sam Nariman,Alexander Kupers

2024-09-26

Abstract:We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result for the group of homeomorphisms of the disc that restrict to the identity on the boundary, and for the homeomorphism group of the non-compact Cantor set. In the appendix, Alexander Kupers proves a controlled version of the annulus theorem which we use to study the bounded cohomology of the homeomorphism group of the discs.

Geometric Topology,Algebraic Topology,Group Theory
Homology and K-theory of dynamical systems III. Beyond stably disconnected Smale spaces

Valerio Proietti,Makoto Yamashita

2023-10-17

Abstract:We study homological invariants of étale groupoids arising from Smale spaces, continuing on our previous work, but going beyond the stably disconnected case by incorporating resolutions in the space direction. We show that the homology groups defined by Putnam are isomorphic to the Crainic-Moerdijk groupoid homology with integer coefficients. We also show that the K-groups of C*-algebras of stable and unstable equivalence relations have finite rank. For unstably disconnected Smale spaces, we provide a cohomological spectral sequence whose second page is the (stable) homology groups, and converges to the K-groups of the unstable C*-algebra.

K-Theory and Homology,Dynamical Systems,Operator Algebras
Local indicability of groups with homology circle presentations

Agustín Nicolás Barreto,Elias Gabriel Minian

2023-08-15

Abstract:We investigate conditions that guarantee local indicability of groups that admit presentations with the homology of a circle, generalizing a result of J. Howie for two-relator presentations. We apply our results to investigate local indicability of LOT groups and some classes of non-cycle-free Adian presentations, extending previous results in that direction by J. Howie and D. Wise.

Group Theory,Geometric Topology
Local homology of abstract simplicial complexes

Michael Robinson,Chris Capraro,Cliff Joslyn,Emilie Purvine,Brenda Praggastis,Stephen Ranshous,Arun Sathanur

DOI: https://doi.org/10.48550/arXiv.1805.11547

2018-05-29

Algebraic Topology

Abstract:This survey describes some useful properties of the local homology of abstract simplicial complexes. Although the existing literature on local homology is somewhat dispersed, it is largely dedicated to the study of manifolds, submanifolds, or samplings thereof. While this is a vital perspective, the focus of this survey is squarely on the local homology of abstract simplicial complexes. Our motivation comes from the needs of the analysis of hypergraphs and graphs. In addition to presenting many classical facts in a unified way, this survey presents a few new results about how local homology generalizes useful tools from graph theory. The survey ends with a statistical comparison of graph invariants with local homology.
On topological cyclic homology

Thomas Nikolaus,Peter Scholze

DOI: https://doi.org/10.48550/arXiv.1707.01799

2018-09-07

Abstract:Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by Bökstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to topological cyclic homology, and a theorem of Dundas--Goodwillie--McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing $K$-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the $\infty$-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum $X$ with $S^1$-action (in the most naive sense) together with $S^1$-equivariant maps $\varphi_p: X\to X^{tC_p}$ for all primes $p$. Here $X^{tC_p}=\mathrm{cofib}(\mathrm{Nm}: X_{hC_p}\to X^{hC_p})$ is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps $\varphi_p: X\to X^{tC_p}$ in the example of topological Hochschild homology we introduce and study Tate diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular we prove a version of the Segal conjecture for the Tate diagonals and relate these Frobenius homomorphisms to power operations.

Algebraic Topology,K-Theory and Homology
Virtually free-by-cyclic groups

Dawid Kielak,Marco Linton

2024-06-27

Abstract:We obtain a homological characterisation of virtually free-by-cyclic groups among groups that are hyperbolic and virtually compact special. As a consequence, we show that many groups known to be coherent actually possess the stronger property of being virtually free-by-cyclic. In particular, we show that all one-relator groups with torsion are virtually free-by-cyclic, solving a conjecture of Baumslag.

Group Theory
Non-tautological cycles on moduli spaces of smooth pointed curves

Dario Faro,Carolina Tamborini

2024-10-06

Abstract:In recent work by Arena, Canning, Clader, Haburcak, Li, Mok, and Tamborini it was proven that for infinitely many values of $g$ and $n$, there exist non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of smooth genus $g$, $n$-pointed curves. Here we show how a generalization of their technique allows to cover most of the remaining cases, proving the existence of non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ for all but finitely many values of $g$ and $n$.

Algebraic Geometry
Inclusions of C*-algebras of graded groupoids

Becky Armstrong,Lisa Orloff Clark,Astrid an Huef

DOI: https://doi.org/10.7900/jot.2021aug26.2353

2023-06-04

Abstract:We consider a locally compact Hausdorff groupoid $G$ which is graded over a discrete group. Then the fibre over the identity is an open and closed subgroupoid $G_e$. We show that both the full and reduced C*-algebras of this subgroupoid embed isometrically into the full and reduced C*-algebras of $G$; this extends a theorem of Kaliszewski--Quigg--Raeburn from the étale to the non-étale setting. As an application we show that the full and reduced C*-algebras of $G$ are topologically graded in the sense of Exel, and we discuss the full and reduced C*-algebras of the associated bundles.

Operator Algebras
An algebraic criterion for the vanishing of bounded cohomology

Caterina Campagnolo,Francesco Fournier-Facio,Yash Lodha,Marco Moraschini

2024-07-06

Abstract:We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds; the group of interval exchange transformations of the half line; piecewise linear and piecewise projective groups of the line, giving strong answers to questions of Calegari and Navas; direct limit linear groups of relevance in algebraic K-theory, thereby answering a question by Kastenholz and Sroka and a question of two of the authors and Löh; and certain subgroups of big mapping class groups, such as the stable braid group and the stable mapping class group, proving a conjecture of Bowden. Moreover, we prove that in the recently introduced framework of enumerated groups, the generic group has vanishing bounded cohomology with separable dual coefficients. At the heart of our approach is an elementary algebraic criterion called the commuting cyclic conjugates condition that is readily verifiable for the aforementioned large classes of groups.

Group Theory,Algebraic Topology,Geometric Topology
On the geometric fixed points of real topological cyclic homology

Emanuele Dotto,Kristian Moi,Irakli Patchkoria

DOI: https://doi.org/10.1112/jlms.12862

2024-02-09

Journal of the London Mathematical Society

Abstract:Abstract We give a formula for the geometric fixed‐points spectrum of the real topological cyclic homology of a bounded below ring spectrum, as an equaliser of two maps between tensor products of modules over the norm. We then use this formula to carry out computations in the fundamental examples of spherical group rings, perfect ‐algebras and 2‐torsion‐free rings with perfect modulo 2 reduction. Our calculations agree with the normal L‐theory spectrum in the cases where the latter is known, as conjectured by Nikolaus.

mathematics

Local cyclic homology of group Banach algebras of "non-positively curved" discrete groups

Topological cyclic homology of local fields

Cyclic homology, tight crossed products, and small stabilizations

The cyclic bar construction and fundamental groups

Cyclic theory for commutative differential graded algebras and s-cohomology

Analytic cyclic homology in positive characteristic

Cyclic homology of categorical coalgebras and the free loop space

Homology and K-theory of dynamical systems. IV. Further structural results on groupoid homology

Local duality theorems for commutative algebraic groups

Straightening Banach-Lie-group-valued almost-cocycles

A $p$-adic local invariant cycle theorem with applications to Brauer groups

The bounded cohomology of transformation groups of Euclidean spaces and discs

Homology and K-theory of dynamical systems III. Beyond stably disconnected Smale spaces

Local indicability of groups with homology circle presentations

Local homology of abstract simplicial complexes

On topological cyclic homology

Virtually free-by-cyclic groups

Non-tautological cycles on moduli spaces of smooth pointed curves

Inclusions of C*-algebras of graded groupoids

An algebraic criterion for the vanishing of bounded cohomology

On the geometric fixed points of real topological cyclic homology