Related papers: Formality of DG algebras (after Kaledin)
For a simply connected solvable Lie group G with a cocompact discrete subgroup {\Gamma}, we consider the space of differential forms on the solvmanifold G/{\Gamma} with values in certain flat bundle so that this space has a structure of a…
We prove a result concerning formality of the pull-back of a fibration. Our approach is to use bar complexes in the category of commutative differential graded algebras. As an application, we generalize an old result of Baum and Smith.
Let $X$ be a simply connected path connected topological space which is formal in the sense of rational homotopy theory. Let $Y=X\cup_\alpha\mathbb{D}^{n}$ where $\alpha:\mathbb{S}^{n-1}\to X$ is a non-torsion element. Then we obtain a…
We say that a formal deformation from an algebra $N$ to algebra $A$ is strongly flat if for every real number $e $ there is a real number $0<s<e$ such that this deformation specialised at $t=s$ gives an algebra isomorphic to $A$. We show…
In 1999 V. Ivanov and S. Kerov observed that structure constants of algebras of conjugacy classes of symmetric groups $S_n$ admit a stabilization (in a non-obvious sense) as $n\to \infty$. We extend their construction to a class of pairs of…
Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.
We prove a conjecture stated in a previous paper by the author about the existence of canonical filtrations for a family of vertex operator algebras in rational levels.
We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…
The main motivation for the study of cluster algebras initiated in math.RT/0104151, math.RA/0208229 and math.RT/0305434 was to design an algebraic framework for understanding total positivity and canonical bases in semisimple algebraic…
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…
We define the twisted doubling zeta integrals of Cai-Friedberg-Ginzburg-Kaplan in the setting of algebraic families. We then prove a rationality result and a functional equation for these zeta integrals. This allows us to define an…
In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to…
We develop some foundations for the theory of formal derived algebraic geometry, which parallel the theory of formal spectral algebraic geometry by Jacob Lurie. For this, we establish a close connection between algebro-geometric objects in…
This paper studies the formal deformations of differential algebra morphisms. As a consequence, we develop a cohomology theory of differential algebra morphisms to interpret the lower degree cohomology groups as formal deformations. Then,…
We give an explicit expression for the (finitely) flat remainder after analytic normal form reduction of a family of planar saddles of diffeomorphisms or vector fields. We distinguish between a rational or irrational ratio of the moduli of…
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…
The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for…
The formal rigidity of the Witt and Virasoro algebras was first established by the author in [4]. The proof was based on some earlier results of the author and Goncharowa, and was not presented there. In this paper we give an elementary…
We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…
A family of formal power series, such that its coefficients satisfy a recursion formula, is characterized in terms of the summability, in the sense of J. P. Ramis, of its elements along certain well chosen directions. We describe a set of…