Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2304.13345

Deformation and $K$-theoretic Index Formulae on Boundary Groupoids

Yu Qiao·Bing Kwan So
View original source ↗Read source document ↗Export metadata ↓

Abstract

Boundary groupoids were introduced by the second author, which can be used to model many analysis problems on singular spaces. In order to investigate index theory on boundary groupoids, we introduce the notion of {\em a deformation from the pair groupoid}.Under the assumption that a deformation from the pair groupoid $M \times M$ exists for Lie groupoid $\mathcal{G}\rightrightarrows M$, we construct explicitly a deformation index map relating the analytic index on $\mathcal{G}$ and the index on the pair groupoid. We apply this map to boundary groupoids of the form $\mathcal{G} = M_0 \times M_0 \sqcup G \times M_1 \times M_1 \rightrightarrows M=M_0\sqcup M_1$, where $G$ is an exponential Lie group, to obtain index formulae for (fully) elliptic (pseudo)-differential operators on $\mathcal{G}$, with the aid of the index formula by M. J. Pflaum, H. Posthuma, and X. Tang. These results recover and generalize our previous results for renormalizable boundary groupoids via the method of renormalized trace.

Explore related subjects

math.KTmath.DGmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yu Qiao, Bing Kwan So. 2024-12-12. Deformation and $K$-theoretic Index Formulae on Boundary Groupoids. https://doi.org/10.4171/jncg%2F579

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

KEEP EXPLORING

Related papers

arXiv2026

Improved injective stability for relative $\mathrm{K_1Sp}$-groups

We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$ is a regular $k$-spot. We then introduce a relative version of the symplectic elementary Witt group and show that it fits into a relative version of the Karoubi periodicity sequence. Combining these results, we improve the existing injective stability bounds for relative linear and symplectic $\mathrm{K_1}$-groups of smooth affine algebras over various base fields. As an application, we give a necessary and sufficient condition for the freeness of stably free modules over smooth real $4$-folds with empty real locus.

math.KT↗
arXiv2026

The Nil K-groups of finite groups

We show that for every finite group $G$ and every integer $n$, the Nil group $\mathrm{NK}_n(\mathbb{Z}[G])$ of the integral group ring of $G$ has finite exponent, and give a bound depending on n and the order $|G|$. This bound is explicit when every prime divisor of $|G|$ is at least $3+n/2$. More generally, our finite exponent result applies to $\mathrm{NK}_n(R[G])$ whenever $R$ is a regular, torsion-free, Noetherian commutative ring such that $R/p$ is regular for every prime $p$ that divides $|G|$. In the Appendix, M. Morrow provides an alternative approach and also shows that the Nil group $\mathrm{NK}_n(X)$ of an excellent Noetherian scheme $X$, with $X[1/p]$ regular, is annihilated by a finite power of $p$, provided $X$ admits a suitable resolution of singularities. By extending his argument to certain noncommutative rings, we also show that, for $R$ as above and $α$ any automorphism of $G$, the Farrell Nil groups $\mathrm{NK}_n(R[G],α)$ have finite exponent. As a consequence, for every virtually cyclic group $Γ$, the group $\mathrm{K}_n(\mathbb{Z}[Γ])$ is a direct sum of a finitely generated abelian group and an infinite countable direct sum of copies of a finite abelian group.

math.KT↗
arXiv2026

Quantum CW-complexes in a Waldhausen category for unital C*-algebras

Using the ring structure of the K-groups of finite CW-complexes, Atiyah and Todd unravelled the K-theory of complex projective spaces $CP^n$. Herein, in the realm of noncommutative topology, we develop a new framework of finite quantum CW-complexes using the language of Waldhausen categories, which allows us to enrich the class of standard morphisms between unital C*-algebras by adding inverses of *-homomorphisms that are isomorphisms in K-theory. Our concept of quantum CW-complexes subsumes earlier constructions and enjoys a plethora of examples. Moreover, the framework allows us to reduce problems concerning the multipushout quantum complex projective space $CP^n_H$ to the much more approachable setting of the Vaksman-Soibelman quantum complex projective space $CP^n_q$ enjoying the availability of graph-algebraic methods. In particular, these methods permit us to transport the ring structure from $K^0(CP^n)$ to $K^0(CP_q^n)$. Finally, we adapt the formalism of Waldhausen categories to determine a natural set of free generators of $K^0(CP_H^n)$ from a natural set of free generators of $K^0(CP_q^n)$, and to transport the ring structure from $K^0(CP_q^n)$ to $K^0(CP_H^n)$.

math.KT↗