Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2206.09913

$l^1$-higher index, $l^1$-higher rho invariant and cyclic cohomology

Jinmin Wang·Zhizhang Xie·Guoliang Yu
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we study $l^1$-higher index theory and its pairing with cyclic cohomology for both closed manifolds and compact manifolds with boundary. We first give a sufficient geometric condition for the vanishing of the $l^1$-higher indices of Dirac-type operators on closed manifolds. This leads us to define an $l^1$-version of higher rho invariants. We prove a product formula for these $l^1$-higher rho invariants. A main novelty of our product formula is that it works in the general Banach algebra setting, in particular, the $l^1$-setting. On compact spin manifolds with boundary, we also give a sufficient geometric condition for Dirac operators to have well-defined $l^1$-higher indices. More precisely, we show that, on a compact spin manifold $M$ with boundary equipped with a Riemannian metric which has product structure near the boundary, if the scalar curvature on the boundary is sufficiently large, then the $l^1$-higher index of its Dirac operator $D_M$ is well-defined and lies in the $K$-theory of the $l^1$-algebra of the fundamental group. As an immediate corollary, we see that if the Bost conjecture holds for the fundamental group of $M$, then the $C^\ast$-algebraic higher index of $D_M$ lies in the image of the Baum-Connes assembly map. By pairing the above $K$-theoretic $l^1$-index results with cyclic cocycles, we prove an $l^1$-version of the higher Atiyah-Patodi-Singer index theorem for manifolds with boundary. A key ingredient of its proof is the product formula for $l^1$-higher rho invariants mentioned above.

Explore related subjects

math.KTmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jinmin Wang, Zhizhang Xie, Guoliang Yu. 2022-06-20. $l^1$-higher index, $l^1$-higher rho invariant and cyclic cohomology. https://arxiv.org/abs/2206.09913

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

p-curvature in non-commutative Hodge theory and the Kontsevich-Soibelman operad

Let $\mathcal{C}$ be a differential $\mathbb{Z}/2$-graded category over $\mathbb{C}$. Its periodic cyclic homology $HH^{per}_*(\mathcal{C})$, when viewed as a vector bundle over the formal punctured disk, is equipped with a canonical connection $\nabla^{\mathcal{C}}_{\partial_t}$ called the Getzler-Gauss-Manin connection in the $t$-direction (or the categorical $t$-connection). Our main result is that when $\mathcal{C}$ is smooth and proper, this connection has a regular singularity at $t=0$ and quasi-unipotent monodromy, affirming a conjecture of Katzarkov-Kontsevich-Pantev \cite{KKP}. Our proof follows a reduction mod $p$ argument using a spreading out technique of Toën \cite{To} and a regularity criterion of Katz \cite{Ka1}. The main novelty is the proof of a multiplicative property of the $p$-curvature of $\nabla^{\mathcal{C}}_{\partial_t}$ through an interpretation in terms of the two-colored Kontsevich-Soibelman operad. We then explore two applications of the main result. First, we give an explicit description (under additional assumptions) of the non-commutative Hodge filtration on the periodic cyclic homology of a smooth proper d$(\mathbb{Z}/2)$g category, following a construction of Shklyarov \cite{Shk}. The second application, which is special to our particular method or proof, is an upper bound on the sizes of Jordan blocks of the monodromy of $\nabla^{\mathcal{C}}_{\partial_t}$, which simultaneously generalizes Scherk's local monodromy theorem for isolated hypersurface singularities \cite{Sche} and (partially) a recent result of Pomerleano-Seidel on the quantum connection of a closed monotone symplectic manifold \cite{PS2}. As a specialization, we show that the sizes of these Jordan blocks are bounded above by the diagonal dimension of $\mathcal{C}$ plus one.

math.KT↗
arXiv2026

General linear and Steinberg groups over the Leavitt algebra $L_{\mathbb F_2}(1,2)$

Let $R=L_{\F_2}(1,2)$. We prove that $\GL_r(R)$ is integrally acyclic for every $r\geq1$ and that the canonical map $\St_r(R)\to\GL_r(R)$ is an isomorphism for every $r\geq3$. The unit group $R^\times$ is finitely presented, and we describe an explicit finite presentation. The homology calculation uses leaf coordinates, simultaneous extensions of ordered frames, and finite-field actions on stabilizers. The Steinberg argument lifts relations from a simply connected frame complex and refines coordinates. We also state separate criteria for the two arguments over rings of characteristic two.

math.KT↗