Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0710.1937

Hirzebruch-Riemann-Roch theorem for DG algebras

D. Shklyarov
View original source ↗Read source document ↗Export metadata ↓

Abstract

For an arbitrary proper DG algebra A (i.e. DG algebra with finite dimensional total cohomology) we introduce a pairing on the Hochschild homology of A and present an explicit formula for a Chern-type character of an arbitrary perfect A-module (the Chern characters take values in the Hochschild homology of A). The Hirzebruch-Riemann-Roch formula in this context expresses the Euler characteristic of the Hom-complex between two perfect A-modules in terms of the pairing of their Chern characters. We mention two examples of proper DG algebras and the HRR formulas for them. The first example is Ringel's formula for quivers with relations. The second example is related to orbifold singularities of the form V/G where V is a complex vector space and G is a finite subgroup of SL(V). Furthermore, we prove that the above pairing on the Hochschild homology is non-degenerate when the DG algebra is smooth. We also formulate the conjecture that for a Calabi-Yau DG algebra A the pairing coincides with the one coming from the Topological Field Theory associated with A and verify it in the case of Frobenius algebras.

Explore related subjects

math.KTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

D. Shklyarov. 2008-05-11. Hirzebruch-Riemann-Roch theorem for DG algebras. https://doi.org/10.1112/plms%2Fpds034

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↗