The de Rham homotopy theory of complex algebraic varieties. I. (English) Zbl 0637.55006

Hain, Richard M.

\(K\)-Theory 1, No. 3, 271-324 (1987).

Generalizing work by P. Deligne [Publ. Math., Inst. Hautes Etud. Sci. 40, 5-57 (1971; Zbl 0219.14007); 44, 5-77 (1975; Zbl 0237.14003)] and J. W. Morgan [ibid. 48, 137-204 (1978; Zbl 0401.14003); 64, 185 (1986; Zbl 0617.14013)] the aim of this paper is to construct natural mixed Hodge structures (MHSs) on invariants of the algebraic topology of an arbitrary complex algebraic variety V, which are accessible to rational homotopy theory, e.g., the rational homotopy Lie algebra \(\pi_*(\Omega V)\otimes Q\), if V is nilpotent. The author’s approach is in two steps: he first constructs a natural geometric commutative Q-dga for V, together with a natural enrichment of structure up to a mixed Hodge diagram - in short a de Rham mixed Hodge complex (MHC) for V - and second he uses the de Rham MHC to propagate MHSs on the Q-homotopy invariants. As is well known, one may reduce in step 1 to the case of the geometric realization of a smooth simplicial variety V.; here the author uses the trick of a de Rham-Sullivan type theorem with differential local coefficients; (see, e.g. S. Halperin [Mem. Soc. Math. Fr., Nouv. Ser. 9-10 (1983; Zbl 0536.55003)]); thus obtaining the MHC for IV.I by assembling the various MHCs for \(V_ n\), which were known to exist in the smooth case. In step 2, the idea is to obtain various MHSs from the de Rham MHC not by passing through the Sullivan minimal model as in Morgan’s construction, but rather directly, by the use of two sided (reduced) bar constructions on dga’s and MHCs.

Reviewer: St.Papadima

MSC:

55P62	Rational homotopy theory
14F35	Homotopy theory and fundamental groups in algebraic geometry
32J25	Transcendental methods of algebraic geometry (complex-analytic aspects)
57T30	Bar and cobar constructions

Keywords:

two sided bar constructions; mixed Hodge structures; complex algebraic variety; rational homotopy Lie algebra; de Rham mixed Hodge complex

Citations:

Zbl 0223.14007; Zbl 0292.14005; Zbl 0219.14007; Zbl 0237.14003; Zbl 0401.14003; Zbl 0617.14013; Zbl 0536.55003

References:

[1]	Adams, J.: On the cobar construction, Colloque de Topologie Algébrique (Louvain, 1956), George Thone, Liege, Masson, Paris (1957), pp. 81-87.
[2]	Aomoto, K.: Fonctions hyperlogarithmique et groupes de monodromie unipotents, J. Fac. Sci. Tokyo 25 (1978), 149-156. · Zbl 0416.32020
[3]	Aomoto, K.: A generalization of Poincaré normal functions on a polarized manifold, Proc. Japan Acad. 55 (1979), 353-358. · Zbl 0453.14011 · doi:10.3792/pjaa.55.353
[4]	Aomoto, K.: Addition theorem of Abel type for hyperlogarithms, Nagoya Math. J. 88 (1982), 55-71. · Zbl 0545.33014
[5]	Aomoto, K.: Configurations and invariant Gauss Manin connections of integrals I, Tokyo J. Math 5 (1982), 249-287, and II, Tokyo J. Math. 6(1983), 1-24. · Zbl 0524.32005 · doi:10.3836/tjm/1270214894
[6]	Bousfield, A. and Gugenheim, V.: On PL de Rham theory and rational homotopy type, Mem. Amer. Math. Soc. 179 (1976). · Zbl 0338.55008
[7]	Carlson, J.: Polyhedral resolutions of algebraic varieties, Trans. Amer. Math. Soc. 292 (1985), 595-612. · Zbl 0602.14012 · doi:10.1090/S0002-9947-1985-0808740-3
[8]	Carlson, J., Clemens, H., and Morgan, J.: On the one-motif of ?3 of a simply connected complex projective manifold, Ann. Ecole Norm. Sup. (4) 14 (1981), 323-338. · Zbl 0511.14005
[9]	Chen, K.-T.: Iterated path integrals, Bull. Amer. Math. Soc. 83 (1977), 831-879. · Zbl 0389.58001 · doi:10.1090/S0002-9904-1977-14320-6
[10]	Chen, K.-T.: Reduced bar constructions on de Rham complexes, in A. Heller and M. Tierny, (eds.), Algebra, Topology and Category Theory, Academic Press, New York (1976), pp. 19-32.
[11]	Chen, K.-T.: Circular bar construction, J. Algebra 57 (1979), 466-483. · Zbl 0409.18005 · doi:10.1016/0021-8693(79)90233-3
[12]	Chen, K.-T.: Extension of C ? function algebra by integrals and Malcev completion of ?1, Adv. Math 23 (1977), 181-210. · Zbl 0345.58003 · doi:10.1016/0001-8708(77)90120-7
[13]	Clemens, C. H.: Degeneration of Kähler manifolds, Duke J. Math. 44 (1977), 215-290. · Zbl 0353.14005 · doi:10.1215/S0012-7094-77-04410-6
[14]	Deligne, P.: Equations Différentielles à Points Singuliers Réguliers, Lecture Notes in Mathematics, No. 163, Springer-Verlag, Berlin, Heidelberg, New York (1970). · Zbl 0244.14004
[15]	Deligne, P.: Théorie d’Hodge II and III, Publ. Math. IHES, No. 40 (1971), 5-58 and No. 44 (1975), 5-77.
[16]	Durfree, A.: Neighborhoods of algebraic sets, Trans. Amer. Math. Soc. 276 (1983), 517-530. · Zbl 0529.14013 · doi:10.1090/S0002-9947-1983-0688959-3
[17]	Durfree, A.: Mixed Hodge structures on punctured neighborhoods, Duke J. Math. 50 (1983), 1017-1040. · Zbl 0545.14005 · doi:10.1215/S0012-7094-83-05043-3
[18]	Durfree, A. and Hain, R.: Mixed Hodge structures on the homotopy of links, preprint (1985).
[19]	Golubeva, V.: On the recovery of Pfaffian systems of Fuchsian type from the generators of the monodromy group, Math. USSR. Izvestija 17 (1981), 227-241. · Zbl 0494.58003 · doi:10.1070/IM1981v017n02ABEH001333
[20]	Griffiths, P. and Schmid, W.: Recent developments in Hodge theory: a discussion of techniques and results, Proceedings of the Bombay Colloquium on Discrete Subgroups of Lie Groups, Bombay (1973). · Zbl 0355.14003
[21]	Hain, R.: Interated integrals and homotopy periods, Mem. Amer. Math. Soc. 291 (1984). · Zbl 0539.55002
[22]	Hain, R.: On the indecomposables of the bar construction, Proc. Amer. Math. Soc., 98 (1986), 312-316. · Zbl 0613.55007 · doi:10.1090/S0002-9939-1986-0854039-5
[23]	Hain, R.: Mixed Hodge structures on homotopy groups, Bull. Amer. Math. Soc. 14 (1986), 111-114. · Zbl 0597.55009 · doi:10.1090/S0273-0979-1986-15410-8
[24]	Hain, R.: On a generalization of Hilbert’s 21st problem, Ann. Sci. Ecole Norm. Sup. 19 (1986), 609-627. · Zbl 0616.14004
[25]	Hain, R.: The geometry of the mixed Hodge structure on the fundamental group, Algebraic Geometry, Bowdoin 1985, Proc. Symp. Pure Math. (1987).
[26]	Hain, R. and Zucker, S.: Unipotent variations of mixed Hodge structure, Invent. Math. 88 (1987), 83-124. · Zbl 0622.14007 · doi:10.1007/BF01405093
[27]	Halperin, S.: Lectures on minimal models, Mem. Soc. Math. France, nouvelle série No 9/10 (1983). · Zbl 0536.55003
[28]	Greenberg, M.: Lectures on Algebraic Topology, Benjamin, London, Amsterdam (1967). · Zbl 0169.54403
[29]	Harris, B.: Harmonic volumes, Acta Math. 150 (1983), 91-123. · Zbl 0527.30032 · doi:10.1007/BF02392968
[30]	Harris, B.: Homological versus algebraic equivalence in a Jacobian, Proc. Nat. Acad. Sci. U.S.A. 80 (1983), 1157-1158. · Zbl 0523.14006 · doi:10.1073/pnas.80.4.1157
[31]	Jablow, E.: Quadratic vector classes and invariance properties of the Riemann constant under the Torelli transformation group, PhD Thesis, Princeton University, (1983).
[32]	Kohno, T.: On the holonomy Lie algebra and the nilpotent completion of the fundamental group of the complement of hypersurfaces, Nagoya Math. J. 92 (1983), 21-37. · Zbl 0503.57001
[33]	Kohno, T.: Série de Poincaré-Kozul associée aux groupes de tresse pure, Invent. Math. 82 (1985), 57-75. · Zbl 0574.55009 · doi:10.1007/BF01394779
[34]	Lappo-Danilevsky, I. A.: Mémoires sur la théorie des systèmes des équations différentielles linéaires, reprint, Chelsea, New York (1953). · Zbl 0051.32301
[35]	Milnor, J. and Moore, J.: On the structure of Hopf algebras, Ann. Math. 81 (1965), 211-264. · Zbl 0163.28202 · doi:10.2307/1970615
[36]	Morgan, J.: The algebraic topology of smooth algebraic varieties, Publ. IHES. No. 48 (1978), 137-204; correction, Publ. IHES. No 64 (1986), 185. · Zbl 0401.14003
[37]	Pulte, M.: The fundamental group of a Riemann surface: mixed Hodge structures and algebraic cycles, thesis, University of Utah, 1985.
[38]	Quillen, D.: Rational homotopy theory, Ann. Math. 90 (1969), 205-295. · Zbl 0191.53702 · doi:10.2307/1970725
[39]	Ramakrishnan, D.: On the monodromy of higher logarithms, Proc. Amer. Math. Soc. 85 (1982), 596-599. · Zbl 0572.30034 · doi:10.1090/S0002-9939-1982-0660611-4
[40]	Saint-Donat, B.: Techniques de descente cohomologique, SGA. 4, exposé V bis, Lecture Notes in Mathematics 270, 83-162.
[41]	Schmid, W.: Variation of Hodge structure: the singularities of the period mapping, Invent. Math. 22 (1973), 211-320. · Zbl 0278.14003 · doi:10.1007/BF01389674
[42]	Steenbrink, J.: Limits of Hodge structures, Invent. Math. 31 (1976), 229-257. · doi:10.1007/BF01403146
[43]	Steenbrink, J. and Zucker, S.: Variation of mixed Hodge structure I, Invent. Math. 80 (1985), 489-542. · Zbl 0626.14007 · doi:10.1007/BF01388729
[44]	Sullivan, D.: Infinitesimal computations in topology, Publ. IHES. 47 (1977), 269-331. · Zbl 0374.57002
[45]	Whitehead, G.: Elements of Homotopy Theory, Springer-Verlag, Berlin, Heidelberg, New York (1978). · Zbl 0406.55001
[46]	Zucker, S.: Variation of mixed Hodge structure II, Invent. Math. 80 (1985), 543-565. · Zbl 0615.14003 · doi:10.1007/BF01388730
[47]	Navarro Aznar, V.: Sur la théorie de Hodge-Deligne, preprint, May, 1986.