Related papers: The $\infty$-Categorical Eckmann-Hilton Argument

First, we give a functorial construction of a group associated to a symmetric operad. Applied to the endomorphism operad it gives the group of formal diffeomorphisms. Second, we associate a symmetric operad to any family of decorated graphs…

We generalize the classical operad pair theory to a new model for $E_\infty$ ring spaces, which we call ring operad theory, and establish a connection with the classical operad pair theory, allowing the classical multiplicative infinite…

With a minor change made in the previous construction we observe that any reduced HNN extension is precisely a compressed algebra of a certain reduced amalgamated free product in both the von Neumann algebra and the $C^*$-algebra settings.…

Given a commuting d-tuple $\bar T=(T_1,...,T_d)$ of otherwise arbitrary nonnormal operators on a Hilbert space, there is an associated Dirac operator $D_{\bar T}$. Significant attributes of the d-tuple are best expressed in terms of…

Let $(X,d)$ be a nonempty metric space and let $n\in \mathbb N^+$. We shall say that $T\colon X\to X$ is a graphic contraction of order $n$ if there exists $\alpha\in (0,1)$ such that the inequality $$ d(T^n x,T^{2n}x) \leqslant \alpha…

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…

It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane's…

Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the…

We prove a conjecture of Freed and Hopkins, which relates deformation classes of reflection positive, invertible, $d$-dimensional extended field theories with fixed symmetry type to a certain generalized cohomology of a Thom spectrum. Along…

Let $HD_d(p,q)$ denote the minimal size of a transversal that can always be guaranteed for a family of compact convex sets in $\mathbb{R}^d$ which satisfy the $(p,q)$-property ($p \geq q \geq d+1$). In a celebrated proof of the…

This note is a complement to Pusz--Woronowicz's works on functional calculus for two positive forms from the viewpoint of operator theory. Based on an elementary, self-contained and purely Hilbert space operator explanation of their…

We define a notion of $\infty$-properads that generalises $\infty$-operads by allowing operations with multiple outputs. Specializing to the case where each operation has a single output provides a simple new perspective on…

We study how the category of $q$-connections depends on the choice of coordinates. We exploit Bhatt's and Scholze's $q$-crystalline site, which is based on a coordinate free formulation of $q$-PD structures, in order to relate $q$-crystals…

We have previously established that $\Pi^1_1$-comprehension is equivalent to the statement that every dilator has a well-founded Bachmann-Howard fixed point, over $\mathbf{ATR_0}$. In the present paper we show that the base theory can be…

An \textit{ideal} of $N$-tuples of operators is a class invariant with respect to unitary equivalence which contains direct sums of arbitrary collections of its members as well as their (reduced) parts. New decomposition theorems (with…

First we confirm a conjecture asserting that any compact K\"ahler manifold $N$ with $\Ric^\perp>0$ must be simply-connected by applying a new viscosity consideration to Whitney's comass of $(p, 0)$-forms. Secondly we prove the projectivity…

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

We prove the existence of the operator product expansion (OPE) in Euclidean Yang-Mills theories as a short-distance expansion, to all orders in perturbation theory. We furthermore show that the Ward identities of the underlying gauge theory…

A knot-theoretic explanation is given for the rationality of the quenched QED beta function. At the link level, the Ward identity entails cancellation of subdivergences generated by one term of the skein relation, which in turn implies…

We show the existence of semiorthogonal decompositions of Donaldson-Thomas categories for $(-1)$-shifted cotangent derived stacks associated with $\Theta$-stratifications on them. Our main result gives an analogue of window theorem for…