Related papers: Traces for factorization homology in dimension 1

We prove a relative Lefschetz-Verdier theorem for locally acyclic objects over a Noetherian base scheme. This is done by studying duals and traces in the symmetric monoidal $2$-category of cohomological correspondences. We show that local…

We define a $\mathbb{Z}_2$-valued invariant for transversely-intersecting coassociative $4$-folds equipped with spin structures. Our main result shows this invariant provides an obstruction to separating two such coassociatives through a…

A new concept of meromorphic $\Sigma$-factorization, for H\"{o}lder continuous functions defined on a contour $\Gamma$ that is the pullback of $\dot{\mathbb{R}}$ (or the unit circle) in a Riemann surface $\Sigma$ of genus 1, is introduced…

We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…

We study some of the factorization invariants of the class of Puiseux monoids generated by geometric sequences, and we compare and contrast them with the known results for numerical monoids generated by arithmetic sequences. The class we…

We leverage the results of the prequel in combination with a theorem of D. Orlov to yield some results in Hodge theory of derived categories of factorizations and derived categories of coherent sheaves on varieties. In particular, we…

We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which…

In this paper, we study genuine equivariant factorization homology and its interaction with equivariant Thom spectra, which we construct using the language of parametrized higher category theory. We describe the genuine equivariant…

We show that the category of linearly topologized vector spaces over discrete fields constitutes the correct framework for algebraic structures on Floer homologies with field coefficients. Our case in point is the Poincar\'e duality theorem…

For a compact Lie group G, we use G-equivariant Poincar\'e duality for ordinary RO(G)-graded homology to define an equivariant intersection product, the dual of the equivariant cup product. Using this, we give a homological construction of…

We explain how the Johnson homomorphism and the Enomoto-Satoh trace, as well as higher-loop-order generalizations, can be obtained from graph complexes originating in the Goodwillie-Weiss calculus. This paper can be seen as an addendum to…

We introduce and investigate the category of factorization of a multiplicative, commutative, cancellative, pre-ordered monoid $A$, which we denote $\mathcal{F}(A)$. The objects of $\mathcal{F}(A)$ are factorizations of elements of $A$, and…

This work identifies the Reshetikhin-Turaev invariant of links in terms of a trace map on factorization homology. In particular, to recover the knot invariants associated to Chern-Simons theories, we construct a filtered…

This paper is a follow-up to arXiv:2407.08471. Let $X$ be a a $(-1)$-shifted symplectic derived Deligne--Mumford stack. Thanks to the Darboux lemma of Brav--Bussi--Joyce, $X$ is locally modeled by derived critical loci of a function $f$ on…

Let $M$ be a closed connected smooth manifold and $G=\textmd{Diff}_0(M)$ denote the connected component of the diffeomorphism group of $M$ containing the identity. The natural action of $G$ on $M$ induces the trace homomorphism on homology.…

A categorification of a polynomial link invariant is an homological invariant which contains the polynomial one as its graded Euler characteristic. This field has been initiated by Khovanov categorification of the Jones polynomial. Later,…

We define a noncommutative analogue of invariant de Rham cohomology. More precisely, for a triple $(A,\mathcal{H},M)$ consisting of a Hopf algebra $\mathcal{H}$, an $\mathcal{H}$-comodule algebra $A$, an $\mathcal{H}$-module $M$, and a…

The familiar trace of a square matrix generalizes to a trace of an endomorphism of a dualizable object in a symmetric monoidal category. To extend these ideas to other settings, such as modules over non-commutative rings, the trace can be…

We compute the factorisation homology of the four-punctured sphere and punctured torus over the quantum group $\mathcal{U}_q(\mathfrak{sl}_2)$ explicitly as categories of equivariant modules using the framework of `Integrating Quantum…

We derive a formula for the regularized trace of operators with compact spectrum which act on the space of square integrable functions on the quotient of a semisimple Liegroup of real rank one by a convex-cocompact subgroup. The sum of…