skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Riemann–Roch theorems in monoidal 2-categories
Smooth and proper dg-algebras have an Euler class valued in the Hochschild homology of the algebra. This Euler class is worthy of this name since it satisfies many familiar properties including compatibility with the pairing on the Hochschild homology of the algebra and that of its opposite. This compatibility is the Riemann–Roch theorems of [21, 14]. In this paper, we prove a broad generalization of these Riemann–Roch theorems. We generalize from the bicategory of dg-algebras and their bimodules to symmetric monoidal bicategories and from the Euler class to traces of non-identity maps. Our generalization also implies spectral Riemann–Roch theorems. We regard this result as an instantiation of a 2-dimensional generalized cobordism hypothesis. This perspective draws the result close to many others that generalize results about Euler characteristics and classes to bicategorical traces.  more » « less
Award ID(s):
2052905
PAR ID:
10524504
Author(s) / Creator(s):
;
Publisher / Repository:
Oxford University Press
Date Published:
Journal Name:
The Quarterly Journal of Mathematics
Volume:
74
Issue:
3
ISSN:
0033-5606
Page Range / eLocation ID:
1119 to 1163
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; (, International Mathematics Research Notices)
    null (Ed.)
    Abstract In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology parallel to the Loday–Pirashvili construction of higher Hochschild homology; in fact, we establish a direct geometric relation between the two theories by proving that the representation homology of the suspension of a (pointed connected) space is isomorphic to its higher Hochschild homology. We also construct some natural maps and spectral sequences relating representation homology to other homology theories associated with spaces (such as Pontryagin algebras, $${{\mathbb{S}}}^1$$-equivariant homology of the free loop space, and stable homology of automorphism groups of f.g. free groups). We compute representation homology explicitly (in terms of known invariants) in a number of interesting cases, including spheres, suspensions, complex projective spaces, Riemann surfaces, and some 3-dimensional manifolds, such as link complements in $${\mathbb{R}}^3$$ and the lens spaces $ L(p,q) $. In the case of link complements, we identify the representation homology in terms of ordinary Hochschild homology, which gives a new algebraic invariant of links in $${\mathbb{R}}^3$$. 
    more » « less
  2. ; (, International Mathematics Research Notices)
    Abstract We investigate maximal tori in the Hochschild cohomology Lie algebra $${\operatorname {HH}}^1(A)$$ of a finite dimensional algebra $$A$$, and their connection with the fundamental groups associated to presentations of $$A$$. We prove that every maximal torus in $${\operatorname {HH}}^1(A)$$ arises as the dual of some fundamental group of $$A$$, extending the work by Farkas, Green, and Marcos; de la Peña and Saorín; and Le Meur. Combining this with known invariance results for Hochschild cohomology, we deduce that (in rough terms) the largest rank of a fundamental group of $$A$$ is a derived invariant quantity, and among self-injective algebras, an invariant under stable equivalences of Morita type. Using this we prove that there are only finitely many monomial algebras in any derived equivalence class of finite dimensional algebras; hitherto this was known only for very restricted classes of monomial algebras. 
    more » « less
  3. ; ; (, Forum of Mathematics, Sigma)
    null (Ed.)
    Abstract Let X be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$ -equivariant homology $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ of the free loop space of X preserves the Hodge decomposition of $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture of [7]. 
    more » « less
  4. ; ; (, International Mathematics Research Notices)
    null (Ed.)
    Abstract We study two kinds of categorical traces of (monoidal) dg categories, with particular interest in categories of Soergel bimodules. First, we explicitly compute the usual Hochschild homology, or derived vertical trace, of the category of Soergel bimodules in arbitrary types. Secondly, we introduce the notion of derived horizontal trace of a monoidal dg category and compute the derived horizontal trace of Soergel bimodules in type $$A$$. As an application we obtain a derived annular Khovanov–Rozansky link invariant with an action of full twist insertion, and thus a categorification of the HOMFLY-PT skein module of the solid torus. 
    more » « less
  5. ; ; (, Journal of Algebra and Its Applications)
    The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov’s homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodule resolutions. Our results illustrate the utility of homotopy liftings for theoretical purposes. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email