arXiv subjects

Adam Keilthy

Publications and source records attributed to Adam Keilthy.

9 recordsLinked to original sources

arXiv2025

A Generalisation of Niven's Theorem for Trigonometric Functions

Niven's Theorem asserts that $\{\cos(r\pi)|r\in \mathbb{Q}\}\cap\mathbb{Q} = \{0, \pm 1, \pm\frac{1}{2}\}$. This paper uses elementary methods to classify all elements in the sets $\{\cos^n(r\pi)|r\in \mathbb{Q}, n \in \mathbb{N}\}\cap\mathbb{Q}$ and $\{\sin^n(r\pi)|r\in \mathbb{Q}, n \in \mathbb{N}\}\cap\mathbb{Q}$. Using some algebraic number theory, we extend this to a classification of all elements in $\{\tan^n(r\pi)|r\in \mathbb{Q}, n \in \mathbb{N}\}\cap\mathbb{Q}$. Finally, we present a short Galois theoretic argument to provide a more conceptual understanding of the results.

math.NT↗

arXiv2024

Formal deformations of modular forms and multiple L-values

We relate analytically defined deformations of modular curves and modular forms from the literature to motivic periods via cohomological descriptions of deformation theory. Leveraging cohomological vanishing results, we prove the existence and essential uniqueness of deformations, which we make constructive via established Lie algebraic arguments and a notion of formal logarithmic deformations. Further, we construct a canonical and a totally holomorphic canonical universal family of deformations of modular forms of all weights, which we obtain from the canonical cocycle associated with periods on the moduli space $\mathcal{M}_{1,1}$. Our uniqueness statement shows that non-critical multiple $\mathrm{L}$-values, which appear in our deformations but are a priori non-geometric, are genuinely linked to deformations. Our work thus suggests a new geometric perspective on them.

math.NT↗

arXiv2023

Relating depth graded and block graded motivic Lie algebras

Using the block filtration as a realisation of the coradical filtration, we study the discrepancy between the depth filtration and the coradical filtration for motivic multiple zeta values. We construct an explicit dictionary between a certain subspace of block graded multiple zeta values and totally odd multiple zeta values and show that all expected relations in the depth graded motivic Lie algebra may be realised in the block graded Lie algebra as the kernel of an explicit map. We also discuss some connections to the uneven Broadhurst-Kreimer conjecture, and outline a possible approach.

math.AG↗

arXiv2022

Reconnectads

We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr and Devadoss, with the structure operations given by inclusions of orbits closures. We develop the general theory of reconnectads, and use it to study the ``wonderful reconnectad'' assembled from homology groups of complex toric varieties of graph associahedra.

math.CT↗

arXiv2022

Evaluation of the multiple zeta values $\zeta(2,\ldots,2,4,2,\ldots,2)$ and period polynomial relations

In studying the depth filtration on multiple zeta values, difficulties quickly arise due to a disparity between it and the coradical filtration. In particular, there are additional relations in the depth graded algebra coming from period polynomials of cusp forms for $SL_2(\mathbb{Z})$. In contrast, a simple combinatorial filtration, the block filtration is known to agree with the coradical filtration, and so there is no similar defect in the associated graded. However, via an explicit evaluation of $\zeta(2,\ldots,2,4,2,\ldots,2)$ as a polynomial in double zeta values, we derive these period polynomial relations as a consequence of an intrinsic symmetry of block graded multiple zeta values in block degree 2. In deriving this evaluation, we find a Galois descent of certain alternating double zeta values to classical double zeta values, which we then apply to give an evaluation of the multiple $t$ values $t(2\ell,2k)$ in terms of classical double zeta values.

math.NT↗

arXiv2022

A generalisation of quasi-shuffle algebras and an application to multiple zeta values

A large family of relations among multiple zeta values may be described using the combinatorics of shuffle and quasi-shuffle algebras. While the structure of shuffle algebras have been well understood for some time now, quasi-shuffle algebras were only formally studied relatively recently. In particular, Hoffman gives a thorough discussion of the algebraic structure, including a choice of algebra basis, and applies his results to produce families of relations among multiple zeta values and their generalisations. In a recent preprint, Hirose and Sato establish a family of relations coming from a new generalised shuffle structure, lifting a set of graded relations established by the author to genuine ungraded relations. In this paper, we define a commutative algebra structure on the space of non-commutative polynomials in a countable alphabet, generalising the shuffle-like structure of Hirose and Sato. We show that, over the rational numbers, this generalised quasi-shuffle algebra is isomorphic to the standard shuffle algebra, allowing us to reproduce most of Hoffman's results on quasi-shuffle algebras. We then apply these results to the case of multiple zeta values, reproducing several known families of results and establishing several more.

math.NT↗

arXiv2020

Motivic Multiple Zeta Values and the Block Filtration

We extend the block filtration, defined by Brown based on the work of Charlton, to all motivic multiple zeta values, and study relations compatible with this filtration. We construct a Lie algebra describing relations among motivic multiple zeta values modulo terms of lower block degree, proving Charlton's cyclic insertion conjecture in this structure, and showing the existence of a `block shuffle' relation, and a previously unknown dihedral symmetry and differential relation.

math.NT↗

arXiv2015

Shifted Hecke insertion and the K-theory of OG(n,2n+1)

Patrias and Pylyavskyy introduced shifted Hecke insertion as an application of their theory of dual filtered graphs. We use shifted Hecke insertion to construct symmetric function representatives for the K-theory of the orthogonal Grassmannian. These representatives are closely related to the shifted Grothendieck polynomials of Ikeda and Naruse. We then recover the K-theory structure coefficients of Clifford-Thomas-Yong/Buch-Samuel by introducing a shifted K-theoretic Poirier-Reutenauer algebra. Our proofs depend on the theory of shifted K-theoretic jeu de taquin and the weak K-Knuth relations.

math.CO↗

arXiv2014

Rogers-Ramanujan type identities for alternating knots

We highlight the role of q-series techniques in proving identities arising from knot theory. In particular, we prove Rogers-Ramanujan type identities for alternating knots as conjectured by Garoufalidis, Le and Zagier.

math.NT↗