An application of a Hodge realization of Bloch-Kriz mixed Tate motives

Kenichiro Kimura

REVIEW 3 major objections 5 minor 16 references

An application of a Hodge realization of Bloch-Kriz mixed Tate motives

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Bloch-Kriz category of mixed Tate motives, with the author's Hodge realization and polylog objects, satisfies the Beilinson-Deligne conditions; the weak Zagier conjecture on Dedekind zeta values therefore holds for number fields.

desk verdict A credible verification paper for a weak Zagier conjecture, with a genuine gap: condition (E)'s projective system is never actually constructed. read the letter →

arxiv 2412.12421 v1 pith:U7Y5ID4V submitted 2024-12-17 math.NT math.KT

Kenichiro Kimura This is my paper · ORCID

classification math.NTmath.KT MSC 19E1511R42

keywords mixedTatemotivesHodgerealizationZagier'sconjectureDedekindzetafunctionspolylogarithmshigherChowgroupsregulatorssemi-algebraicchains

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper claims that the Bloch-Kriz category of mixed Tate motives over a number field, equipped with a Hodge realization constructed by the author in earlier work, satisfies all five conditions (A)-(E) that Beilinson and Deligne showed imply a weak version of Zagier's conjecture on special values of Dedekind zeta functions. The verification is carried out by checking the Tannakian structure and Ext-groups, the existence of an exact tensor Hodge realization functor for each complex embedding, its compatibility with regulator maps on $K$-groups, and the construction of polylogarithm motives with the prescribed Hodge realizations. If the proof is correct, the weak Zagier conjecture holds for all number fields, giving a motivic interpretation of the polylogarithm identities behind zeta values.

What carries the argument

The load-bearing object is the complex $AC^{\bullet}$ of admissible semi-algebraic chains on $(\mathbf{P}^1)^n$ relative to the divisor $\{z_i=1\}$, with a cubical face map $\partial$ and a differential $d = \partial + (-1)^n \delta$. Its inclusion into the full chain complex is a quasi-isomorphism, and integration of the logarithmic form $\omega_n$ along admissible simplices defines a chain map $I: AC^{\bullet} \to \mathbf{C}$ satisfying the Cauchy-Stokes formula, so $AC^{\bullet}\otimes \mathbf{C}$ is quasi-isomorphic to $\mathbf{C}$. The Hodge realization is then defined on the bar complexes $B(N,AC^{\bullet})$ and $B(N,F)$ with weight and Hodge filtrations, with comparison map given by $\mathrm{id} \otimes (2\pi i)^{-r} I$ on each weight-graded piece. Under the equivalence between $\mathrm{MT}_{BK}$ and the category of flat $N$-connections, the polylogarithm motives $M_k(a)$ are realized by explicit chains $\eta_k(i)$, yielding the period matrix whose entries are the classical polylogarithms $\mathrm{Li}_j(a)$ and powers of $\log a$.

What would settle it

Take $F = \mathbf{Q}$ and $a = 1/2$; for $k = 2$, the period matrix of $M_2(a)$ computed via admissible chain integration must contain $-\mathrm{Li}_2(1/2)/(2\pi i)^2$ in the expected entry. A numerical evaluation of $I(\xi_2(1/2))$ that disagrees with this value modulo $\mathbf{Z}$ would falsify condition (E).

Watch

Extended reading notes

Core claim

The central claim is that the category $\mathrm{MT}_{BK}$ of mixed Tate motives over a number field $F$, together with the Hodge realization functor built from the admissible semi-algebraic chain complex $AC^{\bullet}$ and the polylogarithm motives $M_k(a)$ of Bloch-Kriz, satisfies conditions (A) through (E) of Beilinson-Deligne. Concretely, $\mathrm{MT}_{BK}$ is a Tannakian category over $\mathbf{Q}$ whose simple objects $\mathbf{Q}(k)$ satisfy the required $\mathrm{Ext}$-vanishing and $\mathrm{Ext}^1(\mathbf{Q}(0),\mathbf{Q}(k)) \cong K_{2k-1}(F)\otimes \mathbf{Q}$, the Hodge realization is an exact tensor functor to $\mathbf{Q}$-mixed Hodge structures sending $\mathbf{Q}(1)$ to the Tate Hodge structure, it is compatible with the regulator map on $K_{2k-1}(F)$, and the projective system $M_k(a)$ of extensions of $\mathbf{Q}(0)$ by $\mathrm{Sym}^{k-1}([a])(1)$ has the Hodge realizations described by Beilinson and Deligne. Hence the weak form of Zagier's conjecture on Dedekind zeta special values follows for number fields.

