Related papers: Doodles and commutator identities

We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable…

We first recall the basic theory of double vector bundles and the canonical pairing of their duals introduced by the author and by Konieczna and Urbanski. We then show that the relationship between a double vector bundle and its two duals…

Attractor-repeller decompositions of isolated invariant sets give rise to so-called connecting homomorphisms. These homomorphisms reveal information on the existence and structure of connecting trajectories of the underlying dynamical…

In the present paper we continue the study of the elementary commutator subgroups $[E(n,A),E(n,B)]$, where $A$ and $B$ are two-sided ideals of an associative ring $R$, $n\ge 3$. First, we refine and expand a number of the auxiliary results,…

Bounded-cohomological dimension of groups is a relative of classical cohomological dimension, defined in terms of bounded cohomology with trivial coefficients instead of ordinary group cohomology. We will discuss constructions that lead to…

Let $G$ be a Lie group and $G\to\Aut(G)$ be the canonical group homomorphism induced by the adjoint action of a group on itself. We give an explicit description of a 1-1 correspondence between Morita equivalence classes of, on the one hand,…

A dimer model is a quiver with faces embedded into a disk. A consistent dimer model gives rise to a strand diagram, and hence to a positroid. The Gorenstein-projective module category over the completed boundary algebra of a dimer model was…

The composite particle duality extends the notions of both flux attachment and statistical transmutation in spacetime dimensions beyond 2+1D. It constitutes an exact correspondence that can be understood either as a theoretical framework or…

We prove a geometrical version of Herbert's theorem by considering the self-intersection immersions of a self-transverse immersion up to bordism. This generalises Herbert's theorem to additional cohomology theories and gives a commutative…

According to an old result of Albert and Muckenhoupt, the commutators in the endomorphism ring of a finite dimensional vector space are precisely the elements of trace zero. We replace the finite dimensional vector space with a complex of…

Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form…

A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…

In a linear chord diagram a short chord is one which joins adjacent vertices. We define a bubble to be a region in a linear chord diagram devoid of short chords. We derive a formal generating function counting bubbles by their size and find…

Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the…

We show that the identity is the sum of two commutators in the algebra of all operators affiliated with a von Neumann algebra of type II$_1$, settling a question, in the negative, that had puzzled a number of us.

This paper considers the problem of consistently defining subsystems in gravitational theories. It is argued that a subsystem is a spacetime subregion in which the observables form a closed Poisson algebra. In a generally covariant theory,…

We develop a full theoretical approach to clustering in complex networks. A key concept is introduced, the edge multiplicity, that measures the number of triangles passing through an edge. This quantity extends the clustering coefficient in…

We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…

A group, defined as set with associative multiplication and inverse, is a natural structure describing the symmetry of a space. The concept of group generalizes to group objects internal to other categories than sets. But there are yet more…