Source author record

Chieh-Yu Chang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG

Catalog footprint

Research overview

12works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Function Field Analogue of Shimura's Conjecture on Period Symbols

In this paper we introduce the notion of Shimura's period symbols over function fields in positive characteristic and establish their fundamental properties. We further formulate and prove a function field analogue of Shimura's conjecture on the algebraic independence of period symbols. Our results enable us to verify the algebraic independence of the coordinates of any nonzero period vector of an abelian t-module with complex multiplication whose CM type is non-degenerate and defined over an algebraic function field. This is an extension of Yu's work on Hilbert-Blumenthal t-modules.

preprint2022arXiv

On Thakur's basis conjecture for multiple zeta values in positive characteristic

In this paper, we study multiple zeta values (abbreviated as MZV's) over function fields in positive characteristic. Our main result is to prove Thakur's basis conjecture, which plays the analogue of Hoffman's basis conjecture for real MZV's. As a consequence, we derive Todd's dimension conjecture, which is the analogue of Zagier's dimension conjecture for classical real MZV's.

preprint2020arXiv

Algebra structure of multiple zeta values in positive characteristic

This paper is a culmination of [CM20] on the study of multiple zeta values (MZV's) over function fields in positive characteristic. For any finite place $v$ of the rational function field $k$ over a finite field, we prove that the $v$ -adic MZV's satisfy the same $\bar{k}$ -algebraic relations that their corresponding $\infty$ -adic MZV's satisfy. Equivalently, we show that the $v$ -adic MZV's form an algebra with multiplication law given by the $q$ -shuffle product which comes from the $\infty$ -adic MZV's, and there is a well-defined $\bar{k}$ -algebra homomorphism from the $\infty$ -adic MZV's to the $v$ -adic MZV's.

preprint2020arXiv

On a conjecture of Furusho over function fields

We state and prove a function field analogue of Furusho for multiple zeta values.

preprint2017arXiv

Log-algebraic identities on Drinfeld modules and special L-values

We formulate and prove a log-algebraicity theorem for arbitrary rank Drinfeld modules defined over the polynomial ring F_q[theta]. This generalizes results of Anderson for the rank one case. As an application we show that certain special values of Goss L-functions are linear forms in Drinfeld logarithms and are transcendental.

preprint2016arXiv

Linear relations among double zeta values in positive characteristic

The study of this paper is inspired by the conjecture of Zagier on the explicit dimension formula for the space of the same weight double zeta values in terms of the dimension of cusp forms for SL_{2}(Z). Our main result is to devise an effective criterion for computing the dimension of the same weight double zeta values over a rational function field F_{q}(theta) in positive characteristic. Contrary to the Zagier's conjecture, the analogue of Zagier's conjectural dimension provides a lower bound for the dimension of the double zeta values when the weight is $A$ -even.

preprint2016arXiv

On finite Carlitz multiple polylogarithms

In this paper, we define finite Carlitz multiple polylogarithms and show that every finite multiple zeta value over the rational function field $\mathbb{F}_{q}(θ)$ is an $\mathbb{F}_{q}(θ)$ -linear combination of finite Carlitz multiple polylogarithms at integral points. It is completely compatible with the formula for Thakur MZV's established in [C14].

preprint2015arXiv

An effective criterion for Eulerian multizeta values in positive characteristic

Characteristic p multizeta values were initially studied by Thakur, who defined them as analogues of classical multiple zeta values of Euler. In the present paper we establish an effective criterion for Eulerian multizeta values, which characterizes when a multizeta value is a rational multiple of a power of the Carlitz period. The resulting "t-motivic" algorithm can tell whether any given multizeta value is Eulerian or not. We also prove that if zeta_A(s_1,...,s_r) is Eulerian, then zeta_A(s_2,...,s_r) has to be Eulerian. When r=2, this was conjectured (and later on conjectured for arbitrary r) by Lara Rodriguez and Thakur for the zeta-like case from numerical data. Our methods apply equally well to values of Carlitz multiple polylogarithms at algebraic points and zeta-like multizeta values.

preprint2011arXiv

Algebraic independence of periods and logarithms of Drinfeld modules (with an appendix by Brian Conrad)

Let rho be a Drinfeld A-module with generic characteristic defined over an algebraic function field. We prove that all of the algebraic relations among periods, quasi-periods, and logarithms of algebraic points on rho are those coming from linear relations induced by endomorphisms of rho.

preprint2009arXiv

Frobenius difference equations and algebraic independence of zeta values in positive equal characteristic

In analogy with the Riemann zeta function at positive integers, for each finite field F_p^r with fixed characteristic p we consider Carlitz zeta values zeta_r(n) at positive integers n. Our theorem asserts that among the zeta values in {zeta_r(1), zeta_r(2), zeta_r(3), ... | r = 1, 2, 3, ...}, all the algebraic relations are those algebraic relations within each individual family {zeta_r(1), zeta_r(2), zeta_r(3), ...}. These are the algebraic relations coming from the Euler-Carlitz relations and the Frobenius relations. To prove this, a motivic method for extracting algebraic independence results from systems of Frobenius difference equations is developed.

preprint2009arXiv

Geometric Gamma values and zeta values in positive characteristic

In analogy with values of the classical Euler Gamma-function at rational numbers and the Riemann zeta-function at positive integers, we consider Thakur's geometric Gamma-function evaluated at rational arguments and Carlitz zeta-values at positive integers. We prove that, when considered together, all of the algebraic relations among these special values arise from the standard functional equations of the Gamma-function and from the Euler-Carlitz relations and Frobenius p-th power relations of the zeta-function.

preprint2008arXiv

Algebraic relations among periods and logarithms of rank 2 Drinfeld modules

For any rank 2 Drinfeld module rho defined over an algebraic function field, we consider its period matrix P, which is analogous to the period matrix of an elliptic curve defined over a number field. Suppose that the characteristic of F_q is odd and rho is without complex multiplication. We show that the transcendence degree of the field generated by the entries of P over F_q(theta) is 4. As a consequence, we show also the algebraic independence of Drinfeld logarithms of algebraic functions which are linearly independent over F_q(theta).

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.