Load-bearing premise

The argument assumes that the admissible semi-algebraic chain complex constructed in the author's previous work is a quasi-isomorphic model for Betti chains and satisfies the Cauchy-Stokes formula, and that the integral of the chain $G$ with $dG = -Z$ equals the Abel-Jacobi map; if any of these prior results fails, the Hodge realization and the regulator compatibility collapse.

Editorial extensions

If this is right

For every number field $F$, the weak Zagier conjecture holds: each special value $\zeta_F(n)$ is a $\mathbf{Q}$-linear combination of polylogarithms evaluated at elements of $F$, up to rational multiples of $(2\pi i)^n$.
The Beilinson-Deligne conditions are realized by an explicit, computable category, so the regulator map on $K_{2k-1}(F)$ is given by periods of admissible semi-algebraic chains.
The Polylog motives $M_k(a)$ exist as objects of $\mathrm{MT}_{BK}$ with the expected Hodge structures, giving a motivic interpretation of the classical polylogarithm functions and the logarithms of $a$ and $1-a$.
The proof yields an explicit chain-theoretic formula for the regulator: the integral $I(G)$ equals the Abel-Jacobi image of the corresponding higher Chow cycle, linking algebraic $K$-theory to period computations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper: if the Hodge realization of $\mathrm{MT}_{BK}$ is later shown compatible with the Hodge realization on the triangulated category of mixed Tate motives equipped with a t-structure, the same argument would extend the weak Zagier conjecture to that broader setting.
Beyond the paper: the explicit period matrix for $M_k(a)$ suggests a numerical test of the regulator: for $F=\mathbf{Q}$ and small $k$, integrate the admissible chains for a rational number $a$ and compare the resulting periods with the classical polylogarithms modulo $(2\pi i)^k \mathbf{Q}$.
Beyond the paper: relaxing the admissibility condition on $AC^{\bullet}$ might bring more general higher Chow cycles into the integration formalism, potentially yielding explicit regulators beyond the polylogarithmic cases treated here.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: this is a credible, compact verification paper. It assembles the author's earlier Hodge realization and Bloch-Kriz motives to claim a weak form of Zagier's conjecture. The main new work is the explicit period computation for the Polylog motives in Section 4. The paper is honest about what is cited and what is new.

The structure is clean: conditions (A) and (B) come from Bloch-Kriz and Beilinson-Soulé; (C) and (D) from the author's AC complex and the Abel-Jacobi result in [11]; (E) is meant to come from the M_k(a) comodules. The period matrix is a genuinely new explicit computation, and the verification that the Hodge realization matches the expected one is the heart of the paper. I believe that part is solid, assuming the cited results hold. The Cauchy-Stokes formula and the quasi-isomorphism of AC are published in [9], and the Abel-Jacobi identification in [11] is in Trans. AMS, so the dependence is on peer-reviewed work, not on private manuscripts.

The soft spots are real but not fatal. The biggest one is condition (E). Section 4 defines M_k(a) for each k and computes its Hodge realization, but it never actually constructs the projective system with transition maps M_{k+1}(a) → M_k(a), nor verifies compatibility with the Hodge realizations in the sense of [1]. The natural projection killing the top degree exists and should work, but it is not stated. As written, condition (E) is not verified. This is a presentational gap rather than a conceptual flaw, and a referee should ask for it to be written out. The proof of Proposition 3.19 is also more of a sketch: the existence of the chains γ_i is asserted by induction, and the equality of I(G) with the Abel-Jacobi image is cited. A referee will want more detail there, but the cited mechanism is credible.

I don't see circularity. The paper uses prior results that are independent of Zagier's conjecture. There are no free parameters or invented entities. The main result, if correct, is a significant within-field step, though it is not a new technology and does not prove full Zagier.

Who is this for? People working on Zagier's conjecture, polylogarithms, and mixed Tate motives. It is not a survey; it is a technical verification. It deserves a serious referee, and the natural outcome would be minor revision with the projective system spelled out and a few proof sketches expanded. I'd send it to review.

Referee Report

3 major / 5 minor

