Sums of binomial coefficients evaluated at \alpha \in \overline{\mathbb Q}, and applications

DOI10.1016/J.JALGEBRA.2021.07.037MaRDI QIDQ6352383arXivFDO

Authors Daniil Kalinov, Andrei Mandelshtam

Publication date 27 October 2020

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2021.07.037

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Monoidal categories and operads (18M99) Representations of finite symmetric groups (20C30)

arXiv classification

math.NTmath.RT

Abstract: The additive monoid $R_{+}(x)$ is defined as the set of all nonnegative integer linear combinations of binomial coefficients $$ for $ninmathbb{Z}_{+}$. This paper is concerned with the inquiry into the structure of $R_{+}(alpha)$ for complex numbers $alpha.$ Particularly interesting is the case of algebraic $alpha$ which are not non-negative integers. This question is motivated by the study of functors between Deligne categories $extrmRep(S_t)$ (and also $extrmRep(extrm{GL}_t)$) for $$. We prove that this object is a ring if and only if $alpha$ is an algebraic number that is not a nonnegative integer. Furthermore, we show that all algebraic integers generated by $alpha,$ i.e. all elements of $mathcal{O}_{mathbbQ(alpha)},$ are also contained in this ring. We also give two explicit representations of $R_{+}(alpha)$ for both algebraic integers and general algebraic numbers $alpha.$ One is in terms of inequalities for the valuations with respect to certain prime ideals and the other is in terms of explicitly constructed generators. We show how these results work in the context of the study of symmetric monoidal functors between Deligne categories in positive characteristic. Moreover, this leads to a particularly simple description of $R_{+}(alpha)$ for both quadratic algebraic numbers and roots of unity.

This page was built for publication: Sums of binomial coefficients evaluated at $\alpha \in \overline{\mathbb Q},$ and applications

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