Related papers: Iterated traces in 2-categories and Lefschetz theo…
Traced monoidal categories are used to model processes that can feed their outputs back to their own inputs, abstracting iteration. The category of finite dimensional Hilbert spaces with the direct sum tensor is not traced. But…
With any even Hecke symmetry R (that is a Hecke type solution of the Yang-Baxter equation) we associate a quasitensor category. We formulate a condition on R implying that the constructed category is rigid and its commutativity isomorphisms…
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…
In the setting of continuous maps between compact orientable manifolds of the same dimension, there is a well known averaging formula for the coincidence Lefschetz number in terms of the Lefschetz numbers of lifts to some finite covering…
We prove a general inequality for more than two sequences mirroring that of the discrete two-sequence Cauchy-Schwarz.
We consider a generalized Riemann-Hurwitz formula as it may be applied to rational maps between projective varieties having an indeterminacy set and fold-like singularities. The case of a holomorphic branched covering map is recalled. Then…
Derived brackets as introduced and studied by Kosmann-Schwarzbach and Voronov are a powerful tool for describing and understanding infinitesimal symmetry actions relevant in physics. Roytenberg and Weinstein showed that this continues to…
We generalise the formula expressing the matrix trace of a given square matrix as the integral of the numerical values of $A$ over the Euclidean sphere to the unit spheres of finite-dimensional normed spaces that have a 1-symmetric basis.…
We show that the combinatorial Lefschetz number is a topological invariant. This is an important result in itself; in order to point it out, we will also work here several relevant consequences in different directions. The first of them is…
We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…
We establish the invariant trace formula (\`a la Arthur) for the ad\'elic covers of connected reductive groups over a number field, under the hypothesis that the trace Paley-Wiener theorem is verified for all Levi subgroups at the real…
In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…
Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind…
We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…
Layered monoidal theories provide a categorical framework for studying scientific theories at different levels of abstraction, via string diagrammatic algebra. We introduce models for three closely related classes of layered monoidal…
We continue the work begun in OEIS sequence A332636 which presents recursive sequences that have triangles that appear embedded in them. This paper i) generalizes the main result presented in A332636, ii) provides a complete set of…
Let $F$ be a smooth foliation on a closed Riemannian manifold $M$, and let $\Lambda$ be a transverse invariant measure of $F$. Suppose that $\Lambda$ is absolutely continuous with respect to the Lebesgue measure on smooth transversals. Then…
We develop a self-dual, bivariant extension of the concept of an operadic category, its associated operads and their algebras. Our new theory covers, besides all classical subjects, also generalized traces and bivariant versions of…
We explain how to compute idempotents that correspond to the indecomposable objects in the Hecke category. Closed formulas are provided for some common coefficients that appear in these idempotents. We also explain how to compute…
We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories.…