Summary. The paper claims that the Bloch-Kriz category MT_BK of mixed Tate motives over a number field, together with the Hodge realization functor constructed by the author in [9] and the Polylog objects of MT_BK, satisfies conditions (A)-(E) of Beilinson-Deligne. Since Beilinson and Deligne proved a weak version of Zagier's conjecture on special values of Dedekind zeta functions under those assumptions, the paper concludes that the weak Zagier conjecture holds for number fields. The verification proceeds as follows: conditions (A) and (B) are derived from the structure of MT_BK and known results on cycle complexes and the bar complex; condition (C) is addressed through the Hodge realization functor defined in Section 3, with tensor compatibility proved in Theorem 3.16; condition (D) is verified in Proposition 3.19 via a description of the Abel-Jacobi map in terms of the chain complex AC; condition (E) is claimed in Section 4, where the Polylog motives M_k(a) are defined and their period matrices are computed.

Significance. If the verification is completed, the paper would establish the weak Zagier conjecture for number fields by a route different from Beilinson and Deligne's original assumptions, using the Bloch-Kriz category and the author's previous construction of a Hodge realization. The paper's strengths are its clear reduction of the problem to the five listed conditions, and its explicit computation of the period matrix of the Polylog motives, which is the key input for condition (E). The paper is also honest about relying on the author's earlier technical work [9] and [11], and on results of Bloch-Kriz [3]. However, two load-bearing steps are not fully written out: the construction of the projective system in condition (E), and the proof or precise citation of exactness for the Hodge realization in condition (C). Both issues appear fixable, but as the manuscript stands the central claim is not completely established.

major comments (3)

[Section 4] Condition (E) is not actually verified. The section defines, for each positive integer k, a comodule M_k(a) and computes its Hodge realization, but it never constructs the required projective system of extensions. No transition maps M_{k+1}(a) -> M_k(a) are exhibited, and no compatibility of the family with the Hodge realizations described in [1] is checked. The natural truncation maps (killing the generator e_{-(k+1)}) would likely provide such a system, but the paper must state them and prove they are morphisms of MT_BK that are compatible with the period computations. As written, condition (E) remains unproved.
[Sections 3.3-3.4] Condition (C) requires an exact tensor functor to Q-mixed Hodge structures. The paper proves that the functor Phi is isomorphic to Psi and that Psi is compatible with tensor products (Theorems 3.15 and 3.16), but it never states or proves exactness of either functor. Exactness is a load-bearing part of condition (C). If exactness is already established in the author's previous paper [9], the precise theorem should be cited; otherwise a proof is needed, for example by showing that Psi preserves short exact sequences via the weight spectral sequence.
[Proposition 3.19] The verification of condition (D) depends entirely on the identification 'By [11] Corollary 4.9 I(G) is equal to the Abel-Jacobi image of Z'. The paper does not state the precise content of that corollary nor check that the chain G constructed in the proof satisfies its hypotheses. Since the regulator compatibility collapses if this identification fails, the author should make the cited result explicit and verify that its conditions are met for the specific G.

minor comments (5)

[Abstract] There is a typo: 'conjucture' should be 'conjecture'.
[Section 2.1] There is a typo: 'folloing' should be 'following'.
[Section 2.3] There is a typo: 'homomorpshism' should be 'homomorphism'.
[Section 4] The displayed period matrix is not fully legible; several entries are indicated by ellipses and the layout is ambiguous. It should be typeset as a proper lower-triangular matrix.
[Section 4] The sentence 'Up to shifting the Adams grading by -k, M_k(a) is isomorphic to the sub comodule in chi_N generated by e0 = Li_k(a) ...' is confusing because e0 was already used as the generator of the Adams-degree-0 part; the notation should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain rests on independent published constructions and direct computations, not on re-used inputs.

full rationale

The paper's claim is that MT_BK, the Hodge realization of [9], and the Polylog objects satisfy Beilinson–Deligne conditions (A)–(E). Nothing in the derivation makes the target conjecture an input. Conditions (A) and (B) are established in Section 2 from the Bloch–Kriz category and Kriz–May's bar-complex Ext computation, with no circular reduction. Conditions (C) and (D) in Section 3 invoke [9] for the quasi-isomorphism of AC^•, the Cauchy–Stokes formula, and the filtered quasi-isomorphism, and [11] for the equality I(G) = Abel–Jacobi image of a higher Chow cycle; these are prior published theorems with stated assumptions not containing the weak Zagier conjecture, and the compatibility diagram of Proposition 3.19 is a computation using those theorems. Section 4 computes the period matrix of the Polylog motive by explicit integrals over the chains eta_k(i) and powers of a path; the appearance of Li_j(a) and (log a)^j/(2 pi i)^j is a direct evaluation, not a fitted input or an assumption of [1]'s Hodge description. The only notable issue is that the paper never explicitly constructs the transition maps M_{k+1}(a) -> M_k(a) demanded by condition (E); it verifies each M_k(a) individually. That is an internal completeness/correctness gap, not a circularity: it does not make the verification equivalent to its inputs. Self-citations to [8], [9], and [11] are load-bearing but are independent published results, so they do not raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities. It works with the Bloch-Kriz category, the AC complex from [9], and the Polylog motives from [3]. All axioms are standard domain assumptions or established results from the cited literature; the paper's contribution is to combine them and verify the Beilinson-Deligne conditions.

