arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.04214

Iterated cotangent-difference integrals over totally real cyclotomic fields

Jin Cao·Hidekazu Furusho
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study iterated cotangent integrals with cyclotomic shifts and express their values along specified reference paths in terms of cyclotomic multiple zeta values. Differences of cotangent forms extend to a punctured projective line over a totally real cyclotomic field, giving a family of "real cyclotomic multiple zeta values." With rational tangential endpoints, these difference integrals are periods of mixed Tate motives over that field; integral endpoint data yield periods over its ring of integers after inverting primes dividing the level. The associated framed motivic classes generate a Hopf subalgebra under Goncharov's coproduct.

Explore related subjects

math.NTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jin Cao, Hidekazu Furusho. 2026-10-03. Iterated cotangent-difference integrals over totally real cyclotomic fields. https://arxiv.org/abs/2610.04214

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Extendability of group actions on K3 or Enriques surfaces

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

math.NT↗
arXiv2026

New bounds for the integer Chebyshev constant of [0,1]

The integer Chebyshev constant of [0,1] has been bracketed by 0.4213 <= t_Z([0,1]) <= 0.422685 since the work of Pritsker (2005) and of Flammang (2014). We prove 0.4222286000 <= t_Z([0,1]) <= 0.4226846975, narrowing the interval from 1.39e-3 to 4.56e-4. Both bounds are established by explicit certificates. The upper bound is carried by an integer polynomial with 92 factors and explicit integer exponents; the lower bound by a discrete measure on 947 cells together with a library of 206 irreducible polynomials, through an inequality in which the terms paying for divisibility are made explicit. Two self-contained scripts, included as ancillary files, re-derive both bounds from the certificates alone.

math.NT↗
arXiv2026

Prescribed ideal classes and elliptic points in Ennola cubic fields

For every prime $\ell\geq5$ and integer $n\geq2$, we construct an Ennola cubic field with a specified prime above $\ell$ of exact ideal-class order $2^n$. The same squareclass obstructions give four independent rational points on associated elliptic curves. A Pell equation describes all parameters satisfying the required square and congruence conditions. A genus-one base change gives five independent sections whose generated subgroup is saturated at two. It also yields infinitely many geometrically nonisomorphic rational fibres of rank at least five.

math.NT↗