In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$, introduced by the third author as a substitute for the rationalization functor in homotopy theory in the case of non-simply connected spaces. Our main result is the construction of a \textit{Hodge decomposition} on $(X\otimes\mathbb{C})^{sch}$. This Hodge decomposition is encoded in an action of the discrete group $\mathbb{C}^{\times δ}$ on the object $(X\otimes \mathbb{C})^{sch}$ and is shown to recover the usual Hodge decomposition on cohomology, the Hodge filtration on the pro-algebraic fundamental group as defined by C.Simpson, and in the simply connected case, the Hodge decomposition on the complexified homotopy groups as defined by J.Morgan and R. Hain. This Hodge decomposition is shown to satisfy a purity property with respect to a weight filtration, generalizing the fact that the higher homotopy groups of a simply connected projective manifold have natural mixed Hodge structures. As a first application we construct a new family of examples of homotopy types which are not realizable as complex projective manifolds. Our second application is a formality theorem for the schematization of a complex projective manifold. Finally, we present conditions on a complex projective manifold $X$ under which the image of the Hurewitz morphism of $π_{i}(X) \to H_{i}(X)$ is a sub-Hodge structure.
The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features include an explicit description of homotopy groups using the Maurer-Cartan equations, convergent spectral sequences comparing schematic homotopy groups with cohomology of the universal semisimple local system, and a generalisation of the Baues-Lemaire conjecture. For compact Kaehler manifolds, the schematic homotopy groups can be described explicitly in terms of…
Let $X$ a complex projective variety of complex dimension $n$ with only isolated singularities of simply connected links. We show that we can endow the rational cohomology of the family of the $\overline{p}$-perverse intersection spaces $\{ I^{\overline{p}}X \}$ with compatible mixed Hodge structures.
We study some basic properties of schematic homotopy types and the schematization functor. We describe two different algebraic models for schematic homotopy types: co-simplicial Hopf alegbras and equivariant co-simplicial algebras, and provide explicit constructions of the schematization functor for each of these models. We also investigate some standard properties of the schematization functor helpful for the description of the schematization of smooth projective complex varieties. In a companion paper these results are used in the construction of a non-abelian Hodge structure on the schemati…
We study the Galois actions on the l-adic schematic and Artin-Mazur homotopy groups of algebraic varieties. For proper varieties of good reduction over a local field K, we show that the l-adic schematic homotopy groups are mixed representations explicitly determined by the Galois action on cohomology of Weil sheaves, whenever l is not equal to the residue characteristic p of K. For quasi-projective varieties of good reduction, there is a similar characterisation involving the Gysin spectral sequence. When l=p, a slightly weaker result is proved by comparing the crystalline and p-adic schematic…
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such that C^* x X -> X^{sch} is real analytic. If the fundamental group is algebraically good, and the higher homotopy groups have finite rank, this gives bigraded decompositions on the complexified homotopy groups. For smooth proper varieties, the Hodge structure can be recovered from the cohomology ring with coefficients in the universal semisimple local syste…
We show that the category of mixed Hodge complexes admits a Cartan-Eilenberg structure, a notion introduced in [GNPR10] leading to a good calculation of the homotopy category in terms of (co)fibrant objects. This result provides a conceptual framework from which Beilinson's [Bei86] and Carlson's [Car80] results on mixed Hodge complexes and extensions of mixed Hodge structures follow easily.
We define and construct mixed Hodge structures on real schematic homotopy types of complex projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. Thus the mixed Hodge structures can be recovered from cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, these all become real variations of mix…
This short note is extracted from Section 3 and Appendix of the paper entitled with Intersection de Rham complexes in positive characteristic by the same named authors, where an explicit infinite homotopy from a Higgs complex to the Frobenius pushforward of the corresponding de Rham complex in positive characteristic has been provided. The verification details, which are omitted therein, are provided here.
We define and construct mixed Hodge structures on real schematic homotopy types of complex quasi-projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. The mixed Hodge structures can thus be recovered from the Gysin spectral sequence of cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, th…
This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and $p$-adic homotopy theory. This gives a first solution to A. Grothendieck's \emph{schematization problem} described in \cite{gr}. We also use affine…
Simply connected compact Kähler manifolds of dimension up to three with elliptic homotopy type are characterized in terms of their Hodge diamonds. This is applied to classify the simply connected Kähler surfaces and Fano threefolds with elliptic homotopy type.
A Brill-Noether stack is an algebraic very presentable stack whose homotopy type has two nontrivial homotopy groups. We consider one with a fundamental group --- a reductive algebraic group-scheme S and one higher homotopy group, represented by a vector space V. The homotopy type also defines an action of S on V. This stack is used as coefficient space for nonabelian cohomological space on a smooth algebraic variety X. We define nonabelian MHS on cohomological spaces of this type in the context of the work of C. Simpson related to MHS on the space of local systems. It is defined via an action …
It is shown that any compact Kähler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the Dolbeault complex. In these algebras the product of two harmonic differential forms is again harmonic. If $M$ happens to be a Calabi-Yau manifold, there exists a third strongly homotopy algebra closely related to the Barannikov-Kontsevich extended moduli space of complex structures.
On a smooth algebraic curve X with genus greater than 1 we consider a flat principal bundle with a reductive structure group S and a vector bundle associated with it. To this set of information we put in correspondence a pro-algebraic group on whose functional algebra we introduce a mixed Hodge structure. This construction, in fact, works for any smooth algebraic variety X which, considered as an analytic space, has a nonabelian first homotopy group, and the rest are trivial. The Hodge structure defined in this way can be expressed in terms of iterated integrals. Furthermore, considered in the…
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the s…
We construct an explicit homotopy formula for the d-bar complex on a complete intersection subvariety V in CP^n. This formula can be interpreted as a Hodge-type decomposition for residual currents on V.
We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural generalization of Deligne cohomology. For smooth complex algebraic varieties, we show that the theory satisfies a projective bundle formula and $\A^1$-homotopy invariance. Moreover, we obtain transfer maps along projective morphisms.
In previous work, we constructed for a smooth complex variety $X$ and for a linear algebraic group $G$ a mixed Hodge structure on the complete local ring $\widehat{\mathcal{O}}_ρ$ to the moduli space of representations of the fundamental group $π_1(X,x)$ into $G$ at a representation $ρ$ underlying a variation of mixed Hodge structure. We now show that the jump ideals $J_k^i \subset \widehat{\mathcal{O}}_ρ$, defining the locus of representations such the the dimension of the cohomology of $X$ in degree $i$ of the associated local system is greater than $k$, are sub-mixed Hodge structures; this …
For a simply connected complex algebraic variey $X$, by the mixed Hodge structures $(W_{\bullet}, F^{\bullet})$ and $(\tilde W_{\bullet}, \tilde F^{\bullet})$ of the homology group $H_{*}(X;\mathbb Q)$ and the homotopy groups $π_{*}(X)\otimes \mathbb Q$ respectively, we have the following mixed Hodge polynomials $$MH_X(t,u,v):= \sum_{k,p,q} \operatorname{dim} \Bigl ( Gr_{F^{\bullet}}^{p} Gr^{W_{\bullet}}_{p+q} H_k (X;\mathbb C) \Bigr) t^{k} u^{-p} v^{-q},$$ $$\quad \, \, MH^π_X(t,u,v):= \sum_{k,p,q} \operatorname{dim} \Bigl (Gr_{\tilde F^{\bullet}}^{p} Gr^{\tilde W_{\bullet}}_{p+q} (π_k(X) \ot…
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isolated singularities and more generally, complete intersections with isolated singularities. We obtain analogous results for contractions of subvarieties.
We prove a filtered version of the Homotopy Transfer Theorem which gives an A-infinity algebra structure on any page of the spectral sequence associated to a filtered dg-algebra. We then develop various applications to the study of the geometry and topology of complex manifolds, using the Hodge filtration, as well as to complex algebraic varieties, using mixed Hodge theory
We propose a definition of ``nonabelian mixed Hodge structure'' together with a construction associating to a smooth projective variety $X$ and to a nonabelian mixed Hodge structure $V$, the ``nonabelian cohomology of $X$ with coefficients in $V$'' which is a (pre-)nonabelian mixed Hodge structure denoted $H=Hom(X_M, V)$. We describe the basic definitions and then give some conjectures saying what is supposed to happen. At the end we compute an example: the case where $V$ has underlying homotopy type the complexified 2-sphere, and mixed Hodge structure coming from its identification with $\pp …
In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between étale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the $\mathbb Q_p$-case of general conjectures made in our previous work. As a corollary, we get that if a smooth Artin stack over $K$ has a smooth Hodge-proper model over $\mathcal O_K$, its $\mathbb Q_p$-étale cohomology is a crystalline Galois representation. We then also establish a truncated version of the above results in more gener…
For each complex central essential hyperplane arrangement $\mathcal{A}$, let $F_{\mathcal{A}}$ denote its Milnor fiber. We use Tevelev's theory of tropical compactifications to study invariants related to the mixed Hodge structure on the cohomology of $F_{\mathcal{A}}$. We prove that the map taking each arrangement $\mathcal{A}$ to the Hodge-Deligne polynomial of $F_{\mathcal{A}}$ is locally constant on the realization space of any loop-free matroid. When $\mathcal{A}$ consists of distinct hyperplanes, we also give a combinatorial description for the homotopy type of the boundary complex of an…
We define Hodge correlators for a compact Kahler manifold X. They are complex numbers which can be obtained by perturbative series expansion of a certain Feynman integral which we assign to X. We show that they define a functorial real mixed Hodge structure on the rational homotopy type of X. The Hodge correlators provide a canonical linear map from the cyclic homomogy of the cohomology algebra of X to the complex numbers. If X is a regular projective algebraic variety over a field k, we define, assuming the motivic formalism, motivic correlators of X. Given an embedding of k into complex numb…
Let $X$ be surface with isolated singularities in the complex projective space $P^3$ and let denote $Y$ the smooth part of $X$. In this note we discuss some aspects of the topology of such quasi-projective surfaces $Y$: the fundamental groups and the associated Galois coverings, the second homotopy groups and the mixed Hodge structure on the first cohomology group.
In this paper, we prove that the DG category of DG complex of DG category of a differential graded algebra A is homotopy equivalent to that of comodules over the simplicial bar complex of A. Under the assuption of connectedness of A, we show the homotopy category of A-connection is equivalent to comodules on the homology of bar complex. As an application, we construct coalgebras classifying nilpotent variation of mixed Tate Hodge structures on algebraic varieties.
The aim of this paper is to study the pro-algebraic fundamental group of a compact Kaehler manifold. Following work by Simpson, the structure of this group's pro-reductive quotient is already well understood. We show that Hodge-theoretic methods can also be used to establish that the pro-unipotent radical is quadratically presented. This generalises both Deligne et al.'s result on the de Rham fundamental group, and Goldman and Millson's result on deforming representations of Kaehler groups, and can be regarded as a consequence of formality of the schematic homotopy type. New examples are given…
The goal of this paper is to reveal hidden structures on the singular cohomology and the Griffiths period integral of a smooth projective hypersurface in terms of BV(Batalin-Vilkovisky) algebras and homotopy Lie theory (so called, $L_\infty$-homotopy theory). Let $X_G$ be a smooth projective hypersurface in the complex projective space $\mathbf{P}^n$ defined by a homogeneous polynomial $G(\underline x)$ of degree $d \geq 1$. Let $\mathbb{H}=H^{n-1}_{\operatorname{prim}}(X_G, \mathbb{C})$ be the middle dimensional primitive cohomology of $X_G$. We explicitly construct a BV algebra $\mathbf{B\!\…
Let $(X,ω)$ be a closed symplectic manifold. A loop $ϕ: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $π: P_ϕ \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of $π$, Lalonde, McDuff and Polterovich proved that if $ϕ$ lifts to the Hamiltonian group $\mathrm{Ham}(X,ω)$, then the rational cohomology of $P_ϕ$ splits additively. We prove, with the same assumptions, that the $\mathbb{E}$-generalised cohomology of $P_ϕ$ splits additively for any complex-oriented cohomology theory $\mathbb{E}$, in particular the integral cohomology splits. …