assumptions (6)

domain assumption Borel's theorem on rational K-groups of number fields: K_{2r-1}(F)⊗Q is finite dimensional and K_even(F)⊗Q = 0.
Used in Section 2.3 to conclude H^p_M(Spec F,Q(r)) = 0 for p ≠ 1, which implies the cdga N is cohomologically connected and the category MT_BK is Tannakian.
domain assumption The Bloch-Kriz category MT_BK is a Tannakian category and its Ext^1 groups are computed via the 1-minimal model (Kriz-May Part IV).
Invoked in Section 2.3 to establish conditions (A) and (B), including the isomorphism Ext^1_MTBK(Q,Q(r)) ≅ K_{2r-1}(F)⊗Q.
domain assumption The Hodge realization functor of [9] exists and satisfies the quasi-isomorphism and Cauchy-Stokes properties stated in Propositions 3.9 and 3.11.
This is the foundation for condition (C). The paper does not reprove these statements and refers the reader to [9].
domain assumption The integral I(G) of a semi-algebraic chain G equals the Abel-Jacobi image of a higher Chow cycle, as stated in [11] Corollary 4.9.
Used in the proof of Proposition 3.19 to establish condition (D), compatibility with regulator maps.
domain assumption The higher Chow cycle ρ_k(a) and the associated cocycle yield a well-defined coaction on M_k(a), making it an extension of Q by Sym^{k-1}([a])(1).
This is the basis for condition (E) and is taken from [2] and [3], with the construction recalled in Section 4.
domain assumption For independent a and 1-a, there exists a 1-minimal model of N whose image contains a, 1-a, and ρ_k(a).
Used in Section 4 to compute the connection Γ for M_k(a) in the category of flat connections.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An application of a Hodge realization of Bloch-Kriz mixed Tate motives." pith.science (2026). https://pith.science/paper/U7Y5ID4V

@misc{pith2026241212421,
  author       = {Pith},
  title        = {Pith review of: An application of a Hodge realization of Bloch-Kriz mixed Tate motives},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U7Y5ID4V}},
  note         = {Machine review of arXiv:2412.12421}
}

read the original abstract

Beilinson and Deligne proved a weak version of Zagier's conjucture on special values of Dedekind zeta functions assuming the existence of a category of mixed Tate motives which has certain properties. We show that Bloch-Kriz category of mixed Tate motives together with a Hodge realization which we constructed has the required properties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

[11]

Kimura, K., Semi-algebraic chains on projective varieties and the Abel -Jacobi map for higher Chow cycles, Trans. Amer. Math. Soc., 374 (2021), no. 11, 7589–7619

work page 2021
[9]

Hanamura, M., Kimura, K., and Terasoma, T., Integrals of loga rithmic forms on semi- algebraic sets and a generalized Cauchy formula, Part II: generalized Cauchy fo rmula arXiv:1604.03216, 2020

work page Pith review arXiv 2020
[1]

and Deligne, P., Interpretation motivique de la conjecture de Zagier relian t polylogarithmes et regulateurs, Proc

Beilinson, A. and Deligne, P., Interpretation motivique de la conjecture de Zagier relian t polylogarithmes et regulateurs, Proc. Sympos. Pure Math. 55, Part 2, Amer. Math. Soc., Providence, RI, (1994), 97–121

work page 1994
[3]

and Kriz, I., Mixed Tate Motives , Ann

Bloch, S. and Kriz, I., Mixed Tate Motives , Ann. Math. 140 (1994), 557-605

work page 1994
[2]

4, (1991), 771–791

Bloch, S., Algebraic cycles and the Lie algebra of mixed Tate motives , J.A.M.S. 4, (1991), 771–791

work page 1991
[4]

Borel, A., Cohomologie de SLn et valuers de fonctions zˆ eta aux points einiers , Ann. Sc. Norm. Sup. Pisa 4 (1977), 613–636

work page 1977
[5]

