Related papers: Microformal geometry and homotopy algebras

We consider holomorphic twists of arbitrary supersymmetric theories in four dimensions. Working in the BV formalism, we rederive classical results characterizing the holomorphic twist of chiral and vector supermultiplets, computing the…

We review the prequantization procedure in the context of super symplectic manifolds with a symplectic form which is not necessarily homogeneous. In developing the theory of non homogeneous symplectic forms, there is one surprising result:…

We prove that an \'etale fibration between $L_\infty$-bundles admits local sections composed of several elementary morphisms of particularly simple and accessible type. As applications, we establish an inverse function theorem for…

The canonical formalism in classical theory of QCD is constructed on a space-like hypersurface. The Poisson bracket on the space-like hypersurface is defined and it plays an important role to describe every algebraic relation in the…

Topological constraints play a key role in the self-organizing processes that create structures in macro systems. In fact, if all possible degrees of freedom are actualized on equal footing without constraint, the state of "equipartition"…

We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…

Using the formalism of superconnections, we show the existence of a bosonic action functional for the standard K-cycle in noncommutative geometry, giving rise, through the spectral action principle, only to the Einstein gravity and Standard…

In this paper we analyze the notion of morphisms of rings of superfunctions which is the basic concept underlying the definition of supermanifolds as ringed spaces (i.e. following Berezin, Leites, Manin, etc.). We establish a representation…

We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…

We consider the notions of $L_{\infty}$-, $P_{\infty}$-, and $S_{\infty}$-algebras (including "shifted" versions) in the $\mathbb{Z}_2 \times \mathbb{Z}$-graded setting. We also consider thick (microformal) morphisms and show how they work…

Twisting and classical background fields are two foundational techniques in supersymmetric quantum field theory, central to developments ranging from the Higgs mechanism to topological twisting and supersymmetric localisation. While…

We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

We introduce a natural nondegeneracy condition for Poisson structures, called holonomicity, which is closely related to the notion of a log symplectic form. Holonomic Poisson manifolds are privileged by the fact that their deformation…

As a natural basis of the Hopf algebra of quasisymmetric functions, monomial quasisymmetric functions are formal power series defined from compositions. The same definition applies to left weak compositions, while leads to divergence for…

We provide an off-shell formulation of four-dimensional higher spin gravity based on a covariant Hamiltonian action on an open nine-dimensional Poisson manifold whose boundary consists of the direct product of spacetime and a noncommutative…

Simplicial type theory extends homotopy type theory and equips types with a notion of directed morphisms. A Segal type is defined to be a type in which these directed morphisms can be composed. We show that all higher coherences can be…

We establish rigidity results for holomorphic mappings and plurisubharmonic functions in complex geometry. First, under mild conditions, we show that the gradient of a $\operatorname{U}(1)$-invariant strictly plurisubharmonic function in…

If a closed orientable manifold (resp. rational Poincar\'e duality space) $X$ receives a map $Y \to X$ from a formal manifold (resp. space) $Y$ that hits a fundamental class, then $X$ is formal. The main technical ingredient in the proof…

We use a "twisted group algebra" method to constructively adjoin formal radicals $\sqrt[n]{\alpha}$, for $\alpha$ a unit in a commutative ring spectrum or an invertible object in a symmetric monoidal $\infty$-category. We show that this…