P-Adic measures associated with zeta values and p-adic log multiple gamma functions

Abstract

We study a relation between two refinements of the rank one abelian Gross–Stark conjecture. For a suitable abelian extension [Formula: see text] of number fields, a Gross–Stark unit is defined as a [Formula: see text]-unit of [Formula: see text] satisfying certain properties. Let [Formula: see text]. Yoshida and the author constructed the symbol [Formula: see text] by using [Formula: see text]-adic [Formula: see text] multiple gamma functions, and conjectured that the [Formula: see text] of a Gross–Stark unit can be expressed by [Formula: see text]. Dasgupta constructed the symbol [Formula: see text] by using the [Formula: see text]-adic multiplicative integration, and conjectured that a Gross–Stark unit can be expressed by [Formula: see text]. In this paper, we give an explicit relation between [Formula: see text] and [Formula: see text] and prove that two refinements are consistent.