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

If $\rho$ is a binary relation on a set $X$, the structure ${\mathbb X}=\langle X,\rho\rangle$ is connected iff the minimal equivalence relation containing $\rho$ is the full relation on $X$. We show that, for a set $I$ the following…

In quantum logical terms, Hardy-type arguments can be uniformly presented and extended as collections of intertwined contexts and their observables. If interpreted classically those structures serve as graph-theoretic "gadgets" that enforce…

Reference [1] established an index theory for a class of linear selfadjoint operator equations covering both second order linear Hamiltonian systems and first order linear Hamiltonian systems as special cases. In this paper based upon this…

A product system E over a semigroup P is a family of Hilbert spaces {E_s:s\in P} together with multiplications E_s \times E_t\to E_{st}. We view E as a unitary- valued cocycle on P, and consider twisted crossed products A \times_{\beta,E} P…

We study the Eckmann-Hilton dual of the little disks algebra structure on iterated loop spaces: With the right definitions, every $n$-fold suspension is a coalgebra over the little $n$-disks operad. This structure induces non-trivial…

Given a bounded operator $Q$ on a Hilbert space $\mathcal{H}$, a pair of bounded operators $(T_1, T_2)$ on $\mathcal{H}$ is said to be $Q$-commuting if one of the following holds: \[ T_1T_2=QT_2T_1 \text{ or }T_1T_2=T_2QT_1 \text{ or…

Our main result is a recognition principle for iterated suspensions as coalgebras over the little disks operads. Given a topological operad, we construct a comonad in pointed topological spaces endowed with the wedge product. We then prove…

Let $B$ denote the weighted adjacency matrix of a balanced, symmetric, bipartite graph. We define a class of bosonic networks given by Hamiltonians whose hopping terms are determined by $B$. We show that each quantum Hamiltonian is…

Suppose A and B are unital C*-algebras and A is separable. Let Rep(A,B) denote the set of all unital *-homomorphisms from A to B with the topology of pointwise convergence. We consider the problem of when the closure of the unitary orbit of…

Let $D,X \in B(H)$ be bounded operators on an infinite dimensional Hilbert space $H$. If the commutator $[D,X] = DX-XD$ lies within $\varepsilon$ in operator norm of the identity operator $1_{B(H)}$, then it was observed by Popa that one…

We provide a categorification of Oh and Suh's combinatorial Auslander-Reiten quivers in the simply laced case. We work within the perfectly valued derived category $\mathrm{pvd}(\Pi_Q)$ of the 2-dimensional Ginzburg dg algebra of a Dynkin…

It is a classical theorem of Alexandroff that a locally compact Hausdorff space has a one-point Hausdorff compactification if and only if it is non-compact. The one-point Hausdorff compactification is indeed obtained by adding the so called…

We discuss compactness of the d-bar-Neumann operator in the setting of weighted L^2-spaces on C^n.$ For this purpose we use a description of relatively compact subsets of L^2- spaces. We also point out how to use this method to show that…

Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p \ge 0$. We give a case-free proof of Lusztig's conjectures [Unipotent elements in small characteristic, {\em Transform. Groups} 10…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

The existence of a natural and projectively equivariant quantization in the sense of Lecomte [20] was proved recently by M. Bordemann [4], using the framework of Thomas-Whitehead connections. We give a new proof of existence using the…

Let $P \subset \mathbb{R}^{d}$ be a closed convex cone. Assume that $P$ is pointed, i.e. the intersection $P \cap -P=\{0\}$ and $P$ is spanning, i.e. $P-P=\mathbb{R}^{d}$. Denote the interior of $P$ by $\Omega$. Let $E$ be a product system…

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…

Let us suppose that $\mathbb{Q}_p$ is the field of $p$-adic numbers and $\mathbb{G}$ is a split connected reductive group scheme over $\mathbb{Z}_p$. In this work we will introduce a sheaf of twisted arithmetic differential operators on the…