Related papers: E_1-Formality of Complex Algebraic Varieties

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

We describe locally the representation varieties of fundamental groups for smooth complex varieties at representations coming from the monodromy of a variation of mixed Hodge structure. Given such a manifold $X$ and such a linear…

We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…

This is an attempt to generalize some basic facts of homological algebra to the case of "complexes" in which the differential satisfies the condition $d^N=0$ instead of the usual $d^2=0$. Instead of familiar sign factors, the constructions…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

There is no systematic general procedure by which isomorphism classes of Hopf algebras that are extensions of $\k F$ by ${\k}^G$ can be found. We develop the general procedure for classification of isomorphism classes of Hopf algebras which…

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…

In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…

We show that the rational homotopy type of the complement of a toric arrangement is completely determined by two sets of combinatorial data. This is obtained by introducing a differential graded algebra over Q whose minimal model is…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

Given a complex variety $X$, a linear algebraic group $G$ and a representation $\rho$ of the fundamental group $\pi\_1(X,x)$ into $G$, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of…

Let $M= G/\Gamma$ be a compact nilmanifold endowed with an invariant complex structure. We prove that, on an open set of any connected component of the moduli space ${\cal C} ({\frak g})$ of invariant complex structures on $M$, the…

We describe a collection of higher homotopy operations which determine the rational homotopy type of a simply-connected space X. These are described in terms of simplicial resolutions of successive approximations (L^k,\alpha} to the Quillen…

Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over…

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…

We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the…

For any subfield K of the complex numbers which is not contained in an imaginary quadratic number field, we construct conjugate varieties whose algebras of K-rational (p,p)-classes are not isomorphic. This compares to the Hodge conjecture…