Related papers: Properadic coformality of spheres

We prove that the notion of a curved pre-Calabi--Yau algebra is equivalent to the notion of a curved homotopy double Poisson gebra, thereby settling the equivalence between the two ways to define derived noncommutative Poisson structures.…

In this paper, we initiate the generalisation of the operadic calculus which governs the properties of homotopy algebras to a properadic calculus which governs the properties of homotopy gebras over a properad. In this first article of a…

We give a systematic construction of the symmetries, or observables in the vacuum sector, of a full conformal field theory on an arbitrary real two-dimensional conformal manifold $\Sigma$. Specifically, we construct a prefactorisation…

In this paper we provide a sharp characterization of the smooth four-dimensional sphere. The assumptions of the theorem are conformally invariant, and can be reduced to an L^2 inequality of the Weyl tensor and positivity of the Yamabe…

We give a complete classification of all algebras appearing as endomorphism algebras of maximal rigid objects in standard 2-Calabi-Yau categories of finite type. Such categories are equivalent to certain orbit categories of derived…

Given a compact complex $n$-fold $X$ satisfying the $\partial\bar\partial$-lemma and supposed to have a trivial canonical bundle $K_X$ and to admit a balanced (=semi-K\"ahler) Hermitian metric $\omega$, we introduce the concept of…

The solution of the Calabi Conjecture by Yau implies that every K\"ahler Calabi-Yau manifold $X$ admits a metric with holonomy contained in $\textrm{SU}(n)$, and that these metrics are parametrized by the positive cone in…

Spherically symmetric models of loop quantum gravity have been studied recently by different methods that aim to deal with structure functions in the usual constraint algebra of gravitational systems. As noticed by Gambini and Pullin, a…

Let ${\mathbb C}[x_1,\dots,x_n]_{d+1}$ be the vector space of homogeneous forms of degree $d+1$ on ${\mathbb C}^n$, with $n,d\ge 2$. In earlier articles by J. Alper, M. Eastwood and the author, we introduced a morphism, called $A$, that…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

We consider the properad that governs the balanced infinitesimal bialgebras equipped with a coproduct of degree $1-d$. This properad naturally encodes a part of the structure of the pre-Calabi-Yau algebras of degree $d$. We compute the…

We study the deformation theory of morphisms of properads and props thereby extending to a non-linear framework Quillen's deformation theory for commutative rings. The associated chain complex is endowed with a Lie algebra up to homotopy…

We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the…

By using the coproduct and evaluation map for the affine Yangian and the Miura map for non-rectangular $W$-algebras, we construct a homomorphism from the affine Yangian associated with $\widehat{\mathfrak{sl}}(n)$ to the universal…

We study the quadratic algebras $A(K,X,r)$ associated to a class of strictly braided but idempotent set-theoretic solutions $(X,r)$ of the Yang-Baxter or braid relations. In the invertible case, these algebras would be analogues of…

The problem of the classification of the indefinite binary quadratic forms with integer coefficients is solved introducing a special partition of the de Sitter world, where the coefficients of the forms lie, into separate domains. Every…

There is a homotopy hypercommutative algebra structure on the cohomology of a Calabi-Yau variety. The truncation of this homotopy hypercommutative algebra to a strict hypercommutative algebra is well-known as a mathematical realization of…

We introduce uniparametric and multiparametric quantisations of the general linear supergroup, in the form of "quantised function algebras", both in a formal setting - yielding "quantum formal series Hopf superalgebras", a` la Drinfeld -…

We prove an equivalence between cocomplete Yoneda structures and certain proarrow equipments on a 2-category $\mathcal K$. In order to do this, we recognize the presheaf construction of a cocomplete Yoneda structure as a relative, lax…

We show that $A_s(n)$, the coordinate algebra of Wang's quantum permutation group, is Calabi-Yau of dimension $3$ when $n\geq 4$, and compute its Hochschild cohomology with trivial coefficients. We also show that, for a larger class of…