On unit root formulas for toric exponential sums
type: Item
instance of: scholarly article
title: On unit root formulas for toric exponential sums
zbMATH Open document ID: 1251.11081
author: Alan Adolphson
author: Steven Sperber
published in: Algebra \& Number Theory
publication date: 2012-08-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1012.1637
full work available at URL: p08.xhtml
reviewed by: John H. Loxton
Mathematics Subject Classification ID: 11T23
Mathematics Subject Classification ID: 11S40
Mathematics Subject Classification ID: 11S80
zbMATH DE Number: 6064722
zbMATH Keywords: L-functions
zbMATH Keywords: unit roots
zbMATH Keywords: exponential sums
MaRDI profile type: Publication
OpenAlex ID: W2962854634
arXiv ID: 1012.1637
DOI: 10.2140/ANT.2012.6.573
review text: The main result generalises the unit root results of Dwork on Kloosterman sums.NEWLINENEWLINELet \(A\subset {\mathbb Z}^n\) be a finite subset that spans \({\mathbb R}^n\) and set \(f_\Lambda(X)=\sum_{a\;\text{in}\;A}\Lambda_aX^a\) be a Laurent polynomial in \(X=(X_1,\ldots,x_n)\). Let \({\mathbb F}_q\) be the finite field of \(q=p^\epsilon\) elements. Fix a non-trivial additive character \(\Theta:{\mathbb F}_q\rightarrow{\mathbb Q}_p(\zeta_p)\) and let \(\Theta_{\overline\lambda}=\Theta\cdot\text{Tr}_{{\mathbb F}_q(\overline\lambda)/{\mathbb F}_q}\) be the induced additive character of \({\mathbb F}_q(\overline\lambda)\). For each positive integer \(l\), let \({\mathbb F}_q(\overline\lambda,l)\) denote the extension of degree \(l\) of \({\mathbb F}_q(\overline\lambda)\) and define the exponential sum NEWLINE\[CARRIAGE_RETURNNEWLINES_l=S_l(f_{\overline\lambda},\Theta_{\overline\lambda},{\mathbb T}^n)=\sum_{x\;\text{in}\;{\mathbb T}^n({\mathbb F}_q(\overline\lambda,l))}\Theta_{\overline\lambda}\cdot\text{Tr}_{{\mathbb F}_q(\overline\lambda,l)/{\mathbb F}_q(\overline\lambda)}(f_{\overline\lambda}(x))CARRIAGE_RETURNNEWLINE\]NEWLINE where the sum runs over the \(n\)-torus \({\mathbb T}^n\) over \({\mathbb F}_q(\overline\lambda)\). The associated \(L\)-function, \(L(f_{\overline\lambda}; T)\) is in \({\mathbb Q}(\zeta_p)(T)\) and its reciprocal zees and poles are algebraic integers. By the Dwork trace formula, just one of the reciprocal zeros and poles is a \(p\)-adic unit and it is one of the reciprocal zeros of \(L(f_{\overline\lambda}; T)^{(-1)^{n+1}}\). Denote this unit root by \(u(\overline\lambda)\). The goal is an explicit \(p\)-adic analytic formula for \(u(\overline\lambda)\).NEWLINENEWLINEWrite \(\exp f_\Lambda(x)=\prod_{a\;\text{in} A}\exp(\Lambda_aX^a)=\sum_{i\;\text{in}\;{\mathbb Z}^n}F_i(\Lambda)X^i\) so that NEWLINE\[CARRIAGE_RETURNNEWLINEF_i(\Lambda)=\sum_{_{\substack{ u=(u_a)\\ \sum u_aa=i}}}{\Lambda^u\over\prod_au_a!.}CARRIAGE_RETURNNEWLINE\]NEWLINE Fix…
description: scientific article; zbMATH DE number 6064722