Related papers: Global formality at the $G_\infty$-level

This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic geometry. As a consequence of our…

A generalized Baumslag-Solitar group (GBS group) is a finitely generated group $G$ which acts on a tree with all edge and vertex stabilizers infinite cyclic. We show that Out(G) either contains non-abelian free groups or is virtually…

We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic…

We show that a holomorphic two-form $\theta$ on a smooth algebraic variety X localizes the virtual fundamental class of the moduli of stable maps $\mgn(X,\beta)$ to the locus where $\theta$ degenerates; it then enables us to define the…

Let $K$ be a field of characteristic zero complete with respect to a non-trivial, non-Archimedean valuation. We relate the sheaf $\widehat{\mathcal{D}}$ of infinite order differential operators on smooth rigid $K$-analytic spaces to the…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

Fix an integral semisimple element $\lambda$ in the Lie algebra $\mathfrak{g}$ of a complex reductive algebraic group $G$. Let $L$ denote the centralizer of $\lambda$ in $G$ and let $\mathfrak{g}(-1)$ denote the $-1$ eigenspace of…

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…

A theorem of Hukuhara, Levelt, and Turrittin states that every formal differential operator has a Jordan decomposition. This theorem was generalised by Babbit and Varadarajan to the case of formal $G$-connections where $G$ is a semisimple…

A theorem of L\"utkebohmert states that a rigid group homomorphism from the formal multiplicative group to a smooth commutative rigid group $G$, with relatively compact image, can be extended to a homomorphism from the rigid multiplicative…

In this paper, we establish a real closed analogue of Bertini's theorem. Let $R$ be a real closed field and $X$ a formally real integral algebraic variety over $R$. We show that if the zero locus of a nonzero global section $s$ of an…

We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety with a rig-smooth closed subvariety. This solves…

We strengthen the compatibility between local and global Langlands correspondences for GL_{n} when n is even and l=p. Let L be a CM field and \Pi\ a cuspidal automorphic representation of GL_{n}(\mathbb{A}_{L}) which is conjugate self-dual…

We show that for flat morphisms between varieties with rational singularities, the higher direct images of the structure sheaf are locally free. As a consequence, the identity component of the relative Picard scheme is a smooth algebraic…

We apply the technique of formal geometry to give a necessary and sufficient condition for a line bundle supported on a smooth Lagrangian subvariety to deform to a sheaf of modules over a fixed deformation quantization of the structure…

We give a new proof of formality of the operad of little disks. The proof makes use of an operadic version of a simple formality criterion for commutative differential graded algebras due to Sullivan. We see that formality is a direct…

Let $G$ be a complex, connected, reductive, algebraic group, and $\chi:\mathbb{C}^\times \to G$ be a fixed cocharacter that defines a grading on $\mathfrak{g}$, the Lie algebra of $G$. Let $G_0$ be the centralizer of…

We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a globalization. This result is used to establish a connection between ordered partial actions of groupoids and a multi-object analogue…

We classify subalgebras of a ring of differential operators which are big in the sense that the extension of associated graded rings is finite. We show that these subalgebras correspond, up to automorphisms, to uniformly ramified finite…

We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.