Related papers: Log Geometric Models for Little Disks Operads in E…

We describe new graphical models of the framed little disks operads which exhibit large symmetry dg Lie algebras.

We construct a canonical chain of formality quasiisomorphisms for the operad of chains on framed little disks and the operad of chains on little disks. The construction is done in terms of logarithmic algebraic geometry and is remarkable…

We develop the theory of "virtual morphisms" in logarithmic algebraic geometry, introduced by Howell. It allows one to give algebro-geometric meaning to various useful maps of topological spaces that do not correspond to morphisms of (log)…

In a recent paper, Horel-Krannich-Kupers proved that all endomorphisms of the little $d$-disk operad are automorphisms. In this paper we show that this is also true for the framed little $d$-disk operad by using the classification of self…

We prove that the operad of framed little 2-discs is formal. Tamarkin and Kontsevich each proved that the unframed 2-discs operad is formal. The unframed 2-discs is an operad in the category of S^1-spaces, and the framed 2-discs operad can…

We construct small cylinders for cellular non-symmetric DG-operads over an arbitrary commutative ring by using the basic perturbation lemma from homological algebra. We show that our construction, applied to the A-infinity operad, yields…

The little $n$-disks operad is $SO(n)$ and $O(n)$-equivariantly formal over the rationals. Equivalently, the oriented and unoriented framed little disks operads are rationally formal as $\infty$-operads.

In this work we study the framework of mathematical morphology on simplicial complex spaces. Simplicial complexes are widely used to represent multidimensional data, such as meshes, that are two dimensional complexes, or graphs, that can be…

We prove the existence of designs of small size in a number of contexts. In particular our techniques can be applied to prove the existence of $n$-designs on $S^{d}$ of size $O_d(n^{d}\log(n)^{d-1})$.

In this article we describe the construction of logarithmic models in both real and complex cases. A logarithmic model is a germ of closed meromorphic 1-form with simple poles - and the analytic foliation defined by it - produced upon some…

Using log-geometry, we construct a model for the configuration category of a smooth algebraic variety. As an application, we prove the formality of certain configuration spaces.

We introduce a new operad, which we call the Swiss-cheese operad. It mixes naturally the little disks and the little intervals operads. The Swiss-cheese operad is related to the configuration spaces of points on the upper half-plane and…

We construct helicoid-like embedded minimal disks with axes along self-similar curves modeled on logarithmic spirals. The surfaces have a self-similarity inherited from the curves and the nature of the construction. Moreover, inside of a…

In this expository paper we give an elementary, hands-on computation of the homology of the little disks operad, showing that the homology of a $d-fold loop space is a Poisson algebra. One aim is to familiarize a greater audience with…

We prove that the chain operad of the framed little balls (or disks) operad is not formal as a non-symmetric operad over the rationals if the dimension of their balls is odd and greater than 4.

We study configuration spaces of framed points on oriented closed smooth manifolds. Such configuration spaces admit natural actions of the framed little discs operads, that play an important role in the study of embedding spaces of…

A purely algebraic algorithm for computation of invariants (generalized Casimir operators) of Lie algebras by means of moving frames is discussed. Results on the application of the method to computation of invariants of low-dimensional Lie…

We study bicolored configurations of points in the Euclidean $n$-space that are constrained to remain either inside or outside a fixed Euclidean $m$-subspace, with $n - m \ge 2$. We define a higher-codimensional variant of the Swiss-Cheese…

We study the continuous motion of smooth isometric embeddings of a planar surface in three-dimensional Euclidean space, and two related discrete analogues of these embeddings, polygonal embeddings and flat foldings without interior…

Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…