Relative cohomology of bi-arrangements

Dupont, Clément

doi:10.1090/tran/6904

Relative cohomology of bi-arrangements
HTML articles powered by AMS MathViewer

by Clément Dupont PDF

Trans. Amer. Math. Soc. 369 (2017), 8105-8160 Request permission

Abstract:

A bi-arrangement of hyperplanes in a complex affine space is the data of two sets of hyperplanes along with coloring information on the strata. To such a bi-arrangement one naturally associates a relative cohomology group that we call its motive. The main reason for studying such relative cohomology groups comes from the notion of motivic period. More generally, we suggest the systematic study of the motive of a bi-arrangement of hypersurfaces in a complex manifold. We provide combinatorial and cohomological tools to compute the structure of these motives. Our main object is the Orlik–Solomon bi-complex of a bi-arrangement, which generalizes the Orlik–Solomon algebra of an arrangement. Loosely speaking, our main result states that “the motive of an exact bi-arrangement is computed by its Orlik–Solomon bi-complex”, which generalizes classical facts involving the Orlik–Solomon algebra of an arrangement. We show how this formalism allows us to explicitly compute motives arising from the study of multiple zeta values and sketch a more general application to periods of mixed Tate motives.

References

Paolo Aluffi and Matilde Marcolli, Feynman motives of banana graphs, Commun. Number Theory Phys. 3 (2009), no. 1, 1–57. MR 2504753, DOI 10.4310/CNTP.2009.v3.n1.a1
Yves André, Galois theory, motives and transcendental numbers, Renormalization and Galois theories, IRMA Lect. Math. Theor. Phys., vol. 15, Eur. Math. Soc., Zürich, 2009, pp. 165–177. MR 2588609, DOI 10.4171/073-1/4
R. Apéry, Irrationalité de $\zeta (2)$ et $\zeta (3)$., Astérisque 61 (1979), 11–13 (French).
V. I. Arnol′d, The cohomology ring of the group of dyed braids, Mat. Zametki 5 (1969), 227–231 (Russian). MR 242196
Spencer Bloch, Hélène Esnault, and Dirk Kreimer, On motives associated to graph polynomials, Comm. Math. Phys. 267 (2006), no. 1, 181–225. MR 2238909, DOI 10.1007/s00220-006-0040-2
S. Bloch, Motives, the fundamental group, and graphs, preprint, 2012.
Keith Ball and Tanguy Rivoal, Irrationalité d’une infinité de valeurs de la fonction zêta aux entiers impairs, Invent. Math. 146 (2001), no. 1, 193–207 (French). MR 1859021, DOI 10.1007/s002220100168
Egbert Brieskorn, Sur les groupes de tresses [d’après V. I. Arnol′d], Séminaire Bourbaki, 24ème année (1971/1972), Exp. No. 401, Lecture Notes in Math., Vol. 317, Springer, Berlin, 1973, pp. 21–44 (French). MR 0422674
Francis C. S. Brown, Multiple zeta values and periods of moduli spaces $\overline {\mathfrak {M}}_{0,n}$, Ann. Sci. Éc. Norm. Supér. (4) 42 (2009), no. 3, 371–489 (English, with English and French summaries). MR 2543329, DOI 10.24033/asens.2099
Francis Brown, Mixed Tate motives over $\Bbb Z$, Ann. of Math. (2) 175 (2012), no. 2, 949–976. MR 2993755, DOI 10.4007/annals.2012.175.2.10
Francis Brown and Oliver Schnetz, A K3 in $ϕ^4$, Duke Math. J. 161 (2012), no. 10, 1817–1862. MR 2954618, DOI 10.1215/00127094-1644201
A. A. Beĭlinson, A. N. Varchenko, A. B. Goncharov, and V. V. Shekhtman, Projective geometry and $K$-theory, Algebra i Analiz 2 (1990), no. 3, 78–130 (Russian); English transl., Leningrad Math. J. 2 (1991), no. 3, 523–576. MR 1073210
Pierre Deligne, Théorie de Hodge. II, Inst. Hautes Études Sci. Publ. Math. 40 (1971), 5–57 (French). MR 498551
Pierre Deligne, Théorie de Hodge. III, Inst. Hautes Études Sci. Publ. Math. 44 (1974), 5–77 (French). MR 498552
P. Deligne, Le groupe fondamental de la droite projective moins trois points, Galois groups over $\textbf {Q}$ (Berkeley, CA, 1987) Math. Sci. Res. Inst. Publ., vol. 16, Springer, New York, 1989, pp. 79–297 (French). MR 1012168, DOI 10.1007/978-1-4613-9649-9_{3}
Pierre Deligne and Alexander B. Goncharov, Groupes fondamentaux motiviques de Tate mixte, Ann. Sci. École Norm. Sup. (4) 38 (2005), no. 1, 1–56 (French, with English and French summaries). MR 2136480, DOI 10.1016/j.ansens.2004.11.001
Dzmitry Doryn, Cohomology of graph hypersurfaces associated to certain Feynman graphs, Commun. Number Theory Phys. 4 (2010), no. 2, 365–415. MR 2725055, DOI 10.4310/CNTP.2010.v4.n2.a3
Clément Dupont, The combinatorial Hopf algebra of motivic dissection polylogarithms, Adv. Math. 264 (2014), 646–699. MR 3250295, DOI 10.1016/j.aim.2014.07.027
Clément Dupont, Periods of hyperplane arrangements and motivic coproduct, PhD Thesis, Université Paris 6 Pierre et Marie Curie (2014).
Clément Dupont, The Orlik-Solomon model for hypersurface arrangements, Ann. Inst. Fourier (Grenoble) 65 (2015), no. 6, 2507–2545 (English, with English and French summaries). MR 3449588
A. B. Goncharov and Yu. I. Manin, Multiple $\zeta$-motives and moduli spaces $\overline {\scr M}_{0,n}$, Compos. Math. 140 (2004), no. 1, 1–14. MR 2004120, DOI 10.1112/S0010437X03000125
A. B. Goncharov, Periods and mixed motives, preprint, arXiv:math/0202154, 2002.
A. B. Goncharov, Galois symmetries of fundamental groupoids and noncommutative geometry, Duke Math. J. 128 (2005), no. 2, 209–284. MR 2140264, DOI 10.1215/S0012-7094-04-12822-2
A. Huber and S. Müller-Stach, On the relation between Nori motives and Kontsevich periods, preprint, 2011.
Annette Huber, Realization of Voevodsky’s motives, J. Algebraic Geom. 9 (2000), no. 4, 755–799. MR 1775312
A. Huber, Corrigendum to: “Realization of Voevodsky’s motives” [J. Algebraic Geom. 9 (2000), no. 4, 755–799; MR1775312], J. Algebraic Geom. 13 (2004), no. 1, 195–207. MR 2008720, DOI 10.1090/S1056-3911-03-00374-6
Maxim Kontsevich, Operads and motives in deformation quantization, Lett. Math. Phys. 48 (1999), no. 1, 35–72. Moshé Flato (1937–1998). MR 1718044, DOI 10.1023/A:1007555725247
Maxim Kontsevich and Don Zagier, Periods, Mathematics unlimited—2001 and beyond, Springer, Berlin, 2001, pp. 771–808. MR 1852188
Marc Levine, Tate motives and the vanishing conjectures for algebraic $K$-theory, Algebraic $K$-theory and algebraic topology (Lake Louise, AB, 1991) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 407, Kluwer Acad. Publ., Dordrecht, 1993, pp. 167–188. MR 1367296, DOI 10.1007/978-94-017-0695-7_{7}
Li Li, Wonderful compactification of an arrangement of subvarieties, Michigan Math. J. 58 (2009), no. 2, 535–563. MR 2595553, DOI 10.1307/mmj/1250169076
Eduard Looijenga, Cohomology of ${\scr M}_3$ and ${\scr M}^1_3$, Mapping class groups and moduli spaces of Riemann surfaces (Göttingen, 1991/Seattle, WA, 1991) Contemp. Math., vol. 150, Amer. Math. Soc., Providence, RI, 1993, pp. 205–228. MR 1234266, DOI 10.1090/conm/150/01292
Matilde Marcolli, Feynman integrals and motives, European Congress of Mathematics, Eur. Math. Soc., Zürich, 2010, pp. 293–332. MR 2648331, DOI 10.4171/077-1/14
Stefan Müller-Stach, Stefan Weinzierl, and Raphael Zayadeh, A second-order differential equation for the two-loop sunrise graph with arbitrary masses, Commun. Number Theory Phys. 6 (2012), no. 1, 203–222. MR 2955935, DOI 10.4310/CNTP.2012.v6.n1.a5
Peter Orlik and Louis Solomon, Combinatorics and topology of complements of hyperplanes, Invent. Math. 56 (1980), no. 2, 167–189. MR 558866, DOI 10.1007/BF01392549
Peter Orlik and Hiroaki Terao, Arrangements of hyperplanes, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 300, Springer-Verlag, Berlin, 1992. MR 1217488, DOI 10.1007/978-3-662-02772-1
James Oxley, Matroid theory, 2nd ed., Oxford Graduate Texts in Mathematics, vol. 21, Oxford University Press, Oxford, 2011. MR 2849819, DOI 10.1093/acprof:oso/9780198566946.001.0001
Chris A. M. Peters and Joseph H. M. Steenbrink, Mixed Hodge structures, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 52, Springer-Verlag, Berlin, 2008. MR 2393625
Tomohide Terasoma, Mixed Tate motives and multiple zeta values, Invent. Math. 149 (2002), no. 2, 339–369. MR 1918675, DOI 10.1007/s002220200218
Jianqiang Zhao, Motivic cohomology of pairs of simplices, Proc. London Math. Soc. (3) 88 (2004), no. 2, 313–354. MR 2032510, DOI 10.1112/S0024611503014709
V. V. Zudilin, One of the numbers $\zeta (5)$, $\zeta (7)$, $\zeta (9)$, $\zeta (11)$ is irrational, Uspekhi Mat. Nauk 56 (2001), no. 4(340), 149–150 (Russian); English transl., Russian Math. Surveys 56 (2001), no. 4, 774–776. MR 1861452, DOI 10.1070/RM2001v056n04ABEH000427