Related papers: Smoothness Theorem for Differential BV Algebras
Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models…
We describe cohomological conditions that are necessary and sufficient for the existence of balanced dualizing dg-modules, generalizing a theorem of Van den Bergh for balanced dualizing complexes over graded algebras. As a consequence, we…
For complex parallelisable manifolds $\Gamma\backslash G$, with $G$ a solvable or semisimple complex Lie group, the Fr\"olicher spectral sequence degenerates at the second page. In the solvable case, the de-Rham cohomology carries a pure…
We describe the construction of Frobenius manifold out of a cyclic (commutative) $BV_\infty$ algebra $(A,\Delta)$ under the assumption of a Hodge-to-de Rham degeneration property and the existence of a compatible homotopy retract of $A$…
As an algebraic study of differential equations, differential algebras have been studied for a century and and become an important area of mathematics. In recent years the area has been expended to the noncommutative associative and Lie…
This thesis deals with deformations of VB-algebroids and VB-groupoids. They can be considered as vector bundles in the categories of Lie algebroids and groupoids and encompass several classical objects, including Lie algebra and Lie group…
Results on derivations and automorphisms of some quantum and classical Poisson algebras, as well as characterizations of manifolds by the Lie structure of such algebras, are revisited and extended. We prove in particular somehow unexpected…
Let $u:A\to B$ be a morphism of noetherian local rings. We obtain smoothness criteria for algebras with differential bases, in the case of rings containing a field of characteristic $p>0.$ We also give smoothness criteria for reduced…
In this paper, we investigate the differential smoothness of bi-quadratic algebras on three generators with PBW basis.
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
We determine the central simple algebras D over a functionfield K of trancendence degree two which admit a model of smooth Cayley-Hamilton algebras. This happens if and only if there is a smooth model S of K such that the ramification…
We study the differential smoothness of Sklyanin algebras in three and four variables. We show that all non-degenerate three-dimensional cases are differentially smooth, while none of the four-dimensional Sklyanin algebras admit a connected…
We call a finite-dimensional complex Lie algebra $\mathfrak{g}$ strongly rigid if its universal enveloping algebra $\Ug$ is rigid as an associative algebra, i.e. every formal associative deformation is equivalent to the trivial deformation.…
Given a domain $\Omega \subset \mathbb{R}^n$, the de Rham complex of differential forms arises naturally in the study of problems in electromagnetism and fluid mechanics defined on $\Omega$, and its discretization helps build stable…
We define quantum exterior product wedge_h and quantum exterior differential d_h on Poisson manifolds (of which symplectic manifolds are an important class of examples). Quantum de Rham cohomology, which is a deformation quantization of de…
Let $V$ be a finite dimensional vector space. Given a decomposition $V\otimes V=\oplus_i^n I_i$, define $n$ quadratic algebras $(V, J_m)$ where $J_m=\oplus_{i\neq m} I_i$. This decomposition defines also the quantum semigroup…
In this paper we give a smooth linearization theorem for nonautonomous differential equations with a nonuniform strong exponential dichotomy. In terms of discretized evolution operator with hyperbolic fixed point 0, we formulate its…
We define quantum exterior product wedge_h and quantum exterior differential d_h on Poisson manifolds, of which symplectic manifolds are an important class of examples. Quantum de Rham cohomology is defined as the cohomology of d_h. We also…
We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric…
We revisit the non-commutative Hodge-to-de Rham Degeneration Theorem of the first author, and present its proof in a somewhat streamlined and improved form that explicitly uses spectral algebraic geometry. We also try to explain why…