Related papers: Secondary Traces
Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister…
We identify the group of framed diffeomorphisms of the torus as a semi-direct product of the torus with the braid group on 3 strands; we also identify the topological monoid of framed local-diffeomorphisms of the torus in similar terms. It…
2-group symmetries are generalized symmetries that arise when 1-form and 0-form symmetries mix with each other. We uncover the existence of a class of 2-group symmetries in general 4d N=2 theories of Class S that can be constructed by…
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…
2-group symmetries arise in physics when a 0-form symmetry $G^{[0]}$ and a 1-form symmetry $H^{[1]}$ intertwine, forming a generalised group-like structure. Specialising to the case where both $G^{[0]}$ and $H^{[1]}$ are compact, connected,…
In this paper, we establish a precise connection between higher rho invariants and delocalized eta invariants. Given an element in a discrete group, if its conjugacy class has polynomial growth, then there is a natural trace map on the…
We prove the analogue of Weyl's law for a noncommutative Riemannian manifold, namely the noncommutative two torus $\mathbb{T}_\theta^2$ equipped with a general translation invariant conformal structure and a Weyl conformal factor. This is…
In [Trace identities and $\bf {Z}/2\bf {Z}$-graded invariants, {\it Trans. Amer. Math. Soc. \bf309} (1988), 581--589] we generalized the first and second fundamental theorems of invariant theory from the general linear group to the general…
Invariants allow to classify images up to the action of a group of transformations. In this paper we introduce notions of the algebras of simultaneous polynomial and rational 2D moment invariants and prove that they are isomorphic to the…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
We provide a complete generators and relations presentation of the 2-dimensional extended unoriented and oriented bordism bicategories as symmetric monoidal bicategories. Thereby we classify these types of 2-dimensional extended topological…
We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…
In a previous work we established a super Schur-Weyl-Brauer duality between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. This led to a proof of the first fundamental theorem of…
The knot coloring polynomial defined by Eisermann for a finite pointed group is generalized to an infinite pointed group as the longitudinal mapping invariant of a knot. In turn this can be thought of as a generalization of the quandle…
We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…
We examine from an invariant theory viewpoint the monoid algebras for two monoids having large symmetry groups. The first monoid is the free left-regular band on $n$ letters, defined on the set of all injective words, that is, the words…
We stabilize the full Arthur-Selberg trace formula for the metaplectic covering of symplectic groups over a number field. This provides a decomposition of the invariant trace formula for metaplectic groups, which encodes information about…
A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental)…