Algebraicity of the zeta function associated to a matrix over a free group algebra

DOI10.2140/ANT.2014.8.497MaRDI QIDQ2509409zbMATH OpenOpenAlexFDO

Authors Christian Kassel, Christophe Reutenauer

Publication date 27 July 2014

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.3481

zbMATH Keywords

algebraic functionlanguagenoncommutative formal power serieszeta function

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Noncommutative algebraic geometry (14A22) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10) Algebraic functions and function fields in algebraic geometry (14H05) Algebraic theory of languages and automata (68Q70) Combinatorics on words (68R15)

Abstract: Following and generalizing a construction by Kontsevich, we associate a zeta function to any matrix with entries in a ring of noncommutative Laurent polynomials with integer coefficients. We show that such a zeta function is an algebraic function.

Review text

Let \(KF_n\) be the algebra of non-commutative Laurent polynomials in \(n\) variables over a commutative ring \(K\). For an element \(a\in KF_n\), the constant term \(\mathrm{Tr}(a)\) can be regarded as a ``trace of \(a\), and accordingly, there is a ``characteristic polynomial \[ P_a(t)=\mathrm{det}(1-ta)=\mathrm{exp}\bigl(-\sum_{k=1}^\infty \frac{\mathrm{Tr}(a^k)}{k}t^k\bigr)\in Kt. \] For \(K=\mathbb C\), \textit{M. Kontsevich} [``Noncommutative identities, talk at Mathematische Arbeitstagung 2011, Bonn; \url{arXiv:1109.2469}] recently proved that \(P_a\) is algebraic, that is, \(P_a\in \overline{\mathbb C(t)}\cap\mathbb Ct\subset\overline{\mathbb C((t))}\). His sketch of proof reduced the statement to the series \[ F_a(t)=\sum_{k=1}^\infty\mathrm{Tr}(a^k)t^k \] which is known to be algebraic. As \(P_a'(t)=-\frac{F_a}{t}P_a\), the result then reduces to a known special case of the Grothendieck conjecture on algebraicity. The present paper generalizes Kontsevich's result to ``zeta function \(P_a(t)\) where \(a\) is replaced by a square matrix over \(\mathbb Q F_n\).

Recommendations

• Zeta functions of certain noncommutative algebras
• On Hasse zeta functions of group algebras of almost nilpotent groups
• Zeta Functions of Reductive Groups and Their Zeros
• Zeta functions of simple algebras
• Zeta functions, Grothendieck groups, and the Witt ring
• Multiple zeta functions and asymptotic structure of free Abelian groups of finite rank.
• On a matrix representation of a free group
• On the Group of Symplectic Matrices Over a Free Associative Algebra
• Subgroups of free proalgebraic groups and Matzat's conjecture for function fields
• scientific article; zbMATH DE number 2064373

Cited in

(7)

• Weights of twisted exponential sums
• Divisors on overlapped intervals and multiplicative functions
• Decorated one-dimensional cobordisms and tensor envelopes of noncommutative recognizable power series
• Abel's problem, Gauss and Cartier congruences over number fields
• Knots, BPS states, and algebraic curves
• Generalized Bowen-Franks groups of integral matrices with the same zeta function
• The proof of the Kontsevich periodicity conjecture on noncommutative birational transformations.

This page was built for publication: Algebraicity of the zeta function associated to a matrix over a free group algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2509409)