Related papers: Properadic coformality of spheres
Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…
We consider orbit configuration spaces associated to finite groups acting freely by orientation preserving homeomorphisms on the $2$-sphere minus a finite number of points. Such action is equivalent to a homography action of a finite…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
Based on a closed formula for a star product of Wick type on $\CP^n$, which has been discovered in an earlier article of the authors, we explicitly construct a subalgebra of the formal star-algebra (with coefficients contained in the…
We investigate the problem of defining group or loop structures on spheres, where by ''sphere'' we mean the level set q(x) = c of a general K-valued quadratic form q, for an invertible scalar c. When K is a field and q non-degenerate, then…
The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the…
These are significantly expanded lecture notes for the author's minicourse at MSRI in June 2012, as published in the MSRI lecture note series, with some minor additional corrections. In these notes, we give an example-motivated review of…
We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…
We present a systematic study of symmetries, invariants and moduli spaces of classes of coframes. We introduce a classifying Lie algebroid to give a complete description of the solution to Cartan's realization problem that applies to both…
We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…
In this paper, we show that the twisted Poincar\'e duality between Poisson homology and cohomology can be derived from the Serre invertible bimodule. This gives another definition of a unimodular Poisson algebra in terms of its Poisson…
In this paper we generalize classical results on Lie algebras and universal enveloping algebras of Lie algebras to Lie-Rinehart algebras. We define for any Lie-Rinehart algebra $L$ and any cocycle $f$ in $Z^2(L,B)$, a universal enveloping…
By using cocycle deformation, we construct a certain class of Hopf algebras, containing the quantized enveloping algebras and their analogues, from what we call pre-Nichols algebras. Our construction generalizes in some sense the known…
The deformations of an infinite dimensional algebra may be controlled not just by its own cohomology but by that of an associated diagram of algebras, since an infinite dimensional algebra may be absolutely rigid in the classical…
We define the algebraic cobordism of $\infty$-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model…
This is the first in a series of two papers concerned with relative birational geometry of algebraic spaces. In this paper, we study Pr\"ufer spaces and Pr\"ufer pairs of algebraic spaces that generalize spectra of Pr\"ufer rings. As a…
In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear…
We study relative differential and integral forms on families of supermanifolds and their cohomology. We prove a relative Poincar\'e--Verdier duality and show that it relates the cohomology of differential and integral forms, admitting a…
This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincar\'e duality…
Quantum universal enveloping algebras, quantum elliptic algebras and double (deformed) Yangians provide fundamental algebraic structures relevant for many integrable systems. They are described in the FRT formalism by R-matrices which are…