A construction of the polylogarithm motive
Pith reviewed 2026-05-24 08:31 UTC · model grok-4.3
The pith
The polylogarithm motive is the relative cohomology motive of the complement of the hypersurface {1 - z t1 ⋯ tn = 0} in A^n_S relative to the union of the hyperplanes {ti=0} and {ti=1}.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The polylogarithm motive is constructed as the relative cohomology motive of the complement of the hypersurface {1−z t1⋯tn=0} in A^n_S relative to the union of the hyperplanes {ti=0} and {ti=1}. This explicit model realizes the known extension class in the category of mixed Tate motives over S.
What carries the argument
The relative cohomology motive of the pair (complement of the hypersurface {1 - z ∏ ti = 0} in affine n-space over S, union of the divisors ti = 0 and ti = 1).
Load-bearing premise
The category of mixed Tate motives over S exists and the comparison theorems correctly identify the extension spaces in the motivic and Hodge realizations.
What would settle it
A computation showing that the extension class realized by this relative cohomology motive fails to match the classical polylogarithm extension class in the Hodge realization would refute the identification.
Figures
read the original abstract
Classical polylogarithms give rise to a variation of mixed Hodge-Tate structures on the punctured projective line $S=\mathbb{P}^1\setminus \{0, 1, \infty\}$, which is an extension of the symmetric power of the Kummer variation by a trivial variation. By results of Beilinson-Deligne, Huber-Wildeshaus, and Ayoub, this polylogarithm variation has a lift to the category of mixed Tate motives over $S$, whose existence is proved by computing the corresponding space of extensions in both the motivic and the Hodge settings. In this paper, we construct the polylogarithm motive as an explicit relative cohomology motive, namely that of the complement of the hypersurface $\{1-zt_1\cdots t_n=0\}$ in affine space $\mathbb{A}^n_S$ relative to the union of the hyperplanes $\{t_i=0\}$ and $\{t_i=1\}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs the polylogarithm motive explicitly as the relative cohomology motive of the complement of the hypersurface {1−z t1⋯tn=0} in A^n_S relative to the union of the hyperplanes {ti=0} and {ti=1}, where S=P^1∖{0,1,∞}. This is presented as realizing the extension of Sym^n of the Kummer variation by the trivial variation in the category of mixed Tate motives over S, using prior comparison results of Beilinson-Deligne, Huber-Wildeshaus, and Ayoub to equate the motivic and Hodge extension spaces.
Significance. If the identification is established, the explicit geometric model supplies a concrete object in the mixed Tate category whose extension class can be studied directly via relative cohomology, complementing the abstract existence proofs via extension-space computations. This could support explicit calculations of motivic polylogarithms and their realizations.
major comments (2)
- [Abstract] The central identification requires showing that the relative cohomology motive lies in the mixed Tate category over S and that its class in the motivic Ext^1 matches the polylogarithm generator; the abstract invokes the comparison theorems but supplies no derivation or verification steps for this particular geometric object.
- [Abstract] The construction is defined geometrically rather than via the extension space it is claimed to realize; without an explicit computation of the extension class (or a proof that the motive is mixed Tate), the claim that this object is the polylogarithm motive rests on the cited comparison isomorphisms holding for this specific case.
minor comments (1)
- Notation for the base S, the hypersurface, and the relative cohomology groups should be introduced with precise definitions early in the text.
Simulated Author's Rebuttal
We thank the referee for the detailed report and the recommendation for major revision. The comments correctly note that the abstract relies on the cited comparison theorems without spelling out their application to this specific geometric object. Below we address each point. We agree that the abstract can be clarified and will make a partial revision to improve the exposition of the identification.
read point-by-point responses
-
Referee: [Abstract] The central identification requires showing that the relative cohomology motive lies in the mixed Tate category over S and that its class in the motivic Ext^1 matches the polylogarithm generator; the abstract invokes the comparison theorems but supplies no derivation or verification steps for this particular geometric object.
Authors: The comparison theorems of Beilinson-Deligne, Huber-Wildeshaus and Ayoub are stated for the category of mixed Tate motives over S and equate the relevant Ext^1 groups in the motivic and Hodge realizations. The geometric object is constructed as a relative cohomology motive whose weight filtration and graded pieces are manifestly mixed Tate (by the standard properties of relative cohomology with respect to the given hyperplanes and hypersurface). Because the polylogarithm generator is characterized precisely as the unique nontrivial class in the corresponding Ext^1, the identification follows directly once the object is shown to lie in the category; no separate computation of the class is required beyond the general isomorphism. We will revise the abstract to state this application of the theorems explicitly. revision: partial
-
Referee: [Abstract] The construction is defined geometrically rather than via the extension space it is claimed to realize; without an explicit computation of the extension class (or a proof that the motive is mixed Tate), the claim that this object is the polylogarithm motive rests on the cited comparison isomorphisms holding for this specific case.
Authors: The manuscript defines the object geometrically precisely to supply a concrete model inside the mixed Tate category whose extension class can then be studied by direct geometric means. The proof that it is mixed Tate is contained in the construction itself (the relative cohomology is filtered by the strata and the graded pieces are Tate by the Kummer and trivial variations). The comparison isomorphisms are functorial and apply to any object in the category over S; the paper invokes them in this standard way. An explicit cocycle-level computation of the class is not performed because the abstract characterization via Ext^1 already determines the generator uniquely. If the referee believes a direct cocycle computation would be valuable, we can discuss adding it, but it is not needed for the stated claim. revision: no
Circularity Check
Explicit geometric construction independent of extension-space definition
full rationale
The paper defines the polylogarithm motive directly as the relative cohomology motive of the complement of {1−z t1⋯tn=0} in A^n_S relative to the ti=0 and ti=1 hyperplanes. This geometric object is not defined in terms of the motivic Ext class it is claimed to realize. Identification with the classical polylogarithm variation rests on external comparison theorems of Beilinson-Deligne, Huber-Wildeshaus and Ayoub (cited for existence of the mixed Tate category and equality of extension spaces); these are not self-citations by the present authors and constitute independent support. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citation chains appear. The derivation therefore remains self-contained against the cited external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The category of mixed Tate motives over S exists and the extension spaces computed by Beilinson-Deligne, Huber-Wildeshaus, and Ayoub correctly classify the polylogarithm variation.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The nth polylogarithm motive is the relative cohomology motive Ln = M(Xn∖An,Bn∖An∩Bn)[n] … fits into 0→QS(0)→L→Sym(K)(−1)→0
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The isomorphism M(An,An∩Bn)[n−1] ≃ Sym^{n−1}(K) is proved via a motivic lift of Getzler’s spectral sequence
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
On a relation of a conjecture of Goncharov to the co-Lie algebra of Bloch-Kriz mixed Tate motives
A possible linear map from Goncharov's B_n(F) to the co-Lie algebra of mixed Tate motives is considered via motivic polylogarithms, supported under Beilinson-Soulé K-group vanishing assumptions.
Reference graph
Works this paper leans on
-
[1]
Arnol'd, The cohomology ring of the group of dyed braids, Mat.\ Zametki 5 (1969), 227--231
V.\,I. Arnol'd, The cohomology ring of the group of dyed braids, Mat.\ Zametki 5 (1969), 227--231
work page 1969
-
[2]
Ayoub, Motivic version of the classical polylogarithms, in: Polylogarithms, pp
J. Ayoub, Motivic version of the classical polylogarithms, in: Polylogarithms, pp. 2563--2565, Oberwolfach Rep.\ 1 (2004), no. 4, doi:10.4171/owr/2004/48
-
[3]
, Les six op \'e rations de G rothendieck et le formalisme des cycles \'e vanescents dans le monde motivique. I , Ast \'e risque 314 (2007)
work page 2007
-
[4]
II , Ast \'e risque 315 (2007)
, Les six op \'e rations de G rothendieck et le formalisme des cycles \'e vanescents dans le monde motivique. II , Ast \'e risque 315 (2007)
work page 2007
-
[5]
K. Ball and T. Rivoal, Irrationalit \'e d'une infinit \'e de valeurs de la fonction z\^eta aux entiers impairs , Invent.\ Math.\ 146 (2001), no. 1, 193--207, doi:10.1007/s002220100168
-
[6]
Barcelo, On the action of the symmetric group on the free L ie algebra and the partition lattice , J
H. Barcelo, On the action of the symmetric group on the free L ie algebra and the partition lattice , J. Combin.\ Theory Ser. A 55 (1990), no. 1, 93--129, doi:10.1016/0097-3165(90)90050-7
-
[7]
A. Beilinson, J. Bernstein, P. Deligne, and O. Gabber, Faisceaux pervers, Ast \'e risque 100 (2018), doi:10.24033/ast.1042
-
[8]
A. Beilinson and P. Deligne, Interpr \'e tation motivique de la conjecture de Z agier reliant polylogarithmes et r \'e gulateurs , in: Motives ( S eattle, WA , 1991), pp. 97--121, Proc.\ Sympos.\ Pure Math., vol. 55, Part 2, Amer.\ Math.\ Soc., Providence, RI, 1994, doi:10.1090/pspum/055.2/1265552
-
[9]
A. Beilinson and A. Levin, The elliptic polylogarithm, in: Motives ( S eattle, WA , 1991), pp. 123--190, Proc.\ Sympos.\ Pure Math., vol. 55, P art 2, Amer.\ Math.\ Soc., Providence, RI, 1994, doi:10.1090/pspum/055.2/1265553
-
[10]
A.\,J. Brandt, The free L ie ring and L ie representations of the full linear group , Trans.\ Amer.\ Math.\ Soc.\ 56 (1944), 528--536, doi:10.2307/1990324
-
[11]
D.-C. Cisinski and F. D\' e glise, Triangulated categories of mixed motives, Springer Monogr.\ Math., Springer, Cham, 2019, doi:10.1007/978-3-030-33242-6
-
[12]
Cohen, The homology of C _ n+1 -spaces, n 0 , in: The Homology of Iterated Loop Spaces, pp
F.\,R. Cohen, The homology of C _ n+1 -spaces, n 0 , in: The Homology of Iterated Loop Spaces, pp. 207--351, Lecture Notes in Math., vol. 533, Springer, Berlin, Heidelberg, 1976, doi:10.1007/BFb0080467
-
[13]
Pure Appl.\ Algebra 100 (1995), no
, On configuration spaces, their homology, and L ie algebras , J. Pure Appl.\ Algebra 100 (1995), no. 1-3, 19--42, doi:10.1016/0022-4049(95)00054-Z
-
[14]
Deligne, Unpublished letter to Spencer Bloch, April 3, 1984
P. Deligne, Unpublished letter to Spencer Bloch, April 3, 1984
work page 1984
-
[15]
79--297, Math.\ Sci.\ Res.\ Inst.\ Publ., vol
, Le groupe fondamental de la droite projective moins trois points, in: Galois groups over Q (Berkeley, CA, 1987), pp. 79--297, Math.\ Sci.\ Res.\ Inst.\ Publ., vol. 16, Springer-Verlag, New York, 1989, doi:10.1007/978-1-4613-9649-9_3
-
[16]
, Unpublished letter to Alexander Beilinson, February 16, 2001
work page 2001
-
[17]
P. Deligne and A.\,B. Goncharov, Groupes fondamentaux motiviques de T ate mixte , Ann.\ Sci.\ \'E cole Norm.\ Sup.\ (4) 38 (2005), no. 1, 1--56, doi:10.1016/j.ansens.2004.11.001
-
[18]
Dupont, Odd zeta motive and linear forms in odd zeta values, (with a joint appendix with D
C. Dupont, Odd zeta motive and linear forms in odd zeta values, (with a joint appendix with D. Zagier), Compos.\ Math.\ 154 (2018), no. 2, 342--379, doi:10.1112/S0010437X17007588
-
[19]
, Progr \'e s r \'e cents sur la conjecture de Z agier et le programme de G oncharov [d'apr\' e s G oncharov, R udenko, G angl, ] , in: S\' e min.\ Bourbaki. Vol. 2019/2021. Expos\'es 1166--1180 , Exp.\ No. 1176, pp. 295–343, Ast\'erisque 430 (2021), doi:10.24033/ast.1165
-
[20]
C. Dupont and D. Juteau, The localization spectral sequence in the motivic setting, Algebr.\ Geom.\ Topol.\ 24 (2024), no. 3, 1431--1466, doi:10.2140/agt.2024.24.1431
-
[21]
Tate motives and the fundamental group
H. Esnault and M. Levine, T ate motives and the fundamental group , preprint arXiv:0708.4034 (2007)
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[22]
Getzler, Resolving mixed H odge modules on configuration spaces , Duke Math
E. Getzler, Resolving mixed H odge modules on configuration spaces , Duke Math. J.\ 96 (1999), no. 1, 175--203, doi:10.1215/S0012-7094-99-09605-9
-
[23]
P. Griffiths and J. Harris, Principles of algebraic geometry (reprint of the 1978 original), Wiley Classics Lib., John Wiley & Sons, Inc., New York, 1994, doi:10.1002/9781118032527
-
[24]
u rich, 1994), pp. 374--387, Birkh \
A.\,B. Goncharov, Polylogarithms in arithmetic and geometry, in: Proceedings of the I nternational C ongress of M athematicians, V ol.\ 1, 2 ( Z \"u rich, 1994), pp. 374--387, Birkh \"a user Verlag, Basel, 1995, doi:10.1007/978-3-0348-9078-6_31
-
[25]
, Multiple polylogarithms and mixed T ate motives , preprint arXiv:0103059 (2001)
work page 2001
-
[26]
A.\,B. Goncharov and Yu.\,I. Manin, Multiple -motives and moduli spaces M _ 0,n , Compos.\ Math.\ 140 (2004), no. 1, 1--14, doi:10.1112/S0010437X03000125
-
[27]
Hain, Classical polylogarithms, in: Motives ( S eattle, WA , 1991), pp
R.\,M. Hain, Classical polylogarithms, in: Motives ( S eattle, WA , 1991), pp. 3--42, Proc.\ Sympos.\ Pure Math., vol. 55, Part 2, Amer.\ Math.\ Soc., Providence, RI, 1994, doi:10.1090/pspum/055.2/1265551
-
[28]
Hanlon, The fixed-point partition lattices, Pacific J
P. Hanlon, The fixed-point partition lattices, Pacific J. Math.\ 96 (1981), no. 2, 319--341, doi:10.2140/pjm.1981.96.319
-
[29]
P. Hanlon and M. Wachs, On L ie k -algebras , Adv.\ Math.\ 113 (1995), no. 2, 206--236, doi:10.1006/aima.1995.1038
-
[30]
Hatcher, Algebraic topology, Cambridge Univ.\ Press, Cambridge, 2002
A. Hatcher, Algebraic topology, Cambridge Univ.\ Press, Cambridge, 2002
work page 2002
-
[31]
A. Huber and G. Kings, Polylogarithm for families of commutative group schemes, J. Algebraic Geom.\ 27 (2018), no. 3, 449--495, doi:10.1090/jag/717
-
[32]
A. Huber and J. Wildeshaus, Classical motivic polylogarithm according to B eilinson and D eligne , Doc.\ Math.\ 3 (1998), 27--133, doi:10.4171/dm/37-5
-
[33]
F. Ivorra and S. Morel, The four operations on perverse motives , J. Eur.\ Math.\ Soc.\ (JEMS) 26 (2024), no. 11, 4191--4272, doi:10.4171/jems/1402
-
[34]
A. Joyal, Foncteurs analytiques et esp \'e ces de structures , in: Combinatoire \'e num \'e rative (Montreal, Que., 1985/Quebec, Que., 1985), pp. 126--159, Lecture Notes in Math., vol. 1234, Springer-Verlag, Berlin, 1986, doi:10.1007/BFb0072514
-
[35]
F. Jin and E. Yang, K\" u nneth formulas for motives and additivity of traces , Adv.\ Math.\ 376 (2021), Paper No. 107446, doi:10.1016/j.aim.2020.107446
-
[36]
Klyachko, Lie elements in a tensor algebra, Sibirsk.\ Mat.\ Z
A.\,A. Klyachko, Lie elements in a tensor algebra, Sibirsk.\ Mat.\ Z . 15 (1974), 1296--1304, 1430
work page 1974
-
[37]
M. Levine, Tate motives and the vanishing conjectures for algebraic K -theory , in: Algebraic K -theory and algebraic topology ( L ake L ouise, AB , 1991), pp. 167--188, NATO Adv.\ Sci.\ Inst.\ Ser. C: Math.\ Phys.\ Sci., vol. 407, Kluwer Acad. Publ.\ Group, Dordrecht, 1993, doi:10.1007/978-94-017-0695-7_7
-
[38]
, Motivic tubular neighborhoods, Doc.\ Math.\ 12 (2007), 71--146, doi:10.4171/dm/221
-
[39]
P. Orlik and L. Solomon, Combinatorics and topology of complements of hyperplanes, Invent.\ Math.\ 56 (1980), no. 2, 167--189, doi:10.1007/BF01392549
-
[40]
D. Petersen, A spectral sequence for stratified spaces and configuration spaces of points, Geom.\ Topol.\ 21 (2017), no. 4, 2527--2555, doi:10.2140/gt.2017.21.2527
-
[41]
Ramakrishnan, On the monodromy of higher logarithms, Proc.\ Amer.\ Math.\ Soc.\ 85 (1982), no
D. Ramakrishnan, On the monodromy of higher logarithms, Proc.\ Amer.\ Math.\ Soc.\ 85 (1982), no. 4, 596--599, doi:10.2307/2044073
-
[42]
183--310, Contemp.\ Math., vol
, Regulators, algebraic cycles, and values of L -functions , in: Algebraic K -theory and algebraic number theory (Honolulu, HI, 1987), pp. 183--310, Contemp.\ Math., vol. 83, Amer.\ Math.\ Soc., Provindence, RI, 1989, doi:10.1090/conm/083/991982
-
[43]
T. Rivoal, La fonction z\^eta de R iemann prend une infinit \'e de valeurs irrationnelles aux entiers impairs , C. R. Acad.\ Sci.\ Paris S \'e r. I Math.\ 331 (2000), no. 4, 267--270, doi:10.1016/S0764-4442(00)01624-4
-
[44]
Stanley, Some aspects of groups acting on finite posets, J
R.\,P. Stanley, Some aspects of groups acting on finite posets, J. Combin.\ Theory Ser. A 32 (1982), no. 2, 132--161, doi:10.1016/0097-3165(82)90017-6
-
[45]
V. Voevodsky, Triangulated categories of motives over a field, in: Cycles, transfers, and motivic homology theories, pp. 188--238, Ann.\ of Math.\ Stud., vol. 143, Princeton Univ.\ Press, Princeton, NJ, 2000, doi:10.1515/9781400837120.188
-
[46]
Wang, Moduli spaces and multiple polylogarithm motives, Adv.\ Math.\ 206 (2006), no
Q. Wang, Moduli spaces and multiple polylogarithm motives, Adv.\ Math.\ 206 (2006), no. 2, 329--357, doi:10.1016/j.aim.2005.09.002
-
[47]
Wildeshaus, Realizations of polylogarithms, Lecture Notes in Math., vol
J. Wildeshaus, Realizations of polylogarithms, Lecture Notes in Math., vol. 1650, Springer-Verlag, Berlin, 1997, doi:10.1007/BFb0093051
-
[48]
D. Zagier, Polylogarithms, D edekind zeta functions and the algebraic K -theory of fields , in: Arithmetic algebraic geometry ( T exel, 1989), pp. 391--430, Progr.\ Math., vol. 89, Birkh \"a user Boston, Inc., Boston, MA, 1991, doi:10.1007/978-1-4612-0457-2_19
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.