Related papers: Trace decategorification of categorified quantum s…

In a previous paper, we obtained a general trace formula for double coset operators acting on modular forms for congruence subgroups, expressed as a sum over conjugacy classes. Here we specialize it to the congruence subgroups $\Gamma_0(N)$…

We give a geometric interpretation of the Jones-Ocneanu trace on the Hecke algebra, using the equivariant cohomology of sheaves on SL(n). This construction makes sense for all simple algebraic groups, so we obtain a generalization of the…

In this work, we study the Hochschild-Mitchell Cohomology of triangular matrix categories. Given a triangular matrix category $\Lambda=\left[ \begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix}\right]$, we investigate…

Let $A$ be a selfadjoint operator in a separable Hilbert space, $K$ a selfadjoint Hilbert-Schmidt operator, and $f\in C^n(\mathbb{R})$. We establish that $\varphi(t)=f(A+tK)-f(A)$ is $n$-times continuously differentiable on $\mathbb{R}$ in…

This paper is a continuation of previous work of the author. We use the categorical trace formalism to give a construction of the categorical Jordan decomposition for representations of finite groups of Lie type. As a second application, we…

We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the…

We define a bicomplex whose Euler characteristic is the idempotented version of the ribbon element of quantum sl(2). We show that properties of this bicomplex descend to the centrality, invertibility and symmetries of the ribbon element…

The Hochschild cohomology of a differential graded algebra, or a differential graded category, admits a natural map to the graded center of its homology category: the characteristic homomorphism. We interpret it as an edge homomorphism in a…

We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}: hom_C(x,x) \to hom_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from…

Let $k$ be an algebraically closed field of characteristic $p>2$. We determine the Hochschild cohomology of $U(\mathfrak{sl}_2(k))$ and the invariants of $\mathfrak{sl}_2(k)$ and $\mathsf{SL}_2(k)$ in the adjoint action on the divided power…

This paper deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully…

DEKL 2.0 is a dependent type-theoretic framework for trace-indexed knowledge evolution. Its central claim is that the proof calculus remains monotone under standard structural rules, while non-monotonic behavior arises semantically from…

We flesh out the theory of "trace theories" and "trace functors" sketched in arXiv:1308.3743, extend it to a homotopical setting, and prove a reconstruction theorem claiming that a trace theory is completely determined by the associated…

We compute the indecomposable objects of \dot{U}^+_3 - the category that categorifies the positive half of the quantum sl_3, and we decompose an arbitrary object into indecomposable ones. On decategorified level we obtain the Lusztig's…

Let M be a compact Riemannian manifold equipped with a parallel differential form \omega. We prove a version of Kaehler identities in this setting. This is used to show that the de Rham algebra of M is weakly equivalent to its subquotient…

We study a new notion of trace operators and trace spaces for abstract Hilbert complexes. We introduce trace spaces as quotient spaces/annihilators. We characterize the kernels and images of the related trace operators and discuss duality…

Let G a be subgroup of SL(2,C), the group of 2x2 matrices of determinant 1 with complex entries. Let h map onto h(G) be a homomorphism. We call h a trace preserving homomorphism if tr(h(g))=tr(g) for all g in G,where tr(g) is the trace of…

This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every…

We develop uniform approximations for the trace formula for non-integrable systems in which SU(2) symmetry is broken by a non-linear term of the Hamiltonian. As specific examples, we investigate H\'enon-Heiles type potentials. Our formalism…

We show that the space of trace-class operators on a Hilbert module over a commutative C*-algebra, as defined and studied in earlier work of Stern and van Suijlekom (Journal of Functional Analysis, 2021), is completely isometrically…