Borel, A., Stable real cohomology of arithmetic groups , Ann. sci. ENS 7 (1974), 235–272

work page 1974
[6]

and Mac Lane, S., On the groups of H(Π , n )

Eilenberg, S. and Mac Lane, S., On the groups of H(Π , n ). I , Ann. of Math. (2) 58 (1953), 55–106

work page 1953

Show all 16 references

[7]

Goncharov, A. B. and Rudenko, D., Motivic correlators, cluster varieties and Zagier’s conje cture on ζF(4), arXiv: 1803.08585

arXiv
[8]

and Terasoma, T., Integrals of logarithmic forms on semi-algebraic sets and a generalized Cauchy formula , Part I: convergence theorems

Hanamura, M., Kimura, K. and Terasoma, T., Integrals of logarithmic forms on semi-algebraic sets and a generalized Cauchy formula , Part I: convergence theorems. arXiv:1509.06950

arXiv
[10]

I, K-Theory 1 (1987) no

Hain, R., The de Rham homotopy theory of complex algebraic varieties. I, K-Theory 1 (1987) no. 3, 271–324. AN APPLICATION OF A HODGE REALIZATION OF BLOCH-KRIZ MIXED TA TE MOTIVES 21

1987
[12]

Kriz, I., May, J.P., Operads, algebras modules and motives, Part IV, Derived cat egories from the topological point of view , Asterisque 233, Soc. Math. de France 1995

1995
[13]

Levine, M., Tate motives and the fundamental group , Cycles, motives and Shimura varieties, 265–392, Tata Inst. Fund. Res. Stud. Math. 21, Tata Inst. Fund. Res., Mumbai, 2010

2010
[14]

Levine, M., Tate motives and the vanishing conjectures for algebraic K- theory, Algebraic K-theory and algebraic topology (Lake Louise, AB, 1991), NATO Adv. Sci. In st. Ser. C: Math. Phys. Sci., 407 Kluwer Academic Publishers Group, Dordrecht, 167–188, 1993

1991
[15]

Levine, M., Mixed motives , In the Handbook of K-theory, vol. 1, E.M. Friedlander, D.R. Grayson, eds., 429–522, Springer-Verlag, 2005

2005
[16]

D Thesis (Uni- versit¨ at Bonn), 2001

Spitzweck, M., Operads, Algebras and Modules in Model Categories and Motiv es, Ph. D Thesis (Uni- versit¨ at Bonn), 2001. categories of motives, Kenichiro Kimura Department of Mathematics, University of Tsukuba, 1-1-1 Tennodai, Tsukuba, Ibaraki, 305-8571 Japan

2001

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [11]

Kimura, K., Semi-algebraic chains on projective varieties and the Abel -Jacobi map for higher Chow cycles, Trans. Amer. Math. Soc., 374 (2021), no. 11, 7589–7619

work page 2021

[2] [9]

Hanamura, M., Kimura, K., and Terasoma, T., Integrals of loga rithmic forms on semi- algebraic sets and a generalized Cauchy formula, Part II: generalized Cauchy fo rmula arXiv:1604.03216, 2020

work page Pith review arXiv 2020

[3] [1]

and Deligne, P., Interpretation motivique de la conjecture de Zagier relian t polylogarithmes et regulateurs, Proc

Beilinson, A. and Deligne, P., Interpretation motivique de la conjecture de Zagier relian t polylogarithmes et regulateurs, Proc. Sympos. Pure Math. 55, Part 2, Amer. Math. Soc., Providence, RI, (1994), 97–121

work page 1994

[4] [3]

and Kriz, I., Mixed Tate Motives , Ann

Bloch, S. and Kriz, I., Mixed Tate Motives , Ann. Math. 140 (1994), 557-605

work page 1994

[5] [2]

4, (1991), 771–791

Bloch, S., Algebraic cycles and the Lie algebra of mixed Tate motives , J.A.M.S. 4, (1991), 771–791

work page 1991

[6] [4]

Borel, A., Cohomologie de SLn et valuers de fonctions zˆ eta aux points einiers , Ann. Sc. Norm. Sup. Pisa 4 (1977), 613–636

work page 1977

[7] [5]

Borel, A., Stable real cohomology of arithmetic groups , Ann. sci. ENS 7 (1974), 235–272

work page 1974

[8] [6]

and Mac Lane, S., On the groups of H(Π , n )

Eilenberg, S. and Mac Lane, S., On the groups of H(Π , n ). I , Ann. of Math. (2) 58 (1953), 55–106

work page 1953