Related papers: Oriented bivariant theories, I

Optimal transport (OT) is a widely used technique in machine learning, graphics, and vision that aligns two distributions or datasets using their relative geometry. In symmetry-rich settings, however, OT alignments based solely on pairwise…

We show that the spectral Mackey functors associated to the equivariant algebraic $K$-theory spectra of Guillou-May and Merling (originally constructed using pointset models) can be described purely $\infty$-categorically in terms of the…

We prove in this paper a Borel-Weil-Bott type theorem for the coHochschild homology of a quantum shuffle algebra associated with quantum group datum taking coefficients in some well-chosen bicomodules, which can be looked as an analogue of…

The Borel-Weil-Bott theorem describes the cohomology of line bundles over flag varieties. Here, one generalizes this theorem to a wider class of projective varieties : the wonderful varieties of minimal rank.

Let $\{T_1, \ldots, T_n\}$ be a set of $n$ commuting bounded linear operators on a Hilbert space $\mathcal{H}$. Then the $n$-tuple $(T_1, \ldots, T_n)$ turns $\mathcal{H}$ into a module over $\mathbb{C}[z_1, \ldots, z_n]$ in the following…

The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that…

The purpose of this article is to compare several versions of bivariant algebraic cobordism constructed previously by the author and others. In particular, we show that a simple construction based on the universal precobordism theory of…

An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…

Witten- Helffer-Sj\"ostrand theory is a considerable addition to the De Rham- Hodge theory for Riemannian manifolds and can serve as a general tool to prove results about comparison of numerical invariants associated to compact manifolds…

For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth…

Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…

We give complete geometric invariants of cobordisms of framed fold maps. These invariants consist of two types. We take the immersion of the fold singular set into the target manifold together with information about non-triviality of the…

Mixture-of-Experts (MoE) models have become increasingly powerful in multimodal learning by enabling modular specialization across modalities. However, their effectiveness remains unclear when additional modalities introduce more noise than…

We find some lifts to M theory of orientifold and orbifold planes including the O1, O3 and O5 planes of Type IIB and their transformations under SL(2,Z). The possible discrete torsion variants (or K theory classes) are explored, and are…

This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized…

Inspired by the work of Wang and Zhou [4] for Rota-Baxter algebras, we develop a cohomology theory of Rota-Baxter systems and justify it by interpreting the lower degree cohomology groups as formal deformations and as abelian extensions of…

Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…

Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…

Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the…

In this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT). The result -- cubical modal type theory…