Related papers: Formality of DG algebras (after Kaledin)
Two families of q-Schur algebras associated to Hecke algebras of type D are introduced, and related to a family used by Geck, Gruber and Hiss [10], [11]. We prove that the algebras in one family, called the q-Schur^{1.5} algebras, are…
We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms…
To, say, a proper algebraic or holomorphic space $X/S$, and a coherent sheaf ${\mathcal F}$ on $X$ we identify a functorial ideal, the fitted flatifier, blowing up sequentially in which leads to a flattening of the proper transform of…
Inspired by the intrinsic formality of graded algebras, we prove a necessary and sufficient condition for strongly uniqueness of DG-enhancements. This approach offers a generalization to linearity over any commutative ring. In particular,…
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 extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.
Generalising a previous work of Jiang and Sheng, a cohomology theory for differential Lie algebras of arbitrary weight is introduced. The underlying $L_\infty[1]$-structure on the cochain complex is also determined via a generalised version…
Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…
A differential graded algebra can be viewed as an A-infinity algebra. By a theorem of Kadeishvili, a dga over a field admits a quasi-isomorphism from a minimal A-infinity algebra. We introduce the notion of a derived A-infinity algebra and…
A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint…
This is a survey on formality results relying on weight structures. A weight structure is a naturally occurring grading on certain differential graded algebras. If this weight satisfies a purity property, one can deduce formality. Algebraic…
We study rigidity questions for pairs of Lie algebras $(\mathfrak{g},\mathfrak{n})$ admitting a post-Lie algebra structure. We show that if $\mathfrak{g}$ is semisimple and $\mathfrak{n}$ is arbitrary, then we have rigidity in the sense…
We use Galois group actions on \'etale cohomology to prove results of formality for dg-operads and dg-algebras with torsion coefficients. Our theory applies, among other related constructions, to the dg-operad of singular chains on the…
We determine a DG-Lie algebra controlling deformations of a locally free module over a Lie algebroid $\mathcal{A}$. Moreover, for every flat inclusion of Lie algebroids $\mathcal{A}\subset \mathcal{L}$ we introduce semiregularity maps and…
We study the action of the formal affine Hecke algebra on the formal group algebra, and show that the the formal affine Hecke algebra has a basis indexed by the Weyl group as a module over the formal group algebra. We also define a concept…
We introduce two-sorted theories in the style of [CN10] for the complexity classes \oplusL and DET, whose complete problems include determinants over Z2 and Z, respectively. We then describe interpretations of Soltys' linear algebra theory…
In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically…
We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.
Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…
The fucntor $I$ and its derived functor over the complex number field have been playing important roles in representation theory of real reductive Lie groups. In this paper, we discuss the flat base change formulas of the functor I and its…